Stratified Kähler structures on adjoint quotients (Q2519057)

Let \(K\) be a compact Lie group. The cotangent bundle \(T^*K\) of \(K\) is a symplectic manifold and the adjoint action of \(K\) on it is Hamiltonian. Therefore we can consider the reduced space at zero momentum \((T^*K)_0:=\mu^{-1}(0)/K\). Here \(\mu:T^*K\to \mathfrak k^*\) is the momentum map. From the introduction: ``Despite the huge literature on reduction of the cotangent bundle of a Lie group relative to \textit{left translation} (or right translation) the \textit{conjugation action} has received little attention.'' The complexification \(K^{\mathbb C}\) of \(K\) is a complex reductive algebraic group and there is a \((K\times K)\)-equivariant isomorphism \(T^*K\cong K^{\mathbb C}\) of real analytic varieties. So \(T^*K\) has a complex analytic structure (in fact a complex algebraic structure) which combines with its structure of a symplectic manifold to a Kähler structure. The structure of a complex algebraic variety of \(T^*K\) gives \((T^*K)_0\) the structure of a complex algebraic variety and with this structure it is isomorphic to the well-known adjoint quotient \(K^{\mathbb C}//K^{\mathbb C}\cong T^{\mathbb C}/W\) which is just an affine space in case \(K\) is simply connnected [see \textit{R.~Steinberg}, Publ. Math., Inst. Hautes Étud. Sci. 25, 281--312 (1965; Zbl 0136.30002), \S6]. Here \(T\) is a maximal torus of \(K\) and \(W\) is the Weyl group. It is explained in the introduction and in Section~1 that the situation with the structure of symplectic Poisson manifold is much more complicated. This structure descends to \((T^*K)_0\) as a stratified symplectic Poisson structure and combines with the structure of a complex algebraic variety to a complex algebraic stratified Kähler structure on \((T^*K)_0\). The real coordinate ring \(\mathbb R[(T^*K)_0]\) contains functions that are not smooth for the complex algebraic structure, see the remark on p. 721 of the paper. In Section 2 a general description of the stratified symplectic Poisson structure on \((T^*K)_0\) is given. This is made explicit in Section~3 for the unitary and special unitary groups and in Section~4 for several other groups. One of the main results is that for \(K=\text{U}(n), \text{SU}(n), \text{Sp}(n), \text{SO}(2n+1,\mathbb R), G_{2(-14)}\) the real coordinate ring \(\mathbb R[T^{\mathbb C}/W]\) is generated as a Poisson algebra by the real and imaginary parts of the characters of the fundamental irreducible representations of \(K^{\mathbb C}\). In the final section the author points out that the quantum Hilbert space for the stratified Kähler structure on \(T^{\mathbb C}/W\) is freely spanned by the holomorphic functions on \(T^{\mathbb C}/W\) that correspond to the irreducible characters of \(K^{\mathbb C}\).