Deformation rigidity for projective manifolds and isotriviality of smooth families

Resumo Técnico: Rigidez de Deformação para Variedades Projetivas e Isotrivialidade de Famílias Suaves

Enunciado do Problema
O artigo aborda o problema da rigidez de deformação para variedades complexas compactas, especificamente no contexto de famílias suaves $\pi: X \to B$. A questão central (Questão 1.1) pergunta: Se uma família suave de variedades complexas compactas sobre uma base $B$ (especificamente um polidisco $\Delta^m$) possui fibras $X_t$ biholomorfas a uma variedade fixa $S$ para todo $t$ no complemento de um subconjunto analítico próprio, sob quais condições a fibra central $X_0$ também é biholomorfa a $S$?

Enquanto a rigidez de deformação é bem compreendida para variedades de dimensão Kodaira negativa (por exemplo, superfícies de Hirzebruch não são rígidas) e para espaços homogêneos racionais com $b_2=1$ (sob suposições de Kähler), o artigo foca na lacuna de conhecimento relativa a variedades projetivas de dimensão Kodaira superior. Especificamente, os autores investigam o caso em que a variedade fixa $S$ possui um fibrado canônico semiamplo ($\omega_S$).

Metodologia
Os autores empregam uma combinação de geometria analítica complexa, teoria de Hodge e teoria de espaços de módulos para provar seu resultado principal. A estratégia de prova para o teorema central (Teorema 1.2) envolve duas inovações técnicas primárias:

1. Construção de um fibrado de linha $\pi$-amplo via Teoria de Hodge:
   Procedimentos padrão de extensão para fibrados de linha são insuficientes para as necessidades dos autores. Eles introduzem um novo método de extensão baseado na variação das estruturas de Hodge. Ao utilizar o difeomorfismo $T: X \to X_0 \times \Delta$ (garantido pela suavidade do morfismo) e analisar a filtração de Hodge em $H^2(X_t, \mathbb{C})$, eles demonstram que a filtração de Hodge é constante sobre a base. Essa constância permite estender um fibrado de linha $L_0$ da fibra central $X_0$ para um fibrado de linha global $L$ em $X$ tal que $c_1(L|_{X_0}) = c_1(L_0)$. Crucialmente, se $L_0$ é amplo, o fibrado estendido $L$ é mostrado ser $\pi$-amplo. Essa construção depende do fato de que as fibras sobre o disco perfurado são biholomorfas a uma variedade projetiva fixa, tornando o mapa de Kodaira-Spencer nulo e a filtração de Hodge constante.

2. Estabelecimento da Semiamplidão da Fibra Central:
   Um obstáculo significativo é provar que o fibrado canônico $\omega_{X_0}$ é semiamplo, dado que $\omega_{X_t}$ é semiamplo para $t \neq 0$. Os autores não assumem que essa positividade vale para fibrados de linha arbitrários. Em vez disso, eles:

   • Primeiro provam que $\omega_{X_0}$ é nef. Isso é alcançado construindo um fibrado de linha $\pi$-muito amplo $L$ e analisando a positividade dos fibrados adjuntos $\omega_{X_0}^{\otimes m} \otimes L_0$. Eles usam uma abordagem analítica, construindo 2-formas em $X_0$ via deformação de estruturas complexas e verificando a caracterização métrica de nef.
   • Segundo, eles utilizam a invariância dos plurigêneros e a relação entre a dimensão Kodaira $\kappa$ e a dimensão numérica Kodaira $\nu$. Como $\omega_{X_t}$ é semiamplo para $t \neq 0$, temos $\kappa(X_t) = \nu(X_t)$. Ao mostrar que $\nu(X_0) = \kappa(X_0)$, eles concluem, via um critério conhecido (de [20]), que $\omega_{X_0}$ é semiamplo.

3. Separabilidade do Espaço de Módulos:
   Com a existência de um fibrado de linha $\pi$-amplo $L$ e a natureza semiampla de $\omega_{X_0}$, a família $(X, L)$ define um morfismo para o espaço de módulos grosseiro separado $\mathcal{P}_h$ de variedades polarizadas com fibrados canônicos semiamplos. Como as fibras sobre o disco perfurado mapeiam para o mesmo ponto no espaço de módulos (já que são isomorfas), e o espaço de módulos é separado, o morfismo deve ser constante. Isso força a fibra central a ser isomorfa à fibra genérica.

Contribuições e Resultados Chave

• Teorema 1.2 (Resultado Principal): Seja $\pi: X \to \Delta^m$ um morfismo de Kähler suave e próprio. Se as fibras sobre o complemento de um subconjunto analítico próprio são biholomorfas a uma variedade projetiva fixa $S$, e se o fibrado de linha canônico $\omega_S$ é semiamplo, então todas as fibras de $\pi$ são biholomorfas a $S$.

  • Significado: Isso generaliza resultados anteriores de Matsusaka-Mumford (que exigiam variedades polarizadas com fibrados amplos) e estende a rigidez de deformação a uma classe mais ampla de variedades (aquelas com fibrados canônicos semiamplos) sem exigir que a fibra central seja projetiva polarizada a priori.

• Corolário 1.4: Sob a suposição da Conjectura da Abundância (que vale para dimensões $\leq 3$ e para variedades de tipo geral), se $S$ é uma variedade mínima nessas categorias, a rigidez de deformação vale.

• Teorema 1.6 (Critério de Isotrivialidade): Para uma família projetiva suave $f: X \to B$ onde a fibra genérica é uma variedade mínima boa (mínima com fibrado canônico semiamplo), a isotrivialidade birracional implica isotrivialidade.

  • Contexto: Isso resolve uma questão natural sobre quando a equivalência birracional das fibras implica isomorfismo real em famílias suaves.

• Teorema 1.8 (Critério do Tipo Parshin-Arakelov): O artigo estabelece um novo critério de isotrivialidade que generaliza o teorema clássico de Parshin-Arakelov. Se a fibra genérica $F$ é mínima e de tipo geral (ou $\dim F \leq 3$), e o grau do determinante do pushforward do fibrado canônico relativo se anula ($\deg(\det f_* \omega_{X/B}^{\otimes k}) = 0$), então a família é isotrivial.

Significado e Alegações
Os autores posicionam este trabalho como uma ponte entre a geometria algébrica de variedades polarizadas e a geometria complexa de morfismos de Kähler.

• Generalização: O resultado fortalece o teorema de Matsusaka-Mumford ao relaxar a condição de positividade de amplidão para semiamplidão e remover o requisito de que a fibra central seja polarizada.
• Teoria de Módulos: A prova destaca a utilidade da separabilidade do espaço de módulos de variedades polarizadas com fibrados canônicos semiamplos, uma propriedade que falha para variedades hiper-Kähler (onde variedades birracionais definem pontos não separados). O artigo contrasta explicitamente seu cenário com a não separabilidade dos módulos hiper-Kähler para enfatizar a necessidade da suposição de morfismo de Kähler.
• Isotrivialidade: O artigo alega fornecer um "novo critério de isotrivialidade do tipo Parshin-Arakelov" que estende os resultados clássicos baseados em curvas para famílias de dimensão superior, desde que a fibra genérica satisfaça condições de minimalidade e semiamplidão.

O artigo conclui observando que, embora a Conjectura da Abundância seja conhecida para baixas dimensões e tipo geral, a rigidez de deformação para variedades mínimas de dimensão $\geq 4$ permanece uma conjectura (Conjectura 1.5), sugerindo que os resultados atuais são condicionais à validade da Conjectura da Abundância em dimensões superiores.