Sections of Lagrangian fibrations on holomorphic symplectic manifolds

Resumen Técnico: Secciones de Fibraciones Lagrangianas

Planteamiento del Problema
El artículo aborda la existencia de secciones para fibraciones lagrangianas $\pi: M \to X$ en variedades hiperkählery compactas de holonomía máxima (variedades simplécticas holomorfas irreducibles). Si bien se sabe que la base $X$ es biholomorfa a $\mathbb{CP}^n$ (bajo supuestos de suavidad), la existencia de una sección holomorfa global o incluso meromorfa constituye una obstrucción topológica y geométrica no trivial.

Los intentos previos de construir tales secciones utilizando argumentos puramente topológicos (por ejemplo, representando clases de homología mediante subvariedades) fallaron, particularmente para superficies K3 y fibraciones elípticas. El problema central es determinar si, bajo condiciones específicas, se puede deformar la estructura compleja de $M$ para admitir una sección meromorfa sin alterar el tipo deformacional de la variedad.

Metodología
Los autores emplean un enfoque de múltiples etapas que combina geometría algebraica, álgebra homológica y geometría diferencial compleja:

1. Deformaciones de Twistor Degeneradas: El mecanismo central es el uso de "deformaciones de twistor degeneradas" (o giros de Tate-Shafarevich). Dada una fibración lagrangiana $\pi: M \to X$ y una forma cerrada de tipo $(2,0)+(1,1)$ $\eta$ en la base $X$, se puede deformar la estructura compleja de $M$ a una nueva estructura $I_\eta$ tal que la forma $\Omega + \pi^*\eta$ sea simpléctica holomorfa. Crucialmente, si existe una sección suave $S$, la forma $\eta = -S^*\Omega$ hace que $S$ sea holomorfa en la estructura deformada.
2. Construcción Local mediante Promediado: Los autores construyen primero una sección suave sobre una recta general $C \cong \mathbb{CP}^1 \subset X$. Esto se basa en:
   • Teorema de Thom: Representar una clase de homología específica en la preimagen $\pi^{-1}(C)$ mediante una subvariedad suave de dimensión 2.
   • Modelos de Néron y Estructuras de Torsor: Utilizar la estructura de grupo abeliano (o estructura de torsor) de las fibras suaves. Mediante el "promediado" de los puntos de intersección de la subvariedad con las fibras (usando la ley de grupo), construyen una sección suave $\sigma: C \to M$.
   • Supuesto de Primitividad: La construcción requiere que la fibra general sea primitiva en la homología entera para asegurar la existencia de una multisección con multiplicidad total 1.
3. Extensión vía Corrientes de Dolbeault: La principal obstrucción para extender la deformación local desde un entorno de $C$ hacia toda la base $X = \mathbb{CP}^n$ reside en el grupo de cohomología $H^1(UC, \mathcal{O})$. Los autores definen una "clase de Dolbeault" asociada a la sección. Prueban que esta clase se anula al realizarla como una corriente y mostrar que es exacta, permitiendo así la extensión de la forma cerrada $\eta$ a toda la base.
4. Principio de Holografía: Una vez que existe una sección holomorfa sobre un entorno de una curva racional amplitud $C$, los autores aplican un "principio de holografía" (Teorema 5.12). Este principio establece que cualquier mapa holomorfo desde un entorno de una curva racional amplitud en $\mathbb{CP}^n$ hacia una variedad de Kähler se extiende a un mapa meromorfo en toda la $\mathbb{CP}^n$.

Contribuciones Clave y Resultados

• Teorema 1.1 (Resultado Principal): Sea $\pi: M \to \mathbb{CP}^n$ una fibración lagrangiana en una variedad hiperkähler compacta de holonomía máxima. Suponga que la fibra general es primitiva en la homología entera y que las fibras son reducidas fuera de un subconjunto de codimensión 2. Entonces, existe un parámetro $t_0 \in H^2(\mathbb{CP}^n, \mathbb{C})$ tal que la deformación de twistor degenerada $(M, I_{t_0})$ admite una sección meromorfa $\pi: (M, I_{t_0}) \to \mathbb{CP}^n$.
• Anulación de la Obstrucción (Teorema 6.19): El artículo demuestra que la clase de Dolbeault asociada a la sección suave construida sobre una recta se anula. Este es el paso crítico que permite que la deformación de twistor degenerada local se extienda globalmente.
• Refinamiento de Argumentos de Homología (Sección 4): Los autores abordan las sutilezas respecto a la clase de homología de la sección construida. Demuestran que, si bien el procedimiento de "promediado" modifica la clase de homología de la multisección inicial, la clase resultante está determinada de forma única y es compatible con la estructura global, resolviendo las preocupaciones planteadas por J. Kollár sobre la preservación de las clases de homología.
• Comparación con Giros de Tate-Shafarevich: El artículo distingue su enfoque de los trabajos recientes de J. Kollár sobre giros de Tate-Shafarevich. Mientras que Kollár construye secciones racionales para fibraciones abelianas mediante giros que pueden no preservar el tipo deformacional de la variedad, el uso de los autores de deformaciones de twistor degeneradas asegura que la variedad resultante sea deformacionalmente equivalente a la $M$ original.

Significancia y Reivindicaciones
El artículo afirma resolver el problema topológico de la construcción de una sección suave para fibraciones lagrangianas mediante el desarrollo de un enfoque algebro-geométrico robusto que supera las limitaciones de los métodos topológicos previos.

• Equivalencia Deformacional: Una afirmación significativa es que la variedad resultante con una sección meromorfa es una deformación de twistor degenerada de la variedad original. A diferencia de otras construcciones (como ciertos giros de Tate-Shafarevich), esta deformación preserva el tipo deformacional de la variedad hiperkähler.
• Necesidad de la Primitividad: Los autores argumentan explícitamente que la primitividad de la fibra general es una condición necesaria para la existencia de una sección bimeromorfa, citando ejemplos (el sistema de Mukai de Hellmann) donde las fibras no primitivas impiden tales secciones.
• Generalidad: El resultado se aplica a todas las fibraciones lagrangianas en variedades hiperkählery que satisfacen las condiciones de primitividad y de fibras reducidas, proporcionando un marco unificado para la existencia de secciones en este contexto.

El artículo no pretende construir secciones para todas las fibraciones lagrangianas sin el supuesto de primitividad, ni pretende que la sección sea holomorfa en la estructura compleja original; más bien, establece la existencia de una sección dentro de una familia específica y bien definida de deformaciones de la estructura compleja.