A Heuristic approach to the Iwasawa theory of elliptic curves

Enunciado del Problema

El artículo aborda la conjetura $\mu = 0$ de Greenberg dentro de la teoría de Iwasawa de curvas elípticas. Sea $E/\mathbb{Q}$ una curva elíptica y $p$ un primo impar donde $E$ tiene reducción ordinaria buena. La conjetura postula que el grupo de Selmer $p$-primario $S_{p^\infty}(E/\mathbb{Q}^{\text{cyc}})$ sobre la extensión $\mathbb{Z}_p$-ciclotómica es cofinitamente generado como un módulo $\mathbb{Z}_p$. Esta condición es equivalente a la anulación del invariante $\mu$ del grupo de Selmer. Aunque demostrada para extensiones abelianas de $\mathbb{Q}$ por Ferrero y Washington, la conjetura permanece abierta para curvas elípticas.

Los autores investigan la conjetura desde una perspectiva estadística, específicamente probando la Conjetura 1.2, la cual afirma que para un primo impar fijo $p$, "la mayoría" de las curvas elípticas con reducción ordinaria buena en $p$ satisfacen $\mu_p(E) = 0$. El desafío central es proporcionar evidencia heurística para esta anulación promedio, extendiendo los marcos probabilísticos establecidos por Cohen-Lenstra para grupos de clases y Poonen-Rains para grupos de Selmer.

Metodología

Los autores extienden las heurísticas de Poonen y Rains [PR12], quienes modelaron la distribución de los grupos de Selmer $p$-Selmer mediante la intersección de subespacios isotrópicos maximales en un espacio con producto interno. La metodología procede a través de los siguientes pasos:

1. Reducción a Módulos Residuales: La anulación del invariante $\mu$ para el grupo de Selmer completo se vincula con la finitud del grupo de Selmer residual de Greenberg, $\text{Sel}^{Gr}(E[p]/\mathbb{Q}^{\text{cyc}})$. Este grupo se analiza mediante el cociente $\Pi_E := \text{Sel}^{Gr}(E[p]/\mathbb{Q}^{\text{cyc}}) / R(E[p]/\mathbb{Q}^{\text{cyc}})$, donde $R$ denota el grupo de Selmer fino.
2. Interpretación Geométrica: Los autores definen un espacio $V(E)$ equipado con un emparejamiento bilineal, simétrico y no degenerado sobre el anillo $\Omega = \mathbb{F}_p[[T]]$. Identifican $\Pi_E$ con la intersección de dos submódulos $\Omega$-específicos, $V_1(E)$ y $V_2(E)$, dentro de $V(E)$.
   • $V_1(E)$ es la imagen del mapa de restricción desde la cohomología global, demostrado ser un submódulo isotrópico maximal.
   • $V_2(E)$ se define mediante condiciones locales en $p$ (relacionadas con el grupo formal), demostrado ser isomorfo a $\Omega^\vee$ (el dual de Pontryagin de $\Omega$) más una parte de torsión finita.
3. Proyección a Submódulos Cíclicos: El problema de la finitud de $V_1(E) \cap V_2(E)$ se reduce al estudio de la intersección de dos submódulos $M_1$ y $M_2$ de $(\Omega^\vee)^2$, donde $M_1, M_2 \cong \Omega^\vee$. Esto se dualiza ulteriormente al estudio de la intersección de dos submódulos cíclicos maximales $N_1, N_2$ de $\Omega^2$.
4. Modelo Probabilístico: Los autores construyen un espacio de probabilidad $\mathcal{M}$ de pares de submódulos cíclicos maximales $(N_1, N_2)$ en $\Omega^2$. Este espacio se define como el límite inverso de espacios $\mathcal{M}_n$ de pares de submódulos maximales en $\Omega_n^2 = (\Omega/(T^n))^2$, equipados con medidas de probabilidad uniformes $P_n$.
5. Suposición Heurística: La heurística central (Heurística 1.3) asume que a medida que las curvas elípticas varían sobre aquellas con reducción ordinaria buena en $p$, los pares asociados $(M_1, M_2)$ están equidistribuidos con respecto a la medida de probabilidad natural $P$ en $\mathcal{M}$.

Contribuciones y Resultados Clave

• Marco Teórico: El artículo establece un vínculo preciso entre la aritmética del invariante $\mu$ y la intersección geométrica de submódulos en un espacio con producto interno específico sobre el álgebra de Iwasawa módulo $p$.
• Cálculo Probabilístico: Los autores demuestran el Teorema 4.8, el cual establece que para un par de submódulos cíclicos maximales $(N_1, N_2)$ elegido uniformemente al azar del espacio $\mathcal{M}$, la probabilidad de que su intersección sea trivial (es decir, $N_1 \cap N_2 = 0$) es 1.
  • La demostración se basa en mostrar que $N_1 \cap N_2 \neq 0$ implica $N_1 = N_2$ (Lema 4.6).
  • La probabilidad de que dos submódulos maximales elegidos al azar en el cociente finito $\Omega_n^2$ sean idénticos se calcula como $1/((p+1)p^{n-1})$, lo cual tiende a 0 cuando $n \to \infty$.
• Teorema Principal: Bajo la suposición de la Heurística 1.3 y la Conjetura A de Coates y Sujatha (la cual predice la anulación del invariante $\mu$ para el grupo de Selmer fino), los autores demuestran el Teorema A:
  $$\lim_{x \to \infty} \frac{\#S_p(x)}{\#C(x)} = 0$$
  donde $C(x)$ es el conjunto de modelos de Weierstrass mínimos de altura $\le x$, y $S_p(x)$ es el subconjunto de curvas con reducción ordinaria buena en $p$ para las cuales el invariante $\mu$ del grupo de Selmer es no nulo.

Significado y Afirmaciones

El artículo afirma proporcionar mayor evidencia heurística para la conjetura de Greenberg en el sentido "promedio". Al demostrar que el evento de que el invariante $\mu$ sea no nulo corresponde a un evento de probabilidad cero en el modelo aleatorio construido, los autores respaldan la conjetura de que $\mu_p(E) = 0$ para casi todas las curvas elípticas con reducción ordinaria buena en $p$.

Los autores declaran explícitamente que sus resultados sugieren una "validez más amplia de la conjetura sobre la anulación promedio del invariante $\mu$". Posicionan este trabajo como un enriquecimiento de la interacción entre estadística aritmética y teoría de Iwasawa, señalando que tales investigaciones siguen siendo un "terreno fértil para futuras investigaciones". El artículo no afirma demostrar la conjetura para ninguna curva específica ni resolver el caso general sin la suposición heurística; más bien, ofrece una justificación estadística para la verdad de la conjetura en promedio, consistente con el enfoque de Poonen y Rains.