Relative homological algebra and Waldhausen \(K\)-theory
type: Item
instance of: scholarly article
title: Relative homological algebra and Waldhausen \(K\)-theory
zbMATH Open document ID: 1404.18026
author: Andrew Salch
published in: Homology, Homotopy and Applications
publication date: 2018-03-29T00:00:00Z
full work available at URL: https://arxiv.org/abs/1303.3672
review text: This paper studies the existence of Waldhausen (abelian) categories where the associated \(K\)--theory groups form stable \(G\)-theories, and provides applications. Here the word ``stable'' has its origin to stable module categories. Recall that if \(R\) is a ring, the stable category \(\underline{\mathrm{Mod}}(R)\), has the same objects as \({\mathrm{Mod}}(R)\), and that two parallel morphisms are equivalent if their difference factors through a projective module. The paper is written in the language of relative homological algebra: the author considers an abelian category \(\mathcal{C}\), together with an ``allowable class'' of short exact sequences \(E\). Then \(E\)-projectives, \(E\)-injectives and \(E\)-stable equivalences are introduced. The author provides sufficient conditions imposed on an abelian category \(\mathcal{C}\), equipped with two allowable classes \(F\subseteq E\), in order for it to be a Waldhausen category, where the cofibrations are the \(F\)-monomorphisms and the weak equivalences are the \(E\)-stable equivalences. He also provides sufficient conditions on such a category for Waldhausen's fibration theorem to hold [\textit{F. Waldhausen}, Lect. Notes Math. 1126, 318--419 (1985; Zbl 0579.18006)]. The main result is as follows: If \(\mathcal{C}\) is a quasi-Frobenius abelian category with enough projectives and functorially enough injectives, then \(\mathcal{C}\) admits the structure of a Waldhausen category where the cofibrations are the monomorphisms and the weak equivalences are the stable equivalences. This Waldhausen structure also satisfies the extension and saturation axioms and admits a cylinder functor which satisfies the cylinder axiom. Some applications include a multiplicative structure on the stable \(G\)-theory spectrum of a finite dimensional co-commutative Hopf algebra over a finite field, and a computation of the stable \(G\)-theory of certain truncated polynomial algebras, based on work of \textit{I. Madsen} [in: Current devel…
reviewed by: Georgios Dalezios
Mathematics Subject Classification ID: 18G25
Mathematics Subject Classification ID: 13C60
Mathematics Subject Classification ID: 19D55
zbMATH DE Number: 6854551
zbMATH Keywords: algebraic \(K\)-theory
zbMATH Keywords: relative homological algebra
zbMATH Keywords: quasi-Frobenius ring
zbMATH Keywords: complex oriented ring spectrum
zbMATH Keywords: Waldhausen category
MaRDI profile type: MaRDI publication profile
arXiv ID: 1303.3672
DOI: 10.4310/HHA.2018.V20.N1.A7
Recommended article: Relative algebraic K-theory and cyclic homology
Recommended article: Relative algebraic \(K\)-theory and topological cyclic homology
Recommended article: Relative \(K\) homology and \(C^*\) algebras
Recommended article: Relative Hermitian algebraic \(K\)-theory and dihedral homology
Recommended article: Q4023920
Recommended article: Relative homological algebra
Recommended article: Algebraic \(K\)-theory and abstract homotopy theory
Recommended article: Algebraic K -theory, A 1 -homotopy and Riemann-Roch theorems
Recommended article: Relative \(K\)-theory and topological cyclic homology
Recommended article: Q5677624
description: scientific article