Abstract:We generalize the torsion vanishing results of Caraiani-Scholze and Koshikawa. Our results apply to the cohomology of general Shimura varieties $(\mathbf{G},X)$ of PEL type $A$ or $C$, localized at a suitable maximal ideal $\mathfrak{m}$ in the spherical Hecke algebra at primes $p$ such that $\mathbf{G}_{\mathbb{Q}_{p}}$ is a group for which we know the Fargues-Scholze local Langlands correspondence is the semi-simplification of a suitably nice local Langlands correspondence. This is accomplished by combining Koshikawa's technique, the theory of geometric Eisenstein series over the Fargues-Fontaine curve, the work of Santos describing the structure of the fibers of the minimally and toroidally compactified Hodge-Tate period morphism for general PEL type Shimura varieties of type $A$ or $C$, and ideas developed by Zhang on comparing Hecke correspondences on the moduli stack of $G$-bundles with the cohomology of Shimura varieties. In the process, we also establish a description of the generic part of the cohomology that bears resemblance to the work of Xiao-Zhu. Moreover, we also construct a filtration on the compactly supported cohomology that differs from Manotovan's filtration in the case that the Shimura variety is non-compact, allowing us to circumvent some of the circumlocutions taken by Cariani-Scholze. Our method showcases a very general strategy for proving such torsion vanishing results, and should bear even more fruit once the inputs are generalized. Motivated by this, we formulate an even more general torsion vanishing conjecture.

Vanishing ranges for the mod $p$ cohomology of alternating subgroups of Coxeter groups

On the Cuspidal Cohomology of Arithmetic Groups

Vanishing of the second $L^p$-cohomology group for most semisimple groups of rank at least 3

An algebraic criterion for the vanishing of bounded cohomology

The cohomology of $p$-adic Deligne-Luszitg schemes of Coxeter type

Rigidity and Vanishing Theorems in K-theory

Lichtenbaum-Hartshorne vanishing theorem for generalized local cohomology modules

A note on cohomological vanishing theorems

Mod $p$ and torsion homology growth in nonpositive curvature

Bounded rank subgroups of Coxeter groups, Artin groups and one-relator groups with torsion

Non-vanishing mod $p$ of derived Hecke algebra of the multiplicative group over number field

Torsion Vanishing for Some Shimura Varieties

Vanishing of Schubert Coefficients

Vanishing of one dimensional L^2-cohomologies of loop groups

Algebraic K-theory of reductive p-adic groups

Lannes' $T$-functor and mod-$p$ cohomology of profinite groups

Vanishing properties of Kloosterman sums and Dyson's conjectures

Free subgroups of free products and combinatorial hypermaps

A $p$-adic local invariant cycle theorem with applications to Brauer groups

Cohomology rings of extended powers and free infinite loop spaces

Koszul modules with vanishing resonance in algebraic geometry