Vector bundles over multipullback quantum complex projective spaces (Q2043511)

The paper is devoted to the problem of computing finitely generated projective modules over some quantum \(C^*\)-algebras such as the quantum complex projective spaces \(C(\mathbb P^n(\mathfrak T))\), quantum spheres \(C(\mathbb S_H^{2n+1})\) by using the groupoid methods by \textit{J. Renault} [A groupoid approach to \(C^{\ast}\)-algebras. Cham: Springer (1980; Zbl 0433.46049)], \textit{R. E. Curto} and \textit{P. S. Muhly} [J. Funct. Anal. 64, 315--329 (1985; Zbl 0583.46049)]. Denote by \(C(\mathfrak T^{\otimes n})\) the \(C^*\)-algebra of complex projective space, \(\mathfrak T \cong C^*(\mathbb Z \ltimes \bar{\mathbb Z}_{\geq 0})\) the Toeplitz \(C^*\)-algebra and \(\mathfrak T^{\otimes n} \cong C(\mathbb Z^n \ltimes \bar{\mathbb Z}_{\geq 0}^n)\) the multivariable Toeplitz \(C^*\)-algebra, where \(\bar{\mathbb Z}= \mathbb Z \cup \{\infty\}\) is the extended set of integral numbers. Denote by \(C(\mathbb S_H^{2n+1})\) the \(C^*\)-algebra of quantum odd dimension spheres. The author classified the finitely generated modules of rank higher than \(\lfloor n/2\rfloor +3\) and described the line bundles over \(C(\mathbb S_H^{2n+1})\). There are two short exact sequences \[ 0 \to C^*((\mathbb Z^n \ltimes \bar{\mathbb Z}^n)|_{\mathbb Z^n_{\geq}}) \cong \mathcal K(\ell^2(\mathbb Z^n_\geq)) \triangleleft C^*(\mathfrak T_n)\to C^*((\mathbb Z^n \ltimes \bar{\mathbb Z}^n)|_{\bar{\mathbb Z}^n\setminus\mathbb Z^n_\geq}) \to 0 \] and \[ 0 \triangleleft C^*((\mathbb Z^n \ltimes \bar{\mathbb Z}^n)|_{\bar{\mathbb Z}^n\setminus\{\infty^n\}}) \to C^*(\mathfrak T_n) \cong \mathfrak T^{\otimes n} \sigma_n\] \[C^*((\mathbb Z^n \ltimes \bar{\mathbb Z}^n)|_{\{\infty^n\}}\cong C^*(\mathbb Z^n) \cong C(\mathbb T^n) \triangleleft 0\] and one short exact sequene for quantum sphere \[0 \to C^*((\mathbb Z^n \ltimes \bar{\mathbb Z}^n)|_{\bar{\mathbb Z}^n\setminus\mathbb Z^n_\geq}) \triangleleft C(\mathbb S_H^{2n+1}) \cong \bigotimes^n \mathfrak T/\bigotimes^n \mathcal K \triangleleft C(\mathbb T^n) \to 0\] The finitely generated projective modules over the \(C^*\)-algebras \(C(\mathfrak T^{\otimes n})\) and \(C(\mathbb S_H^{2n+1})\) for rank higher than \(\lfloor n/2\rfloor +3\) then are desribed as finite sums of direct products of elementary modules over \(\mathfrak T\) for the indicated cases (Corollary 2 to Proposition 2, Theorems 1, 2, 3, Corollaries 3, 4, 5). The \(K_0\)-groups of these \(C^*\)-algebras are computed (Theorems 4, 5). The line bundles of \(C^*\)-algebras \(C(\mathbb S_H^{2n+1})\) are described (in Theorem 6).