Characteristic-independence conjecture for IC stalks on the opposite Borel compactification

Let G=SLnG=\mathrm{SL}_n, let BunB\overline{\mathrm{Bun}}_{B^-} be the compactification of the moduli stack of BB^--bundles, and let ICBunB\mathrm{IC}_{\overline{\mathrm{Bun}}_{B^-}} denote its intersection cohomology sheaf. Characteristic-independence conjecture. For every iZi\in\mathbb{Z} and every closed point xBunBx\in\overline{\mathrm{Bun}}_{B^-}, the dimension of

Hi((ICBunB)x)\mathrm{H}^i((\mathrm{IC}_{\overline{\mathrm{Bun}}_{B^-}})_x)

as a k\mathbb{k}-vector space does not depend on the characteristic of k\mathbb{k}. This is the stalkwise form of the characteristic-independence hypothesis, and the surrounding argument proves the claim for G=SLnG=\mathrm{SL}_n using the stated stratification and comparison with known descriptions of IC stalks.

Sources & referencesView supporting material

Primary source

Emilien Zabeth, “Perverse sheaves on the semi-infinite flag variety and representations of the Frobenius kernel”, arXiv:2504.03341 (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.