Homotopical and operator algebraic twisted \(K\)-theory (Q2205565)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Homotopical and operator algebraic twisted \(K\)-theory
scientific article

    Statements

    Homotopical and operator algebraic twisted \(K\)-theory (English)
    0 references
    0 references
    0 references
    20 October 2020
    0 references
    Twisted \(K\)-theory was first defined from an operator viewpoint, but it also fits into the homotopical framework of twisted cohomology theories. A twisted cohomology theory is represented by a parametrized spectrum over the classifying space \(BGL_1(R)\) of a topological monoid which accounts for the twists. Both real and complex twisted \(K\)-theory are in fact represented by \(E_{\infty}\) parametrized ring spectra and \(BGL_1(KO)\) and \(BGL_1(KU)\) are \(E_{\infty}\) spaces. This paper identifies the operator and homotopical point of view preserving this extra layer of multiplicative structure. The parametrized spectra for both viewpoints of twisted \(K\)-theory are constructed as commutative symmetric ring spectra in retractive spaces. The base spaces, which are the classifying spaces of the topological monoids which account for the twists, are then given by commutative \(\mathcal{I}\)-space monoids, where \(\mathcal{I}\) is the category of finite sets and injections. These two spectra are related through a zigzag of local equivalences. Similar results are obtained for the Spin and Spin\(^c\) bordism spectra, and for twisted \(K\)-theories associated to strongly self-absorbing, purely infinite \(C^*\)-algebras. In particular, taking the infinite Cuntz algebra, the authors obtain that the cycle description of higher twisted \(K\)-theory given by [\textit{U. Pennig}, J. Topol. 9, No. 1, 27--50 (2016; Zbl 1356.46059)] is multiplicative. Another interesting byproduct of the generality of the constructions is a model for the inclusion of the tautological twists of the Thom spectrum of a commutative parametrized ring spectrum.
    0 references
    0 references
    0 references
    0 references
    0 references
    twisted \(K\)-theory
    0 references
    parametrized homotopy theory
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references