PreprintCC BY 4.0arXiv
Computing the Iwasawa μ-Invariants for Elliptic Curves over ℤ2-Extensions
Abstract
Let E be an elliptic curve defined over rational numbers. Further assume E has good ordinary reduction at p=2 and E[4] is reducible as a GQ-representation. In this paper, we offer sufficient and necessary computational criteria for the algebraic Iwasawa μ-invariant over the cyclotomic ℤ2-extension of rational number to be $0$, $1$ or ≥ 2. We also show that elliptic curves with isomorphic mod-$4$ representations have algebraic μ-invariant equal to $0$ if one of the curves does.
Related
- On the Iwasawa invariants of admissible quadratic twists of elliptic curves at ordinary Eisenstein primes
- Iwasawa invariants of sharp/flat $2$-adic L-functions for quadratic twists of elliptic curves
- Iwasawa theory of CM elliptic curves at potentially supersingular primes
- Canonical extensions of ruled surfaces over elliptic curves
- Torsion groups of rational elliptic curves over ℤp-extensions of quadratic fields: the p≤ 5 case
BibTeX
@misc{lin2026computing,
title = {{Computing the Iwasawa $μ$-Invariants for Elliptic Curves over $\mathbbZ_2$-Extensions}},
author = {Zichao Lin and Mulun Yin},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.31532},
eprint = {2609.31532},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.31532},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Computing the Iwasawa μ-Invariants for Elliptic Curves over ℤ_2-Extensions
AU - Zichao Lin
AU - Mulun Yin
PY - 2026
DA - 2026/09/25
PB - arXiv
DO - 10.48550/arxiv.2609.31532
UR - https://arxiv.org/abs/2609.31532
AB - Let E be an elliptic curve defined over rational numbers. Further assume E has good ordinary reduction at p=2 and E[4] is reducible as a G_Q-representation. In this paper, we offer sufficient and necessary computational criteria for the algebraic Iwasawa μ-invariant over the cyclotomic ℤ_2-extension of rational number to be $0$, $1$ or ≥ 2. We also show that elliptic curves with isomorphic mod-$4$ representations have algebraic μ-invariant equal to $0$ if one of the curves does.
ER -