文摘
For the quantum symplectic group SPq(2n), we describe the C∗-algebra of continuous functions on the quotient space SPq(2n)/SPq(2n−2) as an universal C∗-algebra given by a finite set of generators and relations. The proof involves a careful analysis of the relations, and use of the branching rules for representations of the symplectic group due to Zhelobenko. We then exhibit a set of generators of the K-groups of this C∗-algebra in terms of generators of the C∗-algebra.