Fields with no everywhere good abelian varieties

Resumo Técnico: Campos com Nenhuma Variedade Abeliana de Boa Redução em Todo Lugar

1. O Problema e o Contexto

O artigo aborda um problema fundamental na teoria dos números e na geometria aritmética: a existência de variedades abelianas não nulas sobre um corpo de números $K$ que possuem boa redução em todo lugar (everywhere good reduction).

• Definição de Campo de Fontaine: Um corpo de números $K$ é chamado de Campo de Fontaine se não existir nenhuma variedade abeliana não nula sobre $K$ com boa redução em todos os lugares (ou seja, o modelo de Néron é um esquema de grupo sobre o anel de inteiros $\mathcal{O}_K$).
• Estado da Arte: Fontaine e Abrashkin provaram independentemente que $\mathbb{Q}$ é um Campo de Fontaine. Schoof estendeu esse resultado para certos corpos ciclotômicos e quadráticos. Até a publicação deste trabalho, apenas 16 campos eram conhecidos como Campos de Fontaine, mesmo sob a Hipótese de Riemann Generalizada (GRH).
• Objetivo: O objetivo dos autores é generalizar os métodos de Fontaine, Abrashkin e Schoof para estabelecer critérios que determinem se um corpo de números $K$ é um Campo de Fontaine, permitindo a identificação de milhares de novos exemplos.

2. Metodologia e Estrutura Teórica

A abordagem combina teoria de grupos, teoria de esquemas de grupos, teoria de corpos de classes e limites de ramificação. O trabalho assume a Hipótese GRH para os limites de discriminante de Odlyzko.

A. Hipóteses e Definições Iniciais
Os autores restringem sua análise a corpos $K$ que satisfazem a Hipótese K:

• Discriminante ímpar.
• Anel de inteiros maximal $\mathcal{O}_K$.
• Número de classe estreita $h^+_K = 1$.
• Assume-se que o número de primos sobre 2 em $K$ é pequeno (até 3).

B. Limites de Ramificação Superior (Abrashkin-Fontaine)
O ponto central da prova é o uso do limite de ramificação superior para esquemas de grupos finitos planos de expoente 2.

• Seja $F$ uma extensão de $K$ gerada pelos pontos de um esquema de grupo $E$ de expoente 2. Fontaine provou que o índice de ramificação superior $m_{F/K}$ é limitado.
• Isso implica que o condutor da extensão abeliana associada é limitado (especificamente, o condutor de classe de raio divide $4\infty$).
• Os autores definem uma extensão $F/K$ (a extensão de Abrashkin-Fontaine) que contém $K(E)$ para todo esquema de grupo $E$ de expoente 2 sobre $\mathcal{O}_K$.

C. Controle Grupal e Teoria de Esquemas
Para provar que não existem variedades abelianas, os autores demonstram que a extensão $F/K$ deve ser uma 2-extensão (uma extensão de Galois com grupo de Galois sendo um 2-grupo). Se $F/K$ é uma 2-extensão, então todas as variedades abelianas sobre $\mathcal{O}_K$ são "prosaicas" (seu campo de divisão 2 é uma 2-extensão).

• Análise de Esquemas de Grupo: Eles estudam extensões de esquemas de grupo de ordem 2 (como $\mu_2$, $\mathbb{Z}/2\mathbb{Z}$ e esquemas $G_\rho$ associados a divisores de 2).
• Filtragem e Filtração: Utilizam teoremas de filtragem (Proposições 4.17 e 4.22) para decompor o grupo de pontos de torsão $A[2^n]$ de uma variedade abeliana em subquotientes isomórficos a esquemas simples.
• Condições de Não Existência: Mostram que, sob certas condições sobre os primos sobre 2 e os corpos de classe de raio associados, todas as extensões de esquemas de grupo se tornam triviais ou têm expoente limitado, forçando a variedade abeliana a ser zero.

D. Critérios Computacionais (Os "Testes")
Os autores definem condições específicas para rejeitar ou aceitar um corpo $K$:

1. Condição D1(p): Existe um primo $p | 2\mathcal{O}_K$ tal que o corpo de teste $K_p$ (uma extensão de classe de raio específica) é igual a $K$.
2. Condição D2(p): $[K_p : K] = 2$ e $p$ é inerte em $K_p/K$, com condições adicionais sobre a não-splitting de outros primos.
3. Condição de Torre (T(p)): A extensão abeliana máxima de $K$ não ramificada fora de $p$ e $\infty$ é finita.
4. Limites de Odlyzko: Usam limites de discriminante (sob GRH) para garantir que a extensão solúvel máxima $F_s$ dentro de $F$ é, de fato, uma 2-extensão. Se o grau da extensão solúvel máxima for menor que o limite de Odlyzko, então $F$ é uma 2-extensão.

3. Principais Contribuições

1. Generalização de Métodos: Estendem as técnicas de Fontaine e Schoof para corpos de grau superior, lidando com casos onde há múltiplos primos sobre 2 (1, 2 ou 3 primos).
2. Novos Critérios de Não Existência: Estabelecem teoremas (Teoremas 6.4 e 6.5) que fornecem condições suficientes para que um corpo $K$ seja um Campo de Fontaine, baseadas na estrutura do grupo de Galois da extensão de ramificação superior e na finitude de certas extensões de classe de raio.
3. Análise de Grupos de Galois: Introduzem uma análise detalhada de grupos de Galois de extensões solúveis, utilizando produtos de wreath e propriedades de grupos 2-grupos para limitar a estrutura de $F/K$.
4. Implementação Computacional em Larga Escala: Desenvolvem um algoritmo sistemático para testar milhares de corpos de números contra esses critérios.

4. Resultados

• Descoberta de 24.744 Campos: Sob a Hipótese de Riemann Generalizada (GRH) para corpos de números, os autores identificaram 24.744 corpos de números que são Campos de Fontaine.
• Distribuição por Grau: A tabela 2 do artigo detalha a contagem por grau ($n$) do corpo, variando de $n=2$ até $n=16$.
  • A maioria dos exemplos encontrados está em graus mais altos (ex: 18.478 campos de grau 10).
  • Os campos são filtrados por ter discriminante ímpar e número de classe estreita 1.
• Validação Cruzada: Os autores comparam seus resultados com o trabalho prévio de Tchamitchian ([Tch]), que usou conjecturas sobre funções L. Há uma sobreposição significativa, validando tanto as conjecturas de Tchamitchian quanto a metodologia dos autores.

5. Significado e Impacto

• Expansão do Conhecimento: Este trabalho aumenta drasticamente o número de exemplos conhecidos de Campos de Fontaine, passando de uma lista pequena e fixa para milhares de exemplos em graus variados.
• Método Robusto: A metodologia demonstra que a combinação de limites de ramificação local (Fontaine) com limites globais de discriminante (Odlyzko) e teoria de classes de raio é uma ferramenta poderosa para estudar a existência de variedades abelianas.
• Limitações e Futuro: O trabalho destaca que a falta de tabelas completas de corpos de números de grau > 6 e o tempo computacional para verificar certas condições de torre (Passo 5 do algoritmo) foram limitantes. No entanto, a estrutura teórica permite que futuros trabalhos, com mais dados computacionais, expandam ainda mais essa lista.
• Conexão com Conjecturas: O sucesso do método, que depende da GRH para os limites de Odlyzko, reforça a utilidade prática dessas conjecturas na geometria aritmética.

Em resumo, Brumer e Kramer fornecem uma estrutura teórica rigorosa e uma verificação computacional massiva que confirma que a maioria dos corpos de números (dentro de certas restrições de discriminante e classe) não admite variedades abelianas com boa redução em todo lugar, generalizando um dos resultados mais famosos de Fontaine para uma vasta gama de corpos de números.