2025-11-10T02:43:08.935849

Embedding Theorems for Calabi--Yau Conifolds

Imagi
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.
academic

Embedding Theorems for Calabi--Yau Conifolds

Basic Information

  • 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

Abstract

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.

Research Background and Motivation

Core Problem

The central problem addressed in this paper is to prove the projectivity of compact Calabi-Yau conifold varieties. Specifically:

  1. Main Problem: Prove that compact Calabi-Yau conifold varieties with isolated singularities are projective varieties
  2. Dimensional Distinction: The three-dimensional case requires sophisticated analytic techniques, while higher-dimensional cases can leverage existing spectral sequence theory

Research Significance

  1. Geometric-Analytic Importance: Calabi-Yau conifold varieties are important objects in geometric analysis for gluing constructions, as demonstrated in Chan's work
  2. Algebraic-Geometric Significance: Projectivity is a fundamental property in algebraic geometry that determines whether a variety can be embedded into projective space
  3. Classification Theory Contribution: Provides a foundation for applications of the Beauville-Bogomolov decomposition theorem in the Kähler setting

Limitations of Existing Methods

  1. Non-singular Case Known: For smooth compact Kähler manifolds, projectivity criteria are well-established
  2. Singular Case Complexity: Cases with singularities require new techniques to handle behavior near singular points
  3. Dimension Dependence: Different dimensions require distinct proof strategies

Core Contributions

  1. Main Theorem: Proves that compact strictly singular three-dimensional Calabi-Yau conifold varieties are projective (Theorem 1.1)
  2. Higher-Dimensional Generalization: Proves that compact normal Kähler spaces of dimension > 4 under specific conditions are projective (Theorem 1.5)
  3. Vanishing Theorem: Establishes a vanishing theorem for harmonic forms on Calabi-Yau conifold varieties (Theorem 1.3)
  4. Technical Innovation: Develops new techniques for handling homogeneous harmonic forms on Kähler cones (Theorem 1.8)
  5. Application Results: Provides projectivity for irreducible Calabi-Yau varieties and their quasi-étale covers (Corollary 1.6)

Methodology Details

Task Definition

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

Main Technical Framework

1. Analysis on Kähler Cones (Section 2)

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)(C_{reg}, dr^2 + r^2g_{lk}) 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 CregC_{reg} with degree in the interval (p+q2n,pq)(p+q-2n, -p-q).

2. Structure Theory of Conifold Varieties (Section 3)

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.

3. Proof of Vanishing Theorem (Section 4)

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 XregX_{reg}. Then there exist no non-zero harmonic elements in L1n/22(Λ1Xreg)L^2_{1-n/2}(\Lambda^1X_{reg}).

Technical Innovations

1. New Estimates for Homogeneous Harmonic Forms

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 CregC_{reg} with degree in the interval (pq,p+q2n)(-p-q, p+q-2n).

2. Utilization of Complex Geometric Structure

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 L2L^2 harmonic (1,0)-forms on XregX_{reg}.

3. Dimension-Separation Strategy

  • Three-Dimensional Case: Directly employs analytic methods and harmonic form theory
  • Higher-Dimensional Case: Utilizes Ohsawa's degeneration spectral sequence theory

Experimental Setup

This paper is pure mathematical theory research with no numerical experiments. All results are obtained through rigorous mathematical proofs.

Main Results

Core Theorems

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 XregX_{reg}. Then X is projective.

Technical Results

Theorem 1.3: Let X be a compact strictly singular Calabi-Yau conifold variety of dimension n > 3. Then there exist no non-zero L2L^2 harmonic (n-1,0)-forms on the regular locus XregX_{reg}.

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)H^2(X_{reg},\mathbb{C}) can be represented by some closed (1,1)-form on XregX_{reg}, then X is projective.

Application Results

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.

Historical Development

  1. Kodaira Embedding Theorem: Established projectivity criteria for the smooth case
  2. Grauert's Generalization: Extended Kodaira's theorem to the singular case
  3. Chan's Conifold Theory: Established the analytic foundations of Calabi-Yau conifold varieties
  4. Ohsawa's Spectral Sequence Theory: Provided powerful tools for higher-dimensional singular spaces

Position of This Work

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.

Conclusions and Discussion

Main Conclusions

  1. Projectivity Established: Proves that Calabi-Yau conifold varieties are projective under appropriate conditions
  2. Universality of Methods: Establishes a general framework for handling singular Kähler spaces
  3. Dimensional Unification: Provides unified theoretical treatment across different dimensions

Limitations

  1. Strictly Singular Restriction: Results apply only to the strictly singular case
  2. Isolated Singularity Assumption: Requires singularities to be isolated
  3. Specific Geometric Structure: Requires the existence of Calabi-Yau structure

Future Directions

  1. More General Singularities: Extension to more general types of singularities
  2. Four-Dimensional Case: Refinement of theory for the four-dimensional case
  3. Constructive Methods: Development of explicit embedding construction methods

In-Depth Evaluation

Strengths

  1. Technical Depth: Combines profound techniques from complex geometry, differential geometry, and algebraic geometry
  2. Theoretical Completeness: Provides a complete projectivity theory for Calabi-Yau conifold varieties
  3. Methodological Innovation: Develops new techniques for handling singular Kähler spaces
  4. Application Value: Provides theoretical foundations for gluing constructions in geometric analysis

Weaknesses

  1. Proof Complexity: The three-dimensional case proof is quite technical and intricate
  2. Condition Restrictions: Multiple technical conditions are required to obtain results
  3. Lack of Constructivity: Primarily existence results without explicit constructions

Impact

  1. Theoretical Contribution: Provides important structure theorems for Calabi-Yau theory
  2. Technical Impact: Developed techniques may apply to broader classes of singular spaces
  3. Application Prospects: Provides theoretical support for string theory and mathematical physics

Applicable Scenarios

  1. Geometric Analysis: Verification of projectivity in gluing constructions
  2. Algebraic Geometry: Classification theory of singular Calabi-Yau varieties
  3. Mathematical Physics: Study of geometric properties of compactification spaces in string theory

References

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.