Landau--Ginzburg mirror symmetry for ADE singularities

Technisches Resümee: Landau–Ginzburg-Spiegelung für ADE-Singularitäten

Problemstellung
Die Arbeit behandelt die Landau–Ginzburg (LG)-Spiegelungss Vermutung für ADE-Singularitäten. Insbesondere wird versucht, einen Isomorphismus zwischen zwei unterschiedlichen mathematischen Theorien zu etablieren, die mit einer quasihomogenen Singularität $f$ und einer Gruppe von diagonalen Symmetrien $G$ assoziiert sind:

1. Die B-Seite: Die „Orbifold-Saito-Theorie“ des Paares $(f, G)$, welche K. Saitos Theorie der primitiven Formen verallgemeinert, um Symmetriegruppen einzubeziehen, was in einer Dubrovin–Frobenius-Mannigfaltigkeit resultiert.
2. Die A-Seite: Die Fan–Jarvis–Ruan–Witten (FJRW)-Theorie des Berglund–Hübsch–Henningson (BHH) dualen Paares $(\tilde{f}, \tilde{G})$, die eine kohomologische Feldtheorie (CohFT) und die damit verbundene genus-null Dubrovin–Frobenius-Mannigfaltigkeit konstruiert.

Während diese Vermutung zuvor für ADE-Singularitäten mit der trivialen Symmetriegruppe $G=\{id\}$ bewiesen wurde, erweitert diese Arbeit den Beweis auf spezifische Fälle, in denen $G$ eine nicht-triviale Gruppe von diagonalen Symmetrien ist. Die Arbeit konzentriert sich auf die spezifischen Paare $(f, G)$, die in Tabelle 1 aufgeführt sind; diese repräsentieren die nicht-trivialen zulässigen Symmetriegruppen für ADE-Singularitäten in drei Variablen, wie sie in vorangegangener Arbeit [BTW23] identifiziert wurden.

Methodik
Der Autor verwendet eine zweistufige Strategie, um die Spiegel-Isomorphie für die spezifischen nicht-trivialen Symmetriegruppen in Tabelle 1 zu beweisen. Der Beweis stützt sich auf die Klassifizierung von Dubrovin–Frobenius-Mannigfaltigkeiten mittels des Rekonstruktionslemmas (Lemma 2.2), welches besagt, dass die Mannigfaltigkeitsstruktur für ADE-Singularitäten durch die Paarung, die Drei-Punkt-Korrelatoren und die Vier-Punkt-Korrelatoren eindeutig bestimmt ist.

1. Schritt (i): Äquivalenz der Orbifold-Saito-Theorie zur klassischen Saito-Theorie

   • Die Arbeit nutzt das Konzept der „Orbifold-Äquivalenz“ zwischen Paaren $(f, G)$ und einem klassischen Polynom $\bar{f}$ (wobei $G$ trivial ist). Diese Äquivalenz wird über eine Äquivalenz der Kategorien von Matrix-Faktorisierungen, $MF_G(f) \cong MF(\bar{f})$, etabliert.
   • Durch Anwendung der Morita-Invarianz der negativen zyklischen Homologie und der kategorischen Formulierung der Saito-Theorie (Theorem 4.3) zeigt der Autor, dass die Variationen der semi-infiniten Hodge-Strukturen (VSHS) für $(f, G)$ isomorph zu jenen der klassischen Saito-Theorie von $\bar{f}$ sind.
   • Folglich ist die Dubrovin–Frobenius-Mannigfaltigkeit der Orbifold-Saito-Theorie für $(f, G)$ isomorph zur klassischen Saito-Theorie von $\bar{f}$.

2. Schritt (ii): Äquivalenz der FJRW-Theorie zur klassischen Saito-Theorie

   • Der Autor berechnet die FJRW-Theorie für die dualen Paare $(\tilde{f}, \tilde{G})$ fallweise (entsprechend den Einträgen in Tabelle 1).
   • Die Berechnungen nutzen das „Summe der Singularitäten“-Axiom, um komplexe Polynome in einfachere Komponenten (z. B. Typen $A_k$ oder $D_k$) zu zerlegen, deren FJRW-Theorien bekannt oder leichter zu berechnen sind.
   • Für Fälle, in denen eine direkte Zerlegung bei nicht-trivialen Gruppen nicht ausreicht, wendet der Autor die WDVV-Gleichung (Witten–Dijkgraaf–Verlinde–Verlinde) und das Konkavitätsaxiom an, um spezifische Vier-Punkt-Korrelatoren zu berechnen.
   • Durch Identifizierung der primitiven Vektoren und Berechnung der notwendigen Korrelatoren rekonstruiert der Autor die Dubrovin–Frobenius-Mannigfaltigkeit für jedes duale Paar und zeigt, dass diese isomorph zur klassischen Saito-Theorie des entsprechenden $\bar{f}$ ist.

Wesentliche Ergebnisse
Die Arbeit beweist Theorem 1.1, welches besagt, dass die LG-LG-Spiegelungss Vermutung für die in Tabelle 1 aufgezählten spezifischen ADE-Singularitäten und nicht-trivialen Symmetriegruppen gilt. Der Beweis gliedert sich in Theorem 1.2, welches behauptet, dass für jedes Paar $(f, G)$ in dieser spezifischen Liste:

• (i) Die Orbifold-Saito-Theorie von $(f, G)$ isomorph zur klassischen Saito-Theorie eines spezifischen Polynoms $\bar{f}$ ist.
• (ii) Die FJRW-Theorie des dualen Paares $(\tilde{f}, \tilde{G})$ isomorph zur selben klassischen Saito-Theorie von $\bar{f}$ ist.

Die abgedeckten spezifischen Fälle umfassen verschiedene $A_k$, $D_k$ und $E_6$-Singularitäten mit nicht-trivialen diagonalen Symmetriegruppen (z. B. Gruppen, die durch Elemente wie $\frac{1}{2}(0, 1, 1)$ oder $\frac{1}{3}(1, 2, 0)$ erzeugt werden), wie in Tabelle 1 detailliert beschrieben.

Bedeutung und Behauptungen
Der Autor behauptet, dass diese Arbeit den ersten Beweis der LG-LG-Spiegelungs-Vermutung als Isomorphismus von Dubrovin–Frobenius-Mannigfaltigkeiten liefert, wobei das B-Modell mit einer nicht-trivialen Symmetriegruppe ausgestattet ist, spezifisch für die in Tabelle 1 aufgeführten Fälle.

• Frühere Ergebnisse von Krawitz [K10] etablierten den Isomorphismus auf der Ebene der Vektorräume.
• Nachfolgende Arbeiten von Francis et al. [FJJS] etablierten den Isomorphismus der Frobenius-Algebren.
• Diese Arbeit erweitert diese Ergebnisse auf die volle geometrische Struktur der Dubrovin–Frobenius-Mannigfaltigkeit für nicht-triviale Gruppen innerhalb des Umfangs der aufgezählten Fälle.
• Die Arbeit stellt fest, dass dies das zweite bekannte Beispiel eines solchen Spiegelungs-Isomorphismus mit einer nicht-trivialen B-Modell-Gruppe ist, nach der Arbeit von [BT22].

Der Autor gibt explizit an, dass die kohomologische Feldtheorie für die Orbifold-Saito-Theorie in diesem Notizwerk nicht im Standard-Sinne definiert ist, aber via Givental-Formalismus rekonstruiert werden kann, was impliziert, dass die Spiegelung auch auf der Ebene der kohomologischen Feldtheorien gilt, konsistent mit den Ergebnissen von Teleman. Die Arbeit stützt sich stark auf die Klassifizierung der zulässigen Symmetriegruppen für ADE-Singularitäten, wie sie in [BTW23] bereitgestellt wurde.