Homological Mirror Symmetry for Affine Log Calabi-Yau Surfaces

=== CONCEPT ===
Probleemstelling

Het artikel behandelt de Homologische Spiegelsymmetrie (HMS) conjectuur voor gladde complexe affiene log Calabi–Yau oppervlakken. Specifiek is het doel, gegeven een dergelijk oppervlak $U$, om een "spiegel"-object $U^\vee$ te construeren—een quasi-projectieve $\mathbb{Z}$-schema van eindig type—zodanig dat de afgeleide categorie van coherente schubben op $U^\vee$ equivalent is aan de afgeleide wrapped Fukaya-categorie van de Liouville-voltooiing $\widehat{U}$ van $U$.

Het oppervlak $U$ wordt gedefinieerd als het complement $Y \setminus D$ van een gereduceerde, effectieve anticanonische divisor $D$ in een glad projectief oppervlak $Y$. Het artikel maakt onderscheid tussen twee niet-overlappende gevallen gebaseerd op de geometrie van de compactificatie $(Y, D)$:

1. Looijenga interior: $D$ bevat in elke log Calabi–Yau compactificatie ten minste één knoop (node).
2. Elliptisch: $D$ is glad (een elliptische curve).

Hoewel de wrapped Fukaya-categorie $W(\widehat{U}, k)$ wel gedefinieerd is tot differentie-equivalentie, blijft het expliciet construeren van het algebraïsche spiegelbeeld $U^\vee$ en het bewijzen van de equivalentie $D^\pi W(\widehat{U}, k) \cong D^b \text{Coh}(U^\vee_k)$ voor willekeurige velden $k$ een uitdaging, met name voor het elliptische geval waar eerdere algoritmen minder uniform waren.

Methodologie

De aanpak van de auteur berust op het vertalen van de symplectische geometrie van $U$ naar combinatorische data via "rationale straaldiagrammen" en vervolgens het toepassen van bestaande spiegelsymmetrie-theorema's. De methodologie verloopt in drie fasen:

1. Constructie van gegeneraliseerde torische modellen:
   Het artikel stelt vast dat elk affien log Calabi–Yau oppervlak een "gegeneraliseerd torisch model" bezit. Dit houdt in dat men begint met een glad projectief torisch oppervlak $(X, D_X)$, vervolgens een "nodale smoothing" uitvoert (het deformaat van ketens van randcomponenten naar gladde curven) en daarna een sequentie van "niet-torische blowups" uitvoert op specifieke punten (specifiek op het punt $-1 \in \mathbb{G}_m$ op de randdivisors).

   • Voor Looijenga interiors wordt het model afgeleid van een torische start waarbij de randcomponenten worden gesmoothd en blown up.
   • Voor elliptische gevallen worden de modellen afgeleid van $\mathbb{P}^2$ of $\mathbb{P}^1 \times \mathbb{P}^1$. De auteur maakt gebruik van "Symington-driehoeken" en "nodale trades" (lokale modificaties die hoeken vervangen door knopen) om de niet-torische blowups te coderen. In het elliptische geval rust de constructie op specifieke Markov-triples (bijv. $(29, 5, 2)$) om het noodzakelijke aantal disjuncte Symington-driehoeken in te bedden.

2. Codering via rationale straaldiagrammen:
   De geometrische operaties (blowups en nodale trades) worden vertaald naar een "rationaal straidiagram" $R$. Dit diagram bestaat uit een eindige collectie rationale hellingsstralen in $\mathbb{R}^2 die vanuit de oorsprong vertrekken, elk voorzien van een niet-negatief geheel getal multipliciteit die het aantal knopen (of blowups) op die straal vertegenwoordigt.

   • Het diagram definieert een Liouville-variëteit $U_R$ (via een bijna-torische fibratie met focus-focus singulariteiten) en een bijbehorend algebraïsch schema $U^\vee_R$ (geconstrueerd door torische blowups en niet-torische blowups bij $-1$ op een torisch oppervlak gedefinieerd door de fan van de stralen).

3. Symplectische Torelli-argumentatie:
   De kern van de technische bijdrage is het bewijzen dat de Liouville-variëteit $\widehat{U}$ geassocieerd met het oorspronkelijke oppervlak $U$ sterk exact symplectomorf is met de variëteit $U_R$ die uit het diagram is geconstrueerd.

   • De auteur construeert een "geprefereerde gradatie-structuur" op de complementen van de randdivisors met behulp van de holomorfe volumevorm.
   • Met behulp van het Symplectische Torelli-theorema voor symplectische log Calabi–Yau paren (specifiek voor orthogonale paren), demonstreert de auteur dat de symplectische invarianten (doorsnijdingsvormen en symplectische oppervlakken) van de algebraïsche compactificatie $(Y, D'')$ en de bijna-torische compactificatie $(M_{AT}, D_{AT})$ overeenkomen.
   • Deze overeenkomst impliceert het bestaan van een gradatie-preserverende, sterk exacte symplectomorfisme $\Phi: \widehat{U} \to U_R$.

Belangrijkste Bijdragen en Resultaten

• Algoritmische Constructie van Spiegels: Het artikel biedt een expliciete, algoritmische procedure om het spiegelbeeld $U^\vee$ te construeren voor elk affien log Calabi–Yau oppervlak $U$.
  • Geval 1 (Looijenga): Het spiegelbeeld wordt verkregen door de fan van een torisch model van $U$ te nemen en niet-torische blowups uit te voeren bij $-1$ op de randdivisors, waarbij het aantal blowups wordt bepaald door de niet-torische blowups in het model van $U$.
  • Geval 2 (Elliptisch):
    • Als $U = \mathbb{P}^1 \times \mathbb{P}^1 \setminus V_{2,2}$, wordt het spiegelbeeld geconstrueerd via torische blowups bij hoeken en niet-torische blowups bij $-1$.
    • Voor andere elliptische gevallen (gekarakteriseerd door de zelfdoorsnijdingsgetal $d = D^2 \in \{1, \dots, 9\}$), wordt het spiegelbeeld gedefinieerd door een specifieke fan met stralen $(1, 0), (7, 1), (-41, -5)$, en $(2d-17, -2)$, met multipliciteiten $9-d, 1, 1, 1$ respectievelijk.
• Bewijs van Spiegelsymmetrie: Het hoofddoel (Theorem 1.4) stelt dat voor elk affien log Calabi–Yau oppervlak $U$, het geconstrueerde schema $U^\vee$ een $k$-spiegel is voor elk veld $k$. Dat wil:
  $$D^\pi W(\widehat{U}, k) \cong D^b \text{Coh}(U^\vee_k)$$
• Uniformiteit: Het artikel biedt een meer uniforme benadering van het elliptische geval vergeleken met eerdere algoritmen (zoals die van Hacking–Keating), waarbij de behandeling van verschillende elliptische oppervlakken wordt verenigd door het raamwerk van rationale stralediagrammen.
• Gradatie-preservering: Een significant technisch resultaat is het bewijs dat het geconstrueerde symplectomorfisme de natuurlijke gradatie-structuren die voortvloeien uit de log Calabi–Yau conditie behoudt, wat noodzakelijk is voor de equivalentie van de $A_\infty$-categorieën.

Betekenis en Claims

Het artikel vestigt de HMS-conjectuur voor de specifieke klasse van affiene log Calabi–Yau oppervlakken door het probleem te reduceren tot de bekende resultaten van Hacking en Keating [12]. De auteur stelt expliciet dat het resultaat een "speciaal geval" is van de hoofdstelling in [12], waarbij de nieuwheid ligt in de constructie van het specifieke rationale stralediagram dat de symplectische geometrie van $U$ modelleert.

De betekenis van het werk is tweeledig:

1. Algoritmische Toegankelijkheid: Het biedt een concrete methode om het spiegel-schema te genereren voor een brede klasse van oppervlakken, inclusief de Painlevé karaktervariëteiten (genoemd als een specifieke familie die onder Geval 1 valt).
2. Theoretische Unificatie: Door gebruik te maken van het Symplectische Torelli-theorema en het concept van exacte eigenray-diagrammen, overbrugt het artikel de kloof tussen de algebraïsche constructie van het spiegelbeeld en de symplectische topologie van de oorspronkelijke ruimte, waardoor wordt gewaarborgd dat de equivalentie geldt over willekeurige velden $k$.

De auteur merkt op dat hoewel de berekening van het torische model in Geval 1 computationeel duur kan zijn, het proces theoretisch algoritmisch is. Het artikel stelt geen nieuwe experimentele toepassingen voor, maar verstevigt het theoretische kader voor spiegelsymmetrie in deze specifieke geometrische setting, leunend op de structurele resultaten van Eliashberg-Gromov betreffende Liouville-variëteiten en de algebraïsche geometrie van log Calabi–Yau paren.