The holomorphic limit of Kahler manifolds

Resumen Técnico: El Límite Holomorfo de Variedades de Kähler

Planteamiento del Problema
El artículo aborda la estabilidad de la propiedad de Kähler bajo deformaciones holomorfas. Específicamente, considera una familia suave $\pi: X \to \Delta$ de variedades complejas compactas sobre el disco unidad $\Delta$, donde las fibras $X_t$ son de Kähler para todo $t \in \Delta^* = \Delta \setminus \{0\}$. La cuestión central es si la fibra central $X_0$ conserva la propiedad de Kähler o, más ampliamente, pertenece a la clase de Fujiki $\mathcal{C}$ (la clase de variedades bimeromorfas a variedades de Kähler). Si bien esto se cumple para superficies (por Kodaira y Siu), el contraejemplo de Hironaka demuestra que falla en dimensión tres. El artículo investiga las condiciones bajo las cuales el límite $X_0$ permanece en la clase de Fujiki $\mathcal{C}$ o es Moishezon (bimeromorfa a una variedad proyectiva).

Metodología
El autor emplea una combinación de geometría analítica compleja, técnicas cohomológicas y la teoría de corrientes. La metodología progresa a través de varias etapas clave:

1. Morfismos de Kähler Relativos y Cohomología: El artículo establece una condición necesaria y suficiente para que una familia suave sobre un dominio pseudoconvexo sea un "morfismo de Kähler" (Definción 3.1). Utilizando la cohomología de haces de funciones pluriharmónicas y la secuencia espectral de Leray, el autor demuestra que si las fibras son de Kähler, la existencia de una clase de cohomología global $\alpha \in H^2(X, \mathbb{R})$ que se restringe a una clase de Kähler en cada fibra es equivalente a que el morfismo sea de Kähler (Proposición 3.2).
2. Apertura de Clases de Kähler: Aprovechando el trabajo de Demailly y Păun sobre conos de Kähler y la teoría de variaciones de la estructura de Hodge, el autor demuestra que si la familia es de Kähler en un punto $t_0 \in \Delta^*$, existe un subconjunto denso abierto $U \subset \Delta^*$ donde la restricción de una clase global $\alpha$ sigue siendo una clase de Kähler (Teorema 3.6). Esto se basa en la compacidad de los espacios de ciclos de Barlet relativos y la invariancia del cono de Kähler bajo el transporte paralelo.
3. Corrientes y Análisis de Volumen: La herramienta analítica central involucra el estudio de clases pseudoefectivas y sus volúmenes. El autor utiliza el producto no pluripolar de corrientes y los teoremas de regularización de Demailly y Boucksom. Un paso crítico consiste en construir una secuencia de formas de Kähler en las fibras $X_t$ ($t \in U$) que converge débilmente a una corriente $T$ en la fibra central $X_0$.
4. Desigualdades de Volumen: Al analizar la parte absolutamente continua de la corriente límite $T$ y aplicar el lema de Fatou junto con la continuidad de la función de volumen para clases pseudoefectivas, el autor deriva una cota inferior para el volumen de la clase límite.

Contribuciones Clave y Resultados

• Teorema 1.2 (Teorema 4.3): El resultado principal establece que si $\pi: X \to \Delta$ es una familia suave con fibras de Kähler para $t \in \Delta^*$, y si $\pi$ es un morfismo de Kähler en algún punto $t_0 \in \Delta^*$, entonces existe una corriente $(1,1)$ positiva y cerrada $d$ en la fibra central $X_0$ tal que su volumen $\text{vol}_n(\{T\}) > 0$.

  • Significado: Esto reduce la Conjetura 1.1 (que $X_0$ está en la clase de Fujiki $\mathcal{C}$) a la conjetura de Boucksom-Demailly-Păun, la cual postula que la existencia de tal corriente con volumen positivo implica que la variedad está en la clase de Fujiki $\mathcal{C}$.

• Corolario 1.4: Bajo el supuesto adicional de que la fibra central $X_0$ admite una métrica de Hermite con volumen superior finito (una condición conocida por ser invariante bajo bimeromorfismos y satisfecha por las variedades de la clase de Fujiki $\mathcal{C}$), el artículo demuestra que $X_0$ está, de hecho, en la clase de Fujiki $\mathcal{C}$.

• Corolario 1.5 (Corolario 4.6): En el caso específico donde las fibras $X_t$ para $t \in \Delta^*$ son proyectivas, el artículo demuestra que $X_0$ es Moishezon sin requerir condiciones auxiliares (como la invariancia de deformación de los números de Hodge).

  • Mecanismo: La prueba construye un fibrado de línea global $L$ sobre $X$ tal que $L|_{X_t}$ es amplio para $t$ en un conjunto denso abierto, y $L|_{X_0}$ es grande (big). Esto se logra elevando clases de cohomología integral mediante la secuencia exponencial y utilizando la semicontinuidad superior de las dimensiones de cohomología.

Significado y Pretensiones
El artículo pretende proporcionar una nueva vía hacia la resolución de la Conjetura 1.1. Al establecer la existencia de una corriente de volumen positivo en la fibra central bajo la condición moderada de que la familia es de Kähler en un punto cercano, el trabajo cierra la brecha entre la deformación de métricas de Kähler y la clasificación estructural de la variedad límite.

El autor señala que la finitud del volumen superior $\text{vol}_n(\omega)$ es un problema abierto, pero dado que no se conocen ejemplos de variedades con volumen superior infinito, el teorema principal ofrece evidencia sólida para la validez de la conjetura. Además, el resultado para familias proyectivas (Corolario 1.5) proporciona una respuesta definitiva al problema del límite Moishezon sin las condiciones auxiliares requeridas previamente por otros investigadores (por ejemplo, Popovici, Barlet, Rao-Tsai).

El enfoque se basa en la síntesis de métodos de trabajos previos (específicamente [23], [24], [14] y [6]) para construir objetos cohomológicos globales y analizar su comportamiento bajo degeneración, en lugar de introducir marcos geométricos enteramente nuevos. El artículo mantiene un alcance modesto, centrándose estrictamente en el límite holomorfo de familias de Kähler y proyectivas sobre un disco.