The dimension of the fixed point set on affine flag manifolds (Q1920885)

Let \(G\) be a semisimple simply connected algebraic group over \(\mathbb{C}\), \(\mathfrak g\) its Lie algebra, \(F=\mathbb{C}((\varepsilon))\) the field of formal Laurent series, \(A=\mathbb{C}[[\varepsilon]]\) the ring of integers in \(F\). Set \(\widehat{\mathfrak g}={\mathfrak g}\otimes F\), \(\widehat{\mathfrak g}_A={\mathfrak g}\otimes A\) and \(\widehat G=G(F)\). For \(N\in\widehat{\mathfrak g}\) let \({\mathcal B}_N\subset{\mathcal B}=\widehat G/I\) (\(I\) the Iwahori subgroup) and \(X_N\subset X=\widehat G/G(A)\), resp., the set of all Iwahori subalgebras and the set of subalgebras conjugate to \(\widehat{\mathfrak g}_A\), resp. containing \(N\). Then \({\mathcal B}_N\) and \(X_N\) are locally finite unions of finite dimensional projective varieties and the dimensions of the components of \({\mathcal B}_N\) are all equal to the dimension of \(X_N\). An explicit formula for this dimension, conjectured by Kazhdan and Lusztig, is proved.