Quantized flag manifolds and irreducible \(*\)-representations (Q1302016): Difference between revisions

Let \(\mathfrak g\) be a complex simple Lie algebra, \(G\) the corresponding simply connected Lie group, and \(U\subset G\) its compact form. Let \(S\) be a subset of the set \(\Delta\) of simple roots, and let \(P_S\) be the corresponding standard parabolic subgroup of \(G\); \({\mathfrak p}_S\) is the Lie algebra of \(P_S\). Set \(K_S:= U\cap P_S\). The quantized universal enveloping algebra \(\mathcal U_q(\mathfrak g)\) is considered over \(\mathbb{C}\), \(q\in(0,1)\). The real compact form is determined by a \(^*\)-involution. The quantized algebra \(\mathbb{C}_q[G]\) of functions on \(G\) is spanned by matrix coefficients of the finite-dimensional irreducible representations of \(\mathcal U_q(\mathfrak g)\). \(\mathbb{C}_q[G]\) with the induced \(^*\)-structure is interpreted as \(\mathbb{C}_q[U]\). Let \({\mathfrak l}_S\) be the Levi factor of \({\mathfrak p}_S\). Then \(\mathcal U_q({\mathfrak l}_S)\) may be considered as a Hopf \(^*\)-subalgebra of \(\mathcal U_q(\mathfrak g)\); denote the embedding by \(\iota_S\colon \mathcal U_q({\mathfrak l}_S)\hookrightarrow \mathcal U_q(\mathfrak g)\). Set \(\mathbb{C}_q[L_S]:= \iota_S^*(\mathbb{C}_q[G])\). The quantized algebra of functions on the generalized flag manifold \(U/K_S\) is defined as \(\mathbb{C}_q[U/K_S]:= \{\phi\in\mathbb{C}_q[U]\colon (\text{id}\otimes\iota_S^*)\Delta(\phi)=\phi\otimes 1\}\) (here \(\Delta\) denotes the comultiplication). According to a known result, a complete set of mutually inequivalent irreducible \(^*\)-representations of \(\mathbb{C}_q[U]\) consists of elements \(\pi_\sigma\otimes\pi_t\), where \(\sigma\) runs over the Weyl group \(W\) and \(t\) runs over the maximal torus \(T\subset U\). This is related to the main goal of the paper -- a description of irreducible \(^*\)-representations of \(\mathbb{C}_q[U/K_S]\). Basically, it is shown that the sought complete set of mutually inequivalent irreducible \(^*\)-representations in this case is \(\{\pi_\sigma\}_{\sigma\in W^S}\), where \(W^S:=\{w\in W: l(ws_\alpha)>l(w)\;\forall\alpha\in S\}\) (\(l\) is the length function on \(W\)). More precisely, this is proven for the completion \(\mathbb{C}_q(U/K_S)\) of \(\mathbb{C}_q[U/K_S]\) with respect to the universal \(C^*\)-norm on \(\mathbb{C}_q[U]\). The same result is also proven for the \(^*\)-algebra \(\mathbb{C}_q[U/K_S]\) itself in some particular cases: (i) \(S=\emptyset\) (then \(K_S=T\)); (ii) \(\Delta\setminus S=\{\alpha\}\), where \(\alpha\) is a Gelfand node. This covers the irreducible compact Hermitian spaces. In addition, the structure of irreducible \(^*\)-representations is related to the structure of symplectic leaves on the flag manifold.