English

2-Segal maps associated to a category with cofibrations

Algebraic Topology 2024-05-21 v1

Abstract

Waldhausen's SS_\bullet-construction gives a way to define the algebraic KK-theory space of a category with cofibrations. Specifically, the KK-theory space of a category with cofibrations C\mathcal{C} can be defined as the loop space of the realization of the simplicial topological space iSC|iS_\bullet \mathcal{C} |. Dyckerhoff and Kapranov observed that if C\mathcal{C} is chosen to be a proto-exact category, then this simplicial topological space is 2-Segal. A natural question is then what variants of this SS_\bullet-construction give 2-Segal spaces. We find that for iSC|iS_\bullet \mathcal{C}|, SCS_\bullet\mathcal{C}, wSCwS_\bullet\mathcal{C}, and the simplicial set whose nnth level is the set of isomorphism classes of SCS_\bullet\mathcal{C}, there are certain 22-Segal maps which are always equivalences. However for all of these simplicial objects, none of the rest of the 22-Segal maps have to be equivalences. We also reduce the question of whether wSC|wS_\bullet \mathcal{C}| is 22-Segal in nice cases to the question of whether a simpler simplicial space is 22-Segal. Additionally, we give a sufficient condition for SCS_\bullet \mathcal{C} to be 22-Segal. Along the way we introduce the notion of a generated category with cofibrations and provide an example where the levelwise realization of a simplicial category which is not 22-Segal is 22-Segal.

Keywords

Cite

@article{arxiv.2405.11561,
  title  = {2-Segal maps associated to a category with cofibrations},
  author = {Tanner Nathan Carawan},
  journal= {arXiv preprint arXiv:2405.11561},
  year   = {2024}
}

Comments

31 pages

R2 v1 2026-06-28T16:32:21.431Z