Pith. sign in

REVIEW 3 major objections 4 minor 6 references

Equivariant operads, symmetric sequences, and Boardman-Vogt tensor products

T0 review · 3 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read Every one-color G-operad has a monadic underlying G-symmetric sequence, the genuine operadic nerve lifts to a conservative functor of ∞-categories, and the Boardman-Vogt tensor product on G-operads is closed, with algebras over O⊗P…

desk verdict Substantial and mostly well-built, but Proposition 2.88 is false as stated for colored operads, and the classification claims need a one-color restriction or a corrected arity-support definition. read the letter →

arxiv 2501.02129 v1 pith:PSOUJKM3 submitted 2025-01-03 math.CT math.AT

Natalie Stewart This is my paper · ORCID
classification math.CTmath.AT MSC 18N7055P4855P91
keywords equivariantoperadsG-symmetricsequencesweakindexingsystemsN-infinityBoardman-Vogttensorproductfibrouspatternsmonadicfunctorsconservativenerve
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

The paper builds foundational structure for the ∞-category of G-operads, the equivariant algebraic theories that encode norms, transfers, and incomplete commutativity for a finite group G. It constructs an underlying G-symmetric sequence for every one-color G-operad and proves the forgetful functor is monadic, so an operad is determined by its structure spaces together with an algebra structure. It then lifts the genuine operadic nerve to a conservative functor of ∞-categories, which is an equivalence on discrete G-operads. It classifies sub-operads of the terminal G-operad: they are exactly the weak N∞-operads, equivalent to weak indexing systems. Finally, it defines a closed, homotopy-commutative Boardman-Vogt tensor product on G-operads, so algebras over O⊗P are precisely objects carrying interchanging O- and P-algebra structures.

What carries the argument

The argument runs through fiberwise-cocartesian functors over the effective Burnside category Span(F_G): a G-operad is a fibrous pattern over Span(F_G), meaning it has cocartesian lifts along backward maps and satisfies Segal conditions for colors and multimorphisms. The underlying G-symmetric sequence functor sseq extracts the structure spaces O(S) from these data and is shown to be monadic, with the free algebra monad computed as an indexed colimit over the symmetric sequence. The arity support A_O records which maps of finite G-sets have nonempty structure spaces; the compatibility of restriction, composition, and Σ-actions forced by the fibrous-pattern conditions is what makes A_O a weak indexing category. The Boardman-Vogt tensor product is defined by pushing forward O×P along the smash product of spans, and closedness comes from the associated pattern of algebras Alg_O(C); the Segal envelope intertwines this tensor product with the mode tensor product of symmetric monoidal ∞-categories.

What would settle it

Look for a one-color G-operad O and a map of finite G-sets T→S whose fiberwise structure spaces O(T_U) are all nonempty but whose restricted structure space O(T×_S U) is empty for some orbit U of S; existence of such an operad would directly contradict the pullback-closure of the arity support, and hence the classification of weak N∞-operads. The same example would also defeat Proposition 2.88's proof of Theorem C.

Watch

Extended reading notes

Core claim

The central claim is that the theory of G-operads has the same structural backbone as ordinary operads. The functor assigning to a one-color G-operad O its S-ary structure spaces O(S) is monadic, and it is compatible with the genuine operadic nerve in such a way that the nerve becomes a conservative functor of ∞-categories; restricting to operads with discrete structure spaces, the nerve is an equivalence. The paper also shows that the arity support A_O—the subcategory of finite G-sets over which O prescribes structure—is always a weak indexing category, yielding an equivalence of posets between sub-commutative G-operads, G-0-operads, weak N∞-operads, and weak indexing systems. For the homotopy theory of algebras, it constructs a Boardman-Vogt tensor product on G-operads and proves it is closed: its right adjoint is the operad of algebras Alg_O(C), and for a G-symmetric monoidal ∞-category C there is an equivalence Alg_P(Alg_O(C)) ≃ Alg_{P⊗O}(C), which the paper interprets as homotopy-coherent interchange between P-algebra and O-algebra structures.

Load-bearing premise

The classification rests on the claim that every G-operad's arity support is automatically closed under pullbacks, composition, and automorphisms; if the cocartesian-lift and Segal conditions fail to force that closure, the equivalence between weak N∞-operads and weak indexing systems would break.

Editorial extensions

If this is right

  • Every one-color G-operad is determined, up to equivalence, by its S-ary structure spaces together with a monadic algebra structure, and algebras in G-spaces detect equivalences of such operads.
  • The genuine operadic nerve gives a conservative, equivalence-reflecting bridge from model-categorical genuine G-operads to the ∞-categorical G-operads, and it is an equivalence on discrete G-operads.
  • Sub-commutative G-operads, G-0-operads, weak N∞-operads, and weak indexing systems form equivalent posets; the usual N∞-operads are exactly the indexing-system cases.
  • For any G-symmetric monoidal ∞-category C, P⊗O-algebras are the same as P-algebras in O-algebras, so the Boardman-Vogt tensor product formalizes homotopy-coherent interchange.
  • For the trivial representation, the little n-disks G-operads satisfy E_n ⊗ E_m ≃ E_{n+m}, giving an equivariant Dunn additivity statement.

Reading between the lines

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

  • The arity-support classification suggests a practical recipe for recognizing an incomplete equivariant commutativity theory: compute which finite G-sets carry nonempty structure spaces and check whether that subcategory is closed under pullback; if the machinery is right, a weak N∞-operad can be recovered from that support alone.
  • Because the Boardman-Vogt tensor product is closed at the level of Op_G, one can expect a symmetric monoidal enrichment: proving the restriction-stability identities Res_V^U(O⊗P) ≃ Res_V^U O ⊗ Res_V^U P would lift the tensor product to a G-symmetric monoidal structure on the ∞-category of G-operads, a step the paper leaves to future work.
  • The monadic underlying symmetric sequence opens a route to construct new equivariant operads by presenting free operads on G-symmetric sequences, and to compare ∞-categorical G-operads with other model categorical models through the conservative nerve.
  • A concrete test of the interchange formula is to instantiate C as genuine G-spectra, O as a norm-forgetting operad, and P as a commutative operad; the equivalence should recover known facts about which G-spectra admit compatible norm and commutative structures.
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.

Referee Report

3 major / 4 minor

Summary. The paper develops foundational ∞-categorical tools for Nardin–Shah G-operads. Its main advertised contributions are: a monadic underlying G-symmetric sequence functor for one-color G-operads; a lift of Bonventre's genuine operadic nerve to a conservative functor of ∞-categories; a classification of suboperads of the terminal G-operad as weak indexing categories/systems via the arity support construction; and a closed Boardman–Vogt tensor product on G-operads, with the formula that P-algebras in O-algebras are P⊗O-algebras. The arguments use fibrous algebraic patterns, Segal envelopes, model structures, and Barr–Beck style monadicity arguments.

Significance. If the central results were correct in the stated generality, the paper would make a useful contribution to equivariant higher algebra: the one-color monadic underlying symmetric sequence and the closed Boardman–Vogt tensor product with the interchange formula Alg_P Alg_O(C) ≃ Alg_{P⊗O}(C) are valuable and would likely be used by other authors. The paper also contains a large amount of technical category theory that appears non-trivially developed. However, the classification theorem for weak N∞-operads is not valid in the colored generality stated: Proposition 2.88 and its consequences fail for multi-colored operads. This affects a headline claim and requires a substantive correction, although the one-color or at-most-one-color versions may survive.

major comments (3)
  1. [§2.6, Proposition 2.88 and Observation 2.86] The claim that the arity support A_O is closed under composition is false for multi-colored T-operads. Take T = ∗ and the ordinary multi-colored ∞-operad O with colors {a,b}, unary identity operations on a and b, and exactly one binary operation f : a,a → b. Let ψ : 2 → 1 and let φ : 4 → 2 be a map whose two fibers each have cardinality 2. Then ψ ∈ A_O because O(2) contains f, and φ ∈ A_O because the two fibers have O(2) ≠ ∅. But ψ∘φ : 4 → 1 is not in A_O because O(4) = ∅. Thus A_O is not a subcategory, let alone a weak indexing category. The error enters in Observation 2.86: the total spaces O(S) = ∐_{profiles} O(C;D) being nonempty does not give a composable datum for the composition map in Eq. (14), which is defined only on color-compatible tuples of profiles. This invalidates Proposition 2.88 and the unrestricted statements of Corollaries 2.89–2.91 and Theorem C.
  2. [§2.6, Corollary 2.89] Corollary 2.89 is also false as stated for colored operads. The counterexample above is a T-0-operad, since every structure space O(S) is empty or contractible, but it has two colors, so it is not a weak N∞-operad. The map from this operad to the terminal one-color operad Comm_∗ is not a monomorphism: Map(Comm_∗, O) has two components, one for each color, while Map(Comm_∗, Comm_∗) is a point. Thus the equivalence between T-0-operads and weak N∞-operads requires an at-most-one-color hypothesis, or a color-compatible definition of arity support. This is load-bearing for the advertised classification of suboperads of the terminal G-operad.
  3. [§2.7, Propositions 2.100 and 2.101 and Corollary B] The proof that Bonventre's genuine operadic nerve is conservative is not written out completely. Propositions 2.100 and 2.101 contain phrases such as 'It is not hard to see' for the construction of the derived functor ssseq and for the claim that N⊗ preserves and reflects weak equivalences, and the proof of Corollary B depends on these points. Since the conservative nerve is one of the central results, the omitted details should be supplied or replaced by precise references, including a verification of the claimed commutative diagram and the behavior on fibrant objects.
minor comments (4)
  1. [Abstract and Introduction] The abstract contains a typo: 'be Nardin-Shah's' should be 'the Nardin-Shah's' or 'the Nardin–Shah ∞-category'; similarly 'Seiner' in the introduction should be 'Steiner'.
  2. [§2.2, Definition 2.30 and surrounding text] The notation switches between 'weak indexing category' and 'weak indexing system' when defining Op_I and N⊗_{I∞}; the relationship should be stated explicitly at the point of use, especially because Proposition 1.46 is cited only later.
  3. [Throughout] Several typographical errors appear, e.g. 'genine' in Proposition 2.101, 'symmteric' in Theorem D(4), 'preesrves' in Corollary 2.66, and 'Boardmann' in the reference [BS24a]; these should be corrected in a final revision.
  4. [Theorem C proof] The proof of Theorem C uses the equivalence between weak indexing categories and weak indexing systems from [Ste24b, Thm A]; since that is the author's own prior work, the dependence should be flagged explicitly in the statement, and the paper would be more self-contained if the relevant theorem were summarized or reproduced.

Circularity Check

1 steps flagged · score 4.0 of 10

Theorem C's weak-indexing-systems classification rests on a load-bearing self-citation to [Ste24b, Thm A]; the core sseq, nerve, and Boardman-Vogt derivations are otherwise self-contained.

  1. self citation load bearing [Theorem C, proof references (p. 7); Proposition 1.46 and Section 1.2.1 (p. 16)]
    "The equivalence between Posets (5) and (6) is handled in [Ste24b, Thm A]; nevertheless, the composite map from Poset (1) to Poset (6) is shown to be furnished by the self-indexed symmetric monoidal envelope in Example 2.54."

    Theorem C advertises a classification of suboperads of Comm_G, equivalently weak N-infinity operads, as weak indexing systems. One of the six equivalences in that classification—Poset (5), weak indexing categories, versus Poset (6), weak indexing systems—is not proved in this paper but is imported from [Ste24b, Thm A], the author's own prior work. The paper itself says the relevant results are 'largely review of [Ste24b]', and the weak N-infinity operads were themselves defined in terms of weak indexing categories. Thus the final, load-bearing equivalence between weak N-infinity operads and weak indexing systems reduces to a self-citation rather than to an argument in the present paper.

full rationale

The paper's main constructive results are derived internally from fibrous-pattern technology and external theorems: the monadic underlying symmetric sequence (Theorem A, Corollary 2.66), the conservative lift of Bonventre's nerve (Corollary B, Propositions 2.100 and 2.101), and the closed Boardman-Vogt tensor product (Theorem D, Propositions 3.7 and 3.10) all follow by formal adjunctions, Segal conditions, and established results from [BHS22], [CH21], [BP21], and [NS22]. No parameter is fitted to data, and no 'prediction' is statistically forced: the algebra-interchange formula Alg_P Alg_O(C) ≃ Alg_{P⊗O}(C) is literally the universal property defining the tensor product, not an empirical coincidence. The only material circularity-adjacent step is in Theorem C, where the advertised classification of weak N-infinity operads as weak indexing systems imports the equivalence between weak indexing categories and weak indexing systems from [Ste24b, Thm A], the author's own prior theorem, and Section 1.2.1 explicitly labels the weak-indexing-systems material as 'largely review of [Ste24b]'. Because this is one of the six poset equivalences constituting the central classification, it is load-bearing self-citation. However, the decisive new identification A(Op_G)=wIndexCat_G (Proposition 2.88), the characterization of 0-operads as weak N-infinity operads (Corollary 2.89), and the adjunction with the weak-N-infinity construction (Corollary 2.91) are proved in this paper, so the central claim retains substantial independent content. The possible failure of Proposition 2.88 for multi-colored operads, if real, is a correctness defect rather than a circularity; it does not change the circularity score.

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

The central claims are built on existing frameworks: algebraic patterns and fibrous patterns [BHS22], equivariant infinity-operads [NS22], model structures [BP21], and semiadditivity [CLL24]. No free numerical parameters are fitted. No new physical or formal entities are introduced beyond the definitions of I-operads, weak N-infinity operads, arity support, and the Boardman-Vogt tensor product, which are mathematical constructions rather than postulated entities. The main additional axiomatic load is the atomic orbital infinity-category setting and the soundness and extendability of Burnside patterns, both justified in the paper or in cited prior work.

assumptions (6)
  • domain assumption T is an atomic orbital infinity-category (Definition 1.1), and the main examples are orbit categories of finite groups.
    The entire framework of T-operads and weak indexing systems is built over atomic orbital infinity-categories; the paper's concrete claims are for T = O_G, but the abstract and Section 1 state results in this generality.
  • domain assumption Span(F_T) and Span_I(F_T) are soundly extendable algebraic patterns (Lemmas A.8 and A.3).
    The fibrous pattern machinery and the Segal envelope adjunction (Theorem 2.27) require sound extendability; this is verified in the appendix rather than assumed from prior literature.
  • standard math The semiadditive closure theorem for CMon_I of [CLL24, Thm B] and the Mackey functor theorem [CLL24, Thm C] are correct.
    Used in Section 1.2 and Theorem 1.57 to identify I-commutative monoids and their symmetric monoidal structure; these are cited external theorems.
  • standard math The equivalence between T-weak indexing categories and T-weak indexing systems, [Ste24b, Thm A], is correct.
    Theorem C posets (5) and (6) rely directly on this prior result by the same author; it is an external input, not re-proven here.
  • standard math Bonventre-Pereira's model structure on genuine G-operads and the transferred model structure via underlying symmetric sequences exist [BP21, Thm II].
    Corollary B and Proposition 2.100 use these model categorical facts to prove conservativity of the nerve.
  • standard math Higher algebra background from [HTT] and [HA], including Barr-Beck, straightening and unstraightening, and monadicity, is assumed.
    Used throughout, for example in Corollary 2.66 and Proposition 1.39; this is standard infrastructure of the field.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Equivariant operads, symmetric sequences, and Boardman-Vogt tensor products." pith.science (2026). https://pith.science/paper/PSOUJKM3

@misc{pith2026250102129,
  author       = {Pith},
  title        = {Pith review of: Equivariant operads, symmetric sequences, and Boardman-Vogt tensor products},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PSOUJKM3}},
  note         = {Machine review of arXiv:2501.02129}
}
abstract

We advance the foundational study of be Nardin-Shah's $\infty$-category of $G$-operads and their associated $\infty$-categories of algebras. In particular, we construct the underlying $G$-symmetric sequence of a (one color) $G$-operad, yielding a monadic functor; we use this to lift Bonventre's genuine operadic nerve to a conservative functor of $\infty$-categories, restricting to an equivalence between categories of discrete $G$-operads. Using this, we extend Blumberg-Hill's program concerning $\mathcal{N}_\infty$-operads to arbitrary sub-operads of the terminal $G$-operad, which we show are equivalent to weak indexing systems. We then go on to define and characterize a homotopy-commutative and closed Boardman-Vogt tensor product on $\mathrm{Op}_G$; in particular, this specializes to a $G$-symmetric monoidal $\infty$-category of $\mathcal{O}$-algebras in a $G$-symmetric monoidal $\infty$-category whose $\mathcal{P}$-algebras are objects with interchanging $\mathcal{O}$-algebra and $\mathcal{P}$-algebra structures.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

6 extracted references · 3 canonical work pages

  1. [278]

    doi: 10.1007/BF01245921

    issn: 0025-2611,1432-1785. doi: 10.1007/BF01245921 . url: https://people.math. rochester.edu/faculty/doug/otherpapers/lindner.pdf (cit. on p. 3). [Lin24] SilLinskens. Globalizing and stabilizing global∞-categories.2024.arXiv: 2401.02264 [math.AT] (cit. on p. 9). [LNP22] Sil Linskens, Denis Nardin, and Luca Pol.Global homotopy theory via partially lax limits

    arXiv 2024

  2. [2022]

    CombinatorialN∞ operads

    arXiv: 2206.01556 [math.AT] (cit. on p. 9). [HTT] JacobLurie. Higher topos theory.Vol.170.AnnalsofMathematicsStudies.PrincetonUniversity Press, Princeton, NJ, 2009, pp. xviii+925. doi: 10 . 1515 / 9781400830558. url: https : //www.math.ias.edu/~lurie/papers/HTT.pdf (cit. on pp. 6, 8–10, 25, 30, 42, 48, 49). [HA] Jacob Lurie.Higher Algebra. 2017. url: http...

    arXiv 2021

  3. [2024]

    GlobalN∞-operads

    arXiv: 2301.08650 [math.AT] (cit. on pp. 59–61). [BS24b] Shaul Barkan and Jan Steinebrunner.The equifibered approach to∞-properads. 2024. arXiv: 2211.02576 [math.AT]. url: https://arxiv.org/abs/2211.02576 (cit. on p. 64). [Bar23b] Miguel Barrero. “GlobalN∞-operads”. In:Bull. Lond. Math. Soc.55.3 (2023), pp. 1275–1301. issn: 0024-6093,1469-2120. doi: 10.11...

    arXiv 2023

  4. [2739]

    Universality of multiplicative infinite loop space machines

    doi: 10.2140/agt.2015.15.3107. url: https://arxiv.org/pdf/1305.4550 (cit. on pp. 3, 16, 21, 23). [Gla17] Saul Glasman. Stratified categories, geometric fixed points and a generalized Arone-Ching theorem. 2017. arXiv:1507.01976 [math.AT] (cit. on p. 8). [GM17] Bertrand J. Guillou and J. Peter May. “Equivariant iterated loop space theory and permutative G-c...

    work page Pith review arXiv 2017

  5. [3568]

    Combinatorial $N_\infty$ operads

    issn: 1472-2747,1472-2739. doi: 10.2140/agt.2021.21.3513 . url: https://arxiv. org/abs/1705.03585 (cit. on pp. 2, 6, 50). [SY19] Tomer M. Schlank and Lior Yanovski. “The∞-categorical Eckmann-Hilton argument”. In: Algebr. Geom. Topol.19.6 (2019), pp. 3119–3170.issn: 1472-2747,1472-2739. doi: 10.2140/ agt.2019.19.3119. url: https://arxiv.org/abs/1808.06006 ...

    work page Pith review arXiv 2019

  6. [5846]

    On distributivity in higher algebra I: The universal property of bispans

    doi: 10.1112/s0010437x23007388. url: https://arxiv.org/abs/2010.15722 (cit. on p. 16). [Elm83] A. D. Elmendorf. “Systems of Fixed Point Sets”. In:Transactions of the American Mathematical Society 277.1 (1983), pp. 275–284.issn: 00029947. url: https://people.math.rochester. edu/faculty/doug/otherpapers/elmendorf-fixed.pdf (visited on 04/22/2023) (cit. on p...

    work page Pith review arXiv 1983

Pith tools

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