The $S_\bullet$-construction as an equivalence between 2-Segal spaces and stable augmented double Segal spaces

Martina Rovelli

The $S_\bullet$-construction as an equivalence between 2-Segal spaces and stable augmented double Segal spaces

T0 review · 0 major / 6 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Waldhausen's S-construction and the path construction are inverse equivalences between 2-Segal spaces and stable augmented double Segal spaces.

desk verdict A transparent, useful expository note that restates a peer-reviewed equivalence; the proofs are sketches and the displays have typos, but the math stands and it serves its proceedings purpose. read the letter →

arxiv 2412.17400 v1 pith:FFE4IHMT submitted 2024-12-23 math.AT math.CTmath.KT

Martina Rovelli This is my paper · ORCID

classification math.ATmath.CTmath.KT MSC 18N5018N6055U10

keywords 2-SegalspacesstableaugmenteddoubleSegalWaldhausenS-constructionpathconstructionsimpliciallocalizationDwyer-Kanequivalencedecompositionexactcategories

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This note establishes a correspondence between two flavors of higher Segal structure: 2-Segal spaces, which encode associative composition up to homotopy, and stable augmented double Segal spaces, which encode objects, morphisms, and squares with distinguished zero objects. The paper's central claim is that Waldhausen's S-construction, taken with injective fibrant replacement, and the path construction $P$ are inverse to each other up to equivalence: every 2-Segal space is recovered from its path construction, and every stable augmented double Segal space is recovered from its S-construction. The soft version of the result is a bijection on equivalence classes, and the strong version is a Dwyer-Kan equivalence of simplicial localizations.

What carries the argument

The machinery is the pair $(P, S_\bullet)$ with an injective fibrant replacement $\widetilde{(-)}$. The path construction $P$ sends a simplicial space $X$ to a preaugmented bisimplicial space whose $(a,b)$-space is $X_{a+1+b}$, so a 2-simplex of $X$ becomes a vertical and a horizontal morphism and a 3-simplex becomes a square; the S-construction sends a preaugmented bisimplicial space $D$ to the simplicial space $S_nD = \mathrm{Map}(P\Delta[n],D)$. The fibrant replacement is the technical device that guarantees mapping spaces compute the intended homotopy types, and the identifications $\mathrm{Map}(P\Delta[n+1],D) \simeq D_{0,n}$ and $\mathrm{Map}(P\Delta[3],D) \simeq D_{1,1}$ are what turn the two composites into equivalences.

What would settle it

Check the identifications behind the inverse pair on a concrete input: take $D$ to be the stable augmented double Segal space nerve of the exact category of finitely generated abelian groups. If $\mathrm{Map}(P\Delta[3],D)$ is not weakly equivalent to $D_{1,1}$, the space of bicartesian squares, or if $\mathrm{Map}(P\Delta[n+1],D)$ is not weakly equivalent to $D_{0,n}$, then the S-construction does not invert the path construction and Theorem 5.4 would fail.

Watch

Extended reading notes

Core claim

The discovery, stated as the soft and strong theorems, is that 2-Segal spaces and stable augmented double Segal spaces are not merely related but are the same objects seen from two sides. A 2-Segal space $X$ determines a preaugmented bisimplicial space $PX$ with $(PX)_{a,b}=X_{a+1+b}$ and augmentation $(PX)_{-1}=X_0$; the 2-Segal condition on $X$ translates exactly into double Segality, stability, and augmentation for $PX$. Conversely, for a stable augmented double Segal space $D$, the simplicial space $S_\bullet D$ has $n$-simplices $\mathrm{Map}(P\Delta[n],D)$, and the Segal conditions on $D$ make $S_\bullet D$ a 2-Segal space. The key identifications giving the inverse property are $\mathrm{Map}(P\Delta[n+1],D) \simeq D_{0,n}$ and $\mathrm{Map}(P\Delta[3],D) \simeq D_{1,1}$, expressing the path construction as a bookkeeping device for the first row and the square space of $D$.

Load-bearing premise

The load-bearing premise is the existence and preservation property of the injective fibrant replacement $\widetilde{(-)}$: every preaugmented bisimplicial space $D$ admits a natural levelwise-equivalent fibrant replacement $\widetilde{D}$, and if $D$ is a stable augmented double Segal space then so is $\widetilde{D}$.

Editorial extensions

If this is right

Every 2-Segal space is equivalent to $S_\bullet \widetilde{PX}$ for the stable augmented double Segal space $PX$, so the generalized Waldhausen construction is surjective up to equivalence on all 2-Segal spaces.
The S-construction is injective up to equivalence: if two stable augmented double Segal spaces have equivalent S-constructions, the path construction recovers equivalences between them, so no information is lost.
Nerve constructions for exact categories, exact $\infty$-categories, and stable $\infty$-categories produce stable augmented double Segal spaces, and therefore examples of 2-Segal spaces after applying $S_\bullet$.
The strong version says the correspondence is a Dwyer-Kan equivalence of simplicial localizations, so the homotopy theory of 2-Segal spaces is canonically identified with that of stable augmented double Segal spaces.
The classification reduces the study of 2-Segal spaces up to equivalence to the study of preaugmented bisimplicial spaces satisfying double Segality, stability, and augmentation.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The note cites [BOO+21a] for the deferred proofs of Lemma 4.5 and Lemma 5.3, so a reader who wants the full argument must consult that source; if those technical lemmas fail, the bijection would still hold only for injectively fibrant objects or for a different choice of replacement.
The stability condition—each square determined by its boundary span and cospan—looks like a recognition principle: it suggests that stable augmented double Segal spaces are exactly the inputs that make a Waldhausen-style S-construction recover the original object, and the same pattern may extend to higher Segal spaces by iterating the path construction.
One can test the correspondence on the nerve of an exact category, where $D_{0,n}$ is the space of $n$-tuples of composable admissible monomorphisms and $D_{1,1}$ is the space of bicartesian squares; the theorem predicts that $\mathrm{Map}(P\Delta[n+1],D)$ is weakly equivalent to that space, a statement checkable by explicit cell decomposition.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Quick take: this is an expository proceedings note, not a new result. Rovelli says so in the abstract and throughout. If you need a readable entry point to the correspondence between 2-Segal spaces and stable augmented double Segal spaces—the P/S construction inverse pair from Bergner–Osorno–Ozornova–Rovelli–Scheimbauer—this note does a real service. It collects the definitions, states the soft and strong versions, and gives the intuitive picture (including the square-and-span diagrams) that the original AGT paper doesn't stop to draw.

What's well done: the definition of stable augmented double Segal space is laid out carefully, with the homotopy pullback conditions made explicit; the path construction and S-construction are introduced cleanly; Example 3.4 and the pictures in Lemmas 4.5 and 5.3 help a lot. The note is transparent that Lemmas 4.5, 4.8, and 5.3 are proof sketches referring back to [BOO+21a, Lemmas 5.12 and 6.6]. That's the right call for a proceedings note.

Soft spots, in order of actual softness. First, the proofs of Propositions 5.1 and 5.2 are really just statements plus a pointer to the lemmas, and the lemmas are ideas with citations. A reader who wants to verify the equivalence has to go to the 2021 paper. That's acceptable given the stated purpose, but it means the note doesn't stand alone. Second, there are typos in diagrams and face-map decorations (Definition 2.3, Proposition 2.4, Construction 4.3) that can trip a careful reader. They're cosmetic and reverse-engineerable, but they should be fixed in the proceedings version. Third, the injective fibrant replacement ~(-) is presented as a standard background fact; the stress-test is right that preservation of stability and augmentation follows from these being homotopy pullback conditions. So I don't see a load-bearing flaw there—just a place where a one-line explanation would help.

Bottom line: the math is sound (it's a restatement of a peer-reviewed result), the exposition is honest and mostly clear, and the self-citation concern is not really a concern because the paper says up front what it is. The intended reader is someone at a workshop or a student who wants the intuitive skeleton before tackling the full AGT paper. It deserves a serious referee in the sense that a proceedings editor should send it out for a check of the exposition and typos; it should not be judged as new research. If I were refereeing, I'd ask for the display fixes and a slightly more explicit comment on why ~ preserves stability/augmentation, then accept.

Recommendation: send it to review with expectation of minor revision.

Referee Report

0 major / 6 minor

Summary. This note is an expository contribution to a proceedings volume. It gives a streamlined account of the equivalence, due to Bergner–Osorno–Ozornova–Rovelli–Scheimbauer, between the homotopy theory of 2-Segal spaces and that of stable augmented double Segal spaces. After recalling 2-Segal spaces and stable augmented double Segal spaces, the note introduces the path construction P and the S•-construction (combined with injective fibrant replacement ~(−)), states a soft version of the equivalence as inverse bijections on equivalence classes (Theorem 5.4), and mentions a strong version as an equivalence of ∞-categories (Theorem 5.5, quoted from [BOO+21a]). The proof of Theorem 5.4 is presented as a sketch: Propositions 5.1 and 5.2 are proved using Lemmas 4.5, 4.8, and 5.3, whose proofs are only 'ideas' that refer to lemmas in [BOO+21a]. The note is transparent about this: it says in the introduction that technical details have been excluded and that the reader is referred to the original sources for complete proofs.

Significance. If the stated correspondence holds, it answers two natural questions about Waldhausen's S•-construction: every 2-Segal space is equivalent to S•~PX for some stable augmented double Segal space, and the S•-construction remembers the input up to equivalence. The mathematical content is not new; it is a restatement of the peer-reviewed result [BOO+21a]. The value of the note lies in its clarity and in the worked intuitive descriptions of P∆[n] and the mapping-space identifications. A particular strength is that the note is honest about its scope: it repeatedly flags which steps are proof ideas and which results are quoted. It also provides a useful warning (Remark 2.8) about a naive nerve construction for Waldhausen categories, which helps readers avoid a common mistake. For a proceedings exposition, this is a reasonable and useful contribution, though it should not be read as a self-contained proof of Theorems 5.4 and 5.5.

minor comments (6)

[Section 4, after Construction 4.3] The existence of the injective fibrant replacement ~(−) and the claim that it preserves stable augmented double Segal spaces are asserted as background, with only a broad reference to [Hir03, §6.11]. Since Theorem 5.4 and the construction S•∘~(−) depend on this, please give a precise statement (or a more specific citation) of the model structure on preaugmented bisimplicial spaces and of the preservation property, or explicitly say that it is standard background that will not be proved.
[Lemma 4.5] The statement says 'For all n ≥ 0' but Definition 1.2 gives the 2-Segal conditions for n ≥ 2. Please reconcile the indexing and specify which of the two canonical maps from Definition 1.2 is meant. The proof idea for n = 2 is helpful, but the general case is only asserted; if the note is meant to be self-contained, the appeal to [BOO+21a, Lemma 5.12] should be made explicit in the statement rather than only in the surrounding prose.
[Proposition 3.6, proof] The proof begins 'Since f : X ≃− →Y is an equivalence of stable augmented double Segal spaces', but X and Y are 2-Segal spaces here. This should read 'an equivalence of 2-Segal spaces'.
[Proof of Proposition 5.1] The two commutative diagrams contain unlabeled or mislabeled maps: the text writes η^h_{n+1} but the diagram uses η_{n+1}, and the source of the equivalence in the first line should be X_{n+1}, not X. Please make the indexing and the labels of the horizontal equivalences consistent.
[Theorems 5.4 and 5.5] Theorems 5.4 and 5.5 are presented as the main results, but Theorem 5.5 is explicitly quoted from [BOO+21a] and Theorem 5.4 is proved only up to lemmas whose proofs are deferred. Please add a sentence in the introduction or at the theorem statements clarifying that these results are due to [BOO+21a] and that the proofs given here are streamlined sketches. This will prevent readers from mistaking the note for a complete proof.
[Throughout] There are several small typos and formatting issues: 'wo rkshop' in the abstract, 'in suﬃcient' in Remark 1.4, 'a map of simplicial spaces between them' in Remark 2.9 (should be 'of preaugmented bisimplicial spaces'), and the phrase 'from a X to Y' in Construction 1.7. These do not affect the mathematics but should be corrected in a final version.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorems are transparently presented as the author's prior published result, and the cited lemmas are external to this note.

full rationale

The paper is an explicitly labeled streamlined exposition of the authors' own prior result [BOO+21a]. Its introduction states that it is 'a streamlined exposition based on a talk about a result by Bergner-Osorno-Ozornova-Rovelli-Scheimbauer', and Theorem 5.5 is quoted as '[BOO+21a]'. The soft version, Theorem 5.4, is proved by a sketch whose key lemmas (4.5, 4.8, 5.3) are referred to [BOO+21a, Lemmas 5.12 and 6.6]; this is a deferral to a published, peer-reviewed source, not a bootstrapping of the target result through this note itself. No parameter is fitted and no theorem is defined in terms of the conclusion: stable augmented double Segal spaces are introduced independently in Definition 2.3 and have independent examples, such as the exact-category nerve N^{ex}E in Proposition 2.7, and the inverse equivalences are not identities by construction but require the Segal/stability computations in Propositions 5.1 and 5.2. The asserted existence and preservation of the injective fibrant replacement ~(-) in Section 4 is a genuine technical premise, stated without proof; if it failed, the theorem would not be established by this note, but that is a correctness or self-containedness concern, not a circularity. The heavy self-citation is transparent and points to the original source of the result, so it does not constitute a circular derivation.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

This is a pure mathematics note, so no numbers are fitted to data and there are no invented entities. The central claim rests on imported background: injective fibrant replacement for preaugmented bisimplicial spaces (the heaviest import, asserted in Section 4), the equivalence of 2-Segal definitions, unitality of 2-Segal spaces, and hammock localization. The constructions P and S• are fully defined in the note.

assumptions (5)

domain assumption The injective model structure on preaugmented bisimplicial (Sigma-)spaces exists, and fibrant replacement ~(−) is a levelwise equivalence of spaces that preserves the stable augmented double Segal conditions.
Invoked in Section 4 before Proposition 4.4; the preservation claim is asserted without proof, and Lemmas 4.5, 4.8 and 5.3 rely on fibrantness to identify mapping spaces. Deferred to [Hir03, §6.11]. Load-bearing for S•∘~(−).
domain assumption Definition 1.2 of a 2-Segal space is equivalent to the original definition from [DK19, Definition 2.3.1].
Cited to [BOO+21a, Proposition 1.18] without proof; all subsequent statements use this definition.
domain assumption Every 2-Segal space is unital, equivalently a decomposition space, giving equivalences (s1,d0): X1 ≃ X2 ×^h_{X1} X0 and (s0,d1): X1 ≃ X2 ×^h_{X1} X0.
Cited to [FGK+21] in Remark 1.3; the unitality squares are used in the proof of Proposition 3.3.
standard math Hammock localization produces a simplicial category from a category with weak equivalences, and Dwyer-Kan equivalences detect equivalences of infinity-categories.
Invoked in Constructions 1.7, 2.12, 3.8 and 4.10, citing [DK80a], [DK80b] and [BK12]. Standard background.
domain assumption Exact categories and stable infinity-categories admit nerve constructions that are stable augmented double Segal spaces.
Proposition 2.7 is a proof idea citing [BOO+21b]; used to motivate the definitions and examples, not needed to prove the main correspondence.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The $S_\bullet$-construction as an equivalence between 2-Segal spaces and stable augmented double Segal spaces." pith.science (2026). https://pith.science/paper/FFE4IHMT

@misc{pith2026241217400,
  author       = {Pith},
  title        = {Pith review of: The $S_\bullet$-construction as an equivalence between 2-Segal spaces and stable augmented double Segal spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FFE4IHMT}},
  note         = {Machine review of arXiv:2412.17400}
}

read the original abstract

This note is a contribution for a proceedings volume of the workshop "Higher Segal Spaces and their Applications to Algebraic K-Theory, Hall Algebras, and Combinatorics". The content is a streamlined exposition based on a talk about a result by Bergner-Osorno-Ozornova-Rovelli-Scheimbauer from WITII. We discuss how a generalized version of Waldhausen's S-construction describes a correspondence between 2-Segal spaces and certain double Segal spaces, which satisfy further conditions of stability and augmentation.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 14 canonical work pages

[1]

Clark Barwick, On the algebraic K -theory of higher categories , J. Topol. 9 (2016), no. 1, 245--347. 3465850

work page 2016
[2]

Grillet, and Donovan H

Michael Barr, Pierre A. Grillet, and Donovan H. van Osdol, Exact categories and categories of sheaves, Lecture Notes in Mathematics, vol. 236, Springer-Verlag, Berlin, 1971. 3727441

work page 1971
[3]

Barwick and D

C. Barwick and D. M. Kan, A characterization of simplicial localization functors and a discussion of DK equivalences , Indag. Math. (N.S.) 23 (2012), no. 1-2, 69--79. 2877402

work page 2012
[4]

3, 2497--2560

Michael A Batanin, Andrey Lazarev, Muriel Livernet, and Martin Markl, Homotopical algebra and higher structures, Oberwolfach Reports 18 (2022), no. 3, 2497--2560

work page 2022
[5]

Bergner, Ang\' e lica M

Julia E. Bergner, Ang\' e lica M. Osorno, Viktoriya Ozornova, Martina Rovelli, and Claudia I. Scheimbauer, 2- S egal sets and the W aldhausen construction , Topology Appl. 235 (2018), 445--484. 3760213

2018
[6]

, 2- S egal objects and the W aldhausen construction , Algebr. Geom. Topol. 21 (2021), no. 3, 1267--1326. 4299667

work page 2021
[7]

K-Theory 6 (2021), no

, Comparison of W aldhausen constructions , Ann. K-Theory 6 (2021), no. 1, 97--136. 4283095

work page 2021
[8]

Campbell and Inna Zakharevich, D\' e vissage and localization for the G rothendieck spectrum of varieties , Adv

Jonathan A. Campbell and Inna Zakharevich, D\' e vissage and localization for the G rothendieck spectrum of varieties , Adv. Math. 411 (2022), Paper No. 108710, 80. 4512395

work page 2022

Show all 20 references

[9]

W. G. Dwyer and D. M. Kan, Calculating simplicial localizations, J. Pure Appl. Algebra 18 (1980), no. 1, 17--35. 578563

1980
[10]

4, 427--440

, Function complexes in homotopical algebra, Topology 19 (1980), no. 4, 427--440. 584566

1980
[11]

2244, Springer, Cham, 2019

Tobias Dyckerhoff and Mikhail Kapranov, Higher S egal spaces , Lecture Notes in Mathematics, vol. 2244, Springer, Cham, 2019. 3970975

2019
[12]

Proulx, and Mark Weber, Every 2- S egal space is unital , Commun

Matthew Feller, Richard Garner, Joachim Kock, May U. Proulx, and Mark Weber, Every 2- S egal space is unital , Commun. Contemp. Math. 23 (2021), no. 2, Paper No. 2050055, 6. 4201031

2021
[13]

Imma G\'alvez-Carrillo, Joachim Kock, and Andrew Tonks, Decomposition spaces, incidence algebras and M \"obius inversion I : B asic theory , Adv. Math. 331 (2018), 952--1015. 3804694

2018
[14]

18 (2016), no

Vladimir Hinich, Dwyer- K an localization revisited , Homology Homotopy Appl. 18 (2016), no. 1, 27--48. 3460765

2016
[15]

Hirschhorn, Model categories and their localizations, Mathematical Surveys and Monographs, vol

Philip S. Hirschhorn, Model categories and their localizations, Mathematical Surveys and Monographs, vol. 99, American Mathematical Society, Providence, RI, 2003. 1944041

2003
[16]

63, American Mathematical Society, Providence, RI, 1999

Mark Hovey, Model categories, Mathematical Surveys and Monographs, vol. 63, American Mathematical Society, Providence, RI, 1999. 1650134

1999
[17]

Jacob Lurie , Stable infinity categories, arXiv:0608228v5 https://arxiv.org/abs/math/0608228v5 (2006)

2006 arXiv
[18]

Aaron Mazel-Gee, Quillen adjunctions induce adjunctions of quasicategories, New York J. Math. 22 (2016), 57--93. 3484677

2016
[19]

5, Springer-Verlag, New York, 1998

Saunders Mac Lane, Categories for the working mathematician, second ed., Graduate Texts in Mathematics, vol. 5, Springer-Verlag, New York, 1998. 1712872

1998
[20]

J ., 1983), Lecture Notes in Math., vol

Friedhelm Waldhausen, Algebraic K -theory of spaces , Algebraic and geometric topology ( N ew B runswick, N . J ., 1983), Lecture Notes in Math., vol. 1126, Springer, Berlin, 1985, pp. 318--419. 802796

1983

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.

[1] [1]

Clark Barwick, On the algebraic K -theory of higher categories , J. Topol. 9 (2016), no. 1, 245--347. 3465850

work page 2016

[2] [2]

Grillet, and Donovan H

Michael Barr, Pierre A. Grillet, and Donovan H. van Osdol, Exact categories and categories of sheaves, Lecture Notes in Mathematics, vol. 236, Springer-Verlag, Berlin, 1971. 3727441

work page 1971

[3] [3]

Barwick and D

C. Barwick and D. M. Kan, A characterization of simplicial localization functors and a discussion of DK equivalences , Indag. Math. (N.S.) 23 (2012), no. 1-2, 69--79. 2877402

work page 2012

[4] [4]

3, 2497--2560

Michael A Batanin, Andrey Lazarev, Muriel Livernet, and Martin Markl, Homotopical algebra and higher structures, Oberwolfach Reports 18 (2022), no. 3, 2497--2560

work page 2022

[5] [5]

Bergner, Ang\' e lica M

Julia E. Bergner, Ang\' e lica M. Osorno, Viktoriya Ozornova, Martina Rovelli, and Claudia I. Scheimbauer, 2- S egal sets and the W aldhausen construction , Topology Appl. 235 (2018), 445--484. 3760213

2018

[6] [6]

, 2- S egal objects and the W aldhausen construction , Algebr. Geom. Topol. 21 (2021), no. 3, 1267--1326. 4299667

work page 2021

[7] [7]

K-Theory 6 (2021), no

, Comparison of W aldhausen constructions , Ann. K-Theory 6 (2021), no. 1, 97--136. 4283095

work page 2021

[8] [8]

Campbell and Inna Zakharevich, D\' e vissage and localization for the G rothendieck spectrum of varieties , Adv

Jonathan A. Campbell and Inna Zakharevich, D\' e vissage and localization for the G rothendieck spectrum of varieties , Adv. Math. 411 (2022), Paper No. 108710, 80. 4512395

work page 2022