Hopf coactions on odd spheres (Q2326446): Difference between revisions

This paper is concerned with the description of the quantum isometry group of \(q\)-deformed odd spheres. The authors consider only odd dimensional case since their techniques were based on the fact that certain operator has exactly two eigenvalues, which is no longer true in the even dimensional case. One of the main results of the paper is Theorem~6.6: Let \(Q\) be a Hopf \(\ast\)-algebra coacting on \(\mathcal{O}(S_q^{2N-1})\) by \(\rho\) making it a \(\ast\)-comodule algebra, where we have viewed \(\mathcal{O}(S_q^{2N-1})\) as a \(\ast\)-coideal subalgebra of \(\mathcal{O}(\mathrm{SU}_q(N))\). Moreover, suppose that \begin{itemize} \item[i)] \(\rho\) leaves the subspace \(V=\mathrm{span}\{z_1,\ldots,z_N\}\) invariant, \((\ldots)\) \item[ii)] \(\rho\) preserves the inner product on \(V\) induced by the Haar functional. \end{itemize} Then there is a unique \(\ast\)-morphism \(\Psi:\mathcal{O}(\mathrm{U}_q(N))\rightarrow Q\) such that \((\mathrm{id}\otimes \Psi)\rho_u=\rho\). Here \(\rho_u\) is the coaction of \(\mathcal{O}(\mathrm{U}_q(N))\) on \(\mathcal{O}(S_q^{2N-1})\). Using this theorem and the fact that \(\rho_u\) preserves the restriction of the Haar functional on \(\mathcal{O}(S_q^{2N-1})\), the authors prove in Theorem~6.9 that \(\mathcal{O}(\mathrm{U}_q(N))\) is a universal object in the category of Hopf \(\ast\)-algebras satisfying conditions i),ii) in Theorem.~6.6, with morphisms being Hopf \(\ast\)-morphisms intertwinning the coactions. In [\textit{P. S. Chakraborty} and \textit{A. Pal}, J. Reine Angew. Math. 623, 25--42 (2008; Zbl 1158.58003)] the spectral triple \((\mathcal{O}(S_q^{2N-1}),L_2(S_q^{2N-1}),D)\) on \(\mathcal{O}(S_q^{2N-1})\) was constructed, with \(L_2(S_q^{2N-1})\) being the closure of \(S_q^{2N-1}\) in the GNS space corresponding to \(\mathrm{SU}_q(N)\) and the Dirac operator \(D\) defined in terms of Gelfand-Tselin tableaux (see also Theorem~7.6). For a given spectral triple with a Hilbert space \(H\) a quantum family of orientation preserving isometries was defined in [\textit{J. Bhowmick} and \textit{D. Goswami}, J. Funct. Anal. 257, No. 8, 2530--2572 (2009; Zbl 1180.58005)] as a pair of a unital \(C^\ast\)-algebra \(S\) and a linear map \(u:H\rightarrow H\otimes S\) satisfying certain conditions (see also Definition~7.7 and the discussion around it). For the spectral triple on \(\mathcal{O}(S_q^{2N-1})\) the authors consider the category with objects being pairs of a compact quantum group together with an action preserving the Haar functional and commuting (in an appropriate sense) with the Dirac operator. Equivalent description of objects in this category (Lemma.~7.11) allows the authors to prove that \(\mathrm{U}_q(N)\) is the quantum group of orientation preserving isometries for the spectral triple of quantum sphere \(S_q^{2N-1}\) (Theorem~7.12).