Abstract:In his work on modularity of elliptic curves and Fermat's last theorem, A. Wiles introduced two measures of congruences between Galois representations and between modular forms. One measure is related to the order of a Selmer group associated to a newform (and closely linked to deformations of the Galois representation associated to f), whilst the other measure is related to the congruence module associated to f (and is closely linked to Hecke rings and congruences between f and other newforms in ). The equality of these two measures led to isomorphisms between deformation rings and Hecke rings (via a numerical criterion for isomorphisms that Wiles proved) and showed these rings to be complete intersections. We continue our study begun in [BKM21] of the Wiles defect of deformation rings and Hecke rings (at a newform f) acting on the cohomology of Shimura curves over : It is defined to be the difference between these two measures of congruences. The Wiles defect thus arises from the failure of the Wiles numerical criterion at an augmentation . In situations we study here, the Taylor–Wiles–Kisin patching method gives an isomorphism without the rings being complete intersections. Using novel arguments in commutative algebra and patching, we generalize significantly and give different proofs of the results in [BKM21] that compute the Wiles defect at , and explain in an a priori manner why the answer in [BKM21] is a sum of local defects. As a curious application of our work we give a new and more robust approach to the result of Ribet–Takahashi that computes change of degrees of optimal parametrizations of elliptic curves over by Shimura curves as we vary the Shimura curve. The results we prove are not attainable using only the methods of Ribet–Takahashi.

A report on Wiles' Cambridge lectures

Fermat's Last Theorem-Wiles'Last Proofs

Andrew Wiles' Proof of Fermat's Last Theorem, As Expected, Does Not Require a Large Cardinal Axiom. A Discussion of Colin McLarty's "The Large Structures of Grothendieck Founded on Finite-Order Arithmetic"

The lost proof of Fermat's last theorem

On Ribet's Level Lowing Theorem

Fermat's Last Theorem for regular primes

Fermat's Last Theorem: Algebra, Geometry, and Number Theory

Prolongement analytique de fonctions $ζ$ et de fonctions $L$

Lots of Proofs of the Fermat Theorem

The Cartesian method and Fermat's Last Theorem

Fermat-Catalan and Tijdeman-Zagier conjectures for products

A classical approach on cyclotomic fields and Fermat-Wiles theorem

Fermat's Last Theorem: Algebra and Number Theory

General Elementary Direct Proof of Fermat's Last Theorem

A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie

A Geometric Proof of Fermat’s Little Theorem

Wiles Defect Of Hecke Algebras Via Local-Global Arguments

$P=W$ phenomena in algebraic and enumerative geometry

Orthogonal matrices with rational components in composing tests for High School students

An elementary proof of Fermat's Last Theorem

2 1 Ja n 20 05 A Note On Weinstein Conjecture ∗