Abstract:We define a congruence module $\Psi_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $\lambda\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra regular at $\mathfrak{p}$, the kernel of $\lambda$, and $M$ a finitely generated $A$-module. We establish a numerical criterion for $M$ to have a free direct summand over $A$ of positive rank. It is in terms of the lengths of $\Psi_A(M)$ and the torsion part of $\mathfrak{p}/\mathfrak{p}^2$. It generalizes results of Wiles, Lenstra, and Diamond, that deal with the case when the codimension of $\mathfrak{p}$ is zero. Number theoretic applications include integral (non-minimal) $R=\mathbb T$ theorems in situations of positive defect conditional on certain standard conjectures. Here $R$ is a deformation ring parametrizing certain Galois representations and $\mathbb T$ is a Hecke algebra. An example is a modularity lifting for 2-dimensional $\ell$-adic Galois representations over an imaginary quadratic field. The proofs combine our commutative algebra results with a generalization due to Calegari and Geraghty of the patching method of Wiles and Taylor--Wiles and level raising arguments that go back to Ribet. The results provide new evidence in favor of the intriguing, and as yet fledgling, torsion analog of the classical Langlands correspondence. We also prove unconditional integral $R=\mathbb T$ results for Hecke algebras $\mathbb T$ acting on weight one cohomology of Shimura curves over $\mathbb Q$. This leads to a torsion Jacquet--Langlands correspondence comparing integral Hecke algebras acting on weight one cohomology of Shimura curves and modular curves. In this case the cohomology has abundant torsion and so our correspondence cannot be deduced by means of the classical Jacquet--Langlands correspondence.

Induced modules and central character quotients for Takiff $\mathfrak{sl}_{2}$

Simple modules over the Takiff Lie algebra for sl2

On the motive of quotients of induced actions

Whittaker modules of central extensions of Takiff superalgebras and finite supersymmetric $W$-algebras

Tilting modules, dominant dimensions and Brauer-Schur-Weyl duality

Tilting and cotilting modules over concealed canonical algebras

Fitting Ideals of Projective Limits of Modules over Non-Noetherian Iwasawa Algebras

A Construction of Characteristic Tilting Modules

Whittaker modules and hyperbolic Toda lattices

Subregular nilpotent orbits and explicit character formulas for modules over affine Lie algebras

The Koszul Complex and a Certain Induced Module for a Quantum group

Congruence modules and the Wiles-Lenstra-Diamond numerical criterion in higher codimensions

Quantization of the universal centralizer and central D-modules

Construction of Simple Modules over the Quantum Affine Space

Stated $SL_n$-skein modules, roots of unity, and TQFT

Decompositions of the tensor products of irreducible sl(2)-modules in characteristic 3

Infinite rank module categories over finite dimensional $\mathfrak{sl}_2$-modules in Lie-algebraic context

On stable-projective and injective-costable decompositions of modules

Zsigmondy Theorem for Arithmetic Dynamics Induced by a Drinfeld Module

Modular affine Hecke category and regular centralizer

$τ$-tilting theory via the morphism category of projective modules I: ICE-closed subcategories