A $p$-Converse theorem for Real Quadratic Fields

Resumo Técnico: Um Teorema de $p$-Converso para Campos Quadráticos Reais

Enunciado do Problema
O artigo aborda o problema do "$p$-converso" para curvas elípticas definidas sobre campos quadráticos reais ($F$). Especificamente, busca estabelecer o converso do teorema de Gross-Zagier e Kolyvagin no contexto de posto 1. Enquanto o teorema clássico afirma que, se o posto analítico é 1, então o posto algébrico é 1 e o grupo de Tate-Shafarevich é finito, o converso questiona: se o posto algébrico é 1 e a parte $p$ do grupo de Tate-Shafarevich é finita, segue-se que o posto analítico é 1?

Antes deste trabalho, tais resultados de converso foram estabelecidos majoritariamente para curvas elípticas sobre $\mathbb{Q}$ (por exemplo, por Skinner, Zhang e Venerucci) ou para tipos de redução específicos. Este artigo estende esses resultados para o cenário de campos quadráticos reais, onde $p > 5$ é um primo racional inerte em $F$, e a curva elíptica $E/F$ possui redução multiplicativa dividida no primo $\mathfrak{p}$ acima de $p$.

Metodologia
Os autores empregam uma síntese sofisticada da teoria de Hida, teoria de Iwasawa e a teoria de complexos de Selmer para unir a lacuna entre postos algébricos e analíticos. A estratégia de prova baseia-se nos seguintes ingredientes fundamentais:

1. Famílias de Hida e Grandes Representações de Galois: A curva elíptica $E$ está associada a uma forma modular de Hilbert de peso 2 paralelo. Os autores utilizam a família de Hida $\mathbf{f}$ que passa por $f$ e a grande representação de Galois $T_f$. Eles trabalham dentro de uma família de Hida localizada sobre um anel de valor discreto $I_P$.
2. Conjectura Principal de Iwasawa (Teorema de Wan): A prova depende fortemente da Conjectura Principal de Iwasawa para formas modulares de Hilbert sobre uma extensão quadrática totalmente imaginária $K/F$ (onde $p$ se divide em $K$), conforme estabelecido por Wan [Wan15]. Isso fornece uma inclusão do ideal característico do grupo de Selmer no ideal gerado por uma função $L$ $p$-ádica.
3. Funções $L$ $p$-ádicas de Três e Quatro Variáveis: Os autores constroem e utilizam funções $L$ $p$-ádicas criticamente centrais. Eles relacionam a ordem de anulação de uma função $L$ $p$-ádica criticamente central $L^{cc}_p(\mathbf{f}_\infty/K, k)$ em $k=2$ ao comprimento do dual de Pontryagin de um determinado grupo de Selmer.
4. Complexos de Selmer de Nekovář: Para analisar a estrutura dos grupos de Selmer, os autores utilizam a teoria de complexos de Selmer de Nekovář. Isso permite a definição de um emparelhamento de peso $p$-ádico na cohomologia desses complexos.
5. Teoremas de Controle e Cálculos de Emparelhamento: Um passo crucial envolve provar um teorema de controle que relaciona o grupo de Selmer sobre a extensão infinita ao grupo de Selmer estrito sobre o corpo base. Ao calcular o emparelhamento de peso $p$-ádico (especificamente relacionando-o aos logaritmos $p$-ádicos de pontos na curva elíptica), os autores determinam o comprimento exato do módulo de Selmer.

Principais Contribuições e Resultados
O artigo estabelece o seguinte teorema principal (Teorema 1.3 / Teorema 9.2):

• Teorema Principal: Seja $F$ um campo quadrático real e $p > 5$ um primo inerte em $F$. Seja $E/F$ uma curva elíptica com redução multiplicativa dividida no primo $\mathfrak{p} | p$. Assumindo que a representação residual é absolutamente irredutível (irred) e que existe um levantamento modular mínimo (MML), se:

  1. $\text{rank}_{\mathbb{Z}} E(F) = 1$, e
  2. A parte $p$ do grupo de Tate-Shafarevich $\text{Ш}(E/F)_{p^\infty}$ é finita,
     Então o posto analítico é 1: $\text{ord}_{s=1} L(E/F, s) = 1$.

• Equivalência: Combinando isso com a generalização de Zhang para o teorema de Gross-Zagier, os autores estabelecem uma equivalência para o caso de posto 1:
  $$\text{rank}_{\mathbb{Z}} E(F) = 1 \text{ e } \#\text{Ш}(E/F) < \infty \iff \text{ord}_{s=1} L(E/F, s) = 1$$

• Aplicação a $\mathbb{Q}$: Como consequência, os autores provam um teorema de $p$-converso fortalecido para curvas elípticas sobre $\mathbb{Q}$ (Teorema 1.5). Eles removem uma hipótese técnica (a existência de um primo $q$ específico com certas propriedades) exigida no trabalho anterior de Venerucci [Ven16], desde que $p > 5$ e $E$ tenha redução multiplicativa dividida em $p$.

Significado e Alegações
O artigo afirma ser o primeiro a estabelecer um teorema de $p$-converso de posto 1 para curvas elípticas sobre um campo quadrático real. O significado reside em:

• Extensão de Escopo: Ir além do corpo racional $\mathbb{Q}$ para campos quadráticos reais, o que apresenta complexidades adicionais devido à natureza das formas modulares de Hilbert e ao comportamento de primos em extensões quadráticas.
• Refinamento de Resultados Existentes: A aplicação a $\mathbb{Q}$ demonstra que a estratégia desenvolvida para campos quadráticos reais pode simplificar e fortalecer resultados existentes sobre $\mathbb{Q}$ ao remover hipóteses restritivas.
• Síntese Metodológica: O trabalho integra com sucesso a Conjectura Principal de Iwasawa de Wan com os complexos de Selmer de Nekovář e emparelhamentos de peso $p$-ádicos para lidar com o caso de redução multiplicativa dividida em um cenário não-CM sobre um corpo totalmente real.

Os autores observam que seus resultados valem para $p=5$ se um caso excepcional específico referente à imagem projetiva da representação de Galois for excluído, uma limitação imposta pela dependência dos resultados de Fujiwara usados no teorema de Wan. O artigo conclui sugerindo que essas técnicas poderiam potencialmente ser estendidas para campos totalmente reais gerais onde a conjectura de Leopoldt seja válida, embora reconheça que o caso CM provavelmente exigiria métodos diferentes.