pith. sign in

arxiv: 2605.22946 · v1 · pith:IMVWKDQPnew · submitted 2026-05-21 · 🧮 math.AT · math.CT· math.KT

Topological symmetric and braid homologies

Gabriel Angelini-Knoll , David Chan , Teena Gerhardt , Mona Merling , Maximilien P\'eroux This is my paper

Pith reviewed 2026-05-25 05:29 UTC · model grok-4.3

classification 🧮 math.AT math.CTmath.KT
keywords topological symmetric homologytopological braid homologyE-infinity algebraE2-algebrarepresentation homologymonoidal envelopebraided crossed simplicial groupThom spectra
0
0 comments X

The pith

Topological symmetric homology is the free E∞-algebra on an E1-algebra, and topological braid homology is the free E2-algebra on an E1-algebra.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that topological symmetric homology coincides with the free E∞-algebra generated by an E1-algebra. It likewise identifies topological braid homology with the free E2-algebra on an E1-algebra. This lets both be treated as variants of one-dimensional representation homology. The braid identification rests on proving that the E2-monoidal envelope of the associative operad equals the braided crossed simplicial group. The same tools yield low-degree computations for symmetric homology, explicit values for grouplike E1-spaces, and formulas for the ΔG-homology of Thom spectra.

Core claim

We identify topological symmetric homology as the free E∞-algebra on an E1-algebra and topological braid homology as the free E2-algebra on an E1-algebra. In this way, topological symmetric homology and topological braid homology can be regarded as variants of 1-dimensional representation homology. In order to identify topological braid homology as the free E2-algebra on an E1-algebra, we prove that the E2-monoidal envelope of the associative operad can be identified with the braided crossed simplicial group. Using this, we also compute the topological braid homology of grouplike E1-spaces. Further, we develop computational tools for topological symmetric and braid homologies. These tools...

What carries the argument

The free E∞-algebra and free E2-algebra constructions on an E1-algebra, together with the identification of the E2-monoidal envelope of the associative operad with the braided crossed simplicial group.

If this is right

  • Both homologies can be regarded as variants of 1-dimensional representation homology.
  • Topological braid homology of grouplike E1-spaces admits explicit computations.
  • Low-degree values of topological symmetric homology become accessible via the new tools.
  • Topological symmetric homology fails to be Morita invariant.
  • Explicit formulas exist for the topological ΔG-homology of Thom spectra in the symmetric and braid cases.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The free-algebra descriptions may let existing calculations in representation homology transfer directly to these topological versions.
  • Non-Morita invariance distinguishes these homologies from coarser algebraic invariants and may help classify E1-algebras up to topological equivalence.
  • The Thom-spectrum formulas suggest links to stable homotopy computations that go beyond the paper's explicit cases.

Load-bearing premise

The E2-monoidal envelope of the associative operad can be identified with the braided crossed simplicial group.

What would settle it

A concrete E1-algebra whose topological braid homology differs from the free E2-algebra on that algebra, or a direct check showing the E2-monoidal envelope is not equivalent to the braided crossed simplicial group.

Figures

Figures reproduced from arXiv: 2605.22946 by David Chan, Gabriel Angelini-Knoll, Maximilien P\'eroux, Mona Merling, Teena Gerhardt.

Figure 2.1
Figure 2.1. Figure 2.1: 1 [PITH_FULL_IMAGE:figures/full_fig_p004_2_1.png] view at source ↗
Figure 2.1
Figure 2.1. Figure 2.1: 1. Depiction of the operations ϕ ∗ and γ ∗ The symmetric group Σn+1 acts on Rn+1 for all g ∈ Σn+1 via R ⊗n+1 −→ R ⊗n+1 r0 ⊗ · · · ⊗ rn 7−→ rg−1(0) ⊗ · · · rg−1(n) . There is an analogous bar construction defined using Connes’ cyclic category ∆C ⊂ ∆Σ (often also denoted Λ), for which automorphisms are given by the cyclic groups Cn+1 ⊂ Σn+1. That is, the morphisms in ∆C are generated by the coface and code… view at source ↗
Figure 4.1
Figure 4.1. Figure 4.1: 1 [PITH_FULL_IMAGE:figures/full_fig_p013_4_1.png] view at source ↗
Figure 4.1
Figure 4.1. Figure 4.1: 1. Depiction of the operations ϕ ∗ and b ∗ The homomorphisms π : Bn → Σn assemble into a functor ∆B → ∆Σ which is the identity on objects and the identity on the subcategory ∆. Definition 4.1.3 ([Fie]). Let k be a field. The braided bar construction of a k-algebra R, denoted B • ∆B(R), is defined as the functor ∆B → Vectk obtained by precomposing the symmetric bar construction B • ∆Σ(R): ∆Σ → Vectk of De… view at source ↗
read the original abstract

We identify topological symmetric homology as the free $\mathbb{E}_\infty$-algebra on an $\mathbb{E}_1$-algebra and topological braid homology as the free $\mathbb{E}_2$-algebra on an $\mathbb{E}_1$-algebra. In this way, topological symmetric homology and topological braid homology can be regarded as variants of $1$-dimensional representation homology. In order to identify topological braid homology as the free $\mathbb{E}_2$-algebra on an $\mathbb{E}_1$-algebra, we prove that the $\mathbb{E}_2$-monoidal envelope of the associative operad can be identified with the braided crossed simplicial group. Using this, we also compute the topological braid homology of grouplike $\mathbb{E}_1$-spaces. Further, we develop computational tools for topological symmetric and braid homologies. These tools allow us to perform low-degree computations of topological symmetric homology and prove that it is not Morita invariant. We also compute the topological $\Delta \mathbf{G}$-homology of Thom spectra in general and produce explicit formulas in the case of topological symmetric and braid homologies.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The manuscript claims to identify topological symmetric homology as the free E∞-algebra on an E1-algebra and topological braid homology as the free E2-algebra on an E1-algebra. The braid-homology identification is obtained by proving that the E2-monoidal envelope of the associative operad coincides with the braided crossed simplicial group. The paper develops computational tools for these homologies, performs low-degree computations, proves that topological symmetric homology is not Morita invariant, computes the topological braid homology of grouplike E1-spaces, and computes the topological ΔG-homology of Thom spectra with explicit formulas in the symmetric and braid cases.

Significance. If the identifications hold, the work supplies an operadic reinterpretation of these homologies as variants of 1-dimensional representation homology, together with concrete computational tools and explicit low-degree results. The non-Morita-invariance statement and the Thom-spectrum formulas are tangible contributions that could be used by others.

major comments (1)
  1. [Abstract (the E2-envelope identification)] The identification of the E2-monoidal envelope of the associative operad with the braided crossed simplicial group (stated in the abstract) is the single load-bearing step for the topological braid homology claim. The abstract supplies no derivations, error controls, or verification that the two objects agree as monoidal categories (braiding maps, simplicial operators, action on arity-n components). If they differ, the free-E2 interpretation does not follow.
minor comments (1)
  1. Notation for the various crossed simplicial groups and their monoidal structures could be introduced with a short comparison table to improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the report. The single major comment concerns the presentation of the E2-monoidal envelope result in the abstract; we address it directly below.

read point-by-point responses

  1. Referee: [Abstract (the E2-envelope identification)] The identification of the E2-monoidal envelope of the associative operad with the braided crossed simplicial group (stated in the abstract) is the single load-bearing step for the topological braid homology claim. The abstract supplies no derivations, error controls, or verification that the two objects agree as monoidal categories (braiding maps, simplicial operators, action on arity-n components). If they differ, the free-E2 interpretation does not follow.

    Authors: The abstract is a concise summary and does not contain proofs or verifications, which is standard. The full identification—that the E2-monoidal envelope of the associative operad coincides with the braided crossed simplicial group as monoidal categories—is established in the body of the manuscript. There we construct the explicit isomorphism, check compatibility of the braiding maps, the simplicial operators, and the action on each arity-n component, and confirm that the structures agree. This supplies the required load-bearing step for the free-E2 interpretation of topological braid homology. revision: no

Circularity Check

0 steps flagged

No circularity: claims rest on stated proofs rather than self-definition or fitted inputs

full rationale

The paper states it will prove that the E2-monoidal envelope of the associative operad coincides with the braided crossed simplicial group, from which the free-E2 identification for braid homology follows; this is presented as an internal theorem, not an input or self-citation. The symmetric-homology claim uses a separate E∞-envelope argument. No equations redefine a quantity in terms of itself, no parameters are fitted then relabeled as predictions, and no load-bearing step reduces to a prior result by the same authors. The derivation chain is therefore self-contained against the definitions and proofs claimed in the manuscript.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, ad-hoc axioms, or invented entities are stated.

pith-pipeline@v0.9.0 · 5736 in / 1019 out tokens · 15825 ms · 2026-05-25T05:29:05.594929+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

53 extracted references · 53 canonical work pages · 1 internal anchor

  1. [1]

    Antol\'in-Camarena, Omar and Barthel, Tobias , TITLE =. J. Topol. , FJOURNAL =. 2019 , NUMBER =. doi:10.1112/topo.12084 , URL =

    work page doi:10.1112/topo.12084 2019

  2. [2]

    Theory Appl

    Graves, Daniel , TITLE =. Theory Appl. Categ. , FJOURNAL =. 2022 , PAGES =. doi:10.70930/tac/y82hsilm , URL =

    work page doi:10.70930/tac/y82hsilm 2022

  3. [3]

    1998 , PAGES =

    Mac Lane, Saunders , TITLE =. 1998 , PAGES =

    work page 1998

  4. [4]

    2026 , note=

    Free algebras via monoidal envelopes , author=. 2026 , note=

    work page 2026

  5. [5]

    Theory Appl

    Grandis, Marco , TITLE =. Theory Appl. Categ. , FJOURNAL =. 2001 , PAGES =

    work page 2001

  6. [6]

    1998 , PAGES =

    Loday, Jean-Louis , TITLE =. 1998 , PAGES =. doi:10.1007/978-3-662-11389-9 , URL =

    work page doi:10.1007/978-3-662-11389-9 1998

  7. [7]

    Stephen , TITLE =

    Kitchloo, Nitu and Laures, Gerd and Wilson, W. Stephen , TITLE =. Adv. Math. , FJOURNAL =. 2004 , NUMBER =. doi:10.1016/j.aim.2003.10.008 , URL =

    work page doi:10.1016/j.aim.2003.10.008 2004

  8. [8]

    , TITLE =

    Angelini-Knoll, Gabriel and Gerhardt, Teena and Hill, Michael A. , TITLE =. Adv. Math. , FJOURNAL =. 2025 , PAGES =. doi:10.1016/j.aim.2025.110568 , URL =

    work page doi:10.1016/j.aim.2025.110568 2025

  9. [9]

    and Willwacher, Thomas , TITLE =

    Berest, Yuri and Felder, Giovanni and Patotski, Sasha and Ramadoss, Ajay C. and Willwacher, Thomas , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2017 , NUMBER =. doi:10.4171/JEMS/729 , URL =

    work page doi:10.4171/jems/729 2017

  10. [10]

    Keenan, Liam , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2025 , NUMBER =. doi:10.1016/j.jpaa.2024.107806 , URL =

    work page doi:10.1016/j.jpaa.2024.107806 2025

  11. [11]

    and Yeung, Wai-Kit , TITLE =

    Berest, Yuri and Ramadoss, Ajay C. and Yeung, Wai-Kit , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2022 , volume=. doi:10.1093/imrn/rnaa023 , URL =

    work page doi:10.1093/imrn/rnaa023 2022

  12. [12]

    , TITLE =

    Berest, Yuri and Ramadoss, Ajay C. , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2024 , NUMBER =. doi:10.2140/agt.2024.24.4991 , URL =

    work page doi:10.2140/agt.2024.24.4991 2024

  13. [13]

    Li, Guanyu , TITLE =. J. Algebra , FJOURNAL =. 2026 , PAGES =. doi:10.1016/j.jalgebra.2025.10.006 , URL =

    work page doi:10.1016/j.jalgebra.2025.10.006 2026

  14. [14]

    2025 , note=

    On products of skeleta , author=. 2025 , note=

    work page 2025

  15. [15]

    and Cohen, Ralph L

    Blumberg, Andrew J. and Cohen, Ralph L. and Schlichtkrull, Christian , TITLE =. Geom. Topol. , FJOURNAL =. 2010 , NUMBER =. doi:10.2140/gt.2010.14.1165 , URL =

    work page doi:10.2140/gt.2010.14.1165 2010

  16. [16]

    Acta Math

    Calm\`es, Baptiste and Harpaz, Yonatan and Land, Markus and Nardin, Denis and Steimle, Wolfgang and Dotto, Emanuele and Hebestreit, Fabian and Moi, Kristian and Nikolaus, Thomas , TITLE =. Acta Math. , FJOURNAL =. 2025 , NUMBER =. doi:10.4310/acta.2025.n235.n2.a1 , URL =

    work page doi:10.4310/acta.2025.n235.n2.a1 2025

  17. [17]

    Dotto, Emanuele and Moi, Kristian and Patchkoria, Irakli and Reeh, Sune Precht , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2021 , NUMBER =. doi:10.4171/jems/1007 , URL =

    work page doi:10.4171/jems/1007 2021

  18. [18]

    and Kapranov, M

    Dyckerhoff, T. and Kapranov, M. , TITLE =. Stacks and categories in geometry, topology, and algebra , SERIES =. 2015 , ISBN =. doi:10.1090/conm/643/12896 , URL =

    work page doi:10.1090/conm/643/12896 2015

  19. [19]

    Angelini-Knoll, Gabriel and Merling, Mona and P\'eroux, Maximilien , TITLE =. Adv. Math. , FJOURNAL =. 2026 , PAGES =. doi:10.1016/j.aim.2026.110907 , URL =

    work page doi:10.1016/j.aim.2026.110907 2026

  20. [20]

    and Gerhardt, Teena and Hill, Michael A

    Angeltveit, Vigleik and Blumberg, Andrew J. and Gerhardt, Teena and Hill, Michael A. and Lawson, Tyler and Mandell, Michael A. , TITLE =. Doc. Math. , FJOURNAL =. 2018 , PAGES =

    work page 2018

  21. [21]

    Equivariant nonabelian

    Asaf Horev and Inbar Klang and Foling Zou , year=. Equivariant nonabelian

    work page

  22. [22]

    Berest, Yuri and Khachatryan, George and Ramadoss, Ajay , TITLE =. Adv. Math. , FJOURNAL =. 2013 , PAGES =. doi:10.1016/j.aim.2013.06.020 , URL =

    work page doi:10.1016/j.aim.2013.06.020 2013

  23. [23]

    and Procesi, C

    De Concini, C. and Procesi, C. and Reshetikhin, N. and Rosso, M. , title =. Invent. Math. , issn =. 2005 , language =. doi:10.1007/s00222-004-0405-0 , keywords =

    work page doi:10.1007/s00222-004-0405-0 2005

  24. [24]

    K -Theory , FJOURNAL =

    Dunn, Gerald , TITLE =. K -Theory , FJOURNAL =. 1989 , NUMBER =. doi:10.1007/BF00533376 , URL =

    work page doi:10.1007/bf00533376 1989

  25. [25]

    , TITLE =

    Berest, Yuri and Ramadoss, Ajay C. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2023 , NUMBER =. doi:10.1090/tran/8947 , URL =

    work page doi:10.1090/tran/8947 2023

  26. [26]

    , TITLE =

    Fiedorowicz, Z. , TITLE =. Amer. J. Math. , FJOURNAL =. 1984 , NUMBER =. doi:10.2307/2374307 , URL =

    work page doi:10.2307/2374307 1984

  27. [27]

    2017 , PAGES =

    Fresse, Benoit , TITLE =. 2017 , PAGES =. doi:10.1090/surv/217.1 , URL =

    work page doi:10.1090/surv/217.1 2017

  28. [28]

    Higher Algebra

    Jacob Lurie. Higher Algebra. 2017

    work page 2017

  29. [29]

    2009 , PAGES =

    Lurie, Jacob , TITLE =. 2009 , PAGES =. doi:10.1515/9781400830558 , URL =

    work page doi:10.1515/9781400830558 2009

  30. [30]

    , TITLE =

    Krasauskas, R. , TITLE =. Litovsk. Mat. Sb. , FJOURNAL =. 1987 , NUMBER =

    work page 1987

  31. [31]

    and Pereira, Lu\'is Alexandre , TITLE =

    Kuhn, Nicholas J. and Pereira, Lu\'is Alexandre , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/agt.2017.17.1105 , URL =

    work page doi:10.2140/agt.2017.17.1105 2017

  32. [32]

    Fiedorowicz, Zbigniew and Loday, Jean-Louis , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1991 , NUMBER =. doi:10.2307/2001855 , URL =

    work page doi:10.2307/2001855 1991

  33. [33]

    , TITLE =

    Ault, Shaun V. , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2014 , NUMBER =. doi:10.4310/HHA.2014.v16.n2.a13 , URL =

    work page doi:10.4310/hha.2014.v16.n2.a13 2014

  34. [34]

    , TITLE =

    Ault, Shaun V. , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2010 , NUMBER =. doi:10.2140/agt.2010.10.2343 , URL =

    work page doi:10.2140/agt.2010.10.2343 2010

  35. [35]

    and McCarthy, Randy , TITLE =

    Dundas, Bj rn Ian and Goodwillie, Thomas G. and McCarthy, Randy , TITLE =. 2013 , PAGES =

    work page 2013

  36. [36]

    The symmetric bar construction

    Zbigniew Fiedorowicz. The symmetric bar construction

    work page

  37. [37]

    Homology Homotopy Appl

    Graves, Daniel , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2022 , NUMBER =. doi:10.4310/HHA.2022.v24.n1.a1 , URL =

    work page doi:10.4310/hha.2022.v24.n1.a1 2022

  38. [38]

    Homology Homotopy Appl

    Graves, Daniel , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2023 , NUMBER =. doi:10.4310/hha.2023.v25.n1.a1 , URL =

    work page doi:10.4310/hha.2023.v25.n1.a1 2023

  39. [39]

    Lewis, Jr., L. G. and May, J. P. and Steinberger, M. and McClure, J. E. , TITLE =. 1986 , PAGES =. doi:10.1007/BFb0075778 , URL =

    work page doi:10.1007/bfb0075778 1986

  40. [40]

    May, J. P. , TITLE =. 1972 , PAGES =

    work page 1972

  41. [41]

    and Schw\"anzl, R

    McClure, J. and Schw\"anzl, R. and Vogt, R. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1997 , NUMBER =. doi:10.1016/S0022-4049(97)00118-7 , URL =

    work page doi:10.1016/s0022-4049(97)00118-7 1997

  42. [42]

    Acta Math

    Nikolaus, Thomas and Scholze, Peter , TITLE =. Acta Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.4310/ACTA.2018.v221.n2.a1 , URL =

    work page doi:10.4310/acta.2018.v221.n2.a1 2018

  43. [43]

    Pirashvili, Teimuraz , TITLE =. Ann. Sci. \'Ecole Norm. Sup. (4) , FJOURNAL =. 2000 , NUMBER =. doi:10.1016/S0012-9593(00)00107-5 , URL =

    work page doi:10.1016/s0012-9593(00)00107-5 2000

  44. [44]

    Robinson, Alan and Whitehouse, Sarah , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2002 , NUMBER =. doi:10.1017/S0305004102005534 , URL =

    work page doi:10.1017/s0305004102005534 2002

  45. [45]

    Topological moduli spaces, homological stability, and operads , year =

    Zeman, Tom\'a. Topological moduli spaces, homological stability, and operads , year =

    work page

  46. [46]

    and Gepner, David and Hopkins, Michael J

    Ando, Matthew and Blumberg, Andrew J. and Gepner, David and Hopkins, Michael J. and Rezk, Charles , TITLE =. J. Topol. , FJOURNAL =. 2014 , NUMBER =. doi:10.1112/jtopol/jtt035 , URL =

    work page doi:10.1112/jtopol/jtt035 2014

  47. [47]

    Symmetric Homology of Algebras

    Symmetric Homology of Algebras. arXiv e-prints , keywords =. doi:10.48550/arXiv.0708.1575 , archivePrefix =. 0708.1575 , primaryClass =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.0708.1575

  48. [48]

    Schlichtkrull, Christian , TITLE =. Doc. Math. , FJOURNAL =. 2009 , PAGES =

    work page 2009

  49. [49]

    and Gepner, David , TITLE =

    Ando, Matthew and Blumberg, Andrew J. and Gepner, David , TITLE =. Geom. Topol. , FJOURNAL =. 2018 , NUMBER =. doi:10.2140/gt.2018.22.3761 , URL =

    work page doi:10.2140/gt.2018.22.3761 2018

  50. [50]

    Duke Math

    Mahowald, Mark , TITLE =. Duke Math. J. , FJOURNAL =. 1979 , NUMBER =

    work page 1979

  51. [51]

    Kitchloo, Nitu , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2020 , NUMBER =. doi:10.1090/proc/14968 , URL =

    work page doi:10.1090/proc/14968 2020

  52. [52]

    , TITLE =

    Ravenel, Douglas C. , TITLE =. 1986 , PAGES =

    work page 1986

  53. [53]

    Wahl, Nathalie , title =

    work page