Partially algebraic maps and operator algebras

Research exposition (monographs, survey articles) pertaining to (K)-theory (19-02) (K)-theory and operator algebras (19Kxx) Research exposition (monographs, survey articles) pertaining to functional analysis (46-02) Selfadjoint operator algebras ((C^*)-algebras, von Neumann ((W^*)-) algebras, etc.) (46Lxx) Research exposition (monographs, survey articles) pertaining to algebraic topology (55-02)

Review text

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).

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Partially algebraic maps and operator algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2124308)