Symétrie miroir relative pour les variétés non-Fano

Informations fondamentales

• ID de l'article: 2510.13027
• Titre: Symétrie miroir relative pour les variétés non-Fano
• Auteur: Fenglong You (University of Nottingham)
• Classification: math.AG (Géométrie algébrique)
• Date de publication: 16 octobre 2025 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2510.13027

Résumé

Cet article étudie la symétrie miroir pour les paires logarithmiques Calabi-Yau $(X,D)$ constituées d'une variété projective lisse $X$ et d'un diviseur anticanonique lisse $D$, sans supposer que $D$ soit nef. L'auteur considère le modèle de Landau-Ginzburg miroir propre $(\check{X},W)$ provenant de la construction de miroir intrinsèque de Gross-Siebert, et étudie la relation entre la période quantique régularisée de $X$ et la période classique de $W$. L'article identifie que la différence entre ces deux périodes provient du comptage des courbes dans $D$, contrôlé par l'application miroir associée à $D$. L'article obtient également une formule explicite pour la fonction potentielle propre $W$ qui encode cette différence, et prouve finalement que la période quantique et l'application miroir fournissent exactement les mêmes informations que la fonction potentielle propre.

Contexte et motivation de la recherche

Contexte du problème

1. Limitations de la symétrie miroir classique: La théorie classique de la symétrie miroir se concentre principalement sur les variétés de Fano, où le diviseur anticanonique $-K_X$ est nef. Cependant, de nombreux objets géométriques importants ne satisfont pas cette condition.
2. Nécessité des dégénérescences de Tyurin: Lors de l'étude des dégénérescences de Tyurin des variétés Calabi-Yau, on rencontre deux paires logarithmiques Calabi-Yau $(X_1,D)$ et $(X_2,D)$, où $-K_{X_1}$ et $-K_{X_2}$ ne sont pas nécessairement nef. Ces variétés sont appelées variétés quasi-Fano.
3. Exemple concret: Un exemple important est la dégénérescence de Tyurin d'une hypersurface quintique lisse $Q_5$: $Q_5 \rightsquigarrow Q_4 \cup_{K3} \text{Bl}_C \mathbb{P}^3$ où $\text{Bl}_C \mathbb{P}^3$ est l'éclatement de $\mathbb{P}^3$ le long d'une intersection complète $C$, qui n'est pas de Fano.

Motivation de la recherche

1. Complétude théorique: Pour comprendre la symétrie miroir des dégénérescences de Tyurin, il est nécessaire d'étudier la symétrie miroir relative pour les paires logarithmiques Calabi-Yau où $-K_{X_i}$ n'est pas nef.
2. Défis techniques: Lorsque $D$ n'est pas nef, les formules classiques de symétrie miroir ne s'appliquent plus, nécessitant un nouveau cadre théorique pour traiter les contributions dégénérées supplémentaires.

Contributions principales

1. Généralisation du théorème miroir relatif: Extension du théorème miroir relatif au cas où $D$ n'est pas nef, établissant des formules miroir explicites.
2. Identification de la différence entre période quantique et période classique: Preuve que lorsque $D$ n'est pas nef, la différence entre la période quantique régularisée et la période classique provient du comptage des courbes se projetant dans le diviseur $D$.
3. Formule explicite pour la fonction potentielle propre: Fourniture d'une expression explicite pour la fonction potentielle propre $W$ encodant la différence susmentionnée.
4. Établissement d'une équivalence: Preuve que la période quantique et l'application miroir fournissent exactement les mêmes informations que la fonction potentielle propre.
5. Résultats exacts sous restrictions dimensionnelles: Preuve que dans les cas 2-dimensionnel et 3-dimensionnel, la période classique coïncide toujours avec la période quantique régularisée.

Détails méthodologiques

Définition de la tâche

Étude de la symétrie miroir pour les paires logarithmiques Calabi-Yau $(X,D)$ constituées d'une variété projective lisse $X$ et d'un diviseur anticanonique lisse $D$, sans supposer que $D$ soit nef. L'objectif est de comprendre la relation entre la période quantique, la période classique et la fonction potentielle propre.

Cadre théorique

1. Théorie relative de Gromov-Witten

L'article utilise la théorie relative de Gromov-Witten de genre zéro avec ordres de contact négatifs. Pour un type topologique $\Gamma = (0,m,\beta,\vec{k})$, où:

• $0$ désigne le genre zéro
• $m$ est le nombre de points marqués
• $\beta \in NE(X)$ est la classe de courbe
• $\vec{k} = (k_1,\ldots,k_m) \in \mathbb{Z}^m$ sont les ordres de contact, satisfaisant $\sum_{i=1}^m k_i = D \cdot \beta$

L'invariant relatif de Gromov-Witten est défini comme: $\langle \prod_{i=1}^m \tau_{a_i}(\alpha_i) \rangle_{(X,D)}^\Gamma = \int_{c_\Gamma(X/D)} \prod_{i=1}^m \psi_i^{a_i} \text{ev}_i^* \alpha_i$

2. Décomposition de l'application miroir

Lorsque $D$ n'est pas nef, deux types d'applications miroir apparaissent:

Application miroir dans $D$: Provenant du modèle relatif-local $(Y,D_0)$, où $Y = \mathbb{P}(O_D \oplus N_D)$, $D_0$ est le diviseur zéro. L'application miroir a la forme: $\tau_D(y,z) = \sum_{k \geq 0, \delta \in H^*(D), \beta \in NE(D)} \tau_{D,\delta,k,\beta}(\iota_* \delta) z^k y^\beta$

Application miroir relative: Donnée par le coefficient $z^0$ de la fonction I relative: $\tau(y) = \sum_{i=1}^r p_i \log y_i + \sum_{\beta \in NE(X), d=D \cdot \beta \geq 2} \left[ \sum_{l \geq 0, \beta' \in NE(X)} \frac{1}{l!} \langle [\text{pt}] \psi^{d-2}, \tau_D, \ldots, \tau_D \rangle_{0,1+l,\beta'}^X y^{\beta'} \right] \frac{y^\beta}{(d-1)!} [1]_{-d}$

3. Fonction I relative

Pour une paire logarithmique Calabi-Yau lisse, la fonction I relative est: $I_{(X,D)}(y, \tau_D(y,z), z) = \sum_{\beta \in NE(X)} J_{X,\beta}(\tau_D(y,z), z) y^\beta \frac{\prod_{a \leq D \cdot \beta}(D + az)}{\prod_{a \leq 0}(D + az)} \prod_{\text{si } D \cdot \beta > 0} \frac{1}{D + (D \cdot \beta)z} [1]_{-D \cdot \beta}$

Théorèmes principaux

Théorème 1 (cas nef)

Lorsque $X$ est une variété projective lisse, $D$ est un diviseur anticanonique lisse et $D$ est nef, la période classique définie par la fonction potentielle propre $W$ coïncide avec la période quantique régularisée de $X$.

Théorème 2 (cas général)

Lorsque $D$ n'est pas nécessairement nef, la période classique coïncide avec la période quantique régularisée après application de l'application miroir dans $D$: $\sum_{n \geq 0} [W^n]\vartheta_0 = 1 + \sum_{d \geq 2} \sum_{\beta \in NE(X), D \cdot \beta = d} (D \cdot \beta)! \left[ \sum_{l \geq 0, \beta' \in NE(X)} \frac{1}{l!} \langle [\text{pt}] \psi^{d-2}, \tau_D, \ldots, \tau_D \rangle_{0,l+1,\beta'}^X q^{\beta'} \right] q^\beta$

Théorème 3 (formule de la fonction potentielle propre)

$W = x + \sum_{n=1}^\infty \sum_{\beta: D \cdot \beta = n+1} n \langle [1]_1, [\text{pt}]_n \rangle_{0,2,\beta}^{(X,D)} t^\beta x^{-n} = x \exp(g(y(q)))$ où $g(y)$ est défini par les invariants absolus et l'application miroir.

Points d'innovation technique

1. Nouvelle approche pour traiter le cas non-nef

• Identification des termes de contribution supplémentaires par analyse de dégénérescence
• Établissement du lien entre ces contributions et l'application miroir dans $D$

2. Identités pour les invariants relatifs de Gromov-Witten

Généralisation des identités de You24b au cas où $D$ n'est pas nef, incluant:

• Formules de calcul pour les invariants avec ordres de contact négatifs
• Relations d'équivalence sous différentes configurations d'ordres de contact

3. Inversion de Lagrange et polynômes de Bell

Utilisation du théorème d'inversion de Lagrange et des identités de polynômes de Bell pour prouver l'équivalence entre la période quantique et la fonction potentielle propre.

Résultats expérimentaux

Résultats exacts sous restrictions dimensionnelles

Théorème (cas 2-dimensionnel et 3-dimensionnel): Lorsque $X$ est une variété projective lisse 2-dimensionnelle ou 3-dimensionnelle et $D$ est un diviseur anticanonique lisse, la période classique coïncide toujours avec la période quantique régularisée.

Esquisse de preuve: Lorsque $D$ est une courbe elliptique ou une surface K3, ses invariants de Gromov-Witten de genre zéro sont nuls, donc l'application miroir dans $D$ est triviale.

Exemple concret: éclatement de $\mathbb{P}^3$

Considération de l'éclatement $\text{Bl}_C \mathbb{P}^3$ de $\mathbb{P}^3$ le long d'une intersection complète $C$, où $C$ est l'intersection d'hypersurfaces de degrés quatre et cinq.

La fonction I est: $z q_1^{H/z} q_0^{h/z} \sum_{d_1,d_0 \geq 0} \left( \frac{\prod_{k=1}^{4d_1+d_0}(4H + h + kz)}{\prod_{k=1}^{d_1}(H + kz)^4 \prod_{k=1}^{d_0}(h + kz)} \right) \left( \prod_{\text{si } d_0 > d_1} \frac{1}{h - H + (d_0-d_1)z} \right) [1]_{-d_0+d_1} q_1^{d_1} q_0^{d_0}$

Par calcul, on peut obtenir l'application miroir correspondante et les relations de période.

Travaux connexes

Théorie de la symétrie miroir

• Programme de Gross-Siebert: Construction de symétrie miroir intrinsèque
• Symétrie miroir pour les variétés de Fano: Théorie classique établie par CCG+13 et autres
• Symétrie miroir relative: Travaux de FTY19, You25 et autres

Théorie de Gromov-Witten

• Théorie des ordres de contact négatifs: Cadre théorique établi par FWY20
• Invariants relatifs: Propriétés structurelles et méthodes de calcul variées

Contexte d'application

• Dégénérescences de Tyurin: Étude de la symétrie miroir dans DHT17
• Variétés quasi-Fano: Propriétés géométriques dans le cas non-Fano

Conclusions et discussion

Conclusions principales

1. Généralisation réussie de la théorie de la symétrie miroir relative au cas non-Fano
2. Identification et quantification de la différence entre période quantique et période classique
3. Établissement d'une formule de calcul explicite pour la fonction potentielle propre
4. Preuve des relations d'équivalence entre différentes quantités géométriques

Limitations

1. Complexité technique: Les calculs dans le cas non-nef sont significativement plus complexes, nécessitant de considérer des contributions dégénérées supplémentaires
2. Restrictions dimensionnelles: Bien que des résultats exacts existent dans les cas de faible dimension, les cas de dimension supérieure nécessitent toujours des corrections d'application miroir
3. Défis computationnels: Le calcul concret de l'application miroir dans $D$ peut être très difficile dans les applications pratiques

Directions futures

1. Généralisation à des cas plus généraux: Considération de configurations géométriques plus complexes
2. Méthodes de calcul: Développement de techniques de calcul plus efficaces
3. Applications: Application de ces résultats théoriques à des problèmes géométriques concrets

Évaluation approfondie

Points forts

1. Innovation théorique: Résolution réussie d'une difficulté technique importante dans la théorie de la symétrie miroir
2. Approche systématique: Fourniture d'un cadre théorique complet et d'outils de calcul
3. Résultats profonds: Révélation des connexions profondes entre quantités géométriques
4. Rédaction claire: Structure bien organisée de l'article avec détails techniques suffisants

Insuffisances

1. Complexité computationnelle: Les calculs dans les applications pratiques peuvent être extrêmement difficiles
2. Exemples limités: Nombre relativement restreint d'exemples avec calculs concrets
3. Généralité: La généralité de certains résultats nécessite une vérification ultérieure

Impact potentiel

1. Contribution théorique: Généralisation importante pour la théorie de la symétrie miroir
2. Valeur technique: Les méthodes développées peuvent s'appliquer à d'autres problèmes connexes
3. Perspectives d'application: Fourniture de nouveaux outils pour l'étude des dégénérescences de variétés Calabi-Yau

Domaines d'application

• Étude de la symétrie miroir pour les variétés quasi-Fano
• Analyse géométrique des dégénérescences de Tyurin
• Applications de la théorie relative de Gromov-Witten
• Recherche sur les paires logarithmiques Calabi-Yau

Références bibliographiques

L'article cite 33 références connexes, incluant principalement:

• GS19 Travaux de Gross-Siebert sur la symétrie miroir intrinsèque
• FWY20 Théorie relative de Gromov-Witten avec ordres de contact négatifs
• CCG+13 Symétrie miroir pour les variétés de Fano
• You24b Travaux antérieurs de l'auteur sur la fonction potentielle propre