Homological Mirror Symmetry for Affine Log Calabi-Yau Surfaces

=== BROUILLON ===
Énoncé du Problème

Le papier traite de la conjecture de la Symétrie Miroir Homologique (HMS) pour les surfaces log Calabi–Yau complexes affines lisses. Plus précisément, étant donné une telle surface $U$, l'objectif est de construire un objet « miroir » $U^\vee$ — un schéma $\mathbb{Z}$ de type fini quasi-projectif — tel que la catégorie dérivée des faisceaux cohérents sur $U^\vee$ soit équivalente à la catégorie de Fukaya enveloppée dérivée de la complétion de Liouville $\widehat{U}$ de $U$.

La surface $U$ est définie comme le complément $Y \setminus D$ d'un diviseur anticanonique réduit et effectif $D$ dans une surface projective lisse $Y$. Le papier distingue deux cas non chevauchants basés sur la géométrie de la compactification $(Y, D)$ :

1. Intérieur de Looijenga : $D$ contient au moins un nœud dans toute compactification log Calabi–Yau.
2. Elliptique : $D$ est une courbe lisse (une courbe elliptique).

Bien que la catégorie de Fukaya enveloppée $W(\widehat{U}, k)$ soit bien définie à équivalence de déformation près, la construction explicite de l'objet algébrique miroir $U^\vee$ et la preuve de l'équivalence $D^\pi W(\widehat{U}, k) \cong D^b \text{Coh}(U^\vee_k)$ pour des corps $k$ arbitraires restent un défi, particulièrement pour le cas elliptique où les algorithmes précédents étaient moins uniformes.

Méthodologie

L'approche de l'auteur repose sur la traduction de la géométrie symplectique de $U$ en données combinatoires via des « diagrammes de rayons rationnels » (rational ray diagrams), puis sur l'application de théorèmes existants de symétrie miroir. La méthodologie procède en trois étapes :

1. Construction de Modèles Toriques Généralisés :
   Le papier établit que chaque surface log Calabi–Yau affine admet un « modèle torique généralisé ». Cela implique de partir d'une surface torique projective lisse $(X, D_X)$, d'effectuer un « lissage nodal » (déformation des chaînes de composantes de bord en courbes lisses), puis d'effectuer une séquence de « soufflages non-toriques » (non-toric blowups) en des points spécifiques (précisément au point $-1 \in \mathbb{G}_m$ sur les diviseurs de bord).

   • Pour les intérieurs de Looijela, le modèle est dérivé d'un départ torique où les composantes de bord sont lissées et soufflées.
   • Pour les cas elliptiques, les modèles sont dérivés de $\mathbb{P}^2$ ou $\mathbb{P}^1 \times \mathbb{P}^1$. L'auteur utilise des « triangles de Symington » et des « échanges nodaux » (modifications locales remplaçant les coins par des nœuds) pour encoder les soufflements non-toriques. Dans le cas elliptique, la construction repose sur des triplets de Markov spécifiques (par exemple, $(29, 5, 2)$) pour incorporer le nombre nécessaire de triangles de Symington disjoints.

2. Encodage via des Diagrammes de Rayons Rationnels :
   Les opérations géométriques (soufflements et échanges nodaux) sont traduites en un « diagramme de rayons rationnels » $R$. Ce diagramme consiste en une collection finie de rayons de pente rationnelle dans $\mathbb{R}^2$ partant de l'origine, chacun équipé d'une multiplicité entière non négative représentant le nombre de nœuds (ou de soufflements) sur ce rayon.

   • Le diagramme définit une variété de Liouville $U_R$ (via une fibration presque torique avec singularités de type focus-focus) et un schéma algébrique correspondant $U^\vee_R$ (construit en effectuant des soufflements toriques et des soufflements non-toriques en $-1$ sur une surface torique définie par le fan des rayons).

3. Argument de Torelli Symplectique :
   La contribution technique centrale est de prouver que la variété de Liouville $\widehat{U}$ associée à la surface originale $U$ est fortement symplectomorphe de manière exacte à la variété $U_R$ construite à partir du diagramme.

   • L'auteur construit une « structure de gradation préférée » sur les compléments des diviseurs de bord en utilisant la forme de volume holomorphe.
   • En utilisant le Théorème de Torelli Symplectique pour les paires log Calabi–Yau symplectiques (spécifiquement pour les paires orthogonales), l'auteur démontre que les invariants symplectiques (formes d'intersection et aires symplectiques) de la compactification algébrique $(Y, D'')$ et de la compactification presque torique $(M_{AT}, D_{AT})$ correspondent.
   • Cette correspondance implique l'existence d'un symplectomorphisme fortement exact préservant la gradation, $\Phi: \widehat{U} \to U_R$.

Contributions Clés et Résultats

• Construction Algorithmique de Miroirs : Le papier fournit une procédure explicite et algorithmique pour construire le miroir $U^\vee$ pour toute surface log Calabi–Yau affine $U$.
  • Cas 1 (Looijenga) : Le miroir est obtenu en prenant le fan d'un modèle torique de $U$ et en effectuant des soufflements non-toriques en $-1$ sur les diviseurs de bord, le nombre de soufflements étant déterminé par les soufflements non-toriques dans le modèle de $U$.
  • Cas 2 (Elliptique) :
    • Si $U = \mathbb{P}^1 \times \mathbb{P}^1 \setminus V_{2,2}$, le miroir est construit via des soufflements toriques aux coins et des soufflements non-toriques en $-1$.
    • Pour les autres cas elliptiques (caractérisés par le nombre d'auto-intersection $d = D^2 \in \{1, \dots, 9\}$), le miroir est défini par un fan spécifique avec les rayons $(1, 0), (7, 1), (-41, -5)$, et $(2d-17, -2)$, avec les multiplicités $9-d, 1, 1, 1$ respectivement.
• Preuve de la Symétrie Miroir : Le théorème principal (Théorème 1.4) stipule que pour toute surface log Calabi–Yau affine $U$, le schéma construit $U^\vee$ est un miroir-$k$ pour tout corps $k$. C'est-à-dire :
  $$D^\pi W(\widehat{U}, k) \cong D^b \text{Coh}(U^\vee_k)$$
• Uniformité : Le papier offre une approche plus uniforme du cas elliptique par rapport aux algorithmes précédents (tels que ceux de Hacking–Keating), unifiant le traitement des différentes surfaces elliptiques à travers le cadre du diagramme de rayons rationnels.
• Préservation de la Gradation : Un résultat technique important est la preuve que le symplectomorphisme construit préserve les structures de gradation naturelles induites par la condition log Calabi–Yau, ce qui est nécessaire pour l'équivalence des catégories $A_\infty$.

Signification et Revendications

Le papier établit la conjecture HMS pour la classe spécifique de surfaces log Calabi–Yau affines en réduisant le problème aux résultats connus de Hacking et Keating [12]. L'auteur déclare explicitement que le résultat est un « cas particulier » du théorème principal de [12], la nouveauté résidant dans la construction du diagramme de rayons rationnels spécifique qui modélise la géométrie symplectique de $U$.

La signification du travail est double :

1. Accessibilité Algorithmique : Il fournit une méthode concrète pour générer le schéma miroir pour une large classe de surfaces, incluant les variétés de caractères de Painlevé (mentionnées comme une famille spécifique couverte par le Cas 1).
2. Unification Théorique : En utilisant le théorème de Torelli symplectique et le concept de diagrammes de rayons propres (exact eigenray diagrams), le papier comble le fossé entre la construction algébrique du miroir et la topologie symplectique de l'espace original, garantissant que l'équivalence tient sur des corps $k$ arbitraires.

L'auteur note que si le calcul du modèle torique dans le Cas 1 peut être coûteux en termes de calcul, le processus est théoriquement algorithmique. Le papier ne propose pas de nouvelles applications expérimentales mais plutôt une solidification du cadre théorique pour la symétrie miroir dans ce cadre géométrique spécifique, s'appuyant sur les résultats structurels d'Eliashberg-Gromov concernant les variétés de Liouville et la géométrie algébrique des paires log Calabi–Yau.