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.
- ID de l'article: 2403.01200
- Titre: Embedding Theorems for Calabi--Yau Conifolds
- Auteur: Yohsuke Imagi
- Classification: math.AG (Géométrie Algébrique), math.CV (Variables Complexes), math.DG (Géométrie Différentielle)
- Date de Publication: 2 mars 2024
- Lien de l'article: https://arxiv.org/abs/2403.01200
Cet article démontre que les variétés compactes de Calabi-Yau avec des singularités isolées spécifiques sont projectives. Dans le cas tridimensionnel, l'auteur établit ce résultat par des méthodes analytiques en supposant une métrique conique donnée ; dans les dimensions supérieures, ce résultat découle plus directement de la suite spectrale dégénérée d'Ohsawa.
L'article aborde le problème fondamental suivant : démontrer la projectivité des variétés compactes de Calabi-Yau coniques avec singularités isolées. Plus précisément :
- Problème principal : Prouver que les variétés compactes de Calabi-Yau coniques avec singularités isolées sont projectives
- Différence dimensionnelle : Le cas tridimensionnel nécessite des techniques analytiques complexes, tandis que le cas de dimension supérieure peut exploiter la théorie des suites spectrales existantes
- Importance en géométrie analytique : Les variétés de Calabi-Yau coniques sont des objets essentiels dans les constructions de collage en géométrie analytique, comme l'illustrent les travaux de Chan
- Signification en géométrie algébrique : La projectivité est une propriété fondamentale en géométrie algébrique qui détermine si une variété peut être immergée dans un espace projectif
- Contribution à la théorie de classification : Fournit une base pour l'application du théorème de décomposition de Beauville-Bogomolov dans le contexte kählérien
- Cas non-singulier connu : Pour les variétés kählériennes compactes lisses, les critères de projectivité sont bien établis
- Cas singulier complexe : Les cas avec singularités nécessitent de nouvelles techniques pour traiter le comportement au voisinage des singularités
- Dépendance dimensionnelle : Différentes dimensions requièrent des stratégies de preuve distinctes
- Théorème principal : Démontre que les variétés compactes strictement singulières tridimensionnelles de Calabi-Yau coniques sont projectives (Théorème 1.1)
- Généralisation en dimension supérieure : Démontre que les espaces kählériens compacts normaux de dimension > 4 sont projectifs sous certaines conditions (Théorème 1.5)
- Théorème d'annulation : Établit un théorème d'annulation pour les formes harmoniques sur les variétés de Calabi-Yau coniques (Théorème 1.3)
- Innovation technique : Développe de nouvelles techniques pour traiter les formes harmoniques homogènes sur les cônes kählériens (Théorème 1.8)
- Résultats d'application : Fournit la projectivité des variétés de Calabi-Yau irréductibles et de leurs revêtements quasi-étales (Corollaire 1.6)
Entrée : Variété compacte de Calabi-Yau conique X avec singularités isolées et structure géométrique spécifique
Sortie : Preuve que X est une variété projective (c'est-à-dire immergeable dans un espace projectif)
Contraintes : X doit être strictement singulière et satisfaire des estimations spécifiques de décroissance métrique
L'auteur établit d'abord les fondations de la théorie des formes harmoniques sur les cônes kählériens :
Définition 2.10 : Un cône kählérien n-dimensionnel est un cône riemannien 2n-dimensionnel C muni d'une 2-forme homogène d'ordre 0, ω, tel que la variété riemannienne (Creg,dr2+r2glk) soit une variété kählérienne avec forme kählérienne ω.
Résultat clé (Théorème 1.8) : Soit C un cône kählérien n-dimensionnel, et p,q > 0 des entiers satisfaisant p+q ≤ n-1. Alors il n'existe pas de forme harmonique (p,q) homogène non-nulle d'ordre dans l'intervalle (p+q−2n,−p−q) sur Creg.
Définition 3.1 : Fournit la définition précise des variétés de Calabi-Yau coniques, incluant :
- Complétude métrique
- Comportement asymptotique conique
- Existence de formes harmoniques
Technique clé (Théorème 3.3) : Utilise la technique de Moser pour prouver un théorème de normalisation de la forme de volume complexe.
Idée centrale : Par la théorie des espaces de Sobolev pondérés et la théorie des opérateurs elliptiques, prouver l'annulation de formes harmoniques spécifiques.
Théorème 4.5 : Soit (X,g) une variété riemannienne conique compacte strictement singulière de dimension n>3, avec Xreg ayant courbure de Ricci non-négative. Alors il n'existe pas d'élément harmonique non-nul dans L1−n/22(Λ1Xreg).
Par rapport au cas classique des cônes riemanniens, l'auteur fournit des estimations plus fortes pour le cas des cônes kählériens :
Proposition 2.12 : Pour un cône kählérien n-dimensionnel C et des entiers positifs p,q satisfaisant p+q > n, il n'existe pas de forme harmonique (p,q) homogène non-nulle d'ordre dans l'intervalle (−p−q,p+q−2n) sur Creg.
En exploitant la structure géométrique complexe des variétés de Calabi-Yau coniques, l'auteur transforme le problème en étude de formes harmoniques :
Corollaire 4.8 : Sur une variété compacte n-dimensionnelle de Calabi-Yau conique strictement singulière, il n'existe pas de forme harmonique (1,0) non-nulle L2 sur Xreg.
- Cas tridimensionnel : Utilisation directe de méthodes analytiques et de la théorie des formes harmoniques
- Cas de dimension supérieure : Exploitation de la théorie de la suite spectrale dégénérée d'Ohsawa
Cet article est une recherche théorique en mathématiques pures et ne comporte pas d'expériences numériques. Tous les résultats sont obtenus par des preuves mathématiques rigoureuses.
Théorème 1.1 : Soit X une variété compacte strictement singulière tridimensionnelle de Calabi-Yau conique. Alors X est projective.
Théorème 1.5 : Soit X un espace kählérien compact normal de dimension > 4 dont les singularités sont isolées et rationnelles, et tel qu'il n'existe pas de forme holomorphe (2,0) non-nulle sur Xreg. Alors X est projectif.
Théorème 1.3 : Soit X une variété compacte strictement singulière n-dimensionnelle de Calabi-Yau conique avec n>3. Alors il n'existe pas de forme harmonique (n-1,0) non-nulle L2 sur le lieu régulier Xreg.
Lemme 1.4 : Soit X un espace kählérien compact normal dont les singularités sont isolées et de profondeur > 3. Si chaque élément de H2(Xreg,C) peut être représenté par une forme fermée (1,1) sur Xreg, alors X est projectif.
Corollaire 1.6 : Soit X une variété compacte irréductible tridimensionnelle de Calabi-Yau conique, ou une variété compacte irréductible de Calabi-Yau de dimension > 4 avec singularités isolées. Alors X et ses revêtements quasi-étales sont projectifs.
- Théorème d'immersion de Kodaira : Établit les critères de projectivité pour le cas lisse
- Généralisation de Grauert : Étend le théorème de Kodaira au cas singulier
- Théorie des variétés coniques de Chan : Établit les fondations analytiques des variétés de Calabi-Yau coniques
- Théorie de la suite spectrale d'Ohsawa : Fournit des outils puissants pour les espaces singuliers de dimension supérieure
Cet article unifie l'application de ces théories à l'étude des variétés de Calabi-Yau coniques, comblant une lacune importante dans la recherche sur la projectivité de ces objets géométriques importants.
- Établissement de la projectivité : Démontre que les variétés de Calabi-Yau coniques sont projectives sous des conditions appropriées
- Universalité de la méthode : Établit un cadre général pour traiter les espaces kählériens singuliers
- Unification dimensionnelle : Fournit un traitement théorique unifié pour différentes dimensions
- Restriction à la singularité stricte : Les résultats s'appliquent uniquement au cas strictement singulier
- Hypothèse de singularités isolées : Nécessite que les singularités soient isolées
- Structure géométrique spécifique : Requiert l'existence d'une structure de Calabi-Yau
- Singularités plus générales : Extension à des types de singularités plus généraux
- Cas quadridimensionnel : Perfectionnement de la théorie en dimension 4
- Méthodes constructives : Développement de méthodes d'immersion explicites
- Profondeur technique : Combine des techniques profondes de géométrie complexe, géométrie différentielle et géométrie algébrique
- Complétude théorique : Fournit une théorie complète de la projectivité pour les variétés de Calabi-Yau coniques
- Innovation méthodologique : Développe de nouvelles techniques pour traiter les espaces kählériens singuliers
- Valeur applicative : Fournit une base théorique pour les constructions de collage en géométrie analytique
- Complexité de la preuve : La preuve du cas tridimensionnel est considérablement technique et complexe
- Restrictions des conditions : Nécessite plusieurs conditions techniques pour obtenir le résultat
- Manque de constructivité : Résultats principalement d'existence, manquant de constructions explicites
- Contribution théorique : Fournit un théorème de structure important pour la théorie de Calabi-Yau
- Impact technique : Les techniques développées peuvent s'appliquer à des espaces singuliers plus généraux
- Perspectives d'application : Fournit un support théorique pour la théorie des cordes et la physique mathématique
- Géométrie analytique : Vérification de la projectivité dans les constructions de collage
- Géométrie algébrique : Théorie de classification des variétés de Calabi-Yau singulières
- Physique mathématique : Étude des propriétés géométriques des espaces de compactification en théorie des cordes
L'article cite 28 références importantes, incluant les travaux fondateurs de Chan sur la théorie des variétés coniques, les contributions d'Ohsawa à la théorie des suites spectrales, et les résultats classiques de Grauert sur la théorie d'immersion des espaces singuliers. Ces références fournissent une base solide pour le développement théorique de cet article.