Alphabeta Math
RemarkRemark: Literature-sourcedProof: Not applicablePipeline-generated‡ sources checked 2026-11-04
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

2026 frontier: complete noncompact Ricci-flat Kähler manifolds

Statement

Sun and Zhang, arXiv:2610.29891v1 (21 October 2026), report the following results. A complete Ricci-flat Kähler n-fold means a geodesically complete Kähler manifold with zero Ricci tensor; Euclidean volume growth means lim inf⁡R→∞R−2nVol⁡g(Bg(p,R))>0 for one, equivalently every, base point. Under this growth hypothesis, their Theorem 1.1 states that the manifold is quasi-projective (a Zariski-open subvariety of a projective variety), its ring of polynomial-growth holomorphic functions (functions bounded by C(1+dg(p,⋅))m for some C,m>0) is finitely generated, and its evaluation map is a projective crepant resolution (a projective birational map from a smooth variety that preserves the canonical divisor) of a normal affine variety (the spectrum of an integrally closed finitely generated complex algebra). Its asymptotic cone at infinity (a pointed Gromov–Hausdorff limit of distance-rescaled spaces (X,R−1dg,p)) is unique up to holomorphic isometry (an isometry preserving the complex structures); the theorem also gives a two-step flat Q-Gorenstein degeneration, a chain of flat families whose relative canonical divisor is Q-Cartier. Separately, their Theorem 1.3 constructs a complete Ricci-flat Kähler complex threefold that is diffeomorphic to the total space of a real rank-four vector bundle over S2 (and hence has finite topological type), has uniformly bounded sectional curvature, and admits no Kähler compactification, meaning no holomorphic open embedding into any compact Kähler manifold.

Source note

The theorem statements and introduction were read in the full PDF. This remark records reported literature scope; it does not represent an independent proof audit.

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources