Deformation rigidity for projective manifolds and isotriviality of smooth families

Resumen Técnico: Rigidez de Deformación para Variedades Proyectivas e Isotrivialidad de Familias Suaves

Planteamiento del Problema
El artículo aborda el problema de la rigidez de deformación para variedades complejas compactas, específicamente en el contexto de familias suaves $\pi: X \to B$. La pregunta central (Pregunta 1.1) es: Si una familia suave de variedades complejas compactas sobre una base $B$ (específicamente un polidisco $\Delta^m$) tiene fibras $X_t$ biholomorfas a una variedad fija $S$ para todo $t$ en el complemento de un subconjunto analítico propio, ¿bajo qué condiciones la fibra central $X_0$ también es biholomorfa a $S$?

Aunque la rigidez de deformación está bien entendida para variedades de dimensión de Kodaira negativa (por ejemplo, las superficies de Hirzebruch no son rígidas) y para espacios homogéneos racionales con $b_2=1$ (bajo suposiciones de Kähler), el artículo se centra en la laguna de conocimiento respecto a las variedades proyectivas de dimensión de Kodaira superior. Específicamente, los autores investigan el caso donde la variedad fija $S$ posee un fibrado canónico semiamplio ($\omega_S$).

Metodología
Los autores emplean una combinación de geometría analítica compleja, teoría de Hodge y teoría de espacios de móduli para demostrar su resultado principal. La estrategia de demostración para el teorema central (Teorema 1.2) implica dos innovaciones técnicas primarias:

1. Construcción de un fibrado lineal $\pi$-amplio mediante la Teoría de Hodge:
   Los procedimientos estándar de extensión para fibrados lineales son insuficientes para las necesidades de los autores. Introducen un nuevo método de extensión basado en la variación de estructuras de Hodge. Al utilizar el difeomorfismo $T: X \to X_0 \times \Delta$ (garantizado por la suavidad del morfismo) y analizar la filtración de Hodge en $H^2(X_t, \mathbb{C})$, demuestran que la filtración de Hodge es constante sobre la base. Esta constancia les permite extender un fibrado lineal $L_0$ desde la fibra central $X_0$ a un fibrado lineal global $L$ en $X$ tal que $c_1(L|_{X_0}) = c_1(L_0)$. Crucialmente, si $L_0$ es amplio, se demuestra que el fibrado extendido $L$ es $\pi$-amplio. Esta construcción se basa en el hecho de que las fibras sobre el disco punteado son biholomorfas a una variedad proyectiva fija, lo que anula el mapa de Kodaira-Spencer y hace constante la filtración de Hodge.

2. Establecimiento de la semiamplitud de la fibra central:
   Un obstáculo significativo es probar que el fibrado canónico $\omega_{X_0}$ es semiamplio, dado que $\omega_{X_t}$ es semiamplio para $t \neq 0$. Los autores no asumen que esta positividad se mantenga para fibrados lineales arbitrarios. En su lugar:

   • Primero prueban que $\omega_{X_0}$ es nef. Esto se logra construyendo un fibrado lineal $\pi$-muy amplio $L$ y analizando la positividad de los fibrados adjuntos $\omega_{X_0}^{\otimes m} \otimes L_0$. Utilizan un enfoque analítico, construyendo 2-formas en $X_0$ mediante la deformación de estructuras complejas y verificando la caracterización métrica de la propiedad nef.
   • Segundo, utilizan la invariancia de los plurigéneros y la relación entre la dimensión de Kodaira $\kappa$ y la dimensión numérica de Kodaira $\nu$. Dado que $\omega_{X_t}$ es semiamplio para $t \neq 0$, se tiene que $\kappa(X_t) = \nu(X_t)$. Al demostrar que $\nu(X_0) = \kappa(X_0)$, concluyen mediante un criterio conocido (de [20]) que $\omega_{X_0}$ es semiamplio.

3. Separación del Espacio de Móduli:
   Con la existencia de un fibrado lineal $\pi$-amplio $L$ y la naturaleza semiamplia de $\omega_{X_0}$, la familia $(X, L)$ define un morfismo hacia el espacio de móduli grueso separado $\mathcal{P}_h$ de variedades polarizadas con fibrados canónicos semiamplios. Dado que las fibras sobre el disco punteado mapean al mismo punto en el espacio de móduli (ya que son isomorfas), y el espacio de móduli es separado, el morfismo debe ser constante. Esto fuerza a que la fibra central sea isomorfa a la fibra genérica.

Contribuciones y Resultados Clave

• Teorema 1.2 (Resultado Principal): Sea $\pi: X \to \Delta^m$ un morfismo de Kähler propio y suave. Si las fibras sobre el complemento de un subconjunto analítico propio son biholomorfas a una variedad proyectiva fija $S$, y si el fibrado lineal canónico $\omega_S$ es semiamplio, entonces todas las fibras de $\pi$ son biholomorfas a $S$.

  • Significado: Esto generaliza resultados anteriores de Matsusaka-Mumford (que requerían variedades polarizadas con fibrados amplios) y extiende la rigidez de deformación a una clase más amplia de variedades (aquellas con fibrados canónicos semiamplios) sin requerir que la fibra central sea polarizada proyectiva a priori.

• Corolario 1.4: Bajo la suposición de la Conjetura de Abundancia (que se cumple para dimensiones $\leq 3$ y para variedades de tipo general), si $S$ es una variedad mínima en estas categorías, se cumple la rigidez de deformación.

• Teorema 1.6 (Criterio de Isotrivialidad): Para una familia proyectiva suave $f: X \to B$ donde la fibra genérica es una variedad mínima buena (mínima con fibrado canónico semiamplio), la isotrivialidad birracional implica isotrivialidad.

  • Contexto: Esto resuelve una pregunta natural sobre cuándo la equivalencia birracional de las fibras implica un isomorfismo real en familias suaves.

• Teorema 1.8 (Criterio de Tipo Parshin-Arakelov): El artículo establece un nuevo criterio de isotrivialidad que generaliza el teorema clásico de Parshin-Arakelov. Si la fibra genérica $F$ es mínima y de tipo general (o $\dim F \leq 3$), y el grado del determinante del empuje hacia adelante del fibrado canónico relativo se anula ($\deg(\det f_* \omega_{X/B}^{\otimes k}) = 0$), entonces la familia es isotrivial.

Significado y Afirmaciones
Los autores posicionan este trabajo como un puente entre la geometría algebraica de variedades polarizadas y la geometría compleja de morfismos de Kähler.

• Generalización: El resultado fortalece el teorema de Matsusaka-Mumford al relajar la condición de positividad de amplitud a semiamplitud y eliminar el requisito de que la fibra central esté polarizada.
• Teoría de Móduli: La demostración destaca la utilidad de la separación del espacio de móduli de variedades polarizadas con fibrados canónicos semiamplios, una propiedad que falla para las variedades hiperkähler (donde variedades birracionales definen puntos no separados). El artículo contrasta explícitamente su configuración con la no separación de los móduli hiperkähler para enfatizar la necesidad de la suposición de morfismo de Kähler.
• Isotrivialidad: El artículo afirma proporcionar un "nuevo criterio de isotrivialidad de tipo Parshin-Arakelov" que extiende los resultados clásicos basados en curvas a familias de dimensión superior, siempre que la fibra genérica satisfaga las condiciones de minimalidad y semiamplitud.

El artículo concluye señalando que, aunque la Conjetura de Abundancia es conocida para dimensiones bajas y tipo general, la rigidez de deformación para variedades mínimas de dimensión $\geq 4$ sigue siendo una conjetura (Conjetura 1.5), lo que sugiere que los resultados actuales son condicionales a la validez de la Conjetura de Abundancia en dimensiones superiores.