Generic torsion vanishing conjecture for Shimura varieties

About 3 years old · traced to

Let (G,X)(\mathbf{G},X) be a Shimura datum such that G=GQpG=\mathbf{G}_{\mathbb{Q}_{p}} is unramified, and let K=KpKpK=K_{p}K^{p} be a sufficiently small level with Kp=KphsK_{p}=K_{p}^{\mathrm{hs}} hyperspecial. Set d=dim⁡(Sh(G,X)K)d=\operatorname{dim}(\mathrm{Sh}(\mathbf{G},X)_{K}). A maximal ideal m⊂HKphs\mathfrak{m}\subset H_{K_{p}^{\mathrm{hs}}} is generic when its associated toral LL-parameter satisfies the genericity condition described in the surrounding text. Generic torsion vanishing conjecture. If m\mathfrak{m} is generic, then the cohomology of

RΓ(Sh(G,X)K,E‾,F‾ℓ)mR\Gamma(\mathrm{Sh}(\mathbf{G},X)_{K,\overline{E}},\overline{\mathbb{F}}_{\ell})_{\mathfrak{m}}

is concentrated in degrees d≤i≤2dd\leq i\leq 2d, while the cohomology of

RΓc(Sh(G,X)K,E‾,F‾ℓ)mR\Gamma_{c}(\mathrm{Sh}(\mathbf{G},X)_{K,\overline{E}},\overline{\mathbb{F}}_{\ell})_{\mathfrak{m}}

is concentrated in degrees 0≤i≤d0\leq i\leq d. This predicts torsion-vanishing ranges for localized cohomology under a genericity hypothesis; the source motivates it by known results for general linear groups, but supplies no resolution.

References

Primary source

Linus Hamann and Si Ying Lee, “Torsion Vanishing for Some Shimura Varieties”, arXiv:2309.08705 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.