A new perspective on the rank of Mazur's Eisenstein Hecke algebra

TL;DR

This paper investigates the rank of Mazur's Eisenstein Hecke algebra for primes N and p, connecting it to the vanishing of a zeta element and analyzing cases where the rank is 2, 3, or higher.

Contribution

It provides a uniform approach to understanding the rank of the Eisenstein Hecke algebra by examining level N^2 and relates the rank to special values of L-functions, extending prior results.

Findings

For ranks 2 and 3, the rank-1 equals the order of vanishing of a zeta element.

The equality between rank and vanishing order can fail for rank ≥ 4.

When the rank-1 or vanishing order is 3, detailed Galois orbit information is obtained.

Abstract

Let $N, p \geq 5$ be primes such that $N \equiv 1 \bmod p$. We study the rank $r$ of the Hecke algebra that parametrizes modular forms of weight 2 and level $N$ that are Eisenstein modulo $p$. When $r$ is $2$ or $3$, we prove that $r-1$ equals the order of vanishing of the mod-$p$ reduction of a zeta element that interpolates Dirichlet $L$-values at $-1$, thereby recovering results of Merel and Lecouturier. This equality can fail in some cases when $r \geq 4$, and we provide a heuristic explanation of this failure. Our approach handles all of these cases uniformly by studying the analogous Hecke algebra in level $N^2$. When exactly one of $r-1$ or the order of vanishing equals $3$, we provide precise information about Galois orbits of cuspidal newforms in level $N^2$ that are Eisenstein modulo $p$.