Landau--Ginzburg mirror symmetry for ADE singularities

Sintesi Tecnica: Simmetria Speculare di Landau–Ginzburg per Singolarità ADE

Enunciato del Problema
Il documento affronta la congettura della simmetria speculare di Landau–Ginzburg (LG) per le singolarità ADE. Nello specifico, mira a stabilire un isomorfismo tra due teorie matematiche distinte associate a una singolarità quasiorogenea $f$ e un gruppo $G$ di simmetrie diagonali:

1. Il lato-B: La "teoria di Saito orbifold" della coppia $(f, G)$, che generalizza la teoria delle forme primitive di K. Saito per includere gruppi di simmetria, risultando in una varietà di Dubrovin–Frobenius.
2. Il lato-A: La teoria Fan–Jarvis–Ruan–Witten (FJRW) della coppia duale Berglund–Hübsch–Henningson (BHH) $(\tilde{f}, \tilde{G})$, che costruisce una teoria di campo cohomologica (CohFT) e la sua associata varietà di Dubrovin–Frobenius di genere zero.

Sebbene la congettura sia stata precedentemente dimostrata per le singolarità ADE con il gruppo di simmetria banale $G=\{id\}$, questo lavoro estende la dimostrazione a casi specifici in cui $G$ è un gruppo non banale di simmetrie diagonali. Il documento si concentra sui casi specifici della coppia $(f, G)$ elencati nella Tabella 1, che rappresentano i gruppi di simmetria ammissibili non banali per le singolarità ADE in tre variabili, come identificato dal lavoro precedente [BTW23].

Metodologia
L'autore impiega una strategia in due fasi per dimostrare l'isomorfismo speculare per i gruppi di simmetria non banali specifici elencati nella Tabella 1. La dimostrazione si basa sulla classificazione delle varietà di Dubrovin–Frobenius tramite il lemma di ricostruzione (Lemma 2.2), il quale afferma che, per le singolarità ADE, la struttura della varietà è determinata unicamente dalla accoppiata, dai correlatori a tre punti e dai correlatori a quattro punti.

1. Fase (i): Equivalenza della Teoria di Saito Orbifold alla Teoria di Saito Classica

   • Il documento utilizza il concetto di "equivalenza orbifold" tra coppie $(f, G)$ e un polinomio classico $\bar{f}$ (dove $G$ è banale). Questa equivalenza è stabilita tramite un equivalenza di categorie di fattorizzazioni matriciali, $MF_G(f) \cong MF(\bar{f})$.
   • Invocando l'invarianza di Morita dell'omologia ciclica negativa e la formulazione categorica della teoria di Saito (Teorema 4.3), l'autore dimostra che le Variazioni di Strutture di Hodge Semi-Infinite (VSHS) per $(f, G)$ sono isomorfe a quelle della teoria di Saito classica di $\bar{f}$.
   • Di conseguenza, la varietà di Dubrovin–Frobenius della teoria di Saito orbifold per $(f, G)$ è isomorfa alla teoria di Saito classica di $\bar{f}$.

2. Fase (ii): Equivalenza della Teoria FJRW alla Teoria di Saito Classica

   • L'autore calcola la teoria FJRW per le coppie duali $(\tilde{f}, \tilde{G})$ caso per caso (corrispondenti alle voci nella Tabella 1).
   • I calcoli utilizzano l'assioma della "somma di singolarità" per decomporre polinomi complessi in componenti più semplici (ad esempio, di tipo $A_k$ o $D_k$) le cui teorie FJRW sono note o più facili da calcolare.
   • Per i casi che coinvolgono gruppi non banali dove la decomposizione diretta è insufficiente, l'autore applica l'equazione WDVV (Witten–Dijkgraaf–Verlinde–Verlinde) e l'assioma di concavità per calcolare specifici correlatori a quattro punti.
   • Identificando i vettori primitivi e calcolando i correlatori necessari, l'autore ricostruisce la varietà di Dubrovin–Frobenius per ogni coppia duale e mostra che è isomorfa alla teoria di Saito classica del corrispondente $\bar{f}$.

Risultati Chiave
Il documento dimostra il Teorema 1.1, affermando che la congettura della simmetria speculare LG-LG è valida per le specifiche singolarità ADE e i gruppi di simmetria non banali enumerati nella Tabella 1. La dimostrazione è suddivisa nel Teorema 1.2, il quale asserisce che per ogni coppia $(f, G)$ in questo elenco specifico:

• (i) La teoria di Saito orbifold di $(f, G)$ è isomorfa alla teoria di Saito classica di un polinomio specifico $\bar{f}$.
• (ii) La teoria FJRW della coppia duale $(\tilde{f}, \tilde{G})$ è isomorfa alla stessa teoria di Saito classica di $\bar{f}$.

I casi specifici coperti includono varie singolarità $A_k$, $D_k$ ed $E_6$ con gruppi di simmetria diagonale non banali (ad esempio, gruppi generati da elementi come $\frac{1}{2}(0, 1, 1)$ o $\frac{1}{3}(1, 2, 0)$), come dettagliato nella Tabella 1.

Significato e Rivendicazioni
L'autore sostiene che questo lavoro fornisce la prima dimostrazione della congettura della simmetria speculare LG-LG come isomorfismo di varietà di Dubrovin–Frobenius dove il modello-B è equipaggiato con un gruppo di simmetria non banale, specificamente per i casi elencati nella Tabella 1.

• Risultati precedenti di Krawitz [K10] hanno stabilito l'isomorfismo a livello di spazi vettoriali.
• Il lavoro successivo di Francis et al. [FJJS] ha stabilito l'isomorfismo delle algebre di Frobenius.
• Questo articolo estende tali risultati alla piena struttura geometrica della varietà di Dubrovin–Frobenius per gruppi non banali nell'ambito dei casi enumerati.
• Il documento nota che questo è il secondo esempio noto di tale isomorfismo di simmetria speculare con un gruppo del modello-B non banale, seguendo il lavoro di [BT22].

L'autore afferma esplicitamente che la teoria di campo cohomologica per la teoria di Saito orbifold non è definita in senso standard in questa nota, ma può essere ricostruita tramite il formalismo di Givental, implicando che la simmetria speculare sia valida anche a livello di teorie di campo cohomologiche, in modo coerente con i risultati di Teleman. Il lavoro si basa fortemente sulla classificazione dei gruppi di simmetria ammissibili per le singolarità ADE fornita in [BTW23].