Colocalizations of noncommutative spectra and bootstrap categories

DOI10.1016/J.AIM.2015.07.029zbMATH Open1334.19002arXiv1412.8370OpenAlexW1486247154MaRDI QIDQ887299FDOQ887299

Authors: Snigdhayan Mahanta 

Publication date: 28 October 2015

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: We construct a compactly generated and closed symmetric monoidal stable $infty$-category $mathttNS{p}^{\prime }$ and show that $mathtt{hNS{p}^{\prime }}^{op}$ contains the suspension stable homotopy category of separable $C^{\ast }$-algebras $mathttSigmaH{o}^{C^{\ast }}$ constructed by Cuntz-Meyer-Rosenberg as a fully faithful triangulated subcategory. Then we construct two colocalizations of $mathttNS{p}^{\prime }$, namely, $mathttNS{p}^{\prime }[mathbb{K}^{-1}]$ and $mathttNS{p}^{\prime }[mathcal{Z}^{-1}]$, both of which are shown to be compactly generated and closed symmetric monoidal. We prove that Kasparov $KK$-category of separable $C^{\ast }$-algebras sits inside the homotopy category of $mathttK{K}_{i}nfty:=mathttNS{p}^{\prime }[mathbb{K}^{-1}{]}^{op}$ as a fully faithful triangulated subcategory. Hence $mathttK{K}_{i}nfty$ should be viewed as the stable $infty$-categorical incarnation of Kasparov $KK$-category for arbitrary pointed noncommutative spaces (including nonseparable $C^{\ast }$-algebras). As an application we find that the bootstrap category in $mathtthNS{p}^{\prime }[mathbb{K}^{-1}]$ admits a completely algebraic description. We also construct a $K$-theoretic bootstrap category in $mathtthK{K}_{i}nfty$ that extends the construction of the UCT class by Rosenberg-Schochet. Motivated by the algebraization problem we finally analyse a couple of equivalence relations on separable $C^{\ast }$-algebras that are introduced via the bootstrap categories in various colocalizations of $mathttNS{p}^{\prime }$.

Full work available at URL: https://arxiv.org/abs/1412.8370

Recommendations

• Symmetric monoidal noncommutative spectra, strongly self-absorbing \(C^*\)-algebras, and bivariant homology
• scientific article; zbMATH DE number 1966318
• scientific article; zbMATH DE number 5657126
• Categories of fractions and excision in KK-theory
• scientific article; zbMATH DE number 1302969
• scientific article; zbMATH DE number 2247526
• Universal cycles and homological invariants of locally convex algebras
• Spectral triples and \(KK\)-theory: a survey
• Universal coefficient theorems and assembly maps in KK-theory
• Symmetric \(K\)-theory spectra of \(C^*\)-categories

zbMATH Keywords

\(C^\ast\)-algebrastriangulated categoriesnoncommutative spectrastable \(\infty\)-categories(co)localizationsbivariant K-theorybootstrap categories

Mathematics Subject Classification ID

Noncommutative topology (46L85) Stable homotopy theory, spectra (55P42) Higher algebraic (K)-theory (19Dxx) Homology and cohomology theories in algebraic topology (55Nxx)

Cites Work

• Twisted \(K\)-theory, \(K\)-homology, and bivariant Chern-Connes type character of some infinite dimensional spaces
• Strongly self-absorbing $C^{*}$-algebras
• Symmetric monoidal noncommutative spectra, strongly self-absorbing \(C^*\)-algebras, and bivariant homology
• On the foundations of noncommutative geometry
• A Dixmier-Douady theory for strongly self-absorbing \(C^\ast\)-algebras. II: The Brauer group
• Topological and bivariant K-theory
• Triangulated categories
• Localization theory for triangulated categories
• The Jiang–Su algebra revisited
• Higher Topos Theory (AM-170)
• Universality of multiplicative infinite loop space machines
• Stable model categories are categories of modules
• The Grothendieck duality theorem via Bousfield’s techniques and Brown representability
• The Künneth theorem and the universal coefficient theorem for Kasparov's generalized K-functor
• Title not available (Why is that?)
• A model category structure on the category of simplicial categories
• Strongly self-absorbing \(C^{\ast}\)-algebras are \(\mathcal{Z}\)-stable
• The Baum-Connes conjecture
• Title not available (Why is that?)
• The Baum-Connes conjecture via localisation of categories
• Morphisms of extensions of \(C^*\)-algebras: Pushing forward the Busby invariant
• On a Simple Unital Projectionless C*-Algebra
• A note on asymptotic homomorphisms
• Title not available (Why is that?)
• Higher index theory of elliptic operators and geometry of groups
• The Boolean algebra of spectra
• A note on \(K\)-theory and triangulated categories
• Homotopy theory of \(C^*\)-algebras
• Title not available (Why is that?)
• On the algebraic classification of module spectra
• Uniqueness of the multiplicative cyclotomic trace
• On the Homotopy Theory of K-Local Spectra at an Odd Prime
• On the generating hypothesis in noncommutative stable homotopy
• Noncommutative stable homotopy and stable infinity categories
• On the algebraic classification of \(K\)-local spectra
• A Brown representability theorem via coherent functors
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (11)

• Algebraic \(K\)-theory, \(K\)-regularity, and \(\mathbb T\)-duality of \(\mathcal O_\infty\)-stable \(C^\ast\)-algebras
• Symmetric monoidal noncommutative spectra, strongly self-absorbing \(C^*\)-algebras, and bivariant homology
• \(C^\ast\)-algebraic drawings of dendroidal sets
• Homotopy-theoretic E-theory and \(n\)-order
• Colocalizations and their realizations as spectra
• The derived category of complex periodic \(K\)-theory localized at an odd prime
• \(C^*\)-algebras over topological spaces: the bootstrap class
• Localizing subcategories in the bootstrap category of filtered \(\mathrm{C}^\ast\)-algebras
• Localizing subcategories in the bootstrap category of separable \(C\)*-algebras
• Noncommutative stable homotopy and stable infinity categories
• Noncommutative CW-spectra as enriched presheaves on matrix algebras

This page was built for publication: Colocalizations of noncommutative spectra and bootstrap categories

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