Open FJRW Theory and Mirror Symmetry

Resumen Técnico de "Open FJRW Theory and Mirror Symmetry"

Planteamiento del Problema
El artículo aborda la construcción de una teoría enumerativa abierta para el modelo de Landau-Ginzburg (LG) $(W, G) = (x^r + y^s, \mu_r \times \mu_s)$. Mientras que la teoría FJRW (Fan-Jarvis-Ruan-Witten) cerrada proporciona un marco enumerativo robusto para el modelo A de las teorías LG, una teoría abierta correspondiente (que involucra fronteras) ha estado menos desarrollada, particularmente para rango $a \geq 2$. El trabajo previo de Buryak, Clader y Tessler estableció la teoría de $r$-spin abierta (el caso $a=1$), pero extender esto a rangos superiores presenta desafíos geométricos y combinatorios significativos. Específicamente, los autores buscan definir invariantes abiertos que satisfagan un teorema de simetría espejo que relacione el modelo A abierto con el modelo B (teoría de Saito-Givental) y comprender la dependencia de estos invariantes de las condiciones de frontera, lo que conduce a fenómenos de cruce de muros (wall-crossing).

Metodología
Los autores emplean un enfoque geométrico basado en espacios de módulos de discos de W-spin estables, generalizando la construcción de los invariantes de $r$-spin abiertos.

1. Espacios de Módulos y Estructuras:

   • Definen discos de W-spin graduados, que son superficies de Riemann de orbifold de género cero con frontera, equipadas con una involución antiholomorfa, haces de spin $S_i$ y datos de giro (twist) específicos en los puntos marcados y nodos.
   • Los espacios de módulos $\mathcal{M}^W_\Gamma$ se construyen como orbifolds reales con esquinas, donde $\Gamma$ representa un grafo dual que codifica la degeneración del disco (nodos, nodos de frontera, nodos de frontera contraídos).
   • Un paso técnico crucial consiste en definir las graduaciones (levantamientos de los haces de spin) para imponer las condiciones de frontera necesarias. Esto incluye distinguir entre puntos de frontera "alternantes" y "no alternantes" y manejar los "nodos de frontera contraídos".

2. Haces de Witten e Invariantes:

   • Los invariantes se definen como integrales de multisecciones de el haz de descendentes de Witten $E_\Gamma(d)$ sobre el espacio de módulos. El haz es la suma directa de los haces de Witten $W_i$ (relacionados con $H^1(C, S_i)^\vee$) y haces de descendentes de línea $L_i$.
   • Debido a que los espacios de módulos tienen esquinas, los invariantes no son simplemente clases de Euler. En su lugar, se definen como el conteo con signo de los ceros de multisecciones que satisfacen condiciones de frontera específicas.
   • Los autores introducen una noción de positividad para las multisecciones a lo largo de ciertas estratas de frontera (específicamente aquellas correspondientes a nodos de frontera "positivos"). Esto asegura que las multisecciones sean no nulas en estas estratas, permitiendo una clase de Euler relativa bien definida.

3. Estructura Inductiva y Familias Canónicas:

   • Para definir un sistema consistente de invariantes a través de todos los espacios de módulos, los autores construyen familias de multisecciones canónicas. Estas se definen inductivamente: las condiciones de frontera en una estrata correspondiente a una degeneración en dos discos están determinadas por el retroceso (pullback) de las multisecciones de los espacios de módulos de los componentes normalizados.
   • Esta estructura inductiva es esencial para establecer relaciones entre invariantes, como la recursión topológica.

4. Cruce de Muros y el Grupo de Cruce de Muros de Landau-Ginzburg:

   • Los autores identifican que la elección de las condiciones de frontera no es única. Diferentes elecciones conducen a diferentes sistemas de invariantes.
   • Definen un grupo de cruce de muros de Landau-Ginzburg ($G_{r,s}^{AI,sym}$), un subgrupo de los automorfismos del espacio de parámetros del potencial. Este grupo actúa sobre el conjunto de todos los posibles sistemas de invariantes abiertos.
   • Se demuestra que la acción es fiel y transitiva, lo que significa que cualquier par de sistemas de invariantes válidos están relacionados por un elemento de este grupo. Este grupo está generado por transformaciones asociadas a estratas de frontera "críticas" donde la dimensión del espacio de módulos cae en uno respecto al rango del haz.

5. Simetría Espejo y Recursión Topológica:

   • Utilizando un sistema de invariantes abiertos, los autores construyen una perturbación $W^{\nu, sym}$ del potencial $W = x^r + y^s$.
   • Demuestran que las integrales oscilatorias de $e^{W^{\nu, sym}/\hbar}$ producen funciones generatrices para los invariantes FJRW extendidos cerrados.
   • Crucialmente, establecen la Recursión Topológica Abierta. A diferencia del caso cerrado o del caso de $r$-spin, la recursión no se cumple para un solo invariante abierto, sino para combinaciones polinómicas de invariantes (denotadas $A(I, d)$). Esto es necesario debido al fenómeno de cruce de muros.

Contribuciones Clave y Resultados

• Construcción de Invariantes FJRW Abiertos: El artículo construye con éxito invariantes FJRW abiertos para el modelo LG de Fermat de rango 2 $(x^r + y^s, \mu_r \times \mu_s)$. Estos se definen como integrales de multisecciones sobre orbifolds reales con esquinas.
• Existencia de Familias Canónicas: El Teorema 0.1 establece la existencia de familias de multisecciones transversales canónicas, y sus versiones simétricas, probando que los invariantes abiertos existen.
• Grupo de Cruce de Muros: El artículo identifica y caracteriza el grupo de cruce de muros de LG. Demuestra que este grupo actúa transitivamente sobre el conjunto de todos los posibles sistemas de invariantes abiertos (Teorema 0.7). Esto proporciona una clasificación completa de la ambigüedad en la definición de los invariantes abiertos.
• Teorema de Simetría Espejo Abierta: El Teorema 0.3 prueba un teorema de simetría espejo abierta LG/LG. Establece que, si se utilizan los invariantes abiertos para construir el potencial deformado $W^{\nu, sym}$, las integrales oscilatorias resultantes generan los invariantes FJRW extendidos cerrados con descendentes. Esto establece un vínculo directo entre el modelo A abierto y el modelo B cerrado sin depender de construcciones combinatorias como la dualidad de Berglund-Hübsch.
• Recursión Topológica Abierta: El Teorema 0.5 establece una nueva forma de recursión topológica. Debido al cruce de muros, la recursión relaciona polinomios de invariantes abiertos en lugar de un solo invariante. Esta recursión es la herramienta clave utilizada para probar el teorema de simetría espejo.
• Correspondencia Abierto-Cerrado: El Corolario 0.6 proporciona una correspondencia precisa que vincula los polinomios de invariantes abiertos con los invariantes extendidos cerrados.

Significancia y Reivindicaciones
Los autores afirman que este trabajo proporciona la primera teoría enumerativa abierta para un modelo de Landau-Ginzburg en dimensión dos (rango $a=2$) con todos los descendentes.

• Naturalidad Geométrica: La construcción se basa en condiciones de frontera geométricas (positividad) en lugar de elecciones ad hoc, lo que permite un "ajuste exacto" (matching) de los modelos A y B.
• Resolución de la Ambigüedad: Al introducir el grupo de cruce de muros, el artículo aclara que la no unicidad de los invariantes abiertos es una característica estructural gobernada por un grupo específico, más que un defecto de la teoría.
• Generalización del Trabajo Previo: La teoría generaliza la teoría de $r$-spin abierta de Buryak, Clader y Tessler al caso de W-spin, resaltando al mismo tiempo nuevas características (como la necesidad de recursiones polinómicas) que surgen en rangos superiores.
• Simetría Espejo: El artículo demuestra que los invariantes de tipo Gromov-Witten abiertos (en el contexto de LG) generan naturalmente el potencial espejo, extendiendo la filosofía de Cho-Oh, Gross y Fukaya-Oh-Ohta-Ono a los modelos de Landau-Ginzburg.

El artículo no pretende resolver el problema para potenciales arbitrarios o rangos superiores de inmediato, sino que establece el marco y prueba los resultados para el caso específico de polinomios de Fermat en dos variables. Observan que para singularidades simples (casos específicos de $r, s$) sin descendentes, los invariantes están bien definidos (sin cruce de muros), pero el cruce de muros es inevitable cuando se incluyen los descendentes.