Locally rigid implies globally rigid in Kahler geometry

1. Formulação do Problema e Contexto

O artigo aborda uma questão fundamental na geometria complexa relativa à rigidez de variedades de Kähler compactas sob deformação.

• Definições:
  • Localmente Rígida: Uma variedade $X$ é localmente rígida se qualquer família suave $\pi: \mathcal{X} \to B$ contendo $X$ como fibra for localmente trivial perto dessa fibra (isto é, todas as fibras vizinhas são isomorfas a $X$).
  • Globalmente Rígida: Uma variedade $X$ é globalmente rígida se qualquer variedade $X'$ equivalente por deformação a $X$ for de fato isomorfa a $X$.
  • Equivalência por Deformação: Duas variedades são equivalentes por deformação se puderem ser conectadas por uma sequência finita de deformações diretas (famílias suaves sobre um disco).
• A Questão Central: A rigidez local implica rigidez global para variedades de Kähler compactas não unirregradas?
  • Sabe-se que a rigidez infinitesimal ($H^1(X, T_X)=0$) implica rigidez local (teoria de Kodaira-Spencer-Kuranishi).
  • Para superfícies gerais mínimas, a rigidez local implica rigidez global (prova por autores em [1]).
  • Questão 1.1: Se $X$ é uma variedade de Kähler compacta não unirregrada e é localmente rígida, será ela globalmente rígida?

2. Metodologia

O autor emprega uma combinação de Variação de Estruturas de Hodge (VHS), Espaços de Ciclos de Barlet e Teoria de Módulos para preencher a lacuna entre propriedades locais e globais.

A. Construção de uma Família Polarizada

O desafio técnico central é estender um isomorfismo local para toda a família. O autor constrói uma classe de cohomologia específica para "polarizar" a família.

1. Trivialidade Local: Dada uma família $\pi: \mathcal{X} \to \Delta$ onde as fibras são de Kähler e localmente triviais perto de $t_1$, o autor utiliza o difeomorfismo $T: \mathcal{X} \cong X_{t_1} \times \Delta$ para transportar classes de cohomologia.
2. Filtragem de Hodge: Usando o fato de que a família é localmente trivial perto de $t_1$, o mapa de Kodaira-Spencer se anula localmente. Pelas propriedades do mapa de período (mapa holomorfo para uma Grassmanniana), a filtragem de Hodge $F^p$ é mostrada como constante sobre todo o disco $\Delta$.
3. Construção de Classe Global (Lema 3.1): O autor constrói uma classe de cohomologia real global $\alpha \in H^2(\mathcal{X}, \mathbb{R})$ tal que sua restrição $\alpha_t$ esteja em $H^{1,1}(X_t, \mathbb{C})$ para todo $t$.
4. Construção de Morfismo de Kähler (Lemas 3.2 e 3.3): Usando o teorema de Demailly-Păun e argumentos de cohomologia de feixes, o autor eleva $\alpha$ a uma seção $\Theta$ de um feixe quociente, permitindo a construção de uma forma de Kähler relativa. Isso estabelece que a família é um morfismo de Kähler (especificamente, uma família de variedades de Kähler polarizadas) sobre um conjunto aberto denso.

B. Argumento do Espaço de Módulos

A prova depende fortemente das propriedades do espaço de módulos grosseiro $\mathcal{M}$ de variedades de Kähler não unirregradas polarizadas.

• Propriedade de Hausdorff: O espaço de módulos $\mathcal{M}$ para variedades de Kähler não unirregradas polarizadas é conhecido por ser um espaço complexo separado (Hausdorff).
• Continuação Analítica: A família induz um mapa holomorfo $f: W \to \mathcal{M}$ a partir de um subconjunto aberto denso $W \subset \Delta$.
• Constância: Como a família é localmente trivial perto de $t_1$, o mapa $f$ é constante em uma vizinhança. Como $\mathcal{M}$ é Hausdorff e o mapa é holomorfo, se a imagem for um ponto em um conjunto aberto, o mapa deve ser constante na componente conexa (ou em todo o domínio se o domínio for irredutível/conexo).

C. Tratamento da Condição "Não Unirregrada"

A condição de que a fibra $X_{t_1}$ é não unirregrada é crucial.

• Variedades unirregradas (aquelas cobertas por curvas racionais) frequentemente possuem espaços de módulos não separados ou permitem fenômenos de "salto" em deformações.
• Para variedades não unirregradas, o espaço de módulos é bem-comportado (separado). O autor cita [8, Proposição 11] para garantir que, se a fibra central for não unirregrada, as fibras vizinhas permanecem não unirregradas, permitindo que o mapa para o espaço de módulos seja bem definido globalmente.

3. Resultados e Teoremas Chave

Teorema 1.3 (Teorema Principal):
Seja $\pi: \mathcal{X} \to \Delta$ um morfismo suave próprio com fibras de Kähler. Se a família for localmente trivial em um ponto $t_1$ (isto é, $X_t \cong X_{t_1}$ para $t$ próximo a $t_1$) e a fibra $X_{t_1}$ for uma variedade de Kähler não unirregrada, então todas as fibras são isomorfas ($X_t \cong X_{t_1}$ para todo $t \in \Delta$).

Corolário 1.4:
Uma variedade de Kähler compacta não unirregrada é globalmente rígida se for localmente rígida.

• Lógica da Prova: Se $X$ é localmente rígida, qualquer variedade equivalente por deformação $X'$ pode ser conectada via uma cadeia de famílias. Aplicando o Teorema 1.3 a cada família na cadeia, prova-se que toda fibra intermediária é isomorfa à anterior, logo $X \cong X'$.

Corolário 1.5:
Específico para superfícies: Uma superfície de Kähler compacta não unirregrada é globalmente rígida se for localmente rígida.

Corolário 1.7 (Não Deformabilidade Global):
Se uma família suave de variedades de Kähler compactas tiver fibras $X_t \cong S$ para todo $t \in \Delta^* = \Delta \setminus \{0\}$, e $S$ for uma variedade de Kähler não unirregrada, então a fibra central $X_0$ também é biholomorfa a $S$.

• Isso resolve o problema da "não deformabilidade global" para variedades não unirregradas sob morfismos de Kähler.

4. Significado e Contribuição

1. Resolução de uma Conjectura: O artigo responde positivamente à Questão 1.1, estabelecendo que, para a ampla classe de variedades de Kähler não unirregradas, a rigidez local é suficiente para garantir a rigidez global. Isso estende resultados anteriores conhecidos apenas para superfícies gerais mínimas.
2. Aplicação do Espaço de Módulos: O trabalho demonstra o poder da propriedade de Hausdorff do espaço de módulos de variedades não unirregradas polarizadas na resolução de problemas de deformação. Utiliza efetivamente a separação do espaço de módulos para prevenir o "salto" de classes de isomorfismo em uma família.
3. Inovação Técnica: A construção de uma classe global $\alpha$ que permanece uma classe de Kähler em um conjunto aberto denso (e se estende a toda a família via a condição não unirregrada) é uma aplicação sofisticada do teorema de Demailly-Păun e dos espaços de ciclos de Barlet.
4. Implicações para Não Deformabilidade Global: Os resultados fornecem respostas afirmativas fortes ao problema da não deformabilidade global para variedades não unirregradas, complementando resultados existentes para espaços projetivos e espaços homogêneos racionais (que são frequentemente unirregrados ou possuem estruturas específicas).

Resumo

Mu-Lin Li prova que, no domínio da geometria de Kähler, se uma variedade compacta não unirregrada não pode ser deformada localmente, ela não pode ser deformada globalmente de forma alguma. A prova baseia-se na construção de uma polarização global para a família e na utilização da natureza separada do espaço de módulos correspondente para mostrar que um mapa de deformação localmente constante deve ser globalmente constante.