Modularity theorems for Eisenstein congruences in prime-power level

Abstract

Let $p,N\ge 5$ be primes such that $N\equiv 1\mathrm{mod}p$. We prove modularity theorems at levels $N$ and $N^2$, showing that suitable Eisenstein localizations of the weight-$2$ $p$-adic Hecke algebra at these levels are isomorphic to certain natural quotients of a universal pseudodeformation ring. This universal ring parametrizes pseudorepresentations that are residually Eisenstein, unramified outside $Np$ and finite-flat at $p$, and satisfy appropriate conditions at $N$ depending on the level.

20 pages