The limits of Kahler manifolds under holomorphic deformations

Resumo Técnico: Os Limites das Variedades Kähler sob Deformações Holomorfas

Enunciado do Problema
O artigo aborda um problema de longa data na geometria complexa concernente à estabilidade da propriedade Kähler sob deformações holomorfas. Especificamente, investiga-se a Conjectura 1.1: Dada uma família suave de variedades complexas compactas $f: X \to \Delta$ (onde $\Delta$ é o disco unitário) tal que todas as fibras $X_t$ para $t \neq 0$ são Kähler, a fibra central $X_0$ é necessariamente Kähler?

Embora se saiba que a conjectura vale para superfícies complexas ($\dim X_t = 2$) via teoria de classificação e resultados de Siu, o caso para dimensões $\dim X_t \geq 3$ permanece amplamente aberto. Trabalhos anteriores de Hironaka demonstraram que o limite de variedades Kähler em dimensão três não é necessariamente Kähler. Resultados subsequentes de Popovici, Barlet e Rao-Tsai estabeleceram condições sob as quais o limite é Moishezon ou permanece Kähler sob restrições específicas sobre números de Hodge ou métricas. No entanto, resultados gerais para limites de variedades Kähler em dimensões superiores, sem assumir projetividade, são escassos.

Metodologia
Os autores estabelecem a natureza Kähler da fibra central $X_0$ combinando invariância cohomológica, a construção de correntes positivas e condições métricas específicas. A metodologia procede em três etapas principais:

1. Análise Cohomológica e Construção de Fibrados:
   Os autores analisam o comportamento da cohomologia de Bott–Chern ($H^{p,q}_{BC}$) e da cohomologia de Dolbeault ($H^{p,q}_{\partial}$) dentro da família. Eles utilizam a semicontinuidade superior dessas dimensões (Proposição 3.3) e os resultados de Kodaira e Spencer sobre a suavidade dos fibrados de cohomologia quando as dimensões são constantes (Proposição 3.4).
   Um passo crítico envolve estabelecer que, se a fibra central satisfaz a igualdade $h^2(X_0) = 2h^{0,2}_{\partial}(X_0) + h^{1,1}_{BC}(X_0)$, então o fibrado de classes $(1,1)$ $\cup H^{1,1}_{BC}(X_t, \mathbb{C})$ forma um subfibrado suave do fibrado de segunda cohomologia. Isso permite a definição de uma conexão de Gauss–Manin restrita a esses subfibrados.

2. Construção de uma Corrente Positiva (Lema 3.11):
   Aproveitando a própria do espaço de ciclos de Barlet (Proposições 3.8, 3.9) e a invariância do cone Kähler sob transporte paralelo (Teorema 3.10, Demailly–Păun), os autores constroem uma $(1,1)$-corrente fechada positiva $T$ na fibra central $X_0$.
   Ao assumir a igualdade cohomológica mencionada acima, eles transportam paralelamente uma classe Kähler de uma fibra vizinha $X_t$ ($t \neq 0$) ao longo de um caminho até $X_0$. O limite das formas suaves correspondentes produz uma corrente $T$. Crucialmente, eles provam que a parte absolutamente contínua dessa corrente, $T_{ac}$, satisfaz $\int_{X_0} T_{ac}^n > 0$.

3. Aplicação de Critérios Métricos (Teorema 2.2):
   O artigo emprega um critério de Tosatti (Teorema 2.2, [23]) que afirma que uma variedade complexa compacta $X$ equipada com uma métrica $\omega$ satisfazendo $\partial\bar{\partial}\omega = 0$ e $\partial\omega \wedge \bar{\partial}\omega = 0$ é Kähler se existir uma corrente fechada positiva $T$ com $\int_X T_{ac}^n > 0$.
   Os autores verificam que, sob a suposição de que $X_0$ admite tal métrica e que as dimensões cohomológicas relevantes são constantes (especificamente $h^{0,2}_{\partial}(X_0) = h^{0,2}_{\partial}(X_t)$), a corrente construída satisfaz a condição de volume.

Contribuições e Resultados Principais

• Teorema 1.2: O resultado principal prova que, se $f: X \to \Delta$ é uma família suave de variedades complexas compactas com fibras Kähler para $t \neq 0$, e a fibra central $X_0$ satisfaz:

  1. $X_0$ admite uma métrica $\omega$ tal que $\partial\bar{\partial}\omega = 0$ e $\partial\omega \wedge \bar{\partial}\omega = 0$;
  2. $h^{0,2}_{\partial}(X_0) = h^{0,2}_{\partial}(X_t)$ para $t \neq 0$;
     Então $X_0$ é uma variedade Kähler.
     O artigo observa que métricas satisfazendo as condições diferenciais em (1) são não triviais; embora muitas variedades não Kähler admitam tais métricas (por exemplo, certas nilvariedades), o teorema fornece uma condição suficiente para que o limite seja Kähler.

• Corolário 1.3: Os autores fornecem uma prova alternativa de que o limite de superfícies Kähler é Kähler. Diferentemente de provas anteriores que dependiam da classificação de superfícies, esta prova utiliza a degeneração da sequência espectral de Frölicher em $E_1$ para superfícies e a maquinaria geral desenvolvida para dimensões superiores.

• Invariância Cohomológica: O artigo estabelece que, sob a suposição de $h^{0,2}_{\partial}$ constante e a existência da métrica especial em $X_0$, a igualdade $h^2(X_0) = 2h^{0,2}_{\partial}(X_0) + h^{1,1}_{BC}(X_0)$ vale (Proposição 3.14). Esta igualdade é a condição necessária para garantir a suavidade do fibrado de cohomologia $(1,1)$, permitindo o argumento de transporte paralelo.

Significado e Alegações
O artigo afirma resolver o problema do limite Kähler para uma classe específica, mas significativa, de deformações em dimensões $n \geq 3$. Os autores afirmam que, antes deste trabalho, muito poucos resultados eram conhecidos para limites de variedades Kähler em dimensões superiores sem assumir projetividade.

O significado reside em:

1. Conectando Métrica e Topologia: O resultado conecta a existência de uma métrica específica "tipo balanceada" na fibra central com a estabilidade topológica das dimensões cohomológicas para garantir a propriedade Kähler.
2. Independência da Classificação: Ao fornecer uma prova para o Corolário 1.3 que não depende da classificação de superfícies, os autores demonstram a robustez de sua abordagem baseada em cohomologia e correntes, sugerindo que é um caminho viável para problemas em dimensões superiores.
3. Refinando a Conjectura: O trabalho esclarece que, embora a conjectura geral permaneça aberta, a propriedade Kähler é preservada se a fibra central possuir uma métrica com propriedades diferenciais específicas e os números de Hodge $h^{0,2}_{\partial}$ permanecerem constantes ao longo da deformação.

Os autores mantêm um tom modesto, reconhecendo que as condições sobre a métrica e a cohomologia são "suposições leves", mas necessárias para estabelecer o resultado, e não afirmam ter resolvido a conjectura para todas as variedades complexas compactas sem essas restrições específicas.