Related papers: An operad is never free as a pre-Lie algebra
A double algebra is a linear space $V$ equipped with linear map $V\otimes V\to V\otimes V$. Additional conditions on this map lead to the notions of Lie and associative double algebras. We prove that simple finite-dimensional Lie double…
This paper defines the algebraic structure of tracial post-Lie-Rinehart algebras and describes the free object in this category. Post-Lie-Rinehart algebras is a generalisation of pre-Lie-Rinehart algebras, and of post-Lie algebroids.
Derived $A_\infty$-algebras have a wealth of theoretical advantages over regular $A_\infty$-algebras. However, due to their bigraded nature, in practice they are often unwieldy to work with. We develop a framework involving brace algebras…
We show that an arbitrary algebra ${ A}$, (of arbitrary dimension, over an arbitrary base field and any identity is not suppose for the product), is semisimple if and only if it has zero annihilator and admits a semi-division linear basis.…
3-Lie algebras are constructed by Lie algebras, derivations and linear functions, associative commutative algebras, whose involutions and derivations. Then the 3-Lie algebras are obtained from group algebras $F[G]$. An infinite dimensional…
An equivalent condition for an element of a Lie algebra acting nilpotently in all its representations is obtained. Namely, it should belong to the derived algebra and go via factoring over the radical to a nilpotent element of the…
We introduce a general definition of a $n$-crossed module of $P$-algebras over an algebraic operad $P$, which coincides with historical definitions in the cases of the operads As and Lie and $n = 1$. We establish a natural isomorphism…
Vertex operator algebras are mathematically rigorous objects corresponding to chiral algebras in conformal field theory. Operads are mathematical devices to describe operations, that is, $n$-ary operations for all $n$ greater than or equal…
The purpose of this paper is to develop a deformation theory controlled by pre-Lie algebras with divided powers over a ring of positive characteristic. We show that every differential graded pre-Lie algebra with divided powers comes with…
The derivatives of the identity functor on spaces in Goodwillie calculus forms an operad in spectra. Antolin-Camarena computed the mod 2 homology of free algebras over this operad for 1-connected spectra. In this present paper we carry out…
Operads were originally defined by May to have right actions of the symmetric groups, but later formulations have also used no groups actions at all or group actions by such families as the braid groups. We call such families action…
We call a linear operator on a vector space over a field Jordanable if it has a Jordan canonical form. An almost Abelian Lie algebra has only one non-vanishing Lie bracket, which is given by a linear operator. If the latter is Jordanable…
We introduce the notion of a Lie-like algebra$^{\diamond}$ (superalgebra$^{\diamond}$) for $\diamond\in\{^{1-st}, ^{2-nd}, ^{3-rd} \}$.
The purpose of this memoir is to study pre-Lie algebras up to homotopy with divided powers, and to use this algebraic structure for the study of mapping spaces in the category of operads. We define a new notion of algebra called…
We introduce the notion of a non--linear Lie conformal superalgebra and prove a PBW theorem for its universal enveloping vertex algebra. We also show that conversely any graded freely generated vertex algebra is the universal enveloping…
We investigate operads for various n-ary algebras. As a useful tool we introduce galgalim - analogs of the Lie-hedra for n-ary algebras. We then focus to algebras with one anti-associative operation. We describe the relevant part of the…
Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…
All operator algebras have (not necessarily irreducible) boundary representations. A unital operator algebra has enough such boundary representations to generate its C*-envelope.
In this note we prove that every non characteristically filiform Lie algebra is endowed with an affine structure.
We review definitions and basic properties of operads, PROPs and algebras over these structures.