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.

Fredholm Index of 3-Tuple of Restriction Operators and the Pair of Fringe Operators for Submodules in

Modular spectral triples and deformed Fredholm modules

Fredholm modules and the Beilinson-Bloch regulator

Eichler’s commutation relation and some other invariant subspaces of Hecke operators

Multivariable ($φ$,$\mathcal{O}_K^\times$)-modules and local-global compatibility

Defect operators, defect functions and defect indices for analytic submodules

3. Frobenius and separable functors for entwined modules

Fredholm-type Operators and Index

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

Bilinear Θ‐type Calderón–Zygmund operators and their commutators on product generalized fractional mixed Morrey spaces

On the existence of free sublattices of bounded index and arithmetic applications

Drinfeld Module and Weil pairing over Dedekind domain of class number two

On Operators Which Commute with Analytic Toeplitz Operators Modulo the Finite Rank Operators

Gaps and relative dimensions

A duality result about special functions in Drinfeld modules of arbitrary rank

Invariant differential operators on H-type groups and discrete components in restrictions of complementary series of rank one semisimple groups

Lubin-Tate and multivariable $(φ,\mathcal{O}_K^{\times})$-modules in dimension 2

Rankin--Cohen Type Differential Operators on Hermitian Modular Forms

Restriction Theorems on Métiver Groups Associated to Joint Functional Calculus

On quasi-Frobenius pairs of finite Morley rank

Boundness of Some Multilinear Fractional Integral Operators in Generalized Morrey Spaces on Stratified Lie Groups