Homological Mirror Symmetry for Affine Log Calabi-Yau Surfaces

=== BOZZA ===
Problematica

Il saggio affronta la congettura di Mirror Symmetry Omologica (HMS) per superfici log Calabi–Yau affini complesse lisce. Nello specifico, data una tale superficie $U$, l'obiettivo è costruire un oggetto "specchio" $U^\vee$ — uno schema $\mathbb{Z}$ di tipo finito quasi-proiettivo — tale che la categoria derivata dei fasci coerenti su $U^\vee$ sia equivalente alla categoria di Fukaya avvolta derivata della completazione Liouville $\widehat{U}$ di $U$.

La superficie $U$ è definita come il complemento $Y \setminus D$ di un divisore anticanonico ridotto ed effettivo $D$ in una superficie proiettiva liscia $Y$. Il saggio distingue due casi non sovrapponibili basati sulla geometria della compattificazione $(Y, D)$:

1. Interno di Looijenga: $D$ contiene almeno un nodo in ogni compattificazione log Calabi–Yau.
2. Ellittico: $D$ è una curva liscia (una curva ellittica).

Sebbene la categoria di Fukaya avvolta $W(\widehat{U}, k)$ sia ben definita fino a equivalenza di deformazione, la costruzione esplicita dello specchio algebrico $U^\vee$ e la prova dell'equivalenza $D^\pi W(\widehat{U}, k) \cong D^b \text{Coh}(U^\vee_k)$ per campi $k$ arbitrari rimane una sfida, particolarmente per il caso ellittico dove algoritmi precedenti erano meno uniformi.

Metodologia

L'approccio dell'autore si basa sulla traduzione della geometria simpatica di $U$ in dati combinatori tramite "diagrammi di raggi razionali" (rational ray diagrams) e l'applicazione di esistenti teoremi di mirror symmetry. La metodologia procede in tre fasi:

1. Costruzione di Modelli Torici Generalizzati:
   Il saggio stabilisce che ogni superficie log Calabi–Yau affina ammette un "modello torico generalizzato". Ciò comporta l'inizio con una superficie torica proiettiva liscia $(X, D_X)$, l'esecuzione di una "levigatura nodale" (smoothing dei nodi, deformando catene di componenti di bordo in curve lisce) e successivamente l'esecuzione di una sequenza di "blowup non torici" in punti specifici (nello specifico, nel punto $-1 \in \mathbb{G}_m$ sui divisori di bordo).

   • Per gli interni di Looijenga, il modello è derivato da un inizio torico dove le componenti di bordo sono levigate e sottoposte a blowup.
   • Per i casi ellittici, i modelli sono derivati da $\mathbb{P}^2$ o $\mathbb{P}^1 \times \mathbb{P}^1$. L'autore utilizza "triangoli di Symington" e "scambi nodali" (modifiche locali che sostituiscono gli angoli con nodi) per codificare i blowup non torici. Nel caso ellittico, la costruzione si basa su specifiche triple di Markov (ad esempio, $(29, 5, 2)$) per incorporare il numero necessario di triangoli di Symington disgiunti.

2. Codifica tramite Diagrammi di Raggi Razionali:
   Le operazioni geometriche (blowup e scambi nodali) vengono tradotte in un "diagramma di raggi razionali" $R$. Questo diagramma consiste in una collezione finita di raggi a pendenza razionale in $\mathbb{R}^2$, partendo dall'origine, ciascuno dotato di un numero intero non negativo di molteplicità che rappresenta il numero di nodi (o blowup) su quel raggio.

   • Il diagramma definisce un manifold Liouville $U_R$ (tramite una fibrazione quasi-torica con singolarità focus-focus) e uno schema algebrico corrispondente $U^\vee_R$ (costruito eseguendo blowup torici e blowup non torici in $-1$ su una superficie torica definita dal fan dei raggi).

3. Argomento di Torelli Simpatico:
   Il nucleo tecnico è la prova che il manifold Liouville $\widehat{U}$ associato alla superficie originale $U$ è un manifold fortemente esatto simmetromorfico alla varietà $U_R$ costruita dal diagramma.

   • L'autore costruisce una "struttura di gradazione preferita" sui complementi dei divisori di bordo utilizzando la forma di volume ologomorfa.
   • Utilizzando il Teorema di Torelli Simpatico per coppie log Calabi–Yau simpatiche (specificamente per coppie ortogonali), l'autore dimostra che gli invarianti simpatici (forme di intersezione e aree simpatiche) della compattificazione algebrica $(Y, D'')$ e della compattificazione quasi-torica $(M_{AT}, D_{AT})$ coincidono.
   • Questa corrispondenza implica l'esistenza di un simmetromorfismo fortemente esatto che preserva la gradazione $\Phi: \widehat{U} \to U_R$.

Contributi Chiave e Risultati

• Costruzione Algoritmica degli Specchi: Il saggio fornisce una procedura esplicita e algoritmica per costruire lo specchio $U^\vee$ per qualsiasi superficie log Calabi–Yau affina $U$.
  • Caso 1 (Looijenga): Lo specchio si ottiene prendendo il fan di un modello torico di $U$ ed eseguendo blowup non torici in $-1$ sui divisori di bordo, con il numero di blowup determinato dai blowup non torici nel modello di $U$.
  • Caso 2 (Ellittico):
    • Se $U = \mathbb{P}^1 \times \mathbb{P}^1 \setminus V_{2,2}$, lo specchio è costruito tramite blowup torici agli angoli e blowup non torici in $-1$.
    • Per altri casi ellittici (caratterizzati dal numero di auto-intersezione $d = D^2 \in \{1, \dots, 9\}$), lo specchio è definito da un fan specifico con raggi $(1, 0), (7, 1), (-41, -5)$, e $(2d-17, -2)$, con molteplicità rispettivamente $9-d, 1, 1, 1$.
• Prova di Mirror Symmetry: Il teorema principale (Teorema 1.4) afferma che per ogni superficie log Calabi–Yau affina $U$, lo schema costruito $U^\vee$ è un $k$-specchio per qualsiasi campo $k$. Ovvero:
  $$D^\pi W(\widehat{U}, k) \cong D^b \text{Coh}(U^\vee_k)$$
• Uniformità: Il saggio offre un approccio più uniforme al caso ellittico rispetto ad algoritmi precedenti (come quelli di Hacking–Keating), unificando il trattamento di diverse superfici ellittiche attraverso il framework del diagramma di raggi razionali.
• Preservazione della Gradazione: Un risultato tecnico significativo è la prova che il simmetromorfismo costruito preserva le naturali strutture di gradazione indotte dalla condizione log Calabi–Yau, necessaria per l'equivalenza delle categorie $A_\infty$.

Significatività e Affermazioni

Il saggio stabilisce la congettura HMS per la specifica classe di superfici log Calabi–Yau affini riducendo il problema ai risultati noti di Hacking e Keating [12]. L'autore dichiara esplicitamente che il risultato è un "caso speciale" del teorema principale in [12], con la novità che risiede nella costruzione del particolare diagramma di raggi razionali che modella la geometria simpatica di $U$.

La significatività del lavoro è duplice:

1. Accessibilità Algoritmica: Fornisce un metodo concreto per generare lo schema specchio per una vasta classe di superfici, incluse le varietà di caratteri di Painlevé (menzionate come una famiglia specifica coperta dal Caso 1).
2. Unificazione Teorica: Utilizzando il teorema di Torelli Simpatico e il concetto di diagrammi di eigenray esatti, il saggio colma il divario tra la costruzione algebrica dello specchio e la topologia simpatica dello spazio originale, garantendo che l'equivalenza sia valida su campi $k$ arbitrari.

L'autore osserva che, sebbene il calcolo del modello torico nel Caso 1 possa essere computazionalmente oneroso, il processo è teoricamente algoritmico. Il saggio non propone nuove applicazioni sperimentali, ma piuttosto solidifica il quadro teorico per la mirror symmetry in questo specifico setting geometrico, facendo affidamento sui risultati strutturali di Eliashberg-Gromov riguardanti i manifold Liouville e la geometria algebrica delle coppie log Calabi–Yau.