Table of Contents
Fetching ...

Selmer stability for elliptic curves in Galois $\ell$-extensions

Siddhi Pathak, Anwesh Ray

TL;DR

This work proves that Selmer stability for an elliptic curve $E/\mathbb{Q}$ persists along many finite Galois extensions with prescribed $\ell$-group G, under the assumptions $Sel_{\ell}(E/\mathbb{Q})=0$ and surjectivity of the mod-$\ell$ Galois representation. The authors combine embedding-problem techniques (via Reichardt–Scholz), Galois cohomology, and Chebotarev density with analytic methods (Wiles’ formula and Delange Tauberian theorems) to construct towers where $Sel_{\ell}(E/\cdot)$ vanishes and to count such fields by discriminant. They obtain a sharp asymptotic lower bound $M(G,E;X) \gg X^{1/(\ell^{n-1}(\ell-1))}(\log X)^{\delta-1}$ with $\delta=(\ell^2-\ell-1)/(\ell^{n-1}(\ell^2-1))$, showing the phenomenon aligns with Malle-type counts up to a logarithmic factor. In the case $\ell=5$, the results are compatible with positive-density families of curves for which $Sel_{\ell}(E/\mathbb{Q})=0$ and surjectivity holds, underscoring the generality and significance of Selmer stability in arithmetic statistics.

Abstract

We study the behavior of Selmer groups of an elliptic curve $E/\mathbb{Q}$ in finite Galois extensions with prescribed Galois group. Fix a prime $\ell \geq 5$, a finite group $G$ with $\#G = \ell^n$, and an elliptic curve $E/\mathbb{Q}$ with $Sel_\ell(E/\mathbb{Q}) = 0$ and surjective mod-$\ell$ Galois representation. We show that there exist infinitely many Galois extensions $F/\mathbb{Q}$ with Galois group $Gal(F/\mathbb{Q}) \simeq G$ for which the $\ell$-Selmer group $Sel_\ell(E/F)$ also vanishes. We obtain an asymptotic lower bound for the number $M(G, E; X)$ of such fields $F$ with absolute discriminant $|Δ_F|\leq X$, proving that there is an explicit constant $δ>0$ such that $M(G, E; X) \gg X^{\frac{1}{\ell^{n-1}(\ell - 1)}} (\log X)^{δ- 1}$. The asymptotic for $M(G, E; X)$ matches the conjectural count for all $G$-extensions $F/\mathbb{Q}$ for which $|Δ_F|\leq X$, up to a power of $\log X$. This demonstrates that Selmer stability is not a rare phenomenon.

Selmer stability for elliptic curves in Galois $\ell$-extensions

TL;DR

This work proves that Selmer stability for an elliptic curve persists along many finite Galois extensions with prescribed -group G, under the assumptions and surjectivity of the mod- Galois representation. The authors combine embedding-problem techniques (via Reichardt–Scholz), Galois cohomology, and Chebotarev density with analytic methods (Wiles’ formula and Delange Tauberian theorems) to construct towers where vanishes and to count such fields by discriminant. They obtain a sharp asymptotic lower bound with , showing the phenomenon aligns with Malle-type counts up to a logarithmic factor. In the case , the results are compatible with positive-density families of curves for which and surjectivity holds, underscoring the generality and significance of Selmer stability in arithmetic statistics.

Abstract

We study the behavior of Selmer groups of an elliptic curve in finite Galois extensions with prescribed Galois group. Fix a prime , a finite group with , and an elliptic curve with and surjective mod- Galois representation. We show that there exist infinitely many Galois extensions with Galois group for which the -Selmer group also vanishes. We obtain an asymptotic lower bound for the number of such fields with absolute discriminant , proving that there is an explicit constant such that . The asymptotic for matches the conjectural count for all -extensions for which , up to a power of . This demonstrates that Selmer stability is not a rare phenomenon.

Paper Structure

This paper contains 17 sections, 25 theorems, 98 equations.

Key Result

Theorem 1.1

Let $\ell \geq 5$ be a prime number, and let $E/\mathbb{Q}$ be an elliptic curve with $\operatorname{Sel}_\ell(E/\mathbb{Q}) = 0$. Assume further that the representation $\rho_{E,\ell}$ is surjective. Then where $\delta := \frac{\ell^2 - \ell - 1}{\ell^{n-1}(\ell^2 - 1)}$.

Theorems & Definitions (57)

  • Theorem 1.1
  • Proposition 2.1
  • proof
  • Definition 2.2
  • Theorem 2.3
  • Definition 2.4
  • Proposition 2.5
  • proof
  • Proposition 2.6
  • proof
  • ...and 47 more