
arXiv: 2412.19936
Algebraic $kk$-theory, introduced by Cortiñas and Thom, is a bivariant $K$-theory defined on the category $\mathrm{Alg}$ of algebras over a commutative unital ring $\ell$. It consists of a triangulated category $kk$ endowed with a functor from $\mathrm{Alg}$ to $kk$ that is the universal excisive, homotopy invariant and matrix-stable homology theory. Moreover, one can recover Weibel's homotopy $K$-theory $\mathrm{KH}$ from $kk$ since we have $kk(\ell,A)=\mathrm{KH}(A)$ for any algebra $A$. We prove that $\mathrm{Alg}$ with the split surjections as fibrations and the $kk$-equivalences as weak equivalences is a stable category of fibrant objects, whose homotopy category is $kk$. As a consecuence of this, we prove that the Dwyer-Kan localization $kk_\infty$ of the $\infty$-category of algebras at the set of $kk$-equivalences is a stable infinity category whose homotopy category is $kk$.
Some typos were corrected and Appendix B was dropped. Version to appear in Orbita Mathematicae. 40 pages
\((\infty,1)\)-categories (quasi-categories, Segal spaces, etc.); \(\infty\)-topoi, stable \(\infty\)-categories, \(\infty\)-categories, 19D55, 18N45, 18N60, 19K35, FOS: Mathematics, Category Theory, K-Theory and Homology (math.KT), Category Theory (math.CT), \(K\)-theory and homology; cyclic homology and cohomology, categories of fibrant objects, bivariant algebraic \(K\)-theory, K-Theory and Homology, Categories of fibrations, relations to \(K\)-theory, relations to type theory, Kasparov theory (\(KK\)-theory)
\((\infty,1)\)-categories (quasi-categories, Segal spaces, etc.); \(\infty\)-topoi, stable \(\infty\)-categories, \(\infty\)-categories, 19D55, 18N45, 18N60, 19K35, FOS: Mathematics, Category Theory, K-Theory and Homology (math.KT), Category Theory (math.CT), \(K\)-theory and homology; cyclic homology and cohomology, categories of fibrant objects, bivariant algebraic \(K\)-theory, K-Theory and Homology, Categories of fibrations, relations to \(K\)-theory, relations to type theory, Kasparov theory (\(KK\)-theory)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
