Geometry of Holomorphic One-forms on Smooth Projective Varieties

Resumen Técnico: Geometría de las 1-formas Holomorfas en Variedades Proyectivas Suaves

Planteamiento del Problema
El artículo investiga la geometría y la topología de las variedades irregulares a través del prisma de las 1-formas holomorfas. Específicamente, aborda la relación entre la existencia de 1-formas holomorfas que no se anulan en ningún punto y la suavidad de los morfismos desde variedades proyectivas suaves hacia variedades abelianas. Además, busca caracterizar la estructura de los espacios de 1-formas holomorfas que poseen ceros. Una cuestión central es si estos espacios, particularmente sus "conjuntos de nivel inferior" (subconjuntos de formas con loci de ceros de codimensión $\leq i$), exhiben estructuras lineales (uniones de subespacios vectoriales) o si pueden ser no lineales, reflejando propiedades algebro-geométricas más complejas.

Metodología
Los autores emplean una combinación de técnicas de geometría diferencial, topología algebraica y geometría biracional:

1. Vectores Conormales Relativos de Límite: Para analizar las singularidades de los morfismos $f: X \to A$ (donde $A$ es una variedad abeliana), los autores utilizan el concepto del espacio conormal relativo $T^*_f X$. Introducen una condición denominada "sin explosión en codimensión 0", definida por la equidimensionalidad del mapa natural desde el espacio conormal relativo hacia el objetivo.
2. Restricciones Topológicas: La demostración aprovecha la condición de que las imágenes directas superiores $R^i f_* \mathbb{Z}$ son sistemas locales $\mathbb{Z}$ (definiendo un fibrado de fibras de $\mathbb{Z}$-homología). Los autores demuestran que esta condición topológica fuerza al morfismo a ser "sin explosión en codimensión 0" y, bajo condiciones específicas, suave.
3. Loci de Salto de Cohomología y Formalidad: El estudio de la linealidad de los espacios de loci de ceros se basa en el teorema del cono tangente para los loci de salto de cohomología. Los autores distinguen entre las formas que surgen de los loci de salto de cohomología (que forman subconjuntos lineales $V^i(X)$) y aquellas que no lo hacen ("formas no formales").
4. Construcciones Explícitas: Para demostrar los límites de la linealidad, los autores construyen ejemplos específicos que involucran explosiones (blow-ups) de subvariedades en variedades abelianas y secciones hiperplanas de productos de curvas elípticas y variedades abelianas.

Contribuciones Clave y Resultados

• Caracterización de Morfismos Suaves (Teorema 1.1 / 2.5):
  El artículo establece una condición necesaria y suficiente para que un morfismo $f: X \to A$ desde una variedad proyectiva suave hacia una variedad abeliana simple sea suave. El morfismo es suave si y solo si existe una 1-forma holomorfa $\omega$ en $A$ tal que la tracción $f^*\omega$ no tiene ceros. Este resultado confirma una conjetura del segundo autor [13] y extiende el trabajo previo de Church [5] sobre casos de baja dimensión. Se demuestra que la simplicidad de $A$ es una condición necesaria mediante un contraejemplo que involucra una explosión de un producto de curvas elípticas.

• Fibrados de Fibras de $\mathbb{Z}$-Homología y Planitud (Teorema 1.2 / 2.2):
  Un resultado intermedio clave demuestra que si $f: X \to Y$ es un morfismo propio entre una variedad suave y una variedad normal, y las imágenes directas superiores $R^i f_* \mathbb{Z}$ son sistemas locales, entonces $Y$ es suave y $f$ es "sin explosión en codimensión 0". Este resultado está motivado por la conjetura de de Bobadilla-Kollár sobre la suavidad de tales morfismos.

• Linealidad de los Espacios con Ceros (Teorema 1.3 / 3.2, 3.3, 3.7):
  Los autores investigan el espacio $W^n(X)$ de 1-formas holomorfas con ceros en una variedad proyectiva suave $X$ de dimensión $n$. Demuestran que $W^n(X)$ es una unión de un número finito de subespacios vectoriales (un "subconjunto lineal") en los siguientes casos:

  1. $X$ es un modelo mínimo bueno.
  2. $X$ tiene una variedad de Albanese simple.
  3. $\dim(X) \leq 3$.
     En estos casos, la estructura está controlada por la geometría biracional de $X$ o la simplicidad de su mapa de Albanese.

• No Linealidad de los Conjuntos de Nivel Inferior (Teorema 1.4 / 4.1):
  Contrario a la expectativa de que los conjuntos de nivel inferior $W^i(X)$ para subvariedades de variedades abelianas son siempre lineales, los autores construyen un contraejemplo. Presentan una variedad proyectiva suave de cuatro dimensiones $X$ (una subvariedad de una variedad abeliana de seis dimensiones) para la cual el tercer conjunto de nivel inferior $W^3(X)$ no es lineal. Esto responde a una pregunta planteada en [9] y demuestra que el espacio de formas con ceros puede codificar estructuras algebraicas no lineales delicadas que no son capturadas por los loci de salto de cohomología.

• 1-Formas No Formales (Sección 4.2):
  El artículo define las "1-formas no formales" como aquellas con ceros que no surgen de los loci de salto de cohomología. Proporcionan un criterio cohomológico para la no formalidad que involucra la exactitud del complejo de Koszul. Los autores estudian superficies que admiten tales formas, mostrando que para superficies con dimensión de Albanese 1, la no formalidad está vinculada a la existencia de componentes no reducidas en las fibras del mapa de Albanese. Además, demuestran que tales superficies no pueden ser dominadas por productos de curvas de géneros superiores.

Significancia
El artículo afirma proporcionar un "estudio detallado" del espacio de las 1-formas holomorfas, tendiendo un puente entre los invariantes topológicos (sistemas locales) y las propiedades geométricas (suavidad de morfismos). Al demostrar la equivalencia entre la existencia de una tracción de forma sin ceros y la suavidad del morfismo hacia una variedad abeliana simple, los autores resuelven una conjetura específica en el campo.

Además, el descubrimiento de conjuntos de nivel inferior no lineales en subvariedades de variedades abelianas desafía la intuición prevaleciente de que estos espacios están gobernados únicamente por estructuras lineales derivadas de los loci de salto de cohomología. Los autores sugieren que las 1-formas no formales reflejan la "profunda naturaleza algebro-geométrica" de las variedades, particularmente respecto a las modificaciones biracionales y la estructura de los modelos mínimos. El trabajo refina la comprensión de cómo las singularidades de los mapas de Albanese controlan los ceros de las 1-formas holomorfas, ofreciendo nuevas herramientas (vectores conormales relativos de límite) para analizar morfismos en geometría algebraica.