Landau--Ginzburg mirror symmetry for ADE singularities

Resumen Técnico: Simetría de Espejo de Landau–Ginzburg para Singularidades ADE

Planteamiento del Problema
El artículo aborda la conjetura de simetría de espejo de Landau–Ginzburg (LG) para singularidades ADE. Específicamente, busca establecer un isomorfismo entre dos teorías matemáticas distintas asociadas a una singularidad cuasihomogénea $f$ y un grupo $G$ de simetrías diagonales:

1. El lado B: La "teoría de Saito orbifold" del par $(f, G)$, que generaliza la teoría de formas primitivas de K. Saito para incluir grupos de simetría, resultando en una variedad de Dubrovin–Frobenius.
2. El lado A: La teoría de Fan–Jarvis–Ruan–Witten (FJRW) del par dual de Berglund–Hübsch–Henningson (BHH) $(\tilde{f}, \tilde{G})$, que construye una teoría de campo de Weil–Dijkgraaf–Verlinde–Verlinde (CohFT) y su variedad de Dubrovin–Frobenius de género cero asociada.

Si bien la conjetura fue probada previamente para singularidades ADE con el grupo de simetría trivial $G=\{id\}$, este trabajo extiende la prueba a casos específicos donde $G$ es un grupo no trivial de simetrías diagonales. El artículo se centra en los pares específicos $(f, G)$ enumerados en la Tabla 1, que representan los grupos de simetría admisibles no triviales para singularidades ADE en tres variables, según lo identificado en el trabajo previo [BTW23].

Metodología
El autor emplea una estrategia de dos pasos para probar la isomorfía de espejo para los grupos de simetría no triviales específicos enumerados en la Tabla 1. La prueba se basa en la clasificación de variedades de Dubrovin–Frobenius mediante el lema de reconstrucción (Lema 2.2), el cual establece que, para las singularidades ADE, la estructura de la variedad está determinada únicamente por el emparejamiento, los correladores de tres puntos y los correladores de cuatro puntos.

1. Paso (i): Equivalencia de la Teoría de Saito Orbifold a la Teoría de Saito Clásica

   • El artículo utiliza el concepto de "equivalencia orbifold" entre pares $(f, G)$ y un polinomio clásico $\bar{f}$ (donde $G$ es trivial). Esta equivalencia se establece mediante una equivalencia de categorías de factorizaciones de matrices, $MF_G(f) \cong MF(\bar{f})$.
   • Al invocar la invariancia de Morita de la homología cíclica negativa y la formulación categórica de la teoría de Saito (Teorema 4.3), el autor demuestra que las Variaciones de Estructuras de Hodge Semi-Infinitas (VSHS) para $(f, G)$ son isomorfas a las de la teoría de Saito clásica de $\bar{f}$.
   • Consecuentemente, la variedad de Dubrovin–Frobenius de la teoría de Saito orbifold para $(f, G)$ es isomorfa a la teoría de Saito clásica de $\bar{f}$.

2. Paso (ii): Equivalencia de la Teoría FJRW a la Teoría de Saito Clásica

   • El autor calcula la teoría FJRW para los pares duales $(\tilde{f}, \tilde{G})$ caso por caso (correspondientes a las entradas en la Tabla 1).
   • Los cálculos utilizan el axioma de "suma de singularidades" para descomponer polinomios complejos en componentes más simples (por ejemplo, tipos $A_k$ o $D_k$) cuyas teorías FJRW son conocidas o más fáciles de calcular.
   • Para los casos que involucran grupos no triviales donde la descomposición directa es insuficiente, el autor aplica la ecuación WDVV (Witten–Dijkgraaf–Verlinde–Verlinde) y el axioma de concavidad para calcular correladores de cuatro puntos específicos.
   • Mediante la identificación de los vectores primitivos y el cálculo de los correladores necesarios, el autor reconstruye la variedad de Dubrovin–Frobenius para cada par dual y muestra que es isomorfa a la teoría de Saito clásica del correspondiente $\bar{f}$.

Resultados Clave
El artículo demuestra el Teorema 1.1, que establece que la conjetura de simetría de espejo LG-LG se cumple para las singularidades ADE específicas y los grupos de simetría no triviales enumerados en la Tabla 1. La prueba se desglosa en el Teorema 1.2, que afirma que para cada par $(f, G)$ en esta lista específica:

• (i) La teoría de Saito orbifold de $(f, G)$ es isomorfa a la teoría de Saito clásica de un polinomio específico $\bar{f}$.
• (ii) La teoría FJRW del par dual $(\tilde{f}, \tilde{G})$ es isomorfa a la misma teoría de Saito clásica de $\bar{f}$.

Los casos específicos cubiertos incluyen varias singularidades $A_k$, $D_k$ y $E_6$ con grupos de simetría diagonal no triviales (por ejemplo, grupos generados por elementos como $\frac{1}{2}(0, 1, 1)$ o $\frac{1}{3}(1, 2, 0)$) como se detalla en la Tabla 1.

Significado y Reivindicaciones
El autor afirma que este trabajo proporciona la primera prueba de la conjetura de simetría de espejo LG-LG como un isomorfismo de variedades de Dubrovin–Frobenius donde el modelo B está equipado con un grupo de simetría no trivial, específicamente para los casos enumerados en la Tabla 1.

• Resultados previos de Krawitz [K10] establecieron el isomorfismo al nivel de espacios vectoriales.
• El trabajo posterior de Francis et al. [FJJS] estableció el isomorfismo de álgebras de Frobenius.
• Este artículo extiende dichos resultados a la estructura geométrica completa de la variedad de Dubrovin–Frobenius para grupos no triviales dentro del alcance de los casos enumerados.
• El artículo señala que este es el segundo ejemplo conocido de tal isomorfismo de simetría de espejo con un grupo de modelo B no trivial, siguiendo el trabajo de [BT22].

El autor establece explícitamente que la teoría de campo de Weil–Dijkgraaf–Verlinde–Verlinde para la teoría de Saito orbifold no está definida en el sentido estándar dentro de esta nota, pero puede ser reconstruida mediante el formalismo de Givental, lo que implica que la simetría de espejo también se cumple al nivel de las teorías de campo de Weil–Dijkgraaf–Verlinde–Verlinde, de manera consistente con los resultados de Teleman. El trabajo depende fuertemente de la clasificación de grupos de simetría admisibles para singularidades ADE proporcionada en [BTW23].