2024/06/26 by Yasuaki Ogawa, Amit Shah, Ogawa, Yasuaki +1
Mathematics · Physics and Astronomy · #18E35 #18G50 #18G80 #Advanced Differential Geometry Research #Advanced Topics in Algebra #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #K-Theory and Homology (math.KT) #Primary 18F25 #Representation Theory (math.RT) #Secondary 18E05
paper · pdf · doi:10.48550/arxiv.2406.18091
openalex publication_date 2024/06/26 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01
Waldhausen categories were introduced to extend algebraic K-theory beyond Quillen's exact categories. In this article, we modify Waldhausen's axioms so that it matches better with the theory of extriangulated categories, introducing a weak Waldhausen category and defining its Grothendieck group. Examples of weak Waldhausen categories include any extriangulated category, hence any exact or triangulated category, and any Waldhausen category. A key feature of this structure is that it allows for "one-sided" extriangulated localization theory, and thus enables us to extract right exact sequences of Grothendieck groups that we cannot obtain from the theory currently available. To demonstrate the utility of our Weak Waldhausen Localization Theorem, we give three applications. First, we give a new proof of the Extriangulated Localization Theorem proven by Enomoto--Saito, which is a generalization at the level of K0 of Quillen's classical Localization Theorem for exact categories. Second, we give a new proof that the index with respect to an n-cluster tilting subcategory \mathscrX of a triangulated category \mathscrC induces an isomorphism between K0sp(\mathscrX) and the Grothendieck group of an extriangulated substructure of \mathscrC. Last, we produce a weak Waldhausen K0-generalization of a localization construction due to Sarazola that involves cotorsion pairs but allows for non-Serre localizations. We show that the right exact sequences of Grothendieck groups obtained from our Sarazola construction and the Extriangulated Localization Theorem agree under a common setup.