geometry-topology / Complex geometry; Kobayashi hyperbolicity

Kobayashi's conjecture: a compact Kahler manifold with no entire curves has ample canonical bundle

Theorem 1.1: if XX is a compact connected Kahler manifold of positive dimension and every holomorphic map C→X\mathbb C\to X is constant, then KXK_X is ample and XX is projective. Corollaries: KX⊗mK_X^{\otimes m} is globally generated for m≥n+2m\ge n+2 (using the release's Fujita freeness result), and a finite cover splits as a ball-quotient-type factor times a hyperbolic factor when the universal cover is semialgebraic. It does not cover singular spaces, non-Kahler compact complex manifolds, or the converse direction (Green-Griffiths-Lang type statements).

48Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologySep 23, 2026Significance 48/100Registry: unreviewed

Kobayashi's conjecture: a compact Kahler manifold with no entire curves has ample canonical bundle

Prior state unknown→proved

Theorem 1.1: if XX is a compact connected Kahler manifold of positive dimension and every holomorphic map C→X\mathbb C\to X is constant, then KXK_X is ample and XX is projective. Corollaries: KX⊗mK_X^{\otimes m} is globally generated for m≥n+2m\ge n+2 (using the release's Fujita freeness result), and a finite cover splits as a ball-quotient-type factor times a hyperbolic factor when the universal cover is semialgebraic.…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: if XX is a compact connected Kahler manifold of positive dimension and every holomorphic map C→X\mathbb C\to X is constant, then KXK_X is ample and XX is projective. Corollaries: KX⊗mK_X^{\otimes m} is globally generated for m≥n+2m\ge n+2 (using the release's Fujita freeness result), and a finite cover splits as a ball-quotient-type factor times a hyperbolic factor when the universal cover is semialgebraic. It does not cover singular spaces, non-Kahler compact complex manifolds, or the converse direction (Green-Griffiths-Lang type statements).

Theorem 1.1: if XX is a compact connected Kahler manifold of positive dimension and every holomorphic map C→X\mathbb C\to X is constant, then KXK_X is ample and XX is projective. Corollaries: KX⊗mK_X^{\otimes m} is globally generated for m≥n+2m\ge n+2 (using the release's Fujita freeness result), and a finite cover splits as a ball-quotient-type factor times a hyperbolic factor when the universal cover is semialgebraic. It does not cover singular spaces, non-Kahler compact complex manifolds, or the converse direction (Green-Griffiths-Lang type statements).

Recorded attempts

Evidence graph

Connected research record