Ihara's lemma for Shimura curves over totally real fields via patching

DOI10.1007/S00208-020-02048-8MaRDI QIDQ2225607zbMATH OpenOpenAlexWikidataFDO

Authors Jack Shotton, Jeffrey A. Manning

Publication date 8 February 2021

Published in Mathematische Annalen (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

Hecke algebraIhara's LemmaShimura curveTaylor-Wiles method

Mathematics Subject Classification ID

Congruences for modular and (p)-adic modular forms (11F33) Galois representations (11F80) Arithmetic aspects of modular and Shimura varieties (11G18)

Abstract: We prove Ihara's lemma for the mod $l$ cohomology of Shimura curves, localised at a maximal ideal of the Hecke algebra, under a large image hypothesis on the associated Galois representation. This was proved by Diamond and Taylor, for Shimura curves over $mathbbQ$, under various assumptions on $l$. Our method is totally different and can avoid these assumptions, at the cost of imposing the large image hypothesis. It uses the Taylor--Wiles method, as improved by Diamond and Kisin, and the geometry of integral models of Shimura curves at an auxiliary prime.

Review text

Classical Ihara's Lemma and its variants have applications to the problem of level-raising for modular forms, to Iwasara theory or to the local-global compatibility in the \(p\)-adic Langlands program. From the authors' abstract: ``We prove Ihara's lemma for the mod \(l\) cohomology of Shimura curves, localized at a maximal ideal of the Hecke algebra, under a large image hypothesis on the associated Galois representation [Theorem 1.1]. This was proved by Diamond and Taylor, for Shimura curves over \(\mathbb{Q}\), under various assumptions on \(l\). Our method is totally different and can avoid these assumptions, at the cost of imposing the large image hypothesis. It uses the Taylor-Wiles method, as improved by Diamond and Kisin, and the geometry of integral models of Shimura curves at an auxiliary prime.

Recommendations

• About an analogue of Ihara's lemma for Shimura curves
• Lattices in the cohomology of Shimura curves
• Ihara's lemma for imaginary quadratic fields
• On Ihara's lemma for degree one and two cohomology over imaginary quadratic fields
• Patching and multiplicity \(2^k\) for Shimura curves

Cites work

• Anticyclotomic Iwasawa's main conjecture for Hilbert modular forms
• Automorphic lifts of prescribed types
• Automorphy for some \(l\)-adic lifts of automorphic mod \(l\) Galois representations. II
• 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.
• Hilbert modular forms modulo p and values of extensions between Galois characters
• scientific article; zbMATH DE number 3918468 (Why is no real title available?)
• scientific article; zbMATH DE number 3981340 (Why is no real title available?)
• scientific article; zbMATH DE number 43569 (Why is no real title available?)
• scientific article; zbMATH DE number 3534618 (Why is no real title available?)
• scientific article; zbMATH DE number 1270363 (Why is no real title available?)
• scientific article; zbMATH DE number 4187967 (Why is no real title available?)
• Iwasawa's main conjecture for elliptic curves over anticyclotonic \(\mathbb Z_p\)-extensions
• Lattices in the cohomology of Shimura curves
• Lifting modular mod l representations
• Local deformation rings for \(\mathrm{GL}_2\) and a Breuil-Mézard conjecture when \(l\neq p\)
• Modularity lifting beyond the Taylor-Wiles method
• Moduli of finite flat group schemes, and modularity
• Non-optimal levels of \(\text{mod }l\) modular representations
• On Galois representations associated to Hilbert modular forms
• On modular representations of \(\text{Gal}(\overline{\mathbb Q}/\mathbb Q)\) arising from modular forms
• On Serre's conjecture for mod Galois representations over totally real fields
• On the p-adic cohomology of the Lubin-Tate tower
• On the anticyclotomic Iwasawa main conjecture for modular forms
• On the meromorphic continuation of degree two \(L\)-functions
• On the Schur Indices of Characters of Finite Classical Groups
• Potential automorphy and change of weight
• Potentially semi-stable deformation rings
• Reduction modulo P of Shimura curves
• Strong local-global compatibility in the \(p\)-adic Langlands program for \(U(2)\)
• The Breuil-Mézard conjecture when \(l\neq p\)
• The local Langlands correspondence for \(\mathrm{GL}_n\) in families
• The Taylor-Wiles construction and multiplicity one
• The weight in Serre's conjectures on modular forms
• The weight part of Serre's conjecture for \(\mathrm{GL}(2)\)

Cited in

(16)

• Patching and multiplicity \(2^k\) for Shimura curves
• The universal unramified module for \(\mathrm{GL}(n)\) and the Ihara conjecture
• On the Bloch-Kato conjecture for Hilbert modular forms
• A proof of Perrin-Riou's Heegner point main conjecture
• Lattices in the cohomology of Shimura curves
• On the anticyclotomic Iwasawa main conjecture for Hilbert modular forms of parallel weights
• On Ihara's lemma for degree one and two cohomology over imaginary quadratic fields
• A patching lemma
• IHARA LEMMA AND LEVEL RAISING IN HIGHER DIMENSION
• Arithmetic of Shimura varieties. Abstracts from the workshop held January 29 -- February 4, 2023
• Gelfand-Kirillov dimension and the \(p\)-adic Jacquet-Langlands correspondence
• Iwasawa theory of Hilbert modular forms for anticyclotomic extensions without Ihara's lemma
• INDIVISIBILITY OF HEEGNER CYCLES OVER SHIMURA CURVES AND SELMER GROUPS
• About an analogue of Ihara's lemma for Shimura curves
• Congruent elliptic curves and the -component in the Iwasawa main conjecture
• Ihara-type results for Siegel modular forms

This page was built for publication: Ihara's lemma for Shimura curves over totally real fields via patching

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