Family 051 — Hyperbolicity forces an ample canonical bundle

← All digests

Family 051 · Algebraic and complex geometry
Importance 5/5 · Provisional editorial rating
Sources consulted 2026-10-12

1. The question

A compact complex manifold is hyperbolic when holomorphic maps into it are strongly constrained. One concrete formulation says that every holomorphic map from the whole complex plane must be constant. Can this prohibition on curves force the manifold to have enough top-degree differential forms to embed in projective space?

Kobayashi’s canonical-ampleness conjecture predicts that it can, for compact Kähler manifolds. The conclusion is about the canonical line bundle, which packages holomorphic forms of top degree. Its ampleness would connect an analytic restriction on one-dimensional maps with global algebraic positivity in every dimension.

Family 051 contains one manuscript claiming this implication for every smooth compact connected Kähler manifold of positive complex dimension. Projectivity is a conclusion, not an assumption. The claimed advance replaces a negative-curvature metric hypothesis from major earlier theorems by hyperbolicity itself.

2. Background and essential definitions

Entire curves and two notions of hyperbolicity

An entire curve in $X$ is a holomorphic map $\mathbb C\to X$. It need not be an embedding, proper, or algebraic. A manifold is Brody hyperbolic if every such map is constant.

The Kobayashi pseudodistance is an intrinsic distance-like function built by joining holomorphic discs and measuring lengths using the hyperbolic geometry of the unit disc. It may assign distance zero to distinct points. Kobayashi hyperbolicity means it is a genuine distance.

Brody’s theorem makes these two conditions equivalent for compact complex manifolds. Compactness is essential to this equivalence as used here. Throughout this digest, hyperbolicity refers to that compact setting.

A compact hyperbolic manifold contains neither rational nor elliptic curves. A nonconstant map from either kind of curve would yield a nonconstant entire curve after using the usual plane parametrization or universal cover. The converse is false: ruling out only rational curves is a substantially weaker requirement.

The canonical bundle

For a complex $n$-fold, the canonical bundle is

$$K_X=\bigwedge^n(T^{1,0}X)^*.$$

Locally its sections are expressions $f(z)\,dz_1\wedge\cdots\wedge dz_n$. Sections of $K_X^{\otimes m}$ are called pluricanonical forms. If sufficiently many of them separate points and tangent directions, they define a projective embedding.

A line bundle is ample if some positive power defines such an embedding. It is nef if its curvature can be made arbitrarily close to nonnegative, allowing an arbitrarily small negative error relative to a fixed Kähler form. It is big if its spaces of sections grow at the maximal rate proportional to $m^n$.

These are different properties. Nefness can occur with zero top self-intersection and very few sections. Bigness supplies many sections, but does not alone guarantee an embedding everywhere. Ampleness is the desired final conclusion.

A curve provides the model

For a compact Riemann surface of genus $g$,

$$\deg K_X=2g-2.$$

The hyperbolic cases have $g\ge2$, so the canonical bundle has positive degree and is ample. The conjecture asks for a higher-dimensional analogue without assuming a uniformizing disc or a particular negatively curved metric in advance.

A Kähler manifold has a positive closed differential two-form compatible with its complex structure. This is a strong geometric condition, but it does not by itself imply that the manifold is projective.

3. Development history and previous partial results

Kobayashi’s intrinsic metric theory and Brody’s compactness theorem established the connection between entire curves and hyperbolicity. The canonical-ampleness question asks how that analytic notion interacts with birational and projective geometry.

A major advance was Wu–Yau’s theorem: a smooth projective manifold with a Kähler metric of negative holomorphic sectional curvature has ample canonical bundle. Holomorphic sectional curvature measures curvature along complex tangent lines.

Tosatti–Yang extended this conclusion to compact Kähler manifolds without assuming projectivity. Diverio–Trapani treated quasi-negative holomorphic sectional curvature, where curvature is nonpositive everywhere and strictly negative in every nonzero tangent direction at one point. Further work allows certain Hermitian metrics while retaining a Kähler ambient manifold.

These results provide crucial analytic precedents, but negative curvature is additional structure. The absence of entire curves does not hand us a smooth metric with the curvature inequalities those arguments use. Removing that extra hypothesis is the gap addressed by M1.

Another affirmative theory uses Kähler hyperbolicity in Gromov’s sense: a Kähler form becomes the exterior derivative of a bounded one-form on the universal cover. Gromov established general-type consequences, and Chen–Yang proved canonical ampleness under that hypothesis. This is a distinct definition and must not be substituted for Brody hyperbolicity merely because both names include “hyperbolic.”

Nefness is also a different, weaker stage of the problem. M1 credits Ou’s uniruledness characterization and Cao–Höring’s rational-curve theorem with giving nefness of the canonical bundle when a compact Kähler manifold contains no rational curves. The further difficulty is to force positive canonical volume and then ampleness.

M1 proposes to obtain that missing quantitative positivity directly from extremal holomorphic discs, using derivative bounds supplied by compact hyperbolicity.

4. What the new manuscripts claim

Theorem 1.1 states that if $X$ is compact, connected, Kähler, and of complex dimension $n\ge1$, then

$$\text{every holomorphic }\mathbb C\to X\text{ is constant} \quad\Longrightarrow\quad K_X\text{ is ample}.$$

In particular, some positive power of $K_X$ defines a holomorphic embedding into complex projective space. The conclusion includes projectivity even when none was assumed initially.

The theorem imposes no prescribed curvature bound on a chosen metric and no restriction to a known class of projective examples. It is stated for smooth manifolds; singular spaces require separate formulations.

Consequences using other manuscript claims

Corollary 10.1 combines canonical ampleness with the Fujita freeness claim in family 038 to state that

$$K_X^{\otimes m}\text{ is globally generated for every }m\ge n+2.$$

Global generation means that at every point some section is nonzero. It does not mean that this particular power necessarily gives an embedding; separating points and tangent directions is stronger.

Corollary 10.2 adds an extra assumption: the ordinary universal cover is biholomorphic to a semialgebraic open subset of a projective variety. Semialgebraic means described in affine charts by finitely many real polynomial equalities and inequalities, combined by Boolean operations.

Using the classification claimed in family 058, M1 then obtains a connected finite unramified cover of $X$ of the form

$$(D/\Gamma_0)\times F.$$

Here $D$ is a bounded symmetric domain, $\Gamma_0$ acts freely and cocompactly, and $F$ is a simply connected compact hyperbolic projective manifold. Either factor may be a point. Neither companion result is used in the principal canonical-ampleness argument.

5. Why the advance matters

Importance: 5/5. If correct, the theorem would settle a central conjecture linking complex hyperbolicity to algebraic positivity in the smooth compact Kähler category.

Its hypothesis concerns only holomorphic maps from a one-dimensional noncompact source. Its conclusion produces a positive line bundle governing the entire manifold and an embedding into projective space. This is a strong bridge between analysis and algebraic geometry.

The distinction from earlier negative-curvature theorems is substantial. A theorem from hyperbolicity alone would apply without first solving a separate metric-existence problem. It would also turn projectivity into a consequence of the analytic restriction.

The statement has one direction. It does not say that every manifold with ample canonical bundle is hyperbolic; positive canonical geometry does not automatically exclude every entire curve. Retaining this direction is essential to understanding both its strength and its limits.

6. The main idea

Replace curvature assumptions with an extremal-disc problem

Fix a background Kähler metric $k$ on $X$. Compact hyperbolicity supplies a uniform upper bound $D$ for the squared norm of the derivative at the center of every holomorphic unit disc.

M1 considers discs with a fixed center and finite area. It maximizes a functional combining the central derivative, a weighted integral of a closed two-form, and a negative area penalty. The penalty controls escape in the optimization problem.

The difficult point is the boundary. Convergence on compact subsets of the open disc does not automatically justify differentiating an integral over the whole disc. The manuscript first obtains boundary regularity from maximality, then constructs a holomorphic frame normalized on the boundary and actual variations that keep the disc’s center fixed.

One Hessian identity supplies two estimates

For a Kähler metric $h$, write its Ricci form as

$$R_h=-i\partial\bar\partial\log\det h.$$

M1 computes the sum of second derivatives of the area functional along its special variations. The resulting identity relates that Hessian to the integral of $R_h$.

One choice of parameters supplies bounded canonical potentials and hence nefness. A second gives the stated pointwise estimate

$$h^n\ge e^{-D}\left(\frac{n}{2n+D}\right)^n k^n \qquad\text{whenever }R_h\ge-h.$$

The forms $h^n$ and $k^n$ are volume forms. The inequality says a whole family of qualifying metrics cannot collapse its volume density to zero, with the bound controlled by the fixed background data. The conclusion is quantitative even though the optimizing discs themselves can vary with the metric.

Convert a volume lower bound into algebraic positivity

Following the Monge–Ampère strategy used in the earlier Wu–Yau theory, M1 solves for metrics $h_t$ in the classes

$$2\pi c_1(K_X)+t[k],\qquad t>0,$$

with $R_{h_t}=-h_t+tk$. The volume estimate persists as $t$ tends to zero and gives

$$\int_Xc_1(K_X)^n>0.$$

Together with nefness, established holomorphic Morse inequalities make $K_X$ big. Its sections then make $X$ Moishezon, meaning it has as many algebraically independent meromorphic functions as its dimension. A compact Kähler Moishezon manifold is projective.

Finally, established cone-theorem arguments use the absence of rational curves to upgrade the canonical positivity to ampleness. The manuscript’s new analytic estimate is intended to supply the missing positive-volume step; the later passage through bigness and projectivity uses existing results.

7. Scope, limitations, and open questions

Compactness and the Kähler condition are explicit hypotheses. The theorem does not assert the same conclusion for arbitrary noncompact hyperbolic manifolds or all compact non-Kähler manifolds. Boundary geometry changes the appropriate positivity question in the noncompact case.

Hyperbolicity means no nonconstant entire curves, not merely no rational curves. The weaker condition supports nefness in the cited theory but does not supply the full conclusion here.

The theorem also does not construct a metric of negative holomorphic sectional curvature from hyperbolicity. Its analytic method seeks canonical positivity directly, so it should not be reported as settling that stronger metric-existence question.

The effective global-generation exponent uses family 038, and the finite-cover product uses family 058 plus the additional semialgebraic hypothesis. Neither is an unconditional classification of all compact hyperbolic Kähler manifolds. The general structure of such manifolds and their universal covers remains a broader problem.

8. Sources and further reading

M1’s Theorem 1.1 gives canonical ampleness. Sections 3–7 explain the disc optimization, boundary variations, and two estimates; Sections 8–9 make the transition to projective geometry. Section 10 labels the two companion-dependent consequences separately.

The primary papers linked above trace the negative-curvature and rational-curve predecessors. Optional background on the Kobayashi metric and canonical bundle helps connect the analytic hypothesis to the algebraic conclusion.

Source manuscripts

• M1. OpenAI, Canonical ampleness of compact hyperbolic Kähler manifolds (September 23, 2026).

Sources consulted on 12 October 2026 at repository revision fd4aeeb. Download the manuscript citations.