Elliptic curves with rank one and nontrivial 2-part of Tate Shafarevich groups over the $\mathbb{Z}_2$-extension of $\mathbb{Q}$

Resumo Técnico: Curvas Elípticas de Rango Um e Parte 2-Adica Não Trivial do Grupo de Tate-Shafarevich sobre a Extensão $\mathbb{Z}_2$ de $\mathbb{Q}$

1. Problema e Contexto

O artigo aborda uma questão fundamental na teoria dos números e na geometria aritmética, relacionada à conjectura de Birch e Swinnerton-Dyer (BSD) e ao comportamento de curvas elípticas em extensões de corpos numéricos de grau crescente.

• Questão Central: Existe uma curva elíptica $E$ definida sobre $\mathbb{Q}$ e uma família infinita de corpos numéricos $F_n/\mathbb{Q}$ com graus tendendo ao infinito, tal que o grupo de Mordell-Weil $E(F_n)$ tenha rango $r_n = 1$, mas a parte $p$-primária do grupo de Tate-Shafarevich, denotada por $\text{X}(E/F_n)(p)$, seja não trivial (ou seja, infinita)?
• Contexto Específico: O foco deste trabalho é o caso onde $p=2$ e o corpo $F_n$ é a $n$-ésima subextensão da extensão cíclica $\mathbb{Z}_2$ de $\mathbb{Q}$ (denotada por $Q_\infty$).
• Limitações de Trabalhos Anteriores: Resultados prévios (como os de Kurihara) frequentemente assumiam a finitude do grupo de Tate-Shafarevich ou a conjectura de BSD. O objetivo deste artigo é responder à questão sem assumir essas conjecturas, construindo explicitamente exemplos onde o grupo de Tate-Shafarevich é infinito.

2. Metodologia

Os autores utilizam uma combinação sofisticada de ferramentas da teoria de Iwasawa, formas modulares e pontos de Heegner. A estratégia principal envolve a análise de elementos modulares de Mazur-Tate e suas propriedades 2-ádicas sob twists quadráticos.

• Objeto de Estudo:

  • Uma curva elíptica específica $E: y^2 + y = x^3 + 2$ (conductor 243, com multiplicação complexa por $\mathbb{Q}(\sqrt{-3})$).
  • Uma família de twists quadráticos $E(m)$, onde $m = pq$ é o produto de dois primos distintos $p$ e $q$ satisfazendo condições aritméticas específicas ($p \equiv q \equiv 7 \pmod{12}$, coeficientes de Fourier ímpares, etc.).
  • A extensão $\mathbb{Z}_2$ de $\mathbb{Q}$, denotada por $Q_\infty = \bigcup Q_n$.

• Ferramentas Chave:

  1. Elementos de Mazur-Tate: Os autores estudam os elementos de Mazur-Tate associados a $E(m)$ e suas especializações em caracteres de ordem finita de $\text{Gal}(Q_\infty/\mathbb{Q})$.
  2. Congruências de Pontos de Heegner: Utilizam propriedades de congruência de pontos de Heegner (baseadas no trabalho de Kriz e Li) para demonstrar que certos pontos são não-torsionais.
  3. Teorema de Coates-Wiles Equivariante: Aplicam uma versão equivariante deste teorema para curvas com multiplicação complexa (CM) para relacionar valores $L$ analíticos com rangos algébricos.
  4. Teoria de Iwasawa: Analisam o módulo de Selmer sobre o anel de Iwasawa $\Lambda = \mathbb{Z}_2[[\Gamma]]$. A prova depende da demonstração de que o módulo de Selmer tem corango 1 sobre $\Lambda$, o que implica a infinitude da parte 2-torsional do grupo de Tate-Shafarevich.

• Desafio Técnico e Solução:

  • O método padrão de Kurihara para determinar propriedades 2-ádicas falha para os twists $E(m)$.
  • Inovação: Os autores definem um novo elemento modular $\xi_E(\chi)$ associado ao par $(E, \chi)$, onde $\chi$ é o caractere quadrático de $Q(\sqrt{m})$. Eles estabelecem que as especializações de $\xi_E(\chi)$ são congruentes às de $E(m)$ módulo unidades 2-ádicas.
  • Para o caso excepcional de caracteres primitivos de nível $Q_3$, eles derivam relações de congruência de ordem superior (módulo 4) usando a ação de Hecke em símbolos modulares, permitindo determinar a valoração 2-ádica exata.

3. Resultados Principais

O teorema principal (Teorema 1.3) estabelece a existência de uma família infinita de curvas elípticas com as propriedades desejadas.

• Condições para os Primos: Existem infinitos pares de primos $(p, q)$ tais que:
  1. $p \equiv q \equiv 7 \pmod{12}$.
  2. Os coeficientes de Fourier $a_p$ e $a_q$ são ímpares.
  3. $\left(\frac{-2p}{q}\right) = 1$.
  4. $3 \nmid h(-q)h(-6pq)$ (onde $h$ é o número de classes).
• Conclusões para $m = pq$:
  1. Rango sobre $\mathbb{Q}$: O rango de $E(m)(\mathbb{Q})$ é 0 e a ordem de anulação da função $L$ em $s=1$ é 0.
  2. Rango sobre $Q_n$ ($n \ge 1$): Para cada $n \ge 1$, o rango de $E(m)(Q_n)$ é exatamente 1, e a ordem de anulação da função $L$ sobre $Q_n$ é 1.
  3. Grupo de Tate-Shafarevich: O grupo de Tate-Shafarevich $\text{X}(E(m)/Q_\infty)$ tem ordem infinita e 2-rank infinito.
  4. Conjectura de BSD: A parte de rango da conjectura de Birch e Swinnerton-Dyer é verificada para todas as curvas $E(m)$ sobre os corpos $Q_n$ quando $n \to \infty$.

4. Contribuições Chave

1. Resolução Condicional Independente: O trabalho fornece uma resposta afirmativa à Questão 1.1 para $r_n=1$ e $p=2$ sem assumir a conjectura de BSD ou a finitude do grupo de Tate-Shafarevich.
2. Generalização de Famílias: Diferente de trabalhos anteriores que focavam em uma curva fixa ou um corpo fixo, este artigo generaliza o resultado para uma família infinita de twists quadráticos sobre uma torre infinita de corpos.
3. Novas Técnicas de Congruência: A introdução do elemento modular $\xi_E(\chi)$ e a resolução das obstruções de congruência módulo 4 para caracteres de nível 3 representam uma contribuição técnica significativa para o estudo de propriedades 2-ádicas de elementos modulares.
4. Dados Numéricos: O artigo fornece dados numéricos concretos (Apêndice C) de pares de primos que satisfazem as condições do teorema, validando a viabilidade da construção.

5. Significado

Este artigo é um avanço significativo na compreensão da estrutura do grupo de Selmer e do grupo de Tate-Shafarevich em extensões de Iwasawa. Ele demonstra que é possível construir sistematicamente curvas elípticas onde o "defeito" da conjectura de BSD (a não trivialidade do grupo de Tate-Shafarevich) se manifesta de forma controlada e infinita em extensões de grau crescente, mesmo quando o rango algébrico é pequeno (igual a 1).

A metodologia desenvolvida, especialmente o uso de congruências de ordem superior em elementos modulares para lidar com a prime 2, abre caminho para investigar problemas similares em outras extensões e para outras partes primárias do grupo de Tate-Shafarevich. Além disso, o trabalho conecta profundamente a teoria de formas modulares, pontos de Heegner e a teoria de Iwasawa, oferecendo um modelo robusto para futuras investigações sobre a distribuição de rangos e grupos de Tate-Shafarevich em famílias de curvas elípticas.