The eigencurve at crystalline points with scalar Frobenius and Gross-Stark regulators

Abstract

A complete description of the local geometry of the $p$-adic eigencurve at $p$-irregular classical weight one cusp forms is given in the cases where the usual $R=T$ methods fall short. As an application, we show that the ordinary $p$-adic \'etale cohomology group attached to the tower of elliptic modular curves $X_1(Np^r)$ is not free over the Hecke algebra, when localized at a $p$-irregular weight one point.