A bound on the $μ$-invariants of supersingular elliptic curves

Rylan Gajek-Leonard
2024-09-27
Abstract:Let $E/\mathbb{Q}$ be an elliptic curve and let $p$ be a prime of good supersingular reduction. Attached to $E$ are pairs of Iwasawa invariants $\mu_p^\pm$ and $\lambda_p^\pm$ which encode arithmetic properties of $E$ along the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$. A well-known conjecture of B. Perrin-Riou and R. Pollack asserts that $\mu_p^\pm=0$. We provide support for this conjecture by proving that for all but finitely many primes, if $\lambda_p^\pm =0$ then $\mu_p^\pm$ is at most 1 or 2, and if $\lambda_p^\pm =1$ then $\mu_p^\pm$ is at most 3 or $p+1+\lceil \frac{p}{\log p}\rceil$, depending on sign. As a corollary, we show that if $E$ has rank 0 then $\mu_p^-\leq 1$ and $\mu_p^+\leq 2$ hold on density 1 set of good supersingular primes.
Number Theory
What problem does this paper attempt to address?