Landau--Ginzburg mirror symmetry for ADE singularities

Résumé technique : Symétrie miroir de Landau–Ginzburg pour les singularités ADE

Énoncé du problème
L'article traite de la conjecture de symétrie miroir de Landau–Ginzburg (LG) pour les singularités ADE. Plus précisément, il cherche à établir un isomorphisme entre deux théories mathématiques distinctes associées à une singularité quasi-homogène $f$ et un groupe de symétries diagonales $G$ :

1. Le côté B : La « théorie de Saito orbifoldique » du couple $(f, G)$ qui généralise la théorie des formes primitives de K. Saito pour inclure des groupes de symétries, résultant en une variété de Dubrovin–Frobenius.
2. Le côté A : La théorie Fan–Jarvis–Ruan–Witten (FJRW) de la paire duale Berglund–Hübsch–Henningson (BHH) $(\tilde{f}, \tilde{G})$ qui construit une théorie de champ cohomologique (CohFT) et sa variété de Dubrovin–Frobenius de genre zéro associée.

Alors que la conjecture avait été prouvée précédemment pour les singularités ADE avec le groupe de symétrie trivial $G=\{id\}$, ce travail étend la preuve à des cas spécifiques où $G$ est un groupe non trivial de symétries diagonales. L'article se concentre sur les couples spécifiques $(f, G)$ listés dans le Tableau 1, qui représentent les groupes de symétries admissibles non triviaux pour les singularités ADE en trois variables, tels qu'identifiés dans les travaux antérieurs [BTW23].

Méthodologie
L'auteur emploie une stratégie en deux étapes pour prouver la symétrie miroir pour les groupes de symétrie non triviaux spécifiques listés dans le Tableau 1. La preuve repose sur la classification des variétés de Dubrovin–Frobenius via le lemme de reconstruction (Lemme 2.2), qui stipule que pour les singularités ADE, la structure de la variété est déterminée de manière unique par le couplage, les corrélateurs à trois points et les corrélateurs à quatre points.

1. Étape (i) : Équivalence de la théorie de Saito orbifoldique à la théorie de Saito classique

   • L'article utilise le concept d'« équivalence orbifoldique » entre des couples $(f, G)$ et un polynôme classique $\bar{f}$ (où $G$ est trivial). Cette équivalence est établie via une équivalence des catégories de factorisations de matrices, $MF_G(f) \cong MF(\bar{f})$.
   • En invoquant l'invariance de Morita de l'homologie cyclique négative et la formulation catégorique de la théorie de Saito (Théorème 4.3), l'auteur démontre que les variations de structures de Hodge semi-infinies (VSHS) pour $(f, G)$ sont isomorphes à celles de la théorie de Saito classique de $\bar{f}$.
   • Par conséquent, la variété de Dubrovin–Frobenius de la théorie de Saito orbifoldique pour $(f, G)$ est isomorphe à la théorie de Saito classique de $\bar{f}$.

2. Étape (ii) : Équivalence de la théorie FJRW à la théorie de Saito classique

   • L'auteur calcule la théorie FJRW pour les paires duales $(\tilde{f}, \tilde{G})$ au cas par cas (correspondant aux entrées du Tableau 1).
   • Les calculs utilisent l'axiome de la « somme de singularités » pour décomposer des polynômes complexes en composantes plus simples (par exemple, de type $A_k$ ou $D_k$) dont les théories FJRW sont connues ou plus faciles à calculer.
   • Pour les cas impliquant des groupes non triviaux où la décomposition directe est insuffisante, l'auteur applique l'équation WDVV (Witten–Dijkgraaf–Verlinde–Verlinde) et l'axiome de concavité pour calculer les corrélateurs à quatre points spécifiques.
   • En identifiant les vecteurs primitifs et en calculant les corrélateurs nécessaires, l'auteur reconstruit la variété de Dubrovin–Frobenius pour chaque paire duale et montre qu'elle est isomorphe à la théorie de Saito classique du $\bar{f}$ correspondant.

Résultats clés
L'article prouve le Théorème 1.1, affirmant que la conjecture de symétrie miroir LG-LG est vérifiée pour les singularités ADE spécifiques et les groupes de symétries non triviaux énumérés dans le Tableau 1. La preuve est décomposée en Théorème 1.2, qui affirme que pour chaque paire $(f, G)$ de cette liste spécifique :

• (i) La théorie de Saito orbifoldique de $(f, G)$ est isomorphe à la théorie de Saito classique d'un polynôme spécifique $\bar{f}$.
• (ii) La théorie FJRW de la paire duale $(\tilde{f}, \tilde{G})$ est isomorphe à la même théorie de Saito classique de $\bar{f}$.

Les cas spécifiques couverts incluent diverses singularités $A_k$, $D_k$ et $E_6$ avec des groupes de symétries diagonales non triviaux (par exemple, des groupes générés par des éléments comme $\frac{1}{2}(0, 1, 1)$ ou $\frac{1}{3}(1, 2, 0)$) tels que détaillés dans le Tableau 1.

Signification et affirmations
L'auteur affirme que ce travail constitue la première preuve de la conjecture de symétrie miroir LG-LG en tant qu'isomorphisme de variétés de Dubrovin–Frobenius où le modèle B est équipé d'un groupe de symétrie non trivial, spécifiquement pour les cas listés dans le Tableau 1.

• Les résultats précédents de Krawitz [K10] ont établi l'isomorphisme au niveau des espaces vectoriels.
• Les travaux ultérieurs de Francis et al. [FJJS] ont établi l'isomorphisme des algèbres de Frobenius.
• Cet article étend ces résultats à la structure géométrique complète de la variété de Dubrovin–Frobenius pour les groupes non triviaux dans le cadre des cas énumérés.
• L'article note qu'il s'agit du deuxième exemple connu d'un tel isomorphisme de symétrie miroir avec un groupe de modèle B non trivial, faisant suite aux travaux de [BT22].

L'auteur précise explicitement que la théorie de champ cohomologique pour la théorie de Saito orbifoldique n'est pas définie au sens standard dans cette note, mais peut être reconstruite via le formalisme de Givental, impliquant que la symétrie miroir est également vérifiée au niveau des théories de champ cohomologiques, conformément aux résultats de Teleman. Le travail repose largement sur la classification des groupes de symétrie admissibles pour les singularités ADE fournie par [BTW23].