Resumo Técnico: Existência e Não-Existência de Curvas Elípticas Racionais com Subgrupos de Torção Prescritos sobre Campos Quadráticos

1. O Problema

O artigo investiga a classificação dos subgrupos de torção de curvas elípticas definidas sobre o corpo racional ($\mathbb{Q}$), mas analisadas em extensões de corpos, especificamente campos quadráticos $K = \mathbb{Q}(\sqrt{-p})$ (onde $p$ é um primo ímpar) e extensões ciclotômicas ou de Kummer.

O problema central é determinar para quais primos $p$ as estruturas de torção específicas, como $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/10\mathbb{Z}$ e $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/12\mathbb{Z}$, podem ou não ser realizadas por uma curva elíptica $E/\mathbb{Q}$ quando os pontos são considerados no campo $K$. Embora a classificação de Mazur para $K=\mathbb{Q}$ seja conhecida, a caracterização completa de quais campos quadráticos permitem quais estruturas de torção para curvas definidas sobre $\mathbb{Q}$ permanece um problema aberto.

2. Metodologia

O autor utiliza uma combinação de métodos algébricos, teóricos e computacionais:

• Método de 2-descida (2-descent): Utilizado para calcular o rank de curvas elípticas e de seus twists quadráticos. O autor aplica a descida por 2-isogenia para determinar se o rank de certas curvas modulares é zero ou positivo.
• Curvas Modulares: O estudo foca nas curvas modulares $X_1(2, 10)$ e $X_1(2, 12)$. Como essas curvas têm gênero 1, elas são elas próprias curvas elípticas. A existência de pontos de torção em $K$ corresponde à existência de pontos quadráticos nessas curvas modulares.
• Conjectura da Paridade (Parity Conjecture): Para provar a existência de infinitas curvas com certas torções, o autor utiliza a conjectura da paridade (que relaciona o sinal da equação funcional da função $L$ com o rank algébrico). Ele demonstra que, sob essa conjectura (ou sob a suposição de que a parte 2-primária do grupo de Tate-Shafarevich é finita), certas famílias de curvas possuem rank ímpar, garantindo a existência de infinitos pontos.
• Teoria de Galois e Representações: Para as extensões de Kummer e extensões $\mathbb{Z}_p$, o autor utiliza propriedades de representações de Galois e a classificação de subgrupos de $GL_2(\mathbb{Z}/p\mathbb{Z})$ para eliminar estruturas de torção impossíveis.
• Computação Computacional: Uso extensivo de SageMath para realizar cálculos de rank e verificar propriedades de curvas específicas via LMFDB.

3. Principais Contribuições e Resultados

A. Não-existência de Torção (Resultados de Eliminação)

O autor estabelece condições precisas sobre o primo $p$ que impedem a ocorrência de certas torções:

• Teorema 1.2: Se $p \equiv 3, 7 \pmod{20}$, não existe $E/\mathbb{Q}$ tal que $E(\mathbb{Q}(\sqrt{-p}))_{tors} \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/10\mathbb{Z}$.
• Teorema 1.3: Se $p \equiv 11 \pmod{24}$, não existe $E/\mathbb{Q}$ tal que $E(\mathbb{Q}(\sqrt{-p}))_{tors} \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/12\mathbb{Z}$.
• Corolário 1.4: Para $p \equiv 83, 107 \pmod{120}$, as torções possíveis são exatamente as 15 listadas no Teorema de Mazur.

B. Existência Condicional

O autor prova que, para certas famílias de primos, existem infinitas curvas elípticas com a torção desejada, condicionado à conjectura da paridade:

• Conjecturas 1.5 e 1.6: Se $p \equiv 11, 19 \pmod{20}$, existem infinitas curvas com torção $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/10\mathbb{Z}$. Se $p \equiv -1 \pmod{24}$, existem infinitas curvas com torção $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/12\mathbb{Z}$.

C. Extensões de Kummer e $\mathbb{Z}_p$

O artigo expande os resultados para extensões infinitas:

• Classificação em Extensões de Kummer: O autor refina a classificação de subgrupos de torção sobre extensões de Kummer de campos ciclotômicos (Teoremas 5.1 e 5.2).
• Extensões $\mathbb{Z}_p$: O autor prova que, para um primo $p > 5$, a torção de uma curva elíptica sobre o compositum de todas as extensões $\mathbb{Z}_p$ de um corpo $K$ é, em muitos casos, a mesma torção que a curva já possui sobre o próprio corpo $K$ (Teoremas 5.4 e 5.5).

4. Significância

Este trabalho é significativo por:

1. Refinar a fronteira do conhecimento: Ele preenche lacunas deixadas por trabalhos anteriores (como [Avc26a]), resolvendo questões sobre quais campos quadráticos admitem quais estruturas de torção.
2. Conectar Geometria e Teoria de Números: Ao usar curvas modulares de gênero 1 para resolver problemas de torção, o autor demonstra a profundidade da relação entre pontos racionais em curvas modulares e a estrutura de grupos de pontos em curvas elípticas.
3. Generalização: O artigo não se limita a campos quadráticos simples, mas fornece ferramentas para entender a torção em extensões abelianas muito mais complexas (extensões de $\mathbb{Z}_p$ e extensões de Kummer), o que é de grande interesse na teoria de números moderna.