Dimension of affine Springer fibers for groups (Q498936)

Let \(G\) be a connected simply-connected semisimple algebraic group over an algebraically closed field \(k\) with Lie algebra \({\mathfrak g}\). Let \(F:= k((\pi))\) and \({\mathcal O}:= k[[\pi]]\). Kazhdan-Lusztig defined an affine analogue of Springer fibers for any \(\gamma\in{\mathfrak g}(F)\) as follows: \[ {\mathfrak X}_\gamma:= \{g\in G(F)/G({\mathcal O}): \text{ad}(g)^{-1} \gamma\in{\mathfrak g}({\mathcal O})\}. \] They proved that \({\mathfrak X}_\gamma\) is a \(k\)-scheme locally of finite type and it is finite-dimensional if \(\gamma\) is regular semisimple. They conjectured a dimension formula for these schemes, which was later proved by \textit{R. Bezrukavnikov} [Math. Res. Lett. 3, No. 2, 185--189 (1996; Zbl 0874.20033)]. In the paper under review, the author proves analogous results for groups when \(\gamma\) lies in \(G(F)\). More specifically, let \(\gamma\in G(F)\) and let \(\lambda\in X_*(T)^+\) be a dominant cocharacter, where \(T\) is a maximal torus of \(G\). Define \[ X^\lambda_\gamma:= \{g\in G(F)/G({\mathcal O}): g^{-1}\gamma g\in G({\mathcal O})\pi^\lambda G({\mathcal O})\}. \] In the case when \(\gamma\) is a regular semisimple element of \(G(F)\), the author proves that \(X^\lambda_\gamma\) is a \(k\)-scheme locally of finite type. Moreover, he gives a closed formula for its dimension when it is non-empty. An analogous dimension formula for the affine Deligne-Lusztig varieties was established earlier by \textit{U. Görtz} et al. [Ann. Sci. Éc. Norm. Supér. (4) 39, No. 3, 467--511 (2006; Zbl 1108.14035)] and \textit{E. Viehmann} [Ann. Sci. Éc. Norm. Supér. (4) 39, No. 3, 513--526 (2006; Zbl 1108.14036)]. The proof follows the work of Bezrukavnikov on the dimension of \({\mathfrak X}_\gamma\) (mentioned above). In addition, the author needs to make use of the Vinberg semigroup and study some of its properties via an analogue of the Steinberg homomorphism.