Pith. sign in

REVIEW 2 major objections 6 minor 22 references

Poincar\'{e}-Birkhoff-Witt Theorems in Higher Algebra

T0 review · 2 major / 6 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read This paper proves a Poincaré–Birkhoff–Witt theorem for spectral Lie algebras by showing that the commutative operad in spectra is the quotient of the associative operad by a right action of the spectral Lie operad, and derives a…

desk verdict A real PBW theorem for spectral Lie algebras, built on a composition-square framework that is genuinely new, but the main proof currently rests on an identification deferred to a forthcoming paper. read the letter →

arxiv 2501.03116 v2 pith:4UMF2MJ4 submitted 2025-01-06 math.AT math.CTmath.RT

Omar Antolín-Camarena , Lukas Brantner , Gijs Heuts This is my paper · ORCID
classification math.ATmath.CTmath.RT MSC 18M8555P48
keywords spectralLiealgebrasPoincaré–Birkhoff–WitttheoremoperadsinspectraE_n-operadscompositionsquaresKoszuldualityenvelopinghigheralgebra
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 a Poincaré–Birkhoff–Witt theorem for spectral Lie algebras, the stable homotopy-theoretic analogues of Lie algebras. It shows that the universal enveloping algebra of a spectral Lie algebra carries an exhaustive filtration whose associated graded is the free $E_\infty$-algebra on the desuspended underlying spectrum, in direct analogy with the classical statement that an enveloping algebra filters to the symmetric algebra. The engine is an operad-level fact: the commutative operad in spectra is the relative composition product of the associative operad over the spectral Lie operad. That fact follows from a family of composition squares among $E_n$-operads, and the same machinery yields PBW statements for relative enveloping algebras of $E_n$-algebras and a description of higher enveloping algebras as Chevalley–Eilenberg homology of iterated loop objects.

What carries the argument

The central mechanism is the composition square: a commutative square of operads in spectra $O \to P$, $Q \to R$ such that the induced relative composition product $Q \circ_O P \to R$ is an equivalence of bimodules. The paper proves Theorem 1.6, which says that for all $k, m, n \ge 0$ the evident square $E_{k+m} \to E_{k+m+n}$ over $s^k E_m \to s^k E_{m+n}$ is a composition square, with the horizontal maps standard inclusions and the vertical maps a morphism $\beta$ that is a shifted Koszul dual of the inclusion. The proof works with the induced square of left adjoints between categories of algebras, where the horizontal functors are bar constructions, and uses Lemma 3.3 to recognize composition squares by commutativity of the associated lax square of right adjoints. Taking limits and colimits of these basic squares, together with the compatibilities $\beta \circ \iota \simeq \sigma \simeq \iota \circ \beta$ involving the suspension morphism, produces the $sL$, $E_1$, $E_\infty$ square of Theorem 1.2.

What would settle it

In a fixed arity, say $n = 3$, compute the relative composition product $E_1 \circ_{sL} 1$ via the bar construction $|E_1 \circ (sL)^{\circ \bullet} \circ 1|$ and compare its homotopy groups with those of $E_\infty(3) \simeq S^0$. The paper's Theorem 1.2 predicts the comparison map is an equivalence; any nonvanishing higher homotopy group or a different free rank in the degree-zero homology of the bar construction would falsify the main PBW claim without further repair.

Watch

Extended reading notes

Core claim

The paper's central claim is that, in the $\infty$-category of spectra, the commutative operad $E_\infty$ is obtained from the associative operad $E_1$ by quotienting out a right action of the spectral Lie operad $sL$: the induced map $E_1 \circ_{sL} 1 \to E_\infty$ is an equivalence of left $E_1$-modules. This is one limiting case of a general composition-square theorem for $E_n$-operads, Theorem 1.6, which the paper proves. From the operadic statement it derives the PBW theorem for spectral Lie algebras: for every $g \in \mathrm{Alg}_{L}(\mathrm{Sp})$, the universal enveloping algebra $U(g)$ carries a natural exhaustive filtration whose associated graded spectrum is equivalent to $\mathrm{free}_{E_\infty}(\Sigma^{-1}\mathrm{forget}(g))$. It further proves a PBW statement for relative enveloping algebras of $E_n$-algebras and shows the higher enveloping algebra $U_n(g)$ is naturally equivalent to the Chevalley–Eilenberg homology of the $n$-fold loop object $\Omega^n g$.

Load-bearing premise

The proof rests on a square of little-cubes operads taken from an earlier paper, and on the claim that one arrow of that square is a certain dual of the inclusion map, a claim deferred to a forthcoming paper; if either is wrong, the composition squares and the PBW corollaries do not follow.

Editorial extensions

If this is right

  • For every spectral Lie algebra $g$, the universal enveloping algebra $U(g)$ has an exhaustive filtration with associated graded equivalent to $\mathrm{free}_{E_\infty}(\Sigma^{-1}\mathrm{forget}(g))$.
  • The higher enveloping algebra $U_n(g)$ of a spectral Lie algebra is naturally equivalent to the Chevalley–Eilenberg homology of the $n$-fold loop object $\Omega^n g$, matching the factorization-homology construction.
  • For an $E_n$-algebra $A$ with $0 \le m \le n$ and $k = n - m$, the relative enveloping algebra $U_{n,m}(A)$ has an exhaustive filtration whose associated graded is $\mathrm{free}_{s^k E_k^\vee}(\mathrm{forget}(A))$; equivalently, $\mathrm{Bar}^k A$ filters to $\mathrm{free}_{E_k^\vee}(\Sigma^k \mathrm{forget}(A))$.
  • The square of Theorem 1.2 is not a pushout square of operads in spectra, so the PBW phenomenon here is not just a one-step quotient of operads but a statement about a filtered colimit of composition squares.
  • The composition-square equivalence $E_n \simeq 1 \circ_L s^n L$ yields a skeletal filtration and spectral sequence for the homology of $E_n$-algebras, the tool used in related studies of configuration spaces.

Reading between the lines

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

  • If the deferred identification of $\beta$ as the Koszul dual of $E_n \to E_{n+1}$ fails in the forthcoming work, the limiting squares in Theorem 1.7 and Theorem 1.2 would need repair, and the PBW associated-graded description might require different shifts.
  • The composition-square criterion in Lemma 3.3 suggests a general recipe: any pair of Koszul-dual operad inclusions with compatible suspension maps should produce PBW-style filtrations of enveloping algebras, so similar corollaries may hold for other operads, such as modules over $E_n$-algebras or $E_n$ variants over other base $\infty$-categories.
  • Because the associated graded is a free $E_\infty$-algebra on a desuspended spectrum, homology calculations for $U(g)$ can be organized by a spectral sequence whose input is the homology of $\Sigma^{-1}g$; this gives a practical route to computations with spectral Lie brackets.
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

2 major / 6 minor

Summary. The paper establishes a spectral analogue of the Poincaré–Birkhoff–Witt theorem. The main theorem (Theorem 1.2) asserts a commutative square of operads in spectra sL -> 1, E1 -> E∞ such that the relative composition product E1 ◦_{sL} 1 is equivalent to E∞ as a left E1-module. From this the authors deduce Corollary 1.10: the universal enveloping algebra of a spectral Lie algebra g admits an exhaustive filtration whose associated graded is free_{E∞}(Σ^{-1} forget(g)). Theorem 1.2 is obtained as a limiting case of Theorem 1.6, a composition-square relation among E_n-operads; Theorem 1.8 identifies the higher enveloping algebra U_n(g) with CE(Ω^n g). The paper also develops a filtration formalism in Section 5 and derives relative PBW statements for E_n-algebras. The proofs are mostly categorical and depend on prior work of the third author [HL24] and on a forthcoming paper [HL].

Significance. These results, if correct, would be a substantial contribution: they give a clean operadic underpinning for spectral Lie algebra theory, unify the universal enveloping algebra with Knudsen's higher enveloping algebras, and provide a new proof of the PBW theorem for spectral Lie algebras. The paper's own Lemma 3.3 (recognition criterion for composition squares) is proved with a Goodwillie-derivative argument, and the filtration construction in Section 5 is elegant and well-motivated. The theorem's implications—Corollaries 1.10 and 1.12 and Theorem 1.8—are concrete and falsifiable. However, the advertised proof is not self-contained: a load-bearing identification in Remark 3.2 is deferred to the forthcoming [HL], and the proof of Theorem 1.6 imports the basic square from [HL24]. The significance is therefore conditional on those external results.

major comments (2)
  1. [§4, proof of Theorems 1.2 and 1.7, with Remark 3.2] The passage from Theorem 1.6 to the limiting squares requires identifying the limiting top horizontal map as σ^n and the limiting vertical maps as the Koszul duals of the inclusions 1 -> E_k. This identification is precisely Remark 3.2, whose proof is postponed to [HL]. The manuscript states this openly, but the identification is load-bearing: without it, lim_k s^{-k}E_k ≃ L and the asserted β maps are unsupported, so Theorem 1.2 and Corollary 1.10 do not follow from the present text. This needs to be supplied, or the theorems must be stated conditionally on [HL].
  2. [§3, proof of Theorem 1.6] The proof of Theorem 1.6 consists of the square of left adjoints (3), imported from [HL24, Theorem 3.11], and an application of Lemma 3.3. The step 'this is clear from the fact that ι∗ preserves tensor products and sifted colimits' is too compressed: the natural transformation in (5) should be written out and shown to be the map Q ◦_O X -> R ◦_P X identified in Lemma 3.3. As written, the proof does not give enough detail to be checked independently of [HL24].
minor comments (6)
  1. [Notation 1.1] The symbol 1 is used both for the trivial operad and for the monoidal unit of spectra; a remark distinguishing the two would help the reader.
  2. [Definition 2.4] There is a typo in the phrase 'uses the the previous map'; the duplicated article should be removed.
  3. [Construction 5.6] The text contains 'We obtain a a commutative diagram'; the duplicated article should be corrected.
  4. [References] The entries [CS22a] and [CS22b] appear to refer to the same paper, since the titles and bibliographic data are identical; they should be consolidated.
  5. [References] The reference [DAGII] is listed but is not cited in the body of the paper.
  6. [Proposition 4.3] The claim that the operadic bar construction is colimit-preserving is justified in one sentence by a left adjoint to E1-coalgebras; a precise reference or a slightly longer argument would be useful.

Circularity Check

2 steps flagged · score 5.0 of 10

The L-square and hence the PBW corollaries rest on a self-citation chain: the basic En square is imported from [HL24] by the third author, and the crucial identification of β as the Koszul dual of ι is deferred to the same authors' forthcoming [HL].

  1. self citation load bearing [Section 3, proof of Theorem 1.6; also Remark 2.6 and Section 4]
    "The relevant square was constructed by Land and the third author in [HL24, Theorem 3.11] (note that we are thinking of En+1 as E1 ⊗ E1 ⊗ En−1, using one of the E1-factors for the horizontal arrows ι and the other E1-factor for the vertical arrows β)."

    Theorem 1.6, the fundamental En composition square from which Theorem 1.2 and Corollary 1.10 are obtained, is not proved in this paper; it is quoted from [HL24], a preprint coauthored by the third author. The same paragraph invokes [HL24, Theorem 3.8] to pass from adjoint functors to operads 'essentially uniquely'. Thus the central premise of the derivation is inherited from a self-authored source rather than established independently here. The paper is transparent about this, so this is a load-bearing self-citation, not a hidden definitional circularity.

  2. self citation load bearing [Remark 3.2 and the limit argument in Section 4, Proofs of Theorems 1.2 and 1.7]
    "Under this identification, the Koszul dual of the morphism ι : En → En+1 is (up to an n + 1-fold shift) precisely the morphism β : En+1 → sEn featuring above. A proof of this fact will appear in [HL]."

    The limiting argument identifies lim_k β : s^{-k}E_k → 1 as the Koszul dual of colim_k ι : 1 → E_k, hence produces the square involving L. This identification is exactly the fact whose proof is deferred to [HL], a forthcoming paper by the third author. The square of Theorem 1.7 (second one), Theorem 1.2, and Corollary 1.10 all depend on it. The manuscript itself flags the missing proof, so this is an acknowledged load-bearing gap rather than a claim disguised as a result.

full rationale

No definitional circularity is present: Corollary 1.10 is not assumed as an input, and no fitted parameter is renamed as a prediction. The recognition criterion (Lemma 3.3), the filtration construction (Proposition 5.9), and the PBW corollaries are genuinely derived in the paper. However, the derivation chain is heavily supported by citations to work with overlapping authorship. The basic En-square (the starting point of Theorem 1.6) is quoted from [HL24] by Land and Heuts, and the crucial identification of β as the Koszul dual of the inclusion En → En+1 — needed to take the inverse limit that produces the spectral Lie operad square — is deferred to the forthcoming [HL] by the same authors. Since [HL] is not yet available and the fact is load-bearing, the central claim is not fully self-contained. This is a self-citation chain rather than an equation-by-equation circularity, so score 5 is appropriate.

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

No numerical free parameters and no invented entities appear. The work rests on standard infinity-categorical foundations plus several cited results, including results by the authors themselves and an unpublished forthcoming paper, which raises the circularity burden.

assumptions (5)
  • standard math Lurie's Higher Algebra foundations: infinity-categories, symmetric monoidal infinity-categories, and operads as cocartesian fibrations.
    Used throughout the paper, for example in Definition 2.1 and Proposition 5.7; these are assumed as background rather than proved.
  • domain assumption The spectral Lie operad L and operadic suspension s satisfy the properties stated in Section 2, following Salvatore, Ching, and others.
    Section 2 defines L as the Koszul dual of Com and s as tensoring with sE_infinity; these definitions and their properties are cited to [Sal98, Chi05, CS22b].
  • domain assumption The square of operads of [HL24, Theorem 3.11] exists and satisfies Lemma 3.1.
    Section 3: 'The relevant square was constructed by Land and the third author in [HL24, Theorem 3.11]'. The present paper does not prove this square.
  • ad hoc to paper Koszul duality identifies KEn with s^{-n}En and identifies beta as the Koszul dual of the inclusion En -> En+1.
    Remark 3.2 invokes [CS22b, Mal23] and then says 'A proof of this fact will appear in [HL]'. This deferred proof is used in the limiting arguments of Theorem 1.7.
  • standard math Goodwillie derivatives detect equivalences of analytic endofunctors, used in the proof of Lemma 3.3.
    Section 3, proof of Lemma 3.3: the author applies Goodwillie calculus and uses that the derivatives of the functor F composed with (-) recover the symmetric sequence F.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Poincar\'{e}-Birkhoff-Witt Theorems in Higher Algebra." pith.science (2026). https://pith.science/paper/4UMF2MJ4

@misc{pith2026250103116,
  author       = {Pith},
  title        = {Pith review of: Poincar\'e-Birkhoff-Witt Theorems in Higher Algebra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4UMF2MJ4}},
  note         = {Machine review of arXiv:2501.03116}
}
abstract

We extend the classical Poincar\'e-Birkhoff-Witt theorem to higher algebra by establishing a version that applies to spectral Lie algebras. We deduce this statement from a basic relation between operads in spectra: the commutative operad is the quotient of the associative operad by a right action of the spectral Lie operad. This statement, in turn, is a consequence of a fundamental relation between different $\mathbb{E}_n$-operads, which we articulate and prove. We deduce a variant of the Poincar\'{e}--Birkhoff--Witt theorem for relative enveloping algebras of $\mathbb{E}_n$-algebras. Our methods also give a simple construction and description of the higher enveloping $\mathbb{E}_n$-algebras of a spectral Lie algebra.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 17 canonical work pages

  1. [1]

    4, 1045--1084

    David Ayala and John Francis, Factorization homology of topological manifolds, Journal of Topology 8 (2015), no. 4, 1045--1084

    work page 2015

  2. [2]

    Max Blans and Thomas Blom, On the chain rule in goodwillie calculus, arXiv preprint arXiv:2410.20504 (2024)

    arXiv 2024

  3. [3]

    D. Lukas B. Brantner, Ricardo Campos, and Joost J. Nuiten, PD operads and explicit partition Lie algebras , arXiv:2104.03870v4, to appear in Memoirs of the American Mathematical Society (2025)

    arXiv 2025

  4. [4]

    D. Lukas B. Brantner, Jeremy Hahn, and Ben Knudsen, The L ubin-- T ate theory of configuration spaces: I , Journal of Topology 17 (2024), no. 4, e70000

    work page 2024

  5. [5]

    D. Lukas B. Brantner, The L ubin-- T ate theory of spectral L ie algebras , Ph.D. thesis, Harvard University, Edited version available at https://people.maths.ox.ac.uk/brantner/brantnerthesis.pdf https://people.maths.ox.ac.uk/brantner/brantnerthesis.pdf

    work page

  6. [6]

    2, 833--934

    Michael Ching, Bar constructions for topological operads and the G oodwillie derivatives of the identity , Geometry & Topology 9 (2005), no. 2, 833--934

    work page 2005

  7. [7]

    1, 1--60

    Michael Ching and Paolo Salvatore, Koszul duality for topological en-operads, Proceedings of the London Mathematical Society 125 (2022), no. 1, 1--60

    work page 2022

  8. [8]

    1, 1--60

    , Koszul duality for topological E_n -operads , Proceedings of the London Mathematical Society (3) 125 (2022), no. 1, 1--60

    work page 2022

Show all 22 references
  1. [9]

    5, 1369--1385

    Saul Glasman, Day convolution for -categories, Mathematical Research Letters 23 (2016), no. 5, 1369--1385

    2016

  2. [10]

    11, 3621--3674

    Owen Gwilliam and Dmitri Pavlov, Enhancing the filtered derived category, Journal of Pure and Applied Algebra 222 (2018), no. 11, 3621--3674

    2018

  3. [11]

    Dennis Gaitsgory and Nick Rozenblyum, A study in derived algebraic geometry: Volume II deformations, L ie theory and formal geometry , American Mathematical Society (2017)

    2017

  4. [12]

    4, 889--957

    Rune Haugseng, Fabian Hebestreit, Sil Linskens, and Joost Nuiten, Lax monoidal adjunctions, two-variable fibrations and the calculus of mates, Proceedings of the London Mathematical Society 127 (2023), no. 4, 889--957

    2023

  5. [13]

    Heuts and Markus Land, Koszul duality of E _n -algebras and E _n -operads , to appear

    Gijs S.K.S. Heuts and Markus Land, Koszul duality of E _n -algebras and E _n -operads , to appear

  6. [14]

    Heuts and Markus Land, Formality of E_n -algebras and cochains on spheres , arXiv preprint arXiv:2407.00790 (2024)

    Gijs S.K.S. Heuts and Markus Land, Formality of E_n -algebras and cochains on spheres , arXiv preprint arXiv:2407.00790 (2024)

    2024 arXiv

  7. [15]

    Theory Appl

    G Max Kelly, On the operads of jp may, Repr. Theory Appl. Categ 13 (2005), no. 1

    2005

  8. [16]

    7, 4013--4066

    Ben Knudsen, Higher enveloping algebras, Geometry & Topology 22 (2018), no. 7, 4013--4066

    2018

  9. [17]

    Lurie, Derived algebraic geometry I I : Noncommutative algebra , arXiv preprint math/0702299 (2007)

    Jacob A. Lurie, Derived algebraic geometry I I : Noncommutative algebra , arXiv preprint math/0702299 (2007)

    2007 arXiv

  10. [18]

    , Higher A lgebra , Available at the author's homepage http://www.math.ias.edu/ lurie, 2017

    2017

  11. [19]

    Connor Malin, One point compactifications of configuration spaces and the self duality of the little disks operad, arXiv preprint arXiv:2309.16605 (2023)

    2023

  12. [20]

    thesis, University of Oxford, 1998

    Paolo Salvatore, Configuration operads, minimal models and rational curves., Ph.D. thesis, University of Oxford, 1998

    1998

  13. [21]

    Trimble, Notes on the L ie operad

    Todd H. Trimble, Notes on the L ie operad

  14. [22]

    Adela YiYu Zhang, Quillen homology of spectral lie algebras with application to mod p homology of labeled configuration spaces, arXiv preprint arXiv:2110.08428

    arXiv

Pith tools

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