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.

Galois Coverings, $τ$-Rigidity and Mutations

Mutation graph of support $\tau$-tilting modules over a skew-gentle algebra

An Extended Cheeger–Müller Theorem for Covering Spaces

Abelian covers and second fundamental form

On tau-tilting subcategories

On Galois covers of curves and arithmetic of Jacobians

On Support Τ-Tilting Modules over Endomorphism Algebras of Rigid Ob Jects

Conformal blocks for Galois covers of algebraic curves

Maximal almost rigid modules over gentle algebras

Applications of Mutations in the Derived Categories of Weighted Projective Lines to Lie and Quantum Algebras

Affine Non-Reductive GIT and moduli of representations of quivers with multiplicities

A generalization of Gabriel's Galois covering functors and derived equivalences

On tamely ramified infinite Galois extensions

Special Points Arising From Faithful Metacyclic and Dicyclic Galois Covers of the Projective Line

Geometric interactions between bricks and $τ$-rigidity

On a Galois cover of the Hermitian curve of genus $\mathfrak{g}=\frac{1}{8}(q-1)^2$

Ramified covers of abelian varieties over torsion fields

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

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

Tilting modules and cellular categories

A note on images of Galois representations (with an application to a result of Litt)