Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

The commutative algebra of congruence ideals and applications to number theory

Srikanth B. Iyengar, Chandrashekhar B. Khare, Jeffrey Manning

TL;DR

The paper generalizes Wiles' numerical criterion from codimension 0 to higher codimension by developing a robust framework of congruence modules and congruence ideals for augmented $O$-algebras. It introduces a comprehensive suite of tools—augmented algebras, the category $\operatorname{C}_O(c)$, the congruence module $\Psi_\lambda(M)$, and the congruence ideal $\eta_\lambda(M)$—together with a defect formula, change-of-modules behavior, and an explicit description of the Ext-algebra in the torsion-free setting, all wrapped in a patching-based deformation-theoretic program. The authors sketch number-theoretic applications to weight-one phenomena, a Bloch–Kato-type conjecture for $Ad_f$, and completed cohomology, illustrating how higher-codimension congruence data after patching yields new modularity-lifting results and arithmetic insights. The work provides a principled pathway to connect $L$-values, Tamagawa factors, and Galois representations via refined commutative algebra, expanding the reach of $R=\mathbb{T}$ theorems and prompting further development in weight-one and non-minimal settings.

Abstract

In his proof of Fermat's Last Theorem, Wiles deployed a commutative algebra technique, namely a numerical criterion for detecting isomorphisms of rings. In our recent work we pick up on Wiles' work and generalize the numerical criterion to ``higher codimension''. A critical ingredient is a notion of congruence module in higher codimension: this has turned out to be a key definition whose utility extends beyond the role it plays in the numerical criterion. In this paper we trace the origin of some of the ideas that led to our work, both in number theory and commutative algebra, and new directions that emerge from it. We introduce a related notion of a congruence ideal, develop some commutative algebra needed to work with it, and hint at applications to number theory.

The commutative algebra of congruence ideals and applications to number theory

TL;DR

The paper generalizes Wiles' numerical criterion from codimension 0 to higher codimension by developing a robust framework of congruence modules and congruence ideals for augmented -algebras. It introduces a comprehensive suite of tools—augmented algebras, the category , the congruence module , and the congruence ideal —together with a defect formula, change-of-modules behavior, and an explicit description of the Ext-algebra in the torsion-free setting, all wrapped in a patching-based deformation-theoretic program. The authors sketch number-theoretic applications to weight-one phenomena, a Bloch–Kato-type conjecture for , and completed cohomology, illustrating how higher-codimension congruence data after patching yields new modularity-lifting results and arithmetic insights. The work provides a principled pathway to connect -values, Tamagawa factors, and Galois representations via refined commutative algebra, expanding the reach of theorems and prompting further development in weight-one and non-minimal settings.

Abstract

In his proof of Fermat's Last Theorem, Wiles deployed a commutative algebra technique, namely a numerical criterion for detecting isomorphisms of rings. In our recent work we pick up on Wiles' work and generalize the numerical criterion to ``higher codimension''. A critical ingredient is a notion of congruence module in higher codimension: this has turned out to be a key definition whose utility extends beyond the role it plays in the numerical criterion. In this paper we trace the origin of some of the ideas that led to our work, both in number theory and commutative algebra, and new directions that emerge from it. We introduce a related notion of a congruence ideal, develop some commutative algebra needed to work with it, and hint at applications to number theory.

Paper Structure

This paper contains 23 sections, 18 theorems, 86 equations.

Table of Contents

  1. Introduction.
  2. Congruence ideals.
  3. Augmented $\mathcal{O}$-algebras.
  4. Notes.
  5. The category $\operatorname{C}_\mathcal{O}(c)$.
  6. Depth.
  7. Congruence module.
  8. A defect formula.
  9. Notes.
  10. Change of modules.
  11. Notes.
  12. The structure of ${\operatorname{Ext}^*_A(\mathcal{O},\mathcal{O})}^{\operatorname{tf}}$.
  13. Invariance of domain.
  14. Notes.
  15. Deformations.
  16. ...and 8 more sections

Key Result

Theorem 2.5

Let $A$ be a noetherian local $\mathcal{O}$-algebra and $\lambda\colon A\to \mathcal{O}$ a morphism of $\mathcal{O}$-algebras. The following conditions are equivalent. Moreover, when these conditions hold, one has $\eta_\lambda(A)={\operatorname{Ext}^c_\lambda(\mathcal{O},\mathcal{O})}^{\operatorname{tf}}$ if and only if $A$ is regular.

Theorems & Definitions (31)

  • Theorem 2.5
  • proof : Sketch of proof
  • Lemma 2.6
  • Example 2.7
  • Lemma 2.8
  • proof
  • Lemma 2.9
  • proof
  • Theorem 2.10
  • Lemma 2.12
  • ...and 21 more