Landau--Ginzburg mirror symmetry for ADE singularities

Technische Samenvatting: Landau–Ginzburg Spiegelsymmetrie voor ADE-singulariteiten

Probleemstelling
Het artikel behandelt de Landau–Ginzburg (LG) spiegelsymmetrie-conjectuur voor ADE-singulariteiten. Specifiek wordt gezocht naar een isomorfisme tussen twee afzonderlijke wiskundige theorieën geassocieerd met een quasihomogene singulariteit $f$ en een groep van diagonale symmetrieën $G$:

1. De B-zijde: De "orbifold Saito-theorie" van het paar $(f, G)$, die de theorie van K. Saito over primitieve vormen generaliseert om symmetriegroepen te bevatten, wat resulteert in een Dubrovin–Frobenius-variëteit.
2. De A-zijde: De Fan–Jarvis–Ruan–Witten (FJRW) theorie van het Berglund–Hübsch–Henningson (BHH) duale paar $(\tilde{f}, \tilde{G})$, die een cohomologische veldentheorie (CohFT) en de bijbehorende genus-nul Dubrovin–Frobenius-variëteit construeert.

Hoewel deze conjectuur eerder bewezen is voor ADE-singulariteiten met de triviale symmetriegroep $G=\{id\}$, breidt dit werk de bewijsvoering uit naar specifieke gevallen waar $G$ een niet-triviale groep van diagonale symmetrieën is. Het artikel richt zich op de specifieke paren $(f, G)$ vermeld in Tabel 1, die de niet-triviale admissible symmetriegroepen voor ADE-singulariteiten in drie variabelen vertegenwoordigen, zoals geïdentificeerd in eerder werk [BTW23].

Methodologie
De auteur hanteert een tweestapsstrategie om de spiegelisomorfie voor de specifieke niet-triviale symmetriegroepen in Tabel 1 te bewijzen. Het bewijs steunt op de classificatie van Dubrovin–Frobenius-variëteiten via het reconstructielemma (Lemma 2.2), dat stelt dat voor ADE-singulariteiten de variëteetstructuur uniek wordt bepaald door de koppeling, drie-punts correlatoren en vier-punts correlatoren.

1. Stap (i): Equivalentie van Orbifold Saito-theorie aan Klassieke Saito-theorie

   • Het artikel maakt gebruik van het concept van "orbifold equivalentie" tussen paren $(f, G)$ en een klassieke polynoom $\bar{f}$ (waarbij $G$ triviaal is). Deze equivalentie wordt vastgesteld via een equivalentie van categorieën van matrixfactorisaties, $MF_G(f) \cong MF(\bar{f})$.
   • Door de Morita-invariantie van negatieve cyclische homologie en de categorische formulering van Saito-theorie (Stelling 4.3) aan te roepen, demonstreert de auteur dat de Variaties van Semi-Infinite Hodge-structuren (VSHS) voor $(f, G)$ isomorf zijn aan die van de klassieke Saito-theorie van $\bar{f}$.
   • Consequent is de Dubrovin–Frobenius-variëteit van de orbifold Saito-theorie voor $(f, G)$ isomorf aan de klassieke Saito-theorie van $\bar{f}$.

2. Stap (ii): Equivalentie van FJRW-theorie aan Klassieke Saito-theorie

   • De auteur berekent de FJRW-theorie voor de duale paren $(\tilde{f}, \tilde{G})$ geval voor geval (overeenkomend met de vermeldingen in Tabel 1).
   • De berekeningen maken gebruik van het "som van singulariteiten"-axioma om complexe polynomen te decomponeren in eenvoudigere componenten (bijv. $A_k$- of $D_k$-typen) waarvan de FJRW-theorieën bekend of gemakkelijker te berekenen zijn.
   • Voor gevallen waarbij niet-triviale groepen directe decompositie ontoereikend maken, past de auteur de WDVV (Witten–Dijkgraaf–Verlinde–Verlinde)-vergelijking en het concaviteitsaxioma toe om specifieke vier-punts correlatoren te berekenen.
   • Door de primitieve vectoren te identificeren en de noodzakelijke correlatoren te berekenen, reconstrueert de auteur de Dubrovin–Frobenius-variëteit voor elk duaal paar en toont hij aan dat deze isomorf is met de klassieke Saito-theorie van het corresponderende $\bar{f}$.

Belangrijkste Resultaten
Het artikel bewijst Stelling 1.1, die stelt dat de LG-LG spiegelsymmetrie-conjectuur standhoudt voor de specifieke ADE-singulariteiten en niet-triviale symmetriegroepen opgesomd in Tabel 1. Het bewijs is onderverdeeld in Stelling 1.2, die stelt dat voor elk paar $(f, G)$ in deze specifieke lijst:

• (i) De orbifold Saito-theorie van $(f, G)$ isomorf is aan de klassieke Saito-theorie van een specifieke polynoom $\bar{f}$.
• (ii) De FJRW-theorie van het duale paar $(\tilde{f}, \tilde{G})$ isomorf is aan dezelfde klassieke Saito-theorie van $\bar{f}$.

De specifieke gevallen die worden behandeld omvatten diverse $A_k$, $D_k$ en $E_6$ singulariteiten met niet-triviale diagonale symmetriegroepen (bijv. groepen gegenereerd door elementen zoals $\frac{1}{2}(0, 1, 1)$ of $\frac{1}{3}(1, 2, 0)$) zoals gedetailleerd in Tabel 1.

Betekenis en Claims
De auteur claimt dat dit werk het eerste bewijs levert van de LG-LG spiegelsymmetrie-conjectuur als een isomorfisme van Dubrovin–Frobenius-variëteiten waarbij de B-model is uitgerust met een niet-triviale symmetriegroep, specifiek voor de gevallen in Tabel 1.

• Eerdere resultaten door Krawitz [K10] stelden de isomorfie vast op het niveau van vectorruimten.
• Vervolgend werk door Francis et al. [FJJS] stelde de isomorfie vast van Frobenius-algebra's.
• Dit artikel breidt deze resultaten uit naar de volledige geometrische structuur van de Dubrovin–Frobenius-variëteit voor niet-triviale groepen binnen de reikwijdte van de opgesomde gevallen.
• Het artikel merkt op dat dit het tweede bekende voorbeeld is van een dergelijke spiegelsymmetrie-isomorfie met een niet-triviale B-model groep, volgend op het werk van [BT22].

De auteur geeft expliciet aan dat de cohomologische veldentheorie voor de orbifold Saito-theorie niet in de standaard zin is gedefinieerd binnen deze nota, maar gereconstrueerd kan worden via Givental's formalisme, wat impliceert dat de spiegelsymmetrie ook standhoudt op het niveau van cohomologische veldentheorieën, consistent met de resultaten van Teleman. Het werk leunt zwaar op de classificatie van admissible symmetriegroepen voor ADE-singulariteiten zoals verstrekt door [BTW23].