Vanishing theorems for Shimura varieties at unipotent level (Q6160159): Difference between revisions

Fix a prime \(p\). Let \(G\) be a connected reductive group over \(\mathbb{Q}\) admitting a Shimura datum of Hodge type. Assume that \(G\) is split at \(p\) and choose a split model over \(\mathbb{Z}_p\). Choose a Borel subgroup \(B\) of \(G\) over \(\mathbb{Z}_p\) and let \(U \subset B\) be its unipotent radical. If \(K \subset G(\mathbb{Z}_p)\) is a compact open subgroup, we write \(X_K\) for the complex Shimura variety for \(G\) of level \(K\) at \(p\) and some fixed tame level \(K^p \subset G(\mathbb{A}_f^p)\), viewed as an algebraic variety. We write \(X_K(\mathbb{C})\) for the corresponding complex manifold. In the present paper, the authors prove the following theorem: Let \(d\) be the complex dimension of the Shimura varieties for \(G\). Let \(H \subset U(\mathbb{Z}_p)\) be a closed subgroup. Then the singular cohomology with compact support vanishes above the middle degree: \[ \varinjlim_{K \supseteq H} H_c^i(X_K(\mathbb{C}), \mathbb{Z}/p^r)=0 \quad \text{for all \(r \geq 1\) and all \(i>d\).} \] As an application, they prove a result on the codimensions of ordinary completed homology for the same groups, which is an analogue of a conjecture of Calegari and Emerton for completed homology and completed Borel-Moore homology. They prove this result by the above theorem and a Poincaré duality spectral sequence relating ordinary completed Borel-Moore homology to ordinary completed homology.