Constructible sheaves on nilpotent cones in rather good characteristic (Q508422)

This paper follows the series [J. Eur. Math. Soc. (JEMS) 19, No. 4, 1013--1070 (2017; Zbl 1396.17003); ibid. 18, No. 7, 1405--1436 (2016; Zbl 1396.17002); Math. Ann. 369, No. 1--2, 247--300 (2017; Zbl 1396.17004)] of the authors on the modular generalized Springer correspondence. They consider \(G\)-equivariant constructible sheaves on the nilpotent cone \(\mathcal{N}_G\) of a complex reductive group \(G\) with coefficients in a field \(k\) of rather good characteristic \(\ell\). The modular generalized Springer correspondence studies the partition of the set of pairs \((\mathcal{O}, \mathcal{E})\) into a disjoint union of certain subsets called \(\ell\)-series (similar to Harish-Chandra induction), where \(\mathcal{O}\subset\mathcal{N}_G\) is a nilpotent orbit and \(\mathcal{E}\) is an irreducible \(G\)-equivariant \(k\)-local system on \(\mathcal{O}\) (up to isomorphism). They prove a comparison theorem relating the characteristic-\(\ell\) generalized Springer correspondence to the characteristic-\(0\) version and also verify Mautner's characteristic-\(\ell\) ``cleanness conjecture'' in certain cases.