Homotopy properties of the set of Noether elements of a \(C^*\)-algebra of multidimensional generalized Toeplitz operators (Q1059256)

Let \(S_{2p-1}\) be the unit sphere in \(C^ p\) and \(H_ 2\) be the Hardy space of \(L_ 2\)-boundary values of analytic functions on \(S_{2p-1}\). Any continuous \(a\in C(S_{2p-1})\) defines a Toeplitz operator \(T_ a(f)=P(af),\) \(f\in H_ 2\), where p is the orthogonal Szegö projector from \(L^ 2\) onto \(H^ 2\). Let \({\mathcal A}_ p\) be the \(C^*\)-algebra generated by all \(T_ a\). For \(p=(p_ 1,...,p_ n)\in {\mathbb{Z}}^ n_+\) and \(r\in {\mathbb{Z}}_+\) define \({\mathcal A}_ p^{(r)}={\mathcal A}_{p_ 1}\otimes...\otimes {\mathcal A}_{p_ n}\otimes End({\mathbb{C}}^*)\), the \(C^*\)-algebra of (r\(\times r)\)-systems of generalized Toeplitz operators on \(S_{p_ 1}\times...\times S_{p_ n}.\) Let \({\mathcal F}_ p^{(r)}\) be the topological space of Fredholm elements in \({\mathcal A}_ p^{(r)}.\) Theorem: Let \(r>4(p_ 1+...+p_ n)-2n\); then the connectivity group \(\pi_ 0({\mathcal F}_ p^{(r)},Id)\) is \({\mathbb{Z}}.\) An explicit representative is indicated in each component of \({\mathcal F}_ p^{(r)}\).