We prove that compact Calabi--Yau varieties with certain isolated singularities are projective. In dimension 3 we do this by analysis, supposing given conifold metrics. In higher dimensions it follows more readily from Ohsawa's degenerate spectral sequence.
- Paper ID: 2403.01200
- Title: Embedding Theorems for Calabi--Yau Conifolds
- Author: Yohsuke Imagi
- Classification: math.AG (Algebraic Geometry), math.CV (Complex Variables), math.DG (Differential Geometry)
- Publication Date: March 2, 2024
- Paper Link: https://arxiv.org/abs/2403.01200
This paper proves that compact Calabi-Yau varieties with specific isolated singularities are projective. In the three-dimensional case, the author establishes this result through analytic methods assuming a given conical metric; in higher dimensions, this result follows more directly from Ohsawa's degeneration spectral sequence.
The central problem addressed in this paper is to prove the projectivity of compact Calabi-Yau conifold varieties. Specifically:
- Main Problem: Prove that compact Calabi-Yau conifold varieties with isolated singularities are projective varieties
- Dimensional Distinction: The three-dimensional case requires sophisticated analytic techniques, while higher-dimensional cases can leverage existing spectral sequence theory
- Geometric-Analytic Importance: Calabi-Yau conifold varieties are important objects in geometric analysis for gluing constructions, as demonstrated in Chan's work
- Algebraic-Geometric Significance: Projectivity is a fundamental property in algebraic geometry that determines whether a variety can be embedded into projective space
- Classification Theory Contribution: Provides a foundation for applications of the Beauville-Bogomolov decomposition theorem in the Kähler setting
- Non-singular Case Known: For smooth compact Kähler manifolds, projectivity criteria are well-established
- Singular Case Complexity: Cases with singularities require new techniques to handle behavior near singular points
- Dimension Dependence: Different dimensions require distinct proof strategies
- Main Theorem: Proves that compact strictly singular three-dimensional Calabi-Yau conifold varieties are projective (Theorem 1.1)
- Higher-Dimensional Generalization: Proves that compact normal Kähler spaces of dimension > 4 under specific conditions are projective (Theorem 1.5)
- Vanishing Theorem: Establishes a vanishing theorem for harmonic forms on Calabi-Yau conifold varieties (Theorem 1.3)
- Technical Innovation: Develops new techniques for handling homogeneous harmonic forms on Kähler cones (Theorem 1.8)
- Application Results: Provides projectivity for irreducible Calabi-Yau varieties and their quasi-étale covers (Corollary 1.6)
Input: Compact Calabi-Yau conifold variety X with isolated singularities and specific geometric structure
Output: Proof that X is a projective variety (i.e., embeddable into some projective space)
Constraints: X must be strictly singular and satisfy specific metric decay estimates
The author first establishes the foundation of harmonic form theory on Kähler cones:
Definition 2.10: A Kähler n-cone is a Riemannian 2n-cone C equipped with a homogeneous 2-form ω of degree 0, such that the Riemannian manifold (Creg,dr2+r2glk) is a Kähler manifold with Kähler form ω.
Key Result (Theorem 1.8): Let C be a Kähler n-cone and p, q > 0 be integers satisfying p + q ≤ n - 1. Then there exist no non-zero homogeneous harmonic (p,q)-forms on Creg with degree in the interval (p+q−2n,−p−q).
Definition 3.1: Provides a precise definition of Calabi-Yau conifold varieties, including:
- Metric completeness
- Asymptotic cone behavior
- Existence of harmonic forms
Key Technique (Theorem 3.3): Uses Moser's technique to prove a normalization theorem for the complex volume form.
Core Idea: Through weighted Sobolev space theory and elliptic operator theory, proves the vanishing of specific harmonic forms.
Theorem 4.5: Let (X,g) be a compact strictly singular Riemannian conifold variety of dimension n > 3 with non-negative Ricci curvature on Xreg. Then there exist no non-zero harmonic elements in L1−n/22(Λ1Xreg).
Compared to the classical Riemannian cone case, the author provides stronger estimates for the Kähler cone case:
Proposition 2.12: For a Kähler n-cone C and positive integers p, q satisfying p + q > n, there exist no non-zero homogeneous harmonic (p,q)-forms on Creg with degree in the interval (−p−q,p+q−2n).
By exploiting the complex geometric structure of Calabi-Yau conifold varieties, the author transforms the problem into the study of harmonic forms:
Corollary 4.8: On a compact strictly singular n-dimensional Calabi-Yau conifold variety, there exist no non-zero L2 harmonic (1,0)-forms on Xreg.
- Three-Dimensional Case: Directly employs analytic methods and harmonic form theory
- Higher-Dimensional Case: Utilizes Ohsawa's degeneration spectral sequence theory
This paper is pure mathematical theory research with no numerical experiments. All results are obtained through rigorous mathematical proofs.
Theorem 1.1: Let X be a three-dimensional compact strictly singular Calabi-Yau conifold variety. Then X is projective.
Theorem 1.5: Let X be a compact normal Kähler space of dimension > 4 whose singularities are isolated and rational, and such that there exist no non-zero holomorphic (2,0)-forms on Xreg. Then X is projective.
Theorem 1.3: Let X be a compact strictly singular Calabi-Yau conifold variety of dimension n > 3. Then there exist no non-zero L2 harmonic (n-1,0)-forms on the regular locus Xreg.
Lemma 1.4: Let X be a compact normal Kähler space whose singularities are isolated with depth > 3. If every element of H2(Xreg,C) can be represented by some closed (1,1)-form on Xreg, then X is projective.
Corollary 1.6: Let X be a three-dimensional compact irreducible Calabi-Yau conifold variety, or a compact irreducible Calabi-Yau variety of dimension > 4 with isolated singularities. Then X and its quasi-étale covers are projective.
- Kodaira Embedding Theorem: Established projectivity criteria for the smooth case
- Grauert's Generalization: Extended Kodaira's theorem to the singular case
- Chan's Conifold Theory: Established the analytic foundations of Calabi-Yau conifold varieties
- Ohsawa's Spectral Sequence Theory: Provided powerful tools for higher-dimensional singular spaces
This paper unifies these theories in the study of Calabi-Yau conifold varieties, filling a gap in the research on projectivity of this important geometric object.
- Projectivity Established: Proves that Calabi-Yau conifold varieties are projective under appropriate conditions
- Universality of Methods: Establishes a general framework for handling singular Kähler spaces
- Dimensional Unification: Provides unified theoretical treatment across different dimensions
- Strictly Singular Restriction: Results apply only to the strictly singular case
- Isolated Singularity Assumption: Requires singularities to be isolated
- Specific Geometric Structure: Requires the existence of Calabi-Yau structure
- More General Singularities: Extension to more general types of singularities
- Four-Dimensional Case: Refinement of theory for the four-dimensional case
- Constructive Methods: Development of explicit embedding construction methods
- Technical Depth: Combines profound techniques from complex geometry, differential geometry, and algebraic geometry
- Theoretical Completeness: Provides a complete projectivity theory for Calabi-Yau conifold varieties
- Methodological Innovation: Develops new techniques for handling singular Kähler spaces
- Application Value: Provides theoretical foundations for gluing constructions in geometric analysis
- Proof Complexity: The three-dimensional case proof is quite technical and intricate
- Condition Restrictions: Multiple technical conditions are required to obtain results
- Lack of Constructivity: Primarily existence results without explicit constructions
- Theoretical Contribution: Provides important structure theorems for Calabi-Yau theory
- Technical Impact: Developed techniques may apply to broader classes of singular spaces
- Application Prospects: Provides theoretical support for string theory and mathematical physics
- Geometric Analysis: Verification of projectivity in gluing constructions
- Algebraic Geometry: Classification theory of singular Calabi-Yau varieties
- Mathematical Physics: Study of geometric properties of compactification spaces in string theory
The paper cites 28 important references, including Chan's pioneering work on conifold theory, Ohsawa's contributions to spectral sequence theory, and Grauert's classical results on embedding theory for singular spaces. These references provide a solid foundation for the theoretical development in this paper.