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.

More Discriminants with the Brezing-Weng Method

Six Subfamilies of Implementation-Friendly Barreto-Naehrig Curves

A Eudoxian study of discriminant curves associated to normal surface singularities

Refinement of miller's algorithm over edwards curves

On Constructing Prime Order Elliptic Curves Suitable for Pairing-Based Cryptography

Wiles Defect Of Hecke Algebras Via Local-Global Arguments

Families of Prime-Order Endomorphism-Equipped Embedded Curves on Pairing-Friendly Curves

A multiplicity formula for the Milnor number of smoothable curves

Generic models for genus 2 curves with real multiplication

Efficient pairing computation on ordinary elliptic curves of embedding degree 1 and 2

Constructing curves of high rank via composite polynomials

On the Selmer group and rank of a family of elliptic curves and curves of genus one violating the Hasse principle

Equations of curves with minimal discriminant

On Darmon's program for the Generalized Fermat equation, II

$p$-converse theorems for elliptic curves of potentially good ordinary reduction at Eisenstein primes

Discriminant divisors for conic bundles

Note sur le lieu discriminant d'une hypersurface de bi-degré $(m, n).$

Hirzebruch-Zagier classes and rational elliptic curves over quintic fields

Elliptic-elliptic surfaces and the Hesse pencil

Improved fewnomial upper bounds from Wronskians and dessins d'enfant

The Non-Congruent Numbers Via Monsky’s Formula