{"id":"b053da23-66e0-43d4-9f5d-3259fbbaab63","arxiv_id":"2505.14288","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every normal dendroidal ∞-operad is an operadic weak equivalence to the localization at root-preserving maps of the nerve of its discrete, Σ-free operad of elements.","lead":"This paper constructs, for every dendroidal set X, a discrete operad Ω/X whose nerve localizes to X via a newly defined root functor. The result extends Joyal's last-vertex delocalization from ∞-categories to ∞-operads.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.13's reduction to representables uses an unproved cocontinuity assertion for L(-, R_-); the localization of the operad of elements is not shown to commute with the skeletal filtration.","rationale":"The reader's weakest-assumption analysis identifies precisely the point where the central argument is least secure: the reduction from arbitrary normal dendroidal sets to representable trees in Theorem 3.13. My independent reading of the proof confirms that Proposition 3.9 establishes cocontinuity for N_d(Ω/-), but the localization L(-, R_-) is a different functor, and its cocontinuity with respect to the varying set R_X is asserted without proof. This matters because the main theorem's proof strategy is otherwise sound: the representable case is handled by an explicit section l_T and a homotopy with root-preserving components, and the localization machinery of Section 2 is standard. The gap is therefore a missing proof step rather than a demonstrated contradiction, so the appropriate verdict remains CONDITIONAL rather than ACCEPT or REJECT. The concern is load-bearing because Corollary 3.14, Corollary 3.15, and the algebra description in Corollary 4.10 all depend on Theorem 3.13. I did not find a separate flaw that would require a different verdict, though Proposition 4.4's proof also relies on an unproved descent property for dendroidal left fibrations; that is a secondary issue for the application section and would not by itself change the assessment of the main theorem.","tokens_in":24612,"tokens_out":21966,"duration_ms":225485,"concrete_test":"Take X = Δ^2 as a dendroidal set and filter it as X_1 = ∂Δ^2 (the union of three edges) followed by the cell attachment X = X_1 ⊔_{∂Δ^2} Δ^2. Compute the localization L(N_d(Ω/X), R_X) explicitly and compare it with the pushout P = L(N_d(Ω/X_1), R_{X_1}) ⊔_{L(N_d(Ω/∂Δ^2), R_{∂Δ^2})} L(N_d(Ω/Δ^2), R_{Δ^2}). If P and L(N_d(Ω/X), R_X) are not operadically weakly equivalent, the cocontinuity assertion in Theorem 3.13 fails. If they agree, repeat the check for a tree obtained by grafting two non-trivial trees along an edge, where composites through the new boundary edge are possible; agreement there would support the skeletal-filtration reduction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 3.13 opens by asserting that, by Proposition 3.9, the functor L(-, R_-) is cocontinuous and preserves normal monomorphisms, and that this permits a skeletal filtration reducing the statement to representable trees. Proposition 3.9, however, proves cocontinuity only for N_d(Ω/-); it says nothing about the localization functor L(-, R_X), whose second argument is the varying set R_X of root-preserving morphisms of Ω/X. Since L(X,S) is defined as the pushout of ∐_S C1 → ∐_S J along ∐_S C1 → X, cocontinuity of X ↦ L(N_d(Ω/X), R_X) requires that the assignment X ↦ R_X is compatible with colimits of dendroidal sets. This is not established and is not automatic: 1-simplices in a colimit of categories of elements can be composites of maps coming from different pieces, and such a composite can be root-preserving even when its factors are not. Thus the localization at R_X can contain new identifications that are not present in the pushout of the localized pieces. If this reduction fails, Theorem 3.13 is proved only for trees, and the main claim that every ∞-operad is a localization of a discrete Σ-free operad is not supported by the written argument. The application in Corollary 4.10 relies on Theorem 3.13 and therefore inherits the gap.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces, for a dendroidal set X, the operad of elements Ω/X and the root functor r_X: N_d(Ω/X) → X, extending Joyal's last-vertex functor for simplicial sets to the dendroidal setting. The central claim is Theorem 3.13: for every normal dendroidal set X, localizing N_d(Ω/X) at the set R_X of root-preserving morphisms turns r_X into an operadic weak equivalence, so every ∞-operad is a localization of a discrete Σ-free operad. The paper also studies the interaction of dendroidal localization with the covariant model structure, uses this to describe algebras over an ∞-operad as locally constant algebras over its operad of elements, and closes with a general framework of operadic décalage in Section 5.","tokens_in":24874,"tokens_out":9279,"duration_ms":98393,"significance":"If Theorem 3.13 is correct, the paper provides a clean and conceptual extension of Joyal's delocalization theorem, with a natural discrete operad associated to any dendroidal set. The paper is well organized, contains an explicit pushout model for localization (Proposition 2.4), and gives a genuinely useful application to the description of algebras over ∞-operads in terms of locally constant algebras. The operadic décalage of Section 5 is a promising abstraction that may have applications beyond dendroidal sets. However, the main theorem currently rests on an unproved cocontinuity assertion, so the significance of the paper will be fully realized only after that gap is closed.","major_comments":[{"comment":"The proof begins by asserting that, by Proposition 3.9, the functor L(−, R_−) : dSets → dSets is cocontinuous and preserves normal monomorphisms, and that this permits a skeletal filtration reducing the claim to representable trees. Proposition 3.9 proves cocontinuity and normal-monomorphism preservation only for N_d(Ω/−); it says nothing about the localization functor L(−, R_X), whose second argument is the varying set R_X of root-preserving morphisms of Ω/X. Since L(X,S) is defined by the pushout (2.1) involving the set S, cocontinuity of X ↦ L(N_d(Ω/X), R_X) would require that the assignment X ↦ R_X be compatible with the colimits used in the skeletal filtration. This is not established and is not automatic: a 1-simplex in a colimit of categories of elements can be a composite of morphisms coming from different pieces, and such a composite can be root-preserving even when its factors are not. As written, the reduction is therefore unjustified, and the theorem is proved only for the case X ≃ T a tree. This gap also affects Corollaries 3.14 and 3.15 and Corollary 4.10, which rely on Theorem 3.13.","section":"Theorem 3.13, first paragraph of proof"},{"comment":"The proof of cocontinuity of N_d(Ω/−) is only a sketch. The natural equivalence ψ_X : θ̂(X) → N_d(Ω/X) is constructed by induction on the number of vertices of a tree, but the base-case bijections are asserted rather than demonstrated, naturality in X and in T is not verified in detail, and the compatibility of the Segal isomorphisms with the associativity and symmetry of grafting is described only informally. Since Proposition 3.9 is the first step in the reduction in Theorem 3.13 and is also what allows the root functor to be extended from trees to arbitrary dendroidal sets in Definition 3.11, a complete proof is needed.","section":"Proposition 3.9"},{"comment":"The proof that the S/X-local covariant model structure is Quillen equivalent to the covariant model structure over X[S^{-1}] is too compressed at two points: the construction of Y is claimed to produce a dendroidal left fibration because its pullback along a surjection is a left fibration, and the statement 'It is straightforward to check that Rλ^* is fully faithful' is a nontrivial derived-functor assertion. Since Proposition 4.4 is a load-bearing input for Corollary 4.10, these steps should be spelled out.","section":"Proposition 4.4"}],"minor_comments":[{"comment":"The abstract and introduction state the theorem for 'any ∞-operad', while Theorem 3.13 is stated for normal dendroidal sets; the passage to arbitrary ∞-operads via normalization (Definition 2.1) should be made explicit.","section":"Abstract and Introduction"},{"comment":"There are numerous typographical errors, including '8-operad' for '∞-operad', 'opewrad', 'phenomenom', 'n-dimentional', 'Hinich-Moeridjk', and various grammatical slips such as 'it is an homotopy pushout'.","section":"Throughout"},{"comment":"The notation θ̂ appears garbled as 'pθ' in the displayed text; the proof would benefit from a more explicit statement of the naturality in X and T.","section":"Proposition 3.9"},{"comment":"The proof invokes a natural map N_d(Ω/T) ⊗ C_1 → N_d(Ω/T ⊗ C_1) without defining it; a reference or a brief construction of this map should be supplied.","section":"Theorem 3.13, proof"},{"comment":"The simplicial operad W_!(X) and the zig-zag in part (2) are not defined in the statement; the notation should be introduced, even if the details are left to the cited references.","section":"Corollary 4.10"},{"comment":"The comparison between the general operadic décalage and the special features of the dendroidal root functor is informal; a summary table or a closing list of which properties are proven and which are expected would improve readability.","section":"Section 5"}],"recommendation":"major_revision","confidential_remarks":"The paper depends substantially on the author's previous work [Pra25] for the operadic un/straightening equivalence, which is cited but not summarized. If that paper is not yet publicly available or accepted, the present paper's application in Corollary 4.10 will be conditional on the status of [Pra25]. The main issue, however, is the unproved cocontinuity of L(−, R_−) in Theorem 3.13; this is a fixable but essential gap, not merely an organizational matter."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper defines the operad of elements of a dendroidal set, the root functor, and claims that every normal dendroidal set (hence every ∞-operad) is a localization of the nerve of a discrete Σ-free operad. If true, this is a clean, uniform delocalization theorem that extends Joyal and Stevenson's last-vertex result from simplicial sets to dendroidal sets. The construction is natural, the writing is clear, and Section 5's operadic décalage is a nice conceptual generalization of Cisinski's décalage, even if the strong properties (cocontinuity, localization) are proved only in the dendroidal setting.\n\nThe soft spot is real. In the proof of Theorem 3.13, the reduction to representable trees is justified by asserting that the functor X ↦ L(N_d(Ω/X), R_X) is cocontinuous and preserves normal monomorphisms. Proposition 3.9 proves cocontinuity for N_d(Ω/-), not for the composed localization functor, and R_X is a varying set of root-preserving morphisms that is not obviously compatible with colimits. The stress-test note is right: a composite in a colimit of categories of elements can be root-preserving even when its factors are not, so the localization can add identifications not present in the skeleta. As written, the theorem is proved only for trees. That is a load-bearing gap.\n\nTwo smaller concerns: Proposition 3.9's proof is a sketch, and Proposition 4.4 relies on a descent property for dendroidal left fibrations that is asserted rather than demonstrated. Also, the abstract describes R as the set of morphisms sent to identities by r_X, while the theorem uses root-preserving morphisms; these sets need not coincide, and the introduction should match the formal statement.\n\nIf the cocontinuity claim can be repaired—for instance by proving compatibility of R_X with filtered colimits or by a direct skeletal argument—the theorem stands. The paper deserves a serious referee: the main idea is new and potentially important for dendroidal homotopy theory. I recommend sending it to peer review with a request for a full proof of the reduction step.","headline":"A genuinely new operadic delocalization construction with a plausible main theorem, but the proof of Theorem 3.13 contains an unproven cocontinuity reduction that as written proves only the tree case.","tokens_in":25458,"tokens_out":4021,"would_cite":false,"duration_ms":35990,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":null,"created_at":"2026-08-07T15:37:36.510015+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":null,"supporting_citations":[],"review_version":1}