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

Jeff Manning, Jack Shotton

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 repr…