On the Frobenius fields of abelian varieties over number fields

1. Problema e Contexto

O artigo investiga a distribuição dos campos de Frobenius associados a variedades abelianas sobre corpos numéricos.

• Definição: Para uma variedade abeliana $A$ definida sobre um corpo numérico $K$ e um lugar $v$ de boa redução, o campo de Frobenius $F(A, v)$ é o corpo de decomposição gerado pelos autovalores do endomorfismo de Frobenius associado a $v$.
• Caso CM (Multiplicação Complexa): Se $A$ possui CM, os campos de Frobenius estão contidos em um corpo numérico fixo (o corpo CM) e coincidem com um subcorpo fixo para um conjunto de lugares de densidade de Dirichlet igual a 1.
• O Problema Central: O que acontece para variedades abelianas não-CM? Especificamente, qual é a densidade de Dirichlet do conjunto de lugares $v$ onde o campo de Frobenius $F(A, v)$ é isomorfo a um corpo numérico fixo $M$?
• Objetivo: Estabelecer que, sob condições de conectividade dos grupos de monodromia, essa densidade é zero para variedades não-CM, e fornecer limites superiores quantitativos (com economia de potência) para o número de tais lugares, assumindo a Hipótese de Riemann Generalizada (GRH).

2. Metodologia

A abordagem dos autores combina teoria de representações de Galois, teoria de grupos algébricos redutivos e métodos de peneira (sieve methods).

A. Representações de Galois e Grupos de Monodromia

• Utilizam o sistema compatível de representações de Galois $p$-ádicas $\rho_{A,p}$ associadas a $A$.
• Hipótese de Conectividade: Assumem que os grupos de monodromia $G_p$ (fechamento de Zariski da imagem de $\rho_{A,p}$) são conexos. Isso é válido para quase todas as variedades abelianas após uma extensão finita do corpo base.
• Grupos de Imagem Grande: Baseiam-se em resultados de Hui-Larsen e Wintenberger que garantem que, para $p$ suficientemente grande, a imagem da representação de Galois é "grande" (contém subgrupos específicos de grupos redutivos simples).

B. Redução a Grupos Redutivos Finitos

• O problema é recastado em termos de toros de Frobenius dentro do grupo de monodromia algébrica.
• Analisam a distribuição de classes de conjugação em grupos redutivos finitos $G(\mathbb{F}_p)$.
• Conjunto de Limitação (Bounding Set): Definem um conjunto $B$ como a união de todos os subgrupos de Borel definidos sobre $\mathbb{F}_p$. Mostram que, se $F(A, v) \cong M$, então a imagem de Frobenius em $G(\mathbb{F}_p)$ deve residir neste conjunto de limitação $B$ (para primos $p$ que se dividem completamente em $M$).
• Cálculo de Volume: Demonstram que o volume (medida de contagem normalizada) do conjunto de limitação $B$ é estritamente menor que 1 (especificamente $< 3/4$ para $p$ grande e grupos não abelianos), graças à não trivialidade dos grupos de Weyl.

C. Independência e Peneira de Selberg

• Independência: Utilizam resultados de Serre para garantir que as imagens das representações de Galois em diferentes primos $p$ são independentes (após uma extensão finita do corpo base).
• Peneira de Selberg: Para obter o limite quantitativo (Teorema 1.3), aplicam a peneira de Selberg para contar lugares cujos elementos de Frobenius caem no conjunto de limitação para múltiplos primos simultaneamente.
• Teorema de Chebotarev Efetivo: Usam o teorema de Lagarias-Odlyzko (sob GRH) e melhorias de Murty-Murty-Saradha (assumindo a Conjectura de Holomorfia de Artin - AHC para certos subgrupos) para controlar os termos de erro.
• Estratégia de Melhoria: Em vez de usar o grupo de monodromia $p$-ádico completo, trabalham com o quociente semissimples ($G^{ss}$), reduzindo o tamanho dos grupos de Galois relevantes e melhorando o expoente no limite final.

3. Principais Resultados

Teorema 1.1 (Resultado Qualitativo)

Seja $A$ uma variedade abeliana simples não-CM sobre um corpo numérico $K$, com grupos de monodromia conexos. Para qualquer corpo numérico fixo $M$, o conjunto de lugares $v$ tal que $F(A, v) \cong M$ tem densidade de Dirichlet superior igual a zero.

• Significado: Para variedades não-CM, o campo de Frobenius "varia" quase sempre; ele não fica preso a um corpo fixo para uma fração positiva de lugares.

Teorema 1.3 (Resultado Quantitativo)

Assumindo a Hipótese de Riemann Generalizada (GRH), existe uma constante $c$ tal que o número de lugares $v$ com norma $\le X$ e $F(A, v) \cong M$ é limitado por:
$$| \{ v \in S_{A,M} : N_{K/\mathbb{Q}}v \le X \} | \le c X^{1 - \frac{1}{3d - r + 2} + \epsilon}$$
onde $d = \dim G^{ss}$ e $r = \text{rank } G^{ss}$.

Corolário 1.4 (Caso Genérico)

No caso genérico (onde o grupo de Mumford-Tate é o grupo projetivo simplético $PGSp_{2g}$), o limite torna-se:
$$\le c X^{1 - \frac{1}{6g^2 + 2g + 2} + \epsilon}$$
Este é um limite de economia de potência (power saving), significativamente mais forte do que limites logarítmicos.

4. Contribuições Chave e Inovações

1. Abordagem Uniforme: Generalizam resultados conhecidos para curvas elípticas e variedades de dimensão baixa para o caso geral de variedades abelianas.
2. Uso de Grupos Redutivos Abstratos: Substituem cálculos explícitos de matrizes por argumentos "suaves" (soft arguments) baseados na teoria de grupos redutivos e classificação de grupos de Chevalley. Isso permite lidar com a variação dos grupos de monodromia $p$-ádicos sem assumir a Conjectura de Mumford-Tate.
3. Refinamento do Expoente: Ao trabalhar com o quociente semissimples e utilizar a estrutura de subgrupos de Borel para satisfazer a Conjectura de Holomorfia de Artin (AHC), conseguem melhorar os termos de erro no teorema de Chebotarev efetivo, resultando em um expoente de economia de potência melhor do que métodos anteriores (como os de Bloom).
4. Condição de Conectividade: Identificam claramente que a conectividade do grupo de monodromia é a hipótese técnica necessária, a qual é satisfeita genericamente ou após uma extensão finita do corpo base.

5. Significado e Impacto

• Caracterização CM/Non-CM: O Teorema 1.1 fornece um critério rigoroso para distinguir variedades abelianas com CM daquelas sem CM baseando-se na distribuição dos campos de Frobenius.
• Conexão com Conjecturas Clássicas: O trabalho é inspirado na conjectura de Lang-Trotter e em considerações de Serre sobre autovalores de formas modulares. Ele avança a compreensão de como as propriedades locais (redução em $v$) refletem a estrutura global da variedade.
• Aplicabilidade Geral: A metodologia desenvolvida parece aplicável a outros sistemas compatíveis de representações de Galois onde a semissimplicidade de Frobenius se mantém, abrindo caminho para generalizações em teoria de números e geometria aritmética.
• Limitação Futura: Os autores notam que a remoção da hipótese de conectividade (Hypothesis 2.2) exigiria um estudo mais profundo da estrutura de elementos semissimples em grupos redutivos finitos desconexos, uma tarefa que planejam abordar no futuro.

Em resumo, o artigo estabelece um marco na compreensão da distribuição de campos de Frobenius para variedades abelianas não-CM, combinando profundidade algébrica (teoria de grupos) com técnicas analíticas avançadas (peneira e teoremas de densidade) para obter resultados quantitativos fortes sob a GRH.