Additivity and Fiber Sequences for Combinatorial K-Theory

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Sarazola, Maru, Shapiro, Brandon T.
Format: Preprint
Published: 2021
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866912346656473088
author Sarazola, Maru
Shapiro, Brandon T.
author_facet Sarazola, Maru
Shapiro, Brandon T.
contents The (A)CGW categories of Campbell and Zakharevich show how finite sets and varieties behave like the objects of an exact category for the purpose of algebraic $K$-theory. These structures admit a well-behaved Q-construction akin to Quillen's, and satisfy analogues of the Dévissage and Localization theorems. In this work, we modify Campbell and Zakharevich's axioms to obtain a framework called ECGW categories that allows for an $S_\bullet$-construction akin to Waldhausen's, and show how it produces a K-theory spectrum which satisfies an analogue of the Additivity Theorem. We also define a notion of ``relative ECGW categories'' which have weak equivalences determined by a subcategory of acyclic objects satisfying minimal conditions; these satisfy analogues of the Fibration and Localization Theorems that generalize previous versions in the literature. We illustrate these results with examples including exact categories, extensive categories, algebraic varieties, and polytopes up to scissors congruence.
format Preprint
id arxiv_https___arxiv_org_abs_2107_07701
institution arXiv
publishDate 2021
record_format arxiv
spellingShingle Additivity and Fiber Sequences for Combinatorial K-Theory
Sarazola, Maru
Shapiro, Brandon T.
K-Theory and Homology
Algebraic Topology
Category Theory
19D99 (Primary) 18N10, 18F25, 18E10, 19E08
The (A)CGW categories of Campbell and Zakharevich show how finite sets and varieties behave like the objects of an exact category for the purpose of algebraic $K$-theory. These structures admit a well-behaved Q-construction akin to Quillen's, and satisfy analogues of the Dévissage and Localization theorems. In this work, we modify Campbell and Zakharevich's axioms to obtain a framework called ECGW categories that allows for an $S_\bullet$-construction akin to Waldhausen's, and show how it produces a K-theory spectrum which satisfies an analogue of the Additivity Theorem. We also define a notion of ``relative ECGW categories'' which have weak equivalences determined by a subcategory of acyclic objects satisfying minimal conditions; these satisfy analogues of the Fibration and Localization Theorems that generalize previous versions in the literature. We illustrate these results with examples including exact categories, extensive categories, algebraic varieties, and polytopes up to scissors congruence.
title Additivity and Fiber Sequences for Combinatorial K-Theory
topic K-Theory and Homology
Algebraic Topology
Category Theory
19D99 (Primary) 18N10, 18F25, 18E10, 19E08
url https://arxiv.org/abs/2107.07701