The anticyclotomic main conjectures for elliptic curves

Resumo Técnico: As Conjecturas Principais Anticíclotômicas para Curvas Elípticas

Enunciado do Problema
Este artigo aborda as Conjecturas Principais de Iwasawa para uma curva elíptica modular $E/\mathbb{Q}$ sobre a extensão $\mathbb{Z}_p$-anticíclotômica $K_\infty$ de um corpo quadrático imaginário $K$. Os autores visam provar a igualdade entre o lado algébrico (o ideal característico do dual de Pontryagin do grupo de Selmer $p$-primário) e o lado analítico (a função $L$ $p$-ádica anticíclotômica) em dois cenários distintos:

1. O Caso Definido: Onde a equação funcional da função $L$ complexa tem sinal $-1$.
2. O Caso Indefinido: Onde a equação funcional tem sinal $+1$.

O trabalho abrange tanto o caso ordinário (onde $p$ é um primo ordinário bom para $E$) quanto o caso supersingular (onde $p$ é um primo supersingular). No cenário supersingular, os autores distinguem entre casos "não excepcionais" e "excepcionais" (este último ocorrendo quando $p$ é inerte em $K$ e o sinal $\varepsilon = +$), observando que o caso excepcional envolve um zero extra de natureza local que complica a prova completa da conjectura.

Metodologia
A prova baseia-se em uma abordagem indutiva unificada baseada na teoria de sistemas de Euler bipartidos, estendendo o arcabouço estabelecido por Bertolini–Darmon [BD05] e Howard [How04, How06]. A metodologia procede através das seguintes etapas técnicas fundamentais:

1. Elevação de Nível e Primos Admissíveis: Os autores utilizam a técnica de elevação de nível em "primos admissíveis" (primos $\ell$ que satisfazem condições específicas de congruência e decomposição em relação à forma modular $f$ e ao corpo $K$). Ao elevar o nível da forma modular nesses primos, eles constroem autofomas congruentes que permitem a transição entre os cenários definido e indefinido.
2. Pontos Especiais e Classes de Heegner:
   • No caso indefinido, os autores utilizam pontos de Heegner em curvas de Shimura para definir uma sequência de classes compatíveis por norma.
   • No caso definido, eles utilizam pontos de Gross em curvas de Gross (associadas a álgebras de quatérnios definidas).
   • Esses pontos são usados para construir classes de cohomologia global (sistemas de Kolyvagin) nos grupos de Selmer.
3. Leis de Reciprocidade Explícitas: O núcleo do argumento envolve duas leis de reciprocidade explícitas relacionando as classes de cohomologia construídas a partir dos pontos especiais às funções $L$ $p$-ádicas:
   • A Primeira Lei de Reciprocidade relaciona o resíduo de uma classe de cohomologia em um primo admissível ao valor da função $L$ $p$-ádica.
   • A Segunda Lei de Reciprocidade relaciona a parte finita de uma classe de cohomologia à função $L$ de uma forma de nível elevado.
4. Teoremas de Controle e Análise Local: O artigo estabelece teoremas de controle rigorosos para grupos de Selmer sobre a torre anticíclotômica. Uma parte significativa do trabalho (Seção 5) é dedicada à análise da estrutura dos grupos de Selmer $\varepsilon$ no caso supersingular, baseando-se em resultados recentes sobre pontos locais em torres $p$-ádicas (especificamente o trabalho de Burungale–Kobayashi–Ota [BKO21] para o caso inerte).
5. Argumento Indutivo: Os autores empregam um argumento indutivo sobre o comprimento dos grupos de Selmer. Ao comparar os grupos de Selmer da forma original $f$ com aqueles de formas de nível elevado, eles estabelecem relações de divisibilidade entre os ideais característicos e as funções $L$ $p$-ádicas.

Principais Contribuições e Resultados

1. Prova das Conjecturas Principais (Teorema A):
   Os autores provam que o ideal gerado pela função $L$ $p$-ádica anticíclotômica $L_p^\varepsilon(f)$ está contido no ideal característico do grupo de Selmer, com a igualdade ocorrendo nos casos não excepcionais.

   • Caso Definido (DAMC): Provado para primos tanto ordinários quanto supersingulares (não excepcionais).
   • Caso Indefinido (IAMC): Provado para primos tanto ordinários quanto supersingulares (não excepcionais).
   • Caso Excepcional: No caso em que $p$ é inerte em $K$ e $\varepsilon = +$, os autores estabelecem uma divisibilidade, mas observam que a presença de um zero excepcional impede a prova da igualdade total com os métodos atuais.

2. Fórmulas $\varepsilon$-BSD (Teoremas B e C):
   Como consequência das Conjecturas Principais, o artigo deriva fórmulas explícitas de Birch e Swinnerton-Dyer (BSD) para os grupos de Selmer sobre camadas finitas da extensão anticíclotômica.

   • Caso Definido (Teorema B): Relaciona o comprimento do grupo de Selmer com a ordem de anulação da função $L$ complexa $L(E/K, \chi, 1)$.
   • Caso Indefinido (Teorema C): Relaciona o comprimento do grupo de Shafarevich–Tate com a derivada $L'(E/K, \chi, 1)$ e um termo regulador.
     Estas fórmulas são válidas com igualdade nos casos não excepcionais.

3. Refinamento do Procedimento Indutivo:
   O artigo refina o argumento indutivo de Bertolini–Darmon [BD05] para lidar com o caso supersingular de forma uniforme. Isso inclui uma análise detalhada dos pontos $\varepsilon$-locais e da estrutura dos grupos de Selmer no cenário supersingular inerte, incorporando a prova da conjectura de Rubin por Burungale–Kobayashi–Ota [BKO21].

Significância e Alegações
O artigo afirma fornecer uma prova unificada das Conjecturas Principais anticíclotômicas para curvas elípticas, cobrindo tanto primos ordinários quanto supersingulares, e ambos os cenários definido e indefinido, sob um conjunto padrão de hipóteses (por exemplo, $p \geq 5$, surjetividade da representação mod $p$ e condições específicas sobre o condutor).

• Unificação: Os autores enfatizam que a DAMC e a IAMC são derivadas do mesmo processo indutivo baseado em sistemas de Euler bipartidos, em vez de serem tratadas como problemas separados.
• Extensão Supersingular: O trabalho estende a teoria das Conjecturas Principais anticíclotômicas para o caso supersingular, um cenário que anteriormente havia sido tratado parcialmente (por exemplo, por Darmon–Iovita [DI08] para $p$ dividido) ou que exigia técnicas diferentes.
• Modéstia sobre o Caso Excepcional: Os autores declaram explicitamente que, no caso supersingular "excepcional" ( $p$ inerte, $\varepsilon = +$), a presença de um zero local limita o resultado a uma divisibilidade. Eles não alegam ter resolvido a conjectura completa neste subcaso específico, observando que este requer investigação adicional e potencialmente novas ideias.
• Dependência de Teoremas Profundos: A prova da não-anulação de valores de $L$ módulo $p$ (crucial para o passo indutivo no caso definido) depende do teorema de conversão $p$ de Skinner–Urban [SU14] e resultados relacionados de Fouquet–Wan.

O artigo não propõe novas aplicações experimentais ou direções futuras além da resolução matemática das conjecturas e da derivação das fórmulas BSD. Sua principal contribuição é o estabelecimento rigoroso do elo entre as funções $L$ $p$-ádicas analíticas e os grupos de Selmer algébricos no cenário anticíclotômico.