Regular points in affine Springer fibers (Q558702): Difference between revisions

Let \(F\) be \(\mathbb C ((\epsilon))\) and \(\mathcal O\) the subring \(\mathbb C [[\epsilon]]\). Let \(G\) be a connected reductive group over \(\mathbb C\). The main subject of this paper are the varieties \(G(F)/G(\mathcal O)\) and in particular the affine Springer fibres \[ X^{u} = \{ g\in G(F)/G(\mathcal O) :\text{Ad}(g^{-1})(u) \in \mathfrak g(\mathcal O)\} \] where \(\mathfrak g\) denotes the Lie algebra of \(G\). A point of \(X^{u}\) is said to be \textit{regular} if the associated orbit is regular in \(\mathfrak g(\mathbb C)\). \textit{D. Kazhdan} and \textit{G. Lusztig} [Isr. J. Math. 62, 129--168 (1988; Zbl 0658.22005)] showed that \(X^{u}\) is a locally finite union of projective algebraic varieties. In this paper the authors describe explicitly (recursively) the regular elements of \(X^{u}\) in terms of certain numerical invariants introduced by \textit{J. Arthur} [Invent. Math. 32, 205--261 (1976; Zbl 0359.22008)]. The proof is inductive in the sense that it relies on a verification in the case of \(SL(2)\) and then extends to the general case using the techniques of Lie theory.