Symétrie miroir et catégories de Fukaya des hypersurfaces singulières

Informations fondamentales

• ID de l'article: 2012.09764
• Titre: Mirror symmetry and Fukaya categories of singular hypersurfaces
• Auteur: Maxim Jeffs
• Classification: math.SG (géométrie symplectique), math.AG (géométrie algébrique)
• Date de publication: 3 janvier 2025 (version arXiv)
• Lien de l'article: https://arxiv.org/abs/2012.09764

Résumé

Cet article étudie la définition proposée par Auroux de la catégorie de Fukaya des hypersurfaces singulières, construite par localisation de la catégorie de Fukaya des fibres voisines au niveau de la transformation naturelle de Seidel. L'auteur démontre que cette définition possède plusieurs propriétés idéales : premièrement, il établit l'analogue du côté A du théorème de périodicité de Knörrer dérivé d'Orlov, montrant que la catégorie d'Auroux est dérivée équivalente à la catégorie de Fukaya-Seidel des modèles de Landau-Ginzburg de dimension supérieure ; deuxièmement, il décrit comment cette définition implique la symétrie miroir homologique pour certaines dégénérescences de variétés abéliennes dans la limite de grande structure complexe.

Contexte et motivation de la recherche

Problème fondamental

La symétrie miroir homologique (HMS) conjecture au niveau fondamental l'existence d'une relation entre la catégorie de Fukaya d'une variété kählérienne Y et la catégorie des faisceaux cohérents de sa variété kählérienne « miroir » Y̌. Cependant, dans de nombreuses instances naturelles de symétrie miroir (par exemple lorsque Y est non-compacte), la variété miroir intrinsèque Y̌ est généralement singulière, et il manque une définition principielle de la catégorie de Fukaya en présence de singularités.

Importance

1. Symétrie miroir des pantalons de dimension supérieure : Les instances importantes incluent les pantalons de dimension supérieure Πₙ = {x₁ + ⋯ + xₙ₊₁ + 1 = 0} ⊆ (ℂ*)^(n+1), dont le miroir naturellement construit est donné par l'hypersurface singulière {z₁⋯zₙ₊₁ = 0} ⊆ ℂ^(n+1).
2. Exigence de bidirectionnalité : L'une des exigences principales de la symétrie miroir est que le miroir du miroir devrait être la variété kählérienne originale, c'est-à-dire que HMS devrait s'appliquer dans les deux directions.
3. Fondement des techniques de collage : La compréhension de la symétrie miroir dans ces cas est cruciale pour les méthodes qui dépendent des techniques de collage pour prouver HMS.

Limitations des approches existantes

Bien que des progrès considérables aient été réalisés dans la compréhension de la symétrie miroir des variétés kählériennes lisses, peu de recherches ont été menées sur la symétrie miroir du modèle A pour les variétés singulières, à l'exception du cas orbifold.

Contributions principales

1. Vérification de la définition d'Auroux : Démonstration que la définition proposée par Auroux de la catégorie de Fukaya des hypersurfaces singulières est effectivement la bonne définition.
2. Théorème de périodicité de Knörrer dérivé : Établissement de l'analogue du côté A du théorème de périodicité de Knörrer dérivé d'Orlov (Théorème 1).
3. Équivalences de symétrie miroir homologique : Établissement de plusieurs équivalences de symétrie miroir homologique dans la limite de grande structure complexe (Théorèmes 2 et 3).
4. Extension du cadre théorique : Extension de la définition au cas des intersections complètes singulières et formulation de conjectures correspondantes.

Détails méthodologiques

Définition d'Auroux

Pour une fibration symplectique singulière f : X → ℂ avec une unique fibre singulière, Seidel a défini une transformation naturelle s : μ → id, où μ est le foncteur de monodromie dans le sens des aiguilles d'une montre agissant sur la catégorie de Fukaya enroulée W(f⁻¹(t)) de la fibre générique.

Définition 1 (Auroux) : La catégorie de Fukaya enroulée de la fibre singulière f⁻¹(0) est définie comme la localisation de la catégorie de Fukaya enroulée des fibres voisines f⁻¹(t) au niveau de la transformation naturelle s : μ → id :

DW(f⁻¹(0)) = DW(f⁻¹(t))s⁻¹

Théorèmes principaux

Théorème 1 (Périodicité de Knörrer dérivée) : Soit X une variété affine lisse munie d'une structure de Stein induite par un plongement X → ℂᴺ, et f : X → ℂ la restriction d'une fonction polynomiale sur ℂᴺ. Si f possède une unique fibre critique f⁻¹(0), alors pour t ≠ 0 suffisamment petit, il existe une quasi-équivalence de catégories A∞ :

DᵖW(f⁻¹(t))s⁻¹ → DᵖW(X × ℂ, zf)

Points d'innovation technique

1. Foncteurs cap et cup : Introduction de foncteurs cap ∩ et cup ∪ définis géométriquement, établissant des connexions avec la transformation naturelle de Seidel.
2. Amélioration de l'équivalence AAK : Démonstration d'une forme améliorée de l'équivalence d'Abouzaid-Auroux-Katzarkov (Théorème 4).
3. Technique de suppression d'arrêt : Reformulation du processus de (X × ℂ, z(f - t)) à (X × ℂ, zf) comme suppression d'arrêt par analyse minutieuse de la géométrie de Liouville de la fibre générique au fur et à mesure que t varie.

Configuration expérimentale

Analyse d'exemples concrets

Exemple 1 : Fibration de Lefschetz standard Considérons X = ℂ² et f = xy, avec calcul direct de la catégorie de Fukaya de la conique nodale W({xy = 0}). Par le Lemme 3, il suffit de quotienter W({xy = t}) par l'image de ∩.

Exemple 2 : Cas de la courbe elliptique Considérons la famille de Tate de courbes elliptiques, où f⁻¹(0) est une courbe elliptique avec un seul nœud. En utilisant les équivalences miroir connues, on démontre l'équivalence miroir entre la catégorie de Fukaya enroulée de la courbe elliptique nodale et la catégorie dérivée des faisceaux cohérents de la courbe elliptique une fois ponctuée.

Critères d'évaluation

• Rigueur des équivalences catégoriques
• Cohérence avec les résultats connus
• Conformité avec l'intuition géométrique

Résultats expérimentaux

Vérification des résultats principaux

1. Cas des pantalons de dimension supérieure : Pour le modèle de Landau-Ginzburg (ℂⁿ⁺¹, Wₙ = z₁⋯zₙ₊₁), on démontre : DᵖW(Wₙ⁻¹(0)) ≃ DᵖW(ℂⁿ⁺², z₁⋯zₙ₊₂) ≃ Dᵇ Coh(Πₙ)
2. Généralisation de la courbe elliptique : Établissement de l'équivalence dérivée miroir entre les courbes elliptiques avec n perforations et m nœuds et celles avec m perforations et n nœuds.

Vérification théorique

Par comparaison avec les résultats du côté B d'Orlov, on vérifie la correction de la périodicité de Knörrer du côté A, démontrant l'efficacité de la méthode.

Travaux connexes

Directions de recherche principales

1. Théorie des catégories de Fukaya : Travaux de Seidel, Abouzaid et autres
2. Symétrie miroir : Conjecture de symétrie miroir homologique de Kontsevich
3. Modèles de Landau-Ginzburg : Théorème de périodicité de Knörrer d'Orlov
4. Théorie des singularités : Applications en géométrie symplectique

Innovation de cet article

Comparé aux travaux connexes, cet article fournit pour la première fois une définition rigoureuse de la catégorie de Fukaya des hypersurfaces singulières et démontre sa cohérence avec le cas lisse.

Conclusions et discussion

Conclusions principales

1. La définition d'Auroux fournit effectivement la bonne définition de la catégorie de Fukaya des hypersurfaces singulières
2. La périodicité de Knörrer dérivée s'établit du côté A
3. La symétrie miroir homologique dans la limite de grande structure complexe est vérifiée

Limitations

1. Les hypothèses géométriques peuvent être trop fortes, bien que suffisantes pour les applications à la symétrie miroir
2. L'idempotent-complétude est nécessaire pour que les résultats s'établissent
3. La généralisation aux intersections complètes singulières reste conjecturale

Directions futures

1. Généralisation des résultats au cas des intersections complètes singulières
2. Développement de méthodes de construction intrinsèques, évitant la dépendance aux lissifications
3. Connexions avec les structures logarithmiques et la théorie des éclatements

Évaluation approfondie

Avantages

1. Rigueur théorique : Fournit une définition mathématique rigoureuse de la catégorie de Fukaya en présence de singularités
2. Intuition géométrique : La définition possède une interprétation géométrique claire et bien motivée
3. Applicabilité large : Ouvre de nouvelles directions pour la recherche en symétrie miroir
4. Innovation technique : Développe de nouvelles techniques pour traiter les singularités

Insuffisances

1. Complexité technique : Les preuves impliquent de nombreux détails techniques qui peuvent affecter la lisibilité
2. Conditions d'hypothèses : Certaines hypothèses géométriques peuvent limiter la généralité des résultats
3. Complexité computationnelle : Les calculs pratiques restent difficiles

Impact

Ce travail fournit une base théorique importante pour la recherche en géométrie symplectique singulière et devrait avoir un impact significatif sur la théorie de la symétrie miroir et des catégories de Fukaya.

Domaines d'application

• Recherche en géométrie symplectique des hypersurfaces singulières
• Symétrie miroir dans la limite de grande structure complexe
• Classification des modèles de Landau-Ginzburg

Références bibliographiques

L'article cite les références fondamentales du domaine, notamment :

• Travaux fondateurs de Seidel sur les catégories de Fukaya
• Théorème de périodicité de Knörrer d'Orlov
• Recherches d'Abouzaid-Auroux sur la symétrie miroir
• Travaux de Gross-Siebert sur les dégénérescences toriques

Évaluation générale : Cet article constitue une contribution théorique importante dans le domaine de la géométrie symplectique et de la symétrie miroir, fournissant une base mathématique solide pour la compréhension des catégories de Fukaya en présence de singularités.