Outer functors and a general operadic framework

DOI10.1016/J.JALGEBRA.2024.01.015arXiv2201.13307WikidataQ129390086 ScholiaQ129390086MaRDI QIDQ6153577FDOQ6153577

Authors: Geoffrey Powell 

Publication date: 14 February 2024

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

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.

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

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

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)

Cites Work

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

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)