A torsion Jacquet--Langlands correspondence

We study torsion in the homology of arithmetic groups and give evidence that it plays a role in the Langlands program. We prove, among other results, a numerical form of a Jacquet–Langlands correspondence in the torsion setting.