Open-closed Deligne-Mumford field theories: construction

Resumen Técnico: Teorías de Campo de Deligne–Mumford Abiertas-Cerradas: Construcción

Enunciado del Problema
El artículo aborda una brecha fundamental en la topología simpléctica y la geometría algebraica: la falta de un marco algebraico riguroso a nivel de cadenas que conecte la categoría de Fukaya de una subvariedad lagrangiana con los invariantes de Gromov–Witten de la variedad simpléctica ambiente en género arbitrario. Si bien las teorías de campo cohomológicas (CohFT) describen la estructura algebraica de los invariantes de Gromov–Witten, y las categorías de Fukaya describen la teoría de Floer lagrangiana, ha sido escurridiza la construcción directa de una teoría de campo que opere a nivel de cadenas (en lugar de solo en homología) e incorpore tanto los sectores abiertos (frontera lagrangiana) como los cerrados (interior).

Los intentos anteriores, como las teorías de campo conformales topológicas abiertas-cerradas (TCFT) de Costello, dependen de properados modulares de superficies enmarcadas suaves. Sin embargo, estos no utilizan directamente los espacios de móduli compactificados de curvas estables con frontera que surgen naturalmente en el estudio de curvas pseudo-holomorfas. Además, la teoría de Floer lagrangiana estándar a menudo produce álgebras $A_\infty$ curvadas, y extenderlas a géneros superiores con componentes de frontera arbitrarias requiere manejar la curvatura y las obstrucciones geométricas específicas de los espacios de móduli con frontera.

Metodología
Los autores construyen "Teorías de Campo de Deligne–Mumford Abiertas-Cerradas" (DMFT), definidas como funtores $A_\in$ monoidales simétricos desde una categoría de cadenas sobre espacios de móduli de curvas estables con frontera hasta la categoría de complejos de cadenas. La construcción procede a través de varias etapas técnicas:

1. Marco Algebraico: Los autores definen una categoría $\mathcal{OC}$ enriquecida sobre cadenas en espacios de móduli de curvas estables con frontera ($M_{oc}$). Para manejar la realidad geométrica de las condiciones de frontera lagrangianas, introducen una versión "curvada" de esta categoría, $\mathcal{OC}_r$, que adjunta formalmente generadores $D_0$ y $D_1$ para dar cuenta de la inestabilidad de los discos con pocos puntos marcados. Esto permite que la teoría acomode álgebras $A_\infty$ curvadas.
2. Modelos de Cadenas y Resolución de Singularidades: Un obstáculo técnico mayor es definir operaciones sobre cadenas donde los espacios de móduli son orbifolds singulares con esquinas. Los autores emplean un modelo de cadenas específico basado en "cadenas singulares analíticas". Utilizan el algoritmo de resolución analítica real de singularidades (extendiendo resultados de Bierstone y Milman) para manejar productos fibrados de espacios de móduli que no son transversales. Esto permite operaciones de empuje y tracción bien definidas (operaciones q) incluso cuando los mapas de estabilización no son submersiones.
3. Cobordismos Cúbicos y Estructuras de Kuranishi: Para lograr una estricta functorialidad y manejar homotopías superiores, la construcción se basa en un sistema de "cobordismos cúbicos" (cartas globales de Kuranishi) para espacios de móduli de aplicaciones estables. Estas cartas se construyen para ser compatibles con las estratos de frontera y las operaciones de engarce. Los autores definen correspondencias utilizando estas cartas y formas de Thom para definir las operaciones de la teoría de campo.
4. Deformación y Eliminación de la Curvatura: La construcción inicial produce una DMFT abierta-cerrada curvada. Para obtener una teoría no curvada (necesaria para recuperar los invariantes estándar de Gromov–Witten), los autores utilizan la teoría de cadenas acotantes. Demuestran que si la lagrangiana admite una cadena acotante débil, la DMFT curvada puede deformarse en una no curvada mediante un proceso de deformación algebraica que elimina el término de curvatura.
5. Independencia de Homotopía: Los autores prueban que la teoría de campo resultante es independiente de las elecciones auxiliares (tales como la estructura casi compleja y las cartas específicas de Kuranishi) hasta homotopía. Esto se logra construyendo homotopías explícitas utilizando "pseudo-isotopías" de los datos geométricos subyacentes.

Contribuciones y Resultados Clave

• Definición de DMFT Abierta-Cerrada: El artículo define una teoría de campo de Deligne–Mumford abierta-cerrada como un funtor $A_\infty$ monoidal simétrico $F: \mathcal{OC} \to \text{Ch}_\Lambda$. Esta estructura extiende el álgebra $A_\infty$ de Fukaya a curvas de género arbitrariamente alto y con un número arbitrario de componentes de frontera.
• Teorema de Construcción (Teorema A): Para una variedad simpléctica cerrada $(X, \omega)$ y una lagrangiana $L$ relativamente spin, embebida y débilmente no obstruida, los autores construyen una DMFT abierta-cerrada curvada operádica semi-estricta.
  • Si $L$ está equipada con una cadena acotante débil, esto se deforma en una DMFT abierta-cerrada no curvada.
  • El sector cerrado asociado de esta teoría recupera la teoría de Gromov–Witten de $X$.
• Estrictidad y Propiedades Operádicas: La construcción es "semi-estricta" (estricta en cadenas estables) y "operádica" (compatible con olvidar puntos marcados). Esto implica que el álgebra asociada en la lagrangiana es un álgebra $A_\infty$ cíclica.
• Corolario 1.2: Como consecuencia, cualquier variedad simpléctica compacta admite una acción estricta a nivel de cadenas del operado de curvas de género 0 estables sobre las formas diferenciales $\Omega^*(X; \Lambda)$, elevando el producto copa cuántico.
• Independencia de Homotopía (Teorema B): Las DMFT construidas son independientes de todas las elecciones auxiliares (incluida la elección de la estructura casi compleja y la clase de equivalencia de gauge de las cadenas acotantes) hasta homotopía de DMFT.
• Conteo Universal de Curvas: La teoría se describe como una "teoría universal de conteo de curvas" que contiene los mapas abierto-cerrado y cerrado-abierto como parte de sus datos, cerrando la brecha entre la categoría de Fukaya y los invariantes de Gromov–Witten.

Significado
El artículo representa un primer paso crítico hacia la prueba de la conjetura de Kontsevich de que la categoría de Fukaya determina los invariantes de Gromov–Witten de una variedad simpléctica. Siguiendo una estrategia delineada por Costello, los autores proporcionan la maquinaria geométrica y algebraica necesaria para elevar la categoría de Fukaya a una teoría de campo que opera a nivel de cadenas y espacios de móduli de curvas estables con frontera.

La construcción elimina la necesidad de suposiciones restrictivas de regularidad (como las requeridas en trabajos anteriores de Ganatra, Pomerleano y Seidel) mediante el uso de perturbaciones virtuales y cartas globales de Kuranishi. El artículo establece que la estructura algebraica de la categoría de Fukaya, cuando se mejora con una cadena acotante, codifica naturalmente los invariantes enumerativos de la variedad simpléctica. Si bien el artículo no afirma probar completamente la conjetura para todos los géneros sin trabajo adicional (específicamente en lo que respecta a la generación de la categoría de Fukaya y la trivialización de la acción de $S^1$), construye exitosamente el puente teórico de campo requerido para realizar dicha comparación. El trabajo también generaliza resultados anteriores sobre invariantes de Gromov–Witten abiertos de género cero a género arbitrario y componentes de frontera.