1 · The essentials
The manuscript studies a class of smooth geometric spaces with a compatible complex and metric structure. Its central assumption is that every complex-analytic map from the whole complex plane into such a space is constant. Under additional conditions—the space is compact, connected, and has positive complex dimension—the manuscript claims a strong conclusion about an associated geometric object called the canonical bundle. It claims that this bundle is ample, a positivity property. It also concludes that the space is projective, linking its complex geometry to a description by polynomial equations. The manuscript presents this as a positive resolution of Kobayashi’s canonical-ampleness conjecture in the smooth compact Kähler setting. The main result is not formalized in Lean and has not been formally verified.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine learning about a sealed building by finding that a certain kind of unrestricted path cannot move through it. Here, the absence of nonconstant maps from the whole complex plane is claimed to force a strong global property of the space; the image does not explain why that implication holds.
Why it matters
The claimed result connects a restriction on complex-analytic maps with positivity of the canonical bundle. It also concludes projectivity under the same hypotheses. According to the manuscript, this settles the named conjecture within the smooth compact Kähler category, rather than in an unrestricted class of spaces.
2 · Going further
The precise claim is that if is a compact connected Kähler manifold with , and every holomorphic map is constant, then its canonical bundle is ample and is projective. The condition on maps is the stated meaning of containing no nonconstant entire curve. The canonical bundle is the bundle of holomorphic forms of top degree, so the conclusion concerns a geometric object intrinsically associated with .
The supplied abstract describes this implication as a positive resolution of Kobayashi’s canonical-ampleness conjecture in the smooth compact Kähler category. It states the conclusion but gives no main argument, intermediate steps, or methods, so an account of how the implication is obtained cannot be supplied from this text. Only the main manuscript is provided; no companion manuscripts or relationships to them are described. The result remains a manuscript claim here, not a Lean-formalized or formally verified result.
Useful notions
- Complex manifolds and holomorphic maps
- Compactness and connectedness
- Kähler geometry
- Line bundles and ampleness
- Projective geometry
What was known before / what is new
Before
The source identifies the question as Kobayashi’s canonical-ampleness conjecture. It supplies no earlier partial results, historical timeline, or account of previously available methods.
New
The manuscript claims canonical ampleness for every compact connected Kähler manifold of positive complex dimension with no nonconstant entire curve. It also concludes projectivity and describes the result as resolving the conjecture in the smooth compact Kähler category.
Limits and assumptions
The claim requires smoothness, compactness, connectedness, the Kähler condition, positive complex dimension, and the absence of nonconstant entire curves. The supplied text makes no claim for spaces outside these hypotheses and does not identify what remains open there. It contains no argument to assess beyond the stated abstract. The main result is not formalized in Lean and has not been formally verified.
Mini glossary
- Entire curve —
- A holomorphic map from the whole complex plane into a complex manifold.
- Canonical bundle —
- The line bundle of holomorphic differential forms of top degree on a complex manifold.
- Ample —
- A line bundle is ample when a positive tensor power has sections that give an embedding into projective space.
- Projective —
- A complex manifold is projective if it can be realized as a smooth algebraic subvariety of complex projective space.
Keywords : Kobayashi’s conjecture · Canonical ampleness · Kähler manifolds
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
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.
To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.
Manuscripts in this family
Canonical ampleness of compact hyperbolic Kähler manifolds
23/09/2026We 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.