Generators and relations for the shallow mod 2 Hecke algebra in levels \Gamma_{0}(3) and \Gamma_{0}(5)

arXiv1703.04193MaRDI QIDQ6284248FDOQ6284248

Authors: Paul Monsky 

Publication date: 12 March 2017

Abstract: Let $M(mathitodd)subsetZ/2[[x]]$ be the space of odd mod~2 modular forms of level $Gamm{a}_0(3)$. It is known that the formal Hecke operators $T_p:Z/2[[x]]ightarrowZ/2[[x]]$, $p$ an odd prime other than $3$, stabilize $M(mathitodd)$ and act locally nilpotently on it. So $M(mathitodd)$ is an $mathcalO=Z/2[[t_5,t_7,t_{11},t_{13}]]$-module with $t_p$ acting by $T_p$, $pin5,7,11,13$. We show: (1) Each $T_p:M(mathitodd)ightarrowM(mathitodd)$, $pe3$, is multiplication by some $u$ in the maximal ideal, $m$, of $mathcalO$. (2) The kernel, $I$, of the action of $mathcalO$ on $M(mathitodd)$ is $(A^2,AC,BC)$ where $A,B,C$ have leading forms $t_5+t_7+t_{13},,t_7,,t_{11}$. We prove analogous results in level $Gamm{a}_0(5)$. Now $mathcalO$ is $Z/2[[t_3,t_7,t_{11},t_{13}]]$, and the leading forms of $A,B,C$ are $t_3+t_7+t_{11},,t_7,,t_{13}$. Let $mathitHE$, "the shallow mod~2 Hecke algebra (of level $Gamm{a}_0(3)$ or $Gamm{a}_0(5)$)" be $mathcalO/I$. (1) and (2) above show that $mathitHE$ is a 1 variable power series ring over the 1-dimensional local ring $Z/2[[A,B,C]]/(A^2,AC,BC)$. For another approach to all these results, based on deformation theory, see Deo and Medvedovsky, "Explicit old components of mod-2 Hecke algebras with trivial $$."

This page was built for publication: Generators and relations for the shallow mod 2 Hecke algebra in levels $\Gamma_{0}(3)$ and $\Gamma_{0}(5)$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6284248)