Model structure on projective systems of C^-algebras and bivariant homology theories

zbMATH Open1380.46053arXiv1508.04283MaRDI QIDQ526165FDOQ526165

Authors: Ilan Barnea, Michael Joachim, Snigdhayan Mahanta 

Publication date: 10 May 2017

Published in: The New York Journal of Mathematics (Search for Journal in Brave)

Abstract: Using the machinery of weak fibration categories due to Schlank and the first author, we construct a convenient model structure on the pro-category of separable $C^{*}$-algebras $mathrmPro(mathttS{C}^{*})$. The opposite of this model category models the $infty$-category of pointed noncommutative spaces $mathttNmathcal{S}_{*}$ defined by the third author. Our model structure on $mathrmPro(mathttS{C}^{*})$ extends the well-known category of fibrant objects structure on $mathttS{C}^{*}$. We show that the pro-category $mathrmPro(mathttS{C}^{*})$ also contains, as a full coreflective subcategory, the category of pro-$C^{*}$-algebras that are cofiltered limits of separable $C^{*}$-algebras. By stabilizing our model category we produce a general model categorical formalism for triangulated and bivariant homology theories of $C^{*}$-algebras (or, more generally, that of pointed noncommutative spaces), whose stable $infty$-categorical counterparts were constructed earlier by the third author. Finally, we use our model structure to develop a bivariant $mathrmK$-theory for all projective systems of separable $C^{*}$-algebras generalizing the construction of Bonkat and show that our theory naturally agrees with that of Bonkat under some reasonable assumptions.

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

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• scientific article; zbMATH DE number 1882636
• The model theory of modules of a \(C^*\)-algebra
• Model theory of \(C^*\)-algebras
• Projective homological classification of c^∗-algebras
• Projective and Reedy model category structures for (infinitesimal) bimodules over an operad
• scientific article
• Bivariant cyclic cohomology and models for cyclic homology types
• A projective \(C^{*}\)-algebra related to \(K\)-theory
• Algebraic models in the homotopy theory of classifying spaces
• AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS

zbMATH Keywords

\(C^\ast\)-algebramodel categorytriangulated category\(\infty\)-categorypro-categorybivariant homologyKK-theory

Mathematics Subject Classification ID

(K)-theory and operator algebras (including cyclic theory) (46L80) Noncommutative topology (46L85) Categories, functors in functional analysis (46M15) Stable homotopy theory, spectra (55P42) Topological (K)-theory (55N15)

Cited In (8)

• A projective model structure on pro-simplicial sheaves, and the relative étale homotopy type
• Symmetric monoidal noncommutative spectra, strongly self-absorbing \(C^*\)-algebras, and bivariant homology
• On the relation between K- and L-theory of \(C^*\)-algebras
• Title not available (Why is that?)
• Noncommutative CW-spectra as enriched presheaves on matrix algebras
• Title not available (Why is that?)
• Suspension spectra of matrix algebras, the rank filtration, and rational noncommutative CW-spectra
• The two out of three property in ind-categories and a convenient model category of spaces

This page was built for publication: Model structure on projective systems of \(C^\ast\)-algebras and bivariant homology theories

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