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: | IMJ-PRG |

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{ .}$$