# Higher Eisenstein elements in weight 2 and prime level

 Workshop on Motives, Galois Representations and Cohomology Around the Langlands Program Topic: Higher Eisenstein elements in weight 2 and prime level Speaker: Emmanuel Lecouturier Affiliation: Institut de Mathématiques de Jussieu-Paris Rive Gauche Date: Thursday, November 9 Time/Room: 11:30am - 12:30pm/S-101 Video Link: https://video.ias.edu/MotivesGaloisRepsandCohomology/2017/1109-EmmanuelLecouturier

Abstract: In his classical work, Mazur considers the Eisenstein ideal $I$ of the Hecke algebra $\mathbb{T}$ acting on cusp forms of weight $2$ and level $\Gamma_0(N)$ where $N$ is prime. When $p$ is an Eisenstein prime, i.e. $p$ divides the numerator of $\frac{N-1}{12}$, denote by $\mathbf{T}$ the completion of $\mathbb{T}$ at the maximal ideal generated by $I$ and $p$. This is a $\mathbf{Z}_p$-algebra of finite rank $g_p \geq 1$ as a $\mathbf{Z}_p$-module. Mazur asked what can be said about $g_p$. Merel was the first to study $g_p$. Assume for simplicity that $p \geq 5$. Let $\log : (\mathbf{Z}/N\mathbf{Z})^{\times} \rightarrow \mathbf{F}_p$ be a surjective morphism. Then Merel proved that $g_p \geq 2$ if and only if $\sum_{k=1}^{\frac{N-1}{2}} k \cdot \log(k) \equiv 0 \text{ (modulo } p\text{).}$ We prove that we have $g_p \geq 3$ if and only if $\sum_{k=1}^{\frac{N-1}{2}} k \cdot \log(k) \equiv \sum_{k=1}^{\frac{N-1}{2}} k \cdot \log(k)^2 \equiv 0 \text{ (modulo } p\text{).}$ We also give a more complicated criterion to know when $g_p \geq 4$. Moreover, we prove higher Eichler formulas. More precisely, let $H(X) = \sum_{k=0}^{\frac{N-1}{2}} {\frac{N-1}{2} \choose k}^2 \cdot X^k \in \mathbf{F}_N[X]$ be the classical Hasse polynomial. It is well-known that the roots of $H$ are simple and in $\mathbf{F}_{N^2}^{\times}$. Let $L$ be this set of roots. We prove that $\sum_{\lambda \in L} \log(H'(\lambda)) \equiv 4\cdot \sum_{k=1}^{\frac{N-1}{2}} k\cdot \log(k) \text{ (modulo }p \text{)}$ and, if $g_p \geq 2$, $\sum_{\lambda \in L} \log(H'(\lambda))^2 \equiv 4\cdot \sum_{k=1}^{\frac{N-1}{2}} k\cdot \log(k)^2\text{ (modulo }p \text{)} \text{ .}$