Eckmann-Hilton arguments in equivariant higher algebra

Natalie Stewart

REVIEW 3 major objections 6 minor 1 references

Eckmann-Hilton arguments in equivariant higher algebra

T0 review · 3 major / 6 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read An equivariant Eckmann-Hilton theorem: k- and ℓ-connected G-operads tensor to a (k+ℓ+2)-connected operad, packaging interchanging algebraic structures into incomplete semi-Mackey functors.

desk verdict A serious, ambitious equivariant generalization of [SY19] with real new results, but the central theorems rest on a chain of the author's unpublished prequels, so referees need to verify those inputs. read the letter →

arxiv 2508.05556 v1 pith:KRNBMLDB submitted 2025-08-07 math.CT math.AT

Natalie Stewart This is my paper · ORCID

classification math.CTmath.AT MSC 18N6055P4855P91

keywords equivarianthigheralgebraEckmann-HiltonargumentBoardman-VogttensorproductG-operadsMackeyfunctorsN-infinityoperadsWirthmüllermapsweakindexingsystems

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 proves an equivariant Eckmann-Hilton theorem for higher algebra: if O and P are k- and ℓ-connected almost-unital G-operads with matching arity support, their Boardman-Vogt tensor product is (k+ℓ+2)-connected. In concrete terms, an O⊗P-monoid in a (k+ℓ+3)-category lifts uniquely to an incomplete semi-Mackey functor, so interchanging layers of equivariant multiplicative structure automatically fuse into transfer-compatible algebraic data. The proof runs through a new characterization of ℓ-connectivity of a G-operad in terms of ℓ-connectivity of Wirthmüller maps of its monoids, and through the reduced endomorphism operad. As corollaries, the paper identifies the smashing localizations on unital G-operads exactly with unital N∞-operads (equivalently, weak indexing systems), and in the discrete setting recovers an Eckmann-Hilton argument for C_p-unital magmas. A limiting case builds algebraic approximations to incomplete stable G-spectra over arbitrary transfer systems, effectively taking loops out of equivariant infinite loop space theory.

What carries the argument

The Boardman-Vogt tensor product $O\otimes P$, which by Eq. (2) corepresents pairs of interchanging $O$- and $P$-algebra structures. The main mechanism is Theorem D: an operad $P$ is $\ell$-connected at a weak indexing category $I$ exactly when every $I$-indexed Wirthmüller map (a norm-like map from an indexed coproduct to an indexed product) on $P$-monoid spaces is $\ell$-connected. These Wirthmüller maps feed into the reduced endomorphism $I$-operad, whose structure spaces are spaces of lifts along the Wirthmüller map; such lift spaces convert Wirthmüller connectivity into connectivity of the tensor-product operad. The argument closes with the free-algebra monad, $I$-semiadditivity of $\ma

What would settle it

Take G=C2 and the little V-disks operads E_V; using the paper's displayed formulas for Conn_{E_{a+bσ}} (Example 57), search for a,b,a′,b′ with Conn_{E_{a+bσ}} + Conn_{E_{a′+b′σ}} + 2 > Conn_{E_{(a+a′)+(b+b′)σ}}. Finding such a quadruple at any weak indexing category would violate Theorem C; the paper's additivity E_V⊗E_W ≃ E_{V⊕W} makes this a finite connectivity calculation.

Watch

Extended reading notes

Core claim

Theorem C: for almost-unital $G$-operads, $\mathrm{Conn}_{O\otimes P}\ge\mathrm{Conn}_O+\mathrm{Conn}_P+2$, where $\mathrm{Conn}_O$ is the connectivity function on weak indexing categories. Hence $k$- and $\ell$-connected operads tensor to a $(k+\ell+2)$-connected operad, and $O\otimes P$-monoids in any $(k+\ell+3)$-category lift uniquely to incomplete semi-Mackey functors. Theorem D gives the mechanism: $\ell$-connectivity of $P$ is equivalent to $\ell$-connectivity of its $I$-indexed Wirthmüller maps, read off the reduced endomorphism operad. Discretely, interchanging $C_p$-unital magmas are canonically semi-Mackey functors; and $\otimes$-idempotence characterizes weak $N_\infty$-operads,

Load-bearing premise

The proof rests on the earlier equivalence that interchanging O- and P-algebra structures are exactly algebras over the Boardman-Vogt tensor product O⊗P; without that equivalence, the Eckmann-Hilton conclusions would not follow.

Editorial extensions

If this is right

The Boardman-Vogt tensor product of a k-connected and an ℓ-connected G-operad is (k+ℓ+2)-connected, so O⊗P-monoids in (k+ℓ+3)-categories are incomplete semi-Mackey functors—a genuine equivariant Eckmann-Hilton collapse.
Iterating gives a stabilization hypothesis: for a nonempty almost-unital G-operad O, the (n+1)-fold tensor power O^{⊗(n+1)} is (n−1)-connected, so (n+1)-fold interchanging O-algebra structures in an n-category reduce to commutative A_O-algebras.
The ⊗-idempotent almost-unital G-operads are precisely the weak N∞-operads; hence the poset of smashing localizations on unital G-operads is finite and isomorphic to the poset of unital weak indexing systems.
In the discrete case, interchanging pairs of C_p-unital magmas are canonically incomplete semi-Mackey functors, without any connectivity assumptions.
A (k−1)-connected, ℓ-truncated G-space equipped with (ℓ−k+2) interchanging O-algebra structures is the same data as the zeroth G-space of an A_O-spectrum, giving an algebraic infinite-loop-space machine.

Reading between the lines

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

The +2 in the connectivity bound looks like a shadow of Dunn additivity; I would expect an equivariant Dunn additivity theorem to be derivable from these methods, and the paper notes a forthcoming result in that direction.
The identification of smashing localizations with weak indexing systems suggests that every weak indexing category carries a canonical smashing localization; the paper's finiteness claim for finite G would then be one instance of a more general classification over atomic orbital ∞-categories.
The algebraic approximation of incomplete stable G-spectra by iterated operad-algebra categories may give a route to computing equivariant invariants such as algebraic K-theory or topological restriction homology of Mackey-functor-valued rings, though the paper does not pursue this.

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.

Desk Editor's Note

read the letter

The paper is a credible extension of Schlank-Yanovski to the equivariant setting. The genuinely new pieces are Theorem C (connectivity function of the Boardman-Vogt tensor product), Theorem D (Wirthmuller map characterization of connectivity), Corollary E (smashing localizations on almost-unital G-operads classified by weak indexing systems), and Corollary F (algebraic approximation of incomplete stable G-spectra). Those are real additions, not repackaging.

Credit where earned: the paper is carefully organized, it is open about its debt to [SY19] and to the author's own prequels, and it states hypotheses such as almost-unitality and arity-support equality explicitly. The sharpness discussion and Example 57 show the inequalities are not vacuous. The discrete Cp-unital magma application is a nice sanity check.

The main concern is the one the reader flagged. Eq. (2), the interchange equivalence Alg_O Alg_P ≃ Alg_{O⊗P}, is the engine of Theorems B/C and Corollary 58, and it is imported from [Ste25a]/[Ste25b] rather than proved or even restated in full generality. The proof also leans on Corollary 44 and Proposition 41, which convert semiadditivity of Mon_O(S_{≤n}) back to connectivity; those too are cited from the prequels. None of this is an internal contradiction, and I did not find a local gap. But the paper is not self-contained in a way that lets a referee verify the central claims without taking the author's earlier work on faith. That is especially important because the prequels are arXiv preprints, not yet settled.

There are smaller issues: Proposition 64's interchange diagram is very hard to read in the arXiv text, so if that is not just a rendering artifact it needs cleaning; and the sharpness discussion depends on forthcoming work for little-disk operads, which is fine as a pointer but should not be load-bearing.

Who it is for: researchers in equivariant higher algebra and equivariant stable homotopy. A reading group with the prequels available would get real value.

Recommendation: send to serious peer review. The referee should be asked specifically to check Eq. (2) and the semiadditivity-to-connectivity criteria across the author's preprints. If those hold, the paper should be accepted; if not, the main theorems do not stand alone.

Referee Report

3 major / 6 minor

Summary. The paper proves an equivariant Eckmann–Hilton theorem for the Boardman–Vogt tensor product of almost-unital G-operads: if O and P are k- and ℓ-connected (in a refined equivariant sense defined via weak indexing categories), then O ⊗ P is (k+ℓ+2)-connected (Theorems B and C). The proof follows the strategy of Schlank–Yanovski, reducing to unital operads and then to a connectivity criterion, Theorem D, for Wirthmüller maps of O-monoids. From Theorem C the paper derives several corollaries: a characterization of smashing localizations on unital G-operads as exactly the unital N∞-operads (Corollary E), a stabilization statement for iterated O-algebras (Corollary 4), an equivariant infinite-loop-space-style approximation for spectra over arbitrary indexing systems (Corollary F), and a concrete Cp-unital magma version (Theorem A/Corollary 65). The manuscript is written in the general atomic-orbital framework of the author's previous preprints and explicitly relies on a long chain of imported results from [Ste24; Ste25a; Ste25b].

Significance. If the imported results are valid in the stated generality, this is a substantial contribution. It provides the first equivariant Eckmann–Hilton connectivity theorem for Boardman–Vogt tensor products of G-operads, offers a clean conceptual explanation of the ubiquity of N∞-operads by identifying them with smashing localizations, and gives a flexible algebraic approximation to incomplete stable equivariant homotopy theory. The paper also contains genuinely useful refinements: a connectivity-dimension function Conn_O(I) for G-operads, a sharpness analysis showing when the (k+ℓ+2) bound is not attained, and an explicit unpacking of the Cp-unital magma example. A notable strength is the clear modular structure: the main technical work is reduced to Theorem D, and the remaining arguments are mostly formal. However, the correctness of the main theorem is conditional on two classes of imported inputs: the interchange equivalence Eq. (2) and the recognition/corollary results Proposition 41 and Corollary 44. The manuscript does not supply precise statements or proofs of these inputs, nor does it verify their hypotheses in the almost-unital cases needed for the reductions. For this reason th

major comments (3)

[§1.3.3, Eq. (2)] The equivalence Alg_O Alg_P(C) ≃ Alg_{O⊗P}(C) is the single most load-bearing input of the paper. It is invoked in Proposition 37, Lemma 42, Proposition 47, and the proof of Corollary 55, and it is what converts interchanging algebra structures into algebras over the Boardman–Vogt tensor product. The manuscript only cites [Ste25a, §3.2] and [Ste25b, §3.1] and does not restate the exact hypotheses (e.g. whether O and P must be I-operads for a fixed unital I, whether C must be I-symmetric monoidal, and what happens when the operads are merely almost unital). Since Theorems B and C are proved by reducing to unital restrictions, the author should either give a complete proof of Eq. (2) in this setting or state it as a numbered imported theorem with all hypotheses made explicit, and then verify those hypotheses in the reduction step. Without this, the Eckmann–Hilton content of Theorems B/C an
[§2.2.1–2.2.2, Prop. 41 and Cor. 44] Proposition 41 (detecting h_{n+1}-equivalences via Mon_P(S_{≤n})) and Corollary 44 (the equivalent criteria for O to be ℓ-connected at I) are cited from [Ste25b, Cor. A.25] and [Ste25b, Cor. 2.4], but they are used as the engine of Theorem D and Corollary 55. In the proof of Theorem D, the step 'by Corollary 44 and Lemma 52, τ_O W_{S,X} = W_{S,τ_O X} is an equivalence' is not spelled out: Corollary 44 is stated for Mon_O(S_{≤n}), while the proof needs a statement about Mon_O(τ_{≤ℓ} C) for an arbitrary n-topos C. The manuscript should either reprove Proposition 41 and Corollary 44 in the needed form or give an explicit derivation that the cited statements imply the used ones. As written, the main theorem is only as secure as these unstated recognitions.
[§3.3, proof of Theorems B and C] The reduction from almost-unital operads to the unital case is compressed into one paragraph. The text asserts that 'Theorems B and C may be verified after restriction to each V∈υ(O)' and that 'each O(S) and P(S) are easily determined by arity support', but this is doing substantial work: Theorem C does not assume AO = AP, the operads are only almost unital, and Eq. (2) as stated in §1.3.3 concerns I-operads for a fixed I. The restriction argument needs a precise statement of how the connectivity function and the Boardman–Vogt tensor product behave under restriction, and how the unitality hypotheses of Corollary 55 are obtained after passing to V∈υ(O). This is not merely cosmetic: if the restriction step fails for an almost-unital pair with different supports, the theorem does not follow from the unital case.

minor comments (6)

[Introduction / §1] The paper switches from finite G to an arbitrary atomic orbital ∞-category T without explicitly reconciling the notation: the abstract and Introduction use G-operads, while the body uses T-operads. Please add a sentence in §1 explaining that all statements specialize to T = O_G and whether the main theorems are proved in the general atomic orbital setting or only for finite G.
[§1.3.3, Eq. (2)] Even if the equivalence is imported, give the precise theorem numbers and, if available, the arXiv version numbers for [Ste25a] and [Ste25b]. Currently the reader cannot easily verify whether the statements in the preprints match the hypotheses used here.
[§3.1, Warning 51] Typo: '1fO' should be 'if O'. Also the warning is useful but could be shortened; it interrupts the flow of §3.1.
[§4.3, Prop. 63 and 64] The proof of Proposition 63 contains the phrase 'by a standard argument' where the bijection between n-ary operations and unital magma structures is asserted, and the large diagram in Proposition 64 is not fully explained in the text. Since Theorem A is a headline application, please expand these arguments so that the Cp-unital magma correspondence is checkable.
[References] The reference list appears to be corrupted or incomplete in the submitted PDF: many entries lack full bibliographic data, and the preprints [Ste24; Ste25a; Ste25b] do not have arXiv identifiers or version numbers. Please update and clean the bibliography before resubmission.
[Throughout] There are several typographical slips: 'magama' in the proof of Proposition 63, 'relitigate' for 're-litigate', 'categoy' in the footnote on page 2, and 'C2-unital' where C_p is meant in the introduction. A careful proofreading pass is needed.

Circularity Check

1 steps flagged · score 4.0 of 10

Theorem C rests on the interchange equivalence and detection results imported from the author's own prequels; no definitional reduction, but the central derivation is load-bearing self-citation.

self citation load bearing [Section 1.3.3, Eq. (2); Section 2.2.1 (Prop. 41/Cor. 44); proof of Theorem D (Section 3.2)]
"In particular, when C⊗ is an I-symmetric monoidal ∞-category and O⊗, P⊗ are I-operads, there are natural I-symmetric monoidal equivalence (2) Alg⊗_O Alg⊗_P (C) ≃ Alg⊗_{O⊗P}(C) ≃ Alg⊗_P Alg⊗_O(C)."

The central theorem is derived through Eq. (2) and through Proposition 41/Corollary 44, the latter relying on Corollary 34 and [Ste25b, Cor. 2.4]. All of these are cited to the author's own preprints [Ste25a; Ste25b] without reproof. The paper's connective Eckmann-Hilton bound is thus only as secure as those same-author results; the derivation chain terminates in self-citation rather than an independent proof of the interchange equivalence and of the connectivity-detection criterion. This is load-bearing self-citation, though not a definitional equation-to-equation reduction, and the connectivity inequality itself is not a direct corollary of those imports.

full rationale

The paper does not exhibit a circularity by construction: Eq. (2) is presented as the corepresentation property of the Boardman-Vogt tensor product, and no fitted parameter is renamed as a prediction. Theorems B/C and Corollary 58 are new statements that require the paper's own Theorem D and Proposition 54, so they are not obtained by substituting an input into an output. However, the proof chain for the central claims leans heavily on the author's previous preprints [Ste24; Ste25a; Ste25b]: the interchange equivalence (2) is imported, and the key detection results (Proposition 41, Corollary 44, and their antecedents) are cited rather than reproved. These self-citations are load-bearing because without them the Eckmann-Hilton content of Theorems B/C and Corollary 58 does not follow. Since the cited preprints are not machine-checked or otherwise independently verified within the present paper, the boundary of the derivation is hard to audit. This raises the circularity score to 4: significant self-citation in the load-bearing argument, but the central claim still has independent mathematical content and is not forced by definition or by a simple rename.

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

No fitted constants and no new postulated entities. The ledger consists of imported framework results and the explicit support-matching hypothesis.

assumptions (5)

domain assumption Interchange equivalence Alg_O^otimes Alg_P^otimes(C) equivalent to Alg_{O otimes P}^otimes(C) (Eq. 2).
Imported from [Ste25a, Sec. 3.2] and [Ste25b, Sec. 3.1]; it is the bridge from interchanging algebra structures to tensor products and is used throughout Theorems B/C and Corollary 58.
domain assumption Detection of h_{n+1}-equivalences via Mon_P(S_{<=n}) (Proposition 41), relying on Corollary 34 of [Ste25b], and the semiadditivity criteria of Corollary 44.
Used to pass between semiadditivity of O-monoids and operadic connectivity in the proof of Theorem D.
domain assumption Arity support additivity A(O otimes P) = AO or AP (Proposition 22) and the almost-unital matching hypothesis AO = AP.
The theorems are only stated for matching supports; the reduction to unital operads in Section 3.3 depends on this additivity.
domain assumption Framework of atomic orbital infinity-categories and T-operads from [NS22] and [Ste25a], including monadicity, h_n truncation, and the weak N-infinity construction.
The paper works in this framework throughout and cites rather than redevelops it.
standard math Standard infinity-topos facts: connectivity and truncation in infinity-topoi, preservation of connectivity by products and colimits (HTT).
Used in Lemma 48, Proposition 49, and Lemma 52.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Eckmann-Hilton arguments in equivariant higher algebra." pith.science (2026). https://pith.science/paper/KRNBMLDB

@misc{pith2026250805556,
  author       = {Pith},
  title        = {Pith review of: Eckmann-Hilton arguments in equivariant higher algebra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KRNBMLDB}},
  note         = {Machine review of arXiv:2508.05556}
}

abstract

Let $\mathcal{O}^{\otimes}$ and $\mathcal{P}^{\otimes}$ be $k$- and $\ell$-connected unital $G$-operads subject to the condition for all $S$ that $\mathcal{O}(S) = \emptyset$ if and only if $\mathcal{P}(S) = \emptyset$. We show that the Boardman-Vogt tensor product $\mathcal{O}^{\otimes} \otimes \mathcal{P}^{\otimes}$ is $(k + \ell + 2)$-connected; equivalently, $\mathcal{O} \otimes \mathcal{P}$-monoids in any $(k + \ell + 3)$-category lift uniquely to incomplete semi-Mackey functors. As a consequence, we show that the smashing localizations on unital $G$-operads correspond precisely to unital $\mathcal{N}_\infty$-operads, and hence to the (finite) poset of unital weak indexing systems by previous work of the author. Along the way we characterize $\ell$-connectivity of a unital $G$-operad $\mathcal{O}^{\otimes}$ equivalently as $\ell$-connectivity of $\mathcal{O}$-admissible Wirthm\"uller maps of $\mathcal{O}$-monoid spaces. In the discrete case, under no connectivity assumptions, $\mathcal{O} \otimes \mathcal{P}$-monoids lift uniquely to incomplete semi-Mackey functors, recovering an Eckmann-Hilton argument for "$C_p$-unital magmas." In the limiting case of infinite tensor powers, we take the loops out of equivariant infinite loop space theory, constructing algebraic approximations to incompletely stable $G$-spectra over arbitrary transfer systems.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

1 extracted references · 1 canonical work pages

[1]

�� K�� Quart. J. Math. Oxford Ser. (2)�� issn� ��doi� 10.1093/qmath/17.1.367 � url� https://doi.org/10.1093/qmath/17.1. 367 �� N∞�� Pacific J. Math. �� ...

work page Pith review arXiv 2021

Pith tools

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

[1] [1]

�� K�� Quart. J. Math. Oxford Ser. (2)�� issn� ��doi� 10.1093/qmath/17.1.367 � url� https://doi.org/10.1093/qmath/17.1. 367 �� N∞�� Pacific J. Math. �� ...

work page Pith review arXiv 2021