Abstract:For every stable presentably symmetric monoidal $\infty$-category $\mathcal{C}$ we use the Koszul duality between the spectral Lie operad and the cocommutative cooperad to construct an enveloping Hopf algebra functor $\mathcal{U}: \mathrm{Alg}_{\mathrm{Lie}}(\mathcal{C}) \to \mathrm{Hopf}(\mathcal{C})$ from spectral Lie algebras in $\mathcal{C}$ to cocommutative Hopf algebras in $\mathcal{C}$ left adjoint to a functor of derived primitive elements. We prove that if $\mathcal{C}$ is a rational stable presentably symmetric monoidal $\infty$-category, the enveloping Hopf algebra functor is fully faithful. We conclude that Lie algebras in $\mathcal{C}$ are algebras over the monad underlying the adjunction $T \simeq \mathcal{U} \circ \mathrm{Lie}: \mathcal{C} \rightleftarrows \mathrm{Alg}_{\mathrm{Lie}}(\mathcal{C}) \to \mathrm{Hopf}(\mathcal{C}), $ where $\mathrm{Lie}$ is the free Lie algebra and $\mathrm{T}$ is the tensor algebra. For general $\mathcal{C}$ we introduce the notion of restricted $L_\infty$-algebra as an algebra over the latter adjunction. For any field $K$ we construct a forgetful functor from restricted Lie algebras in connective $H(K)$-modules to the $\infty$-category underlying a right induced model structure on simplicial restricted Lie algebras over $K $.

Isomorphism invariants of restricted enveloping algebras

Non-Matrix Polynomial identity enveloping algebras

Isomorphisms between lattices of hyperinvariant subspaces

Restricted $L_\infty$-algebras and a derived Milnor-Moore theorem

On the Cohomology of Restricted Heisenberg Lie Algebras

On the pre-commutative envelopes of commutative algebras

Fitting Ideals of Projective Limits of Modules over Non-Noetherian Iwasawa Algebras

Inverse Limits in Representations of a Restricted Lie Algebra

Two problems in the representation theory of reduced enveloping algebras

Lie, associative and commutative quasi-isomorphism

Enveloping algebras of derivations of commutative and noncommutative algebras

Finite quotients, arithmetic invariants, and hyperbolic volume

Central extensions of restricted Lie superalgebras and classification of $p$-nilpotent Lie superalgebras in dimension $4$

Model-theoretic properties of nilpotent groups and Lie algebras

Isotopisms of nilpotent Leibniz algebras and Lie racks

Associative and Jordan Lie Nilpotent Algebras

Injective Hulls of Simple Modules Over Nilpotent Lie Color Algebras

On converse of the Schur's theorem for nilpotent Lie superalgebras

Homological Identities for Noncommutative Rings

The geometry of uniserial representations of finite dimensional algebras I

Generalized H-Lie structure of associative algebras in a category