\(s\)-representations for involutions on affine Kac-Moody algebras are polar (Q1592853)

Let \(G\) be a simply connected compact simple Lie group and \(H^1(S^1,G)\) the corresponding Banach-Lie group of \(H^1\)-loops with values in \(G\). For any finite order automorphism \(\sigma\) of \(G\) we then obtain a twisted loop group \(L(G,\sigma)\) which is a Lie subgroup of \(H^1(S^1,G)\). We write \(L(\mathbf g,\sigma)\) for the \(L^2\)-completion of the Lie algebra of \(L(G,\sigma)\) and observe that this space has no natural Lie algebra structure because the bracket is only defined on a dense subspace. Under the same proviso we obtain a completed version \(\widehat L(\mathbf g,\sigma)\) of the corresponding Kac-Moody algebra which contains a hyperplane ideal which is a central \(\mathbb R\)-extension of \(L(\mathbf g,\sigma)\). Then the group \(L(G,\sigma)\) has a natural adjoint action on \(\widehat L(\mathbf g,\sigma)\) preserving the natural non-degenerate symmetric bilinear form. Now let \(\widehat\rho\) be a continuous Lie algebra involution on \(\widehat L(\mathbf g,\sigma)\), \(\widehat E_{\pm}\) the corresponding eigenspaces and \(E_\pm\) the eigenspaces of the involution induced on \(L(\mathbf g,\sigma)\). We define \(\varepsilon \in \{\pm 1\}\) by \(\widehat\rho.c = \varepsilon c\) for a non-zero zentral element \(c\) of \(\widehat L(\mathbf g,\sigma)\). Now the analytic subgroup \(K_0\) of \(L(G,\sigma)\) corresponding to the fixed points of the involution in \(L(\mathbf g,\sigma)\) is a Lie subgroup, hence in particular closed. We now obtain a natural action of this group on the space \(\hat E_\varepsilon\) which is endowed with a \(K_0\)-invariant Lorentzian form \(\langle \cdot, \cdot \rangle\). The submanifold \(\{ x \in \widehat E_\varepsilon: \langle x,x \rangle = - 1, \langle x, c \rangle = 1\}\) is \(K_0\)-invariant and isometric to the Hilbert space \(E_\varepsilon\). The main result of the present paper is that the so obtained affine representation of \(K_0\) on \(E_\varepsilon\) is polar in the sense that there exists a closed affine subspace intersecting all orbits orthogonally.