Critical Lambda-adic modular forms and bi-ordinary complexes

TL;DR

This paper develops a new Hida-type theory for critical slope overconvergent modular forms, interpolating critical periods and bi-ordinary complexes over p-adic weights, with applications to Galois representations and Hecke algebras.

Contribution

It introduces a novel interpolation of critical slope forms and bi-ordinary complexes, extending classical Hida theory to critical and non-ordinary settings.

Findings

Constructed a flat b1-module of b1-adic critical slope forms.

Proved b1-b1 theorems for critical and bi-ordinary Hecke algebras.

Produced a degree-shifting Hecke action on bi-ordinary cohomology.

Abstract

We produce a flat $\Lambda$-module of $\Lambda$-adic critical slope overconvergent modular forms, producing a Hida-type theory that interpolates such forms over $p$-adically varying integer weights. This provides a Hida-theoretic explanation for an observation of Coleman that the rank of such forms is locally constant in the weight. The key to the interpolation is to use Coleman's presentation of de Rham cohomology in terms of overconvergent forms to link critical slope overconvergent modular forms with the part of the first coherent cohomology of modular curves interpolated by Boxer-Pilloni's higher Hida theory. The novelty is that we interpolate a critical period in cohomology using modular forms, complementing the classical Hida-theoretic interpolation of an ordinary period. Using this interpolation, we also interpolate bi-ordinary complexes in various weights into a perfect and self-dual complex of length 1 over $\Lambda$. By design, the cohomology of the bi-ordinary complex supports 2-dimensional $p$-adic representations of ${\rm Gal}(\bar{\bf Q}/{\bf Q})$ that become reducible and decomposable upon restriction to a decomposition group at $p$. As applications and motivations for the above constructions, we prove "$R = T$" theorems for the critical and bi-ordinary Hecke algebras, produce a degree-shifting Hecke action on the co-homology of bi-ordinary complexes, and specialize this degree-shifting action to weight 1 to produce, under a supplemental assumption, an action of a Stark unit on the part of weight 1 coherent cohomology over ${\bf Z}_p$ that is isotypic for an ordinary eigenform with complex multiplication.