Meromorphic Group Actions and the Support Theorem for Lagrangian Fibrations

Resumen Técnico: Acciones de Grupos Meromórficos y el Teorema de Soporte para Fibraciones Lagrangianas

Planteamiento del Problema
El artículo aborda la estructura geométrica y cohomológica de las fibraciones lagrangianas $f: X \to B$ en espacios complejos simplécticos holomorfos. Mientras que el teorema de Liouville–Arnold describe la dinámica de tales sistemas sobre el lugar regular (donde las fibras son toros compactos), el comportamiento sobre las fibras singulares y sobre todo el espacio base $B$ sigue siendo complejo. Específicamente, los autores investigan si se puede construir una familia de grupos de Lie conmutativos que actúe de forma fiel sobre el espacio total $X$ sobre toda la base $B$, incluyendo las fibras singulares, y cómo esta acción de grupo gobierna la topología de la fibración.

Un objetivo central es demostrar un "Teorema de Soporte" para el Teorema de Descomposición del complejo de imagen directa $Rf_* \mathbb{R}_X[\dim X]$ (o $Rf_* IC_X$ en el caso singular). Este teorema relaciona los posibles soportes (variedades irreducibles $Z \subseteq B$) que aparecen en la descomposición con la geometría de las fibras de la familia de grupos, específicamente sus cocientes de toro compacto maximal.

Metodología
Los autores emplean una síntesis de geometría analítica compleja, teoría de Hodge y la teoría de álgebras de Hopf. La metodología procede en tres etapas principales:

1. Construcción de Acciones de Grupos Meromórficos:

   • Partiendo del teorema de Liouville–Arnold, los autores integran campos vectoriales hamiltonianos verticales para definir una acción holomorfa del fibrado cotangente $T^*B$ sobre el lugar regular.
   • Extienden esto a todo el espacio $X$ utilizando el espacio de Douady relativo de $X \times_B X$. Al analizar la componente irreducible que contiene la imagen del morfismo de clasificación, construyen una familia de grupos meromórficos $G \to B$ (en el sentido de Fujiki).
   • Un logro técnico clave es demostrar que esta construcción produce una familia suave de grupos de Lie conmutativos que actúan meromórficamente sobre $X$, incluso cuando $X$ es singular o no compacta, siempre que $X$ sea Kähler y $B$ sea una variedad compleja. Esto elimina la dependencia de supuestos algebraicos previos o condiciones sobre el lugar crítico.

2. Libertad Cohomológica vía Módulos de Hopf:

   • Los autores establecen un "Teorema de Libertad" para la cohomología de las fibras. Utilizan la estructura de los grupos meromórficos, que admiten una descomposición $1 \to L \to G \to T \to 1$ (donde $L$ es algebraico lineal y $T$ es un toro compacto).
   • Utilizando la teoría de Hodge mixta, demuestran que la cohomología $H^*(X_b)$ de una fibra es un comodulo libre sobre el álgebra de Hopf $H^*(T_b)$.
   • Crucialmente, adaptan la construcción de división de Deligne para el teorema de descomposición para mostrar que la filtración perversa en la cohomología de las fibras es compatible con la estructura de comodulo. Esto permite tratar la cohomología de la imagen directa como un módulo libre sobre la cohomología del cociente de toro compacto maximal.

3. Demostración del Teorema de Soporte:

   • Combinando la libertad de los módulos de cohomología con la condición de $\delta$-regularidad (un límite en la dimensión de la parte lineal del grupo sobre la base), los autores restringen los posibles soportes en el Teorema de Descomposición.
   • Demuestran que, si $Z \subseteq B$ es un soporte, su codimensión está determinada por la dimensión del cociente de toro compacto maximal $T_b$ del grupo sobre un punto general de $Z$.

Contribuciones y Resultados Clave

• Teorema A (Existencia de Acción de Grupo): Para una fibración lagrangiana $f: X \to B$ con $X$ Kähler (posiblemente singular) y $B$ suave, existe una familia suave $G \to B$ de grupos de Lie conmutativos que actúan de forma fiel y meromórfica sobre $X$. Esto generaliza resultados previos que requerían entornos algebraicos o condiciones específicas sobre el lugar crítico.
• Teorema B (Teorema de Libertad): La cohomología singular $H^*(X_b, \mathbb{R})$ de una fibra es un módulo libre sobre el álgebra de cohomología $H^*(T_b, \mathbb{R})$, donde $T_b$ es el cociente de toro compacto maximal de la componente identidad del grupo. Este resultado se aplica a complejos constructibles bajo la acción de grupo, incluyendo el complejo de intersección $IC_X$ para $X$ singular.
• Teorema C (Teorema de Soporte): Si $Z \subseteq B$ es un soporte en el Teorema de Descomposición para $Rf_* IC_X$, entonces $\dim Z = \dim T_b$ para un $b \in Z$ general. Además, la suma directa de los haces perversos simples soportados en $Z$ se construye a partir de la cohomología de los cocientes de toro compacto y un sistema local con monodromía finita.
• Generalización a Espacios Singulares: Los resultados se extienden a espacios simplécticos holomorfos singulares (en el sentido de Beauville) utilizando geometría de Poisson y resoluciones de singularidades functoriales, demostando que las propiedades de equidimensionalidad y planitud necesarias para la prueba se mantienen en este contexto más amplio.

Significancia y Reivindicaciones
El artículo pretende proporcionar una descripción completa e intrínseca de los soportes en el Teorema de Descomposición para fibraciones lagrangianas, unificando los entornos algebraicos y Kähler.

• Eliminación de Condiciones: Los autores enfatizan que su construcción de la acción de grupo elimina la necesidad de la "condición (1)" (suryectividad del lugar no crítico) utilizada en trabajos previos, y no requiere que la fibración sea algebraica.
• Compatibilidad de Hodge: El uso de coeficientes reales está motivado por la necesidad de que la estructura de módulo sea canónica y compatible con las estructuras de Hodge mixtas. Los autores señalan que, aunque los resultados se mantienen sobre $\mathbb{Q}$, la estructura de módulo no es canónica en ese entorno.
• Interpretación Geométrica: El Teorema de Soporte proporciona una caracterización geométrica de la descomposición: el "tamaño" de los soportes está gobernado directamente por el "tamaño" de los cocientes de toro compacto de la familia de grupos que actúa. Esto vincula la topología del complejo de imagen directa directamente con la geometría de la acción de grupo construida mediante el mecanismo de Liouville–Arnold.
• Aplicabilidad: El marco se aplica tanto a fibraciones lagrangianas suaves como singulares, incluyendo aquellas que surgen en el contexto de los sistemas de Hitchin y espacios de módulos, ofreciendo una herramienta robusta para analizar la topología de estos espacios sin depender de modelos algebraicos específicos.

Los autores posicionan su trabajo como un paso significativo para comprender la estructura global de los sistemas integrables en geometría compleja, cerrando la brecha entre la visión local de Liouville–Arnold y el comportamiento global singular de la fibración.