Further directions
(1) Most results should also hold with coefficients in characteristic by using an equivariant version of the formalism of motivic sheaves developed by Kelly and the first author in [EK19], under a small restriction on the prime
(2) It should be possible to show that the category of -adic Springer sheaves is equivalent to the dg-derived category over the formal dg-algebra by combining our results and the techniques of [Sch11b], where equivariant formality for the flag variety is discussed.
(2) It should be possible to show that the category of -adic Springer sheaves is equivalent to the dg-derived category over the formal dg-algebra by combining our results and the techniques of [Sch11b], where equivariant formality for the flag variety is discussed.
Original source: arXiv:2109.00305v2