Torsion of $\mathbb Q$-curves over number fields of small odd prime degree

1. Problema e Contexto

O artigo aborda o problema de determinar todos os grupos possíveis que podem ocorrer como subgrupos de torsão de curvas elípticas definidas sobre corpos numéricos de grau específico.

• Objeto de Estudo: Curvas elípticas $E/K$, onde $K$ é um corpo numérico. O foco recai especificamente sobre as Curvas-Q (Q-curves). Uma curva elíétrica $E$ sobre um corpo $K$ é definida como uma Curva-Q se ela for $K$-isogênica a todas as suas conjugadas sob a ação do grupo de Galois absoluto de $\mathbb{Q}$ ($G_{\mathbb{Q}}$).
• O Desafio: Enquanto o teorema de Mazur (1977) classificou completamente a torsão de curvas elípticas sobre $\mathbb{Q}$, e trabalhos posteriores (Le Fourn, Najman, Cremona) resolveram casos para corpos quadráticos e extensões de grau primo $p > 7$, faltava a classificação completa para corpos de grau primo ímpar pequeno: grau 3 (cúbico), 5 (quintico) e 7 (septico).
• Conexão Chave: Um resultado prévio de Cremona e Najman estabelece que, para corpos de grau ímpar, toda Curva-Q não-CM (sem multiplicação complexa) é isogênica sobre o próprio corpo $K$ a uma curva elíptica com invariante $j$ racional. Isso permite reduzir o problema de estudar Curvas-Q para estudar curvas elípticas com $j \in \mathbb{Q}$ e seus twists quadráticos.

2. Metodologia

O autor utiliza uma combinação de teoria algébrica de números, teoria de representações de Galois e análise de grafos de isogenia. A metodologia pode ser dividida nos seguintes pilares:

1. Redução a Curvas Racionais:

   • Aproveitando o fato de que Curvas-Q sobre corpos de grau ímpar são isogênicas a curvas com $j \in \mathbb{Q}$, o autor foca em analisar como a torsão se comporta sob isogenias definidas sobre $K$.
   • Utiliza-se o conceito de twist quadrático: Se $E$ é uma Curva-Q, existe uma curva $E'$ com $j \in \mathbb{Q}$ e um twist quadrático $E''$ definido sobre $\mathbb{Q}$ tal que $E$ é isogênica a $E''$ (via $E'$).

2. Análise de Representações de Galois:

   • O núcleo da prova reside em estudar a imagem das representações de Galois mod $N$, denotadas por $\rho_{E,N}(G_K)$.
   • O autor aplica lemas que descrevem como a imagem de Galois muda quando se aplica uma isogenia (Lemas 2.2, 2.5, Corolários 2.3 e 2.4).
   • Critério de Eliminação: Se uma curva $E$ tem um ponto de ordem $N$ definido sobre $K$, a imagem de Galois $\rho_{E,N}(G_K)$ deve conter matrizes com autovalores específicos (geralmente 1 ou -1). O autor verifica se os subgrupos de índice $[K:\mathbb{Q}]$ dentro da imagem de Galois de curvas racionais ($E''/\mathbb{Q}$) satisfazem essas condições. Se não satisfazem, o grupo de torsão é impossível.

3. Grafos de Isogenia:

   • Utiliza-se a estrutura dos grafos de isogenia ($p$-primário) para curvas elípticas. Para curvas não-CM, esses grafos são árvores.
   • O autor analisa a existência de isogenias de graus específicos (ex: 11, 15, 16, 20) e demonstra que certas configurações de isogenias levariam a contradições com resultados conhecidos sobre curvas racionais (ex: teoremas de [16] sobre graus de isogenia possíveis).

4. Verificação Computacional:

   • O artigo utiliza o sistema de álgebra computacional Magma para verificar casos específicos, especialmente para grupos de torsão compostos (como $\mathbb{Z}/15\mathbb{Z}$ ou $\mathbb{Z}/16\mathbb{Z}$), onde a análise manual de subgrupos de índices específicos em grupos lineares gerais ($GL_2$) é complexa. O código auxiliar está disponível publicamente.

3. Principais Resultados

O artigo completa a classificação de torsão de Curvas-Q sobre corpos de grau primo. Os teoremas principais são:

• Teorema 1.9 (Grau 3): Para uma extensão cúbica $K/\mathbb{Q}$, os subgrupos de torsão possíveis de uma Curva-Q são exatamente os mesmos que ocorrem para curvas elípticas com $j \in \mathbb{Q}$ sobre $K$. São 20 grupos possíveis (incluindo $\mathbb{Z}/N\mathbb{Z}$ para $N=1..10, 12, 13, 14, 18, 21$ e $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2N_2\mathbb{Z}$).

  • Eliminação: Grupos como $\mathbb{Z}/11\mathbb{Z}$, $\mathbb{Z}/15\mathbb{Z}$, $\mathbb{Z}/16\mathbb{Z}$, $\mathbb{Z}/20\mathbb{Z}$ e $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/10\mathbb{Z}$, que aparecem em curvas elípticas gerais sobre corpos cúbicos, não aparecem em Curvas-Q.

• Teorema 1.10 (Grau 5): Para extensões quinticas, a lista de torsão para Curvas-Q coincide com a lista de curvas com $j \in \mathbb{Q}$ (17 grupos). Grupos como $\mathbb{Z}/15\mathbb{Z}$, $\mathbb{Z}/20\mathbb{Z}$, $\mathbb{Z}/25\mathbb{Z}$ e $\mathbb{Z}/50\mathbb{Z}$ são eliminados.

• Teorema 1.11 (Grau 7): Para extensões septicas, a lista de torsão coincide com a lista de curvas racionais sobre $\mathbb{Q}$ (os 15 grupos de Mazur). Não há novos grupos de torsão para Curvas-Q sobre corpos de grau 7.

• Corolário 1.13 (Generalização): Se um grupo $T$ aparece como torsão de uma Curva-Q sobre um corpo de grau primo $p$, ele também aparece como torsão de uma curva elíptica com $j \in \mathbb{Q}$ sobre um corpo de grau $p$.

• Teorema 1.14 (Extensão para $p=2$): O autor prova que, mesmo para corpos quadráticos ($p=2$), se uma curva elíptica é isogênica a uma curva com $j \in \mathbb{Q}$, sua torsão é limitada à lista de curvas com $j \in \mathbb{Q}$. Isso elimina os grupos $\mathbb{Z}/14\mathbb{Z}$ e $\mathbb{Z}/18\mathbb{Z}$, que aparecem em curvas elípticas gerais sobre corpos quadráticos, mas não nessas curvas específicas.

4. Contribuições e Significância

1. Completude da Classificação: O trabalho fecha a lacuna na classificação de torsão de Curvas-Q sobre corpos de grau primo. Juntamente com trabalhos anteriores, agora se sabe exatamente quais grupos de torsão são possíveis para Curvas-Q em qualquer corpo de grau primo.
2. Equivalência Estrutural: O resultado mais profundo é a descoberta de que, para graus primos ímpares, a classe de Curvas-Q não introduz novos grupos de torsão além daqueles já encontrados em curvas elípticas com invariante $j$ racional. Isso simplifica significativamente o estudo da torsão nessas curvas, permitindo o uso de resultados clássicos sobre curvas racionais.
3. Método de Eliminação Robusto: O desenvolvimento de técnicas para eliminar grupos de torsão específicos (como $\mathbb{Z}/16\mathbb{Z}$ e $\mathbb{Z}/20\mathbb{Z}$) através da análise combinatória de imagens de Galois e grafos de isogenia oferece ferramentas valiosas para problemas futuros em teoria de curvas elípticas.
4. Refutação de Intuições: O trabalho mostra que, ao contrário do caso quadrático (onde novos grupos como $\mathbb{Z}/13\mathbb{Z}$ aparecem), para graus primos ímpares, a restrição de ser uma Curva-Q é forte o suficiente para impedir a ocorrência de certos grupos de torsão que são teoricamente possíveis em corpos numéricos gerais.

Em resumo, o artigo de Ivan Novak estabelece que, para extensões de grau primo ímpar, a torsão de Curvas-Q é "controlada" inteiramente pela torsão de curvas elípticas com invariante $j$ racional, resolvendo um problema aberto na teoria de números e geometria aritmética.