Manning, Jeffrey, Shotton, Jack, "Ihara’s Lemma for Shimura curves over totally real fields via patching", Mathematische Annalen, 2021