A Heuristic approach to the Iwasawa theory of elliptic curves

Declaração do Problema

O artigo aborda a conjectura $\mu = 0$ de Greenberg no âmbito da teoria de Iwasawa de curvas elípticas. Seja $E/\mathbb{Q}$ uma curva elíptica e $p$ um primo ímpar onde $E$ possui redução ordinária boa. A conjectura postula que o grupo de Selmer $p$-primário $S_{p^\infty}(E/\mathbb{Q}^{\text{cyc}})$ sobre a extensão $\mathbb{Z}_p$-ciclotômica é cofinitamente gerado como um módulo $\mathbb{Z}_p$. Esta condição é equivalente ao desaparecimento do invariante $\mu$ do grupo de Selmer. Embora provada para extensões abelianas de $\mathbb{Q}$ por Ferrero e Washington, a conjectura permanece aberta para curvas elípticas.

Os autores investigam a conjectura a partir de uma perspectiva estatística, especificamente testando a Conjectura 1.2, que afirma que, para um primo ímpar fixo $p$, a "maioria" das curvas elípticas com redução ordinária boa em $p$ satisfaz $\mu_p(E) = 0$. O desafio central é fornecer evidências heurísticas para este desaparecimento médio, estendendo os quadros probabilísticos estabelecidos por Cohen-Lenstra para grupos de classes e por Poonen-Rains para grupos de Selmer.

Metodologia

Os autores estendem as heurísticas de Poonen e Rains [PR12], que modelaram a distribuição dos grupos de Selmer $p$-Selmer via interseção de subespaços isotrópicos maximais em um espaço com produto interno. A metodologia prossegue através dos seguintes passos:

1. Redução a Módulos Residuais: O desaparecimento do invariante $\mu$ para o grupo de Selmer completo está ligado à finitude do grupo de Selmer residual de Greenberg, $\text{Sel}^{Gr}(E[p]/\mathbb{Q}^{\text{cyc}})$. Este grupo é analisado via o quociente $\Pi_E := \text{Sel}^{Gr}(E[p]/\mathbb{Q}^{\text{cyc}}) / R(E[p]/\mathbb{Q}^{\text{cyc}})$, onde $R$ denota o grupo de Selmer fino.
2. Interpretação Geométrica: Os autores definem um espaço $V(E)$ equipado com um emparelhamento bilinear, simétrico e não degenerado sobre o anel $\Omega = \mathbb{F}_p[[T]]$. Eles identificam $\Pi_E$ com a interseção de dois $\Omega$-submódulos específicos, $V_1(E)$ e $V_2(E)$, dentro de $V(E)$.
   • $V_1(E)$ é a imagem do mapa de restrição da cohomologia global, mostrado ser um submódulo isotrópico maximal.
   • $V_2(E)$ é definido por condições locais em $p$ (relacionadas ao grupo formal), mostrado ser isomorfo a $\Omega^\vee$ (o dual de Pontryagin de $\Omega$) mais uma parte de torção finita.
3. Projeção para Submódulos Cíclicos: O problema da finitude de $V_1(E) \cap V_2(E)$ é reduzido ao estudo da interseção de dois submódulos $M_1$ e $M_2$ de $(\Omega^\vee)^2$, onde $M_1, M_2 \cong \Omega^\vee$. Isso é ulteriormente dualizado ao estudo da interseção de dois submódulos cíclicos maximais $N_1, N_2$ de $\Omega^2$.
4. Modelo Probabilístico: Os autores constroem um espaço de probabilidade $\mathcal{M}$ de pares de submódulos cíclicos maximais $(N_1, N_2)$ em $\Omega^2$. Este espaço é definido como o limite inverso de espaços $\mathcal{M}_n$ de pares de submódulos maximais em $\Omega_n^2 = (\Omega/(T^n))^2$, equipados com medidas de probabilidade uniformes $P_n$.
5. Hipótese Heurística: A hipótese heurística central (Heurística 1.3) assume que, à medida que as curvas elípticas variam sobre aquelas com redução ordinária boa em $p$, os pares associados $(M_1, M_2)$ estão equidistribuídos em relação à medida de probabilidade natural $P$ em $\mathcal{M}$.

Contribuições e Resultados Principais

• Quadro Teórico: O artigo estabelece um vínculo preciso entre a aritmética do invariante $\mu$ e a interseção geométrica de submódulos em um espaço com produto interno específico sobre a álgebra de Iwasawa módulo $p$.
• Cálculo Probabilístico: Os autores provam o Teorema 4.8, que afirma que, para um par de submódulos cíclicos maximais $(N_1, N_2)$ escolhido uniformemente ao acaso do espaço $\mathcal{M}$, a probabilidade de sua interseção ser trivial (ou seja, $N_1 \cap N_2 = 0$) é 1.
  • A prova baseia-se em mostrar que $N_1 \cap N_2 \neq 0$ implica $N_1 = N_2$ (Lema 4.6).
  • A probabilidade de que dois submódulos maximais escolhidos aleatoriamente no quociente finito $\Omega_n^2$ sejam idênticos é calculada como $1/((p+1)p^{n-1})$, o que tende a 0 quando $n \to \infty$.
• Teorema Principal: Sob a suposição da Heurística 1.3 e da Conjectura A de Coates e Sujatha (que prevê o desaparecimento do invariante $\mu$ para o grupo de Selmer fino), os autores provam o Teorema A:
  $$\lim_{x \to \infty} \frac{\#S_p(x)}{\#C(x)} = 0$$
  onde $C(x)$ é o conjunto de modelos de Weierstrass mínimos de altura $\le x$, e $S_p(x)$ é o subconjunto de curvas com redução ordinária boa em $p$ para as quais o invariante $\mu$ do grupo de Selmer é não nulo.

Significado e Afirmações

O artigo afirma fornecer evidências heurísticas adicionais para a conjectura de Greenberg no sentido "médio". Ao demonstrar que o evento do invariante $\mu$ ser não nulo corresponde a um evento de probabilidade zero no modelo aleatório construído, os autores apoiam a conjectura de que $\mu_p(E) = 0$ para quase todas as curvas elípticas com redução ordinária boa em $p$.

Os autores afirmam explicitamente que seus resultados sugerem uma "validade mais ampla da conjectura sobre o desaparecimento médio do invariante $\mu$". Eles posicionam este trabalho como um enriquecimento da interação entre estatística aritmética e teoria de Iwasawa, notando que tais investigações permanecem um "terreno fértil para pesquisas futuras". O artigo não afirma provar a conjectura para qualquer curva específica ou resolver o caso geral sem a suposição heurística; em vez disso, oferece uma justificação estatística para a verdade da conjectura em média, consistente com a abordagem de Poonen e Rains.