Partially algebraic maps and operator algebras (Q2124308)

The paper is devoted to a construction of \(K\)-theory based on the partially algebraic maps between a torus to a sphere. A contiuous map \(f: X \times Y \to Z\) is ``partially algebraic'' with respect to \(X\)(especially, \(=\mathbb T^p\)) if for each \(y\in Y(resp., =\mathbb T^{n-p})\) it defines an algebraic map (resp., of level \(p\)) from \(X\) to \(Z\) (resp., \(= \mathbb S^n\)). If \(n\) is even (resp. odd), then any partially algebraic map of level \(p>n/2\) (resp., \(p>(n+1)/2\)) is homotopic to a constant map, and there exists a degree one partially algebraic map of level \(p=n/2\) (resp., \(p=(n+1)/2\)) (Theorems 2.2, 2.3). The map induces: -- an isomorphism \(K_i^{\mathrm{top}}(C_0(\mathbb S^1)) \cong K_i^{\mathrm{top}}(\mathcal C)\) between the associated topological \(K\)-groups of complex operator \(C^*\)-algebras \(C_0(\mathbb S^1)\) of continuous functions vanishing at \(e=1\) and the Calkin algebra \(\mathcal C = \mathcal B/\mathcal K\) in the Hilbert space \(H = \ell^2(\mathbb Z)\), - an isomorphism for tensor powers \(K_i^{\mathrm{top}}(C_0(\mathbb S^1)^{\otimes_{\max}^p}) \cong K_i^{\mathrm{top}}(\mathcal C^{\otimes_{\max}^p})\), -- an surjective comparison map of negative \(K\)-groups \(K_{-p}(\mathcal K) \cong K_{-p}^{\mathrm{top}}(\mathcal K)\cong \mathbb Z\) (Corollary 3.5) - and an surjective comparison map of negative \(K\)-groups \(K_{-p}(\mathcal L) \cong K_{-p}^{\mathrm{top}}(\mathcal K)\cong \mathbb Z\) (Theorem 3.8), where \(\mathcal L\) is the algebra of infinite matrices with rapid decay. The same results work also in the real case framework (Section 4). The Bott periodicity is valid: there is a Bott element \(\gamma\) the cup product of which induces in isomorphism of period 8: \(L_r(L^\infty_\mathbb{R}) \cong K_{r+ 8}(L^\infty_\mathbb{R})\) for the ring \(L^\infty_\mathbb{R}\) of Schatten classes (Theorems 5.2, 5.4).