{"id":"6e4c45fe-54a7-4eac-886a-b09ddea07861","arxiv_id":"1908.05440","paper_version":3,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Fixed-color equivariant simplicial operads admit model structures whose weak equivalences are detected by graph subgroups or by any chosen (G,Sigma)-family of subgroups.","lead":"This paper builds model structures for equivariant operads with a fixed set of colors, with weak equivalences chosen by families of subgroups such as graph subgroups. It prepares the ground for the homotopy theory of equivariant coloured operads with varying colors, relevant to norm maps and the equivariant dendroidal set programme.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Prop. 4.34's proof is a non-self-contained weakening of [BP21, Prop. 6.25]; if it is wrong, Theorem I's groupoid step fails.","rationale":"The reader's weakest assumption is condition (v), which limits the scope of Theorem I. I agree that condition (v) is restrictive, but the more load-bearing issue is the correctness of Proposition 4.34, the engine that uses (v) to prove the triviality of the filtration maps. The paper's proof of Proposition 4.34 delegates the core check to an analysis of a proof in a companion paper and sketches the groupoid reduction. This is a verification gap rather than a known error; the paper is likely correct, but the gap is the place where a hidden assumption could lurk. Because the concern is about completeness of proof rather than an identified false statement, the reader's ACCEPT verdict with moderate confidence remains appropriate. A direct re-derivation would settle it.","tokens_in":58244,"tokens_out":19591,"duration_ms":175831,"concrete_test":"Independently re-derive Proposition 4.34(i) directly from Proposition 4.21, Lemma 4.31, and Definition 4.26, without relying on the assertion that [BP21, Prop. 6.25] works without cellular fixed points. Specifically, check the filtration proof of [BP21, Prop. 6.25] to confirm that the triviality of f^{\\square n} only uses the cofibrant pushout powers axiom and the left Quillen properties of the displayed functors, and verify the partition argument for the groupoid case by writing out the family membership condition (4.29) on each piece. If either step requires an additional hypothesis, Theorem I as stated must be amended.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem I is established by transferring the F-model structure from Sym^G_C(V) to Op^G_C(V). The decisive step in Section 5.2 is showing that the filtration pieces O_{k-1}->O_k of Lemma 5.8 are genuine \\otimes-trivial cofibrations; this invokes Proposition 4.34(i), the claim that for a groupoid G and a (trivial) F-cofibration f, the pushout power f^{\\square n} is a (trivial) F^{\\star n}-cofibration in V^{\\Sigma_n\\wr G}. Proposition 4.34's proof is not self-contained. For the group case it says that 'analyzing the proof therein' in [BP21, Prop. 6.25] shows the stronger cellular fixed points assumption is not needed, and it does not reproduce that analysis. The groupoid case then reduces to the group case by partitioning the tuple and asserting that the projection \\pi_\\Sigma(H) preserves the partition; the paper asserts, without detailed proof, that H\\in(F^{\\star n})_{(x_i)} iff the projected subgroups lie in F^{\\star n_l}_{x_{\\lambda_l}}. If the analysis of [BP21] is incomplete or the partition/family identification is wrong, the groupoid case, which is exactly what is needed for a general G-set of colors C, could fail even when V satisfies (i)-(v). This step is load-bearing: without it, the maps O->O[u] are not known to be genuine \\otimes-trivial cofibrations, so the transferred model structure is not established.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs F-model structures on the category Op_C^G(V) of G-equivariant, C-colored operads in a monoidal model category V, for a finite group G, a G-set of colors C, and a (G,Σ)-family F. Weak equivalences and fibrations are detected by taking Λ-fixed points for each profile and each subgroup Λ ∈ F stabilizing that profile. Theorem I establishes the model structure under explicit hypotheses (i) through (v), including a new 'cofibrant symmetric pushout powers' condition, and Theorem II gives a preservation result for cofibrations between cofibrant objects when F is a pseudo indexing system. The proofs transfer a model structure from equivariant symmetric sequences, using a filtration of free operad extensions (Lemma 5.8) and a groupoid-level pushout-power proposition (Proposition 4.34). Much of the technical work is deferred to a long appendix that fully describes the free-operad monad and proves the filtration lemma.","tokens_in":58425,"tokens_out":5689,"duration_ms":57747,"significance":"If correct, the paper provides a substantial extension of prior single-colored equivariant operad model structures (Bonventre–Pereira, Gutiérrez–White) to fixed G-sets of colors, a necessary ingredient for the authors' program on equivariant dendroidal sets and ∞-operads. The explicit list of hypotheses is useful and the paper is honest about the restrictive nature of condition (v), giving concrete examples and a notable non-example. The main technical novelty, the groupoid-level pushout-power result, is exactly what is needed to handle nontrivial color actions, and the appendix supplies a detailed monadic framework. However, the paper's correctness rests on a proposition whose proof is not fully self-contained and is load-bearing for the central theorem.","major_comments":[{"comment":"The proof of Proposition 4.34 is not self-contained and this is load-bearing for Theorem I. For the group case, the paper states that 'analyzing the proof therein' of [BP21, Prop. 6.25] shows that the stronger cellular fixed points assumption is not needed, but it does not reproduce that analysis or state precisely which parts of the cited proof require which hypotheses. For the general groupoid case, the reduction to the group case asserts without proof that the projection πΣ(H) preserves the partition of the tuple and that H ∈ (F⋉n)_{(xi)} if and only if the projected subgroups lie in the corresponding F⋉n_l. These claims are used exactly in the proof of Theorem I in §5.2, where the filtration maps O_{k-1}→O_k are shown to be genuine ⊗-trivial cofibrations via Proposition 4.34(i). A reader cannot verify the central result without a complete proof of Proposition 4.34 or a precise external reference that states the weakened hypothesis and covers the groupoid case. This is a correctness risk that should be addressed by supplying the missing argument in the paper or by citing a published statement with the exact weakening and proof.","section":"§4.2, Proposition 4.34"}],"minor_comments":[{"comment":"The family F is written as {F_n}_{n≤0}; this should be n≥0, consistent with the arity indexing used throughout the paper and in the statement of Theorem I.","section":"Definition 1.4"},{"comment":"In the condition (1.6), it is implicit that Λ ∈ F_n for the arity n of the profile ⇀C; adding 'where n is the arity of ⇀C' would improve readability.","section":"Theorem I, statement of weak equivalences"},{"comment":"The remark states that F-trivial cofibrations in Op_C^G(V) are underlying genuine ⊗-trivial cofibrations in Sym_C^G(V); it may be worth adding a parenthetical that this relies on the global monoid axiom (iv), as made explicit in the proof of Theorem I.","section":"Remark 5.13"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is part of a series of preprints (BPa, BPb) and leans heavily on the published paper BP21. The main risk is Proposition 4.34: the proof invokes an analysis of a cited proof without presenting it and the groupoid case is asserted rather than shown. Since Theorem I depends on this proposition, the authors should either provide a full proof or a precise reference with the exact weakened hypotheses. This is a correctness issue, not merely a presentation issue, and should be resolved before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, Theorem I really is the fixed-color generalization it claims: for a finite group G and a G-set of colors C, it builds F-model structures on Op^G_C(V) for a (G,Sigma)-family F, with weak equivalences read off fixed points of profiles. The single-colored cases of Bonventre-Pereira and Gutierrez-White do not cover this because the G-action permutes colors, and the paper's all-colors, fibered-monad setup is the right repair. Second, the proof is long and mostly well structured, but one load-bearing step, Proposition 4.34, is not self-contained. That is the real thing to check.\n\nWhat is good: the paper extends the pushout-powers technology from groups to groupoids, which is exactly what is needed for arbitrary G-sets of colors. The filtration lemma (5.8) and its proof in Appendix A are serious work. The authors are honest about scope: condition (v), cofibrant symmetric pushout powers, is restrictive, and they explicitly note in Remark 1.12 that symmetric spectra with the positive S model structure do not satisfy it. They also flag that semi-model structure analogues need less (Remark 5.17). The examples sSet, Top, Set, and Cat are checked. The citation pattern is fine; the paper leans on [BP21] because that is where the machinery comes from, and it extends rather than restates those results.\n\nSoft spots: Proposition 4.34(i) says the group case is almost exactly [BP21, Prop. 6.25], except the stronger cellular fixed points assumption is dropped, and then says analyzing the proof therein shows the stronger assumption is not needed. That analysis is not reproduced. The groupoid case then partitions the tuple and asserts the projection preserves the partition, with the claim that H lies in the pullback family iff the projected subgroups lie in the component families. This is stated without detailed proof. It is load-bearing: Lemma 5.8 hands you filtration maps O_{k-1}->O_k built from pushout powers of u, and Theorem I needs Proposition 4.34 to know those are genuine trivial cofibrations in the groupoid case. If that partition/family claim fails, the general fixed-color transfer argument collapses. I do not think it is wrong, but a referee has to verify it, and the paper makes that verification harder than it should by not spelling out the reduction.\n\nBottom line: this is a central technical stepping stone for the equivariant Cisinski-Moerdijk program, and the authors are not overselling. It deserves a serious referee. I would send it out and ask the referee to focus on Proposition 4.34 and its dependence on [BP21].","headline":"A genuinely new fixed-color equivariant operad model structure, built on a long and mostly careful proof, with one load-bearing non-self-contained step (Prop. 4.34) that a referee should check before accepting.","tokens_in":59106,"tokens_out":2300,"would_cite":true,"duration_ms":23914,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["55P48","55P91","55U35"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper builds F-model structures on equivariant simplicial operads with a fixed G-set of colors, for any finite group G, with weak equivalences read off from fixed-point spaces of stabilizing subgroups.","keywords":["equivariant operads","model structures","fixed colors","graph subgroups","norm maps","indexing systems","colored symmetric sequences","families of subgroups"],"falsifier":"Compute the box-product power $u^{\\square n}$ of a single generating trivial cofibration $u$ in any candidate monoidal model category, with the symmetric group acting by permuting the $n$ factors, and check whether every fixed-point map $(u^{\\square n})^H$ is a weak equivalence; this is the exact calculation that separates the categories in the paper's list, since it holds for simplicial sets, spaces, sets, and categories, while for symmetric spectra with the positive S model structure only a lax version is available - verifying that failure, or exhibiting any category satisfying all five conditions in which a free-operad extension along a generating trivial cofibration is not a weak equivalence, would delimit the scope of Theorem I.","tokens_in":57915,"feed_emoji":"⚙️","tokens_out":16080,"duration_ms":145432,"temperature":0.7,"pith_summary":"The paper constructs model structures on the category of equivariant simplicial operads whose set of colors is a fixed G-set, for any finite group G. A map of operads is declared a weak equivalence exactly when the fixed-point spaces at the subgroups singled out by a family F are Kan equivalences, profile by profile; this recovers the graph equivalences that detect norm-map data in equivariant homotopy theory. The construction works over any cofibrantly generated monoidal model category satisfying five conditions, the most restrictive being cofibrant symmetric pushout powers, which holds for simplicial sets, spaces, sets, and categories but fails for symmetric spectra. This extends earlier single-colored results to the genuinely colored setting, where the group acts on the colors themselves, and it is the fixed-color input the authors need for a model structure on all equivariant colored operads with varying colors.","feed_headline":"Model structures exist for every fixed-color equivariant operad","feed_subtitle":"Fixed points of stabilizer subgroups decide equivalence, capturing the norm-map data equivariant homotopy theory needs.","key_machinery":"The load-bearing mechanism is a transfer along the free-forgetful adjunction from an $F$-model structure on the category $\\mathrm{Sym}^G_C(V)$ of equivariant colored symmetric sequences - identified by Proposition 3.17 with the presheaf category $\\mathrm{Fun}(G \\ltimes \\Sigma^{\\mathrm{op}}_C, V)$ - to the category of operads. The transfer rests on two tools: a filtration of every free operad extension (Lemma 5.8) expressing the pushout $O[u]$ as a colimit of stages $O_k$, each a pushout over alternating trees whose $k$ inert vertices contribute a box-product power $u^{\\square k}$ of the generating map $u$; and Proposition 4.34, the groupoid generalization of the pushout-power property, which turns that box-product power into a genuine trivial cofibration provided $V$ has cofibrant symmetric pushout powers. Together they show the generating trivial cofibrations of the operad category are genuine trivial cofibrations of symmetric sequences, exactly what the transfer theorem requires.","core_discovery":"The central result is Theorem I: for a finite group $G$, a $G$-set of colors $C$, and a $(G,\\Sigma)$-family $F$, the category $\\mathrm{Op}^G_C(\\mathbf{sSet})$ carries the $F$-model structure, in which a map $O \\to P$ is a weak equivalence (or fibration) precisely when the induced maps $O(\\vec{C})^\\Lambda \\to P(\\vec{C})^\\Lambda$ are Kan equivalences (or Kan fibrations) for every $C$-profile $\\vec{C}$ and every $\\Lambda \\in F$ that stabilizes $\\vec{C}$. The same transfer works over any monoidal model category $V$ satisfying five conditions, and Theorem II shows that when $F$ is a pseudo indexing system - in particular for the graph subgroups that record norm-map data - cofibrations between cofibrant operads forget to cofibrations of underlying symmetric sequences, so operadic cofibrancy is visible on the generating cells.","pith_inferences":["The groupoid version of the pushout-power proposition (Proposition 4.34) is transferable beyond operads: any category of equivariant algebraic structures over a groupoid of profiles - for instance equivariant multicategories with fixed objects - should inherit $F$-model structures from the same argument.","For symmetric spectra, where the cofibrant pushout-power condition fails, the paper's own suggestion is to let the $(G,\\Sigma)$-family be chosen relative to the genuine model structure on each $V^{G\\times\\Sigma_n}$; a testable route to genuine equivariant spectral operads is to define $F$ that way so the weak equivalences match genuine equivalences of $G$-spectra rather than the lax intermediate o","The paper's insistence that fixed-color equivariant operads require change-of-color data even though their colors are fixed suggests a structural lesson for enriched or higher settings: equivariant operads must be built over the category of $G$-sets of colors, not as $G$-objects in a category of ordinary colored operads.","A concrete extension to try: localize the $F$-model structure along a coarser family, and check whether the result is again an $F'$-model structure for the localized family - if so, the machinery composes with Bousfield localization the way the paper's Quillen adjunctions compose with change of colors."],"forward_implications":["Choosing $F$ to be the family of graph subgroups produces model structures on fixed-color equivariant operads whose weak equivalences are the graph equivalences, so norm-map data of algebras is preserved up to equivalence in the colored setting and not just for single-colored operads.","Because every Blumberg-Hill indexing system is a pseudo indexing system, the theory supplies $F$-model structures for all the operadic models of equivariant commutativity that appear in the norm literature.","When $F$ is a pseudo indexing system, cofibrant $F$-operads are automatically cofibrant as underlying symmetric sequences, so free-operad cell decompositions behave like the non-equivariant ones for these families.","The color-change adjunctions of Corollary 5.15 are Quillen for every family $F$, which is precisely the property the sequel uses to assemble the fixed-color structures into a model structure on equivariant colored operads with varying colors and to build a Quillen equivalence with equivariant dendroidal sets.","Model structures on equivariant categories with a fixed object set follow from the same theorems, and for those the cofibrant pushout-power condition is unnecessary."],"supporting_citations":[{"why":"Provides the single-colored graph-equivalence model structure, the cofibrant symmetric pushout powers condition, and the pushout-power results that Proposition 4.34 extends from groups to groupoids.","marker":"[BP21]"},{"why":"Gives the independent single-colored model structure (Theorem 3.1) that Theorem I generalizes to fixed G-sets of colors.","marker":"[GW18]"},{"why":"Introduces graph subgroups and indexing systems and explains why norm-map data forces these families of weak equivalences.","marker":"[BH15]"},{"why":"Supplies the model category transfer theorem (Theorem 2.1.19) used to build the genuine model structures on G-objects from generating sets.","marker":"[Hov99]"},{"why":"Supplies Theorem 11.3.2, the transfer criterion invoked to lift the F-model structure from symmetric sequences to operads.","marker":"[Hir03]"},{"why":"Develops genuine model structures on V^G via weak acyclic cellular fixed points, which underlies condition (ii) of Theorem I.","marker":"[Ste16]"}],"fun_headline_variants":["Fixed-color equivariant operads admit model structures","Norm maps shape model structures for fixed-color operads","Graph subgroups give model structures for fixed-color operads","Equivariant operads with fixed colors now have model structures"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire construction rests on the ambient category having cofibrant symmetric pushout powers: whenever $u$ is a trivial cofibration, the $n$-fold box product of $u$ with itself must remain a genuine trivial cofibration after accounting for the symmetric group that permutes the $n$ factors, and if that fails in some category the filtration stages in the transfer proof are not weak equivalences and the model structure cannot be lifted.","fun_headline_variants_meta":{"raw":{"variants":["Fixed-color equivariant operads admit model structures","Norm maps shape model structures for fixed-color operads","Graph subgroups give model structures for fixed-color operads","Equivariant operads with fixed colors now have model structures"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000378,"raw_usage":{"total_tokens":1947,"prompt_tokens":816,"completion_tokens":1131,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":432,"completion_tokens_details":{"reasoning_tokens":1067}},"tokens_in":432,"tokens_out":1131,"duration_ms":10629,"temperature":1.0,"reasoning_tokens":1067,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:13:34.850614+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the box-product power $u^{\\square n}$ of a single generating trivial cofibration $u$ in any candidate monoidal model category, with the symmetric group acting by permuting the $n$ factors, and check whether every fixed-point map $(u^{\\square n})^H$ is a weak equivalence; this is the exact calculation that separates the categories in the paper's list, since it holds for simplicial sets, spaces, sets, and categories, while for symmetric spectra with the positive S model structure only a lax version is available - verifying that failure, or exhibiting any category satisfying all five conditions in which a free-operad extension along a generating trivial cofibration is not a weak equivalence, would delimit the scope of Theorem I.","supporting_citations":[],"review_version":1}