{"id":"edf395c8-65cf-490d-9c3f-c60511b6197f","arxiv_id":"2412.17400","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":2.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"An expository note restating the proven equivalence between 2-Segal spaces and stable augmented double Segal spaces via path and S-constructions, with proof sketches that defer to the original papers.","lead":"This note walks through a correspondence between 2-Segal spaces and stable augmented double Segal spaces, built from a generalized Waldhausen S-construction and its inverse path construction. It is a proceedings exposition of a result already proved by the author and collaborators, so the value is in the streamlined presentation rather than new mathematics.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The central claim is the existence of inverse bijections and Dwyer-Kan equivalences between 2-Segal spaces and stable augmented double Segal spaces. That result is already proved in [BOO+21a]; this note explicitly says it is a streamlined exposition and defers technical details to the original sources. The reader identifies the injective fibrant replacement as the weakest assumption. I agree that this is the most technically delicate input, but it is not a real flaw: the preservation statement follows from homotopy-pullback invariance under levelwise weak equivalence, which is a standard model-categorical fact. The larger potential gap is that Propositions 5.1 and 5.2 rely on Lemmas 4.8 and 5.3, which are only sketched here; however, the sketch names the precise results in [BOO+21a]. For a proceedings note, this level of citation is appropriate. The displayed typos are unfortunate but do not affect the mathematics. Therefore I do not see a load-bearing objection to the central claim; the reader's CONDITIONAL verdict remains reasonable, and no change is needed.","tokens_in":14633,"tokens_out":15224,"duration_ms":136463,"concrete_test":"Verify that the tower in the proof idea of Lemma 4.8 closes for all n by following [BOO+21a, Lemma 5.12], checking that each intermediate equivalence follows from double Segality, stability, and augmentation alone; likewise check Lemma 5.3 against [BOO+21a, Lemma 6.6]. If the towers close exactly as stated, Theorem 5.4 is fully supported modulo the cited source.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No significant objection identified. The paper is an expository note that explicitly presents Theorem 5.4 and Theorem 5.5 as a streamlined account of the peer-reviewed result [BOO+21a]. The asserted injective fibrant replacement ~(−) preserving stable augmented double Segal spaces is standard: since the stability and augmentation conditions are homotopy pullback conditions, and D→~D is a levelwise weak equivalence, the relevant homotopy pullback squares are preserved. The key lemmas 4.5, 4.8, and 5.3 are given as proof ideas with precise references to [BOO+21a, Lemmas 5.12 and 6.6], and the introduction disclaims completeness. I found no mathematical error or unsupported load-bearing assumption in the central claim; the remaining issues are self-containedness and display typos, which the note itself flags.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":14629,"tokens_out":12545,"duration_ms":105610,"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.","major_comments":[],"minor_comments":[{"comment":"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.","section":"Section 4, after Construction 4.3"},{"comment":"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.","section":"Lemma 4.5"},{"comment":"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'.","section":"Proposition 3.6, proof"},{"comment":"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.","section":"Proof of Proposition 5.1"},{"comment":"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.","section":"Theorems 5.4 and 5.5"},{"comment":"There are several small typos and formatting issues: 'wo rkshop' in the abstract, 'in sufficient' 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.","section":"Throughout"}],"recommendation":"minor_revision","confidential_remarks":"The note is essentially a concise exposition of the author's own prior work with Bergner, Osorno, Ozornova, and Scheimbauer. The self-citation is appropriate and the paper is transparent about its expository nature. The main question for the editor is whether the proceedings format expects full proofs or allows proof sketches with references; if proof sketches are acceptable, the paper is in good shape after minor revisions. I do not see a mathematical error in the statements, and the deferred proofs are clearly flagged."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nWhat'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.\n\nSoft 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.\n\nBottom 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.\n\nRecommendation: send it to review with expectation of minor revision.","headline":"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.","tokens_in":15372,"tokens_out":2882,"would_cite":false,"duration_ms":25772,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18N50","18N60","55U10"],"pacs":[],"model":"deepseek-v4-flash","headline":"Waldhausen's S-construction and the path construction are inverse equivalences between 2-Segal spaces and stable augmented double Segal spaces.","keywords":["2-Segal spaces","stable augmented double Segal spaces","Waldhausen S-construction","path construction","simplicial localization","Dwyer-Kan equivalence","decomposition spaces","exact categories"],"falsifier":"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.","tokens_in":14270,"feed_emoji":"🔷","tokens_out":8165,"duration_ms":72224,"temperature":0.7,"pith_summary":"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.","feed_headline":"Path construction inverts Waldhausen's S-construction up to equivalence","feed_subtitle":"Every 2-Segal space is recovered from its path construction, and the S-construction remembers the original input up to equivalence.","key_machinery":"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.","core_discovery":"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$.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the full proofs of the main equivalence theorem and of the technical lemmas that this note sketches.","marker":"[BOO+21a]"},{"why":"Defines 2-Segal spaces, supplies the unitality equivalence used here, and provides model structures and original examples.","marker":"[DK19]"},{"why":"Supplies the injective model structure and the fibrant replacement on which the S-construction depends.","marker":"[Hir03]"},{"why":"Shows that nerve constructions for exact categories and stable $\\infty$-categories produce stable augmented double Segal spaces.","marker":"[BOO+21b]"},{"why":"Introduces the original Waldhausen S-construction that the paper generalizes.","marker":"[Wal85]"},{"why":"Establishes the connection between 2-Segal spaces and decomposition spaces and gives the abelian-category example.","marker":"[GCKT18]"},{"why":"Converts the Quillen equivalence of [BOO+21a] into the Dwyer-Kan equivalence of simplicial categories in Theorem 5.5.","marker":"[MG16]"}],"fun_headline_variants":["S-construction equates 2-Segal and stable double Segal spaces","Generalized Waldhausen S-construction gives equivalence of spaces","2-Segal spaces are stable augmented double Segal spaces via S","Path construction inverts S-construction for Segal spaces","Bridging 2-Segal and double Segal spaces with S-construction"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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}$.","fun_headline_variants_meta":{"raw":{"variants":["S-construction equates 2-Segal and stable double Segal spaces","Generalized Waldhausen S-construction gives equivalence of spaces","2-Segal spaces are stable augmented double Segal spaces via S","Path construction inverts S-construction for Segal spaces","Bridging 2-Segal and double Segal spaces with S-construction"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000199,"raw_usage":{"total_tokens":1342,"prompt_tokens":883,"completion_tokens":459,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":499,"completion_tokens_details":{"reasoning_tokens":367}},"tokens_in":499,"tokens_out":459,"duration_ms":4850,"temperature":1.0,"reasoning_tokens":367,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T05:27:53.803571+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}