Finiteness of pointed families of symplectic varieties: a geometric Shafarevich conjecture

Resumo Técnico: Finitude de Famílias Apontadas de Variedades Simpéticas

1. O Problema: A Conjectura de Shafarevich Geométrica Não Polarizada

O artigo investiga o chamado problema de Shafarevich apontado para famílias de variedades simpéticas primitivas. O contexto geral deriva da conjectura original de Shafarevich (sobre curvas sobre corpos de números) e sua versão geométrica (sobre curvas sobre corpos de funções), que afirma que existem apenas um número finito de variedades com boa redução fora de um conjunto finito de pontos.

O foco deste trabalho é a versão não polarizada e geométrica para variedades simpéticas (generalizações singulares das variedades de Kähler hiper-Kähler):

• Dados: Uma curva suave apontada $(B, 0)$ definida sobre um corpo algebricamente fechado $k$ de característica zero, e uma variedade simpética primitiva fixa $X$.
• Objetivo: Determinar se o conjunto de classes de isomorfismo de famílias localmente triviais de variedades simpéticas primitivas (com fibras $Q$-fatoriais e terminais) sobre $B$, cuja fibra em $0$ é isomorfa a $X$, é finito.
• Desafios Principais:
  1. Não Limitação (Unboundedness): Ao contrário do caso polarizado, não há um grau de polarização uniformemente limitado. Isso impede que o conjunto de tais variedades seja parametrizado por um único stack de moduli de tipo finito.
  2. Não Separação (Non-separatedness): O problema de moduli relevante é altamente não separado, o que pode levar a infinitude intrínseca (como demonstrado pelos autores com contra-exemplos).

2. Metodologia e Estratégias de Prova

Os autores desenvolvem uma abordagem sofisticada combinando teoria de Hodge, geometria biracional e teoria de moduli. Os pilares metodológicos incluem:

• Construção Uniforme de Kuga-Satake: Adaptam a "truque de Zarhin" para estruturas de Hodge polarizadas fracas de tipo K3. Eles constroem um mapa de Kuga-Satake uniforme que associa a família de variedades simpéticas a uma família de variedades abelianas polarizadas. A chave é provar que, apesar da não polarização inicial, o número de tipos de polarização fraca é finito e que as variedades de Kuga-Satake associadas à fibra especial $X$ pertencem a um conjunto finito.
• Teorema de Matsusaka-Mumford para Famílias Singulares: Estendem o teorema clássico de Matsusaka-Mumford (que garante que isomorfismos genéricos se estendem a isomorfismos globais sob certas condições de polarização) para famílias localmente triviais de variedades simpéticas com singularidades. Isso é crucial para controlar as "twists" (torções) de Galois e garantir que famílias com fibras genéricas isomorfas sejam, de fato, isomorfas em um sentido controlado.
• Conjectura do Cone Kawamata-Morrison: Utilizam a conjectura do cone (prova de que o cone nef efetivo possui um domínio fundamental poliedral racional sob a ação do grupo de automorfismos) para variedades simpéticas primitivas sobre corpos não algebricamente fechados. Isso permite limitar o número de modelos biracionais e modificações pequenas $Q$-fatoriais.
• Teorema de Hermite-Minkowski Topológico: Usam resultados sobre a finitude de coberturas étale finitas de uma variedade dada, aplicados ao grupo fundamental étale, para controlar a finitude das torções de Galois das famílias.

3. Contribuições Principais e Resultados

O artigo estabelece dois teoremas centrais e um corolário:

Teorema 1.1 (Finitude das Fibras Genéricas):
Para uma curva apontada $(B, 0)$ e uma variedade simpética primitiva $X$ (com singularidades $Q$-fatoriais e terminais):

• Se $b_2(X) \neq 4$, existem apenas um número finito de classes de isomorfismo para as fibras genéricas de tais famílias.
• Se $b_2(X) = 4$, a finitude mantém-se para famílias não-isotriviais.
• Nota: Este resultado é uma generalização geométrica da conjectura de Shafarevich não polarizada, estendendo resultados anteriores de variedades hiper-Kähler suaves para o caso singular.

Teorema 1.2 (Finitude de Modelos Projetivos):
Sob as mesmas hipóteses, se assumirmos que todos os divisores nef em uma fibra muito geral são semi-amples (uma condição conhecida como conjectura SYZ para variedades hiper-Kähler), então o conjunto de famílias projetivas (isomorfismo de famílias completas) é finito.

• Isso resolve o problema de Shafarevich apontado para famílias projetivas, desde que a condição de semi-ampleza seja satisfeita.

Corolário 1.3 (Casos Concretos):
Como a conjectura SYZ foi verificada para todos os tipos de deformação conhecidos de variedades hiper-Kähler suaves ($K3^{[n]}$, $Kum_n$, $OG6$, $OG10$), o Teorema 1.2 implica que o conjunto de famílias projetivas apontadas é finito para qualquer variedade $X$ pertencente a esses tipos de deformação.

Contra-exemplos (Proposição 6.2):
Os autores demonstram que a hipótese de projetividade é essencial. Eles constroem infinitas famílias não-isomorfas de variedades hiper-Kähler suaves sobre uma curva apontada $(B, 0)$ tais que:

1. Todas são isomorfas sobre a curva pontuada $B \setminus \{0\}$.
2. Todas têm fibras isomorfas no ponto base $0$.
3. As famílias totais não são isomorfas.
   Isso mostra que, sem a condição de projetividade (ou polarização), a finitude falha.

4. Significado e Impacto

• Avanço na Geometria Biracional: O trabalho prova a conjectura do cone de Kawamata-Morrison para variedades simpéticas primitivas com singularidades terminais sobre corpos não algebricamente fechados, um resultado de interesse independente.
• Generalização de Resultados Clássicos: Estende a finitude de Shafarevich (anteriormente conhecida para variedades polarizadas ou suaves) para o contexto de variedades com singularidades e sem polarização fixa, preenchendo uma lacuna significativa na teoria de moduli de variedades de Calabi-Yau e hiper-Kähler.
• Conexão entre Aritmética e Geometria: O artigo fornece evidências robustas para a conjectura de Lang-Vojta no contexto geométrico, mostrando que a "hiperbolicidade geométrica" (finitude de mapas de curvas) se mantém mesmo na ausência de polarização, desde que se considere a estrutura biracional e as fibras genéricas.
• Tecnologia de Moduli: A construção de stacks de moduli separados e de tipo finito para famílias localmente triviais de variedades simpéticas (Teorema 4.6) e a prova do teorema de Matsusaka-Mumford para este contexto são ferramentas técnicas fundamentais para futuros estudos em geometria algébrica complexa.

Em suma, o artigo resolve positivamente a questão da finitude para famílias apontadas de variedades simpéticas primitivas no caso genérico e no caso projetivo (sob condições conhecidas), ao mesmo tempo que delimita as fronteiras desse resultado através de contra-exemplos construtivos, oferecendo uma compreensão completa do comportamento de tais famílias.