Multiplicity of codimension 1 fibers in Lagrangian fibrations

Resumen Técnico: Multiplicidad de Fibras de Codimensión 1 en Fibraciones Lagrangianas

1. Planteamiento del Problema

El artículo aborda una conjetura fundamental en la geometría de las variedades hiper-Kähler compactas. Sea $\pi: X \to B$ una fibración lagrangiana de una variedad hiper-Kähler compacta $X$.

• El problema: Determinar si las fibras de codimensión 1 (es decir, la preimagen de un divisor primo $D \subset B$) pueden ser "múltiples". Una fibra es múltiple si su multiplicidad $m \geq 2$, lo que significa que $\pi^*(D) = m \cdot E$ para algún divisor de Weil $E$.
• Contexto: Se esperaba que no existieran fibras múltiples de codimensión 1, una afirmación mencionada en trabajos previos ([Mar96], [KV19]) y utilizada como condición obstruyente en varios resultados de la literatura. Sin embargo, la versión local de este hecho (vía la fórmula del haz canónico) falla en dimensiones $\dim X \geq 4$ debido a contraejemplos conocidos ([HO11]). Por tanto, se requiere una demostración global que dependa de las propiedades topológicas de $X$.

2. Metodología y Estrategia de Demostración

La prueba central se basa en una construcción de recubrimiento cíclico combinada con la simplemente conexidad de la variedad hiper-Kähler.

• Reducción a un caso más general (Teorema 2.1):
  El autor demuestra primero un teorema más general para fibraciones equidimensionales propias entre variedades normales conectadas $\pi: X \to B$.

  • Hipótesis: Si existe una fibra de codimensión 1 con multiplicidad $m$.
  • Conclusión: Existe un homomorfismo sobreyectivo $\pi_1^{ét}(X_{reg}) \to \mathbb{Z}/m\mathbb{Z}$.

• Construcción del Recubrimiento:

  1. Sea $D \subset B$ un divisor primo tal que $\pi^*(D) = mE$.
  2. Se construye un recubrimiento cíclico $\tilde{X} \to X$ de grado $m$ ramificado a lo largo de $mE$.
  3. Se toma la normalización $\nu: Y \to \tilde{X}$, resultando en un morfismo compuesto $q: Y \to X$.
  4. Propiedad clave: En la parte regular $X_{reg}$, el divisor $E$ es de Cartier. Localmente, el recubrimiento cíclico se descompone en $m$ copias isomorfas a $X_{reg}$. Por lo tanto, la restricción $q|_{q^{-1}(X_{reg})} \to X_{reg}$ es un recubrimiento étalo cíclico de grado $m$.

• Conexidad y Simplemente Conexidad:

  • Se demuestra que $Y$ es una variedad conectada (es una fibración sobre un recubrimiento cíclico de la base $B$, que es conexo).
  • Dado que $X$ es una variedad hiper-Kähler compacta, es simplemente conexa ($\pi_1(X) = 0$).
  • Un recubrimiento étalo no trivial de una variedad simplemente conexa es imposible. Por lo tanto, el grado del recubrimiento debe ser $m=1$.

• Nota técnica: La prueba no utiliza explícitamente la estructura simpléctica de $X$, sino la propiedad topológica de ser simplemente conexa, lo que permite generalizar el resultado a variedades irreducibles simplécticas bajo ciertas condiciones.

3. Resultados Principales

• Teorema 1.1 (Resultado Principal):
  Sea $X$ una variedad hiper-Kähler compacta y $\pi: X \to B$ una fibración lagrangiana. Entonces, $\pi$ no tiene fibras múltiples de codimensión 1. Es decir, la multiplicidad de cualquier fibra de codimensión 1 es exactamente 1.

• Teorema 2.1 (Generalización):
  Para una fibración equidimensional propia $\pi: X \to B$ entre variedades normales, si existe una fibra de codimensión 1 con multiplicidad $m$, entonces el grupo fundamental étalo de la parte regular de $X$ ($\pi_1^{ét}(X_{reg})$) admite un homomorfismo sobreyectivo hacia $\mathbb{Z}/m\mathbb{Z}$.

• Teorema 3.1 (Acotación de multiplicidades):
  Para variedades simplécticas irreducibles proyectivas, las multiplicidades de las fibras de codimensión 1 están acotadas superiormente por el orden del grupo fundamental étalo $|\pi_1^{ét}(X_{reg})|$. Si este grupo es trivial, no hay fibras múltiples.

4. Contribuciones Clave

1. Resolución de una Conjetura Abierta: El artículo prueba definitivamente la ausencia de fibras múltiples de codimensión 1 en fibraciones lagrangianas de variedades hiper-Kähler compactas, eliminando la necesidad de asumir esta conjetura como hipótesis en trabajos posteriores.
2. Independencia de la Estructura Simpléctica: La demostración revela que la ausencia de fibras múltiples es una consecuencia de la topología global (simplemente conexidad) y no de la estructura local simpléctica, lo cual es un hallazgo conceptual importante dado que la versión local falla en dimensiones altas.
3. Herramienta Técnica (Recubrimiento Cíclico): Se establece una relación rigurosa entre la multiplicidad de fibras y la existencia de recubrimientos étalos no triviales, proporcionando un marco para estudiar fibraciones en variedades singulares o no simplemente conexas.

5. Significado e Impacto

• Unificación de Resultados: El teorema hace que resultados previos en la literatura (como los de Kamenova-Verbitsky [KV19], Voisin [Voi25], y otros citados en la sección 3) sean incondicionales. Antes, estos resultados dependían de la suposición de que no había fibras múltiples.
• Aplicaciones en Teoría de Moduli y Estructura de Fibras:
  • Refuerza la primitividad de ciertos haces de líneas en el grupo de Picard (Teorema 3.2).
  • Garantiza que las fibras singulares generales son reducidas bajo ciertas condiciones de número de Picard (Teorema 3.4).
  • Facilita el estudio de la cohomología de las fibras y la estructura de esquemas de grupos asociados a la fibración (Teoremas 3.5 y 3.6).
• Relevancia Futura: Al eliminar la obstrucción de las fibras múltiples, se abre la puerta a un análisis más limpio de la geometría de la base $B$ y de las singularidades de la fibración, sin tener que considerar casos patológicos de multiplicidad.

En conclusión, el artículo de Kim proporciona una demostración elegante y global de una propiedad geométrica esperada pero no probada, utilizando herramientas de topología algebraica y teoría de recubrimientos para cerrar una brecha significativa en la teoría de variedades hiper-Kähler.