Congruences between modular forms and related modules

From MaRDI portal



Abstract: We fix ell a prime and let M be an integer such that ellot|M; let finS2(Gamma1(Mell2)) be a newform supercuspidal of fixed type related to the nebentypus, at ell and special at a finite set of primes. Let TTpsi be the local quaternionic Hecke algebra associated to f. The algebra TTpsi acts on a module mathcalMpsif coming from the cohomology of a Shimura curve. Applying the Taylor-Wiles criterion and a recent Savitt's theorem, TTpsi is the universal deformation ring of a global Galois deformation problem associated to orhof. Moreover mathcalMpsif is free of rank 2 over TTpsi. If f occurs at minimal level, by a generalization of a Conrad, Diamond and Taylor's result and by the classical Ihara's lemma, we prove a theorem of raising the level and a result about congruence ideals. The extension of this results to the non minimal case is an open problem.


The author extends some of the results of \textit{L. Terracini} [Compos. Math. 137, No. 1, 23--47 (2003; Zbl 1028.11036)] about congruence ideals to the case of modular forms with non-trivial nebentypus. The proof uses the Taylor-Wiles criterion in the version of Diamond and Fujiwara, and some (generalizations of) results from [\textit{B. Conrad}, \textit{F. Diamond} and \textit{R. Taylor} [J. Am. Math. Soc. 12, No. 2, 521--567 (1999; Zbl 0923.11085)].











This page was built for publication: Congruences between modular forms and related modules

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