Abstract
We study Maurer–Cartan elements on homotopy Poisson manifolds of degree n. They unify many twisted or homotopy structures in Poisson geometry and mathematical physics, such as twisted Poisson manifolds, quasi-Poisson \(\mathfrak g\)-manifolds, and twisted Courant algebroids. Using the fact that the dual of an n-term \(L_\infty \)-algebra is a homotopy Poisson manifold of degree \(n-1\), we obtain a Courant algebroid from a 2-term \(L_\infty \)-algebra \(\mathfrak g\) via the degree 2 symplectic NQ-manifold \(T^*[2]\mathfrak g^*[1]\). By integrating the Lie quasi-bialgebroid associated to the Courant algebroid, we obtain a Lie-quasi-Poisson groupoid from a 2-term \(L_\infty \)-algebra, which is proposed to be the geometric structure on the dual of a Lie 2-algebra. These results lead to a construction of a new 2-term \(L_\infty \)-algebra from a given one, which could produce many interesting examples.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The concept of an \(L_\infty \)-algebra (sometimes called a strongly homotopy (sh) Lie algebra) was originally introduced in [22, 38] as a model for “Lie algebras that satisfy the Jacobi identity up to all higher homotopies”. A Lie 2-algebra is a categorification of a Lie algebra. It is well-known that the category of Lie 2-algebras is equivalent to the category of 2-term \(L_\infty \)-algebras [4]. The structure of a Lie 2-algebra or a 2-term \(L_\infty \)-algebra appears in many areas such as string theory, higher symplectic geometry [5, 6], and Courant algebroids [27].
A homotopy Poisson algebra is a graded commutative algebra with an \(L_\infty \)-structure whose brackets satisfy the Leibniz rule. It has appeared in Voronov’s work [17, 40] under the name “higher Poisson structures” and Cattaneo and Felder’s work [10] under the name “\(P_\infty \)-structures”. See also [8, 26] for more recent work involving this structure. A homotopy Poisson algebra structure of degree n on a graded commutative algebra \(\mathfrak a\) means that there is a homotopy Poisson algebra structure on the shifted space \(\mathfrak a[n]\). One interesting example of homotopy Poisson manifolds is given by the dual \(\mathfrak g^*[n-1]\) of an n-term \(L_\infty \)-algebra \(\mathfrak g=\mathfrak g_0\oplus \mathfrak g_{-1}\oplus \cdots \oplus \mathfrak g_{1-n}\), which turns out to be a homotopy Poisson manifold of degree \(n-1\). This generalizes the fact that there is a Lie-Poisson structure on the dual space of a Lie algebra to the case of n-term \(L_\infty \)-algebras.
It is known that there is a one-to-one correspondence between Poisson manifolds and symplectic NQ-manifolds of degree 1,
where the bracket \(\{\cdot ,\cdot \}\) is the canonical Poisson bracket on the cotangent bundle of the manifold M. One can further study the cotangent bundle of a homotopy Poisson manifold \(\mathcal {M}\) of degree n. The shifted cotangent bundle \(T^*[n+1]\mathcal {M}\) is a symplectic NQ-manifold of degree \(n+1\). Then we study Maurer–Cartan elements on a degree n homotopy Poisson manifold \(\mathcal {M}\), which are solutions of the Maurer–Cartan equation associated to the \(L_\infty \)-structure on the function ring \(C^\infty (\mathcal {M})\). Recall that there are many types of twisted or homotopy structures in Poisson geometry and mathematical physics. See [2, 14, 19, 20, 29, 33, 34] for lists of such examples. We provide a unified framework to describe these structures in which they are viewed as solutions of the Maurer–Cartan equation. For example, given a manifold M, the cotangent bundle \(T^*[1]M\), equipped with the Schouten bracket \(l_2=[\cdot ,\cdot ]_S\), is a homotopy Poisson manifold of degree 1. Furthermore, a degree 2 function \(\pi \in C^{\infty }(T^*[1]M)\) is a Maurer–Cartan element on \(T^*[1]M\) if and only if \(\pi \) is a Poisson tensor on M; in the twisted case, given a closed 3-form H, the cotangent bundle \(T^*[1]M\) with \(l_2=[\cdot ,\cdot ]_S\) and a ternary bracket \(l_3=H(\cdot ,\cdot ,\cdot )\) on \(C^\infty (T^*[1]M)\) is a new homotopy Poisson manifold of degree 1, and a degree 2 function \(\pi \) satisfies the Maurer–Cartan equation if and only if \(\pi \) is a twisted Poisson tensor.
A homotopy Poisson manifold \(\mathcal {M}\) of degree n is called symplectic if its binary bracket is non-degenerate (See [17] for the \(\mathbb {Z}_2\)-graded case). If \(\mathcal {M}\) is a symplectic N-manifold of degree n, then a function \(\alpha \) of degree \(n+1\), satisfying the Maurer–Cartan equation \(l_2(\alpha ,\alpha )=0\), induces a differential \(Q=l_2(\alpha ,\cdot )\) of degree 1 on \(\mathcal {M}\). This shows that a differential graded symplectic manifold or symplectic NQ-manifold is a special homotopy symplectic manifold with a Maurer–Cartan element. A general degree n homotopy symplectic manifold \((\mathcal {M},\{l_i\}_{1\le i< \infty })\) with \(l_1=0\) is, therefore, a homotopy version of a symplectic N-manifold. In this case, the Maurer–Cartan equation becomes
which can be viewed as a homotopy version of the classical master equation. To relate this to physical applications, we prove that homotopy symplectic manifolds of degree n with zero \(l_1\) are in one-to-one correspondence with twisted symplectic NQ-manifolds with \(\Theta |_{\mathcal {M}}=0\) (see Definition 3.11), to which the authors in [16] associate sigma models with boundary via AKSZ formalism.
The notion of a Lie bialgebroid was introduced by Mackenzie and Xu [25]. To study the double of a Lie bialgebroid,Footnote 1 Liu–Weinstein–Xu introduced the notion of a Courant algebroid [23]. Then Roytenberg gave an equivalent definition in [30]. Symplectic NQ-manifolds of degree 2 are in one-to-one correspondence with Courant algebroids [28]. On the other hand, a Courant algebroid gives rise to a 2-term \(L_\infty \)-algebra [27]. This paper uses these facts to construct a new 2-term \(L_\infty \)-algebra from a given one as follows. Given a Lie 2-algebra \(\mathfrak g=\mathfrak g_0\oplus \mathfrak g_{-1}\), its dual \(\mathfrak g^*[1]\) is a homotopy Poisson manifold of degree 1, which implies that \(T^*[2]\mathfrak g^*[1]\) is a symplectic NQ-manifold of degree 2. Thus, we obtain a Courant algebroid \(E=\mathfrak g_{-1}^*\times (\mathfrak g_0\oplus \mathfrak g_0^*)\), where \(\mathfrak g_{-1}^* \) is the base manifold. Choosing some special sections of E and linear functions on the base manifold \(\mathfrak g_{-1}^*\), we obtain a 2-term \(L_\infty \)-algebra \(\tilde{\mathfrak g}=\tilde{\mathfrak g}_0\oplus \tilde{\mathfrak g}_{-1}\), where \(\tilde{\mathfrak g}_0=\mathfrak g_0\oplus (\mathfrak g_{-1}\otimes \mathfrak g_0^*)\) and \(\tilde{\mathfrak g}_{-1}=\mathfrak g_{-1}\). We thus have
In particular, we obtain the 2-term \(L_\infty \)-algebra associated to the omni-Lie algebra [36, 41] from a vector space V, which is viewed as the abelian 2-term \(L_\infty \)-algebra \((V\mathop {\longrightarrow }\limits ^\mathrm{{id}}V,l_2=0,l_3=0)\), and obtain the 2-term \(L_\infty \)-algebra of string type [36] from the 2-term \(L_\infty \)-algebra \((\mathbb R\mathop {\longrightarrow }\limits ^{0}\mathfrak k,l_2=[\cdot ,\cdot ]_\mathfrak k,l_3=0)\), where \((\mathfrak k,[\cdot ,\cdot ]_\mathfrak k)\) is a Lie algebra. These interesting examples show that the construction of \(\tilde{\mathfrak g}\) from \(\mathfrak g\) has some important properties and applications, which will be studied in the future, since it is unrelated to the key subject of this paper. Nevertheless, we prove that there is a homomorphism from \(\tilde{\mathfrak g}\) to \(\mathfrak g\) (see Theorem 4.11).
We also observe that the Courant algebroid \(E=\mathfrak g_{-1}^*\times (\mathfrak g_0\oplus \mathfrak g_0^*)\) obtained above is the double of a Lie quasi-bialgebroid \((A,\delta ,\phi )\), where \(A=\mathfrak g_{-1}^*\times \mathfrak g_0^*\longrightarrow \mathfrak g_{-1}^*\) is an action Lie algebroid. By integration, we get a Lie-quasi-Poisson groupoid \((\Gamma ,\Pi ,\phi )\), where \(\Gamma =\mathfrak {g}^*_{-1}\times {\mathfrak {g}^*_0} \rightrightarrows {\mathfrak {g}^*_{-1}}\) is an action groupoid. In summary, we have
If we view the 2-vector space \(\mathfrak {g}^*_{-1}\oplus {\mathfrak {g}^*_0}\rightrightarrows {\mathfrak {g}^*_{-1}}\) as the dual of the 2-vector space \(\mathfrak g_0\oplus \mathfrak g_{-1}\rightrightarrows {\mathfrak {g}_0}\), this Lie-quasi-Poisson groupoid can be viewed as the natural geometric structure on the “dual” of a Lie 2-algebra.
Notations: For a graded vector space \(V= \sum _{n\in \mathbb Z} V_n \), we use V[l] to denote the l-shifted graded vector space, namely \(V[l]_n=V_{l+n}\); we use \(\mathsf {Sym}(V)\) to denote the symmetric algebra of V. We use \([\cdot ,\cdot ]_S\) to denote the Schouten bracket of sections of a Lie algebroid.
2 Preliminaries
Lie algebras can be categorified to Lie 2-algebras. For a good introduction on this subject see [4, 21]. Vector spaces can be categorified to 2-vector spaces. Let \(\mathsf {Vect}\) be the category of vector spaces. A 2-vector space is a category in the category \(\mathsf {Vect}\). A 2-vector space C is a category with a vector space of objects \(C_0\) and a vector space of morphisms \(C_1\), such that all the structure maps are linear. Let \(s,t:C_1\longrightarrow C_0\) be the source and target maps respectively.
The 2-category of 2-vector spaces is equivalent to the 2-category of 2-term complexes of vector spaces. Roughly speaking, given a 2-vector space C, \(\mathrm {ker}(s)\mathop {\longrightarrow }\limits ^{t}C_0\) is a 2-term complex. Conversely, any 2-term complex of vector spaces \(V_1\mathop {\longrightarrow }\limits ^{\mathrm {d}}V_0\) gives rise to a 2-vector space of which the set of objects is \(V_0\), the set of morphisms is \(V_0\oplus V_1\), the source map s is given by \(s(v+m)=v\), and the target map t is given by \(t(v+m)=v+\mathrm {d}m\), where \(v\in V_0,~m\in V_1.\)
A Lie 2-algebra is a 2-vector space C equipped with a skew-symmetric bilinear functor, such that the Jacobi identity is controlled by a natural isomorphism, which satisfies a coherence law of its own. The category of Lie 2-algebras is equivalent to the category of 2-term \(L_\infty \)-algebras (see [4]).
Definition 2.1
An \(L_\infty \)-algebra is a graded vector space \(\mathfrak {g}=\oplus _{i\in \mathbb Z}\mathfrak {g}_i\) equipped with a system \(\{l_k|~1\le k<\infty \}\) of linear maps \(l_k:\wedge ^k\mathfrak {g}\longrightarrow \mathfrak {g}\) with degree \(\deg (l_k)=2-k\), where the exterior powers are interpreted in the graded sense and the following relation with Koszul sign “Ksgn” is satisfied for all \(n\ge 0\):
Here the summation is taken over all \((i,n-i)\)-unshuffles with \(i\ge 1\).
We denote an \(L_\infty \)-algebra by \((\oplus _{i\in \mathbb Z}\mathfrak {g}_i,\{l_i\}_{i\ge 1})\), or simply by \(\mathfrak g\) if there is no confusion. In particular, we denote a 2-term \(L_\infty \)-algebra by \((\mathfrak g_{-1}\mathop {\longrightarrow }\limits ^{l_1}\mathfrak g_0,l_2,l_3)\).
Definition 2.2
Let \(\mathfrak g=(\mathfrak g_{-1}\mathop {\longrightarrow }\limits ^{l_1}\mathfrak g_0,l_2,l_3)\) and \(\mathfrak g'=(\mathfrak g_{-1}'\mathop {\longrightarrow }\limits ^{l_1'}\mathfrak g_0',l_2',l_3')\) be two 2-term \(L_\infty \)-algebras. An \(L_\infty \)-algebra homomorphism F from \(\mathfrak g\) to \( \mathfrak g'\) consists of: linear maps \(F_0:\mathfrak g_0\rightarrow \mathfrak g_0',~F_1:\mathfrak g_{-1}\rightarrow \mathfrak g_{-1}'\) and \(F_{2}: \mathfrak g_{0}\wedge \mathfrak g_0\rightarrow \mathfrak g_{-1}'\), such that the following equalities hold for all \( x,y,z\in \mathfrak g_{0}, m\in \mathfrak g_{-1},\)
-
(i)
\(F_0\circ l_1=l_1'\circ F_1\),
-
(ii)
\(F_{0}l_2(x,y)-l_2'(F_{0}(x),F_{0}(y))=l_1'F_{2}(x,y),\)
-
(iii)
\(F_{1}l_2(x,m)-l_2'(F_{0}(x),F_{1}(m))=F_{2}(x,l_1( m))\),
-
(iv)
\(F_2(l_2(x,y),z)+c.p.+F_1(l_3(x,y,z))=l_2'(F_0(x),F_2(y,z)) +c.p.+l_3'(F_0(x),F_0(y),F_0(z))\).
Given a graded vector space \(V= \sum _{n\in \mathbb Z} V_n \), it is well-known that there is a graded version of Kosmann-Schwarzbach’s big bracket [18], which we denote by \({\{} \cdot ,\cdot {\} }\), on \(\mathsf {Sym}(V^*[l]) \otimes \mathsf {Sym}(V[k]) \cong \mathsf {Sym}(V^*[l]\oplus V[k]) \cong \mathsf {Sym}(T^*[l+k]V[k])\) by extending the usual pairing between \(V^*\) and V via a graded Leibniz rule
where \(u \in \mathsf {Sym}(V^*[l]\oplus V[k]) _{|u|}\) and \(v \in \mathsf {Sym}(V^*[l]\oplus V[k]) _{|v|}\). The big bracket is in fact the canonical graded Poisson bracket on \(T^*[-l-k]V^*[-k]\). Thus, we have a graded Jacobi identity:
We view \(l_i:\wedge ^i\mathfrak {g}\longrightarrow \mathfrak {g}\) as elements in \(\mathsf {Sym}^i(\mathfrak g^*[-1])\otimes \mathfrak g[k]\). Then we have
Lemma 2.3
A series of degree \(2-k\) elements \(l_i\in (\mathsf {Sym}^i(\mathfrak g^*[-1]) \otimes \mathfrak g[k])\) with \(i=1, 2, \dots \) on \(\mathfrak g=\mathfrak g_0\oplus \mathfrak g_{-1} \oplus \cdots \) gives an \(L_\infty \)-algebra structure if and only if \({\{} \sum _{i=1}^\infty l_i, \sum _{i=1}^\infty l_i {\} }=0\).
Definition 2.4
A Courant algebroid is a vector bundle \(E\longrightarrow M\), together with a fiber metric \(\left( \cdot ,\cdot \right) _+\) (so we can identify E with \(E^*\)), a bundle map \(\rho : E \longrightarrow TM\) (called the anchor), a bilinear bracket operation (Dorfman bracket) \(\lceil \cdot ,\cdot \rceil \) on \(\Gamma (E)\), such that for all \(e_1,e_2,e_3\in \Gamma (E)\), we have
where the operator \(D:C^{\infty }(M)\longrightarrow \Gamma (E)\) is the map defined by
One can also use the skew-symmetric Courant bracket \(\llbracket \cdot ,\cdot \rrbracket :\) \( \llbracket e_1,e_2\rrbracket =\frac{1}{2}(\lceil e_1,e_2\rceil -\lceil e_2, e_1\rceil ). \) But the equality (7) does not hold anymore. We have
where \(T(e_1,e_2,e_3)\in C^{\infty }(M)\) is defined by
Theorem 2.5
([27]) A Courant algebroid structure on a vector bundle E gives rise to a 2-term \(L_\infty \)-algebra structure on \(C^{\infty }(M)\oplus \Gamma (E)\), where \(l_i\) are given by
A Courant algebroid can be described by a symplectic NQ-manifold of degree 2 [28]. Explicitly, let \((E,\left( \cdot ,\cdot \right) _+)\) be a pseudo-Euclidean vector bundle over a manifold M. Then, E[1] is a Poisson N-manifold of degree \(-2\). Let \(\mathcal {M}\) be its minimal symplectic realization. An NQ-structure on \(\mathcal {M}\) is determined by a cubic Hamiltonian function \(\Theta \) on \(\mathcal {M}\) satisfying \(\{\Theta ,\Theta \}=0\), where \(\{\cdot ,\cdot \}\) is the even Poisson bracket on \(\mathcal {M}\) of degree \(-2\). Such a \(\Theta \) corresponds to a Courant algebroid structure on E. In fact, we define the anchor \(\rho \) and the Dorfman bracket \(\lceil \cdot ,\cdot \rceil \) as the derived bracket by
Here \(C^\infty (M)\) and \(\Gamma (E)\) are the algebras of degree 0 and degree 1 polynomial functions on \(\mathcal {M}\), respectively. We refer to [39] for a general construction of doubles for graded QS-manifolds and QP-manifolds.
For a vector bundle A, consider the graded manifold \(T^*[2]A[1]\). It is canonically equipped with a Poisson bracket of degree \(-2\), and is actually the minimal symplectic realization of \(A\oplus A^*\). This Poisson bracket, called the big bracket in [18], is denoted here by \(\{\cdot ,\cdot \}\). Let \((x^i, \xi ^a)\) be local coordinates on A[1], we denote by \((x^i, \xi ^a, \theta _a,p_i)\) the local coordinates on \(T^*[2]A[1]\). About their degrees, we have
The big bracket satisfies
A Lie algebroid structure on A is equivalent to a degree 3 function \(\mu =\rho ^i_bp_i\xi ^b+\frac{1}{2}\mu ^a_{bc}\xi ^b\xi ^c\theta _a\) such that \(\{\mu ,\mu \}=0.\)
A Lie quasi-bialgebroid structure on A is given by a degree 3 function \(\mu +\gamma +\phi \), which can be locally written as
and they satisfy
More precisely, we have
See [19] for more details. On \(A\oplus A^*\), there is a natural Courant algebroid structure, in which the degree 3 function \(\Theta \) is exactly \(\mu +\gamma +\phi \). Note that there are two canonical fiber metric \((\cdot ,\cdot )_{\pm }\) on \(A\oplus A^*\):
where \(\langle \cdot ,\cdot \rangle \) is the usual pairing without any degree involved in.
3 Maurer–Cartan elements on homotopy Poisson manifolds
First, we recall the notions of homotopy Poisson algebras and homotopy Poisson manifolds. They are also called \(P_\infty \)-manifolds in [10, 32] and higher Poisson manifolds in [8, 17, 40]. Here, we follow the convention in [26].
Definition 3.1
A homotopy Poisson algebra of degree n is a graded commutative algebra \(\mathfrak a\) over a field of characteristic zero with an \(L_\infty \)-algebra structure \(\{l_m\}_{m\ge 1}\) on \(\mathfrak a[n]\), such that the map
is a derivation of \(\mathfrak a\) of degree \(\kappa :=2-m-n(m-1)+\sum _{i=1}^{m-1}|x_i|\), i.e., for all \(x,y\in \mathfrak a\),
Here, |x| denotes the degree of \(x\in \mathfrak a.\)
A homotopy Poisson algebra of degree n is of finite type if there exists a q such that \(l_m=0\) for all \(m>q\).
A homotopy Poisson manifold of degree n is a graded manifold \(\mathcal {M}\) whose algebra of functions \(C^\infty (\mathcal {M})\) is equipped with a degree n homotopy Poisson algebra structure of finite type.
Throughout this paper, we use \((\mathcal {M},\{l_i\}_{1\le i< \infty })\) to denote a homotopy Poisson manifold. Obviously, a usual Poisson manifold is a homotopy Poisson manifold of degree 0.
Remark 3.2
In this remark, we compare the related structures in the literature.
-
(i)
In [10], the authors introduced the notion of a \(P_\infty \)-algebra, which is a graded commutative algebra \(\mathfrak a\) with an \(L_\infty \)-algebra structure such that the Leibniz rule is satisfied. So a \(P_\infty \)-algebra is a homotopy Poisson algebra of degree 0.
-
(ii)
The notion of a higher Poisson structure was introduced in [40], and further studied in [8, 17], where the authors used the superized version of an \(L_\infty \)-algebra, i.e., \(\mathbb {Z}_2\)-graded.
-
(iii)
A graded Poisson algebra of degree k is a graded commutative algebra \(\mathfrak a\) with a degree \(-k\) Lie bracket, such that the bracket is a biderivation of the product, namely
$$\begin{aligned}{}[x,y\cdot z]=[x,y]\cdot z+(-1)^{|y|(|x|+k)}y\cdot [x,z]. \end{aligned}$$See [9] for more details. Thus, a graded Poisson algebra of degree k is a homotopy Poisson algebra of degree k. In particular, the associated \(L_{\infty }\)-algebra has only one non-zero map \(l_2\).
In the following, we list a few interesting examples of different kinds.
Example 3.3
Let A be a Lie algebroid. Consider its dual vector bundle, \(A^*[1]\), which is an N-manifold of degree 1. Its algebra of polynomial functions is
where \(\Gamma (A)\) is of degree 1, and \(C^\infty (M)\) is of degree 0. The Poisson bracket is in fact the Schouten bracket \([\cdot ,\cdot ]_S\) on \(\Gamma (\wedge ^\bullet A)\). It is straightforward to see that \(A^*[1]\) is a homotopy Poisson manifold of degree 1.
Example 3.4
For an arbitrary manifold M, the shifted cotangent bundle \(T^*[1]M\) is a symplectic N-manifold of degree 1 (see [11, 28]). Its algebra of polynomial functions is
where \(\mathfrak X(M)\) is of degree 1, and \(C^\infty (M)\) is of degree 0. The Poisson bracket is exactly the Schouten bracket \([\cdot ,\cdot ]_S\) on \(\Gamma (\wedge ^\bullet TM)\). It is straightforward to see that \((T^{*}[1]M,l_2=[\cdot ,\cdot ]_S)\) is a homotopy Poisson manifold of degree 1. Similarly, any symplectic N-manifold of degree n is a homotopy Poisson manifold of degree n. The \(L_\infty \)-algebra structure here only contains one nonzero \(l_2\).
Example 3.5
Given a 2-term \(L_\infty \)-algebra \(\mathfrak g=(\mathfrak {g}_ {-1}\mathop {\longrightarrow }\limits ^{l_1}{\mathfrak {g}_0},l_2,l_3)\), its graded dual space \(\mathfrak g^*[1]=\mathfrak {g}^*_0[1]\oplus {\mathfrak {g}^*_ {-1}[1]}\) is an N-manifold of degree 1 with the base manifold \(\mathfrak g_{-1}^*\). Its algebra of polynomial functions is
There is a degree 1 homotopy Poisson algebra structure on it obtained by extending the original 2-term \(L_\infty \)-algebra structure using the Leibniz rule. Thus, the dual of a 2-term \(L_\infty \)-algebra is a homotopy Poisson manifold of degree 1. This generalizes the fact that the dual of a Lie algebra is a linear Poisson manifold.
Similarly, the dual of an n-term \(L_\infty \)-algebra is a homotopy Poisson manifold of degree \(n-1\).
Example 3.6
Given a splitting Lie n-algebroidFootnote 2 \(\mathcal {A}=A_0\oplus {\cdots }\oplus A_{1-n}\), its dual \(\mathcal {A}^*[n]=A_0^*[n]\oplus {\cdots }\oplus A_{1-n}^*[n]\) is an N-manifold of degree n. Its algebra of polynomial functions is
There is a degree n homotopy Poisson algebra structure on it. Thus, the dual of a splitting Lie n-algebroid is a homotopy Poisson manifold of degree n.
It is known that \((M,\pi )\) is a Poisson manifold if and only if \((T^*[1]M,Q)\) is a symplectic NQ-manifold of degree 1, where the homological vector field Q is given by \(Q=\{\pi ,\cdot \}\). More generally, the cotangent bundle of a homotopy Poisson manifold of degree n gives rise to a symplectic NQ-manifold of degree \(n+1\). Consider the homotopy Poisson manifold given in Example 3.5, we have
Proposition 3.7
Given an n-term \(L_\infty \)-algebra \(\mathfrak {g}=({\mathfrak {g}_{0}}\oplus {\cdots } \oplus \mathfrak {g}_{-n+1},\{l_i\}_{1\le i\le n+1})\), the cotangent bundle \(T^*[n]\mathfrak {g}^{*}[n-1]\) is a symplectic NQ-manifold of degree n, where the degree 1 homological vector field Q is given by
in which \(\{\cdot ,\cdot \}\) is the canonical Poisson structure, and \(\sum l_i\in \mathsf {Sym}(\mathfrak g^*[-1])\otimes \mathfrak g[1-n]\) is viewed as a polynomial function of degree \(n+1\) on \(T^*[n]\mathfrak {g}^{*}[n-1]\).
Similar to [13], a Maurer–Cartan element on a degree n homotopy Poisson manifold \(\mathcal {M}\) is given by a function \(\alpha \) on \(\mathcal {M}\) satisfying the Maurer–Cartan equation
Example 3.8
(quasi-Poisson \(\mathfrak g\)-manifolds) Let M be a manifold and \((\mathfrak k,[\cdot ,\cdot ]_\mathfrak k,K)\) a quadratic Lie algebra. Let \(\{e_a\}\) be an orthogonal basis of \(\mathfrak k\) with respect to the metric K, i.e. \(K(e_a,e_b)=\delta _{ab}\), and \(\{e^a\}\) its dual basis. Then K induces an isomorphism, which we denote by \(K^\sharp \), from \(\mathfrak k^*\) to \(\mathfrak k\) via \(K(K^\sharp (\xi ),u)=\langle \xi ,u\rangle \). More precisely, we have \(K^\sharp (e^a)= e_a.\) We define \(R\in \wedge ^3 \mathfrak k^*\) by
Then \(\mathcal {M}:=T^*[1]M\times \mathfrak k[1]\) is a homotopy Poisson manifold of degree 1. In fact, we can define an \(L_{\infty }\)-algebra structure on \(C^{\infty }(\mathcal {M})\) generated by
where \(f\in C^{\infty }(M), X,Y\in \mathfrak X(M)\), \(\xi ,\eta ,\gamma \in \mathfrak k^*,\) and \(\delta :\wedge ^\bullet \mathfrak k^*\longrightarrow \wedge ^{\bullet +1} \mathfrak k^*\) is the coboundary operator associated to the Lie algebra \(\mathfrak k\).
A degree 2 function \(\alpha =\pi +\rho \), where \(\pi \in \wedge ^2\mathfrak X(M)\) and \(\rho \in \mathfrak k^*\otimes \mathfrak X(M)\), is a Maurer–Cartan element, i.e. \(-l_1(\alpha )+\frac{1}{2}l_2(\alpha ,\alpha )-\frac{1}{3!}l_3(\alpha ,\alpha ,\alpha )=0\), if and only if the following three conditions hold:
These conditions are equivalent to that \(\rho :\mathfrak k\longrightarrow \mathfrak X(M)\) is a Lie algebra morphism, \(\pi \) is \(\mathfrak k\)-invariant and \(\frac{1}{2}[\pi ,\pi ]_S=\wedge ^3\rho (K^\sharp (R))\), respectively. Therefore, a quasi-Poisson \(\mathfrak g\)-manifold [1, 2] gives rise to a Maurer–Cartan element on \(\mathcal {M}\).
A homotopy Poisson manifold \((\mathcal {M},\{l_i\}_{1 \le i<\infty })\) is called symplectic if the binary bracket \(l_2\) is non-degenerate. We refer the reader to [17] for a thorough discussion of homotopy symplectic structures in the setting of \(\mathbb {Z}_2\)-graded manifolds.
We turn to study Maurer–Cartan elements on a homotopy symplectic manifold of degree n. First, we present some examples with mathematical and physical interests.
Example 3.9
(Twisted Poisson structures) The shifted cotangent bundle \(T^*[1]M\) of a manifold M is canonically a symplectic N-manifold of degree 1. Slightly different from Example 3.4, with a choice of a closed 3-form H, we introduce a nontrivial \(l_3\) on the algebra of functions of \(T^*[1]M\) by \(l_3(X,Y,Z)=H(X,Y,Z),\) for all \(X,Y,Z\in \mathfrak X(M)\). The compatibility of \(l_2\) and \(l_3\) is due to the fact that H is closed. Thus, \((T^*[1]M,l_2=[\cdot ,\cdot ]_S,l_3=H)\) is a homotopy symplectic manifold of degree 1. The idea of adding a closed 3-form to obtain a new \(L_\infty \)-algebra was first introduced in [31].
A degree 2 function \(\pi \) is a Maurer–Cartan element of \(T^*[1]M\) if and only if
which is equivalent to \(\frac{1}{2}[\pi ,\pi ]=\wedge ^3 {\pi }^\sharp H\), that is, \(\pi \) is a twisted Poisson structure ([29, 34]) on M.
Example 3.10
(Twisted Courant algebroids) Let \(E\longrightarrow M\) be a vector bundle with a fiber metric \(\left( \cdot ,\cdot \right) _+\), and H a closed 4-form on M. Let \(\mathcal {M}\) be its minimal symplectic realization. See [28] for details. Then \(\mathcal {A}^2\) is the section space of a vector bundle \(\mathbb A\), which fits in the following exact sequence:
Similar to the treatment in Example 3.9, we can define a new degree 2 homotopy Poisson algebra structure on the algebra of functions of \(\mathcal {M}\) by adding
Choose a local coordinate \((x^i,p_i,\xi ^a)\). A degree 3 function \(\alpha =\rho ^i_ap_i\xi ^a-\frac{1}{3!}f_{abc}\xi ^a\xi ^b\xi ^c\) is a Maurer–Cartan element if and only if \(\frac{1}{2}l_2(\alpha ,\alpha )+\frac{1}{24}l_4(\alpha ,\alpha ,\alpha ,\alpha )=0.\) Define an anchor \(\rho :E\rightarrow TM\) and a derived bracket \(\lceil \cdot ,\cdot \rceil \) on \(\Gamma (E)\) by
According to [28, Theorem 4.5], we have
On the other hand, a straightforward calculation gives that
Thus, the condition for that \(\alpha \) is a Maurer–Cartan element is equivalent to that \((E,K,\rho ,\lceil \cdot ,\cdot \rceil ,H)\) is a twisted Courant algebroid, which arises from the study of three dimensional sigma models with Wess–Zumino term [14]. See [42] for its close relation with coisotropic Cartan geometry.
We have seen that the study of a general homotopy symplectic manifold of degree n and its Maurer–Cartan elements is inspired by many interesting geometric structures. Next, we will see that these structures naturally appear in the study of topological field theory. To be precise, it is known that there exists a systematic method to construct a topological sigma model from a symplectic NQ-manifold, which is called the Alexandrov–Kontsevich–Schwartz–Zaboronsky (AKSZ) formalism [3]. We will show that this construction can be extended to the case of a degree n homotopy symplectic manifold \((\mathcal {M},\{l_i\}_{2\le i<\infty })\) with a degree \(n+1\) Maurer–Cartan element \(\alpha \). To do this, we need the notion of a twisted symplectic NQ-manifold, which was introduced in [16] to describe the structure on the target supermanifold of the AKSZ sigma model with boundary.
Definition 3.11
[16] Let \((\mathcal {M},\{\cdot ,\cdot \}_s)\) be a symplectic N-manifold of degree n and \(\alpha \) a degree \(n+1\) function on it. Then \((\mathcal {M},\{\cdot ,\cdot \}_s,\alpha )\) is called a twisted symplectic NQ-manifold if there is a degree \(n+1\) symplectic NQ-manifold \((T^*[n+1]\mathcal {M},\{\cdot ,\cdot \},\Theta )\) such that
-
(a)
\(\{\cdot ,\cdot \}_s=\{\cdot ,\{\cdot ,\Theta \}\}|_\mathcal {M}\);
-
(b)
it satisfies the canonical transformation equation \(e^{-\alpha }\Theta |_\mathcal {M}=0\), where
$$\begin{aligned} e^{-\alpha }\Theta =\Theta -\{\alpha ,\Theta \}+\frac{1}{2}\{\alpha , \{\alpha ,\Theta \}\}-\cdots . \end{aligned}$$
The following theorem states that a homotopy symplectic manifold with a Maurer–Cartan element naturally gives rise to a twisted symplectic NQ-manifold.
Theorem 3.12
Degree n homotopy symplectic manifolds \((\mathcal {M},\{l_i\}_{2\le i<\infty })\) with a degree \(n+1\) Maurer–Cartan element \(\alpha \) are in one-to-one correspondence with twisted symplectic NQ-manifolds \((\mathcal {M},\{\cdot ,\cdot \}_s,\alpha )\) with \(\Theta |_{\mathcal {M}}=0\).
Proof
Let \((\mathcal {M},\{l_i\}_{2\le i<\infty })\) be a homotopy symplectic manifold of degree n and \(\alpha \) a degree \(n+1\) Maurer–Cartan element. Then \((T^*[n+1]\mathcal {M},\{\cdot ,\cdot \},\Theta =\sum l_i)\) is a symplectic NQ-manifold of degree \(n+1\), and the following equality holds:
Define \(\{\cdot ,\cdot \}_s=l_2\), which is a Poisson bracket determined by a nondegenerate closed 2-form. Now we extend \(\alpha \) to a function on \(T^*[n+1]\mathcal {M}\), which is constant along the fiber. By (13), we have \(\Theta |_\mathcal {M}=\{\alpha ,\Theta \}|_\mathcal {M}=0\) and
Thus, the condition for that \(\alpha \) satisfies the Maurer–Cartan equation on \((\mathcal {M},\{l_i\}_{2\le i<\infty })\) is equivalent to that the canonical transformation equation \(e^{-\alpha }\Theta |_{\mathcal {M}}=0\) holds on \(T^*[n+1]\mathcal {M}\). \(\square \)
One immediate consequence of the main construction in [16] is that, associated to a degree n homotopy symplectic manifold \((\mathcal {M},\{l_i\}_{2\le i<\infty })\) with a degree \(n+1\) Maurer–Cartan element \(\alpha \), there is an AKSZ sigma model with boundary. This can be viewed as a generalization of AKSZ formalism to the setting of homotopy symplectic manifolds. In particular, if \((\mathcal {M},\{l_i\}_{2\le i<\infty })\) is a symplectic NQ-manifold, i.e. \(l_i=0\) for \(i\ge 3\), it becomes the AKSZ construction.
4 2-term \(L_\infty \)-algebras and Courant algebroids
In this section, we obtain a Courant algebroid from a 2-term \(L_\infty \)-algebra. Consequently, we give a general construction of a 2-term \(L_\infty \)-algebra from a 2-term \(L_\infty \)-algebra, which could produce many interesting examples including the 2-term \(L_\infty \)-algebra associated to an omni-Lie algebra and the 2-term \(L_\infty \)-algebra of string type.
Let \(\mathfrak {g}=(\mathfrak g_{-1}\mathop {\longrightarrow }\limits ^{l_1}\mathfrak g_0,l_2=l^0_2+l^1_2,l_3)\) be a 2-term \(L_\infty \)-algebra, where
By Proposition 3.7, the cotangent bundle \(T^*[2]\mathfrak g^*[1]\) is a symplectic NQ-manifold of degree 2. Now the canonical Poisson structure \(\{\cdot ,\cdot \}\) is given by (2)–(4), in which \(k=l=-1\). We give the relation between \(l_i\) and \(\{\cdot ,\cdot \}\) by the following lemma.
Lemma 4.1
For all \(x,y\in \mathfrak g_0\) and \(m\in \mathfrak g_{-1}\), we have
On the other hand, symplectic NQ-manifolds of degree 2 are in one-to-one correspondence with Courant algebroids [28]. Thus, from \(T^*[2]\mathfrak {g}^{*}[1]\), we obtain a Courant algebroid E:
in which the anchor and the Dorfman bracket are defined by the derived bracket using the degree 3 function \(l=-\sum l_i\). Note that E is the direct sum of two vector bundles A and \(A^*\), where \(A=\mathfrak g_{-1}^*\times \mathfrak g_0^*\longrightarrow \mathfrak g_{-1}^*\) and \(A^*=\mathfrak g_{-1}^*\times \mathfrak g_0\longrightarrow \mathfrak g_{-1}^*\). The fiber metric is given by the canonical pairing between A and \(A^*\).
It is necessary to give the precise structures on the Courant algebroid E.
Proposition 4.2
Consider the Courant algebroid E given above. For constant sections \(x,y\in {\mathfrak {g}_0}, \xi ,\eta \in {\mathfrak {g}_{0}^*}\) and a linear function \(m\in {\mathfrak {g}_{-1}}\), we have
-
(i)
the anchor of x is a linear vector field, more precisely, \(\rho (x)(m)=l_2^1(x,m);\)
-
(ii)
the anchor of \(\xi \) is a constant vector field, more precisely, \(\rho (\xi )=-l_1^*(\xi ),\) where \(l_1^*\) is defined by \(\langle l_1^*(\xi ),m\rangle =-\langle \xi ,l_1(m)\rangle ;\)
-
(iii)
the image of a linear function under the operator D is not a constant section, we have
$$\begin{aligned} Dm=l_{1}(m)-l^1_2(m,\cdot )\in \mathfrak {g}_{0}+\mathfrak g_0^*\otimes \mathfrak {g}_{-1}; \end{aligned}$$(15) -
(iv)
the constant sections in \(\mathfrak g_0\) under the Dorfman bracket are not closed, but we have
$$\begin{aligned} \lceil x,y\rceil =l^0_2(x,y)+l_3(x,y,\cdot )\in \mathfrak {g}_{0}+\mathfrak g_0^* \otimes \mathfrak {g}_{-1}; \end{aligned}$$ -
(v)
the Dorfman bracket of two constant sections in \(\mathfrak g_0^*\) is zero, i.e. \(\lceil \xi ,\eta \rceil =0;\)
-
(vi)
the Dorfman bracket of a constant section in \(\mathfrak g_0^*\) and a constant section in \(\mathfrak g_0\) is a constant section in \(\mathfrak g_0^*\),
$$\begin{aligned} \lceil x,\xi \rceil =-\lceil \xi ,x\rceil =l_2^0(x,\cdot )^*\xi \in {\mathfrak {g}^*_0}, \end{aligned}$$where \(l_2^0(x,\cdot )\in \mathfrak {gl}(\mathfrak g_0)\) can be viewed as the adjoint map, and \(l_2^0(x,\cdot )^*\) is its dual map.
Proof
By the relation \( \rho (x)(m)=\{\{x,-l\},m\} \) and Lemma 4.1, (i) is obvious. (ii) follows from
(iii) follows from the relation \( Dm=\{-l,m\} \) and Lemma 4.1. (iv)-(vi) also follow from the relation \( \lceil a,b\rceil =\{\{a,-l\},b\} \) for all sections a, b and Lemma 4.1. \(\square \)
We have seen that we can obtain linear sections through the Dorfman bracket of constant sections. Thus, it is not enough if we only consider constant sections.
Corollary 4.3
Let \(x\in \mathfrak g_0\) be a constant section, and \(\phi =\xi \otimes m,~\psi =\eta \otimes n:\mathfrak g_{-1}^*\longrightarrow \mathfrak g_0^*\) be linear sections, where \(\xi ,\eta \in \mathfrak g_0^*\) and \(m,n\in \mathfrak g_{-1}\). Then we have
-
(i)
\(\lceil x,\xi \otimes m\rceil =\xi \otimes l_2^1(x,m)+(l_2^0(x,\cdot )^* \xi )\otimes m;\)
-
(ii)
\(\lceil \xi \otimes m,x\rceil =-\xi \otimes l_2^1(x,m)-(l_2^0(x,\cdot )^* \xi )\otimes m+\xi (x)\big (l_1(m)-l_2^1(m,\cdot )\big );\)
-
(iii)
\(\lceil \xi \otimes m,\eta \otimes n\rceil =\langle l_1^*\eta ,m\rangle \xi \otimes n-\langle l^*_1\xi ,n\rangle \eta \otimes m\), equivalently, we have
$$\begin{aligned} \lceil \phi ,\psi \rceil =\phi \circ l_1^*\circ \psi -\psi \circ l_1^*\circ \phi . \end{aligned}$$(16)
Proof
Using the property of the Dorfman bracket, it is straightforward to obtain (i) and (ii). We only give the proof of (iii). We have
Let it act on an arbitrary \(\alpha \in \mathfrak g_{-1}^*\). We obtain
This finishes the proof. \(\square \)
Remark 4.4
Note that the bracket (16) is naturally skew-symmetric and satisfies the Jacobi identity. Thus, it is a Lie bracket. It has already appeared in other places, e.g. see [37, Proposition 3.1] for more details.
Given a Courant algebroid \(E\longrightarrow {M}\), using the skew-symmetric Courant bracket, we get a 2-term \(L_\infty \)-algebra structure on \(C^\infty (M)\oplus {\Gamma (E)}\). Now consider the Courant algebroid (14) obtained from a 2-term \(L_\infty \)-algebra. Since it is linear, we pick linear functions on \(\mathfrak g_{-1}^*\) as the degree \(-1\) part and \(\mathfrak {g}_0\oplus {(\mathfrak {g}_{-1}}\otimes {\mathfrak {g}^*_0})\) as the degree 0 part. Before we give the precise structure of the corresponding 2-term \(L_\infty \)-algebra, we give some properties of the skew-symmetric Courant bracket \(\llbracket \cdot ,\cdot \rrbracket \).
Corollary 4.5
With the above notations, for any \(x,y,z\in \mathfrak g_0\), and \(\xi \otimes m,\eta \otimes n\in \mathfrak g_0^*\otimes \mathfrak g_{-1}\), we have
Now we can give the main theorem in this section.
Theorem 4.6
Given a 2-term \(L_\infty \)-algebra \(\mathfrak {g}=(\mathfrak g_{-1}\mathop {\longrightarrow }\limits ^{l_1}\mathfrak g_0,l_2=l^0_2+l^1_2,l_3)\), we can obtain a new 2-term \(L_\infty \)-algebra \(\tilde{\mathfrak g}=(\mathfrak {g}_{-1}\mathop {\longrightarrow }\limits ^{\tilde{l}_1}{\mathfrak {g}_0\oplus {(\mathfrak {g}_{-1}\otimes {\mathfrak {g}^*_0})}}, \tilde{l_2}=\tilde{l}_2^0+\tilde{l}_2^1,\tilde{l}_3)\) from the corresponding Courant algebroid (14), in which \(\tilde{l}_1=D\) (given by (15)), \(\tilde{l}^0_2\) is given by (17), \(\tilde{l}^1_2\) and \(\tilde{l}_3\) are given by
and
Proof
It follows from Theorem 2.5, Proposition 4.2 and Corollary 4.5. \(\square \)
Now we give some examples to illustrate that the construction given in the above theorem is full of interest.
Example 4.7
(omni-Lie algebra) Let V be a vector space. Consider the abelian 2-term \(L_\infty \)-algebra \((V\mathop {\longrightarrow }\limits ^\mathrm{{id}} V,l_2=0,l_3=0)\). By Theorem 4.6, we get a new 2-term \(L_\infty \)-algebra \((V\mathop {\longrightarrow }\limits ^{\mathbbm {i}}V\oplus \mathfrak {gl}(V),\tilde{l}_2,\tilde{l}_3)\), in which \(\mathbbm {i}\) is the natural inclusion, and
for all \(u,v,w\in V_0=V, m\in V_{-1}=V\) and \(A,B,C\in \mathfrak {gl}(V)\). This 2-term \(L_\infty \)-algebra is the one associated to the omni-Lie algebra \(V\oplus \mathfrak {gl}(V)\). See [36, 41] for more details.
Example 4.8
(2-term \(L_\infty \)-algebra of string type) Let \((\mathfrak {k},[\cdot ,\cdot ]_\mathfrak k)\) be a Lie algebra. Consider the 2-term \(L_\infty \)-algebra \((\mathbb {R}\mathop {\longrightarrow }\limits ^{0}\mathfrak {k},l_2=[\cdot ,\cdot ]_\mathfrak k,l_3=0)\). By Theorem 4.6, we get a new 2-term \(L_\infty \)-algebra \((\mathbb {R}\mathop {\longrightarrow }\limits ^{0}\mathfrak {k}\oplus \mathfrak {k}^*,\tilde{l}_2,\tilde{l}_3)\), where \(\tilde{l}_2\) and \(\tilde{l}_3\) are given by
for all \(u,v,w\in \mathfrak k\), \(\xi ,\eta ,\zeta \in \mathfrak k^*\) and \(r\in \mathbb R\). This is exactly the 2-term \(L_\infty \)-algebra of string type studied in [36].
Example 4.9
Let \((\mathfrak {k},[\cdot ,\cdot ]_\mathfrak k,K)\) be a quadratic Lie algebra, and \((\mathbb {R}\mathop {\longrightarrow }\limits ^{0}\mathfrak {k},l_2,l_3)\) the corresponding string Lie 2-algebra. More precisely,
Then we get a new 2-term \(L_\infty \)-algebra \((\mathbb {R}\mathop {\longrightarrow }\limits ^{0}\mathfrak {k}\oplus \mathfrak {k}^*,\tilde{l}_2,\tilde{l}_3)\), in which
for all \(u,v,w\in \mathfrak {k}, r\in \mathbb {R}\) and \(\xi ,\eta ,\zeta \in \mathfrak {k}^*\).
Example 4.10
Consider the 2-term \(L_\infty \)-algebra \((\mathfrak {k}\mathop {\longrightarrow }\limits ^\mathrm{{id}}\mathfrak {k},l_2=[\cdot ,\cdot ]_\mathfrak k,l_3=0)\), where \((\mathfrak {k},[\cdot ,\cdot ]_\mathfrak k)\) is a Lie algebra. By Theorem 4.6, we obtain a new 2-term \(L_\infty \)-algebra \((\mathfrak {k}\mathop {\longrightarrow }\limits ^{\tilde{l}_1}\mathfrak {k}\oplus \mathfrak {gl}(\mathfrak {k}),\tilde{l}_2,\tilde{l}_3)\), where
for all \(u,v,w\in \mathfrak k, m\in \mathfrak k\) and \(A,B,C\in \mathfrak {gl}(\mathfrak k)\). This 2-term \(L_\infty \)-algebra can be viewed as a deformation of the one associated to the omni-Lie algebra. It can also be viewed as a linearization of the Courant algebroid \(TM\oplus T^*_\pi M\), where \(T^*_\pi M\) denotes the Lie algebroid associated to the Poisson manifold \((M,\pi )\). We will study its full properties in a separate paper.
Now let us consider the relation between the 2-term \(L_\infty \)-algebra given in the above theorem and the original 2-term \(L_\infty \)-algebra.
Theorem 4.11
With the above notations, there is an \(L_\infty \)-algebra homomorphism \(F=(F_0=\mathrm {pr}_1,F_1=\mathrm{{id}},F_2)\) from \(\tilde{\mathfrak g}\) to \(\mathfrak g\), in which \(\mathrm {pr}_1\) is the projection to the first component, and \(F_2:\wedge ^2(\mathfrak g_0\oplus (\mathfrak g_0^*\otimes \mathfrak g_{-1}))\longrightarrow \mathfrak g_{-1}\) is given by
for all \( x,y\in {\mathfrak {g}_0},~\xi \otimes m,\eta \otimes n\in \mathfrak g_0^*\otimes \mathfrak g_{-1}.\)
Proof
We verify the conditions of an \(L_\infty \)-algebra homomorphism step by step. It is obvious that
Then, by Corollary 4.5, we obtain
On the other hand, it is obvious that
Therefore, we have
By (18), we obtain
which implies that
On the other hand, we have
Thus, we have
It is left to prove the compatibility condition, that is, for all \(a,b,c\in \mathfrak g_0\oplus \mathfrak g_0^*\otimes \mathfrak g_{-1}\),
First, for all \(a,b,c\in \mathfrak {g}_{-1}\otimes {\mathfrak {g}^*_{0}}\), it is obvious that both sides of the equation are 0. While for all \(a,b,c\in {\mathfrak {g}_0}\) (we use the notation x, y, z instead), it is obvious that the left hand side is equal to \(l_3(x,y,z)\). It is not hard to see that
which implies that (24) holds for all \(x,y,z\in {\mathfrak {g}_0}\). For x, y in \(\mathfrak {g}_0\) and \(\xi \otimes m\) in \(\mathfrak g_0^*\otimes \mathfrak {g}_{-1}\), we have
and
which implies that (24) holds for two elements in \(\mathfrak g_0\) and one element in \(\mathfrak g_0^*\otimes \mathfrak {g}_{-1}\). At last, for \(x\in \mathfrak {g}_0\) and \(\xi \otimes m,\eta \otimes n\in \mathfrak g_0^*\otimes \mathfrak {g}_{-1}\), it is obvious that the left hand side of (24) is equal to 0. Furthermore, we have
Thus, (24) holds for all \(a,b,c\in \mathfrak g_0\oplus \mathfrak g_0^*\otimes \mathfrak g_{-1}\). By (21)–(24), we deduce that F is an \(L_\infty \)-algebra homomorphism. \(\square \)
5 Lie 2-algebras and quasi-Poisson groupoids
In this section, we show that the Courant algebroid associated to a 2-term \(L_\infty \)-algebra is the double of a Lie quasi-bialgebroid. Then, by integration, we obtain a quasi-Poisson groupoid. Since a 2-term \(L_\infty \)-algebra is equivalent to a Lie 2-algebra, this quasi-Poisson groupoid can serve as the geometric structure on the dual of a Lie 2-algebra.
Let \(\mathfrak {g}=(\mathfrak g_{-1}\mathop {\longrightarrow }\limits ^{l_1}\mathfrak g_0,l_2=l^0_2+l^1_2,l_3)\) be a 2-term \(L_\infty \)-algebra. The vector bundle \(E\longrightarrow {M}\) given by (14) can be decomposed as \(A\oplus {A^*}\), where \(A={\mathfrak {g}^*_{-1}}\times \mathfrak {g}^*_{0}\longrightarrow {\mathfrak {g}^*_{-1}}\) is a trivial vector bundle. By Lemma 2.3 (\(k=-1\)), the 2-term \(L_\infty \)-algebra structure \(l=l_1+(l^1_2+l^0_2)+l_3\), where \(l_1\in {\mathfrak {g}^*_{-1}\otimes {\mathfrak {g}_0}},~ l^0_2 \in {\wedge ^{2}\mathfrak {g}^*_{0}\otimes {\mathfrak {g}_0}},~ l^1_2\in {\mathfrak {g}^*_{0}\wedge {\mathfrak {g}^*_{-1}}\otimes {\mathfrak {g}_{-1}}},~ l_3 \in {\wedge ^{3}\mathfrak {g}^*_{0}\otimes {\mathfrak {g}_{-1}}},\) satisfies \(\{l,l\}=0\). By the degree reason, \(\{l,l\}=0\) implies that
Comparing this with (9), we can see that Eq. (25) implies Eq. (9) for \(\mu =-l_1,~\gamma =-l_2=-l_2^0-l_2^1,~\phi =-l_3\). Therefore, we have
Theorem 5.1
Let \(\mathfrak {g}=(\mathfrak g_{-1}\mathop {\longrightarrow }\limits ^{l_1}\mathfrak g_0,l_2=l^0_2+l^1_2,l_3)\) be a 2-term \(L_\infty \)-algebra. Then \((A,-l)\) is a Lie quasi-bialgebroid, where \(A={\mathfrak {g}^*_{-1}}\times \mathfrak {g}^*_{0}\longrightarrow {\mathfrak {g}^*_{-1}}\) and \(l=l_1+(l^1_2+l^0_2)+l_3\), and the Courant algebroid E is the double of the Lie quasi-bialgebroid \((A,-l)\).
Now we give the precise structure on A and \(A^*\) using the general method of differential geometry. By Theorem 5.1 and Proposition 4.2, we have
Corollary 5.2
The Lie algebroid structure on A, determined by \(-l_1\), is given by
-
(i)
for any constant section \(\xi \in \mathfrak g_0^*,\) the anchor \(\rho _A\) is given by \(\rho _A(\xi )=-l_1^*(\xi )\);
-
(ii)
for any constant sections \(\xi ,\eta \in \mathfrak g_0^*,\) we have \([\xi ,\eta ]_A=0;\)
-
(iii)
for any constant section \(\xi \in \mathfrak g_0^*\) and linear section \(\eta \otimes n\in \mathfrak g_0^*\otimes \mathfrak g_{-1}\), we have
$$\begin{aligned}{}[\xi ,\eta \otimes n]_A=\langle \xi ,l_1(n)\rangle \eta ; \end{aligned}$$ -
(iv)
for any linear sections \(\xi \otimes m, \eta \otimes n\in \mathfrak g_0^*\otimes \mathfrak g_{-1}\), we have
$$\begin{aligned}{}[\xi \otimes m,\eta \otimes n]_A=\langle l_1^*\eta ,m\rangle \xi \otimes n-\langle l^*_1\xi ,n\rangle \eta \otimes m. \end{aligned}$$
Thus, A is an action Lie algebroid of the abelian Lie algebra \(\mathfrak g_0^*\) acting on \(\mathfrak g_{-1}^*\) via \(-l^*_1\), which sends an element \(\xi \in \mathfrak g_0^*\) to a constant vector field \(-l^*_1(\xi )\in \mathfrak g_{-1}^*.\) The corresponding Chevalley-Eilenberg coboundary operator \(d_A:\Gamma (\wedge ^\bullet A^*)\longrightarrow \Gamma (\wedge ^{\bullet +1}A^*)\) is determined by
Corollary 5.3
For all constant section \(x\in \mathfrak g_0\) of \(A^*\), \(-l_2^1\) gives rise to the anchor map \(\rho _{A^*}\) of \(A^*\) via
which is a linear vector field. For all constant sections \(x,y\in \mathfrak g_0\), \(-l_2^0\) gives rise to the bracket operation on \(A^*\):
The Jacobi identity of \([\cdot ,\cdot ]_{A^*}\) is controlled by \(\phi =-l_3\in \wedge ^3\mathfrak g_0^*\otimes \mathfrak g_{-1}\subset \Gamma (\wedge ^3A)\). More precisely, we have
Now we can restate Theorem 5.1 using usual language of differential geometry. This is necessary since we will consider the integration of Lie quasi-bialgebroids at the end of this section.
Corollary 5.4
Given a 2-term \(L_\infty \)-algebra \(\mathfrak {g}=(\mathfrak g_{-1}\mathop {\longrightarrow }\limits ^{l_1}\mathfrak g_0,l_2=l^0_2+l^1_2,l_3)\), we obtain a Lie quasi-bialgebroid \((A,\delta ,\phi )\), where the Lie algebroid \(A=\mathfrak {g}^*_{-1}\times {\mathfrak {g}^*_{0}}\longrightarrow {\mathfrak {g}^*_{-1}}\) is given by Corollary 5.2, \(\delta :\Gamma (\wedge ^kA)\longrightarrow \Gamma (\wedge ^{k+1}A)\) is the generalized Chevalley-Eilenberg operator determined by the anchor \(\rho _{A^*}\) and the bracket \([\cdot ,\cdot ]_{A^*}\) given in Corollary 5.3, and \(\phi =-l_3\).
In the last section, we have seen that, given a 2-term \(L_\infty \)-algebra, there is a new 2-term \(L_\infty \)-algebra associated to the Courant algebroid E (Theorem 4.6), and there is an \(L_\infty \)-algebra homomorphism from the new 2-term \(L_\infty \)-algebra to the original one (Theorem 4.11). In this section, we see that the Courant algebroid is exactly the double of the Lie quasi-bialgebroid \((A,\delta ,\phi )\). In fact, we can obtain a more general result than Theorem 4.11. Namely, given any Lie quasi-bialgebroid \((A,\delta ,\phi )\), we can obtain a 2-term \(L_\infty \)-algebra \(C^{\infty }(M)\oplus \mathrm {ker}(d_A|_{\Gamma (A^*)})\), where \(d_A\) is the coboundary operator associated to Lie algebroid A and \(d_A|_{\Gamma (A^*)}:\Gamma (A^*)\longrightarrow \Gamma (\wedge ^2A^*)\) is the restriction of \(d_A\) on \(\Gamma (A^*)\). Furthermore, we construct an \(L_\infty \)-algebra homomorphism from the 2-term \(L_\infty \)-algebra associated the Courant algebroid \(A\oplus A^*\) to \(C^{\infty }(M)\oplus \mathrm {ker}(d_A|_{\Gamma (A^*)})\).
Theorem 5.5
Let \((A,\delta ,\phi )\) be a Lie quasi-bialgebroid. Then there is a 2-term \(L_\infty \)-algebra structure on \(C^{\infty }(M)\oplus \mathrm {ker}(d_A|_{\Gamma (A^*)})\), where \(C^{\infty }(M)\) is of degree \(-1\), \(\mathrm {ker}(d_A|_{\Gamma (A^*)})\) is of degree 0, and \(\{ l_i\}\) are given by
Furthermore, there is an \(L_\infty \)-algebra homomorphism \(F=(F_0=\mathrm {pr}_2,F_1=\mathrm{{id}},F_2)\) from the 2-term \(L_\infty \)-algebra associated to the Courant algebroid \(A\oplus A^*\), \(C^{\infty }(M)\oplus \Big (\Gamma (A)\oplus \mathrm {ker}(d_A|_{\Gamma (A^*)})\Big )\), to \(C^{\infty }(M)\oplus \mathrm {ker}(d_A|_{\Gamma (A^*)})\), where \(\mathrm {pr}_2\) is the projection to the second component, and \(F_2\) is given by
Proof
Since A is a Lie algebroid, we have \(d_A^2=0,\) i.e. \(\mathrm {Im}(d_A)\subset \ker (d_A)\). Thus, \(l_1\) is well-defined. By the fact that \((A,\delta ,\phi )\) is a Lie quasi-bialgebroid, it is straightforward to see that \(\{l_i\}\) is a 2-term \(L_\infty \)-algebra structure. Furthermore, it is not hard to see that the Courant bracket on \(\Gamma (A)\oplus \mathrm {ker}(d_A|_{\Gamma (A^*)})\) is closed, which implies that the 2-term \(L_\infty \)-algebra \(C^{\infty }(M)\oplus (\Gamma (A)\oplus \Gamma (A^*))\) associated to the Courant algebroid \(A\oplus A^*\) can be reduced to \(C^{\infty }(M)\oplus (\Gamma (A)\oplus \mathrm {ker}(d_A|_{\Gamma (A^*)}))\). We can also prove that F is indeed a homomorphism similar as the proof of Theorem 4.11. \(\square \)
Next, we return to the Lie quasi-bialgebroid \((A,\delta ,\phi )\) associated to a 2-term \(L_\infty \)-algebra. Clearly, the Lie algebroid A can be integrated to an action groupoid \(\Gamma :\mathfrak {g}^*_{-1}\times {\mathfrak {g}^*_0}\rightrightarrows {\mathfrak {g}^*_{-1}}\) with the abelian group structure on \(\mathfrak {g}^*_0\), where the source, target and inclusion maps are given by
for all \((\alpha ,\xi )\in \mathfrak {g}^*_{-1}\times {\mathfrak {g}^*_0}\). By Theorem 4.9 in [15], we know that \(\Gamma \) has a quasi-Poisson structure, such that its corresponding Lie quasi-bialgebroid is exactly \((A,\delta ,\phi )\). Recall that a quasi-Poisson groupoid is a triple \((\Gamma ,\Pi ,\phi )\), where \(\Gamma \) is a Lie groupoid whose Lie algebroid is A, \(\Pi \in \wedge ^2\mathfrak X(\Gamma )\), and \(\phi \in \Gamma (\wedge ^3A)\), satisfying \(\frac{1}{2}[\Pi ,\Pi ]_S=\overleftarrow{\phi }-\overrightarrow{\phi }, [\Pi ,\overleftarrow{\phi }]=0\). Generally, it is a rather difficult work to get the bivector field from the data of an ordinary Lie quasi-bialgebroid. Nevertheless, we can elaborate the quasi-Poisson structure in our specific case, since all the structures are determined by the information of the 2-term \(L_\infty \)-algebra.
Theorem 5.6
The quasi-Poisson groupoid corresponding to \((A,\delta ,\phi )\) is \((\Gamma ,\Pi , \phi =-l_3)\), where \(\Pi \) is characterized by
where d is the usual de Rham differential, and \(x,y\in \mathfrak g_0, m,n\in \mathfrak g_{-1}\) are linear functions on \(\mathfrak {g}^*_{-1}\times {\mathfrak {g}^*_0}\).
We need to make some preparations to prove the theorem. Let us take a general action groupoid into account.
Let \(M{\lhd }G\) be an action groupoid and \(M{\lhd }\mathfrak g\) the corresponding Lie algebroid, where \(\mathfrak g\) is the Lie algebra of Lie group G, and the anchor is given by the infinitesimal action of \(\mathfrak g\) on M, i.e. a Lie algebra homomorphism \(\widehat{\cdot }:{\mathfrak g}\longrightarrow {\mathfrak X(M)}\),
We assume that the derivatives are all taken at \(t=0\). We use \(l_a(resp. ~r_a)\) to denote the left(right)-translation on the Lie group G and \(l_{(x,a)}(resp. ~r_{(x,a)})\) the left(right)-translation on the groupoid \(M\triangleleft G\), respectively. Let \((l_a)_*,(r_a)_*\) and \((l_{(x,a)})_*,(r_{(x,a)})_*\) be the corresponding tangent maps.
For the Lie algebroid A of a Lie groupoid \(\Gamma \), when we say the left-translation \(\overleftarrow{\Lambda }\) (right-translation \(\overrightarrow{\Lambda }\)) of \({\Lambda }\in \Gamma (A)\), we are identifying \(\Gamma (A)\) with left-invariant (right-invariant) vector fields on \(\Gamma \).
Lemma 5.7
Let \(M{\lhd }G\) be an action Lie groupoid and \(M{\lhd }\mathfrak g\) the corresponding Lie algebroid. For all \({\phi }\in {\Gamma (M{\lhd }\mathfrak g)},(x,a)\in {M\times {G}}\), we have
Proof
For this action groupoid, the s-fiber over x is \(s^{-1}(x)=\{(x,a);\forall {a}\in {G}\}=\{x\}\times {G}\), and the t-fiber over x is \(t^{-1}(x)=\{(x\cdot {a^{-1}},a);\forall {a}\in {G}\}\). The tangent map of \(l_{(x,a)}:s^{-1}(x\cdot {a})\longrightarrow {s^{-1}(x)}\) is \((l_{(x,a)})_{*(x\cdot a,e)}:T_{(x\cdot {a},e)}s^{-1}(x\cdot {a}) \longrightarrow {T_{(x,a)}s^{-1}(x)}\). Let \(\phi :M\longrightarrow \mathfrak g\) be a section of \(M\lhd \mathfrak g\) and \(\gamma (t)\) a smooth curve on G satisfying \(\gamma (0)=e,\gamma '(0)=\phi (x\cdot {a})\). Then we have
Similarly, the tangent map of \(r_{(x,a)}:t^{-1}(x)\longrightarrow {t^{-1}(x\cdot {a})}\) is \((r_{(x,a)})_{*(x,e)}:T_{(x,e)}t^{-1}(x)\longrightarrow {T_{(x,a)}t^{-1}(x\cdot {a})}\). Let \(\gamma (t)\) be a smooth curve on G satisfying \(\gamma (0)=e,\gamma '(0)=\phi (x)\). When \(\phi \) is considered as a right-invariant vector field, we have
Thus, we get
\(\square \)
Proof of Theorem 5.6
According to Theorems 2.34 and 4.9 in [15], we only need to prove \(\delta _\Pi =\delta ,\) that is, for any function \(f\in C^\infty (\mathfrak {g}_{-1}^*)\) and any section \(e\in \Gamma (A) \), we have \(\overleftarrow{\delta f}=[t^* f,\Pi ]_S,~ \overleftarrow{\delta e}=[\overleftarrow{e},\Pi ]_S\). We only give the proof for a linear function \(m\in \mathfrak {g}_{-1}\) and a constant section \(\xi \in \mathfrak {g}_0^* \).
By calculation, we have \(t^* (m)=m-l_1(m).\) Considering the linear action of the abelian group \(\mathfrak g_0^*\) on \(\mathfrak g_ {-1}^*\) and by Lemma 5.7, we have,
Thus, for a linear function \(n+x\) on \(\mathfrak g_{-1}^* \times \mathfrak g_0^*\), we have
while
Then, we have \(\overleftarrow{\delta m}=[t^* m,\Pi ]_S\). To prove \(\delta \xi =[\xi ,\Pi ]_S\) as bivector fields, we just need to verify that it holds on two 1-forms on \(\mathfrak g_0^*\), since it vanishes for all the other cases. By straightforward calculation, we have \( \delta \xi (\mathrm{d}x,\mathrm{d}y)=-\langle \xi ,[x,y]_{A^*}\rangle =-\langle \xi ,l_2^0(x,y)\rangle ,\) and
Therefore, we complete the proof. \(\square \)
There is a one-to-one correspondence between 2-term chain complex \({V}_{1}\mathop {\longrightarrow }\limits ^{\mathrm {d}}{V}_{0}\) and 2-vector space \(\mathbb {V}:{V}_{1}\oplus {V_0}\rightrightarrows {V_0}\). Actually, the 2-vector space \(\mathbb {V}\) is an action Lie groupoid \(V_0 \triangleleft {V}_{1}\), where \({V}_{1}\) is seen as an abelian group and the action is given by \(v_0\cdot v_1:=v_0+\mathrm {d}v_1,\) for all \(v_0\in V_0, v_1\in V_1\).
Definition 5.8
Let \(\mathbb V\) be a 2-vector space. If \((\mathbb {V},\Pi ,\phi )\) is a quasi-Poisson groupoid such that the bivector field \(\Pi \) and the trisection \(\phi \) are both linear, we call \((\mathbb {V},\Pi ,\phi )\) a Lie-quasi-Poisson groupoid.
Consider the 2-vector space \(\mathfrak {g}^*_{-1}\oplus {\mathfrak g^*_{0}}\rightrightarrows {\mathfrak {g}^*_{-1}}\) given by the 2-term chain complex \( \mathfrak {g}^*_{0}\mathop {\longrightarrow }\limits ^{l^*_1}{\mathfrak {g}^*_{-1}}\), which is the dual of the complex \(\mathfrak g_{-1}\mathop {\longrightarrow }\limits ^{l_1}\mathfrak g_0\). Consequently, by Theorem 5.6, we generalize the fact that there is a Lie-Poisson structure on the dual space of a Lie algebra to the case of Lie 2-algebras.
Theorem 5.9
The dual of a Lie 2-algebra is a Lie-quasi-Poisson groupoid.
We obtain our result through the integration of the Lie quasi-bialgebroid associated to a Lie 2-algebra. One can also obtain a quasi-Poisson Lie 2-group from a Lie 2-algebra via the integration of Lie 2-bialgebras. See [12] for more details.
Notes
There are different ways to describe the double of a Lie bialgebroid, e.g. Mackenzie gave the description of Drinfeld doubles for Lie bialgebroids using double Lie algebroids in [24]; Roytenberg and Voronov gave the description of Drinfeld doubles for Lie bialgebroids using graded manifolds in [28, 39] respectively.
References
Alekseev, A., Kosmann-Schwarzbach, Y.: Manin pairs and moment maps. J. Differ. Geom. 56, 133–165 (2000)
Alekseev, A., Kosmann-Schwarzbach, Y., Meinrenken, E.: Quasi-Poisson manifolds. Can. J. Math. 54, 3–29 (2002)
Alexandrov, M., Kontsevich, M., Schwartz, A., Zaboronsky, O.: The geometry of the master equation and topological quantum field theory. Int. J. Mod. Phys. A 12, 1405 (1997)
Baez, J.C., Crans, A.S.: Higher-dimensional algebra VI: Lie 2-algebras. Theory Appl. Categ. 12, 492–528 (2004)
Baez, J.C., Hoffnung, A.E., Rogers, C.L.: Categorified symplectic geometry and the classical string. Commun. Math. Phys. 293(3), 701–725 (2010)
Baez, J.C., Rogers, C.L.: Categorified symplectic geometry and the string Lie 2-algebra. Homol. Homotopy Appl. 12(1), 221–236 (2010)
Bonavolontà, G., Poncin, N.: On the category of Lie \(n\)-algebroids. J. Geom. Phys. 73, 79–90 (2013)
Bruce, A.: From \(L_\infty \)-algebroids to higher Schouten/Poisson structures. Rep. Math. Phys. 67(2), 157–177 (2011)
Cattaneo, A.S., Fiorenza, D., Longoni, R.: Graded Poisson Algebras. Encycl. Math. Phys. 2, 560–567 (2006)
Cattaneo, A.S., Felder, G.: Relative formality theorem and quantisation of coisotropic submanifolds. Adv. Math. 208(2), 521–548 (2007)
Cattaneo, A.S., Zambon, M.: A supergeometric approach to Poisson reduction. Commun. Math. Phys. 318(3), 675–716 (2013)
Chen, Z., Stiénon, M., Xu, P.: Poisson 2-groups. J. Differ. Geom. 94(2), 209–240 (2013)
Fregier, Y., Zambon, M.: Simultaneous deformations and Poisson geometry. Compos. Math. 151(9), 1763–1790 (2015)
Hansen, M. Strobl, T.: First class constrained systems and twisting of courant algebroids by a closed \(4\)-form. Fundamental interactions, pp. 115–144. World Sci. Publ., Hackensack (2010)
Iglesias Ponte, D., Laurent-Gengoux, C., Xu, P.: Universal lifting theorem and quasi-Poisson groupoids. J. Eur. Math. Soc. (JEMS) 14(3), 681–731 (2012)
Ikeda, N., Xu, X.: Canonical functions, differential graded symplectic pairs in supergeometry, and Alexandrov-Kontsevich-Schwartz-Zaboronsky sigma models with boundaries. J. Math. Phys. 55, 113505 (2014)
Khudaverdian, H.M., Voronov, Th.: Higher Poisson brackets and differential forms. Geometric methods in physics, pp. 203–215. AIP Conf. Proc., : Am. Inst. Phys, Melville, NY (1079) (2008)
Kosmann-Schwarzbach, Y.: Jacobian quasi-bialgebras and quasi-Poisson Lie groups. Mathematical aspects of classical field theory (Seattle, WA, 1991), vol. 132, pp. 459–489. Contemp. Math., Am. Math. Soc., Providence, RI (1992)
Kosmann-Schwarzbach, Y.: Quasi, twisted, and all that... in Poisson geometry and Lie algebroid theory. The breadth of symplectic and Poisson geometry, vol. 232, pp. 363–389. Progr. Math. Birkhäuser Boston, Boston (2005)
Kosmann-Schwarzbach, Y.: Poisson and symplectic functions in Lie algebroid theory. Higher structures in geometry and physics, vol. 287, pp. 243–268. Progr. Math. Birkhäuser/Springer, New York (2011)
Lada, T., Markl, M.: Strongly homotopy Lie algebras. Commun. Algebra 23(6), 2147–2161 (1995)
Lada, T., Stasheff, J.: Introduction to sh Lie algebras for physicists. Int. J. Theor. Phys. 32(7), 1087–1103 (1993)
Liu, Z., Weinstein, A., Xu, P.: Manin triples for Lie bialgebroids. J. Differ. Geom. 45, 547–574 (1997)
Mackenzie, K.C.H.: Ehresmann doubles and Drinfel’d doubles for Lie algebroids and Lie bialgebroids. J. Reine Angew. Math. 658, 193–245 (2011)
Mackenzie, K.C.H., Xu, P.: Lie bialgebroids and Poisson groupoids. Duke Math. J. 73(2), 415–452 (1994)
Mehta, R.A.: On homotopy Poisson actions and reduction of symplectic \(Q\)-manifolds. Differ. Geom. Appl. 29(3), 319–328 (2011)
Roytenberg, D., Weinstein, A.: Courant algebroids and strongly homotopy Lie algebras. Lett. Math. Phys. 46(1), 81–93 (1998)
Roytenberg, D.: On the structure of graded symplectic supermanifolds and Courant algebroids. Quantization, Poisson Brackets and Beyond, vol. 315, pp. 169–185. Contemp. Math., Am. Math. Soc., Providence, RI (2002)
Roytenberg, D.: Quasi-Lie bialgebroids and twisted Poisson manifold. Lett. Math. Phys. 61(2), 123–137 (2002)
Roytenberg, D.: Courant algebroids, derived brackets and even symplectic supermanifolds. Ph. D thesis, UC Berkeley (1999). arXiv:math.DG/9910078
Roytenberg, D.: On weak Lie \(2\)-algebras. XXVI Workshop on Geometrical Methods in Physics, vol. 956, pp. 180–198. AIP Conf. Proc., Am. Inst. Phys., Melville (2007)
Schätz, F.: Coisotropic submanifolds and the BFV-complex. Ph. D thesis, University Zürich (2009)
Ševera, P.: Some title containing the words “homotopy” and “symplectic”, e.g. this one. Travaux math \(\acute{e}\) matiques. Fasc. XVI, pp. 121–137. Trav. Math., XVI, Univ. Luxemb., Luxembourg (2005)
Ševera, P., Weinstein, A.: Poisson geometry with a 3-form background. Prog. Theor. Phys. Suppl. 144, 145–154 (2001)
Sheng, Y., Zhu, C.: Higher Extensions of Lie Algebroids. Commun. Contemp. Math. (2016). doi:10.1142/S0219199716500346
Sheng, Y., Zhu, C.: Semidirect products of representations up to homotopy. Pac. J. Math. 249(1), 211–236 (2011)
Sheng, Y., Zhu, C.: Integration of semidirect product Lie 2-algebras. Int. J. Geom. Methods Mod. Phys.9(5), 1250043 (2012)
Stasheff, J.: Differential graded Lie algebras, quasi-Hopf algebras and higher homotopy algebras. Quantum groups (Leningrad, 1990), vol. 1510, pp. 120–137. Lecture Notes in Math. Springer, Berlin (1992)
Voronov, Th: Graded manifolds and Drinfeld doubles for Lie bialgebroids. Contemp. Math. 315, 131–168 (2002)
Voronov, Th: Higher derived brackets and homotopy algebras. J. Pure Appl. Algebra 202(1–3), 133–153 (2005)
Weinstein, A.: Omni-Lie algebras. Microlocal analysis of the Schrödinger equation and related topics (Japanese) (Kyoto, 1999). S\({\bar{u}}\)rikaisekikenky\({\bar{u}}\)sho K\({\bar{u}}\)ky\({\bar{u}}\)roku 1176, 95–102 (2000)
Xu, X.: Twisted Courant algebroids and coisotropic Cartan geometries. J. Geom. Phys. 82, 124–131 (2014)
Acknowledgements
We give our warmest thanks to Jim Stasheff and the referee for very helpful comments that improve the paper. We also give our special thanks to Noriaki Ikeda, Zhangju Liu, Pavol Ševera and Chenchang Zhu for very useful comments and discussions. We thank Marco Zambon for pointing out the reference [26] to us.
Author information
Authors and Affiliations
Corresponding author
Additional information
Research supported by NSFC (11101179,11471139) and NSF of Jilin Province (20140520054JH). Xiaomeng Xu was partially supported by the SNSF Grants P2GEP2-165118 and NCCR SwissMAP.
Rights and permissions
About this article
Cite this article
Lang, H., Sheng, Y. & Xu, X. Strong homotopy Lie algebras, homotopy Poisson manifolds and Courant algebroids. Lett Math Phys 107, 861–885 (2017). https://doi.org/10.1007/s11005-016-0925-8
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11005-016-0925-8
Keywords
- \(L_\infty \)-algebras
- Lie 2-algebras
- Homotopy Poisson manifolds
- Courant algebroids
- Symplectic NQ-manifolds
- Maurer–Cartan elements