Lagrangian Intersections, Symplectic Reduction and Kirwan Surjectivity

Aquí presento un resumen técnico detallado del artículo "Lagrangian Intersections, Symplectic Reduction and Kirwan Surjectivity" de Naichung Conan Leung, Ying Xie y Yu Tung Yau.

1. Planteamiento del Problema

El trabajo se sitúa en la intersección de la geometría simpléctica, la geometría algebraica derivada y la teoría de espejos (específicamente el modelo B en 3 dimensiones propuesto por Kapustin-Rozansky-Saulina). El problema central aborda la comprensión de las intersecciones de Lagrangianas complejas en el contexto de acciones de grupos de Lie complejos reductivos ($G$) y su reducción simpléctica.

Los autores buscan establecer una relación precisa entre:

1. Las intersecciones de Lagrangianas invariantes bajo $G$ en una variedad simpléctica $X$.
2. Las intersecciones inducidas en el cuociente simpléctico (o pila simpléctica) $X // G$.
3. Los grupos de Ext (extensión) entre haces estructurales de estas Lagrangianas en el cuociente, y cómo estos se relacionan con la cohomología equivariante de la intersección.

Un desafío técnico clave es que las intersecciones de Lagrangianas no siempre son transversales; a menudo son "limpias" (clean), lo que introduce un "fibrado de exceso" (excess bundle). El papel busca generalizar resultados conocidos (como la isomorfía de HKR para auto-intersecciones) al caso equivariante y a la reducción simpléctica, incorporando sistemas locales torsionales que surgen naturalmente en contextos físicos (como estructuras spin en teoría de cuerdas).

2. Metodología

La metodología combina herramientas avanzadas de geometría algebraica derivada y topología algebraica:

• Geometría Derivada: Utilizan el lenguaje de pilas derivadas y productos fibrados derivados ($C_1 \times_X C_2$) para manejar intersecciones no transversales. En lugar de tratar la intersección clásica $B = C_1 \cap C_2$, estudian la estructura derivada completa, que se modela como un espacio total de un complejo cotangente desplazado.
• Reducción Simpléctica Derivada: Analizan el cuociente $X // G$ no como una variedad clásica, sino como una pila simpléctica desplazada (0-shifted symplectic Artin stack).
• Secuencias de Conormal y Fibrados de Exceso: Estudian la condición de que la secuencia de conormal de la intersección $B \subset X$ se divida (split). Esta condición es crucial para que la intersección derivada sea isomorfa a un espacio total de un fibrado vectorial desplazado ($\text{Tot}(E[-1])$).
• Técnicas de Recubrimiento (Covering Trick): Para manejar haces de líneas torsionales (como $\det(N_{B/C_2})$ que son $n$-torsión), emplean recubrimientos cíclicos para relacionar la cohomología con coeficientes en un sistema local con la cohomología ordinaria, permitiendo el uso de la teoría de Hodge.
• Teorema de Kirwan y Estratificación HKKN: Utilizan la estratificación de Haydys-Kirwan-Kobayashi-Nakajima (HKKN) del lugar inestable para probar la sobreyectividad de los mapas de restricción hacia el cuociente semi-estable (GIT).

3. Contribuciones y Resultados Clave

A. Geometría de Intersecciones Derivadas (Teorema 1.1 / Teorema 4.5)

Bajo la suposición de que la secuencia de conormal de la intersección limpia $B = C_1 \cap C_2$ se divide, los autores demuestran que el producto fibrado derivado de las Lagrangianas en el cuociente simpléctico es isomorfo al espacio total del complejo cotangente desplazado de la intersección:
$$C_1/G \times_{X//G} C_2/G \cong \text{Tot}_{B/G}(L_{B/G}[-1])$$
Esto generaliza la isomorfía de HKR al contexto equivariante y simpléctico.

B. Cálculo de Grupos Ext y Cohomología Equivariante

El resultado principal conecta los grupos de Ext entre haces estructurales de Lagrangianas en el cuociente con la cohomología equivariante de la intersección $B$:
$$\text{Ext}^\bullet_{X//G}(\mathcal{O}_{C_1/G}, \mathcal{O}_{C_2/G}) \cong H^\bullet_{G}(B, \det(N_{B/C_2})^\delta)$$
donde $\det(N_{B/C_2})^\delta$ es un sistema local $C$-lineal de rango 1 determinado por el determinante del fibrado normal (que es torsión bajo ciertas condiciones).

• Si $C_1 = C_2 = C$, se recupera que $\text{Ext}^\bullet(\mathcal{O}_{C/G}, \mathcal{O}_{C/G}) \cong H^\bullet_G(C, C)$, interpretando la cohomología de la Lagrangiana como la auto-intersección en el modelo B.

C. Estructuras Spin y Sistemas Locales 2-Torsión (Teorema 1.2 / Teorema 4.9)

Los autores extienden los resultados al caso donde las Lagrangianas admiten raíces cuadradas de su fibrado canónico (estructuras spin). Demuestran que los grupos Ext entre haces de "raíces cuadradas" ($K^{1/2}$) están relacionados con la cohomología equivariante con coeficientes en un sistema local de 2-torsión:
$$\text{Ext}^\bullet_{X//G}(K^{1/2}_{C_1/G}, K^{1/2}_{C_2/G}) \cong H^\bullet_{G}(B, \mathcal{E})$$
donde $\mathcal{E}$ es un sistema local 2-torsión construido a partir de las raíces cuadradas y el determinante del fibrado normal. Esto tiene una motivación física directa en la teoría de cuerdas, donde las branas requieren estructuras spin para definir fermiones en la hoja de mundo.

D. Sobreyectividad de Kirwan Generalizada (Teoremas 1.3, 5.5, 5.6, 5.7)

El artículo establece una versión generalizada del Teorema de Sobreyectividad de Kirwan. Muestran que el mapa de restricción desde el cuociente simpléctico completo hacia el cuociente semi-estable (GIT) es sobreyectivo:
$$\text{Ext}^\bullet_{X//G}(\dots) \twoheadrightarrow \text{Ext}^\bullet_{X^{ss}//G}(\dots)$$
Esto se traduce en la sobreyectividad del mapa de Kirwan torcido:
$$H^\bullet_G(B, \mathcal{L}) \twoheadrightarrow H^\bullet_G(B^{ss}, \mathcal{L})$$
La prueba se basa en la estratificación HKKN y el criterio de inyectividad de Atiyah-Bott para clases de Euler equivariantes, adaptado a coeficientes locales.

4. Significado e Impacto

1. Fundamentos del Modelo B en 3D: El trabajo proporciona una base matemática rigurosa para la categoría de Fukaya de Lagrangianas complejas y la 2-categoría del modelo B en 3 dimensiones. La identificación de los grupos Ext con la cohomología equivariante valida las predicciones físicas sobre la estructura de la categoría de branas.
2. Puente entre Geometría Algebraica y Física: La aparición natural de sistemas locales torsionales (especialmente 2-torsión) conecta directamente con la necesidad de estructuras spin en la teoría de cuerdas, ofreciendo una interpretación geométrica algebraica para fenómenos físicos.
3. Generalización de Resultados Clásicos: El artículo unifica y generaliza resultados previos sobre intersecciones limpias (Mladenov, Caldararu, etc.) y el teorema de Kirwan, extendiéndolos al contexto de pilas derivadas y acciones de grupos complejos reductivos.
4. Herramientas Computacionales: Proporciona fórmulas explícitas para calcular grupos de Ext en cuocientes simplécticos, reduciendo problemas complejos de geometría derivada a cálculos de cohomología equivariante en la intersección limpia, lo cual es computacionalmente más manejable.

En resumen, este artículo establece un marco robusto para entender cómo la simetría y la reducción simpléctica interactúan con la geometría de las intersecciones de Lagrangianas, resolviendo problemas de estructura en la teoría de espejos y proporcionando nuevas herramientas para la cohomología equivariante torsional.