pith. sign in

arxiv: 2409.16428 · v2 · submitted 2024-09-24 · 🧮 math.KT · math.AT· math.CT

Squares K-theory and 2-Segal spaces

Maxine E. Calle , Maru Sarazola This is my paper

Pith reviewed 2026-05-23 20:46 UTC · model grok-4.3

classification 🧮 math.KT math.ATmath.CT
keywords squares categoriesS-construction2-Segal spacesK-theoryproto-Waldhausenstability conditionsalgebraic K-theory
0
0 comments X

The pith

The S-construction on stable proto-Waldhausen squares categories produces a 2-Segal space.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces an S-construction for squares categories and defines a class of proto-Waldhausen squares categories whose S-construction is meant to model K-theory spaces. It asks under what conditions this construction yields a 2-Segal space. The central result is that the construction produces a 2-Segal space precisely when the squares category satisfies the stability conditions defined in the paper. A sympathetic reader would care because 2-Segal spaces provide a homotopy-theoretic framework that organizes algebraic K-theory constructions and their higher categorical properties.

Core claim

We define an S_•-construction for squares categories and introduce proto-Waldhausen squares categories to ensure the construction models K-theory. When a proto-Waldhausen squares category satisfies the stability conditions, its S_•-construction is a 2-Segal space.

What carries the argument

The S_•-construction on a proto-Waldhausen squares category equipped with stability conditions, which assembles simplicial data whose realization carries the 2-Segal structure.

If this is right

  • The K-theory space of any stable proto-Waldhausen squares category arises as the realization of a 2-Segal space.
  • Stability conditions supply the gluing and excision axioms needed for the 2-Segal property to hold.
  • Squares K-theory spaces inherit the homotopy-theoretic structure encoded by 2-Segal spaces.
  • The proto-Waldhausen axioms are exactly those needed to make the S-construction well-behaved for this purpose.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result may let existing theorems about 2-Segal spaces be imported directly into the study of squares-based K-theory.
  • It suggests a possible comparison between this construction and the classical Waldhausen S-construction on ordinary categories with cofibrations.
  • One could test whether the same stability conditions suffice for higher n-Segal spaces when the construction is iterated.

Load-bearing premise

The squares category must be proto-Waldhausen and must satisfy the stability conditions for the S-construction to produce a 2-Segal space.

What would settle it

A concrete proto-Waldhausen squares category that meets the stability conditions yet whose S-construction fails to satisfy the 2-Segal axioms, or one that fails stability yet still produces a 2-Segal space.

read the original abstract

We define an $S_\bullet$-construction for squares categories, and introduce a class of squares categories we call "proto-Waldhausen" which capture the properties required for the $S_\bullet$-construction to model the K-theory space. The primary question we investigate is when the $S_\bullet$-construction of a squares category produces a 2-Segal space. We show that the answer to this question is affirmative when the squares category satisfies certain "stability" conditions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper defines an S_•-construction on squares categories and introduces the class of proto-Waldhausen squares categories, which are designed to ensure that the construction models a K-theory space. The central result is a conditional theorem: the S_•-construction yields a 2-Segal space precisely when the squares category satisfies the stability conditions introduced in the paper.

Significance. If the result holds, the work provides a direct link between squares K-theory and 2-Segal spaces, which may clarify the higher-categorical structure of K-theory spaces. The explicit introduction of tailored definitions to isolate the necessary hypotheses is a standard and transparent approach in this area of algebraic K-theory.

minor comments (2)
  1. [Abstract] The abstract refers to 'certain stability conditions' without any indication of their form; adding a single sentence summarizing the key axioms would improve accessibility without altering the technical content.
  2. Notation for the S_•-construction and the squares category axioms is introduced without an early illustrative example; a short concrete example in §2 or §3 would clarify the setup for readers unfamiliar with squares categories.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, the assessment of its significance in linking squares K-theory to 2-Segal spaces, and the recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines a new S_•-construction on squares categories, introduces the class of proto-Waldhausen squares categories and associated stability conditions explicitly to ensure the construction models K-theory, and proves a conditional theorem that the output is a 2-Segal space precisely when those hypotheses hold. This is a standard definitional setup followed by a proof; the result does not reduce to any fitted parameter, self-citation chain, or renaming of prior results. The derivation is self-contained against the paper's own stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

Based solely on the abstract, the paper introduces new definitions (squares categories, proto-Waldhausen, stability conditions) whose verification is not supplied; no free parameters or invented entities with independent evidence are mentioned.

axioms (2)
  • domain assumption Squares categories admit an S_•-construction that can model K-theory spaces when proto-Waldhausen properties hold.
    Abstract states this as the setup required for the construction to work.
  • domain assumption Stability conditions on the squares category imply the 2-Segal axioms for the output simplicial space.
    This is the load-bearing implication asserted in the abstract.
invented entities (2)
  • proto-Waldhausen squares categories no independent evidence
    purpose: Capture the properties required for the S_•-construction to model the K-theory space
    New class defined in the paper; no independent evidence supplied in abstract.
  • stability conditions no independent evidence
    purpose: Ensure the S_•-construction produces a 2-Segal space
    New conditions introduced; no independent evidence supplied in abstract.

pith-pipeline@v0.9.0 · 5599 in / 1509 out tokens · 30450 ms · 2026-05-23T20:46:38.612872+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages · 5 internal anchors

  1. [1]

    2-Segal sets and the Waldhausen construction

    [Ber+18] J. Bergner, A. Osorno, V. Ozornova, M. Rovelli, and C. Scheimbauer. “2-Segal sets and the Waldhausen construction”. In: Topology Appl 235 (2018), pp. 445–

    work page 2018

  2. [2]

    2-Segal objects and the Waldhausen construction

    [Ber+21] J. Bergner, A. Osorno, V. Ozornova, M. Rovelli, and C. Scheimbauer. “2-Segal objects and the Waldhausen construction”. In: Algebra & Geometric Topology 21 (2021), pp. 1267–1326. [BGT13] Andrew J. Blumberg, David Gepner, and Gon¸ calo Tabu ada. “A universal charac- terization of higher algebraic K–theory”. In: Geom. Topol. 17.2 (2013), pp. 733–

    work page 2021

  3. [3]

    The local ization sequence for the algebraic K-theory of topological K-theory

    [BM08] Andrew J. Blumberg and Michael A. Mandell. “The local ization sequence for the algebraic K-theory of topological K-theory”. In: Acta Math. 200.2 (2008), pp. 155–179. [Bro+24] Francis Brown, Melody Chan, Søren Galatius, and Sa m Payne. Hopf algebras in the cohomology of Ag, GLn(Z), and SLn(Z)

    work page 2008

  4. [4]

    [Cam+23] Jonathan Campbell, Josefein Kuijper, Mona Merlin g, and Inna Zakharevich

    arXiv: 2405.11528. [Cam+23] Jonathan Campbell, Josefein Kuijper, Mona Merlin g, and Inna Zakharevich. Al- gebraicK-theory for squares categories

    work page arXiv

  5. [5]

    The K-theory spectrum of var ieties

    arXiv: 2310.02852. [Cam19] Jonathan A. Campbell. “The K-theory spectrum of var ieties”. In: Trans. Amer. Math. Soc. 371 (2019). [Car20] Louis Carlier. “Incidence bicomodules, Mobius inv ersion and a Rota formula for infinity adjunctions”. In: Algebraic and Geometric Topology 20 (2020), pp. 169–

    work page arXiv 2019

  6. [6]

    [CG24] Maxine E

    arXiv: 2405.11561. [CG24] Maxine E. Calle and Julian J. Gould. A combinatorial K-theory perspective on the Edge Reconstruction Conjecture in graph theory

    work page arXiv

  7. [7]

    Antipodes of monoid al decomposition spaces

    arXiv: 2402.14986. [CK20] Louis Carlier and Joachim Kock. “Antipodes of monoid al decomposition spaces”. In: Communications in Contemporary Mathematics 22 (2020). REFERENCES 43 [CZ22] Jonathan A. Campbell and Inna Zakharevich. “D´ eviss age and localization for the Grothendieck spectrum of varieties,” in: Advances in Mathematics 411 (2022). [CZ24] Jonatha...

    work page arXiv 2020

  8. [8]

    Higher Categorical Aspects of Ha ll Algebras

    [Dyc18] Tobias Dyckerhoff. “Higher Categorical Aspects of Ha ll Algebras”. In: Building Bridges Between Algebra and Topology . Ed. by Dolors Herbera, Wolfgang Pitsch, and Santiago Zarzuela. Cham: Springer International Publi shing, 2018, pp. 1–61. [Fel+21] Matthew Feller, Richard Garner, Joachim Kock, May U. Proulx, and Mark Weber. “Every 2-Segal space is ...

    work page 2018

  9. [9]

    Quasi-2-Segal sets

    issn: 0219-1997,1793-6683. [Fel23] Matt Feller. “Quasi-2-Segal sets”. In: Tunisian Journal of Mathematics 5.2 (2023), pp. 327–367. [FL91] Zbigniew Fiedorowicz and Jean-Louis Loday. “Crosse d Simplicial Groups and their Associated Homology”. In: Transactions of the American Mathematical So- ciety 326.1 (1991), pp. 57–87. issn: 00029947. (Visited on 08/07/2...

    work page 1997

  10. [10]

    Cut and Paste Invariants of Manifolds via Algebr aic K-Theory

    isbn: 9789811205125. [Hoe+22] Renee S. Hoekzema, Mona Merling, Laura Murray, Car men Rovi, and Julia Semikina. “Cut and Paste Invariants of Manifolds via Algebr aic K-Theory”. In: Topology and its Applications 316 (2022). [HRS22] Renee S. Hoekzema, Carmen Rovi, and Julia Semikina. A K-theory spectrum for cobordism cut and paste groups

    work page 2022

  11. [11]

    [Kar+73] U

    arXiv: 2210.00682. [Kar+73] U. Karras, M. Kreck, W.D. Neumann, and E. Ossa. Cutting and pasting of mani- folds; SK -groups. Mathematics Lecture Series

    work page arXiv

  12. [12]

    On fundamental theorems of Algebr aicK-theory

    arXiv: 2210.08082. [McC93] Randy McCarthy. “On fundamental theorems of Algebr aicK-theory”. In: Topol- ogy 32 (2 1993), pp. 325–328. [McC94] Randy McCarthy. “The cyclic homology of an exact cat egory”. In: Journal of Pure and Applied Algebra 93 (3 1994), pp. 251–296. [OS24] Yasuaki Ogawa and Amit Shah. Weak Waldhausen categories and a localization theorem

    work page arXiv 1993

  13. [13]

    Weak Waldhausen categories and a localization theorem

    arXiv: 2406.18091. [Pen17] Mark D Penney. The universal Hall bialgebra of a double 2-Segal space

    work page internal anchor Pith review Pith/arXiv arXiv

  14. [14]

    The universal Hall bialgebra of a double 2-Segal space

    arXiv: 1711.10194. [Pog17] Thomas Poguntke. Higher Segal structures in algebraic K-theory

    work page internal anchor Pith review Pith/arXiv arXiv

  15. [15]

    Higher Segal structures in algebraic $K$-theory

    arXiv: 1709.06510. [Seg73] Graeme Segal. “Configuration spaces and iterated lo op spaces”. In: Inventiones Math. 21 (1973), pp. 231–221. [SS21] Maru Sarazola and Brandon Shapiro. A Gillet-Waldhausen Theorem for chain complexes of sets

    work page internal anchor Pith review Pith/arXiv arXiv 1973

  16. [16]

    [Ste19] Walker H

    arXiv: 2107.07701. [Ste19] Walker H. Stern. 2-Segal objects and algebras in spans

    work page arXiv

  17. [17]

    2-Segal objects and algebras in spans

    arXiv: 1905.06671. [Wal17] Tashi Walde. Hall monoidal categories and categorical modules

    work page internal anchor Pith review Pith/arXiv arXiv 1905

  18. [18]

    Hall monoidal categories and categorical modules

    arXiv: 1611.08241. 44 REFERENCES [Wal83] Friedhelm Waldhausen. “Algebraic K-theory of spaces”. In: Lecture Notes in Mathematics 1126 (1983), pp. 318–419. [You18] Matthew B. Young. “Relative 2-Segal spaces”. In: Algebraic and Geometric Topol- ogy 18 (2018), pp. 975–1039. [Zak12] Inna Zakharevich. “Scissors Congruence as K-theory”. In: Homotopy, Homology an...

    work page internal anchor Pith review Pith/arXiv arXiv 1983