The loop-stable homotopy category of algebras

DOI10.1016/J.JALGEBRA.2020.02.024MaRDI QIDQ2174536zbMATH OpenOpenAlexFDO

Authors Emanuel Darío Rodríguez Cirone

Publication date 21 April 2020

Published in Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

bivariant \(K\)-theoryhomotopy-invariant functortensor algebrauniversal extension

Mathematics Subject Classification ID

Derived categories, triangulated categories (18G80) Kasparov theory ((KK)-theory) (19K35)

Abstract: Let l be a commutative ring with unit. Garkusha constructed a functor from the category of l-algebras into a triangulated category D, that is a universal excisive and homotopy invariant homology theory. Later on, he provided different descriptions of D, as an application of his motivic homotopy theory of algebras. Using these, it can be shown that D is triangulated equivalent to a category, denote it by k, whose objects are pairs (A,m) with A an l-algebra and m an integer, and whose Hom-sets can be described in terms of homotopy classes of morphisms. All these computations, however, require a heavy machinery of homotopy theory. In this paper, we give a more explicit construction of the triangulated category k and prove its universal property, avoiding the homotopy-theoretic methods and using instead the ones developed by Corti~nas-Thom for defining kk-theory. Moreover, we give a new description of the composition law in k, mimicking the one in the suspension-stable homotopy category of bornological algebras defined by Cuntz-Meyer-Rosenberg. We also prove that the triangulated structure in k can be defined using either extension or mapping path triangles.

Review text

Topological \(K\)-theory for \(C^*\)-algebras was generalised by Kasparov to a bivariant theory. This powerful tool for the study of \(C^*\)-algebra \(K\)-theory was characterised by Cuntz and Higson through a universal property. And this universal property was used by \textit{J. Cuntz} [\(K\)-Theory 35, No. 1--2, 93--137 (2005; Zbl 1111.19003)] to define analogues of Kasparov's bivariant \(K\)-theory for certain topological algebras that need not be \(C^*\)-algebras. By construction, Cuntz's bivariant \(K\)-theory is an additive category, and it receives a functor from the underlying category of algebras and homomorphisms. This functor universal among functors that are exact for extensions with a continuous linear section, invariant under smooth homotopies, and invariant under tensoring with a smooth algebra of compact operators. Several authors have adapted Cuntz's construction to other categories of algebras. In particular, \textit{G. Cortiñas} and \textit{A. Thom} [J. Reine Angew. Math. 610, 71--123 (2007; Zbl 1152.19002)] defined a bivariant \(K\)-theory for algebras over a unital ground ring, replacing smooth by polynomial homotopies and the smooth compact operators by the algebra of finite matrices. More recently, \textit{G. Garkusha} [J. Homotopy Relat. Struct. 8, No. 1, 67--116 (2013; Zbl 1278.19005); Doc. Math. 19, 1207--1269 (2014; Zbl 1314.19005)] studied the universal exact and homotopy invariant functor on various categories of algebras. He was interested, among others, in the category of commutative algebras and thus was forced to use different techniques to build it. In this paper, the universal functor exact, homotopy invariant functor on the category of all algebras over a fixed ground ring is built in great detail and using the machinery going back to Cuntz's bivariant \(K\)-theory. It is also shown that the resulting category is triangulated and that the mapping cone construction or semi-split extensions of algebras both give the same class of exact triangles.

Recommendations

• scientific article; zbMATH DE number 1302969
• scientific article; zbMATH DE number 1740269
• Bivariant \(K\)-theory for locally convex algebras and the Chern-Connes character
• scientific article; zbMATH DE number 2247526
• Bivariant algebraic K-theory

Cites work

• Algebraic Kasparov \(K\)-theory. I
• Algebraic Kasparov \(K\)-theory. II
• Bivariant K-theory and the Weyl algebra
• Bivariant algebraic K-theory
• Homotopy theory of rings
• Simplicial homotopy theory
• The homotopy groups of the simplicial mapping space between algebras
• Topological and bivariant K-theory
• Triangulated categories
• Universal bivariant algebraic \(K\)-theories

Cited in

(20)

• \(KK\)-theories for topological algebras
• Bivariant \(K\)-theory for locally convex algebras and the Chern-Connes character
• The homotopy groups of the simplicial mapping space between algebras
• Bivariant Hermitian K-theory and Karoubi's fundamental theorem
• Algebraic Kasparov \(K\)-theory. II
• Categories of fractions and excision in KK-theory
• Stable derived functors, the Steenrod algebra and homological algebra in the category of functors
• Homological algebra in bivariant K-theory and other triangulated categories. I
• Categorical aspects of bivariant K-theory
• \(C^*\)-algebras over topological spaces: the bootstrap class
• Stable homotopical algebra and Γ-spaces
• scientific article; zbMATH DE number 1302969 (Why is no real title available?)
• scientific article; zbMATH DE number 1740269 (Why is no real title available?)
• Bivariant algebraic K-theory
• Lifting graph C∗C^*‐algebra maps to Leavitt path algebra maps
• Algebraic \(k\,k\)-theory and the KH-isomorphism conjecture
• Relative homological algebra for bivariant K-theory
• Homological algebra and (semi)stable homotopy
• Homotopy structures realizing algebraic kk-theory
• Topological and bivariant K-theory

This page was built for publication: The loop-stable homotopy category of algebras

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