On refined nonvanishing conjectures by Kurihara and Kolyvagin

Resumo Técnico: Sobre as Conjecturas de Não-Anulação Refinadas de Kurihara e Kolyvagin

Enunciado do Problema
Este artigo aborda o refinamento das conjecturas de não-anulação para curvas elípticas $E/\mathbb{Q}$ em um primo ímpar $p$. Especificamente, ele estende os resultados de [BCGS26] relativos a duas grandes conjecturas:

1. Conjecturas de Kurihara: Relacionam a estrutura do grupo de Selmer $p$-primário a quantidades analíticas $\delta_n$ derivadas de símbolos modulares. O refinamento (Conjectura B) prevê uma fórmula exata para a valoração $p$-ádica da ordem do grupo de Tate–Shafarevich (ou sua variante de Bloch–Kato) em termos de números de Tamagawa e da "ordem de anulação" da coleção $\{\delta_n\}$.
2. Conjecturas de Kolyvagin: Relacionam a não-anulação de sistemas de Kolyvagin derivados de pontos de Heegner à estrutura do grupo de Selmer. A versão refinada (Conjectura C, por W. Zhang) prevê uma fórmula exata para a valoração $p$-ádica da ordem do grupo de Tate–Shafarevich em termos de números de Tamagawa e da "ordem de anulação" do sistema de Kolyvagin.

A limitação primária do trabalho anterior (especificamente [BCGS26]) era a restrição sobre o tipo de redução de $E$ em $p$ (exigindo boa redução ordinária ou condições supersingulares específicas) e o comportamento de decomposição de $p$ no campo quadrático imaginário subjacente $K$ (exigindo que $p$ se decomponha). Este artigo visa remover essas restrições, permitindo que $E$ tenha qualquer tipo de redução em $p$ para as conjecturas de Kurihara, e permitindo que $p$ seja inerte em $K$ para as conjecturas de Kolyvagin.

Metodologia
As provas dos teoremas principais (Teorema A e Teorema C) seguem uma estratégia de descendência semelhante a [BCGS26], utilizando a relação entre sistemas de Euler e grupos de Selmer. No entanto, o artigo introduz uma inovação metodológica significativa na computação do índice de divisibilidade $p$ de classes de cohomologia especializadas.

• Reformulação via Determinantes: Em vez de depender de funções $L$ $p$-ádicas e teoremas de controle no estilo de [Gre99], os autores utilizam uma reformulação da Conjectura Principal de Iwasawa em termos de determinantes de complexos de Selmer, conforme introduzido em [KS24].
• Sistemas de Kolyvagin $\Lambda$-ádicos: Os autores estudam sistemas de Kolyvagin $\Lambda$-ádicos derivados do sistema de Euler de Kato (para Kurihara) e de pontos de Heegner (para Kolyvagin), onde $\Lambda$ é a álgebra de Iwasawa da extensão $\mathbb{Z}_p$-cíclica (ou anticíclica).
• Especialização e Descendência: Eles consideram a especialização desses sistemas em caracteres não triviais $\alpha$ próximos do caráter trivial. Ao combinar:
  1. Uma fórmula exata para o índice de divisibilidade da classe especializada derivada da Conjectura Principal (envolvendo fatores de Tamagawa do dual de Cartier).
  2. Uma fórmula exata para o comprimento do grupo de Selmer estrito derivada do teorema de estrutura de Mazur–Rubin.
     Os autores estabelecem um elo entre os invariantes analíticos (números de Tamagawa) e os invariantes algébricos (divisibilidade do sistema de Kolyvagin).
• Rigidez: Um componente técnico fundamental é um argumento de "rigidez" (Proposição 2.1.5 e seu análogo) mostrando que a ordem de anulação do sistema é estável sob a restrição a subconjuntos de primos, permitindo a comparação entre o sistema $\Lambda$-ádico e o sistema clássico.

Principais Contribuições

1. Generalização de Tipos de Redução: O artigo prova a conjectura refinada de Kurihara para curvas elípticas com qualquer tipo de redução em $p$ (boa redução ordinária, boa redução supersingular ou redução má), desde que a surjetividade da representação galoisiana mod $p$ e a não-divisibilidade da constante de Manin por $p$ sejam satisfeitas.
2. Primos Inertes no Contexto de Kolyvagin: O artigo prova a conjectura refinada de Kolyvagin para o caso onde $p$ é inerte no campo quadrático imaginário $K$, um caso anteriormente inacessível via os métodos de funções $L$ $p$-ádicas de Bertolini–Darmon–Prasanna usados em [BCGS26].
3. Novo Framework de Descendência: Eles estabelecem um framework para computar índices de divisibilidade usando determinantes de complexos de Selmer, contornando a necessidade de funções $L$ $p$-ádicas explícitas no passo de descendência. Esta abordagem permite o tratamento de casos onde as funções $L$ $p$-ádicas ainda não estão totalmente desenvolvidas ou onde os teoremas de controle padrão são difíceis de aplicar.

Principais Resultados

• Teorema A (Kurihara): Para uma curva elíptica $E/\mathbb{Q}$ e um primo $p > 3$ satisfazendo as condições de surjetividade e da constante de Manin, as seguintes afirmações são equivalentes:
  (i) A conjectura refinada de Kurihara é válida (ou seja, $M_\infty(\delta) = \text{ord}_p(\text{Tam}_E)$).
  (ii) A Conjectura Principal de Iwasawa para a extensão $\mathbb{Z}_p$-cíclica (formulada em termos de determinantes de complexos aritméticos) é válida.
  Corolário: Se $p \nmid \text{Tam}_E$, a não-anulação de algum $\bar{\delta}_n$ é equivalente à Conjectura Principal de Iwasawa.
  Teorema B: Consequentemente, a conjectura refinada de Kurihara é provada para $p$ de boa redução ordinária, e para $p$ de boa redução supersingular com condutor livre de quadrados.

• Teorema C (Kolyvagin): Para uma curva elíptica $E/\mathbb{Q}$ e um primo $p > 3$ satisfazendo as condições de surjetividade e da constante de Manin, assumindo que $E$ possui boa redução ordinária em $p$ e $p$ é não ramificado em $K$, as seguintes afirmações são equivalentes:
  (i) A conjectura refinada de Kolyvagin é válida (ou seja, $M_\infty(\kappa^{\text{Heeg}}) = \text{ord}_p(\text{Tam}_E)$).
  (ii) A Conjectura Principal de Iwasawa anticíclica para pontos de Heegner (formulada em termos de determinantes) é válida.
  Corolário: Se $p$ se decompõe em $K$, a Conjectura C é válida. O resultado estende-se ao caso inerte sob a suposição da Conjectura Principal.

Significância e Alegações
Os autores alegam que seus resultados fornecem uma prova da conjectura de Kurihara e seu refinamento em muitos novos casos, especificamente removendo as hipóteses de "não-anomalia" e "boa redução" que anteriormente limitavam o escopo desses teoremas. Para a conjectura de Kolyvagin, o artigo fornece a primeira prova da conjectura refinada no caso onde $p$ é inerte em $K$, um cenário onde abordagens anteriores baseadas em funções $L$ $p$-ádicas de Bertolini–Darmon–Prasanna não eram aplicáveis.

O artigo enfatiza que a inovação central é o "novo enfoque para os cálculos de descendência" baseado na formulação de determinante da Conjectura Principal de Iwasawa. Esta abordagem permite que os autores controlem a divisibilidade $p$ de elementos especiais em cohomologia galoisiana sem depender das propriedades analíticas específicas de funções $L$ $p$-ádicas, ampliando assim a aplicabilidade do método de descendência para primos inertes e vários tipos de redução. Os resultados são apresentados como condicionais à validade das respectivas Conjecturas Principais de Iwasawa, que são conhecidas para os casos ordinários e certos casos supersingulares devido ao trabalho prévio de Wan, BCS, CLW e BSTW.