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

About 1 year old · traced to

Let G=SLnG=\mathrm{SL}_n, let Bun‾B−\overline{\mathrm{Bun}}_{B^-} be the compactification of the moduli stack of B−B^--bundles, and let ICBun‾B−\mathrm{IC}_{\overline{\mathrm{Bun}}_{B^-}} denote its intersection cohomology sheaf. Characteristic-independence conjecture. For every i∈Zi\in\mathbb{Z} and every closed point x∈Bun‾B−x\in\overline{\mathrm{Bun}}_{B^-}, the dimension of

Hi((ICBun‾B−)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.

References

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.