Unpolarized Shafarevich conjectures for hyper-Kähler varieties

Resumo Técnico: Conjecturas de Shafarevich Não Polarizadas para Variedades Hiper-Kähler

1. O Problema e o Contexto

A conjectura de Shafarevich questiona a finitude das classes de isomorfismo de variedades projetivas suaves definidas sobre um corpo de números $K$, que possuem boa redução fora de um conjunto finito de lugares $S$.

• Estado da Arte: Resultados clássicos (Faltings, André) estabeleceram a finitude para curvas, variedades abelianas e superfícies K3, mas frequentemente sob a condição de polarização (uma classe de amplexo fixa ou de grau limitado).
• O Desafio: A versão não polarizada (onde não se fixa a polarização) é muito mais forte e difícil. Para superfícies K3, Y. She provou recentemente essa conjectura.
• Objetivo do Artigo: Generalizar o resultado de She para variedades hiper-Kähler (análogos de dimensão superior das superfícies K3). O principal obstáculo é a existência de transformações biracionais não isomórficas entre variedades hiper-Kähler e a possível não-fielidade da ação do grupo de automorfismos na cohomologia.

2. Metodologia e Ferramentas Principais

Os autores desenvolvem uma abordagem unificada baseada em geometria aritmética e teoria de Shimura:

• Mapa Uniforme de Kuga–Satake: Inspirado no trabalho de She e Orr–Skorobogatov, os autores constroem um mapa de Kuga–Satake uniforme (independente do grau da polarização). Este mapa associa a uma variedade hiper-Kähler uma variedade abeliana polarizada, permitindo transferir problemas sobre variedades hiper-Kähler para o domínio das variedades abelianas, onde a conjectura de Shafarevich já é conhecida.
• Redução Essencialmente Boa: Devido à existência de transformações biracionais que preservam a condição de cohomologia não ramificada, os autores introduzem o conceito de boa redução essencial. Uma variedade tem boa redução essencial se, após uma extensão não ramificada do corpo base, ela admitir um modelo biracional com boa redução.
• Análise de Torções (Twists): O artigo investiga como a não-fielidade da ação do grupo de automorfismos na segunda cohomologia ($H^2$) pode gerar infinitas classes de torção que satisfazem a condição de cohomologia não ramificada, mas não a de boa redução geométrica.
• Teorema de Matsusaka–Mumford para Espaços Algébricos: Uma extensão técnica do teorema clássico de Matsusaka–Mumford é provada no Apêndice A para espaços algébricos, garantindo que mapas biracionais entre fibras genéricas se estendem a isomorfismos em fibras especiais (sob condições de não-regrulação), o que é crucial para controlar as torções.

3. Principais Contribuições e Resultados

A. Conjectura de Shafarevich Não Polarizada (Teorema 1.4)
Os autores provam que, fixando o tipo de deformação de uma variedade hiper-Kähler (e assumindo $b_2 \neq 3$), o conjunto de classes de isomorfismo biracional sobre um corpo de funções ou corpo de números, com boa redução essencial fora de $S$, é finito.

• Se $b_2 \geq 5$, o conjunto de classes de isomorfismo (não apenas biracional) é finito.
• Isso unifica e generaliza os resultados de She (para K3) e de André (para casos polarizados).

B. Conjectura de Shafarevich Cohomológica (Teorema 1.7)
Os autores analisam a versão onde a condição de boa redução é substituída pela não ramificação da cohomologia $H^2_{\text{ét}}$.

• Obstáculo: Eles demonstram que, se o grupo de automorfismos não age fielmente em $H^2$, a conjectura falha (existem infinitas torções).
• Solução: Provam que a finitude é recuperada se:
  1. Considerarmos classes de isomorfismo geométricas (ignorando torções).
  2. Ou, assumirmos que a ação do grupo de automorfismos na cohomologia é fiel.
• Além disso, propõem uma generalização para cohomologia de todos os graus ($H^I$), onde a finitude é garantida para todos os tipos de deformação conhecidos e para dimensão 4.

C. Finitude de Variedades de Tipo CM (Teorema 1.10)
Generalizando um resultado de Orr e Skorobogatov para superfícies K3, provam que o conjunto de classes de isomorfismo geométrico de variedades hiper-Kähler de tipo CM (onde o grupo de Mumford-Tate do cohomologia transcendental é abeliano), definidas sobre corpos de números de grau limitado, é finito.

• Consequência: Isso implica a limitação uniforme do grupo de Brauer para variedades hiper-Kähler de tipo CM (Corolário 1.12).

D. Finitude de Retículos de Picard (Teorema 7.4)
Um passo intermediário crucial é a prova de que o conjunto de classes de isometria dos retículos de Picard (geometricamente) para variedades no conjunto de Shafarevich é finito. Isso é alcançado através da análise do mapa de período e da propriedade de redução da variedade abeliana associada via Kuga–Satake.

4. Significado e Impacto

• Unificação Teórica: O trabalho fornece a primeira prova completa da conjectura de Shafarevich não polarizada para uma classe ampla de variedades de dimensão superior (hiper-Kähler), superando as limitações de polarização que restringiam resultados anteriores.
• Resolução de Obstáculos Biracionais: Ao introduzir a "boa redução essencial" e lidar rigorosamente com as transformações biracionais, o artigo resolve uma dificuldade fundamental na geometria aritmética de dimensões superiores, onde o espaço de módulos não é necessariamente separado ou onde variedades biracionais não são isomorfas.
• Conexão com CM e Grupos de Brauer: Os resultados sobre variedades de tipo CM e a limitação do grupo de Brauer abrem novas portas para o estudo de pontos racionais e estruturas aritméticas em variedades hiper-Kähler.
• Ferramentas Independentes: A construção do mapa uniforme de Kuga–Satake e a extensão do teorema de Matsusaka–Mumford para espaços algébricos são ferramentas de interesse independente para a comunidade de geometria algébrica.

Em suma, o artigo representa um avanço significativo na compreensão da aritmética de variedades hiper-Kähler, estabelecendo limites de finitude robustos que antes eram desconhecidos ou apenas conjecturados, e fornecendo um arcabouço metodológico para futuros estudos em geometria aritmética de dimensão superior.