The holomorphic limit of Kahler manifolds

Resumo Técnico: O Limite Holomorfo de Variedades de Kähler

Enunciado do Problema
O artigo aborda a estabilidade da propriedade de Kähler sob deformações holomorfas. Especificamente, considera uma família suave $\pi: X \to \Delta$ de variedades complexas compactas sobre o disco unitário $\Delta$, onde as fibras $X_t$ são de Kähler para todo $t \in \Delta^* = \Delta \setminus \{0\}$. A questão central é se a fibra central $X_0$ retém a propriedade de Kähler ou, mais amplamente, pertence à classe de Fujiki $\mathcal{C}$ (a classe de variedades bimeromórficas a variedades de Kähler). Embora isso seja válido para superfícies (por Kodaira e Siu), o contraexemplo de Hironaka demonstra que falha em dimensão três. O artigo investiga as condições sob as quais o limite $X_0$ permanece na classe de Fujiki $\mathcal{C}$ ou é Moishezon (bimeromórfica a uma variedade projetiva).

Metodologia
O autor emprega uma combinação de geometria complexa analítica, técnicas cohomológicas e a teoria de correntes. A metodologia prossegue através de várias etapas fundamentais:

1. Morfismos de Kähler Relativos e Cohomologia: O artigo estabelece uma condição suficiente e necessária para que uma família suave sobre um domínio pseudoconvexo seja um "morfismo de Kähler" (Definição 3.1). Utilizando a cohomologia de feixes de funções pluriharmônicas e a sequência espectral de Leray, o autor prova que, se as fibras são de Kähler, a existência de uma classe de cohomologia global $\alpha \in H^2(X, \mathbb{R})$ que restringe a uma classe de Kähler em cada fibra é equivalente ao morfismo ser de Kähler (Proposição 3.2).
2. Abertura de Classes de Kähler: Alavancando o trabalho de Demailly e Păun sobre cones de Kähler e a teoria das variações de estruturas de Hodge, o autor demonstra que, se a família é de Kähler em um ponto $t_0 \in \Delta^*$, existe um subconjunto denso aberto $U \subset \Delta^*$ onde a restrição de uma classe global $\alpha$ permanece uma classe de Kähler (Teorema 3.6). Isso se baseia na propriedade dos espaços de ciclos de Barlet relativos e na invariância do cone de Kähler sob transporte paralelo.
3. Correntes e Análise de Volume: A ferramenta analítica central envolve o estudo de classes pseudo-efetivas e seus volumes. O autor utiliza o produto não-pluripolar de correntes e os teoremas de regularização de Demailly e Boucksom. Um passo crítico envolve a construção de uma sequência de formas de Kähler nas fibras $X_t$ ($t \in U$) que converge fracamente para uma corrente $T$ na fibra central $X_0$.
4. Desigualdades de Volume: Ao analisar a parte absolutamente contínua da corrente limite $T$ e aplicar o lema de Fatou juntamente com a continuidade da função de volume para classes pseudo-efetivas, o autor deriva um limite inferior para o volume da classe limite.

Principais Contribuições e Resultados

• Teorema 1.2 (Teorema 4.3): O resultado primário afirma que, se $\pi: X \to \Delta$ é uma família suave com fibras de Kähler para $t \in \Delta^*$, e se $\pi$ é um morfismo de Kähler em algum ponto $t_0 \in \Delta^*$, então existe uma corrente $(1,1)$ positiva e $d$-fechada $T$ na fibra central $X_0$ tal que seu volume $\text{vol}_n(\{T\}) > 0$.

  • Significância: Isso reduz a Conjectura 1.1 (que $X_0$ está na classe de Fujiki $\mathcal{C}$) à conjectura de Boucksom-Demailly-Păun, que postula que a existência de tal corrente com volume positivo implica que a variedade está na classe de Fujiki $\mathcal{C}$.

• Corolário 1.4: Sob a suposição adicional de que a fibra central $X_0$ admite uma métrica Hermitiana com volume superior finito (uma condição conhecida por ser invariante sob bimeromorfismos e satisfeita por variedades da classe de Fujiki $\mathcal{C}$), o artigo prova que $X_0$ está, de fato, na classe de Fujiki $\mathcal{C}$.

• Corolário 1.5 (Corolário 4.6): No caso específico onde as fibras $X_t$ para $t \in \Delta^*$ são projetivas, o artigo prova que $X_0$ é Moishezon sem requerer quaisquer condições auxiliares (como a invariância de deformação dos números de Hodge).

  • Mecanismo: A prova constrói um fibrado de linha global $L$ em $X$ tal que $L|_{X_t}$ é amplo para $t$ em um conjunto denso aberto, e $L|_{X_0}$ é grande (big). Isso é alcançado levantando classes de cohomologia integral via sequência exponencial e utilizando a semicontinuidade superior das dimensões de cohomologia.

Significância e Alegações
O artigo afirma fornecer um novo caminho para resolver a Conjectura 1.1. Ao estabelecer a existência de uma corrente de volume positivo na fibra central sob a condição branda de que a família é de Kähler em um ponto próximo, o trabalho preenche a lacuna entre a deformação de métricas de Kähler e a classificação estrutural da variedade limite.

O autor observa que a finitude do volume superior $\text{vol}_n(\omega)$ é um problema aberto, mas como não se conhecem exemplos de variedades com volume superior infinito, o teorema principal oferece evidências fortes para a validade da conjectura. Além disso, o resultado para famílias projetivas (Corolário 1.5) fornece uma resposta definitiva ao problema do limite de Moishezon sem as condições auxiliares anteriormente exigidas por outros pesquisadores (ex: Popovici, Barlet, Rao-Tsai).

A abordagem baseia-se na síntese de métodos de trabalhos anteriores (especificamente [23], [24], [14] e [6]) para construir objetos cohomológicos globais e analisar seu comportamento sob degeneração, em vez de introduzir novos arcabouços geométicos inteiramente novos. O artigo mantém-se modesto em seu escopo, focando estritamente no limite holomorfo de famílias de Kähler e projetivas sobre um disco.