∑math20

Algebraic and complex geometry · Result 051

Kobayashi’s canonical-ampleness conjecture

1 paper

Every compact connected Kähler manifold of positive complex dimension with no nonconstant entire curve has ample canonical bundle and is therefore projective. This proves Kobayashi's canonical-ampleness conjecture in the smooth compact Kähler setting.

Watch

▶Introduction: the problem and why it mattersin preparation
▶The presented solutionin preparation

Papers 1

First page of Canonical ampleness of compact hyperbolic Kähler manifolds

Canonical ampleness of compact hyperbolic Kähler manifolds

OpenAI · September 23, 2026

We prove that every compact connected Kähler manifold of positive complex dimension containing no nonconstant entire curve has ample canonical bundle and is projective. This resolves positively Kobayashi's canonical-ampleness conjecture in the smooth compact Kähler category.

Read PDF Download Source

Cite
@misc{OAI:Canonical-ampleness-of-compact-hyperbolic-Kahler-manifolds-September-23-2026,
  author = {{OpenAI}},
  title = {{Canonical ampleness of compact hyperbolic K{\"a}hler manifolds}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Canonical-ampleness-of-compact-hyperbolic-Kahler-manifolds-September-23-2026/canonical-ampleness.pdf}{OAI:Canonical-ampleness-of-compact-hyperbolic-Kahler-manifolds-September-23-2026}},
  year = {2026}
}

Formal verification

No Lean formalization is listed for this result yet. The repository notes that unformalized results could have issues.