Unitarity of induced representations from coisotropic quantum subgroups (Q1819176)

To introduce quantum homogeneous spaces the authors use the notion of a coisotropic subgroup. Let \((\mathcal F_q(G),\ast)\) be a real quantum group. A real coisotropic quantum (left) subgroup \((\mathcal F_q(K),\tau_K)\) is a coalgebra with an antilinear map \(\tau_K:\mathcal F_q(K)\to\mathcal F_q(K)\) such that \(\mathcal F_q(K)\) is a left \(\mathcal F_q(G)\)-module, there exists a surjective linear map \(\pi:\mathcal F_q(G)\to\mathcal F_q(K)\) which is a morphism of \(\mathcal F_q(G)\)-modules and of coalgebras and it holds \(\tau_K\circ\pi=\pi\circ\tau\) where \(\tau=\ast\circ S\). The homogeneous space is defined as \(B_\pi=\{a\in\mathcal F_q(G)\mid (\pi\otimes\text{id})\Delta a= \pi(1)\otimes a\}\). The induced representations are introduced as follows. Let \(\rho:V\to V\otimes\mathcal F_q(K)\) be a right corepresentation of \(\mathcal F_q(K)\). Set \(L=(\pi\otimes\text{id})\Delta: \mathcal F_q(G)\to\mathcal F_q(K)\otimes\mathcal F_q(G)\) and define the linear space \(\text{ind}_K^G(\rho)=\{F\in V\otimes\mathcal F_q(G)\mid(\text{id}\otimes L)F=(\rho\otimes\text{id})F\}\). The restriction of \((\text{id}\otimes\Delta)\) to \(\text{ind}_K^G(\rho)\) defines a right corepresentation of \(\mathcal F_q(G)\). The basic goal of the paper is to complete this construction with a unitary structure. If \(\langle\;,\;\rangle\) is a scalar product on \(V\) then one defines \(\langle\;,\;\rangle_L\), a sesquilinear map from \(V\otimes\mathcal F_q(G)\) to \(\mathcal F_q(G)\), by \(\langle a\otimes v,b\otimes w\rangle_L=\langle v,w\rangle a^\ast b\). A sesquilinear form on \(\text{ind}_K^G(\rho)\) is introduced by the relation \(\langle A,B\rangle=h(\langle A,B\rangle_L)\) where \(h\) is an appropriate linear functional on \(B_\pi\). The authors introduce and study the notion of quasi-invariance of such functionals. The construction is illustrated on an example of the one-dimensional quantum Galilei group.