Related papers: Classification of 2-term $L_\infty$-algebras

We classify the holonomy algebras of manifolds admitting an indecomposable torsion free $G_2^*$-structure, i.e. for which the holonomy representation does not leave invariant any proper non-degenerate subspace. We realize some of these Lie…

Let $k$ be a field of characteristic not two or three. We classify up to isomorphism all finite-dimensional Lie superalgebras $\mathfrak{g}=\mathfrak{g}_0\oplus \mathfrak{g}_1$ over $k$, where $\mathfrak{g}_0$ is a three-dimensional simple…

We consider homotopy actions of a Lie algebroid on a graded manifold, defined as suitable $L_{\infty}$-algebra morphisms. On the "semi-direct product" we construct a homological vector field that projects to the Lie algebroid. Our main…

We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…

In this paper, we give the categorification of Leibniz algebras, which is equivalent to 2-term sh Leibniz algebras. They reveal the algebraic structure of omni-Lie 2-algebras introduced in \cite{omniLie2} as well as twisted Courant…

Algebra objects in $\infty$-categories of spans admit a description in terms of $2$-Segal objects. We introduce a notion of span between $2$-Segal objects and extend this correspondence to an equivalence of $\infty$-categories.…

An A-infinity algebra is a generalization of a associative algebra, and an L-infinity algebra is a generalization of a Lie algebra. In this paper, we show that an L-infinity algebra with an invariant inner product determines a cycle in the…

A classical result of Loday-Quillen and Tsygan states that the Lie algebra homology of the algebra of stable matrices over an associative algebra is isomorphic, as a Hopf algebra, to the exterior algebra of the cyclic homology of the…

In this paper we describe all, up to isomorphism, left unital, right unital and unital algebra structures on two-dimensional vector space over any algebraically closed field and $\mathbb{R}$. We tabulate the algebras with the units.

We consider versal deformations of 0|3-dimensional L-infinity algebras, which correspond precisely to ordinary (non-graded) three dimensional Lie algebras. The classification of such algebras over C is well known, although we shall give a…

We prove explit formulas for the decomposition of a differential graded Lie algebra into a minimal and a linear $L_\infty$-algebra. We define a category of metric $L_\infty$-algebras, called Palamodov $L_\infty$ algebras, where the…

The main purpose of this paper is to provide a full cohomology of a Hom-pre-Lie algebra with coefficients in a given representation. This new type of cohomology exploit strongly the Hom-type structure and fits perfectly with simultaneous…

Isoclinism of Lie superalgebras has been defined and studied currently. In this article it is shown that for finite dimensional Lie superalgebras of same dimension, the notation of isoclinism and isomorphism are equivalent. Furthermore we…

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…

We classify group gradings on the simple Lie algebras of types $G_2$ and $D_4$ over the field of real numbers (or any real closed field): fine gradings up to equivalence and $G$-gradings, with a fixed group $G$, up to isomorphism.

The ideals of the Lie algebras of unitriangular polynomial derivations are classified. An isomorphism criterion is given for the Lie factor algebras of the Lie algebras of unitriangular polynomial derivations.

We prove a series of van Est type theorems relating the cohomologies of strict Lie 2-groups and strict Lie 2-algebras and use them to prove the integrability of Lie 2-algebras anew.

We describe the isomorphism classes of certain infinite-dimensional graded Lie algebras of maximal class, generated by an element of weight one and an element of weight two, over fields of odd characteristic.

In the rational cohomology of a 1-connected space a structure of $C_{\infty}$-algebra is constructed and it is shown that this object determines the rational homotopy type

In previous works by the authors, a bifunctor was associated to any operadic twisting morphism, taking a coalgebra over a cooperad and an algebra over an operad, and giving back the space of (graded) linear maps between them endowed with a…