pith. sign in

arxiv: 1906.09006 · v2 · pith:45M32ELRnew · submitted 2019-06-21 · 🧮 math.CT · math.AT

Endomorphism operads of functors

Gabriel C. Drummond-Cole , Joseph Hirsh , Damien Lejay This is my paper

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

classification 🧮 math.CT math.AT
keywords endomorphism operadsforgetful functorsoperadsalgebras over operadsvector spacesnatural transformationsmonoidal categories
0
0 comments X

The pith

The endomorphism operad of the forgetful functor recovers the original operad in vector spaces over an infinite field.

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

The paper defines the endomorphism operad of a functor as the object consisting of natural transformations from its monoidal powers to itself. It examines whether this object applied to the forgetful functor from algebras over an operad to the ground category recovers the operad itself. The recovery holds when the ground category consists of vector spaces over an infinite field. The same construction fails to recover the operad in vector spaces over a finite field and in the category of sets. Concrete computations for several operads illustrate the positive and negative cases.

Core claim

The endomorphism operad of the forgetful functor from the category of algebras over an operad to the ground category recovers the original operad when the ground category is vector spaces over an infinite field. The recovery does not hold when the ground category is vector spaces over a finite field or the category of sets.

What carries the argument

Endomorphism operad of a functor, the object of natural transformations from monoidal powers of the functor to the functor itself.

If this is right

  • An operad can be reconstructed from the forgetful functor on its algebras when the base category is vector spaces over an infinite field.
  • The reconstruction does not hold in the category of sets or in vector spaces over finite fields.
  • The endomorphism operad construction can be computed explicitly for standard operads such as the associative and commutative operads.
  • The distinction between infinite and finite fields is essential for the recovery result.

Where Pith is reading between the lines

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

  • The same reconstruction technique might apply in other linear categories where the base ring allows division by all nonzero integers.
  • It would be natural to test whether the recovery continues to hold when the base category is replaced by chain complexes over an infinite field.
  • The negative results suggest that the method relies on the existence of sufficiently many scalars to separate operations.

Load-bearing premise

The ground category must be vector spaces over an infinite field rather than a finite field or the category of sets.

What would settle it

An explicit computation of the endomorphism operad for the associative operad in vector spaces over a finite field that shows it is not isomorphic to the original operad.

read the original abstract

We consider the endomorphism operad of a functor, which is roughly the object of natural transformations from (monoidal) powers of that functor to itself. There are many examples from geometry, topology, and algebra where this object has already been implicitly studied. We ask whether the endomorphism operad of the forgetful functor from algebras over an operad to the ground category recovers that operad. The answer is positive for operads in vector spaces over an infinite field, but negative both in vector spaces over finite fields and in sets. Several examples are computed.

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 paper defines the endomorphism operad End(F) of a functor F: C → D between monoidal categories as the operad in D whose n-ary component consists of natural transformations F^{⊗n} → F. It investigates whether, for an operad O in a ground category C, the endomorphism operad of the forgetful functor U: Alg_O(C) → C recovers O. The central positive result is that End(U) ≅ O when C = Vect_k for an infinite field k; the paper gives explicit counterexamples showing failure when k is finite or when C = Set. Several concrete examples are computed, including cases drawn from geometry, topology, and algebra.

Significance. If the main theorem holds, the work supplies a precise reconstruction of an operad from the forgetful functor on its algebras, valid precisely in the Vect_k setting with infinite k. The explicit negative results for finite fields and Set, together with the computed examples, make the scope of the reconstruction theorem clear and connect the construction to existing implicit appearances of endomorphism operads in the literature. The result is therefore a useful clarification within operad theory and enriched category theory.

minor comments (3)
  1. §2.3: the definition of the monoidal structure on the category of functors is stated without an explicit reference to the symmetric monoidal structure on C; adding a sentence recalling the relevant coherence data would improve readability for readers outside enriched category theory.
  2. Example 4.7: the computation of End(U) for the commutative operad is given only up to isomorphism; stating the explicit isomorphism of operads (rather than merely noting they are isomorphic) would make the verification easier to check.
  3. The paper cites several classical references on operads but omits a direct pointer to the treatment of endomorphism operads in the enriched setting (e.g., the relevant sections of Kelly’s “Basic Concepts of Enriched Category Theory”); adding this would help situate the new definition.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, accurate description of the main results, and recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The provided abstract and reader's summary scope the main theorem to operads in Vect_k for infinite k, with explicit negative results for finite fields and Set. No equations, self-citations, fitted parameters, or ansatzes are exhibited that reduce the claimed recovery to a definitional identity or prior self-result. The derivation is presented as a direct comparison of endomorphism operads to the original operad, with the field cardinality condition serving as an external hypothesis rather than an internal fit. This is the normal case of a self-contained mathematical statement.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No information available from the abstract regarding free parameters, axioms, or invented entities.

pith-pipeline@v0.9.0 · 5612 in / 1044 out tokens · 30818 ms · 2026-05-25T18:33:31.817284+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

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

  1. [1]

    1967 ofLecture Notes in Mathematics

    Benoit Fresse,Modules over Operads and Functors, vol. 1967 ofLecture Notes in Mathematics. Springer-Verlag Berlin Heidelberg, 2009

    work page 1967

  2. [2]

    On Ext and exact sequences

    Nobuo Yoneda, “On Ext and exact sequences”,Journal of the Faculty of Science, Imperial University of Tokyo8 (1960) 507–576

    work page 1960

  3. [3]

    Endomorphisms of functors ⊢ representations

    Gabriel C. Drummond-Cole, Joseph Hirsh, and Damien Lejay, “Endomorphisms of functors ⊢ representations”,ArXiv e-prints(Apr., 2019) ,arXiv:1904.06987 [math.CT]. Preprint

    work page arXiv 2019

  4. [4]

    338 ofAstérisque

    Greg Arone and Michael Ching,Operads and chain rules for the calculus of functors, vol. 338 ofAstérisque. Société Mathématique de France, 2011

    work page 2011

  5. [5]

    Homotopy algebras and the inverse of the normalization functor

    Birgit Richter, “Homotopy algebras and the inverse of the normalization functor”, Journal of Pure and Applied Algebra206 no. 3, (2006) 277–321

    work page 2006

  6. [6]

    29 ofCRM Monograph Series

    Marcelo Aguiar and Swapneel Mahajan,Monoidal Functors, Species and Hopf Algebras, vol. 29 ofCRM Monograph Series. American Mathematical Society, Providence, RI, 2010

    work page 2010

  7. [7]

    Vector Fields on the n-Sphere

    N. E. Steenrod and J. H. C. Whitehead, “Vector Fields on the n-Sphere”,Proceedings of the National Academy of Sciences37 no. 1, (Jan., 1951) 58–63

    work page 1951

  8. [8]

    On the Groups H(Π, n), I

    Samuel Eilenberg and Saunders Mac Lane, “On the Groups H(Π, n), I”,Annals of Mathematics 58 no. 1, (1953) 55–106

    work page 1953

  9. [9]

    On the Groups H(Π, n), II: Methods of Computation

    Samuel Eilenberg and Saunders MacLane, “On the Groups H(Π, n), II: Methods of Computation”,Annals of Mathematics60 no. 1, (July, 1954) 49–139. 20 GABRIEL C. DRUMMOND-COLE, JOSEPH HIRSH, AND DAMIEN LEJAY

    work page 1954

  10. [10]

    On the Groups H(Π, n), III: Operations and Obstructions

    Samuel Eilenberg and Saunders Mac Lane, “On the Groups H(Π, n), III: Operations and Obstructions”,Annals of Mathematics60 no. 3, (Nov., 1954) 513–557

    work page 1954

  11. [11]

    Cohomology operations, and obstructions to extending continuous functions

    Norman E Steenrod, “Cohomology operations, and obstructions to extending continuous functions”,Advances in Mathematics8 no. 3, (1972) 371–416

    work page 1972

  12. [12]

    On the Structure and Applications of the Steenrod Algebra

    J. F. Adams, “On the Structure and Applications of the Steenrod Algebra”, Commentarii Mathematici Helvetici32 (1958) 180–214

    work page 1958

  13. [13]

    Natural operations on differential forms

    Richard S. Palais, “Natural operations on differential forms”,Transactions of the American Mathematical Society92 no. 1, (Jan., 1959) 125–125

    work page 1959

  14. [14]

    Michor, and Jan Slovák,Natural Operations in Differential Geometry

    Ivan Kolář, Peter W. Michor, and Jan Slovák,Natural Operations in Differential Geometry. Springer-Verlag Berlin Heidelberg, 1993

    work page 1993

  15. [15]

    The autocorrelation of the M\"obius function and Chowla's conjecture for the rational function field in characteristic 2

    Joan Millès, “Complex manifolds as families of homotopy algebras”,ArXiv e-prints (Sept., 2014) ,arXiv:1409.3694 [math.AT]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  16. [16]

    The Cohomology Structure of an Associative Ring

    Murray Gerstenhaber, “The Cohomology Structure of an Associative Ring”,Annals of Mathematics 78 no. 2, (1963) 267–288

    work page 1963

  17. [17]

    Non-commutative differential geometry

    Alain Connes, “Non-commutative differential geometry”,Publications Mathématiques de l’Institut des Hautes Études Scientifiques62 no. 1, (Dec., 1985) 41–144

    work page 1985

  18. [18]

    Jean-Louis Loday,Operations on Hochschild and Cyclic Homology, pp. 114–154. Springer Berlin Heidelberg, Berlin, Heidelberg, 1992

    work page 1992

  19. [19]

    Higher operations on the Hochschild complex

    A. A. Voronov and M. Gerstenhaber, “Higher operations on the Hochschild complex”, Functional Analysis and Its Applications29 no. 1, (Jan., 1995) 1–5

    work page 1995

  20. [20]

    E∞-structure forQ∗(R)

    Birgit Richter, “E∞-structure forQ∗(R)”,Mathematische Annalen 316 no. 3, (2000) 547–564

    work page 2000

  21. [21]

    Cohomology operations and the Deligne conjecture

    M. Markl, “Cohomology operations and the Deligne conjecture”,Czechoslovak Mathematical Journal 57 no. 1, (Mar., 2007) 473–503

    work page 2007

  22. [22]

    Moduli space actions on the Hochschild co-chains of a Frobenius algebra. I. Cell operads

    Ralph M. Kaufmann, “Moduli space actions on the Hochschild co-chains of a Frobenius algebra. I. Cell operads”,Journal of Noncommutative Geometry1 (2007) 333–384

    work page 2007

  23. [23]

    The Batalin–Vilkovisky Algebra on Hochschild Cohomology Induced by Infinity Inner Products

    Thomas Tradler, “The Batalin–Vilkovisky Algebra on Hochschild Cohomology Induced by Infinity Inner Products”,Annales de l’Institut Fourier58 no. 7, (2008) 2351–2379

    work page 2008

  24. [24]

    Batalin–Vilkovisky algebra structures on Hochschild cohomology

    Luc Menichi, “Batalin–Vilkovisky algebra structures on Hochschild cohomology”, Bulletin de la Société Mathématique de France137 no. 2, (2009) 277–295

    work page 2009

  25. [25]

    Homotopy DG algebras induces homotopy BV algebras

    John Terilla, Thomas Tradler, and Scott O. Wilson, “Homotopy DG algebras induces homotopy BV algebras”,Journal of Homotopy and Related Structures6 no. 1, (2011) 177–182

    work page 2011

  26. [26]

    Operads of natural operations I: lattice paths, braces, and Hochschild cochains

    Michael Batanin, Clemens Berger, and Martin Markl, “Operads of natural operations I: lattice paths, braces, and Hochschild cochains”, inSéminaires et Congrès, vol. 26, pp. 1–33. Société Mathématique de France, 2013

    work page 2013

  27. [27]

    Crossed interval groups and operations on the Hochschild cohomology

    Michael Batanin and Martin Markl, “Crossed interval groups and operations on the Hochschild cohomology”,Journal of Noncommutative Geometry8 no. 3, (2014) 655–693

    work page 2014

  28. [28]

    The Hochschild cohomology ring of a Frobenius algebra with semisimple Nakayama automorphism is a Batalin–Vilkovisky algebra

    Thierry Lambre, Guodong Zhou, and Alexander Zimmermann, “The Hochschild cohomology ring of a Frobenius algebra with semisimple Nakayama automorphism is a Batalin–Vilkovisky algebra”,Journal of Algebra446 (2016) 103–131

    work page 2016

  29. [29]

    Calabi–Yau deformations and negative cyclic homology

    Louis de Thanhoffer de Völcsey and Michel Van den Bergh, “Calabi–Yau deformations and negative cyclic homology”,Journal of Noncommutative Geometry 12 (2018) 1255–1291

    work page 2018

  30. [30]

    Higher Brackets on Cyclic and Negative Cyclic (Co)Homology

    Domenico Fiorenza and Niels Kowalzig, “Higher Brackets on Cyclic and Negative Cyclic (Co)Homology”,International Mathematics Research Notices(2018)

    work page 2018

  31. [31]

    Gravity algebra structure on the negative cyclic homology of Calabi–Yau algebras

    Xiaojun Chen, Farkhod Eshmatov, and Leilei Liu, “Gravity algebra structure on the negative cyclic homology of Calabi–Yau algebras”,ArXiv e-prints(Mar., 2019) , arXiv:1903.01437 [math.RA] . ENDOMORPHISM OPERADS OF FUNCTORS 21

    work page arXiv 2019

  32. [32]

    Centers and homotopy centers in enriched monoidal categories

    Michael Batanin and Martin Markl, “Centers and homotopy centers in enriched monoidal categories”,Advances in Mathematics230 no. 4, (2012) 1811–1858

    work page 2012

  33. [33]

    Frobenius and the derived centers of algebraic theories

    William G. Dwyer and Markus Szymik, “Frobenius and the derived centers of algebraic theories”,Mathematische Zeitschrift 285 no. 3, (Apr., 2017) 1181–1203

    work page 2017

  34. [34]

    Peter May,The Geometry of Iterated Loop Spaces, vol

    J. Peter May,The Geometry of Iterated Loop Spaces, vol. 271 ofLecture Notes in Mathematics. Springer-Verlag Berlin Heidelberg, 1972

    work page 1972

  35. [35]

    E∞ algebras andp-adic homotopy theory

    Michael A. Mandell, “E∞ algebras andp-adic homotopy theory”,Topology 40 no. 1, (2001) 43–94

    work page 2001

  36. [36]

    Symmetry properties of the Dold–Kan correspondence

    Birgit Richter, “Symmetry properties of the Dold–Kan correspondence”,Mathematical Proceedings of the Cambridge Philosophical Society134 no. 1, (2003) 95–102

    work page 2003

  37. [37]

    Multivariable cochain operations and little n-cubes

    James E. McClure and Jeffrey H. Smith, “Multivariable cochain operations and little n-cubes”,Journal of the American Mathematical Society16 no. 03, (July, 2003) 681–705

    work page 2003

  38. [38]

    Cochains and homotopy type

    Michael A. Mandell, “Cochains and homotopy type”,Publications Mathématiques de l’Institut des Hautes Études Scientifiques103 no. 1, (June, 2006) 213–246

    work page 2006

  39. [39]

    An introduction to Tannaka duality and quantum groups

    André Joyal and Ross Street, “An introduction to Tannaka duality and quantum groups”, inLecture Notes in Mathematics, pp. 413–492. Springer Berlin Heidelberg, 1991

    work page 1991

  40. [40]

    357 ofAstérisque

    Daniel Schäppi,The formal theory of Tannaka duality, vol. 357 ofAstérisque. Société Mathématique de France, 2013

    work page 2013

  41. [41]

    346 ofGrundlehren der mathematischen Wissenschften

    Jean-Louis Loday and Bruno Vallette,Algebraic Operads, vol. 346 ofGrundlehren der mathematischen Wissenschften. Springer Berlin Heidelberg, Berlin, Heidelberg, 2012

    work page 2012

  42. [42]

    Foncteurs analytiques et espèces de structures

    André Joyal, “Foncteurs analytiques et espèces de structures”, inCombinatoire énumérative, pp. 126–159. Springer Berlin Heidelberg, 1986. Center for Geometry and Physics, Institute for Basic Science (IBS), Po- hang, Republic of Korea 37673 E-mail address: gabriel.c.drummond.cole@gmail.com E-mail address: josephhirsh@gmail.com Center for Geometry and Physi...

    work page 1986