Mathematical Bootstrap: From Conformal Fields to L-Functions
By Dalimil Mazac
On expansions of monadic second-order logic with power predicates - Lecture 1
By Joël Ouaknine
Appears in collection : Summer School on the Langlands Program
We discuss vanishing theorems for the cohomology of Shimura varieties with torsion coefficients, under a genericity condition at an auxiliary prime. We describe two complementary approaches to these results, due to Caraiani-Scholze and Koshikawa, both of which rely on the geometry of the Hodge-Tate period morphism for the corresponding Shimura varieties. Finally, we explain how these vanishing results can be applied to local-global compatibility questions for the Galois representations constructed in the first lecture.