Appears in collection : A Conference in Arithmetic Algebraic Geometry in Memory of Jan Nekovář

I will survey results concerning the cohomology of Shimura varieties with torsion coefficients from the past few years. I will discuss the geometry of the Hodge-Tate period morphism, including a recent generalisation of Igusa varieties to Igusa stacks due to Mingjia Zhang. Then I will contrast the original approach of computing cohomology with torsion coefficients due to myself and Peter Scholze, which relies on the trace formula, with more recent approaches due to Teruhisa Koshikawa, Linus Hamann and Si Ying Lee, who rely on deep local results. Finally, I will explain how, by combining the two approaches, one can obtain a new instance of local-global compatibility.