{"id":"eaac9c21-2401-42b1-b624-2804513e741c","arxiv_id":"2505.02051","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Higher Segal spaces are characterized as lax monads in higher correspondence categories, with cyclic polytopes providing the geometric backbone and orientals emerging as boundary data.","lead":"This paper gives a unified description of higher Segal spaces as monad-like structures in higher correspondences, building on the geometry of cyclic polytopes. It is readable as a survey of an active area at the border of combinatorics, algebraic K-theory, and higher category theory.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 7.12 is false as stated: λ does not invert non-injective φ with φ(I)=J, so the proof of Theorem 7.10(1) rests on an invalid localization claim.","rationale":"The central claim of the paper is Theorem 7.10, and its proof depends essentially on Lemma 7.12. I found a concrete false statement in that lemma: the localization set S is taken too large, including non-injective φ that λ does not invert. This is not a matter of interpretation or model-dependence; it is an internal inconsistency in the proof of the main theorem. The reader's weakest assumption focused on the ad-hoc monad definition and the deferred proof of Proposition 6.7; those are legitimate concerns about the significance and framework of the result, and I partially agree with them. However, the false lemma is more load-bearing because it directly undermines the proof of the asserted equivalence, regardless of how one interprets 'monad'. The paper has genuine strengths: the geometric treatment of cyclic polytopes, the path space criteria, and the clear separation of reviewed, new, and deferred material. None of that repairs the gap in Lemma 7.12. Because the theorem might still be true after a correction, I do not recommend a flat REJECT, but the central claim is not established as written, so UNVERDICTED is more accurate than CONDITIONAL: the missing condition is not a minor clarification but a repair of a false lemma.","tokens_in":19716,"tokens_out":15188,"duration_ms":155775,"concrete_test":"Restrict the localization set in Lemma 7.12 to injective φ (equivalently, to φ with φ|_I a bijection onto J) and re-run the right Kan extension argument. First verify the counterexample: compute λ on ([2],{0,2})→([1],{0}) given by the constant map [2]→[1]; since λ gives [1]→[0], the unrestricted S cannot be the localization set. Then check whether the restricted, injective version of Lemma 7.12 holds; if it does, Theorem 7.10(1) can be repaired by correcting the statement, and if it fails, the claimed equivalence is in doubt.","verdict_should_be":"UNVERDICTED","load_bearing_attack":"Theorem 7.10(1), the central equivalence Fun(Δ^op, C) ≃ {monads in co_∞(C)}, is proved by invoking Lemma 7.12, which claims that λ exhibits Δ as the ∞-categorical localization of tot(P_∗) along S = {φ:([m],I)→([n],J) | φ(I)=J}. This is false as stated. Take φ:[2]→[1] constant at 0, I={0,2}⊆[2], J={0}⊆[1]; then φ(I)=J, so the morphism ([2],{0,2})→([1],{0}) lies in S. But λ sends it to the unique map [1]→[0], which is not invertible in Δ. A localization functor must invert every map in S, so Δ cannot be the localization of tot(P_∗) along the full set S. The proof's slice-category argument only justifies inverting the injective maps in S (those for which φ restricts to a bijection I→J); non-injective maps in S are not inverted by λ. Since the equivalence of Theorem 7.10(1) is derived directly from Lemma 7.12, the proof of the main theorem is unsupported. The theorem may be repairable by restricting S to injective φ, but as written the argument has a concrete gap.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper is an extended workshop write-up that connects cyclic polytopes, Street's orientals, and higher Segal objects. After reviewing Gale's evenness criterion and Rambau's work, the author defines higher Segal objects via limits over lower and upper boundary complexes L([n],d) and U([n],d), describes the Waldhausen S_\\bullet construction as an example, and proposes a geometric construction of orientals from admissible subcomplexes of cyclic polytopes. The main new claim is developed in Sections 6 and 7: for an infinity-category C with limits, the barycentric-subdivision correspondence simplicial set co_infinity(C), stratified by \"thin\" simplices, is a complicial set; and there is an equivalence Fun(Delta^op, C) \\simeq {lax monads in co_infinity(C)}, under which lower and upper d-Segal objects correspond to monads in the truncations co^l_d(C) and co^r_d(C).","tokens_in":1677,"tokens_out":1554,"duration_ms":118266,"significance":"The paper contains useful exposition and some original framing: the cyclic-polytope perspective on higher Segal maps is elegant, the path-space criteria and the Waldhausen S_\\bullet examples are informative, and the monadic reformulation, if made rigorous, would give a clean way to package higher Segal conditions as thinness conditions in a correspondence category. The author is transparent that the complicial-set statement is due to G\\\"odicke, Ho, and Stern and appears in a forthcoming paper, and that the lax-monad definition is ad hoc. The main theorems are not fully proven in the text, and the central localization lemma is false as stated, so the paper in its current form does not establish the advertised characterization. The value of the paper is currently more survey/expository plus a promising research program.","major_comments":[{"comment":"The localization claim is false as stated. Let phi:[2]->[1] be the constant map at 0, let I={0,2} subset [2], and J={0} subset [1]. Then phi(I)=J, so phi:([2],I)->([1],J) belongs to the set S. But lambda sends this morphism to the unique map [1]->[0], which is not invertible in Delta. A localization along S would be forced to invert the map [1]->[0], collapsing Delta, whereas lambda does not do this. The slice-category argument in the proof only justifies inverting those morphisms in S for which phi restricts to a bijection I->J. This is load-bearing because the proof of Theorem 7.10(1) derives the equivalence Fun(Delta^op, C) \\simeq {monads in co_infinity(C)} directly from Lemma 7.12 via lambda^*. The statement is likely repairable by localizing along the smaller class of morphisms whose image under lambda is an isomorphism, but as written the proof does not prove the claimed equivalence.","section":"Section 7, Lemma 7.12"},{"comment":"The statement that co_infinity(C), stratified by the thin simplices of Definition 6.5, is a complicial set is load-bearing for the whole monad formalism, but the proof is only a sketch and is attributed to a forthcoming paper of G\\\"odicke, Ho, and Stern. The first filling condition is outlined, while the second is asserted after a diagram and a short discussion. A reader cannot verify the complicial identities from the text. Since Theorem 7.10 and the truncations co^l_d(C) and co^r_d(C) rely on this result, the main characterization is conditional on an external unpublished result. The paper should either include a complete proof or explicitly mark the main theorem as conditional on this forthcoming work.","section":"Section 6, Proposition 6.7"},{"comment":"The notion of lax monad used in Theorem 7.10 is explicitly ad hoc and not model-independent. Since the paper's headline is an identification of higher Segal spaces with lax monads, this definitional choice is a load-bearing part of the statement. The equivalence of Theorem 7.10(1) may describe a custom object rather than a pre-existing notion of lax monad in (infinity,omega)-categories, and the paper itself acknowledges this. The revision should either prove model independence or weaken the abstract and introduction so that the claimed characterization is stated for the specific notion defined in Definition 7.8.","section":"Section 7, Definition 7.8 and Remark 7.9"},{"comment":"Part (2) is dismissed as immediate, but this is close to a restatement of the definitions. In Section 6, thinness of a simplex sigma_x is defined in Definition 6.5 via the maps l and u in (6.4), and the text before (6.4) already says that these legs are precisely the upper and lower (n-1)-Segal maps. Consequently, after part (1), the identification of lower and upper d-Segal objects with monads in co^l_d(C) and co^r_d(C) is largely a reformulation. The paper should spell out the correspondence and clearly separate the genuinely new content from the notational repackaging.","section":"Section 7, Theorem 7.10(2)"}],"minor_comments":[{"comment":"The title in the header reads \"some as pects of higher Segal spaces\"; this should be corrected to \"some aspects of higher Segal spaces\".","section":"Title/header"},{"comment":"There is a typo in the statement: \"conitions\" should be \"conditions\".","section":"Section 3, Proposition 3.13"},{"comment":"The word \"simplical\" appears in Example 4.4 and should be \"simplicial\".","section":"Section 4, Definition 4.4"},{"comment":"Since the fibration pi in (7.7) is over Delta^op, the phrase \"injective maps in Delta\" is ambiguous. The paper should specify exactly which edges of Delta^op are meant by a coCartesian condition.","section":"Section 7, Definition 7.8"},{"comment":"The references [DK15a] and [DK15b] appear to cite the same paper with the same title and should be consolidated.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"For the editor: the paper is closer to a research announcement or lecture note than a complete research article. The false statement in Lemma 7.12 is concrete and fixable, so it need not be fatal, but the revision must be substantive: repair the localization statement and either prove Proposition 6.7 or clearly defer it to the forthcoming paper. The author's own caveats about the ad hoc monad model should be reflected in the introduction and abstract. I do not see grounds for rejection if these points are addressed, but acceptance in the current form would be inappropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Honest, well-written notes. The expository core — cyclic polytopes, orientals, the review of Poguntke and Walde — is solid and should be useful to anyone entering the subject. The paper is also unusually clear about provenance: what is new, what is reviewed, and what is deferred (Proposition 6.7 explicitly credits Gödicke–Ho–Stern; the lax monad definition is flagged as ad hoc). That candor deserves credit.\n\nThe problem is the advertised new result. Theorem 7.10(1) is derived from Lemma 7.12, and Lemma 7.12 is false as stated. Take φ:[2]→[1] constant at 0, I={0,2}, J={0}. Then φ(I)=J, so the morphism ([2],{0,2})→([1],{0}) is in the set S along which λ is supposed to localize. But λ sends this morphism to the unique map [1]→[0] in Δ, which is not invertible. A localization functor must invert every map in S; λ does not, so Δ cannot be the ∞-categorical localization of tot(P*) along S. The slice-category argument in the lemma only works for the injective maps in S, not the full collection. Since Theorem 7.10(1) is the central new statement, the proof is unsupported at the point where it matters most.\n\nThe rest of the soft spots are real but secondary: Proposition 6.7 is only sketched and depends on a forthcoming paper; the notion of lax monad is admittedly not model-independent; and part (2) of Theorem 7.10 is close to a rephrasing of the thinness definitions from Section 6. None of these would be fatal if the main equivalence were proven. As it stands, the new contribution is not established.\n\nWho should read this? Specialists and students who want a geometric tour of higher Segal spaces will get value from Sections 2–5 and 8. The monad story should be treated with caution until the gap is repaired. I'd send it to a serious referee — the survey material is genuinely helpful and the theorem is likely correct in spirit — but the report should require a corrected proof of Lemma 7.12 or a precise restriction of the localization. I wouldn't cite the monad characterization in its present form.","headline":"Readable, honest survey whose advertised monad theorem rests on a false localization lemma; useful as notes, but the central proof does not work as written.","tokens_in":20561,"tokens_out":5538,"would_cite":false,"duration_ms":51843,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18N60","52B11","18C15"],"pacs":[],"model":"deepseek-v4-flash","headline":"Simplicial objects in any $\\infty$-category with limits are exactly lax monads in the higher correspondence category, and the lower and upper $d$-Segal conditions are truncations locating the monad.","keywords":["higher Segal spaces","cyclic polytopes","orientals","higher correspondences","lax monads","(∞,ω)-categories","complicial sets","barycentric subdivision"],"falsifier":"Take $C$ to be the $\\infty$-category of spaces and unpack $\\mathrm{co}_\\infty(C)$ by the barycentric subdivision formula. A reader could check whether the thin-saturated horn $\\Lambda^3_i$, with all 2-faces containing $\\{i-1,i,i+1\\}$ thin, always admits a thin filler of the form constructed in the proof of Proposition 6.7 by right-then-left Kan extension; any failure of thinness for such a filler would disprove Proposition 6.7 and remove the complicial-set structure that Theorem 7.10 needs to speak of monads in an $(\\infty,\\omega)$-category.","tokens_in":19488,"feed_emoji":"🔺","tokens_out":12030,"duration_ms":108416,"temperature":0.7,"pith_summary":"The paper aims to establish a categorical characterization of higher Segal spaces, objects that package higher associativity and coherence data in an $\\infty$-category. Its central theorem says that a simplicial object in any $\\infty$-category with limits is the same thing as a lax monad in the $\\infty$-category of higher correspondences built from that category, and that the lower and upper $d$-Segal conditions are exactly the conditions that the monad lives in the corresponding truncated correspondence subcategory. If true, this turns a homotopy-limit condition indexed by cyclic polytopes into a purely algebraic statement about where a monad lives, and gives a uniform reason for the stabilization of higher Segal conditions. Along the way, the paper constructs the orientals, the free $\\omega$-categories on simplices, from cyclic polytopes, and uses that pasting combinatorics in the main argument.","feed_headline":"Simplicial objects are lax monads in correspondences","feed_subtitle":"New equivalence turns higher Segal conditions into a statement about where the monad lives: lower or upper truncation.","key_machinery":"The central object is the higher correspondence $(\\infty,\\omega)$-category $\\mathrm{co}_\\infty(C)$, defined through the barycentric subdivision adjunction: an $n$-simplex is a diagram $x: \\mathcal{P}^*([n])^{\\mathrm{op}} \\to C$, whose $d$-dimensional equators are the limits over the lower and upper boundaries $L([n],d)$ and $U([n],d)$ of the cyclic polytope $C([n],d)$. Thinness of a simplex is the requirement that one of the legs in the top correspondence, i.e. the corresponding lower or upper higher Segal map, is an equivalence. Lax monads are packaged as sections of the coCartesian fibration over $\\Delta^{\\mathrm{op}}$ built from $\\mathrm{co}_\\infty(C)$ that send every injective map to a coCartesian edge. Theorem 7.10 carries the paper: it uses the localization property of the total category of the poset of nonempty subsets to show that simplicial objects correspond exactly to such sections, and the thinness and truncation conditions translate to the monad living in $\\mathrm{co}^l_d(C)$ or $\\mathrm{co}^r_d(C)$.","core_discovery":"The central discovery is Theorem 7.10: for any $\\infty$-category $C$ with limits, there is an equivalence of $\\infty$-categories $\\mathrm{Fun}(\\Delta^{\\mathrm{op}}, C) \\simeq \\{\\text{lax monads in } \\mathrm{co}_\\infty(C)\\}$, sending a simplicial object $X$ to a monad $M_X$; under this equivalence, lower $d$-Segal objects correspond to monads in $\\mathrm{co}^l_d(C)$ and upper $d$-Segal objects to monads in $\\mathrm{co}^r_d(C)$. The category $\\mathrm{co}_\\infty(C)$ is built from $C$ by barycentric subdivision: its $n$-simplices are diagrams indexed by the nonempty subsets of $[n]$, and its top-dimensional cell is a correspondence between the limits over the lower and upper hemispheres of the cyclic polytope $C([n], n-1)$. The paper shows that $\\mathrm{co}_\\infty(C)$ with its thin simplices is a complicial set, hence models an $(\\infty,\\omega)$-category, and proves that the functor from the total category of nonempty subsets to $\\Delta$ is a localization, which identifies simplicial objects with its lax monads. A direct corollary is that lower or upper $d$-Segal objects are automatically $k$-Segal for all $k>d$, and that in a $d$-Segal object every triangulation of a cyclic polytope gives an equivalent limit.","pith_inferences":["Editorial inference: if Definition 7.8 can be made model-independent, the equivalence would recast the whole theory of simplicial objects as a chapter of monad theory, with higher Segal conditions becoming a family of truncation functors on $(\\infty,\\omega)$-categories.","Editorial inference: the monadic viewpoint suggests a testable analogue of the known automatic unitality phenomenon for 2-Segal spaces: for higher $d$-Segal objects, the unit axioms of the associated lax monad may follow from the Segal conditions rather than needing to be imposed.","Editorial inference: the Pachner-move interpretation in Section 9, combined with the monadic description, points toward a construction of manifold invariants in dimension greater than two, where monadic coherence data would provide the higher associativity constraints needed to make Segal-Pachner moves invariant; the paper leaves this as an open problem."],"forward_implications":["Every simplicial object in an $\\infty$-category with limits carries a canonical lax monad structure in the correspondence category, so the monadic structure is not an additional choice but part of the simplicial datum.","The lower and upper $d$-Segal conditions are exactly the conditions that this canonical monad factors through the truncated categories $\\mathrm{co}^l_d(C)$ and $\\mathrm{co}^r_d(C)$, respectively, making higher Segal conditions a statement about where a monad lives.","The correspondence between Segal maps and thinness gives a dictionary between higher Segal conditions and invertibility of the legs in top-dimensional correspondences in $\\mathrm{co}_\\infty(C)$.","Combined with the stabilization theorem, the characterization explains why lower or upper $d$-Segal implies $k$-Segal for every $k>d$: once the monad lives in the $d$-truncation, all higher Segal maps are automatically equivalences.","The geometric construction of the orientals from admissible subcomplexes of cyclic polytopes supplies the pasting schemes used in the proof that $\\mathrm{co}_\\infty(C)$ is complicial, so the monadic characterization inherits the explicit stacking combinatorics of cyclic polytopes."],"supporting_citations":[{"why":"Supplies the language of $\\infty$-categories and limits in which simplicial objects and higher Segal maps are defined.","marker":"[Lur09]"},{"why":"Provides the cyclic polytope combinatorics: the evenness criterion for gaps, the stacking partial order on simplices, and bistellar flips of triangulations.","marker":"[Ram97]"},{"why":"Defines the orientals as free $\\omega$-categories on simplices, the target of the geometric construction in Section 4.","marker":"[Str87]"},{"why":"Introduces complicial sets, the stratified model used to present $\\mathrm{co}_\\infty(C)$ as an $(\\infty,\\omega)$-category.","marker":"[Ver08]"},{"why":"Supplies the definition and filling conditions of complicial sets used in the sketch proof of Proposition 6.7.","marker":"[Rie18]"},{"why":"Provides the standard model of monads as associative algebras via coCartesian sections, which the paper adapts to its lax monad notion.","marker":"[Lur17]"},{"why":"Introduces the barycentric subdivision adjunction that generates the correspondence construction $\\mathrm{co}_\\infty$.","marker":"[Kan57]"},{"why":"Establishes the stabilization theorem for higher Segal conditions that the monadic characterization places in context.","marker":"[Pog17]"},{"why":"Defines higher Segal spaces and records the earlier path-space criteria and 2-Segal examples that the new characterization subsumes.","marker":"[DK19]"},{"why":"Gives the higher-excision reformulation of higher Segal conditions discussed in Section 8 as a neighboring equivalent perspective.","marker":"[Wal20]"}],"fun_headline_variants":["Higher Segal spaces: monads in correspondence categories","Simplicial objects are lax monads over barycentric subdivision","Cyclic polytopes build orientals via higher correspondences","Lower or upper d-Segal objects are k-Segal for all k>d"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the paper's own definition of a lax monad in $\\mathrm{co}_\\infty(C)$ (Definition 7.8) is the right notion of lax monad for $(\\infty,\\omega)$-categories: the author calls it 'somewhat ad-hoc' and not model-independent (Remark 7.9), so if it does not match the intended general concept, Theorem 7.10 characterizes a custom object rather than monads in an established sense; the theorem also relies on Proposition 6.7, whose full proof is deferred to a forthcoming paper.","fun_headline_variants_meta":{"raw":{"variants":["Higher Segal spaces: monads in correspondence categories","Simplicial objects are lax monads over barycentric subdivision","Cyclic polytopes build orientals via higher correspondences","Lower or upper d-Segal objects are k-Segal for all k>d"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001112,"raw_usage":{"total_tokens":4618,"prompt_tokens":919,"completion_tokens":3699,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":535,"completion_tokens_details":{"reasoning_tokens":3638}},"tokens_in":535,"tokens_out":3699,"duration_ms":26193,"temperature":1.0,"reasoning_tokens":3638,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T04:03:23.340646+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $C$ to be the $\\infty$-category of spaces and unpack $\\mathrm{co}_\\infty(C)$ by the barycentric subdivision formula. A reader could check whether the thin-saturated horn $\\Lambda^3_i$, with all 2-faces containing $\\{i-1,i,i+1\\}$ thin, always admits a thin filler of the form constructed in the proof of Proposition 6.7 by right-then-left Kan extension; any failure of thinness for such a filler would disprove Proposition 6.7 and remove the complicial-set structure that Theorem 7.10 needs to speak of monads in an $(\\infty,\\omega)$-category.","supporting_citations":[],"review_version":1}