Vanishing theorems for Shimura varieties at unipotent level

Abstract

We show that the compactly supported cohomology of Shimura varieties of Hodge type of infinite \Gamma_1(p^\infty) -level (defined with respect to a Borel subgroup) vanishes above the middle degree, under the assumption that the group of the Shimura datum splits at p . This generalizes and strengthens the vanishing result proved in [A. Caraiani et al., Compos. Math. 156 (2020)]. As an application of this vanishing theorem, we prove a result on the codimensions of ordinary completed homology for the same groups, analogous to conjectures of Calegari–Emerton for completed (Borel–Moore) homology.