On the torsion growth in quadratic number fields for elliptic curves defined over the rationals

Este artigo investiga a questão inversa do crescimento do subgrupo de torção de curvas elípticas definidas sobre os números racionais ao serem estendidas a corpos quadráticos, estabelecendo uma relação explícita entre os primos que dividem o condutor da curva e o condutor da extensão.

O essencial

Imagine que você tem um carro especial, um "carro elíptico" (uma Curva Elíptica). Este carro tem um sistema de segurança muito peculiar: ele só permite que certas pessoas (chamadas de pontos de torção) entrem no veículo se elas tiverem uma chave específica.

Normalmente, esse carro viaja por uma estrada chamada "Números Racionais" (os números que conhecemos: 1, 2, 3, 1/2, etc.). Nessa estrada, o carro tem um grupo de passageiros permitido. Mas, o que acontece se mudarmos a estrada para um "campo quadrático"?

Um campo quadrático é como uma estrada paralela, mas com um pequeno desvio mágico (como adicionar a raiz quadrada de um número negativo ou positivo). Ao mudar para essa nova estrada, o carro pode permitir que novos passageiros entrem! Isso é o que os matemáticos chamam de "crescimento da torção".

O grande mistério que este artigo resolve é o seguinte:

"Se sabemos que novos passageiros entraram no carro quando mudamos para essa nova estrada, o que isso nos diz sobre a estrada em si?"

Os autores (Sara, Miguel e José) descobriram uma regra de ouro: A estrada nova só pode ter "buracos" (números primos que a definem) se o próprio carro já tiver problemas mecânicos (mau funcionamento) nesses mesmos lugares, ou se for um número muito específico (o número 3).

Vamos usar analogias para entender as descobertas deles:

1. O Carro e a Chave (A Curva e os Pontos)

Pense na Curva Elíptica como um cofre.

• Sobre os Racionais: O cofre tem algumas chaves que abrem apenas 2, 3, 5, 7 ou 12 compartimentos.
• Sobre o Campo Quadrático: Ao mudar para a nova estrada, o cofre pode abrir compartimentos extras. De repente, ele pode ter 16 compartimentos ou um grupo de chaves duplas.

2. A Regra dos "Buracos na Estrada" (Os Primos)

Os autores investigaram quais números (chamados primos) podem aparecer na "fórmula" da nova estrada (o número $d$ em $\sqrt{d}$) para que esses novos passageiros apareçam.

Eles descobriram que, se você vir um passageiro novo de ordem 2, 5 ou 7 (como uma chave que abre 2, 5 ou 7 compartimentos), a estrada nova obrigatoriamente deve ter um "buraco" (ser ramificada) nesses mesmos números.

A Analogia do Mecânico:
Imagine que o carro (a curva) tem um manual de instruções chamado Condutor ($N_E$). Esse manual lista todos os lugares onde o carro já teve problemas no passado (redução ruim).

• A Descoberta: Se você encontrar um passageiro novo de ordem 5 ou 7 na nova estrada, é porque a estrada nova passa exatamente por um lugar onde o carro já tinha um problema mecânico registrado no manual. Não é possível que o carro ganhe essa nova chave mágica em uma estrada limpa e perfeita nesses números.

3. O Caso Especial do Número 3 (O "Rebento" Surpresa)

O número 3 é o "ovelha negra" da família.

• Para os números 2, 5 e 7, a regra é rígida: se a estrada tem o número 3, o carro precisa ter um problema mecânico lá.
• Mas para o 3: Às vezes, a estrada pode ter o número 3 e o carro pode ganhar um passageiro novo mesmo sem ter um problema mecânico registrado nesse lugar! É como se o carro tivesse um "modo de emergência" que só funciona com o número 3.
• No entanto, os autores mostram que, mesmo nesse caso, se o carro estiver "saudável" (boa redução) no número 3, o crescimento da torção é muito limitado e previsível.

4. O Caso do Número 2 (O "Caos" e a "Mistura")

O número 2 é o mais complicado. O crescimento pode acontecer de duas formas:

• Caso Rígido: Um passageiro novo aparece do nada (como uma chave nova que não era múltipla de nenhuma chave antiga).
• Caso Misto: Um passageiro novo aparece, mas ele é apenas o "filho" de um passageiro antigo (ex: um passageiro de ordem 4 aparece, mas ele é o dobro de um passageiro de ordem 2 que já existia).
  Os autores provaram que, para o número 2, se a estrada tiver esse número, o carro sempre precisa ter um problema mecânico registrado (redução ruim). Não há exceções aqui.

Resumo da Ópera (Conclusão Simples)

Imagine que você é um detetive. Você vê um carro elíptico que, ao entrar em uma estrada paralela (campo quadrático), ganha novos passageiros.

• Se o passageiro novo tiver "peso" 2, 5 ou 7, você pode olhar para a estrada e dizer com certeza: "Essa estrada tem um buraco nesses números, e o carro já tinha um problema mecânico registrado nesses mesmos lugares!"
• Se o passageiro tiver "peso" 3, a história é um pouco mais complexa, mas ainda há regras claras.

A Grande Lição:
O crescimento de passageiros (torção) não é aleatório. Ele está intrinsecamente ligado à "saúde" do carro (a curva) e à "geografia" da estrada (o campo numérico). Se a estrada permite novos passageiros, ela tem que compartilhar características com os problemas mecânicos do carro.

Os autores criaram um "mapa de detetive" que permite prever, olhando apenas para os números que definem a estrada e os problemas do carro, se novos passageiros vão entrar ou não. Isso é um passo gigante para entender como a matemática conecta formas geométricas (curvas) com a estrutura dos números.

Resumo técnico

1. O Problema Investigado

O artigo aborda uma questão inversa no estudo das curvas elípticas definidas sobre os números racionais ($\mathbb{Q}$).

• Contexto: É bem conhecido (através de trabalhos anteriores como [3, 4, 11]) como o subgrupo de torção $E_{tors}(\mathbb{Q})$ de uma curva elíptica $E$ pode crescer quando se faz uma extensão de base para um corpo quadrático $K = \mathbb{Q}(\sqrt{d})$. Tabelas completas descrevem quais grupos de torção podem aparecer em $K$ dado o grupo em $\mathbb{Q}$.
• A Questão Inversa: O objetivo deste trabalho é o oposto: Dada uma curva elíptica $E/\mathbb{Q}$ e sabendo que ocorreu um crescimento da torção em uma extensão quadrática $K$ (ou seja, $E_{tors}(\mathbb{Q}) \neq E_{tors}(K)$), o que podemos inferir sobre o corpo $K$?
• Objetivo Específico: Estabelecer uma relação explícita entre os divisores primos do discriminante do corpo quadrático ($d$) e os invariantes da curva, especificamente o condutor $N_E$. A pergunta central é: se um primo $p$ divide $d$ (o que implica que $p$ ramifica em $K$), é necessário que $p$ divida o condutor $N_E$ (ou seja, que $E$ tenha má redução em $p$)?

2. Metodologia

Os autores utilizam uma combinação de teoria de representações de Galois, análise de redução de curvas elípticas e propriedades de grupos de subgrupos de $GL_2(\mathbb{F}_\ell)$.

• Representações de Galois Modulo $\ell$: Para um primo $\ell$, a ação do grupo de Galois absoluto $G_\mathbb{Q}$ sobre o grupo de pontos de $\ell$-torção $E[\ell]$ define uma representação $\rho_{E,\ell}: G_\mathbb{Q} \to GL_2(\mathbb{F}_\ell)$. O crescimento da torção em $K$ implica que o corpo $K$ está contido na extensão gerada pelas coordenadas dos pontos de torção, $K \subset \mathbb{Q}(E[\ell])$.
• Análise de Ramificação: Utilizando o Critério de Neron-Ogg-Shafarevich, sabe-se que $\mathbb{Q}(E[\ell])$ ramifica apenas nos divisores de $N_E$ e de $\ell$. Portanto, se $K$ ramifica em um primo $p$, então $p$ deve dividir $N_E$ ou $p$ deve ser um dos primos $\{2, 3, 5, 7\}$ (os únicos primos que podem dividir a ordem de um ponto de torção que cresce em uma extensão quadrática).
• Estudo Caso a Caso: Os autores analisam separadamente os primos $\ell \in \{2, 3, 5, 7\}$, que são os únicos candidatos para a ordem de novos pontos de torção.
  • Caso $\ell=2$: Dividido em "caso estrito" (novo ponto de ordem 2) e "caso misto" (novo ponto $P$ tal que $2P \in E(\mathbb{Q})$). Utilizam formas normais de Tate e valuações$p$-ádicas (especificamente 2-adic valuation) para analisar os discriminantes.
  • Caso $\ell=3$: Analisam a estrutura do grupo $GL_2(\mathbb{F}_3)$ e seus subgrupos. Investigam quando a ramificação em 3 é necessária ou se o crescimento pode ocorrer com boa redução.
  • Caso $\ell=5, 7$: Utilizam a classificação de subgrupos de $GL_2(\mathbb{F}_\ell)$ (trabalhos de Sutherland e Zywina) e analisam a ação do grupo de inércia (redução ordinária, multiplicativa e supersingular) para provar que novos pontos de torção não podem existir em extensões quadráticas ramificadas nesses primos, a menos que haja má redução.

3. Principais Contribuições e Resultados

O artigo estabelece teoremas que relacionam a ramificação do corpo quadrático $K = \mathbb{Q}(\sqrt{d})$ com o condutor da curva $N_E$.

Teorema 2 (Caso $\ell=2$)

Se $E/\mathbb{Q}$ é uma curva elíptica e $K$ é um corpo quadrático tal que $E_{tors}(\mathbb{Q}) \neq E_{tors}(K)$, então:

• Se $2$divide$d$(ou seja, 2 ramifica em$K$), então **2 divide$N_E$**.
• Isso significa que para haver crescimento de torção de ordem 2 (ou múltiplos de 2) em uma extensão onde 2 ramifica, a curva deve ter má redução em 2.
• A prova cobre tanto o caso estrito quanto o caso misto (onde um novo ponto de ordem 4, 8 ou 16 aparece, mas seu dobro já está em $\mathbb{Q}$).

Caso $\ell=3$ (Comportamento Distintivo)

O primo 3 apresenta um comportamento diferente. A ramificação em 3 não implica necessariamente má redução em 3.

• Exemplo: A curva 19.a2 tem $N_E=19$ (boa redução em 3), $E_{tors}(\mathbb{Q}) = C_1$, mas em $K=\mathbb{Q}(\sqrt{-3})$, $E_{tors}(K) = C_3$.
• Proposição 7: Se $E_{tors}(\mathbb{Q})$ é trivial e cresce para $C_9$ em um corpo quadrático, então $E$ deve ter má redução em 3.
• Proposição 8: Se $E$ tem boa redução em 3 e ocorre crescimento de torção de ordem 3 em um corpo ramificado em 3, então o crescimento é "limpo": $E_{tors}(K) = E_{tors}(\mathbb{Q}) \times C_3$.

Teorema 3 (Casos $\ell=5, 7$)

Se $E/\mathbb{Q}$ e $K$ são tais que $E_{tors}(\mathbb{Q}) \neq E_{tors}(K)$, e um primo $p \in \{5, 7\}$ ramifica em $K$, então $p$ divide $N_E$.

• A prova demonstra que, exceto em casos muito específicos de redução ordinária com ação trivial da inércia selvagem, a estrutura do grupo de inércia em $\ell$ é grande demais para permitir pontos fixos não triviais em uma extensão quadrática ramificada.
• Os autores fornecem uma prova alternativa e mais detalhada usando representações de Galois, confirmando resultados conhecidos de forma construtiva.

Teorema 4 (Resultado Mais Forte)

Este é um resultado refinado que vai além do Teorema 3:
Se existe $P \in E(K)[\ell] \setminus E(\mathbb{Q})$ com $\ell \geq 3$ primo:

1. Para todo primo $p \neq \ell$ que ramifica em $K$, $E$ tem redução aditiva em $p$ (isto é, $p^2 | N_E$).
2. Se $p = \ell > 3$ ramifica em $K$, $E$ tem redução aditiva em $p$ (isto é, $p^2 | N_E$).

Teorema 5 (Síntese Principal)

Combinando os resultados anteriores, os autores concluem:
Se $E/\mathbb{Q}$ tem condutor $N_E$ e $K=\mathbb{Q}(\sqrt{d})$ é um corpo quadrático com crescimento de torção, então para qualquer primo $p$ que divide $d$:

• Ou $p$ divide $N_E$,
• Ou $p = 3$.

4. Significado e Impacto

• Caracterização de Corpos de Crescimento: O trabalho fornece um critério de peneiramento (sieve) para identificar quais corpos quadráticos podem conter novos pontos de torção para uma curva dada. Se um primo $p \neq 3$ divide o discriminante $d$ de um corpo onde a torção cresce, esse primo deve ser um divisor do condutor da curva.
• Distinção do Primo 3: O artigo destaca a singularidade do primo 3, que permite crescimento de torção mesmo com boa redução em casos específicos (como a extensão ciclotômica $\mathbb{Q}(\sqrt{-3})$), algo que não ocorre para $p=2, 5, 7$ sob as condições de ramificação estudadas.
• Refinamento de Resultados Existentes: Embora resultados parciais para $p>3$ já fossem conhecidos (via trabalhos de Mentzelos Melistas e Olson), a abordagem via representações de Galois e a análise detalhada dos grupos de inércia permitem provar o Teorema 4, que é mais forte ao especificar o tipo de má redução (aditiva) necessária.
• Ferramentas Computacionais e Teóricas: O uso sistemático de formas normais de Tate e a análise de valuações $p$-ádicas oferecem um método robusto para estudar a interação entre a aritmética da curva e a ramificação do corpo base.

Em resumo, o artigo avança significativamente na compreensão da relação entre a aritmética local de uma curva elíptica (redução em primos) e a estrutura global de sua torção em extensões quadráticas, estabelecendo limites rigorosos sobre onde o crescimento da torção pode ocorrer.