Wiles defect for Hecke algebras that are not complete intersections

DOI10.1112/S0010437X21007454zbMATH Open1480.11064arXiv1910.08507OpenAlexW3195900283MaRDI QIDQ5009397FDOQ5009397

Chandrashekhar Khare, Gebhard Böckle, Jeffrey A. Manning

Publication date: 23 August 2021

Published in: Compositio Mathematica (Search for Journal in Brave)

Abstract: In his work on modularity theorems, Wiles proved a numerical criterion for a map of rings $RoT$ to be an isomorphism of complete intersections. He used this to show that certain deformation rings and Hecke algebras associated to a mod $p$ Galois representation at non-minimal level were isomorphic and complete intersections, provided the same was true at minimal level. In this paper we study Hecke algebras acting on cohomology of Shimura curves arising from maximal orders in indefinite quaternion algebras over the rationals localized at a semistable irreducible mod $p$ Galois representation $overlineho$. If $overlineho$ is scalar at some primes dividing the discriminant of the quaternion algebra, then Hecke algebra is still isomorphic to the deformation ring, but is not a complete intersection, or even Gorenstein, so the Wiles numerical criterion cannot apply. We consider a weight 2 newform $f$ which contributes to the cohomology of the Shimura curve and gives rise to an augmentation $lambd{a}_f$ of the Hecke algebra. We quantify the failure of the Wiles numerical criterion at $lambd{a}_f$ by computing the associated {it Wiles defect} purely in terms of the local behavior at primes dividing the discriminant of the global Galois representation $h{o}_f$ which $f$ gives rise to by the Eichler--Shimura construction. One of the main tools used in the proof is Taylor--Wiles--Kisin patching.

Full work available at URL: https://arxiv.org/abs/1910.08507

zbMATH Keywords

Cohen-Macaulaymodularity theoremWiles defect

Mathematics Subject Classification ID

Galois representations (11F80) Arithmetic rings and other special commutative rings (13F99) Theory of modules and ideals in commutative rings (13C99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automorphy for some \(l\)-adic lifts of automorphic mod \(l\) Galois representations. With Appendix A, summarizing unpublished work of Russ Mann, and Appendix B by Marie-France Vignéras.
• Automorphy for some \(l\)-adic lifts of automorphic mod \(l\) Galois representations. II
• The Taylor-Wiles construction and multiplicity one
• On modular representations of \(\text{Gal}(\overline{\mathbb Q}/\mathbb Q)\) arising from modular forms
• Modular elliptic curves and Fermat's Last Theorem
• A family of Calabi-Yau varieties and potential automorphy. II.
• Serre's modularity conjecture. I
• Refined conjectures of the ``Birch and Swinnerton-Dyer type
• Determinantal rings
• Patching and the \(p\)-adic local Langlands correspondence
• The weight in Serre's conjectures on modular forms
• Local deformation rings for \(\mathrm{GL}_2\) and a Breuil-Mézard conjecture when \(l\neq p\)
• Potential automorphy and change of weight
• On maps between modular Jacobians and Jacobians of Shimura curves
• Deformations of polarized automorphic Galois representations and adjoint Selmer groups
• Moduli of finite flat group schemes, and modularity
• On congruence divisors of cusp forms as factors of the special values of their zeta functions
• Non-optimal levels of \(\text{mod }l\) modular representations
• Lattices in the cohomology of Shimura curves
• Congruences of cusp forms and special values of their zeta functions
• Parametrizations of elliptic curves by Shimura curves and by classical modular curves
• Lifting modular mod \(l\) representations
• On isomorphisms between deformation rings and Hecke rings (with an Appendix by Gebhard Böckle)
• Deformations of certain reducible Galois representations, II
• On tensor products of Gorenstein rings
• Automorphy of some residually dihedral Galois representations
• Lifting \(G\)-irreducible but \(\mathrm{GL}_n\)-reducible Galois representations
• Singularities of ordinary deformation rings
• The Breuil-Mézard conjecture when \(l\neq p\)
• Patching and multiplicity \(2^k\) for Shimura curves

Cited In (5)

• Independent sequences and freeness criteria
• Equidimensionality of universal pseudodeformation rings in characteristic p for absolute Galois groups of p-adic fields
• Congruence modules and the Wiles-Lenstra-Diamond numerical criterion in higher codimensions
• Wiles Defect for Modules and Criteria for Freeness
• Wiles defect of Hecke algebras via local-global arguments

This page was built for publication: Wiles defect for Hecke algebras that are not complete intersections

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5009397)