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 ordinary part of 1st coherent cohomology of modular curves interpolated by Boxer--Pilloni's higher Hida theory. We also set up a Galois deformation theory designed to conform to these critical overconvergent forms and prove "$R = T$" for it. As applications, we (1) produce a "formal" $\Lambda$-adic interpolation of the ordinary part of de Rham cohomology, (2) produce a bi-ordinary complex whose Hecke algebra $T$ is a natural candidate for an "$R = T$" theorem where $R$ is a deformation ring for 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$, (3) produce a degree-shifting Hecke action on the cohomology of the bi-ordinary complex, and (4) specialize this degree-shifting action to weight 1 and apply the critical "$R = T$" theorem to find, 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.

-Lemma and Double Complex

Double complexes and local cochain projections

Pre-balanced Dualizing Complexes

The Cohomology Group of Weak Entwining Structure

Cohomology Rings of Moment-Angle Complexes

Casselman--Shahidi conjecture on the singularity of intertwining operators: groups of exceptional type

Poincaré's lemma for formal manifolds

Decomposition of De Rham Complexes with Smooth Horizontal Coefficients for Semistable Reductions

Elliptic Pre-Complexes, Hodge-like Decompositions and Overdetermined Boundary-Value Problems

Formally Integrable Structures I. Resolution of Solution Sheaves

Critical Lambda-adic modular forms and bi-ordinary complexes

Convexity and Zariski Decomposition Structure

Dualizing Complexes over Noncommutative Local Rings

Compact convergence, deformation of the $L^2$-$\overline{\partial}$-complex and canonical $K$-homology classes

Local Bounded Commuting Projection Operator for Discrete de Rham Complexes

On the cohomology of moment-angle complexes associated to Gorenstein* complexes

An $L^2$ Dolbeault lemma on higher direct images and its application

Lefschetz duality for local cohomology

A Kodaira type conjecture on almost complex 4 manifolds

Möbius Inversion and Duality for Summations of Stable Graphs

Cohomology of idempotent braidings, with applications to factorizable monoids