SYZ mirror of Hirzebruch surface $\mathbb{F}_k$ and Morse homotopy

Technische Samenvatting: SYZ-Mirror van Hirzebruch-oppervlakken $F_k$ en Morse-homotopie

Probleemstelling
Dit artikel behandelt het probleem van het vestigen van Homologische Spiegelsymmetrie (HMS) voor Hirzebruch-oppervlakken $F_k$ als complexe variëteiten. Hoewel HMS voor torische Fano-oppervlakken (specifiek $F_1$) eerder werd bewezen door Futaki, Kajiura en de auteur met behulp van Morse-homotopie, vormt de uitbreiding naar niet-Fano-gevallen ($F_k$ voor $k \geq 2$) aanzienlijke uitdagingen. In tegenstelling tot het geval $F_1$ kunnen de duale coördinaten van de Strominger-Yau-Zaslow (SYZ)-vezelruimten voor $F_k$ niet expliciet worden uitgedrukt op een manier die directe berekening van snijpunten van Lagrangiaanse secties met coördinaten van het momentpolytoom mogelijk maakt. Bovendien verschilt het gedrag van de Morse-homotopiecategorie tussen het Fano-geval ($k=1$) en de niet-Fano-gevallen ($k \geq 2$), met name wat betreft de minimaliteit van de categorie.

Methodologie
De auteur hanteert de SYZ-constructie van spiegelparen via duale torusvezelruimten en maakt gebruik van het raamwerk van Morse-homotopie op het momentpolytoom, volgend op de aanpak van Futaki en Kajiura [9, 10, 16].

1. SYZ-Opzet: Het artikel beschouwt het Hirzebruch-oppervlak $F_k$ als een torische variëteit uitgerust met een Kähler-metriek. Er wordt een duale torusvezelruimte $M \to B$ geconstrueerd over het inwendige van het momentpolytoom $P$. De spiegelvariëteit $\check{M}$ wordt geïdentificeerd met de torusvezelruimte over $B$.
2. Complexe Kant (DG-categorie): De complexe kant wordt gemodelleerd door de afgeleide categorie van coherentie schoven $Db(\text{Coh}(F_k))$. De auteur richt zich op een volledige sterk exceptionele collectie van lijnbundels, aangeduid als $Ec = (\mathcal{O}, \mathcal{O}(1,0), \mathcal{O}(c,1), \mathcal{O}(c+1,1))$, die de afgeleide categorie genereert. Een DG-categorie $DG(F_k)$ wordt gedefinieerd bestaande uit deze holomorfe lijnbundels met specifieke connecties.
3. Symplectische Kant (Morse-homotopie): De symplectische kant wordt gemodelleerd door de categorie $Mo(P)$ van gewogen Morse-homotopie. Objecten in deze categorie zijn Lagrangiaanse secties van de duale torusvezelruimte $M \to B$. De auteur construeert Lagrangiaanse secties $L(a,b)$ die corresponderen met de lijnbundels in de exceptionele collectie.
4. Snijpuntanalyse: Een kritieke technische stap houdt in het berekenen van de snijpunten van deze Lagrangiaanse secties. Aangezien expliciete duale coördinaten moeilijk hanteerbaar zijn voor algemene $k$, berekent de auteur snijpunten met betrekking tot duale coördinaten (zoals gedaan in eerdere werken [16]) en onderzoekt de samenhangende componenten van deze snijpunten binnen het momentpolytoom $P$.
5. Morfismen en Differentiëlen: De morfismenruimten in $Mo(P)$ worden opgespannen door samenhangende componenten van de snijpunten van Lagrangiaanse secties die voldoen aan specifieke stabiliteitsvariëteitvoorwaarden (M1 en M2). De differentiaal $m_1$ en de compositie $m_2$ worden gedefinieerd via gradiëntbomen en hun symplectische oppervlakten.

Belangrijkste Bijdragen en Resultaten

• Uitbreiding naar Niet-Fano-gevallen: Het primaire resultaat is het bewijs dat Homologische Spiegelsymmetrie geldt voor Hirzebruch-oppervlakken $F_k$ voor elke positieve gehele getal $k$. Dit breidt het eerdere resultaat voor $F_1$ uit naar het niet-Fano-regime (waarbij $F_k$ zwak Fano is voor $k=2$ en zelfs niet zwak Fano voor $k \geq 3$).
• Equivalentie van Categorieën: Het artikel vestigt een DG-kwasi-isomorfisme tussen de volledige deelcategorie van de Morse-homotopiecategorie, $Mo_{Ec}(P)$, en de volledige deelcategorie van de DG-categorie van holomorfe lijnbundels, $V'_{Ec}$ (die kwasi-isomorf is met $DGEc(F_k)$).
  $$Mo_{Ec}(P) \simeq V'_{Ec} \simeq DGEc(F_k)$$
  Bijgevolg zijn de getrianguleerde categorieën die door deze DG-categorieën worden geïnduceerd equivalent:
  $$Tr(Mo_{Ec}(P)) \simeq Db(\text{Coh}(F_k))$$
• Analyse van Minimaliteit: Het artikel onderzoekt de minimaliteit van de Morse-homotopiecategorie.
  • Voor de volledige sterk exceptionele collectie $Ec$ is de deelcategorie $Mo_{Ec}(P)$ minimaal (hogere producten $m_k$ voor $k \geq 3$ verdwijnen, en de differentiaal is triviaal op de generatoren van deze specifieke deelscollectie).
  • Echter, de volledige categorie $Mo(P)$ is niet minimaal voor $k \geq 2$. De auteur levert een concreet tegenvoorbeeld voor $F_2$ (specifiek de ruimte van morfismen tussen $L(0,0)$ en $L(-7,3)$). In dit geval is het snijpunt van Lagrangiaanse secties niet-samenhangend, en bestaat er een gradiënttrajectoium tussen verschillende samenhangende componenten, wat resulteert in een niet-triviale differentiaal $m_1$. Dit staat in contrast met het geval $F_1$, waarbij $Mo(P)$ minimaal is.
• Expliciete Correspondentie: De auteur construeert een expliciete correspondentie $\iota$ tussen de generatoren van de Morse-homotopiecategorie (samenhangende componenten van snijpunten) en de basis-elementen van de cohomologie van de complexe kant (holomorfe secties), waarbij compatibiliteit met compositie wordt aangetoond.

Betekenis
Het artikel claimt betekenis door de SYZ-Morse-homotopie-aanpak uit te breiden naar een bredere klasse van torische oppervlakken buiten het Fano-geval. Door aan te tonen dat HMS geldt voor $F_k$ ($k \geq 2$) met behulp van het momentpolytoom van de torische variëteit zelf (in plaats van een polytoom afgeleid van een tropische amoebe zoals in de aanpak van Abouzaid [1]), valideert het werk de robuustheid van het raamwerk van Futaki-Kajiura. Het benadrukt dat hoewel de volledige Morse-homotopiecategorie niet-minimaal gedrag kan vertonen in niet-Fano-gevallen, het beperken tot een volledige sterk exceptionele collectie de nodige equivalentie met de afgeleide categorie van coherentie schoven herstelt. Dit biedt een concreet voorbeeld van homologische spiegelsymmetrie voor niet-Fano torische oppervlakken.