Geometric Shafarevich boundedness conjecture for families of polarized varieties

Resumo Técnico: Conjectura de Limitação Geométrica de Shafarevich para Famílias de Variedades Polarizadas

Enunciado do Problema
Este artigo aborda a generalização em dimensão superior da conjectura geométrica de Shafarevich sobre o corpo dos números complexos. Enquanto a conjectura clássica para curvas (estabelecida por Paršin e Arakelov) afirma a finitude de famílias de curvas projetivas suaves de gênero $g > 1$ sobre uma base quasi-projetiva, essa propriedade falha para variedades de dimensão superior devido à existência de famílias suaves não rígidas. Trabalhos anteriores de Faltings, Liu-Todorov-Yau-Zuo e outros demonstraram que famílias suaves de variedades abelianas principalmente polarizadas e de variedades de Calabi-Yau polarizadas podem admitir deformações não triviais sobre a base.

Consequentemente, a relação de equivalência apropriada para famílias de dimensão superior não é o mero isomorfismo sobre a base, mas a equivalência por deformação. O problema central é estabelecer a limitação de tais famílias: especificamente, se o conjunto de classes de equivalência por deformação de famílias de modelos mínimos estáveis sobre uma base fixa é finito, ou equivalentemente, se o Hom-pilha associado é de tipo finito. Esta investigação está intrinsecamente ligada à construção de espaços de módulos compactificáveis, particularmente a pilha de módulos de modelos mínimos estáveis introduzida por Birkar, que generaliza os módulos de pares KSB e curvas estáveis de Deligne-Mumford.

Metodologia
A estratégia de prova baseia-se em estabelecer uma desigualdade do tipo Arakelov uniforme para o grau do morfismo classificatório de uma família em relação a um $\mathbb{Q}$-fibrado em retas amplo específico no espaço de módulos grosseiro. A metodologia procede através das seguintes etapas técnicas:

1. Módulos e Polarização: O artigo utiliza a pilha Deligne-Mumford própria $\mathcal{M}_{slc}(d, \Phi_c, \Gamma, \sigma)$ que parametriza modelos mínimos estáveis. Uma ferramenta técnica chave é a construção de um $\mathbb{Q}$-fibrado em retas amplo $\lambda_{a,r}$ no espaço de módulos grosseiro, derivado do determinante do feixe de imagem direta $f_*(r(K_{X/S} + B + aA))$.
2. Condição de Admissibilidade: Uma inovação crucial é a introdução de famílias birationamente admissíveis. Esta condição exige que a família admita um modelo birracional log estrito com cruzamento simples normal (SNC). Isso exclui famílias onde as fibras ou polarizações degeneram de uma maneira que impede a aplicação de limites teóricos de Hodge (como ilustrado por contraexemplos envolvendo degeneração de fibras ou polarização).
3. Construção Teórica de Hodge: O núcleo da prova envolve a construção de um feixe de Higgs logarítmico associado a uma família admissível. Diferentemente de abordagens anteriores (por exemplo, Kovács-Taji) que utilizavam mergulhos em variações de estruturas de Hodge via produtos fibrados de alta ordem ($\mu$-dobro), este artigo emprega uma construção de soma alternada. Isso envolve mergulhar o determinante do pushforward do fibrado canônico relativo em uma variação de estrutura de Hodge mista (VMHS) de origem geométrica.
4. Derivação da Desigualdade de Arakelov: Ao aproveitar a positividade do fibrado cotangente logarítmico (Campana-Păun) e a semiestabilidade parabólica da extensão de Deligne da VMHS (Simpson), os autores derivam um limite superior uniforme para o grau do morfismo classificatório. Este limite depende dos invariantes numéricos do problema de módulos e da geometria da base.

Contribuições e Resultados Principais

• Teorema 1.1 (Limitação por Deformação): Para uma variedade algébrica $S$ com um lugar singular compacto e uma subpilha localmente fechada estritamente biracionalmente admissível $\mathcal{S} \subset \mathcal{M}_{slc}(d, \Phi_c, \Gamma, \sigma)$, o conjunto de classes de equivalência por deformação de famílias $\mathcal{S}$-admissíveis sobre $S$ é finito.
• Teorema 1.2 (Limitação de Hom-pilhas): A pilha relativa Hom $\text{Hom}((S, Z), (\mathcal{S}, \partial\mathcal{S}))$ é de tipo finito, onde $Z$ é o limite da base e $\partial\mathcal{S}$ é o limite da pilha de módulos.
• Teorema 1.3 (Desigualdade de Arakelov para Famílias Estáveis): O artigo estabelece um limite quantitativo preciso para o grau do morfismo classificatório $\xi: S \to \mathcal{M}_{slc}$. Especificamente, para uma família birracionalmente admissível, a desigualdade
  $$c_1(\xi^*\lambda_{a,r}) \cdot \alpha \leq \frac{1}{k(kl^r d + 1)} \sum_{p=1}^{kl^r d} p^{n p-1} (K_S + D) \cdot \alpha + \frac{2}{k} D \cdot \alpha$$
  vale para classes de curvas móveis $\alpha$, onde $l = \text{rank}(\Lambda_{a,r})$. No caso em que $K_S + D$ é amplo, um limite mais agudo é obtido.
• Refinamento de Limites Anteriores: O artigo observa que a construção de soma alternada utilizada aqui leva a uma desigualdade de Arakelov quantitativamente mais aguda em comparação com mergulhos anteriores, pois a ordem do produto fibrado requerida é significativamente menor ($lr \ll \mu$).

Significado
O artigo afirma estabelecer a conjectura de limitação geométrica de Shafarevich para a pilha de módulos de modelos mínimos estáveis, um objeto fundamental na classificação birracional de variedades algébricas. Ao provar que famílias estritamente biracionalmente admissíveis formam um módulo limitado, o trabalho generaliza resultados clássicos sobre curvas (recuperando a conjectura de Shafarevich para $M_g$) e estende resultados de limitação para variedades polarizadas canonicamente (Bedulev-Viehweg, Kovács-Lieblich) e famílias de Calabi-Yau ao contexto mais amplo de modelos mínimos estáveis.

O significado reside em confirmar que, sob a condição apropriada de admissibilidade birracional, os módulos de modelos mínimos estáveis comportam-se bem em relação a famílias sobre bases fixas, espelhando a rigidez observada no caso das curvas. Isso fornece um passo fundamental para a compreensão da geometria global dos espaços de módulos para variedades de dimensão de Kodaira arbitrária. Os resultados dependem da interação entre a geometria da pilha de módulos, a teoria das variações de estruturas de Hodge mistas e as propriedades de positividade das formas diferenciais logarítmicas.