8a9a253b6a918070.tex
1: \begin{abstract}
2: Following a suggestion of Peter Scholze, we construct an action of $\widehat{\GG_m}$ on the Katz moduli problem, a profinite-\'{e}tale cover of the ordinary locus of the $p$-adic modular curve whose ring of functions is Serre's space of $p$-adic modular functions. This action is a local, $p$-adic analog of a global, archimedean action of the circle group $S^1$ on the lattice-unstable locus of the modular curve over $\bbC$. To construct the $\wh{\bbG_m}$-action, we descend a moduli-theoretic action of a larger group on the (big) ordinary Igusa variety of Caraiani-Scholze. We compute the action explicitly on local expansions and find it is given by a simple multiplication of the cuspidal and Serre-Tate coordinates $q$; along the way we also prove a natural generalization of Dwork's equation $\tau=\log q$ for extensions of $\bbQ_p/\bbZ_p$ by $\mu_{p^\infty}$ valid over a non-Artinian base. Finally, we give a direct argument (without appealing to local expansions) to show that the action of $\wh{\bbG_m}$ integrates the differential operator $\theta$ coming from the Gauss-Manin connection and unit root splitting, and explain an application to  Eisenstein measures and $p$-adic $L$-functions. 
3: \end{abstract}
4: