Noncommutative homogeneous spaces: the matrix case (Q414526): Difference between revisions

From the fundamental result of Gelfand that any commutative \(C^*\)-algebra is of the form \(C(X)\), \(X\) a compact Hausdorff space, it follows that a non-commutative compact space should be just the abstract categorical dual of an arbitrary unital \(C^*\)-algebra. Inteteresting examples of such non-commutative spaces are provided in the works of \textit{A. Connes} [Commun. Math. Phys. 182, No. 1, 155--176 (1996; Zbl 0881.58009)], \textit{S. L. Woronowicz} [Commun. Math. Phys. 111, 613--665 (1987; Zbl 0627.58034); Invent. Math. 93, No. 1, 35--76 (1988; Zbl 0664.58044); in: Quantum symmetries/ Symétries quantiques. Proceedings of the Les Houches summer school 1995. Amsterdam: North-Holland. 845--884 (1998; Zbl 0997.46045)], \textit{P. Podleś} [Commun. Math. Phys. 170, No. 1, 1--20 (1995; Zbl 0853.46074)], \textit{F. P. Boca} [Paris: Société Mathématique de France, Astérisque. 232, 93--109 (1995; Zbl 0842.46039)] and \textit{R. Tomatsu} [J. Funct. Anal. 254, No. 1, 1--83 (2008; Zbl 1137.46041)]. Podleś, Boca and Tomatsu provide examples of non-commutative homogeneous spaces and more related information on such spaces can be seen in the work of Podleś [loc. cit.]. In this paper, the authors examine non-commutative homogeneous spaces, especially the matrix case. Given a compact group \(G \subset U_n\) and a number \(k \leq n,\) consider the compact group \(H = G \cap U_k\) where the embedding \(U_k \subset U_n\) is given by \(g \rightarrow \mathrm{diag}(g, I_{n-k})\) and form the homogeneous space \(X = G/H.\) The authors first show that \(C(G/H)\) viewed as a subalgebra of \(C(G)\) is generated by the last \(n-k\) rows of coordinates on \(G\). The authors then examine the quantum group case and show that the analogue of this basic result does not necessarily hold and discuss its validity and give a complete answer to this question in the group dual case. The authors then examine the validity of this result in the case of the `easy quantum group' introduced initially by \textit{T. Banica} in [Adv. Math. 222, No. 4, 1461--1501 (2009; Zbl 1247.46064)]. The final sections, Section 5 and 6, contain further results on several algebras associated to the non-commutative spaces of type \(X = G/ (G \cap U^{+}_{k}).\) The authors provide plenty of problems for further study and research in the concluding section.