The spherical part of the local and global Springer actions (Q2509861): Difference between revisions

Let \(k\) be an algebraically closed field and let \(G\) be a reductive \(k\)-group. Assume that the characteristic of \(k\) is either zero or greater then \(2h\), where \(h\) denotes the Coxeter number of \(G\). Put \(F := k((\varpi))\) and form the loop group \(LG\) accordingly. For any \(\gamma \in \mathfrak{g}(F)\), the affine Springer fiber \(\mathrm{Spr}_\gamma\) classifies the Iwahori subgroups whose Lie algebras contain \(\gamma\). It follows from Lusztig's works that there is an action of \(\tilde{W} \times \pi_0(LG_\gamma)\) on \(H_\bullet(\mathrm{Spr}_\gamma)\) or on \(H^\bullet_c(\mathrm{Spr}_\gamma)\); here \(LG_\gamma\) stands for the centralizer and \(\tilde{W} = X_*(T) \rtimes W\) stands for the extended affine Weyl group. Therefore, the spherical part \(\mathbb{Q}_\ell[X_*(T)]^W\) of \(\mathbb{Q}_\ell[\tilde{W}]\) acts as well. The following conjecture is due to Goresky, Kottwitz and MacPherson (and independently by Bezrukavnikov and Varshavsky): for any regular semisimple \(\gamma\), the actions of \(\mathbb{Q}_\ell[\tilde{W}]\) factor through a canonical algebra homomorphism \(\sigma_\gamma: \mathbb{Q}_\ell[X_*(T)]^W \to \mathbb{Q}_\ell[\pi_0(LG_\gamma)]\). The main local results of the paper is that (i) the conjecture holds for \(H^\bullet_c(\mathrm{Spr}_\gamma)\), and (ii) it also holds for \(H_\bullet(\mathrm{Spr}_\gamma)\) upon passing to graded pieces with respect to a certain filtration \(\mathrm{Fil}^p H_\bullet(\mathrm{Spr}_\gamma)\). More generally, for any parahoric subgroup \(P \subset LG\), the corresponding assertions for \(\mathbb{Q}_\ell[X_*(T)]^{W_P}\) and \(\mathrm{Spr}_{P, \gamma}\) will follow from the conjecture above, which is just the case \(P = I\) (Iwahori subgroup). The argument is global. It makes use of the parabolic Hitchin fibration \(f^{\mathrm{par}}: \mathcal{M}^{\mathrm{par}} \to \mathcal{A}^{\mathrm{Hit}} \times X\) over a curve \(X\) and considering an action of \(\mathbb{Q}_\ell[X_*(T)]^W\) on \(Rf^{\mathrm{par}}_! \mathbb{Q}_\ell|_{(\mathcal{A}^\heartsuit \times X)'}\). The theories in [\textit{B. C. Ngô}, Publ. Math., Inst. Hautes Etud. Sci. 111, 1--271 (2010; Zbl 1200.22011)] and [\textit{Z. Yun}, Adv. Math. 228, No. 1, 266--328 (2011; Zbl 1230.14048)] play a crucial role here. It also gives an impressive application of Yun's global Springer theory to local problems.