Torsion points on $\rm{GL}_2$-type abelian varieties

Inspirando-se no trabalho de Katz, este artigo investiga a recíproca da injeção dos pontos de torção racional na redução modular para variedades abelianas de tipo $\rm GL_2$ e apresenta uma lista conjectural das ordens possíveis de torção para variedades abelianas modulares sobre $\mathbb Q$ de dimensão até 5.

O essencial

Imagine que você tem um quebra-cabeça matemático muito complexo chamado "Variedade Abeliana". Pense nele como uma máquina misteriosa que funciona em um mundo de números (os "números racionais", que são como frações e inteiros).

Dentro dessa máquina, existem peças especiais chamadas pontos de torção. Elas são como "travas" ou "paradas" que a máquina faz. O grande mistério que os matemáticos tentam resolver é: quão grande pode ser o conjunto dessas travas?

Até hoje, sabemos muito sobre máquinas pequenas (como curvas elípticas, que são de "dimensão 1"). Mas quando a máquina fica maior (dimensões 2, 3, 4, 5...), o mistério aumenta. Ninguém sabe qual é o tamanho máximo dessas travas.

Neste artigo, Jessica Alessandrì e Nirvana Coppola propõem uma nova maneira de investigar esse mistério, focando em um tipo específico de máquina chamada "GL2-type".

Aqui está a explicação do que eles fizeram, usando analogias do dia a dia:

1. O Problema: A "Regra do Espelho"

Imagine que você não consegue ver o interior da máquina diretamente. Mas você pode olhar para ela através de um "espelho" em diferentes lugares (chamados de "primes" ou números primos).

• O que já se sabia: Se você olhar para a máquina em muitos espelhos diferentes, pode contar quantas peças ela tem em cada reflexo. Se o número de peças em todos os reflexos for divisível por, digamos, 7, então é muito provável que a máquina original tenha uma trava de tamanho 7.
• A pergunta de Katz (o grande mistério): O contrário é verdadeiro? Se a máquina original tem uma trava de tamanho 7, será que todos os espelhos mostrarão um número de peças divisível por 7?
  • Para máquinas pequenas (curvas elípticas), a resposta é sim.
  • Para máquinas grandes e complexas, a resposta geralmente é não. Existem exceções estranhas onde a trava existe, mas os espelhos não mostram isso.

2. A Solução: O "Filtro Mágico"

As autoras focaram em um tipo especial de máquina (GL2-type). Elas descobriram que, para essas máquinas específicas, a "Regra do Espelho" funciona de uma forma muito poderosa, mesmo para máquinas grandes.

Elas provaram um teorema que diz:

"Se você olhar para a máquina em espelhos suficientes e bem escolhidos, e o número de peças em todos eles tiver um 'fator comum' (um divisor), então existe uma versão da máquina (uma 'prima' da original) que tem exatamente essa trava."

A Analogia da Detetive:
Imagine que você é um detetive tentando descobrir se um cofre tem uma chave mestra (o ponto de torção). Você não pode abrir o cofre. Em vez disso, você olha para as sombras que o cofre projeta em várias paredes (os espelhos).

• Se todas as sombras tiverem um padrão que sugere a existência de uma chave de tamanho 12, então, para esse tipo especial de cofre, pode-se garantir que existe uma chave de tamanho 12.
• O trabalho delas foi criar uma "lista de suspeitos" baseada nessas sombras.

3. A Lista de Suspeitos (Os Resultados)

Usando computadores poderosos (o sistema Magma), elas rodaram simulações para máquinas de tamanhos 2, 3, 4 e 5. Elas olharam para milhares de "espelhos" (números primos) e calcularam quais tamanhos de travas eram possíveis.

O resultado foi uma lista de suspeitos para o tamanho das travas.

• Para máquinas de tamanho 2: As travas podem ter tamanhos como 1, 2, 3... até 56, e alguns números maiores como 28 e 44.
• Para máquinas de tamanho 5: A lista é mais curta, mas ainda inclui números como 36, 46, etc.

Elas não conseguiram provar que essa lista é completa (ou seja, que não existe nenhuma trava de tamanho 100 que elas não viram), mas encontraram exemplos reais para todos os números que listaram. É como se dissessem: "Não sabemos se existe um monstro de 100 metros, mas sabemos que existem monstros de todos os tamanhos que listamos aqui."

4. Por que isso importa?

Antes desse trabalho, para máquinas grandes, os matemáticos estavam quase "cegos". Eles sabiam que existiam limites, mas não tinham uma lista concreta do que era possível.

• Descoberta Real: Elas encontraram uma máquina (uma superfície abeliana associada a um novo "número" chamado newform) que tem uma trava de tamanho 28. Isso é novo! Esse número não estava em nenhum banco de dados famoso (o LMFDB) antes. É como se elas tivessem encontrado uma nova espécie de animal que ninguém sabia que existia.

Resumo em uma frase

As autoras criaram um "filtro inteligente" que permite prever, com alta precisão, quais são os tamanhos possíveis das "travas" em máquinas matemáticas complexas, transformando um problema impossível de resolver em uma lista de suspeitos muito provável, baseada em como essas máquinas se comportam quando vistas através de diferentes "lentes" numéricas.

Em suma: Elas não encontraram o tamanho máximo absoluto, mas mapearam o território com tanta precisão que agora sabemos exatamente quais "bichos" (tamanhos de torção) podem estar vivendo lá, e até encontraram alguns novos que ninguém tinha visto antes.

Resumo técnico

Aqui está um resumo técnico detalhado do artigo "Torsion Points on GL2-Type Abelian Varieties", escrito por Jessica Alessandrì e Nirvana Coppola, apresentado em português.

1. Problema de Investigação

O artigo aborda um problema clássico na teoria dos números e na geometria aritmética, conhecido como o problema de divisibilidade local-global para variedades abelianas.

• Contexto: É bem estabelecido que, para uma variedade abeliana $A$ definida sobre um corpo de números $K$, o grupo de torção racional $Tors(A)(K)$ injeta-se no grupo de pontos da redução de $A$ módulo um primo $p$ suficientemente grande. Consequentemente, a ordem do grupo de torção divide o máximo divisor comum (MDC) dos tamanhos dos grupos de pontos nas reduções modulares.
• A Questão de Katz e Lang: O problema inverso, proposto por Lang e investigado por Katz (1981), pergunta: se a ordem do grupo de pontos reduzidos $N(p) = |\tilde{A}(\mathbb{F}_p)|$ é divisível por um inteiro $m$ para um conjunto de densidade um de primos $p$, existe uma variedade abeliana $A'$ isógena a $A$ tal que seu grupo de torção racional tenha ordem divisível por $m$?
• Estado Atual: Katz provou que a resposta é afirmativa para curvas elípticas e uma versão mais fraca para superfícies abelianas. No entanto, existem contraexemplos para variedades de dimensão superior. O objetivo deste trabalho é investigar a validade dessa propriedade para variedades abelianas do tipo GL2 em qualquer dimensão.

2. Metodologia

Os autores utilizam uma abordagem baseada em representações de Galois e lattices (reticulados) estáveis, adaptando os métodos de Katz para o contexto de variedades do tipo GL2.

• Definição de Tipo GL2: Uma variedade abeliana $A$ de dimensão $g$ sobre $K$ é do tipo GL2 se existe um corpo de números $F$ de grau $g$ sobre $\mathbb{Q}$ que se embute na álgebra de endomorfismos de $A$ tensorialmente com $\mathbb{Q}$.
• Representações $\ell$-ádicas: Para um primo racional $\ell$, associam-se representações de Galois $\rho_\lambda: G_K \to GL_2(F_\lambda)$, onde $\lambda$ é um primo de $F$ acima de $\ell$.
• Formulação do Problema: O problema é reformulado em termos de congruências nas representações de Galois. Especificamente, se o polinômio característico de Frobenius $P_\lambda^p(1) = \det(1 - \rho_\lambda(\text{Frob}_p))$ é congruente a 0 módulo $\lambda^n$ para uma densidade um de primos, isso implica a existência de um sub-lattice $G_K$-estável no módulo de Tate $V_\lambda(A)$ tal que o quociente tenha ordem $\ell^{f_\lambda n}$ e seja trivial sob a ação de Galois.
• Teorema de Katz-Lang Adaptado: Os autores utilizam um teorema de Katz-Lang sobre representações 2-dimensionais em campos locais para demonstrar que a condição de congruência local implica a existência de uma estrutura de lattice específica, que por sua vez corresponde a uma variedade isógena com torção racional.
• Implementação Computacional: Para variedades modulares sobre $\mathbb{Q}$ (associadas a formas novas de peso 2), os autores implementaram algoritmos no sistema Magma. O código calcula o MDC dos valores $P_\lambda^p(1)$ para formas novas de nível até 500 e dimensões até 5, gerando listas conjecturais de ordens de torção.

3. Principais Contribuições e Resultados

Teorema Principal (Corolário 3.3)

O resultado central do artigo estabelece que, para variedades abelianas do tipo GL2 sobre um corpo de números $K$:

1. Os primos que dividem a ordem máxima do grupo de torção (tomado sobre todas as variedades isógenas a $A$) são exatamente os mesmos primos que dividem o MDC dos tamanhos das reduções modulares $N(p)$, sob certas condições de boa redução.
2. Mais precisamente, para qualquer primo racional $\ell$ de boa redução:
   $$v_\ell\left(\sup_{A' \sim A} |Tors(A')(K)|\right) \leq v_\ell\left(\gcd_{p \in \Sigma} N(p)\right)$$
3. Se $\ell$ for totalmente inerte no corpo de coeficientes $F$, a igualdade vale:
   $$v_\ell\left(\sup_{A' \sim A} |Tors(A')(K)|\right) = v_\ell\left(\gcd_{p \in \Sigma} N(p)\right)$$

Isso fornece uma resposta positiva à versão "fraca" da questão de Katz para variedades do tipo GL2 em todas as dimensões, generalizando resultados anteriores que eram restritos a curvas elípticas ou superfícies.

Resultados Computacionais e Conjecturas

Os autores aplicam seus resultados teóricos a variedades abelianas modulares sobre $\mathbb{Q}$ (que correspondem a formas novas de peso 2). Eles produzem listas conjecturais de ordens possíveis para o grupo de torção racional para dimensões $g$ de 2 a 5.

• Conjectura 4.4: Lista as ordens possíveis de $|Tors(A)(\mathbb{Q})|$ para variedades simples do tipo GL2 de dimensões $g=2, 3, 4, 5$.
  • Exemplo para $g=2$: As ordens possíveis incluem 1, 2, ..., 16, 18, 19, 20, 21, 22, 24, 28, 44, 56.
  • Nota-se a presença de ordens como 28, que não apareciam em bancos de dados anteriores (como o LMFDB) para superfícies abelianas específicas, mas que são validadas por esta análise.
• Conjectura 4.5: Lista os primos $\ell$ que podem dividir a ordem do grupo de torção para cada dimensão $g$.
  • Para $g=2$, os primos são $\{2, 3, 5, 7, 11, 13, 19\}$.
  • Para $g=3$, inclui primos até 31.
  • Para $g=4$, inclui primos até 73.
  • Para $g=5$, inclui primos até 29.

Os autores observam que, embora as listas não sejam comprovadamente exaustivas, todos os valores listados ocorrem em pelo menos uma variedade abeliana específica (exibida via forma nova correspondente).

4. Significado e Impacto

• Generalização Teórica: O trabalho resolve uma questão aberta sobre a relação entre divisibilidade local e global para uma classe vasta de variedades abelianas (tipo GL2) além das curvas elípticas e superfícies, estabelecendo limites precisos baseados na teoria de representações de Galois.
• Classificação de Torção: Fornece uma classificação completa e conjectural das possíveis ordens de torção para variedades modulares de dimensão até 5, preenchendo lacunas no conhecimento atual sobre a estrutura de torção em dimensões superiores.
• Dados Práticos: A implementação computacional gera novos dados que enriquecem bancos de dados existentes como o LMFDB (L-Functions and Modular Forms Database). O artigo destaca que variedades com ordens de torção específicas (ex: ordem 28 para superfícies associadas à forma nova de nível 39) foram descobertas através desta metodologia, mas não estavam listadas anteriormente.
• Ferramenta para Pesquisa: O código e os dados disponibilizados permitem que outros pesquisadores verifiquem e estendam essas conjecturas para níveis e dimensões maiores, servindo como base para futuros estudos sobre o comportamento de pontos de torção em variedades abelianas.

Em suma, o artigo conecta profundamente a teoria de representações de Galois com a geometria aritmética, oferecendo tanto um teorema rigoroso sobre a estrutura de torção quanto uma ferramenta computacional robusta para a exploração de variedades abelianas de dimensão superior.