The construction demonstrates derived τ-coinvariants of affine Grothendieck-Springer sheaves are perverse, highlighting Yun's theorem on action compatibility.
Using techniques of [BKV], we construct a perverse t-structure on the infinity-category of l-adic LG-equivariant sheaves on the regular-semisimple bounded locus of the loop group LG and prove that the derived $τ$-coinvariants of affine Grothendieck--Springer sheaves are perverse. Our main new ingredient is a theorem of Yun on compatibility of actions.
No takes yet. Share an insight, caveat, or question.
Bouthier et al. (2025) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: