Locally rigid implies globally rigid in Kahler geometry

Aquí se presenta un resumen técnico detallado del artículo "Locally Rigid Implies Globally Rigid in Kähler Geometry" de Mu-Lin Li.

1. Planteamiento del Problema y Contexto

El artículo aborda una pregunta fundamental en geometría compleja sobre la rigidez de las variedades de Kähler compactas bajo deformación.

• Definiciones:
  • Rígida Localmente: Una variedad $X$ es rígida localmente si cualquier familia suave $\pi: \mathcal{X} \to B$ que contiene a $X$ como fibra es localmente trivial cerca de esa fibra (es decir, todas las fibras cercanas son isomorfas a $X$).
  • Rígida Globalmente: Una variedad $X$ es rígida globalmente si cualquier variedad $X'$ equivalente por deformación a $X$ es en realidad isomorfa a $X$.
  • Equivalencia por Deformación: Dos variedades son equivalentes por deformación si pueden conectarse mediante una secuencia finita de deformaciones directas (familias suaves sobre un disco).
• La Pregunta Central: ¿Implica la rigidez local la rigidez global para variedades de Kähler compactas no unirregladas?
  • Se sabe que la rigidez infinitesimal ($H^1(X, T_X)=0$) implica rigidez local (teoría de Kodaira-Spencer-Kuranishi).
  • Para superficies generales mínimas, la rigidez local implica rigidez global (demostrado por autores en [1]).
  • Pregunta 1.1: Si $X$ es una variedad de Kähler compacta no unirreglada y es rígida localmente, ¿es rígida globalmente?

2. Metodología

El autor emplea una combinación de Variación de Estructuras de Hodge (VHS), Espacios de Ciclos de Barlet y Teoría de Módulos para cerrar la brecha entre las propiedades locales y globales.

A. Construcción de una Familia Polarizada

El desafío técnico central es extender un isomorfismo local a toda la familia. El autor construye una clase de cohomología específica para "polarizar" la familia.

1. Trivialidad Local: Dada una familia $\pi: \mathcal{X} \to \Delta$ donde las fibras son de Kähler y localmente triviales cerca de $t_1$, el autor utiliza el difeomorfismo $T: \mathcal{X} \cong X_{t_1} \times \Delta$ para transportar clases de cohomología.
2. Filtración de Hodge: Utilizando el hecho de que la familia es localmente trivial cerca de $t_1$, el mapa de Kodaira-Spencer se anula localmente. Por las propiedades del mapa de periodo (mapa holomorfo a una Grassmanniana), se demuestra que la filtración de Hodge $F^p$ es constante sobre todo el disco $\Delta$.
3. Construcción de Clase Global (Lema 3.1): El autor construye una clase global de cohomología real $\alpha \in H^2(\mathcal{X}, \mathbb{R})$ tal que su restricción $\alpha_t$ se encuentra en $H^{1,1}(X_t, \mathbb{C})$ para todo $t$.
4. Construcción de Morfismo de Kähler (Lemas 3.2 y 3.3): Utilizando el teorema de Demailly-Păun y argumentos de cohomología de haces, el autor eleva $\alpha$ a una sección $\Theta$ de un haz cociente, permitiendo la construcción de una forma de Kähler relativa. Esto establece que la familia es un morfismo de Kähler (específicamente, una familia de variedades de Kähler polarizadas) sobre un conjunto abierto denso.

B. Argumento del Espacio de Módulos

La demostración depende en gran medida de las propiedades del espacio de módulos grueso $\mathcal{M}$ de variedades de Kähler polarizadas no unirregladas.

• Propiedad de Hausdorff: Se sabe que el espacio de módulos $\mathcal{M}$ para variedades de Kähler polarizadas no unirregladas es un espacio complejo separado (Hausdorff).
• Continuación Analítica: La familia induce un mapa holomorfo $f: W \to \mathcal{M}$ desde un subconjunto abierto denso $W \subset \Delta$.
• Constancia: Dado que la familia es localmente trivial cerca de $t_1$, el mapa $f$ es constante en una vecindad. Debido a que $\mathcal{M}$ es Hausdorff y el mapa es holomorfo, si la imagen es un punto en un conjunto abierto, el mapa debe ser constante en la componente conexa (o en todo el dominio si el dominio es irreducible/conexo).

C. Manejo de la Condición "No Unirreglada"

La condición de que la fibra $X_{t_1}$ sea no unirreglada es crucial.

• Las variedades unirregladas (aquellas cubiertas por curvas racionales) a menudo tienen espacios de módulos no separados o permiten fenómenos de "salto" en las deformaciones.
• Para variedades no unirregladas, el espacio de módulos se comporta bien (separado). El autor cita [8, Proposición 11] para asegurar que si la fibra central es no unirreglada, las fibras cercanas permanecen no unirregladas, permitiendo que el mapa al espacio de módulos esté bien definido globalmente.

3. Resultados Clave y Teoremas

Teorema 1.3 (Teorema Principal):
Sea $\pi: \mathcal{X} \to \Delta$ un morfismo suave propio con fibras de Kähler. Si la familia es localmente trivial en un punto $t_1$ (es decir, $X_t \cong X_{t_1}$ para $t$ cerca de $t_1$) y la fibra $X_{t_1}$ es una variedad de Kähler no unirreglada, entonces todas las fibras son isomorfas ($X_t \cong X_{t_1}$ para todo $t \in \Delta$).

Corolario 1.4:
Una variedad de Kähler compacta no unirreglada es rígida globalmente si es rígida localmente.

• Lógica de la prueba: Si $X$ es rígida localmente, cualquier variedad equivalente por deformación $X'$ puede conectarse mediante una cadena de familias. Aplicando el Teorema 1.3 a cada familia en la cadena demuestra que cada fibra intermedia es isomorfa a la anterior, por lo tanto $X \cong X'$.

Corolario 1.5:
Específico para superficies: Una superficie de Kähler compacta no unirreglada es rígida globalmente si es rígida localmente.

Corolario 1.7 (No Deformabilidad Global):
Si una familia suave de variedades de Kähler compactas tiene fibras $X_t \cong S$ para todo $t \in \Delta^* = \Delta \setminus \{0\}$, y $S$ es una variedad de Kähler no unirreglada, entonces la fibra central $X_0$ también es biholomorfa a $S$.

• Esto resuelve el problema de la "no deformabilidad global" para variedades no unirregladas bajo morfismos de Kähler.

4. Significado y Contribución

1. Resolución de una Conjetura: El artículo responde afirmativamente a la Pregunta 1.1, estableciendo que para la amplia clase de variedades de Kähler no unirregladas, la rigidez local es suficiente para garantizar la rigidez global. Esto extiende resultados previos conocidos solo para superficies generales mínimas.
2. Aplicación del Espacio de Módulos: El trabajo demuestra el poder de la propiedad de Hausdorff del espacio de módulos de variedades no unirregladas polarizadas para resolver problemas de deformación. Utiliza efectivamente la separación del espacio de módulos para prevenir el "salto" de clases de isomorfismo en una familia.
3. Innovación Técnica: La construcción de una clase global $\alpha$ que permanece como una clase de Kähler en un conjunto abierto denso (y se extiende a toda la familia mediante la condición de no unirreglada) es una aplicación sofisticada del teorema de Demailly-Păun y de los espacios de ciclos de Barlet.
4. Implicaciones para la No Deformabilidad Global: Los resultados proporcionan respuestas afirmativas sólidas al problema de la no deformabilidad global para variedades no unirregladas, complementando resultados existentes para espacios proyectivos y espacios homogéneos racionales (que a menudo son unirreglados o tienen estructuras específicas).

Resumen

Mu-Lin Li demuestra que en el ámbito de la geometría de Kähler, si una variedad compacta no unirreglada no puede deformarse localmente, no puede deformarse globalmente en absoluto. La prueba se basa en construir una polarización global para la familia y utilizar la naturaleza separada del espacio de módulos correspondiente para demostrar que un mapa de deformación localmente constante debe ser globalmente constante.