Outer functors and a general operadic framework

DOI10.1016/J.JALGEBRA.2024.01.015MaRDI QIDQ6153577zbMATH OpenWikidataFDO

Authors Geoffrey Powell

Publication date 14 February 2024

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2201.13307

zbMATH Keywords

Lie algebra homologyPROPpolynomial functoranalytic functorLie operadfunctors on free groupsouter functor

Mathematics Subject Classification ID

Identities, free Lie (super)algebras (17B01) (Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) (13D03) Functor categories, comma categories (18A25) Algebraic operads, cooperads, and Koszul duality (18M70) Polycategories/dioperads, properads, PROPs, cyclic operads, modular operads (18M85)

Abstract: For $mathcalO$ an operad in $k$-vector spaces, the category $mathcal{F}_{m}athcalO$ is defined to be the category of $k$-linear functors from the PROP associated to $mathcalO$ to $k$-vector spaces. Given $muinmathcalO(2)$ that satisfies a right Leibniz condition, the full subcategory $mathcal{F}_{m}athcal{O}^{m}usubsetmathcal{F}_{m}athcalO$ is introduced here and its properties studied. This is motivated by the case of the Lie operad, where $mu$ is taken to be the generator. By previous results of the author, when $k=mathbbQ$, $mathcal{F}_{Lie}$ is equivalent to the category of analytic functors on the opposite of the category $mathbfgr$ of finitely-generated free groups. The main result shows that $mathcal{F}_{Lie}^{m}u$ identifies with the category of outer analytic functors, as introduced in earlier work of the author with Vespa. Using this identification, this theory has applications to the study of the higher Hochschild homology functors related to work of Turchin and Willwacher.

Recommendations

• Polynomial functors from algebras over a set-operad and nonlinear Mackey functors
• From the Lie operad to the Grothendieck-Teichmüller group
• Leibniz homology of Lie algebras as functor homology
• Operations on categories of modules are given by Schur functors

Cites work

• ACTIONS OF AUTOMORPHISM GROUPS OF FREE GROUPS ON SPACES OF JACOBI DIAGRAMS. II
• Actions of automorphism groups of free groups on spaces of Jacobi diagrams. I
• Algebraic operads
• Hochschild-Pirashvili homology on suspensions and representations of Out(F_n)
• Hopf algebras and invariants of the Johnson cokernel
• Lie theory of formal groups over an operad.
• Modules and Morita theorem for operads
• Modules over operads and functors
• Polynomial functors from algebras over a set-operad and nonlinear Mackey functors
• Symmetric functions and Hall polynomials. With contributions by A. V. Zelevinsky
• The Kontsevich integral for bottom tangles in handlebodies

Cited in

(1)

• Configuration spaces on a wedge of spheres and Hochschild-Pirashvili homology

This page was built for publication: Outer functors and a general operadic framework

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6153577)