Open FJRW Theory and Mirror Symmetry

Sintesi Tecnica di "Open FJRW Theory and Mirror Symmetry"

Enunciato del Problema
Il saggio affronta la costruzione di una teoria enumerativa aperta per il modello di Landau-Ginzburg (LG) $(W, G) = (x^r + y^s, \mu_r \times \mu_s)$. Sebbene la teoria FJRW (Fan-Jarvis-Ruan-Witten) chiusa fornisca un robusto framework enumerativo per i modelli A delle teorie LG, una corrispondente teoria aperta (che coinvolge bordi) è stata meno sviluppata, in particolare per rango $a \geq 2$. Lavori precedenti di Buryak, Clader e Tessler hanno stabilito la teoria $r$-spin aperta (il caso $a=1$), ma l'estensione a ranghi superiori presenta sfide geometriche e combinatorie significative. Nello specifico, gli autori mirano a definire invarianti aperti che soddisfino un teorema di simmetria speculare che relaziona il modello A aperto al modello B (teoria di Saito-Givental) e a comprendere la dipendenza di tali invarianti dalle condizioni al contorno, il che conduce a fenomeni di wall-crossing.

Metodologia
Gli autori impiegano un approccio geometrico basato su spazi moduli di dischi W-spin stabili, generalizzando la costruzione degli invarianti $r$-spin aperti.

1. Spazi Moduli e Strutture:

   • Definiscono i dischi W-spin graduati, ovvero superfici di Riemann orbifold di genere zero con bordo, dotate di un'involuzione anti-olomorfa, fasci spin $S_i$ e dati di twist specifici in corrispondenza dei punti marcati e dei nodi.
   • Gli spazi moduli $\mathcal{M}^W_\Gamma$ sono costruiti come orbifold reali con angoli, dove $\Gamma$ rappresenta un grafo duale che codifica la degenerazione del disco (nodi, nodi di bordo, nodi di bordo contratti).
   • Un passaggio tecnico cruciale consiste nel definire le gradazioni (lifting dei fasci spin) per imporre le necessarie condizioni al contorno. Ciò include la distinzione tra punti di bordo "alternati" e "non alternati" e la gestione dei "nodi di bordo contratti".

2. Fasci di Witten e Invarianti:

   • Gli invarianti sono definiti come integrali di multisezioni del fascio discendente di Witten $E_\Gamma(d)$ sopra lo spazio modulo, dove il fascio è una somma diretta dei fasci di Witten $W_i$ (relativi a $H^1(C, S_i)^\vee$) e dei fasci lineari discendenti $L_i$.
   • Poiché gli spazi moduli possiedono angoli, gli invarianti non sono semplicemente classi di Euler. Sono invece definiti come il conteggio con segno degli zeri di multisezioni che soddisfano specifiche condizioni al contorno.
   • Gli autori introducono una nozione di positività per le multisezioni lungo determinati strati di bordo (specificamente quelli corrispondenti a nodi di bordo "positivi"). Ciò garantisce che le multisezioni siano non nulle su tali strati, permettendo una classe di Euler relativa ben definita.

3. Struttura Induttiva e Famiglie Canoniche:

   • Per definire un sistema coerente di invarianti attraverso tutti gli spazi moduli, gli autori costruiscono famiglie di multisezioni canoniche. Queste sono definite induttivamente: le condizioni al contorno su uno strato corrispondente alla degenerazione in due dischi sono determinate dal pullback delle multisezioni dagli spazi moduli delle componenti normalizzate.
   • Questa struttura induttiva è essenziale per stabilire relazioni tra gli invarianti, come la ricorrenza topologica.

4. Wall-Crossing e Gruppo di Wall-Crossing di Landau-Ginzburg:

   • Gli autori identificano che la scelta delle condizioni al contorno non è univoca. Diverse scelte portano a diversi sistemi di invarianti.
   • Definiscono un gruppo di wall-crossing di Landau-Ginzburg ($G_{r,s}^{AI,sym}$), un sottogruppo di automorfismi dello spazio dei parametri del potenziale. Questo gruppo agisce sull'insieme di tutti i possibili sistemi di invarianti aperti.
   • Si dimostra che l'azione è fedele e transitiva, il che significa che due sistemi qualsiasi di invarianti validi sono relazionati da un elemento di questo gruppo. Tale gruppo è generato da trasformazioni associate a strati di bordo "critici" dove la dimensione dello spazio modulo scende di uno rispetto al rango del fascio.

5. Simmetria Speculare e Ricorrenza Topologica:

   • Utilizzando un sistema di invarianti aperti, gli autori costruiscono una perturbazione $W^{\nu, sym}$ del potenziale $W = x^r + y^s$.
   • Dimostrano che gli integrali oscillatori di $e^{W^{\nu, sym}/\hbar}$ producono funzioni generatrici per gli invarianti FJRW estesi chiusi.
   • Crucialmente, stabiliscono una Ricorrenza Topologica Aperta. A differenza del caso chiuso o del caso $r$-spin, la ricorrenza non si applica a un singolo invariante aperto, bensì a specifiche combinazioni polinomiali di invarianti (indicate come $A(I, d)$). Ciò è reso necessario dal fenomeno del wall-crossing.

Contributi Chiave e Risultati

• Costruzione degli Invarianti FJRW Aperti: Il saggio costruisce con successo gli invarianti FJRW aperti per il modello Fermat LG di rango 2 $(x^r + y^s, \mu_r \times \mu_s)$. Questi sono definiti come integrali di multisezioni su orbifold reali con angoli.
• Esistenza di Famiglie Canoniche: Il Teorema 0.1 stabilisce l'esistenza di famiglie di multisezioni trasverse canoniche, e delle loro versioni simmetriche, provando che gli invarianti aperti esistono.
• Gruppo di Wall-Crossing: Il saggio identifica e caratterizza il gruppo di wall-crossing di Landau-Ginzburg. Dimostra che questo gruppo agisce transitivamente sull'insieme di tutti i possibili sistemi di invarianti aperti (Teorema 0.7). Ciò fornisce una classificazione completa dell'ambiguità nella definizione degli invarianti aperti.
• Teorema di Simmetria Speculare Aperta: Il Teorema 0.3 prova un teorema di simmetria speculare aperta LG/LG. Stabilisce che, se gli invarianti aperti vengono utilizzati per costruire il potenziale deformato $W^{\nu, sym}$, gli integrali oscillatori risultanti generano gli invarianti FJRW estesi chiusi con discendenti. Ciò stabilisce un legame diretto tra il modello A aperto e il modello B chiuso senza ricorrere a costruzioni combinatorie come la dualità Berglend-Hübsch.
• Ricorrenza Topologica Aperta: Il Teorema 0.5 stabilisce una nuova forma di ricorrenza topologica. A causa del wall-crossing, la ricorrenza relaziona polinomi di invarianti aperti piuttosto che singoli invarianti. Questa ricorrenza è lo strumento chiave utilizzato per provare il teorema di simmetria speculare.
• Corrispondenza Aperto-Chiuso: Il Corollario 0.6 fornisce una corrispondenza precisa che lega i polinomi di invarianti aperti agli invarianti chiusi estesi.

Significato e Rivendicazioni
Gli autori affermano che questo lavoro fornisce la prima teoria enumerativa aperta per un modello di Landau-Ginzburg in dimensione due (rango $a=2$) con tutti i discendenti.

• Naturalità Geometrica: La costruzione si basa su condizioni al contorno geometriche (positività) piuttosto che su scelte ad hoc, permettendo un "matching" dei modelli A e B "alla lettera".
• Risoluzione dell'Ambiguità: Introducendo il gruppo di wall-crossing, il saggio chiarisce che la non unicità degli invarianti aperti è una caratteristica strutturale governata da un specifico gruppo di azione, piuttosto che un difetto della teoria.
• Generalizzazione del Lavoro Precedente: La teoria generalizza la teoria $r$-spin aperta di Buryak, Clader e Tessler al caso W-spin, evidenziando al contempo nuovi elementi (come la necessità di ricorrenze polinomiali) che emergono nei ranghi più elevati.
• Simmetria Speculare: Il saggio dimostra che gli invarianti di tipo Gromov-Witten aperti (nel contesto LG) generano naturalmente il potenziale speculare, estendendo la filosofia di Cho-Oh, Gross e Fukaya-Oh-Ohta-Ono ai modelli di Landau-Ginzburg.

Il saggio non pretende di risolvere il problema per potenziali arbitrari o ranghi superiori immediatamente, ma stabilisce il framework e prova i risultati per il caso specifico di polinomi di Fermat in due variabili. Si nota che per singolarità semplici (casi specifici di $r, s$) senza discendenti, gli invarianti sono ben definiti (senza wall-crossing), ma il wall-crossing è inevitabile quando si includono i discendenti.