Abstract
We classify all 2-term \(L_\infty \)-algebras up to isomorphism. We show that such \(L_\infty \)-algebras are classified by a Lie algebra, a vector space, a representation (all up to isomorphism) and a cohomology class of the corresponding Lie algebra cohomology.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
\(L_\infty \)-algebras are generalizations of Lie algebras. They are chain complexes of vector spaces on which there is a graded anti-symmetric bracket which satisfies Jacobi-like identities. They were introduced in the early 1990s and their applications have become numerous over the last thirty years [14]. In theoretical physics, \(L_\infty \)-algebras are often an appropriate underlying structure to encode the gauge parameters and the field equations of a field theory [5]. Particular examples of such field theories include closed bosonic string theories, higher Chern-Simons theories and local prequantum field theories [2, 11, 16].
In classical string theory, another similar structure can also be considered: a Lie 2-algebra. This structure categorifies that of a Lie algebra [1]. This generalization of a Lie algebra is a natural consequence of replacing point particles in classical mechanics by strings. Whereas point particles can be represented canonically by an object in a category, it is natural to represent strings by a morphism in another suitable 2-category [2]. As both an \(L_\infty \)-algebra and a Lie 2-algebra describe classical string theory, it is natural to assume that there is a connection between them. This connection was proven by Baez and Crans in 2004. They showed in [1] that the categories of semistrict Lie 2-algebras and of 2-term \(L_\infty \)-algebras are equivalent. Moreover, they also proved some primary results into the classification of Lie 2-algebras. One of those results is [1, Theorem 57], in which they state that there is a one-to-one correspondence between equivalence classes of Lie 2-algebras and isomorphism classes of triples consisting of a Lie algebra \(\mathfrak {g}\), a representation \((\rho ,V)\) of \(\mathfrak {g}\), and a 3-cocycle in the Lie algebra cohomology on \(\mathfrak {g}\) with values in V.
They do not use this result to classify all semistrict Lie 2-algebras up to isomorphism, however. More recent research has been more focused on string Lie 2-algebras and on applying this structure to string theory than on further classification [8, 10, 13]. Consequently, further classification of semistrict Lie 2-algebras has not been done yet.
The previous result does however indicate what classification up to isomorphism might look like. As an equivalence of semistrict Lie 2-algebras implies that the two considered structures are isomorphic on homology, the vector spaces that are modded out by taking homology cannot be retrieved from the previously mentioned isomorphism classes of triples. A natural suggestion would thus be to include those in the classification data. By the first isomorphism theorem, those vector spaces must be isomorphic. This would thus require us to extend the isomorphism classes of triples to those of quadruples.
In this paper, we show that this suffices to classify all 2-term \(L_\infty \)-algebras up to isomorphism. As it was proven in [1] that the categories of 2-term \(L_\infty \)-algebras and semistrict Lie 2-algebras are equivalent, our classification of 2-term \(L_\infty \)-algebras will also classify all semistrict Lie 2-algebras. We choose to prove our statements in terms of 2-term \(L_\infty \)-algebras, as they allow for simpler and more explicit calculations. We show that the isomorphism classes of all 2-term \(L_\infty \)-algebras are given by isomorphic quadruples of a Lie algebra, a vector space, a representation, and a cohomology class of the given Lie algebra cohomology.
In Sect. 2, we will recall the category of 2-term \(L_\infty \)-algebras and highlight the involved equations, as well as giving some examples of objects and morphisms. In Sect. 3, we will prove our classification statements in three steps. Firstly, we will introduce elementary concepts from Lie algebra cohomology and then we give a type of example of 2-term \(L_\infty \)-algebras. Secondly, we show that every 2-term \(L_\infty \)-algebra is isomorphic to a 2-term \(L_\infty \)-algebra of the type considered in the example and, thirdly, that those examples are unique up to isomorphic quadruples of a Lie algebra \(\mathfrak {g}\), a vector space U, a representation \((\rho ,V)\), and an element in the Lie algebra cohomology \(H^3(\mathfrak {g},\rho ,V)\). We will also show how this result relates to [1, Theorem 57]. We conclude by discussing some possible paths for future classification.
2 The category of 2-term \(L_\infty \)-algebras
A 2-term \(L_\infty \)-algebra is an \(L_\infty \)-algebra concentrated in degree one and zero. We recall the notions of a 2-term \(L_\infty \)-algebra and a morphism between two of them, and we will give examples for both. We choose our conventions so that our definitions of coincide with (suitable restrictions of those in) [6, 7]. If not explicitly mentioned, we assume all maps between vector spaces are linear.
Definition 2.1
A 2-term \(L_\infty \)-algebra is a graded vector space \(L=L_0\oplus L_1\) with
-
1.
a differential \(d:L_1 \rightarrow L_0\);
-
2.
a bracket \([\cdot ,\cdot ]:L\wedge L \rightarrow L\) of degree 0 such that
$$\begin{aligned} d([x,v]) = [x,d(v)] \end{aligned}$$(1)and
$$\begin{aligned} {[}d(u),v] = [u,d(v)] \end{aligned}$$(2)for \(x\in L_0\) and \(u,v\in L_1\);
-
3.
a Jacobiator \(J:L_0\wedge L_0\wedge L_0\rightarrow L_1 \) such that
$$\begin{aligned} d(J_{x,y,z}) = [x,[y,z]]- [[x,y],z]-[y,[x,z]] \end{aligned}$$(3)and
$$\begin{aligned} J_{d(v),y,z} = [v,[y,z]]- [[v,y],z]-[y,[v,z]] \end{aligned}$$(4)for \(x,y,z\in L_0\) and for \(v\in L_1\) (note that we write \(J_{x,y,z}:=J(x\wedge y\wedge z)\)),
such that the following equation holds:
for \(x_1,x_2,x_3,x_4 \in L_0\), where
for \(m,n\in \mathbb {N}\).
It is worthwhile to note that the bracket and the Jacobiator can also be seen as a chain map and a chain homotopy on their respective chain complexes. The interested reader can find more about this in [12]. Furthermore, we note for the reader familiar with [6, 7] that the sign involved in Eq. (5) is the ordinary permutation sign, in contrast to the Koszul sign used in [6, 7]. This is due to the fact that the other signs that are absorbed into the Koszul sign are identically one in the 2-term \(L_\infty \)-algebra case. Normally, these additional signs would appear as a consequence of permuting multiple odd degree elements, but, by degree considerations, such terms are already zero.
Example 2.2
A simple example of a 2-term \(L_\infty \)-algebra can be given as follows. Let \(\mathbb {H}\) be the algebra of quaternions, and for \(z\in \mathbb {H}\), let \(Re (z)\) and \(Im (z)\) denote the real and imaginary part of z respectively, that is, \(Re (1)=1\), \(Im (\textbf{i})=\textbf{i}\), \(Im (\textbf{j})=\textbf{j}\), \(Im (\textbf{k})=\textbf{k}\) and \(Im (1)=Re (\textbf{i})=Re (\textbf{j})=Re (\textbf{k})=0\). Then for \(v\in \mathbb {H}\), the graded vector space \(\mathbb {H}\oplus \mathbb {H}\) is a 2-term \(L_\infty \)-algebra, with
-
1.
a differential \( d=Re :\mathbb {H} \rightarrow \mathbb {H};\)
-
2.
a bracket \([\cdot ,\cdot ]:\mathbb {H} \oplus \mathbb {H} \wedge \mathbb {H} \oplus \mathbb {H} \rightarrow \mathbb {H} \oplus \mathbb {H}\) given by
$$\begin{aligned} {[}a\oplus b,c\oplus d] = Im (Im (a)Im (c))\oplus Im (Im (a)Im (d)+Im (b)Im (c)); \end{aligned}$$ -
3.
a Jacobiator \(J:\Lambda ^3 \mathbb {H} \rightarrow \mathbb {H}\) determined by
$$\begin{aligned} \begin{array}{c c c c} J(1,\textbf{i},\textbf{j})=0;&J(1,\textbf{i},\textbf{k}) =0;&J(1,\textbf{j},\textbf{k})=0;&J(\textbf{i},\textbf{j},\textbf{k})=Im (v). \end{array} \end{aligned}$$
The next two examples come from [1, 3] respectively.
Example 2.3
Let \(\mathfrak {g}\) be a Lie algebra with Lie bracket \([\cdot ,\cdot ]_{\mathfrak {g}}\), and let \(k\in \mathbb {R}\). The skeletal string 2-term \(L_\infty \)-algebra consists of a graded vector space \(\mathfrak {g}_k:=\mathfrak {g}\oplus \mathbb {R}\) with
-
1.
a differential \(d=0:\mathbb {R}\rightarrow \mathfrak {g}\);
-
2.
a bracket \([\cdot ,\cdot ]:\mathfrak {g}_k \wedge \mathfrak {g}_k \rightarrow \mathfrak {g}_k\) given by
$$\begin{aligned} {[}x,y] = [x,y]_{\mathfrak {g}} \end{aligned}$$and
$$\begin{aligned} {[}x,v]=0 \end{aligned}$$for \(x,y\in \mathfrak {g}\) and \(v\in \mathbb {R}\);
-
3.
a Jacobiator \(J:\Lambda ^3 \mathfrak {g}_k \rightarrow \mathbb {R}\) given by
$$\begin{aligned} J(x,y,z) = \langle x,[y,z] \rangle , \end{aligned}$$where \(\langle \cdot ,\cdot \rangle \) is the Killing form on \(\mathfrak {g}\).
Example 2.4
Let \(\mathfrak {g}\) be a Lie algebra with Lie bracket \([\cdot ,\cdot ]_{\mathfrak {g}}\), and let \(k\in \mathbb {R}\). Furthermore, define the (real) vector spaces
and the quotient map \(q:[0,2\pi ] \rightarrow \mathbb {R}/2\pi \mathbb {Z}\). Moreover, note that \(\mathcal {P}_0\mathfrak {g}\) is a Lie algebra with the Lie bracket given by
The strict string 2-term \(L_\infty \)-algebra consists of a graded vector space \(\mathcal {P}_k\mathfrak {g}:=\mathcal {P}_0\mathfrak {g}\oplus (\Omega \mathfrak {g} \oplus \mathbb {R})\) with
-
1.
a differential
$$\begin{aligned} \begin{aligned} d:\Omega \mathfrak {g} \oplus \mathbb {R}&\rightarrow \mathcal {P}_0\mathfrak {g}\\ f \oplus k&\mapsto q^*(f) \end{aligned} \end{aligned}$$ -
2.
a bracket \([\cdot ,\cdot ]:\mathcal {P}_k\mathfrak {g} \wedge \mathcal {P}_k\mathfrak {g} \rightarrow \mathcal {P}_k\mathfrak {g}\) given by
$$\begin{aligned} {[}f,g] = [f,g]_{\mathcal {P}_0\mathfrak {g}} \end{aligned}$$and
$$\begin{aligned} {[}f,h\oplus l]=[f,q^*(h)]_{ \mathcal {P}_0\mathfrak {g}} \oplus 2k\int _0^{2\pi } \langle f(\theta ),h'(\theta )\rangle d\theta \end{aligned}$$for \(f,g\in \mathcal {P}_0\mathfrak {g}\) and \(h\oplus l\in \Omega \mathfrak {g} \oplus \mathbb {R}\), where \(\langle \cdot ,\cdot \rangle \) is the Killing form on \(\mathfrak {g}\);
-
3.
a Jacobiator \(J=0:\Lambda ^3 \mathcal {P}_0\mathfrak {g} \rightarrow \Omega \mathfrak {g} \oplus \mathbb {R}\).
It is proven in [3] that \(\mathfrak {g}_k\) and \(\mathcal {P}_k\mathfrak {g}\) are equivalent as 2-term \(L_\infty \)-algebras. It is not hard to show that both 2-term \(L_\infty \)-algebras are not isomorphic, but, for expository purposes, we postpone this to the end of the paper.
Definition 2.5
Let \((L,d,[\cdot ,\cdot ],J)\) and \((L',d',[\cdot ,\cdot ]',J')\) be two 2-term \(L_\infty \)-algebras. A 2-term \(L_\infty \)-algebra morphism from L to \(L'\) is a pair \((\phi ,\Phi )\), with
-
a map \(\phi :L \rightarrow L '\) of degree 0 such that
$$\begin{aligned} \phi (d(v)) = d'(\phi (v)) \end{aligned}$$(6)for \(v\in L_1\);
-
a map \(\Phi :L_0\wedge L_0 \rightarrow L_1'\) such that
$$\begin{aligned} d'(\Phi (x\wedge y)) = \phi ([x,y])-[\phi (x),\phi (y)]' \end{aligned}$$(7)and
$$\begin{aligned} \Phi (d(v)\wedge y) = \phi ([v,y]) - [\phi (v),\phi (y)]' \end{aligned}$$(8)for \(x,y\in L_0\) and \(v\in L_1\),
such that the following equation holds:
for \(x_1,x_2,x_3 \in L_0\), where \(\Phi _{x_1,x_2}:= \Phi (x_1 \wedge x_2)\).
Again, the maps \(\phi \) and \(\Phi \) are a chain map and chain homotopy on their respective chain complexes. More information on this can be found in [11]. Similarly as in Eq. (5), the Koszul sign the authors of [6, 7] used in the general version of Eq. (9) reduces to a permutation sign due to the lack of non-trivial elements of degree higher than one.
As a morphism between 2-term \(L_\infty \)-algebras consists of two different maps, it might not be evident how to compose them. We will thus give the description of composition of said morphisms in the following definition.
Definition 2.6
Let \((L,d,[\cdot ,\cdot ],J)\), \((L',d',[\cdot ,\cdot ]',J')\) and \((L'',d'',[\cdot ,\cdot ]'',J'')\) be three 2-term \(L_\infty \)-algebras, and let
and
be two 2-term \(L_\infty \)-algebra morphisms. The composition of \((\phi ,\Phi )\) and \((\phi ',\Phi ')\) is \((\phi '\circ \phi , \Psi _{ \Phi ',\Phi })\), where \(\Psi _{\Phi ',\Phi }\) is the map
It is clear from this definition that the identity morphism is given by \((id ,0)\). It is shown in [8] that a morphism of 2-term \(L_\infty \)-algebras \((\phi ,\Phi )\) is an isomorphism of 2-term \(L_\infty \)-algebras if \(\phi \) is a linear isomorphism, as the inverse morphism is given by \((\phi ^{-1},\Phi ')\), where \(\Phi ':L_0'\wedge L_0'\rightarrow L_1\) is given by \(\Phi '(x,y)= -\phi ^{-1}\Phi (\phi ^{-1}(x),\phi ^{-1}(y))\).
Example 2.7
Consider the 2-term \(L_\infty \)-algebra \(\mathbb {H}\oplus \mathbb {H}\) from Example 2.2. Then the two maps
-
1.
\(\phi :\mathbb {H}\oplus \mathbb {H} \rightarrow \mathbb {H}\oplus \mathbb {H}\) determined by
$$\begin{aligned} \begin{array}{ c c c c } \phi (1\oplus 0)=1\oplus 0; & \phi (\textbf{i}\oplus 0)=\textbf{j}\oplus 0; & \phi (\textbf{j}\oplus 0)=\textbf{k}\oplus 0; & \phi (\textbf{k}\oplus 0)=\textbf{i}\oplus 0;\\ \phi (0\oplus 1)=0\oplus 1 & \phi (0\oplus \textbf{i})=0\oplus \textbf{j}; & \phi (0\oplus \textbf{j})=0\oplus \textbf{k}; & \phi (0\oplus \textbf{k})=0\oplus \textbf{i}, \end{array} \hbox {and} \end{aligned}$$ -
2.
\(\Phi :\Lambda ^2 \mathbb {H} \rightarrow \mathbb {H}\) determined by
$$\begin{aligned} \begin{array}{c c c} \Phi (1\wedge \textbf{i})=0; & \Phi (1\wedge \textbf{k})=0; & \Phi (\textbf{j}\wedge \textbf{k})=Re (v(\textbf{j}-\textbf{k}))\textbf{i};\\ \Phi (1\wedge \textbf{j})=0; & \Phi (\textbf{i}\wedge \textbf{j})=Re (v(\textbf{i}-\textbf{j}))\textbf{k}; & \Phi (\textbf{k}\wedge \textbf{i})=Re (v(\textbf{k}-\textbf{i}))\textbf{j} \end{array} \end{aligned}$$form an automorphism of 2-term \(L_\infty \)-algebras on \(\mathbb {H}\oplus \mathbb {H}\).
3 Classification
In this section, we will give the full classification procedure of 2-term \(L_\infty \)-algebras. For the sake of clarity, this section is split into two subsections.
3.1 The fundamental example
In this subsection, we will define some important aspects of Lie algebra cohomology as in [1] and we give an example of a 2-term \(L_\infty \)-algebra using this cohomology. This type of example will be quintessential in the two proofs in the next subsection.
Let \(\mathfrak {g}\) be a Lie algebra with Lie bracket \([\cdot ,\cdot ]_\mathfrak {g}\), and let \((\rho ,V)\) be a Lie algebra representation of \(\mathfrak {g}\). We then define the cochain complex \(C(\mathfrak {g},\rho ,V)\) by setting \(C_n(\mathfrak {g},\rho ,V)\) to be the vector space of linear maps \(f:\Lambda ^n \mathfrak {g} \rightarrow V\) and by setting the differential \(\delta \) to be
for \(f\in C_n(\mathfrak {g},\rho ,V)\). It has been already proven in [4] that \(\delta ^2=0\). We call the cohomology of this complex \(H(\mathfrak {g},\rho ,V)\).
Definition 3.1
An n-cocycle is an element \(f\in C_n(\mathfrak {g},\rho ,V)\) such that \(\delta f =0\).
Definition 3.2
Let \(\mathfrak {g}\) and \(\mathfrak {h}\) be two Lie algebras and let \((\rho ,V)\) and \((\sigma ,W)\) be a Lie algebra representation of \(\mathfrak {g}\) and of \(\mathfrak {h}\) respectively. We say that \(J\in C_n(\mathfrak {g},\rho ,V)\) and \(K\in C_n(\mathfrak {h},\sigma ,W)\) are cohomologous if there exists a Lie algebra morphism \(\psi :\mathfrak {g}\rightarrow \mathfrak {h}\) and an intertwiner \(t:V \rightarrow W\) and a linear map \(\Phi :\Lambda ^{n-1} \mathfrak {g} \rightarrow W\) such that
for all \(x_1,\dots ,x_n\in \mathfrak {g}\), where \(\delta \) in Eq. (11) belongs to the cochain complex \(C(\mathfrak {g},\sigma \circ \psi ,W)\).
Note that stating that J and K are cohomologous is equivalent to the stating that \(t\circ J\) and \(\psi ^*K\) are representatives of the same cohomology class in \(H(\mathfrak {g},\sigma \circ \psi ,W)\).
Using those definitions from Lie algebra cohomology, we give a type of example of 2-term \(L_\infty \)-algebra, which will play a crucial role in the further classification. In the following lemma and the remainder of the article, we will use the following notation for the sake of clarity. If U and V are vector spaces, and \(x\in U \oplus V\), we denote the projection of x on U by \(x ^{U}\).
Lemma 3.3
Let \(\mathfrak {g}\) be a Lie algebra with Lie bracket \([\cdot ,\cdot ]_\mathfrak {g}\), let U be a vector space, let \((\rho ,V)\) be a Lie algebra representation of \(\mathfrak {g}\), and let \(\tilde{J}\) be a 3-cocycle of \((\rho ,V)\) on \(\mathfrak {g}\). We then define the graded vector space \(L=L^{\mathfrak {g},U,\rho ,\tilde{J}}\) by setting \(L_0:= \mathfrak {g}\oplus U\) and \(L_1:= V\oplus U\). We furthermore define the linear maps
-
1.
\(d:L_1 \rightarrow L_0\) given by \(d(v) =v ^{U}\);
-
2.
\([\cdot ,\cdot ]:L\wedge L\rightarrow L\) given by \([x,y] = [x ^{\mathfrak {g}},y ^{\mathfrak {g}}] _{\mathfrak {g}}\), by \([x,v] = -[v,x] = \rho (x ^{\mathfrak {g}})v ^{V}\) and by \([u,v]=0\);
-
3.
\(J:L_0\wedge L_0\wedge L_0 \rightarrow L_1\) by \(J_{x,y,z}:= \tilde{J}_{x ^{\mathfrak {g}},y ^{\mathfrak {g}},z ^{\mathfrak {g}}}\)
for \(x,y,z \in L_0\) and \(u,v \in L_1\). Then \((L,d,[\cdot ,\cdot ],J)\) is a 2-term \(L_\infty \)-algebra.
Proof
Let \(x,y,z,w\in L_0\) and \(u,v\in L_1\). Some simple observations, such as the fact that \(d(V)=0\) and that \(d(L_1) ^{\mathfrak {g}}=0\), yield that
and that
By furthermore noting that \([x,y] = [x,y] ^{\mathfrak {g}}\) and using the Jacobi identity on \(\mathfrak {g}\), we also find that
Similarly, by also using that \((\rho ,V)\) is a representation on \(\mathfrak {g}\) and that \([x,v]=[x,v] ^{V}\), we obtain
Moreover, we find that
and that
giving us for \(x_1,x_2,x_3,x_4\in L_0\) that
which is equal to zero as \(\tilde{J}\) is a 3-cocycle. This proves that Eqs. (1)–(5) hold.\(\square \)
In this construction, the vector space U appears twice: once in degree 0, and once in degree 1. It should be clear from the context in which degree elements of U reside. If this is not the case, we will explicitly mention the relevant degrees.
Example 3.4
Example 2.2 can be viewed as a 2-term \(L_\infty \)-algebra of the shape of Lemma 3.3. First, we note that the imaginary part of \(\mathbb {H}\), \(Im (\mathbb {H})\), is a Lie algebra with bracket \([a,b]:=Im (Im (a)Im (b))\), which is isomorphic to \(\mathfrak {so}(3)\). By setting \(\mathfrak {g}\) equal to \(Im (\mathbb {H})\), by setting U equal to the real part of \(\mathbb {H}\), by setting \((\rho ,V)\) equal to the adjoint representation of \(Im (\mathbb {H})\), and by setting \(\tilde{J}:\Lambda ^3Im (\mathbb {H}) \rightarrow Im (\mathbb {H})\) to be the map that sends \(\textbf{i}\wedge \textbf{j} \wedge \textbf{k}\) to \(Im (v)\in Im (\mathbb {H})\), we obtain \(\mathbb {H}\oplus \mathbb {H}\) from Example 2.2 as \(L^{\mathfrak {g},U,\rho ,\tilde{J}}\).
Now we will show that each 2-term \(L_\infty \)-algebra gives rise to a 2-term \(L_\infty \)-algebra in the shape of these described in Lemma 3.3.
Lemma 3.5
Let \((L=L_0\oplus L_1,d,[\cdot ,\cdot ],J)\) be a 2-term \(L_\infty \)-algebra and fix a vector space decomposition \(L_0\oplus L_1= (\mathfrak {g} \oplus im (d)) \oplus (\ker (d)\oplus U)\). Then consider the linear isomorphism
and the map
Then the following statements hold:
-
1.
\(\mathfrak {g}\) is a Lie algebra with bracket
$$\begin{aligned} \begin{aligned} {[}\cdot ,\cdot ]_\mathfrak {g}:\mathfrak {g} \wedge \mathfrak {g}&\rightarrow \mathfrak {g}\\ [y,z]_\mathfrak {g}&= [y,z] ^{\mathfrak {g}}; \end{aligned} \end{aligned}$$ -
2.
the map
$$\begin{aligned} \begin{aligned} \rho :\mathfrak {g}&\rightarrow \mathfrak {gl}(\ker (d))\\ \rho (x)(v)&= [x,v] ^{\ker (d)}. \end{aligned} \end{aligned}$$is a Lie algebra representation of \(\mathfrak {g}\) on \(\ker (d)\);
-
3.
the map
$$\begin{aligned} \begin{aligned} \tilde{J}:\mathfrak {g} \wedge \mathfrak {g} \wedge \mathfrak {g}&\rightarrow \ker (d)\\ x_1\wedge x_2 \wedge x_3&\mapsto J_{x_1,x_2,x_3} ^{\ker (d)}-\sum _{\sigma \in Sh (1,2)}(-1)^\sigma [x_{\sigma (1)},h([x_{\sigma (2)},x_{\sigma (3)}])]^{\ker (d)} \end{aligned} \end{aligned}$$is a 3-cocycle of \((\rho ,\ker (d))\) on \(\mathfrak {g}\).
Proof
-
1.
Note that the bracket is antisymmetric by definition. Furthermore, we find that
$$\begin{aligned} \begin{aligned} {[}x,[y,z]_\mathfrak {g} ]_\mathfrak {g}&-[[x,y]_\mathfrak {g},z]_\mathfrak {g} - [y,[x,z]_\mathfrak {g}]_\mathfrak {g} =([x,[y,z] ^{\mathfrak {g}}]-[[x,y] ^{\mathfrak {g}},z]-[y,[x,z] ^{\mathfrak {g}}]) ^{\mathfrak {g}}\\&=([x,[y,z]]-[[x,y],z]-[y,[x,z]]) ^{\mathfrak {g}}=d(J_{x,y,z}) ^{\mathfrak {g}}=0, \end{aligned} \end{aligned}$$for \(x,y,z\in \mathfrak {g}\), so \([\cdot ,\cdot ]_\mathfrak {g}\) satisfies the Jacobi identity and is thus a Lie bracket. Note that the second equality stems from the fact that, by Eq. (1), \([x,w] ^{\mathfrak {g}}= [x,d(u)] ^{\mathfrak {g}}= (d([x,u])) ^{\mathfrak {g}}=0\) for \(u\in L_1\) and \(w=d(u)\).
-
2.
For \(x,y,z\in \mathfrak {g}\) and \(v\in \ker (d)\), Eq. (1) implies that \(d([x,v]) = [x,d(v)]=0\), so \([x,v] \in \ker (d)\). Subsequently, we obtain that
$$\begin{aligned} \begin{aligned} \big (\rho ([y,z])&-\rho (y)\rho (z)+\rho (z)\rho (y)\big )(v) =\rho ([y,z])(v) -\rho (z)([v,y])+\rho (y)([v,z])\\&= -[v,[y,z]]+ [[v,y],z]+[y,[v,z]] = -J_{d(v),y,z} =0, \end{aligned} \end{aligned}$$proving that \((\rho ,\ker (d))\) is a representation.
-
3.
For \(u\in U\) and \(z\in L_0\), we note that, by applying Eq. (1), we obtain
$$\begin{aligned} h([x,d(u)]) = h(d([x,u]))=[x,u] ^{U}= [x,h(d(u))] ^{U}. \end{aligned}$$(12)For \(x_1,x_2,x_3,x_4\in \mathfrak {g}\), using Eqs. (12), (3) and (4) yields
$$\begin{aligned} \begin{aligned}&{\sum _{\sigma \in Sh (1,3)}}(-1)^\sigma [x_{\sigma (1)},J_{x_{\sigma (2)},x_{\sigma (3)},x_{\sigma (4)}} ^{U}] \\&\quad = {\sum _{\sigma \in Sh (1,3)}}(-1)^\sigma [x_{\sigma (1)},h(dJ_{x_{\sigma (2)},x_{\sigma (3)},x_{\sigma (4)}})]\\&\quad = {\sum _{\sigma \in Sh (1,1,2)}}(-1)^\sigma [x_{\sigma (1)},h([x_{\sigma (2)},[x_{\sigma (3)},x_{\sigma (4)}]])] \\&\quad = {\sum _{\sigma \in Sh (1,1,2)}}(-1)^\sigma ([x_{\sigma (1)},h([x_{\sigma (2)},[x_{\sigma (3)},x_{\sigma (4)}] ^{\mathfrak {g}}])]\\&\qquad + [x_{\sigma (1)},h([x_{\sigma (2)},[x_{\sigma (3)},x_{\sigma (4)}] ^{im (d)}])])\\&\quad = {\sum _{\sigma \in Sh (1,1,2)}}(-1)^\sigma ([x_{\sigma (1)},h([x_{\sigma (2)},[x_{\sigma (3)},x_{\sigma (4)}] ^{\mathfrak {g}}])]\\&\qquad + [x_{\sigma (1)},[x_{\sigma (2)},h([x_{\sigma (3)},x_{\sigma (4)}])] ^{U}]) \end{aligned} \end{aligned}$$and
$$\begin{aligned} \begin{aligned}&{\sum _{\sigma \in Sh (2,2)}}(-1)^\sigma J_{[x_{\sigma (1)},x_{\sigma (2)}]^{im (d)},x_{\sigma (3)},x_{\sigma (4)}} = {\sum _{\sigma \in Sh (2,2)}}(-1)^\sigma J_{d(h([x_{\sigma (1)},x_{\sigma (2)}])),x_{\sigma (3)},x_{\sigma (4)}}\\&\quad = {\sum _{\sigma \in Sh (2,2)}}(-1)^\sigma [h([x_{\sigma (1)},x_{\sigma (2)}]),[x_{\sigma (3)},x_{\sigma (4)}]]\\&\qquad +{\sum _{\sigma \in Sh (1,1,2)}}(-1)^\sigma [x_{\sigma (1)},[x_{\sigma (2)},h([x_{\sigma (3)},x_{\sigma (4)}])]] \end{aligned} \end{aligned}$$with
$$\begin{aligned} Sh (1,1,2) = \{ \sigma \in S_4 \ | \ \sigma (3)< \sigma (4)\}. \end{aligned}$$As a direct consequence of Eq. (1), we find that
$$\begin{aligned} \begin{aligned} {[}[x_1,x_2] ^{im (d)},h([x_3,x_4])] ^{\ker (d)} = 0. \end{aligned} \end{aligned}$$In turn, we then yield that
$$\begin{aligned} \begin{aligned}&\delta \tilde{J}(x_1,x_2,x_3,x_4)\\&\quad = {\sum _{\sigma \in Sh (1,3)}}(-1)^\sigma [x_{\sigma (1)},J_{x_{\sigma (2)},x_{\sigma (3)},x_{\sigma (4)}} ^{\ker (d)}] \\&\qquad - {\sum _{\sigma \in Sh (1,1,2)}} (-1)^\sigma [x_{\sigma (1)},[x_{\sigma (2)},h([x_{\sigma (3)},x_{\sigma (4)}])] ^{\ker (d)}]\\&\qquad -{\sum _{\sigma \in Sh (2,2)}}(-1)^\sigma J_{[x_{\sigma (1)},x_{\sigma (2)}]^\mathfrak {g},x_{\sigma (3)},x_{\sigma (4)}}\\&\qquad + {\sum _{\sigma \in Sh (2,2)}}(-1)^\sigma [[x_{\sigma (1)},x_{\sigma (2)}] ^{\mathfrak {g}},h([x_{\sigma (3)},x_{\sigma (4)}])]\\&\qquad +{\sum _{\sigma \in Sh (1,1,2)}} [x_{\sigma (1)},h([x_{\sigma (2)},[x_{\sigma (3)},x_{\sigma (4)}] ^{\mathfrak {g}}])]\\&\quad = {\sum _{\sigma \in Sh (1,3)}}(-1)^\sigma \big ([x_{\sigma (1)},J_{x_{\sigma (2)},x_{\sigma (3)},x_{\sigma (4)}} ^{\ker (d)}+J_{x_{\sigma (2)},x_{\sigma (3)},x_{\sigma (4)}} ^{U}]\big ) ^{\ker (d)}\\&\qquad -{\sum _{\sigma \in Sh (2,2)}}(-1)^\sigma \big (J_{[x_{\sigma (1)},x_{\sigma (2)}]^\mathfrak {g},x_{\sigma (3)},x_{\sigma (4)}}+J_{[x_{\sigma (1)},x_{\sigma (2)}]^{im (d)},x_{\sigma (3)},x_{\sigma (4)}}\big ) ^{\ker (d)}\\&\quad = \bigg ({\sum _{\sigma \in Sh (1,3)}}(-1)^\sigma [x_{\sigma (1)},J_{x_{\sigma (2)},x_{\sigma (3)},x_{\sigma (4)}}] -{\sum _{\sigma \in Sh (2,2)}}(-1)^\sigma J_{[x_{\sigma (1)},x_{\sigma (2)}],x_{\sigma (3)},x_{\sigma (4)}}\bigg ) ^{\ker (d)}, \end{aligned} \end{aligned}$$which is zero as J satisfies Eq. (5), proving that \(\tilde{J}\) is a 3-cocycle of \(\mathfrak {g}\) on \((\rho ,\ker (d))\).
\(\square \)
If we use the newly found Lie algebra, representation and 3-cocycle from Lemma 3.5 in the construction given in Lemma 3.3, we can create a new 2-term \(L_\infty \)-algebra.
Corollary 3.6
Let L be a 2-term \(L_\infty \)-algebra and fix a vector space decomposition \((\mathfrak {g}\oplus im (d))\oplus (\ker (d)\oplus U)\). Moreover, let \(\mathfrak {g}\) (as a Lie algebra), \((\rho ,\ker (d))\) and \(\tilde{J}\) as in Lemma 3.5. Then \(L^{\mathfrak {g},im (d),\rho ,\tilde{J}}\) is a 2-term \(L_\infty \)-algebra. \(\square \)
3.2 Main classification theorems
In this subsection, we will prove the main classification theorems for 2-term \(L_\infty \)-algebras. In the first theorem, we prove that every 2-term \(L_\infty \)-algebra is isomorphic to one in the shape of these from Lemma 3.3. We will do this by proving a proposition which states that the structure of a 2-term \(L_\infty \)-algebra can be transferred to an isomorphic graded vector space, for which the new differential, bracket and Jacobiator are uniquely determined by a given isomorphism of graded vector spaces and a given linear map. This is a special case of the Homotopy Transfer Theorem, which states that the structure of a 2-term \(L_\infty \)-algebra can be transferred to any of its homotopy retracts [9]. In general, the 2-term \(L_\infty \)-algebra structure induced by the Homotopy Transfer Theorem is not isomorphic to the aforementioned structure, but both structures are rather isomorphic on homology. We will focus on the situation in which the homotopy retract is linearly isomorphic to the 2-term \(L_\infty \)-algebra. In this case, the transferred structure is isomorphic to the induced one as 2-term \(L_\infty \)-algebras.
Proposition 3.7
Let \((L,d,[\cdot ,\cdot ],J)\) be a 2-term \(L_\infty \)-algebra, let \(L'=L_0'\oplus L_1'\) be a graded vector space, and let \(\phi :L\rightarrow L'\) be a graded linear isomorphism and let \(\Phi :L_0\wedge L_0 \rightarrow L_1'\) be a linear map. Then \((L',d',[\cdot ,\cdot ]',J')\), with \(d',[\cdot ,\cdot ]'\) and \(J'\) uniquely defined by Eqs. (6)–(9), is a 2-term \(L_\infty \)-algebra isomorphic to \((L,d,[\cdot ,\cdot ], J)\).
Proof
Applying the Homotopy Transfer Theorem from e.g. [9] to the homotopy retract
yields that \((L',d',[\cdot ,\cdot ]',J')\) is a 2-term \(L_\infty \)-algebra and that \((\phi ,\Phi ):L \rightarrow L'\) is a morphism of 2-term \(L_\infty \)-algebras. As \(\phi \) is already an isomorphism of vector spaces, \((\phi ,\Phi )\) is an isomorphism of 2-term \(L_\infty \)-algebras.\(\square \)
This proposition supports the intuition that transporting a given 2-term \(L_\infty \)-algebra via a supposed isomorphism of 2-term \(L_\infty \)-algebras induces another 2-term \(L_\infty \)-algebra, which is automatically isomorphic to the given one. Also note that for any linear graded isomorphism \(\phi :L \rightarrow L'\), any linear map \(\Phi :L_0 \wedge L_0 \rightarrow L_1'\) induces a 2-term \(L_\infty \)-algebra structure on \(L'\) which are all isomorphic to L, as the maps \(d'\), \([\cdot ,\cdot ]'\) and \(J'\) will change accordingly.
Theorem 3.8
Let \((L,d,[\cdot ,\cdot ],J)\) 2-term \(L_\infty \)-algebra with vector space decomposition \(L=(\mathfrak {g}\oplus im (d))\oplus (\ker (d)\oplus U)\). Then \((L,d,[\cdot ,\cdot ],J)\) is isomorphic to \(L^{\mathfrak {g},im (d),\rho ,\tilde{J}}\).
Proof
Set \(L':=L_0\oplus ( \ker (d)\oplus im (d))\) and define f and h as in Lemma 3.5. By Proposition 3.7, we find that the map
is a graded linear isomorphism and that
is a linear map. Note that the first term in this expression is antisymmetric by Eq. (2), as is the sum of the next two.
By Proposition 3.7, we find that \((L',d',[\cdot ,\cdot ]',J')\), with \(d',[\cdot ,\cdot ]'\) and \(J'\) uniquely defined by Eqs. (6)–(9), is a 2-term \(L_\infty \)-algebra isomorphic to \((L,d,[\cdot ,\cdot ], J)\). We will now show that this 2-term \(L_\infty \)-algebra is identically \(L^{\mathfrak {g},im (d),\rho ,\tilde{J}}\).
For \(x,y,z\in L_0\), \(v\in L_1\) and \(w\in L_1'\), we find that
where the last equality follows from Eq. (1).
Moreover, we also obtain from Eqs. (1) and (2) that
and thus that \([w,y]'= [w ^{\ker (d)},y ^{\mathfrak {g}}] ^{\ker (d)}\). Using those equations, we also obtain that
and as \(im (d) \cap \mathfrak {g} = 0\), we find that \(dJ_{x,y,z}' =0\). Similarly, we have that
Combining the results from those two equations with Eq. (9), we also find that
As the expressions for the differential, bracket and Jacobiator coincide, we conclude that \(L'\) is identically \(L^{\mathfrak {g},im (d),\rho ,\tilde{J}}\). \(\square \)
Remark 3.9
Given a general 2-term \(L_\infty \)-algebra \((L,d,[\cdot ,\cdot ],J)\), it is clear from both constructions that the skeletal 2-term \(L_\infty \)-algebra obtained from \((L,d,[\cdot ,\cdot ],J)\) in [1, Proposition 51] is equal to \(L^{\mathfrak {g},0,\rho ,\tilde{J}}\), with \(\mathfrak {g}\), \(\rho \) and \(\tilde{J}\) as in Lemma 3.5.
We note that the above construction of \(L^{\mathfrak {g},0,\rho ,\tilde{J}}\) depends on a vector space decomposition of L. At first sight, this might lead to different 2-term \(L_\infty \)-algebras, but as Theorem 3.10 will show, this is not the case.
In the next theorem, we will prove that two 2-term \(L_\infty \)-algebras in the shape constructed in Lemma 3.3 are isomorphic if and only if their underlying Lie algebras, vector spaces and representations are isomorphic, and if their 3-cocycles are cohomologous. Whereas it is quite straightforward to give a 2-term \(L_\infty \)-algebra isomorphism using the isomorphisms of the corresponding Lie algebras et cetera, it is a more intricate exercise to retrieve such morphisms form a 2-term \(L_\infty \)-algebra isomorphism. This is mostly due to the fact that a 2-term \(L_\infty \)-algebra isomorphism does not have to transport the Lie algebra underlying the first 2-term \(L_\infty \)-algebra to the Lie algebra underlying the second. We solve this problem by first considering the image of the Lie algebra under the 2-term \(L_\infty \)-algebra isomorphism and subsequently projecting onto the Lie algebra underlying the second 2-term \(L_\infty \)-algebra.
Theorem 3.10
Let \(L:=L^{\mathfrak {g},U,\rho ,\tilde{J}}\) and \(L':=L^{\mathfrak {g'},U',\rho ',\tilde{J'}}\) be two 2-term \(L_\infty \)-algebras from Lemma 3.3. Then L and \(L'\) are isomorphic if and only if the following four statements hold:
-
1.
\(\mathfrak {g}\) and \(\mathfrak {g'}\) are isomorphic Lie algebras;
-
2.
U and \(U'\) are isomorphic vector spaces;
-
3.
\((\rho ,V)\) and \((\rho ',V')\) are isomorphic representations;
-
4.
\(\tilde{J}\) and \(\tilde{J'}\) are cohomologous under the isomorphisms of 1. and 3.
Proof
In this proof, we denote the differential, bracket and Jacobiator of L and of \(L'\) by d, \([\cdot ,\cdot ]\), J and by \(d'\), \([\cdot ,\cdot ]'\), \(J'\) respectively.
\(\Leftarrow \) First assume that 1.-4. hold. Then we have a Lie algebra isomorphism \(\chi :\mathfrak {g}\rightarrow \mathfrak {g'}\), a linear isomorphism \(f:U\rightarrow U'\), an intertwiner \(g:V \rightarrow V'\) and a linear map \(\tilde{\Phi }:\mathfrak {g}\wedge \mathfrak {g}\rightarrow V'\) such that
for \(x_1,x_2,x_3\in \mathfrak {g}\).
Then we define \(\phi := (\chi \oplus f) \oplus (g\oplus f) :L \rightarrow L'\) and
For \(x,y,z \in L_0\) and \(v\in L_1\), we find, by decoding the definitions of the given objects and maps, that
and that
The latter equation implies that
Moreover, it is not hard to see that further unfolding of definitions yields that
and that
Combining those last two results gives us that
for \(x_1,x_2,x_3\in L_0\). The above calculations prove that \((\phi ,\Phi )\) is a 2-term \(L_\infty \)-algebra morphism, and as \(\phi \) is invertible, it is even an isomorphism of 2-term \(L_\infty \)-algebras.
\(\Rightarrow \) Now assume that L and \(L'\) are isomorphic 2-term \(L_\infty \)-algebras, and let \((\phi ,\Phi )\) denote an isomorphism between them. Note that by Eq. (6), we have for \(u\in U\) in degree 0 that
which proves that \(\phi (U)\subseteq U'\) in degree 0. Analogously, we find that \(\phi ^{-1}(U')\subseteq U\), which proves that \(\phi (U)= U'\) and thus that U and \(U'\) are isomorphic vector spaces.
If we let \(v\in V\), we obtain that \(d'(\phi (v)) = \phi (d(v))=\phi (0)=0\), which implies that \(\phi (v) \in V'\). Analogously, we find that \(\phi ^{-1}(v')\in V\) for \(v'\in V'\), and combining this with the previous observation gives us that \(\phi (V)=V'\).
As this implies that \(\mathfrak {g}'\oplus U' = L_0' = \phi (\mathfrak {g}\oplus U) = \phi (\mathfrak {g})\oplus U'\), it is a simple exercise in linear algebra to deduce that
is a linear isomorphism. If we let \(x,y\in \mathfrak {g}\), we have that \(\phi ([x,y])-\pi (\phi ([x,y]))\in U'\), and thus that
By the uniqueness of the direct sum decomposition, we obtain that
This gives us that
We thus obtain that \(\mathfrak {g}\) and \(\mathfrak {g'}\) are isomorphic Lie algebras, as
is a Lie algebra isomorphism. If we let \(v\in V\) and \(y \in \mathfrak {g}\), we also find that
that is,
This proves that \(\rho \) and \(\rho '\) are isomorphic representations.
Furthermore, for \(x_1,x_2,x_3 \in \mathfrak {g}\), we have that
By Eq. (13) and the Jacobi identity on \(\mathfrak {g}\), we obtain that
from which we conclude that
where \(r:L_1'\rightarrow V'\) is the projection. This proves that \(\tilde{J}\) and \(\tilde{J}'\) are cohomologous.\(\square \)
For a given 2-term \(L_\infty \)-algebra, [1, Proposition 51] gives an equivalent skeletal 2-term \(L_\infty \)-algebra and [1, Theorem 55] yields a Lie algebra \(\mathfrak {g}\), Lie algebra representation \(\rho \) of \(\mathfrak {g}\) and 3-cocycle of \(\rho \) on \(\mathfrak {g}\) corresponding to that skeletal 2-term \(L_\infty \)-algebra. Similarly, Theorem 3.8 also yields a Lie algebra, Lie algebra representation and 3-cocycle corresponding to the same 2-term \(L_\infty \)-algebra. By Remark 3.9, those Lie algebras, Lie algebra representations and 3-cocycles coincide. As [1, Theorem 57] states that two skeletal 2-term \(L_\infty \)-algebras are equivalent if and only if their corresponding Lie algebras and Lie algebra representations are isomorphic and their corresponding 3-cocycles are cohomologous, we can use Theorem 3.10 to come to the following conclusion.
Corollary 3.11
Two equivalent 2-term \(L_\infty \)-algebras are isomorphic if and only if the images of their differentials are isomorphic vector spaces.\(\square \)
Using Corollary 3.11, we can immediately conclude that the skeletal string 2-term \(L_\infty \)-algebra from Example 2.3 and the strict string 2-term \(L_\infty \)-algebra from Example 2.4 are not isomorphic, as the image of the differential of the former is zero-dimensional, and the image of the latter has an uncountably many basis elements. Another equivalent 2-term \(L_\infty \)-algebra can be found in [15], and it too can be shown to be non-isomorphic to either of the previous examples by looking at the image of the respective differential.
Determining if 2-term \(L_\infty \)-algebras are isomorphic can by done by either using [1, Theorem 57] and Corollary 3.11, or by Lemma 3.5, Theorem 3.8 and Theorem 3.10. This completes the classification procedure.
4 Discussion
In this article, we have classified all 2-term \(L_\infty \)-algebras, and thus also all semistrict Lie 2-algebras [1]. We have found that a 2-term \(L_\infty \)-algebra is a combination of a Lie algebra with a vector space, a representation and a cohomology class. This implies that all further classification for 2-term \(L_\infty \)-algebras can be done solely in terms of Lie algebras and their representation theory. The procedure explained in this article can be interpreted as an extension of a former approach to obtain a clear view of all 2-term \(L_\infty \)-algebras in terms of more familiar and more studied objects. Even though the isomorphism classes of 2-term \(L_\infty \)-algebras are more restrictive than the equivalence classes, the only additional data that is required to distinguish isomorphism classes is the vector space that is modded out by taking homology. Hence, it can be concluded that the category of 2-term \(L_\infty \)-algebras is an enrichment of the category of Lie algebras, and this can simplify our thinking about 2-term \(L_\infty \)-algebras and thus about semistrict Lie 2-algebras as well.
The question remains, though, if it is possible to find a similar type of classification for hemistrict Lie 2-algebras or more general \(L_\infty \)-algebras. In a further attempt to classify more \(L_\infty \)-algebras, the suggested direction would be to classify all 3-term \(L_\infty \)-algebras in a similar vein as the classification in this article. This is more involved, as a 3-term \(L_\infty \)-algebra has a (non-zero) differential in two different degrees, so, by taking homology, there are multiple vector spaces that are modded out which have to be taken into account. Moreover, morphisms of 3-term \(L_\infty \)-algebras contain a new map of degree 2 which has to satisfy more equalities and which does at least at first sight not appear to allow for a characterization of 3-term \(L_\infty \)-algebras as simple as the characterization of 2-term \(L_\infty \)-algebras.
This article could still shed a light on possible ways creating new examples and classifications of more general \(L_\infty \)-algebras and we hope that this article assists in further understanding and classification of \(L_\infty \)-algebras in the near future.
Data Availability
No data was created or used in this research.
References
Baez, J.C., Crans, A.S.: Higher-dimensional algebra VI: Lie 2-algebras. Theory Appl. Categ. 12(1), 492–538 (2004). arXiv:math/0307263
Baez, J.C., Hoffnung, A.E., Rogers, C.L.: Categorified symplectic geometry and the classical string. Commun. Math. Phys. 293(3), 701–725 (2009). arXiv:0808.0246
Baez, J.C., Stevenson, D., Crans, A.S., Schreiber, U.: From loop groups to 2-groups. Homol. Homotopy Appl. 9(2), 101–135 (2007). arXiv:math/0504123
Chevalley, C., Eilenberg, S.: Cohomology theory of Lie groups and Lie algebras. Trans. Am. Math. Soc. 63(1), 85–124 (1948)
Hohm, O., Zwiebach, B.: \(L_\infty \) Algebras and field theory. Fortschritte der Physik 65, no. 3–4 (2017). arXiv:1701.08824
Lada, T., Markl, M.: Strongly homotopy Lie algebras. Commun. Algebra 23(6), 2147–2161 (1995). arXiv:hep-th/9406095
Lada, T., Stasheff, J.: Introduction to SH Lie algebras for physicists. Int. J. Theor. Phys. 32(7), 1087–1103 (1993). arXiv:hep-th/9209099
Liu, Z., Sheng, Y., Zhang, T.: Deformations of Lie 2-algebras. J. Geometr. Phys. 86, 66–80 (2014). arXiv:1306.6225
Loday, J.-L., Vallette, B.: Algebraic Operads. Grundlehren der mathematischen Wissenschaften. Springer, Berlin Heidelberg (2012)
Ritter, P., Sämann, C.: Lie 2-algebra models. J. High Energy Phys. 2014(4) (2014). arXiv:1308.4892
Roytenberg, D.: On the structure of graded symplectic supermanifolds and Courant algebroids. pp. 169– 185. arXiv:math/0203110 (2002)
Roytenberg, D.: On weak Lie 2-algebras. AIP Conf. Proc. 956, 180–198 (2007). arXiv:0712.3461
Schmidt, L.: Twisted Weil algebras for the string Lie 2-algebra: LMS/EPSRC Durham symposium on higher structures in M-theory. Fortschritte der Physik 67(8–9), 1–11 (2019). arXiv:1903.02873
Stasheff, J.: \(L_\infty \) and \(A_\infty \) structures: then and now. pp. 1–42 (2018). arXiv:1809.02526
Wagemann, F.: On lie algebra crossed modules. Commun. Algebra 34(5), 1699–1722 (2006). arXiv:math/0611375
Zwiebach, B.: Closed string field theory: quantum action and the Batalin–Vilkovisky master equation. Nucl. Phys. Sect. B 390(1), 33–152 (1993). arXiv:hep-th/9206084
Acknowledgements
The author is funded by the Fundamentals of the Universe program at the University of Groningen. The author would like to thank Roland van der Veen and Jorge Becerra for fruitful discussions and for their assistance with the final revisions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by James Stasheff.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
van Helden, K. Classification of 2-term \(L_\infty \)-algebras. J. Homotopy Relat. Struct. (2024). https://doi.org/10.1007/s40062-024-00354-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40062-024-00354-5