Table of Contents
Fetching ...

On the Iwasawa Invariants of Mazur--Tate elements of elliptic curves at additive primes

Antonio Lei, Robert Pollack, Naman Pratap

TL;DR

This work investigates how the Iwasawa invariants $\mu$ and $\lambda$ of Mazur--Tate elements behave at primes of additive reduction for elliptic curves over $\mathbb{Q}$, linking their growth to the reduction type via potential semistability and twists to good reduction. It delivers explicit formulae for $\lambda(\theta_{n,i}(E))$ in several additive scenarios, notably showing $\lambda$ grows like $\frac{p-1}{2}p^{n-1}$ plus a term coming from a quadratic twist when $E$ attains good ordinary or multiplicative reduction over a quadratic field $F$, and a BSD-guided formula in the potentially good ordinary case. The paper also discusses potential supersingular cases, connecting plus/minus $p$-adic $L$-functions to conjectural growth patterns, provides CM-curve and modular-form generalizations, and includes numerical evidence to support these conjectures. Overall, the results illuminate how period ratios, twists, and BSD-type conjectures shape the cyclotomic growth of Mazur--Tate invariants, contributing to a coherent framework tying $p$-adic $L$-functions, Selmer groups, and Iwasawa theory at additive primes.

Abstract

We investigate the $λ$-invariants of Mazur--Tate elements of elliptic curves defined over the field of rational numbers at primes of additive reduction. We explain their growth and how these invariants relate to other better understood invariants depending on the potential reduction type. We give examples and a conjecture for the additive potentially supersingular case, supported by computational data from Sage in this setting. Further, we extend our results to $λ$-invariants of Mazur--Tate elements of cuspidal Hecke eigenforms associated with potentially ordinary $p$-adic Galois representations.

On the Iwasawa Invariants of Mazur--Tate elements of elliptic curves at additive primes

TL;DR

This work investigates how the Iwasawa invariants and of Mazur--Tate elements behave at primes of additive reduction for elliptic curves over , linking their growth to the reduction type via potential semistability and twists to good reduction. It delivers explicit formulae for in several additive scenarios, notably showing grows like plus a term coming from a quadratic twist when attains good ordinary or multiplicative reduction over a quadratic field , and a BSD-guided formula in the potentially good ordinary case. The paper also discusses potential supersingular cases, connecting plus/minus -adic -functions to conjectural growth patterns, provides CM-curve and modular-form generalizations, and includes numerical evidence to support these conjectures. Overall, the results illuminate how period ratios, twists, and BSD-type conjectures shape the cyclotomic growth of Mazur--Tate invariants, contributing to a coherent framework tying -adic -functions, Selmer groups, and Iwasawa theory at additive primes.

Abstract

We investigate the -invariants of Mazur--Tate elements of elliptic curves defined over the field of rational numbers at primes of additive reduction. We explain their growth and how these invariants relate to other better understood invariants depending on the potential reduction type. We give examples and a conjecture for the additive potentially supersingular case, supported by computational data from Sage in this setting. Further, we extend our results to -invariants of Mazur--Tate elements of cuspidal Hecke eigenforms associated with potentially ordinary -adic Galois representations.

Paper Structure

This paper contains 24 sections, 27 theorems, 98 equations, 1 table.

Key Result

Theorem 1.1

Let $E/\mathbb{Q}$ be an elliptic curve with good ordinary reduction at $p$ such that $E[p]$ is irreducible as a Galois module. If $\mu(E) = 0$, then for $n \gg 0$.

Theorems & Definitions (71)

  • Theorem 1.1
  • proof
  • Theorem 1.2
  • proof
  • Remark 1.3
  • Theorem A: Theorem \ref{['quad']}
  • Remark 1.4
  • Theorem B: Theorem \ref{['thm: bsd']}
  • Theorem C: Theorem \ref{['thm: modforms twist']}
  • Remark 1.5
  • ...and 61 more