Hostname: page-component-848d4c4894-4hhp2 Total loading time: 0 Render date: 2024-05-23T20:53:22.960Z Has data issue: false hasContentIssue false

Three Schur functors related to pre-Lie algebras

Published online by Cambridge University Press:  16 October 2023

VLADIMIR DOTSENKO
Affiliation:
Institut de Recherche Mathématique Avancée, UMR 7501, Université de Strasbourg et CNRS, 7 rue René-Descartes, 67000 Strasbourg CEDEX, France. e-mail: vdotsenko@unistra.fr
OISÍN FLYNN-CONNOLLY
Affiliation:
Laboratoire de Géométrie, Analyse et Applications, UMR 7539, Université Sorbonne Paris Nord et CNRS, 93430, Villetaneuse, France. e-mail: flynn-connolly@math.univ-paris13.fr

Abstract

We give explicit combinatorial descriptions of three Schur functors arising in the theory of pre-Lie algebras. The first of them leads to a functorial description of the underlying vector space of the universal enveloping pre-Lie algebra of a given Lie algebra, strengthening the Poincaré-Birkhoff-Witt (PBW) theorem of Segal. The two other Schur functors provide functorial descriptions of the underlying vector spaces of the universal multiplicative enveloping algebra and of the module of Kähler differentials of a given pre-Lie algebra. An important consequence of such descriptions is an interpretation of the cohomology of a pre-Lie algebra with coefficients in a module as a derived functor for the category of modules over the universal multiplicative enveloping algebra.

Type
Research Article
Copyright
© The Author(s), 2023. Published by Cambridge University Press on behalf of Cambridge Philosophical Society

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Balavoine, D.. Homology and cohomology with coefficients, of an algebra over a quadratic operad. J. Pure Appl. Algebra 132(3) (1998), 221258.CrossRefGoogle Scholar
Bergeron, F., Labelle, G. and Leroux, P.. Combinatorial species and tree-like structures. Encyclopedia Math. Appl. 67. (Cambridge University Press, Cambridge, 1998). Translated from the 1994 French original by M. Readdy, with a foreword by G.–C. Rota.CrossRefGoogle Scholar
Bolgar, J. R.. Uniqueness theorems for left-symmetric enveloping algebras. Math. Proc. Camb. Phil. Soc. 120(2) (1996), 193206, 1996.CrossRefGoogle Scholar
Castelo, R. and Wormald, N.. Enumeration of $P_4$ -free chordal graphs. Graphs Combin. 19(4) (2003), 467474.CrossRefGoogle Scholar
Cayley, A.. On the theory of the analytical forms called trees. Philosophical Magazine 13 (1857), 172176.Google Scholar
Chapoton, F.. Un endofoncteur de la catégorie des opérades. In Dialgebras and Related Operads. Lecture Notes in Math. 1763 (Springer, Berlin, 2001), pp. 105110.Google Scholar
Chapoton, F. and Livernet, M.. Pre-Lie algebras and the rooted trees operad. Internat. Math. Res. Notices (8) (2001), 395408.CrossRefGoogle Scholar
Dotsenko, V.. Freeness theorems for operads via Gröbner bases. In OPERADS 2009. Sémin. Congr. 26 (Soc. Math. France, Paris, 2013), pp. 6176.Google Scholar
Dotsenko, V.. Algebraic structures of F-manifolds via pre-Lie algebras. Ann. Mat. Pura Appl. (4), 198(2) (2019), 517527.CrossRefGoogle Scholar
Dotsenko, V. and Foissy, L.. Enriched pre-Lie operads and freeness theorems. J. Comb. Algebra 6(1) (2022), 2344.CrossRefGoogle Scholar
Dotsenko, V. and Khoroshkin, A.. Quillen homology for operads via Gröbner bases. Doc. Math. 18 (2013), 707747.CrossRefGoogle Scholar
Dotsenko, V. and Tamaroff, P.. Endofunctors and Poincaré–Birkhoff–Witt theorems. Internat. Math. Res. Notices, (16) (2021), 1267012690.CrossRefGoogle Scholar
Dotsenko, V. and Umirbaev, U.. An effective criterion for Nielsen–Schreier varieties. Internat. Math. Res. Notices (2023), article rnad092, 48 pp.Google Scholar
Dubuc, E.. Adjoint triangles. In Reports of the Midwest Category Seminar, II. (Springer, Berlin, 1968), pp. 6991.CrossRefGoogle Scholar
Dzhumadil’daev, A.. Cohomologies and deformations of right-symmetric algebras. J. Math. Sci. (New York) 93(6) (1999), 836876.CrossRefGoogle Scholar
Fox, T. F. and Markl, M.. Distributive laws, bialgebras, and cohomology. In Operads: Proceedings of Renaissance Conferences (Hartford, CT/Luminy, 1995). Contemp. Math. 202 (Amer. Math. Soc., Providence, RI, 1997), pp. 167205.CrossRefGoogle Scholar
Fresse, B.. Modules over operads and functors. Lecture Notes in Math. 1967 (Springer-Verlag, Berlin, 2009).CrossRefGoogle Scholar
Griffin, J.. Operadic comodules and (co)homology theories. arXiv e-prints, Mar 2014.Google Scholar
Hertling, C. and Manin, Y.. Weak Frobenius manifolds. Internat. Math. Res. Notices (6) (1999), 277286.CrossRefGoogle Scholar
Joyal, A.. Une théorie combinatoire des séries formelles. Adv. Math. 42(1) (1981), 182.CrossRefGoogle Scholar
Khoroshkin, A.. PBW property for associative universal enveloping algebras over an operad. Internat. Math. Res. Notices (4), (4) (2022), 31063143.CrossRefGoogle Scholar
Khoroshkin, A. and Tamaroff, P.. Derived Poincaré–Birkhoff–Witt theorems. Lett. Math. Phys. 113(1) (2023), Paper No. 15, 20. With appendix by V. Dotsenko.CrossRefGoogle Scholar
Kimura, T. and Voronov, A. A.. The cohomology of algebras over moduli spaces. In The moduli space of curves (Texel Island, 1994), Progr. Math. 129 (Birkhäuser Boston, Boston, MA, 1995), pp. 305–334.CrossRefGoogle Scholar
Kh, D.. Kozybaev and U. U. Umirbaev. The Magnus embedding for right-symmetric algebras. Sibirsk. Mat. Zh. 45(3) (2004), 592599.Google Scholar
Linton, F. E. J.. Coequalizers in categories of algebras. In Sem. on Triples and Categorical Homology Theory (ETH, Zürich, 1966/67), (Springer, Berlin, 1969), pp. 7590.CrossRefGoogle Scholar
Livernet, M.. A rigidity theorem for pre-Lie algebras. J. Pure Appl. Algebra 207(1) (2006), 118.CrossRefGoogle Scholar
Loday, J.-L.. Generalised bialgebras and triples of operads. Astérisque 320 (2008), x+116.Google Scholar
Loday, J.-L. and Vallette, B.. Algebraic operads. Grundlehren Math. Wiss. 346. (Springer, Heidelberg, 2012).CrossRefGoogle Scholar
Markl, M.. Lie elements in pre-Lie algebras, trees and cohomology operations. J. Lie Theory 17(2) (2007), 241261.Google Scholar
Mikhalev, A. A. and Shestakov, I. P.. PBW-pairs of varieties of linear algebras. Comm. Algebra 42(2) (2014), 667687, 2014.CrossRefGoogle Scholar
Millès, J.. André–Quillen cohomology of algebras over an operad. Adv. Math. 226(6) (2011), 51205164.CrossRefGoogle Scholar
Milnor, J. W. and Moore, J. C.. On the structure of Hopf algebras. Ann. of Math. (2) 81 (1965), 211264.Google Scholar
Rezk, C. W.. Spaces of algebra structures and cohomology of operads. PhD. thesis. Massachusetts Institute of Technology (1996). https://dspace.mit.edu/bitstream/handle/1721.1/41793/36023226-MIT.pdf.Google Scholar
Segal, D.. Free left-symmetric algebras and an analogue of the Poincaré-Birkhoff–Witt theorem. J. Algebra 164(3) (1994), 750772.CrossRefGoogle Scholar
Sloane, N. J. A., editor. The On-Line Encyclopedia of Integer Sequences. Published electronically at http://oeis.org/.Google Scholar
Vinberg, È. B.. The theory of homogeneous convex cones. Trudy Moskov. Mat. Obšc̆. 12 (1963), 303358.Google Scholar
Willwacher, T.. M. Kontsevich’s graph complex and the Grothendieck–Teichmüller Lie algebra. Invent. Math. 200(3) (2015), 671760.CrossRefGoogle Scholar