pith. machine review for the scientific record. sign in

arxiv: 2605.02440 · v1 · submitted 2026-05-04 · 🧮 math.AT · math.CO

Recognition: unknown

Power set operads

Mathieu Vall\'ee

Pith reviewed 2026-05-08 02:22 UTC · model grok-4.3

classification 🧮 math.AT math.CO
keywords operadoperadspolyhedralstructuresapplicationcomplexescompositionhierarchy
0
0 comments X

The pith

Iterated power set applications generate a hierarchy of operads linking the permutative operad to triassociative, substitution, and composition operads, plus a new operad on relative simplicial complexes governed by join polyhedral products.

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

Operads are algebraic structures that encode ways to combine multiple inputs through operations, commonly used in topology to model products of spaces. The authors apply the power set functor, which maps a set to the collection of all its subsets, repeatedly to build new operads from known ones. Beginning with the permutative operad that organizes permutations, the first iteration yields the commutative triassociative operad. A second iteration produces the substitution operad and composition operad on simplicial complexes, structures previously studied in polyhedral product theory; both are shown to require infinitely many generators. A new operad is defined on relative simplicial complexes that contains the prior two as suboperads and is controlled by the join operation. In any category that is cocontinuous, cocomplete, and symmetric monoidal, the morphisms naturally form algebras over these operads. This recovers the Cartesian, smash, and join versions of polyhedral products simply by changing the monoidal product on spaces. An application shows that pairs of piecewise-linear balls without interior vertices, together with their boundary spheres, form a suboperad, extending known stability results for spheres.

Core claim

Starting from the permutative operad, the first iteration recovers the commutative triassociative operad. The second iteration produces the substitution operad and the composition operad on simplicial complexes... we prove that both are infinitely generated. This hierarchy yields a conceptual explanation for the multiplicity of polyhedral product constructions... Going further, we construct a new operad on relative simplicial complexes, governed by the join polyhedral product, which contains both the composition and the substitution operads as suboperads.

Load-bearing premise

That iterated application of the power set functor to the permutative operad canonically recovers the listed classical operads and that morphisms in any cocontinuous cocomplete symmetric monoidal category carry natural algebra structures over the resulting operads without additional choices.

Figures

Figures reproduced from arXiv: 2605.02440 by Mathieu Vall\'ee.

Figure 1
Figure 1. Figure 1: Commutative diagram between families of subsets of [𝑛], for every 𝑛 ≥ 1. Note that all maps are functorial, except those landing in transv(𝑛). 1.3. Reduced families of subsets. All the families of subsets defined above have a natural reduced variant, obtained by restricting to ℘ 2 ( [𝑛]). Definition 1.9 (Reduced family). A family of subsets 𝐹 ∈ ℘ 2 ( [𝑛]) is reduced if it is non empty and ∅ ∉ 𝐹, i.e., 𝐹 ∈ … view at source ↗
Figure 2
Figure 2. Figure 2: An illustration of the compositions of two elements of Perm. The element 𝑖 ∈ Perm(𝑛) is represented by a sequence of 𝑛 squares, where only the 𝑖th one is colored in black. 1.9. Algebra over an operad. To every set 𝑋, there is a canonical operad End𝑋, whose operations of arity 𝑛 are given by: End𝑋(𝑛) := HomSet(𝑋 𝑛 , 𝑋), with the action of 𝕊𝑛 obtained by permuting the entries. The compositions are given by 𝑓… view at source ↗
Figure 3
Figure 3. Figure 3: An illustration of the composition in ℘(Perm). The elements of a subset are colored in black and the elements of the complementary are in white. Inserting in a white square “forgets the information”. Proposition 2.14. The operad ℘(Perm) is generated by three binary operations {1} , {2} , and {1, 2} that satisfy 11 relations, that is: ℘(Perm)  T  {1} , {2} , {1, 2}  ⟨𝑅⟩ , where 𝑅 is made up of the follow… view at source ↗
read the original abstract

We introduce a systematic method for constructing set-theoretic operads via iterated application of the power set functor, and use it to uncover a hierarchy connecting several classical operads. Starting from the permutative operad, the first iteration recovers the commutative triassociative operad. The second iteration produces the substitution operad and the composition operad on simplicial complexes, two structures introduced by Ayzenberg and Abramyan--Panov in the theory of polyhedral products; we prove that both are infinitely generated. This hierarchy yields a conceptual explanation for the multiplicity of polyhedral product constructions: the arrows of any cocontinuous cocomplete symmetric monoidal category carry natural algebra structures over both operads, recovering the Cartesian, smash, and join polyhedral products as instances for different monoidal structures on topological spaces. Going further, we construct a new operad on relative simplicial complexes, governed by the join polyhedral product, which contains both the composition and the substitution operads as suboperads. As an application, pairs of piecewise-linear balls without interior vertices with their boundary spheres form a suboperad, extending the stability of the $J$-construction on piecewise-linear~spheres.

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

0 major / 3 minor

Summary. The manuscript introduces a systematic construction of set-theoretic operads via iterated application of the power set functor to the permutative operad. The first iteration recovers the commutative triassociative operad. The second iteration produces the substitution operad and the composition operad on simplicial complexes; both are shown to be infinitely generated via explicit infinite families of simplicial complexes that remain distinct under the operad action. The hierarchy explains the multiplicity of polyhedral products by establishing that morphisms in any cocontinuous cocomplete symmetric monoidal category carry natural algebra structures over these operads, recovering the Cartesian, smash, and join products as special cases. A new operad on relative simplicial complexes is constructed in §4 by restricting the join polyhedral product; it contains both the composition and substitution operads as suboperads, with an application showing that pairs of PL balls without interior vertices together with their boundary spheres form a suboperad.

Significance. If the results hold, the work supplies a conceptual unification of several operads appearing in polyhedral product theory. Explicit credit is due for the direct comparison of generators and relations to recover the classical operads, the use of explicit infinite families to establish infinite generation, the derivation of natural algebra structures from the universal property of colimits without extra choices, and the diagram-chasing arguments verifying suboperad inclusions and the PL-ball application. These features provide a reproducible, choice-free hierarchy that may clarify relationships among existing constructions in algebraic topology.

minor comments (3)
  1. §2: The definition of iterated power-set operads via direct image of structure maps is explicit, but a brief worked example computing the first iteration on a small permutative operad element would improve readability for readers unfamiliar with the construction.
  2. Introduction and §3: When stating that the second iteration recovers the substitution and composition operads, include a short table or list contrasting the generators and relations of the power-set version with those in Ayzenberg and Abramyan–Panov to make the direct comparison immediately visible.
  3. §4: The diagram chasing establishing that the new operad contains the composition and substitution operads as suboperads is convincing, but adding a one-sentence summary of the key commuting diagrams at the end of the section would aid navigation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful and accurate summary of our manuscript, as well as for the positive evaluation of its significance. We are pleased that the hierarchy of power-set operads, the explicit proofs of infinite generation, the natural algebra structures over cocontinuous symmetric monoidal categories, and the new operad on relative simplicial complexes are viewed as providing a reproducible, choice-free unification. The recommendation of minor revision is noted; however, the report does not identify any specific points requiring correction or elaboration.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines the iterated power-set construction explicitly from the permutative operad in §2, with operad composition maps given directly by the power-set functor applied to the source structure maps. Recoveries of the commutative triassociative operad (first iteration) and the substitution/composition operads (second iteration) are established by direct comparison of generators and relations rather than by any fitted or self-referential reduction. Infinite-generation proofs rely on an explicit infinite family of distinct simplicial complexes under the operad action. Natural algebra structures on morphisms follow from the universal property of colimits in the stated categories, without additional choices or parameters. The new operad on relative simplicial complexes is constructed by restricting the join polyhedral product, with suboperad inclusions verified by diagram chasing. No load-bearing step reduces to a self-definition, a fitted input renamed as prediction, or a self-citation chain; the derivation chain is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claims rest on standard properties of the power-set functor, operad axioms, and symmetric monoidal category axioms; the main addition is the new relative-complex operad whose independent evidence is limited to the abstract's existence claim.

axioms (2)
  • domain assumption The power set functor preserves the necessary structure to induce operad compositions when iterated
    Invoked to guarantee that each iteration yields a valid operad starting from the permutative operad.
  • domain assumption Morphisms in a cocontinuous cocomplete symmetric monoidal category carry natural algebra structures over the constructed operads
    Used to recover Cartesian, smash, and join polyhedral products as instances.
invented entities (1)
  • New operad on relative simplicial complexes no independent evidence
    purpose: Governed by the join polyhedral product and containing the composition and substitution operads as suboperads
    Introduced to extend the hierarchy and enable the application to piecewise-linear balls.

pith-pipeline@v0.9.0 · 5494 in / 1659 out tokens · 80216 ms · 2026-05-08T02:22:53.795344+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

48 extracted references · 6 canonical work pages · 1 internal anchor

  1. [1]

    Abramyan and Taras E

    Semyon A. Abramyan and Taras E. Panov. Higher whitehead products in moment—angle complexes and substitution of simplicial complexes.Proceedings of the Steklov Institute of Mathematics, 305(1):1–21, May 2019

    2019

  2. [2]

    Combinatorial

    Karim Adiprasito. Combinatorial lefschetz theorems beyond positivity. (arXiv:1812.10454), 2019. arXiv:1812.10454 [math]

    work page arXiv 2019

  3. [3]

    Adiprasito and Raman Sanyal

    Karim A. Adiprasito and Raman Sanyal. Relative stanley–reisner theory and upper bound theorems for minkowski sums.Publ.math.IHES, 124(1):99–163, November 2016

    2016

  4. [4]

    Jean-ChristopheAval,GiraudoSamuele,ThéoKaraboghossian,andAdrianTanasa.Operadsongraphs: extendingthe pre-lie operad and general construction.Algebraic Combinatorics, 8(5):1313–1348, October 2025

    2025

  5. [5]

    AntonA.Ayzenberg.Substitutionsofpolytopesandofsimplicialcomplexes,andmultigradedbettinumbers.Transac- tions of the Moscow Mathematical Society, 74:175–202, April 2014

    2014

  6. [6]

    Cohen, and Samuel Gitler

    Anthony Bahri, Martin Bendersky, Frederick R. Cohen, and Samuel Gitler. The polyhedral product functor: A method of decomposition for moment-angle complexes, arrangements and related spaces.Advances in Mathematics, 225(3):1634–1668, October 2010

    2010

  7. [7]

    AnthonyBahri,MartinBendersky,FrederickR.Cohen,andSamuelGitler.Operationsonpolyhedralproductsandanew topologicalconstructionofinfinitefamiliesoftoricmanifolds.Homology,HomotopyandApplications,17(2):137–160, 2015

    2015

  8. [8]

    Louis J. Billera. On the composition and decomposition of clutters.Journal of Combinatorial Theory, Series B, 11(3):234–245, December 1971

    1971

  9. [9]

    Springer Berlin Heidelberg, Berlin, Heidelberg, 1973

    JohnM.BoardmanandRainerM.Vogt.HomotopyInvariantAlgebraicStructuresonTopologicalSpaces,volume347 ofLecture Notes in Mathematics. Springer Berlin Heidelberg, Berlin, Heidelberg, 1973

    1973

  10. [10]

    Buchshtaber and Taras E

    Victor M. Buchshtaber and Taras E. Panov. Algebraic topology of manifolds defined by simple polytopes.Russ. Math. Surv., 53(3):623–625, 1998

    1998

  11. [11]

    Buchstaber and Taras E

    Victor M. Buchstaber and Taras E. Panov.Torus actions and combinatorics of polytopes, pages 87–120. Moscow: MAIK Nauka/Interperiodica, 1999

    1999

  12. [12]

    VictorM.BuchstaberandTarasE.Panov.Torictopology,volume204ofMath.Surv.Monogr.Providence,RI:American Mathematical Society (AMS), 2015

    2015

  13. [13]

    On products in a real moment-angle manifold.J

    Li Cai. On products in a real moment-angle manifold.J. Math. Soc. Japan, 69(2), April 2017

    2017

  14. [14]

    Springer Berlin Heidelberg, Berlin, Heidelberg, 2001

    Frédéric Chapoton.Un endofoncteur de la catégorie des opérades, volume 1763 ofLecture Notes in Mathematics, pages 105–110. Springer Berlin Heidelberg, Berlin, Heidelberg, 2001

    2001

  15. [15]

    SuyoungChoi, HyeontaeJang, andMathieuVallée.Thecharacterizationof(𝑛−1)-sphereswith𝑛+4verticeshaving maximal Buchstaber number.Journal für die reine und angewandte Mathematik (Crelles Journal), 0(0), May 2024

    2024

  16. [16]

    Complete non-singular toric varieties with Picard number 4

    Suyoung Choi, Hyeontae Jang, and Mathieu Vallée. Complete non-singular toric varieties with Picard number 4. (arXiv:2504.18134), April 2025. arXiv:2504.18134 [math]

    work page arXiv 2025

  17. [17]

    SuyoungChoiandHanchulPark.Wedgeoperationsandtorussymmetries.TohokuMathematicalJournal,68(1),March 2016

    2016

  18. [18]

    Wedge operations and torus symmetries II.Canadian Journal of Mathematics, 69(4):767–789, August 2017

    Suyoung Choi and Hanchul Park. Wedge operations and torus symmetries II.Canadian Journal of Mathematics, 69(4):767–789, August 2017

    2017

  19. [19]

    Matroids, feynman categories, and koszul duality.Duke Math

    Basile Coron. Matroids, feynman categories, and koszul duality.Duke Math. J., 174(11), August 2025

    2025

  20. [20]

    Reconnectads.Algebraic Combinatorics, 7(3):801–842, 2024

    Vladimir Dotsenko, Adam Keilthy, and Denis Lyskov. Reconnectads.Algebraic Combinatorics, 7(3):801–842, 2024

    2024

  21. [21]

    Gröbner bases for operads.Duke Math

    Vladimir Dotsenko and Anton Khoroshkin. Gröbner bases for operads.Duke Math. J., 153(2), 2010

    2010

  22. [22]

    Springer Berlin Heidelberg, Berlin, Heidelberg, 2010

    Vladimir Dotsenko and Mikael Vejdemo-Johansson.Operadic Gröbner Bases: An Implementation, volume 6327 of Lecture Notes in Computer Science, pages 249–252. Springer Berlin Heidelberg, Berlin, Heidelberg, 2010

    2010

  23. [23]

    Loop spaces of polyhedral products associated with the polyhedral join product.Proceedings of the Edinburgh Mathematical Society, pages 1–27, November 2025

    Briony Eldridge. Loop spaces of polyhedral products associated with the polyhedral join product.Proceedings of the Edinburgh Mathematical Society, pages 1–27, November 2025

    2025

  24. [24]

    Combinatorial operads from monoids.J Algebr Comb, 41(2):493–538, March 2015

    Samuele Giraudo. Combinatorial operads from monoids.J Algebr Comb, 41(2):493–538, March 2015

    2015

  25. [25]

    Hermann, Paris, 1958

    RogerGodement.Topologiealgébriqueetthéoriedesfaisceaux,volume1252ofActualitésScientifiquesetIndustrielles. Hermann, Paris, 1958

    1958

  26. [26]

    arXiv:2306.05230 [math]

    JelenaGrbic,GeorgeSimmons,andMatthewStaniforth.Relationsamonghigherwhiteheadmaps.(arXiv:2306.05230), June 2023. arXiv:2306.05230 [math]

    work page arXiv 2023

  27. [27]

    The homotopy type of the polyhedral product for shifted complexes.Advances in Mathematics, 245:690–715, October 2013

    Jelena Grbić and Stephen Theriault. The homotopy type of the polyhedral product for shifted complexes.Advances in Mathematics, 245:690–715, October 2013

    2013

  28. [28]

    Polyhedral products in abstract and motivic homotopy theory

    William Hornslien. Polyhedral products in abstract and motivic homotopy theory. (arXiv:2406.13540), August 2024. arXiv:2406.13540 [math]. 36 MATHIEU VALLÉE

    work page arXiv 2024

  29. [29]

    J. F. P. Hudson.Piecewise linear topology. Math. Lect. Note Ser. The Benjamin/Cummings Publishing Company, Reading, MA, 1969

    1969

  30. [30]

    Topological toric manifolds.Mosc

    Hiroaki Ishida, Yukiko Fukukawa, and Mikiya Masuda. Topological toric manifolds.Mosc. Math. J., 13(1):57–98, 2013

    2013

  31. [31]

    RalphM.KaufmannandBenjaminC.Ward.Feynmancategories,volume387ofAstérisque.Paris: SociétéMathéma- tique de France (SMF), 2017

    2017

  32. [32]

    Polyhedral products over finite posets.Kyoto J

    Daisuke Kishimoto and Ran Levi. Polyhedral products over finite posets.Kyoto J. Math., 62(3), 2022

    2022

  33. [33]

    Strong functors and monoidal monads.Arch

    Anders Kock. Strong functors and monoidal monads.Arch. Math, 23(1):113–120, December 1972

    1972

  34. [34]

    Jean-LouisLoday.Algebraswithtwoassociativeoperations(dialgebras).C.R.Acad.Sci.,Paris,Sér.I,321(2):141–146, 1995

    1995

  35. [35]

    Jean-LouisLoday.Dialgebras, volume1763ofLectureNotesinMathematics, page7–66.SpringerBerlinHeidelberg, Berlin, Heidelberg, 2001

    2001

  36. [36]

    Jean-Louis Loday and Maria O. Ronco. Trialgebras and families of polytopes. (arXiv:math/0205043), May 2002. arXiv:math/0205043

    work page arXiv 2002

  37. [37]

    Springer Berlin Heidelberg, Berlin, Heidelberg, 2012

    Jean-Louis Loday and Bruno Vallette.Algebraic Operads, volume 346 ofGrundlehren der mathematischen Wis- senschaften. Springer Berlin Heidelberg, Berlin, Heidelberg, 2012

    2012

  38. [39]

    SaundersMacLane.CategoriesfortheWorkingMathematician,volume5ofGraduateTextsinMathematics.Springer New York, New York, NY, 1978

    1978

  39. [40]

    CamilleMale.Trafficdistributionsandindependence: Permutationinvariantrandommatricesandthethreenotionsof independence.Memoirs of the AMS, 267(1300), 2020

    2020

  40. [41]

    May.The Geometry of Iterated Loop Spaces, volume 271 ofLecture Notes in Mathematics

    Join P. May.The Geometry of Iterated Loop Spaces, volume 271 ofLecture Notes in Mathematics. Springer Berlin Heidelberg, Berlin, Heidelberg, 1972

    1972

  41. [42]

    The algebraic structures of social organizations: the operad of cooperative games

    Dylan Laplace Mermoud and Victor Roca i Lucio. The algebraic structures of social organizations: the operad of cooperative games. (arXiv:2507.01969), 2025. arXiv:2507.01969 [math]

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  42. [43]

    Rourke and Brian J

    Colin P. Rourke and Brian J. Sanderson.Introduction to Piecewise-Linear Topology. Springer Berlin Heidelberg, Berlin, Heidelberg, 1972

    1972

  43. [44]

    Gavin J. Seal. Tensors, monads and actions.Theory Appl. Categ., 28:403–434, 2013

    2013

  44. [45]

    Stanley.Combinatorics and commutative algebra, volume 41 ofProgress in Mathematics

    Richard P. Stanley.Combinatorics and commutative algebra, volume 41 ofProgress in Mathematics. Birkhäuser Boston, Inc., Boston, MA, second edition, 1996

    1996

  45. [46]

    LewisR.Stanton,StevenAmelotte,andWilliamHornslien.Polyhedralcoproducts.AlgebraicandGeometricTopology, May 2025

    2025

  46. [47]

    The dual polyhedral product, cocategory and nilpotence.Advances in Mathematics, 340:138–192, December 2018

    Stephen Theriault. The dual polyhedral product, cocategory and nilpotence.Advances in Mathematics, 340:138–192, December 2018

    2018

  47. [48]

    Homology of generalized partition posets.Journal of Pure and Applied Algebra, 208(2):699–725, February 2007

    Bruno Vallette. Homology of generalized partition posets.Journal of Pure and Applied Algebra, 208(2):699–725, February 2007

    2007

  48. [49]

    On polyhedral product spaces over polyhedral joins.Homology, Homotopy and Applications, 20(2):259–280, 2018

    Elizabeth Vidaurre. On polyhedral product spaces over polyhedral joins.Homology, Homotopy and Applications, 20(2):259–280, 2018. Université libre de Bruxelles (ULB), Brussels, Belgium Email address:mathieu.vallee@protonmail.com

    2018