Cohomologies of n-Lie Algebras with Derivations

Abstract

The goal of this paper is to study cohomological theory of n-Lie algebras with derivations. We define the representation of an n-LieDer pair and consider its cohomology. Likewise, we verify that a cohomology of an n-LieDer pair could be derived from the cohomology of associated LeibDer pair. Furthermore, we discuss the $(n-1)$-order deformations and the Nijenhuis operator of n-LieDer pairs. The central extensions of n-LieDer pairs are also investigated in terms of the first cohomology groups with coefficients in the trivial representation.

1. Introduction

The notion of n-Lie algebras was introduced by Filippov [1] in 1985. It is the algebraic structure corresponding to Nambu mechanics [2,3,4]. If $n=2$, then we get Lie algebra structure. Nanmbu’s used 3-Lie algebras to describe simultaneous classical dynamics of three particles in [3]. Takhtajan [5] systematically developed a foundemental theory of n-Poisson or Nambu–Poisson manifolds, and established a connection between Nambu mechanics and Filippov algebras. Numerous works have been devoted to various aspects of n-Lie algebras in both mathematics and physics, see [6,7,8,9,10,11,12,13,14] and their references.

The method of deformation is ubiquitous in mathematics and physics. Gerstenhaber developed a deformation theory of associative algebras in [15,16]. Subsequently, Nijenhuis and Richardson generalized it to Lie algebras in [17,18]. Both associative algebras and Lie algebras are algebras over some quadratic operads. Balavoine [19] investigated a deformation theory of quadratic operads. Cohomology and deformation of n-Lie algebras have been studied from several directions. In [7], central trivial extensions and infinitesimal deformations are considered. The two-order deformations of 3-Lie algebras are discussed in [1]. In general, $(n-1)$-order deformations of n-Lie algebras were studied in [12], meanwhile, Nijenhuis operators were obtained from a trivial deformation.

A Nijenhuis algebra is a nonunitary associative algebra A with a linear endomorphism N satisfying the Nijenhuis equation: $N\left(x\right)N\left(y\right)=N(N\left(x\right)y+xN\left(y\right))+N^2\left(xy\right),\forall x,y\in A$, where N is called a Nijenhuis operator. The concept of a Nijenhuis operator on a Lie algebra originated from the important concept of a Nijenhuis tensor that was introduced by Nijenhuis [20] in the study of pseudo-complex manifolds in the 1950s and was related to the well-known concepts of the Schouten–Nijenhuis bracket, the Frölicher–Nijenhuis bracket [21], and the Nijenhuis–Richardson bracket. Nijenhuis operators on a Lie algebra appeared in a more general study of Poisson–Nijenhuis manifolds [22] and in the context of the classical Yang–Baxter equation [23,24]. A Nijenhuis operator on a Lie algebra is related to its deformation. Nijenhuis operators on n-Lie algebras have been studied in [12]. They can be used to construct a deformation of n-Lie algebras. As a generalization of the classical Yang–Baxter equation (CYBE) on Lie algebras [25], the $\mathcal{O}$-operator provides a solution of the CYBE on a Lie algebra [26]. The $\mathcal{O}$-operator on Lie algebras was generalized to n-Lie algebras in [12].

Deformations of algebras are described by cohomology groups. Derivations of algebras are also controlled by a cohomological group. Derivations are a basic concept in homotopy Lie algebras [27], deformation formulas [28] and differential Galois theory [29]. They are of vital importance to control theories and gauge theories in quantum field theory [30,31]. In [32,33], the authors study algebras with derivations, which are a kind of homotopy algebra, from the operadic point of view. Lie algebras with derivations are usually called LieDer pairs. Recently, LieDer pairs have been studied from the cohomological point of view. Extensions and deformations of LieDer pairs are considered in [34]. These results have been extended to associative algebras with derivations [35], Leibniz algebras with derivations [36] and Pre-Lie algebras with derivations [4].

Inspired by the previous works, we would like to investigate the cohomological theory of n-Lie algebras with derivations.

The paper is organized as follows. In Section 2, we introduce the notion of an n-LieDer pair $(\mathfrak{g},{\phi }_{\mathfrak{g}})$ and its representation $(V,{\phi }_V)$. In Section 3, we consider the cohomology theory of n-LieDer pairs. The relation between the cohomogy of n-LieDer pair and associated LeibDer pair is also characterized. In Section 4, we study $(n-1)$-order deformations of n-LieDer pairs. We also describe the notions of a Nijenhuis operator and an $\mathcal{O}$-operator on n-LieDer pair $(\mathfrak{g},{\phi }_{\mathfrak{g}})$. Moreover, we show that $(V,{\phi }_V)$ becomes an n-LieDer pair and $(\mathfrak{g},{\phi }_{\mathfrak{g}})$ is a representation of $(V,{\phi }_V)$. Finally, we discuss central extensions of an n-LieDer pair in terms of the first cohomology group with coefficients in its trivial representation.

Unless otherwise specified, all vector spaces, linear maps, and tensor products are studied over an algebraically closed field $\mathbf{k}$.

2. $\mathit{n}$-LieDer Pair and Representation

In this section, we introduce the concept of n-LieDer pairs and representations of an n-LieDer pair. An n-LieDer pair is an n-Lie algebra with a derivation, namely, we have the following

Definition 1.

A derivation of an n-Lie algebra $\mathfrak{g}$ is a linear map ${\phi }_{\mathfrak{g}}:\mathfrak{g}\to \mathfrak{g}$ satisfying

$${\phi }_{\mathfrak{g}}[x_1,\cdots ,x_n]=\sum _{i=1}^n[x_1,\cdots ,x_{i-1},{\phi }_{\mathfrak{g}}\left(x_i\right),x_{i+1},\cdots ,x_n]$$

for any $x_i\in \mathfrak{g}$. Suppose that ${\phi }_{\mathfrak{g}}$ is a derivation of an n-Lie algebra $\mathfrak{g}$. Then we call the datum $(\mathfrak{g},{\phi }_{\mathfrak{g}})$ an n-LieDer pair.

For any n-Lie algebra $\mathfrak{g}$, $L={\wedge }^{n-1}\mathfrak{g}$ is a Leibniz algebra with Leibniz bracket ${[,]}_F$ given by

$${[X,Y]}_F=\sum _{i=1}^{n-1}{y}_1\wedge y_2\wedge \cdots \wedge y_{i-1}\wedge [x_1,x_2,\cdots x_{n-1},y_i]\wedge y_{i+1}\wedge \cdots \wedge y_{n-1}$$

for all $X=x_1\wedge x_2\wedge \cdots \wedge x_{n-1}$ and $Y=y_1\wedge y_2\wedge \cdots \wedge y_{n-1}$. Furthermore, if $(\mathfrak{g},{\phi }_{\mathfrak{g}})$ is an n-LieDer pair, then $(L,{\phi }_L)$ is a LeibDer pair (see [36]), where

$${\phi }_L=\sum _{i=1}^{n-1}\underset{i-1}{\underbrace{I\otimes I\otimes \cdots \otimes I}}\otimes {\phi }_{\mathfrak{g}}\otimes I\otimes \cdots \otimes I$$

and I is the identity endomorphism of $\mathfrak{g}$.

A representation of an n-Lie algebra $\mathfrak{g}$ consists of a vector space V together with a linear map $\rho :{\wedge }^{n-1}\mathfrak{g}⟶gl\left(V\right)$ such that

$$\rho \left(X\right)\rho \left(Y\right)-\rho \left(Y\right)\rho \left(X\right)=\rho \left({[X,Y]}_F\right)$$

and

$$\begin{array}{c}\rho (x_1\wedge \cdots \wedge x_{n-2}\wedge [y_1,\cdots ,y_n])\hfill \\ =\sum _{i=1}^n{(-1)}^{n-i}\rho (y_1\wedge \cdots \wedge y_{i-1}\wedge y_{i+1}\wedge \cdots \wedge y_n)\rho (x_1\wedge \cdots \wedge x_{n-2}\wedge y_i).\hfill \end{array}$$

for all $X,Y\in {\wedge }^{n-1}\mathfrak{g}$ and $x_i,y_i\in \mathfrak{g}$.

Next, we give the definition of representations of an n-LieDer pair.

Definition 2.

Let $(\mathfrak{g},{\phi }_{\mathfrak{g}})$ be an n-LieDer pair and $(V,\rho )$ be a representation of the n-Lie algebra $\mathfrak{g}$. Suppose ${\phi }_V$ is an endomorphism of V. Then $(V,\rho ,{\phi }_V)$ is called a representation of $(\mathfrak{g},{\phi }_{\mathfrak{g}})$ if

$$\begin{array}{c}\hfill {\phi }_V\rho \left(X\right)=\rho \left({\phi }_{\mathfrak{g}}\left(X\right)\right)+\rho \left(X\right){\phi }_V,\end{array}$$

(1)

for any $X=(x_1,x_2,\cdots ,x_{n-1})\in {\wedge }^{n-1}\mathfrak{g}$, where

$$\rho \left({\phi }_{\mathfrak{g}}\left(X\right)\right)=\sum _{i=1}^{n-1}\rho (x_1,x_2,\cdots ,{\phi }_{\mathfrak{g}}\left(x_i\right),x_{i+1},\cdots ,x_{n-1}).$$

Suppose $(V,{\phi }_V)$ is a representation of an n-LieDer pair $(\mathfrak{g},{\rho }_{\mathfrak{g}})$ and $V^{*}:=Hom(V,\mathbf{k})$ is the dual space of V. Define ${\rho }^{*}:{\wedge }^{n-1}\mathfrak{g}\to gl\left(V^{*}\right)$ and ${\phi }_V^{*}:V^{*}\to V^{*}$ via

$$\begin{array}{c}\hfill \langle {\rho }^{*}\left(X\right)u^{*},v\rangle =-\langle \rho \left(X\right)v,u^{*}\rangle ,{\phi }_V^{*}\left(u^{*}\right)\left(y\right)=u^{*}\left({\phi }_V\left(y\right)\right)\end{array}$$

(2)

for any $u^{*}\in V^{*},v\in V$ and $X\in {\wedge }^{n-1}\mathfrak{g}$ respectively. Then $V^{*}$ can be endowed with a representation of the n-LieDer pair $(\mathfrak{g},{\rho }_{\mathfrak{g}})$, as follows.

Proposition 1.

Let $(V,\rho ,{\phi }_V)$ be a representation of an n-LieDer pair $(\mathfrak{g},{\phi }_{\mathfrak{g}})$. Then $(V^{*},{\rho }^{*},-{\phi }_V^{*})$ is also a representation of $(\mathfrak{g},{\phi }_{\mathfrak{g}})$.

Proof. 

We only need to check that (1) holds for ${\rho }^{*}$ and $-{\phi }_V^{*}$. In fact, for any $u^{*}\in V^{*},v\in V$ and $X\in {\wedge }^{n-1}\mathfrak{g}$, in view of (1) and (2), we have

$$\begin{array}{ccc}& & \langle -{\phi }_V^{*}{\rho }^{*}\left(X\right)u^{*},v\rangle +\langle {\rho }^{*}\left(X\right){\phi }_V^{*}{u}^{*},v\rangle -\langle {\rho }^{*}\left({\phi }_{\mathfrak{g}}\left(X\right)\right)u^{*},v\rangle \hfill \\ & =& -\langle {\rho }^{*}\left(X\right)u^{*},{\phi }_{V}v\rangle -\langle \rho \left(X\right)v,{\phi }_V^{*}{u}^{*}\rangle +\langle \rho \left({\phi }_{\mathfrak{g}}\left(X\right)\right)v,u^{*}\rangle \hfill \\ & =& \langle u^{*},\rho \left(X\right){\phi }_{V}v\rangle -\langle {\phi }_V\rho \left(X\right)v,u^{*}\rangle +\langle \rho \left({\phi }_{\mathfrak{g}}\left(X\right)\right)v,u^{*}\rangle \hfill \\ & =& 0.\hfill \end{array}$$

It follows that

$$-{\phi }_V^{*}{\rho }^{*}\left(X\right)={\rho }^{*}\left({\phi }_{\mathfrak{g}}\left(X\right)\right)-{\rho }^{*}\left(X\right){\phi }_V^{*}.$$

Hence $(V^{*},{\rho }^{*},-{\phi }_V^{*})$ is also a representation of $(\mathfrak{g},{\phi }_{\mathfrak{g}})$. □

Example 1.

Let $(\mathfrak{g},{\phi }_{\mathfrak{g}})$ be an n-LieDer pair and define linear map $ad:{\wedge }^{n-1}\mathfrak{g}⟶gl\left(\mathfrak{g}\right)$ by $ad\left(X\right)\left(y\right)=[X,y]$ for any $X\in {\wedge }^{n-1}\mathfrak{g},y\in \mathfrak{g}$. Then $(\mathfrak{g},ad,{\phi }_{\mathfrak{g}})$ is a representation and $({\mathfrak{g}}^{*},-{ad}^{*},-{\phi }_{\mathfrak{g}}^{*})$ is a dual representation.

Similar to the trivial extension of a Lie algebra by its representation, we can check the following proposition.

Proposition 2.

Let $(V,\rho ,{\phi }_V)$ be a representation of n-LieDer pair $(\mathfrak{g},{\phi }_{\mathfrak{g}})$. Given operations ${[·,\cdots ,·]}_{\rho }:{\wedge }^n(\mathfrak{g}\oplus V)⟶\mathfrak{g}\oplus V$ by

$${[x_1+v_1,\cdots ,x_n+v_n]}_{\rho }={[x_1,\cdots ,x_n]}_{\mathfrak{g}}+\sum _{i=1}^n{(-1)}^{n-i}\rho (x_1,\cdots ,x_{i-1},x_{i+1},\cdots ,x_n)v_i$$

and ${\phi }_{\mathfrak{g}}+{\phi }_V:\mathfrak{g}\oplus V⟶\mathfrak{g}\oplus V$ by

$$({\phi }_{\mathfrak{g}}+{\phi }_V)(x+v)={\phi }_{\mathfrak{g}}\left(x\right)+{\phi }_V\left(v\right).$$

Then $(\mathfrak{g}\oplus V,{\phi }_{\mathfrak{g}}+{\phi }_V)$ is an n-LieDer pair.

Suppose that $A,A^{\prime }$ are 3-Lie algebras, and $\rho :{\wedge }^{2}A⟶gl\left(A^{\prime }\right)$ and $\varrho :{\wedge }^2{A}^{\prime }⟶gl\left(A\right)$ are two linear mappings. Recall that $(A,A^{\prime },\rho ,\varrho )$ is said to be a matched pair of 3-Lie algebras [37] if $(A^{\prime },\rho )$ is a representation of A and $(A,\varrho )$ is a representation of $A^{\prime }$ and satisfying the following:

$$\varrho (a_1,a_2)[x_1,x_2,x_3]=[\varrho (a_1,a_2)x_1,x_2,x_3]+[x_1,\varrho (a_1,a_2)x_2,x_3]+[x_1,x_2,\varrho (a_1,a_2)x_3],$$

$$-\varrho (\rho (x_1,x_2)a_1,a_2)x_3=-\varrho (\rho (x_1,x_3)a_2,a_1)x_2+\varrho (\rho (x_2,x_3)a_2,a_1)x_1-[x_1,x_2,\varrho (a_1,a_2)x_3],$$

$$[\varrho (a_1,a_2)x_1,x_2,x_3]=\varrho (a_1,a_2)[x_1,x_2,x_3]+\varrho (\rho (x_1,x_2)a_1,a_2)x_1+\varrho (a_1,\rho (x_2,x_3)a_2)x_1,$$

$$\rho (x_1,x_2)[a_1,a_2,a_3]=[\rho (x_1,x_2)a_1,a_2,a_3]+[a_1,\rho (x_1,x_2)a_2,a_3]+[a_1,a_2,\rho (x_1,x_2)a_3],$$

$$-\rho (\varrho (a_1,a_2)x_1,x_2)a_3=-\rho (\varrho (a_1,a_3)x_2,x_1)a_2+\rho (\varrho (a_2,a_3)x_2,x_1)a_1-[a_1,a_2,\rho (x_1,x_2)a_3],$$

$$[\rho (x_1,x_2)a_1,a_2,a_3]=\rho (x_1,x_2)[a_1,a_2,a_3]+\rho (\varrho (a_1,a_2)x_1,x_2)a_1+\rho (x_1,\varrho (a_2,a_3)x_2)a_1$$

for any $x_1,x_2,x_3\in A$ and $a_1,a_2,a_3\in A^{\prime }$. Then, there is a 3-Lie algebra structure on $A\oplus A^{\prime }$ given by

$$\begin{array}{ccc}\hfill [x_1+a_1,x_2+a_2,x_3+a_3]& =& [x_1,x_2,x_3]+\varrho (a_1,a_2)x_3+\varrho (a_3,a_1)x_2+\varrho (a_2,a_3)x_1\hfill \\ & & +[a_1,a_2,a_3]+\rho (x_1,x_2)a_3+\rho (x_3,x_1)a_2+\rho (x_2,x_3)a_1.\hfill \end{array}$$

Then we have the following result.

Proposition 3.

Let $(A,{\phi }_A)$ and $(A^{\prime },{\phi }_{A^{\prime }})$ be two 3-LieDer pairs such that $(A,A^{\prime },\rho ,\varrho )$ is a matched pair of 3-Lie algebras with $\rho :{\wedge }^{2}A⟶gl\left(A^{\prime }\right)$ and $\varrho :{\wedge }^2{A}^{\prime }⟶gl\left(A\right)$. Furthermore, if $(A^{\prime },\rho ,{\phi }_{A^{\prime }})$ is a representation of 3-LieDer pair $(A,{\phi }_A)$ and $(A,\varrho ,{\phi }_A)$ is a representation of 3-LieDer pair $(A^{\prime },{\phi }_{A^{\prime }})$. Define

$$({\phi }_A+{\phi }_{A^{\prime }})(x+a)={\phi }_A\left(x\right)+{\phi }_{A^{\prime }}\left(a\right)$$

for any $x,y\in A,a,b\in A^{\prime }$. Then $(A\oplus A^{\prime },{\phi }_A+{\phi }_{A^{\prime }})$ is a 3-LieDer pair with We call $(A,A^{\prime },{\phi }_A,{\phi }_{A^{\prime }},$$\rho ,\varrho )$ the matched pair of 3-LieDer pairs.

Proof. 

It is straightforward. □

3. Cohomology of $\mathit{n}$-LieDer Pair

In this section, we will define the cohomology of an n-LieDer pair with coefficients in its representation. For this purpose, let us recall the cohomology of Leibniz algebras and LeibDer pairs in [19,36,38]. Let $(V,{\rho }^L,{\rho }^R)$ be a representation of a Leibniz algebra $\mathfrak{l}$, and $C_{\mathrm{Leib}}^p(\mathfrak{l},V)=\mathrm{Hom}({\mathfrak{l}}^{\otimes p},V)$ for any $p\ge 0$, the p-cochains group. Suppose $d:C_{\mathrm{Leib}}^p(\mathfrak{l},V)⟶C_{\mathrm{Leib}}^{p+1}(\mathfrak{l},V)$ is given by

$$\begin{array}{ccc}& & \left(df\right)(x_1,\cdots ,x_{p+1})\hfill \\ & =& \sum _{i=1}^p{(-1)}^{i+1}{\rho }^L\left(x_i\right)f(x_1,\cdots ,x_{i-1},x_{i+1},\cdots ,x_{p+1})+{(-1)}^{p+1}{\rho }^R\left(x_{p+1}\right)f(x_1,\cdots ,x_p)\hfill \\ & & +\sum _{1\le i<j\le p+1}{(-1)}^{i}f(x_1,\cdots ,x_{i-1},x_{i+1},\cdots ,x_{j-1},[x_i,x_j],x_{j+1},\cdots ,x_{p+1})\hfill \end{array}$$

for any $x_1,x_2,\cdots ,x_{p+1}\in \mathfrak{l}$. Then d is a coboundary operator and cohomological groups of $\mathfrak{l}$ with coefficients in V is determined by the coboundary operator d.

Next recall the definition of the cohomology of LeibDer pairs. Let $(\rho ,V,{\phi }_V)$ be a representation of a LeibDer pair $(\mathfrak{l},{\phi }_{\mathfrak{l}})$ and $C_{\mathrm{LeibDer}}^p(\mathfrak{l},V)=C_{\mathrm{Leib}}^p(\mathfrak{l},V)\times C_{\mathrm{Leib}}^{p-1}(\mathfrak{l},V).$ Define a linear map $\delta :C_{\mathrm{Leib}}^p(\mathfrak{l},V)⟶C_{\mathrm{Leib}}^p(\mathfrak{l},V)$ by

$$\begin{array}{ccc}& & \delta f_p(x_1\otimes \cdots \otimes x_p)\hfill \\ & =& \sum _{k=1}^p{f}_p(x_1\otimes \cdots \otimes x_{k-1}\otimes {\phi }_{\mathfrak{l}}\left(x_k\right)\otimes x_{k+1}\otimes \cdots \otimes x_p)\hfill \\ & & -{\phi }_V{f}_p(x_1\otimes \cdots \otimes x_p)\hfill \end{array}$$

for $x_i\in \mathfrak{l}$. Then ${\partial }_{\mathfrak{l}}:C_{\mathrm{LeibDer}}^p(\mathfrak{l},V)⟶C_{\mathrm{LeibDer}}^{p+1}(\mathfrak{l},V)$, ${\partial }_{\mathfrak{l}}(f_p,g_{p-1})\mapsto (\mathrm{d}{f}_p,\mathrm{d}{g}_{p-1}+{(-1)}^p\delta f_p),$ is a coboundary operator.

Finally, let us recall the cohomology of n-Lie algebras. Let $\mathfrak{g}$ be an n-Lie algebra and $L={\wedge }^{n-1}\mathfrak{g}$ be the associated Leibniz algebra. Suppose that $(\rho ,V)$ is a representation of $\mathfrak{g}$, the space $C_{n-\mathrm{Lie}}^p(\mathfrak{g},V)$ of p-cochains ($p\ge 0$) is the set of multilinear maps of the form

$$f:{\wedge }^{p}L\wedge \mathfrak{g}⟶V,$$

and the coboundary operator $\mathrm{d}:C_{n-\mathrm{Lie}}^p(\mathfrak{g},V)⟶C_{n-\mathrm{Lie}}^{p+1}(\mathfrak{g},V)$ is as follows:

$$\begin{array}{ccc}& & \left(\mathrm{d}f\right)(X_1,\cdots ,X_{p+1},z)\hfill \\ & =& \sum _{1\le i<k\le p+1}{(-1)}^{i}f(X_1,\cdots ,\widehat{X_i},\cdots ,X_{k-1},{[X_i,X_k]}_F,X_{k+1},\cdots ,X_{p+1},z)\hfill \\ & & +\sum _{i=1}^{p+1}{(-1)}^{i}f(X_1,\cdots ,\widehat{X_i},\cdots ,X_{p+1},[X_i,z])+\sum _{i=1}^{p+1}{(-1)}^{i+1}\rho \left(X_i\right)f(X_1,\cdots ,\widehat{X_i},\cdots ,X_{p+1},z)\hfill \\ & & +\sum _{k=1}^{n-1}{(-1)}^{n+p-k}\rho (x_{p+1}^1,x_{p+1}^2,\cdots ,x_{p+1}^{k-1},x_{p+1}^{k+1},\cdots ,x_{p+1}^{n-1},z)f(X_1,\cdots ,X_p,x_{p+1}^k),\hfill \end{array}$$

for all $X_i=(x_i^1,x_i^2,\cdots ,x_i^{n-1})\in L$ and $z\in \mathfrak{g}$.

Based on the previous cohomologies, we introduce a cohomology of an n-LieDer pair $(\mathfrak{g},{\phi }_{\mathfrak{g}})$. Let $(V,\rho ,{\phi }_V)$ be a representation of n-LieDer pair $(\mathfrak{g},{\phi }_{\mathfrak{g}})$ and

$$C_{n-\mathrm{LieDer}}^p(\mathfrak{g},V):=C_{n-\mathrm{Lie}}^p(\mathfrak{g},V)\times C_{n-\mathrm{Lie}}^{p-1}(\mathfrak{g},V),$$

which is called the p-cochain group. Define a map $\delta :C_{n-\mathrm{Lie}}^p(\mathfrak{g},V)⟶C_{n-\mathrm{Lie}}^p(\mathfrak{g},V)$ by

$$\begin{array}{ccc}& & \delta f_p(X_1\otimes \cdots \otimes X_p\otimes z)\hfill \\ & =& \sum _{k=1}^p\sum _{i=1}^{n-1}{f}_p(X_1\otimes \cdots \otimes X_{k-1}\otimes {\phi }_{\mathfrak{g}}\left(x_k^i\right)\otimes x_k^{i+1}\otimes \cdots \otimes x_k^{n-1}\otimes X_{k+1}\cdots \otimes X_p\otimes z)\hfill \\ & & -{\phi }_V{f}_p(X_1\otimes \cdots \otimes X_p\otimes z).\hfill \end{array}$$

Then we have the following.

Theorem 1.

The map ${\partial }_{\mathfrak{g}}:C_{n-\mathit{LieDer}}^p(\mathfrak{g},V)\to C_{n-\mathit{LieDer}}^{p+1}(\mathfrak{g},V)$ given by

$${\partial }_{\mathfrak{g}}(f_p,g_{p-1})\mapsto (\mathrm{d}{f}_p,\mathrm{d}{g}_{p-1}+{(-1)}^{p+1}\delta f_p),$$

is a coboundary operator, that is, ${\partial }_{\mathfrak{g}}·{\partial }_{\mathfrak{g}}=0$.

Proof. 

By direct calculation, we get the required result. □

By Theorem 1, we can obtain cohomological groups of $(\mathfrak{g},{\phi }_{\mathfrak{g}})$ with the coefficients in $(\rho ,V,{\phi }_V)$. It is well-know that any n-LieDer pair $(\mathfrak{g},{\phi }_{\mathfrak{g}})$ associates a LeibDer pair $(L={\wedge }^{n-1}\mathfrak{g},{\phi }_L)$. Then it has the cohomology of the LeibDer pair $(L={\wedge }^{n-1}\mathfrak{g},{\phi }_L).$ Are there some relations between these two cohomologies? Suppose that $C_{n-\mathrm{LieDer}}^p(\mathfrak{g},\mathfrak{g})$ (resp. $C_{\mathrm{LeibDer}}^p(L,L)$) is the set of p-cochains of n-LieDer pair (resp. LeibDer pair). Define $\Theta :C_{n-\mathrm{Lie}}^p(\mathfrak{g},\mathfrak{g})\to C_{\mathrm{Leib}}^{p+1}(L,L)$ as follows. For $p=0$, $f_0\in C_{n-\mathrm{Lie}}^0(\mathfrak{g},\mathfrak{g})$ and $X_1=x_1^1\otimes x_1^2\otimes \cdots \otimes x_1^{n-1}\in L$,

$$\Theta \left(f_0\right)\left(X_1\right)=\sum _{i=0}^{n-1}{x}_1^1\otimes x_1^2\otimes \cdots \otimes x_1^{i-1}\otimes f_0\left(x_1^i\right)\otimes \cdots \otimes x_1^{n-1}.$$

If $p>0$,$f_p\in C_{n-\mathrm{Lie}}^p(\mathfrak{g},\mathfrak{g})$ and $X_i=x_i^1\otimes x_i^2\otimes \cdots \otimes x_i^{n-1}\in L$,

$$\Theta \left(f_p\right)(X_1\otimes X_2\otimes \cdots \otimes X_{p+1})=\sum _{i=1}^{n-1}{x}_{p+1}^1\otimes x_{p+1}^2\otimes \cdots \otimes x_{p+1}^{i-1}\otimes f_p(X_1\otimes X_2\otimes \cdots \otimes X_p\otimes x_{p+1}^i)\otimes \cdots \otimes x_{p+1}^{n-1}.$$

With these notations, we have an important result. However, let us prove the following result first.

Theorem 2.

The linear map $\overline{\Theta }:C_{n-\mathit{LieDer}}^p(\mathfrak{g},\mathfrak{g})⟶C_{\mathit{LeibDer}}^{p+1}(L,L)$ given by

$$\overline{\Theta }(f,g)=(\Theta f,\Theta g)\mathit{for}\mathit{any}(f,g)\in C_{n-\mathit{LieDer}}^p(\mathfrak{g},\mathfrak{g})$$

is a cochain map, that is, ${\partial }_{\mathfrak{g}}\overline{\Theta }=\overline{\Theta }{\partial }_L.$

Proof. 

For any $(f_p,g_{p-1})\in C_{n-\mathrm{LieDer}}^p(\mathfrak{g},\mathfrak{g})$, we get

$${\partial }_{\mathfrak{g}}\overline{\Theta }(f_p,g_{p-1})={\partial }_{\mathfrak{g}}(\Theta f_p,\Theta g_{p-1})=(d\Theta f_p,d\Theta g_{p-1}+{(-1)}^{p+1}\delta \Theta f_p)$$

and

$$\overline{\Theta }{\partial }_L(f_p,g_{p-1})=(\Theta d{f}_p,\Theta d{g}_{p-1}+{(-1)}^{p+1}\Theta \delta f_p).$$

See ref. [13] (Theorem 3), we only need to check that $\delta \Theta =\Theta \delta$. In fact, for the case of $p=0$, it is clear. When $p\ge 1$, for any $X_1,X_2,\cdots ,X_{p+1}\in L$, $f_p\in C_{n-\mathrm{Lie}}^p(\mathfrak{g},\mathfrak{g})$,

$$\begin{array}{ccc}& & \delta \Theta \left(f_p\right)(X_1\otimes X_2\otimes \cdots \otimes X_{p+1})\hfill \\ & =& \sum _{i=1}^{p+1}\sum _{j=1}^{n-1}\Theta \left(f_p\right)(X_1\otimes X_2\otimes \cdots \otimes X_{i-1}\otimes x_i^1\otimes x_i^2\otimes \cdots \otimes {\phi }_{\mathfrak{g}}(x_i^j)\otimes \cdots \otimes x_i^{n-1}\otimes X_{i+1}\hfill \\ & & \otimes \cdots \otimes X_{p+1})-{\phi }_L\Theta \left(f_p\right)(X_1\otimes X_2\otimes \cdots \otimes X_{p+1})\hfill \\ & =& \sum _{i=1}^p\sum _{j=1}^{n-1}\sum _{k=1}^{n-1}{x}_{p+1}^1\otimes \cdots \otimes x_{p+1}^{k-1}\otimes f_p(X_1\otimes X_2\otimes \cdots \otimes X_{i-1}\otimes x_i^1\otimes x_i^2\otimes \cdots \otimes {\phi }_{\mathfrak{g}}(x_i^j)\hfill \\ & & \otimes \cdots \otimes x_i^{n-1}\otimes X_{i+1}\otimes \cdots \otimes X_p\otimes x_{p+1}^k)\otimes x_{p+1}^{k+1}\otimes \cdots \otimes x_{p+1}^{n-1}\hfill \\ & & +\sum _{j=1}^{n-1}\sum _{k=1,k\ne j}^{n-1}{x}_{p+1}^1\otimes \cdots \otimes x_{p+1}^{k-1}\otimes f_p(X_1\otimes X_2\otimes \cdots \otimes X_p\otimes x_{p+1}^k\otimes \cdots \otimes {\phi }_{\mathfrak{g}}(x_{p+1}^j)\hfill \\ & & \otimes \cdots \otimes x_{p+1}^{n-1})+\sum _{j=1}^{n-1}{x}_{p+1}^1\otimes \cdots \otimes x_{p+1}^{j-1}\otimes f_p(X_1\otimes X_2\otimes \cdots \otimes X_p\otimes {\phi }_{\mathfrak{g}}(x_{p+1}^j)\hfill \\ & & \otimes x_{p+1}^{j+1}\otimes \cdots \otimes x_{p+1}^{n-1})-\sum _{k=1}^{n-1}\sum _{j=1,j\ne k}^{n-1}{x}_{p+1}^1\otimes \cdots \otimes x_{p+1}^{j-1}\otimes {\phi }_{\mathfrak{g}}(x_{p+1}^j)\otimes x_{p+1}^{j+1}\otimes \cdots \otimes x_{p+1}^{k-1}\hfill \\ & & \otimes f_p(X_1\otimes X_2\otimes \cdots \otimes X_p\otimes x_{p+1}^k)\otimes x_{p+1}^{k+1}\otimes \cdots \otimes x_{p+1}^{n-1}-\sum _{k=1}^{n-1}{x}_{p+1}^1\otimes \cdots \otimes x_{p+1}^{k-1}\hfill \\ & & \otimes {\phi }_{\mathfrak{g}}{f}_p(X_1\otimes X_2\otimes \cdots \otimes X_p\otimes x_{p+1}^k)\otimes x_{p+1}^{k+1}\otimes \cdots \otimes x_{p+1}^{n-1}\hfill \\ & =& \sum _{i=1}^p\sum _{j=1}^{n-1}\sum _{k=1}^{n-1}{x}_{p+1}^1\otimes \cdots \otimes x_{p+1}^{k-1}\otimes f_p(X_1\otimes X_2\otimes \cdots \otimes X_{i-1}\otimes x_i^1\otimes x_i^2\otimes \cdots \otimes {\phi }_{\mathfrak{g}}(x_i^j)\hfill \\ & & \otimes \cdots \otimes x_i^{n-1}\otimes X_{i+1}\otimes \cdots \otimes X_p\otimes x_{p+1}^k)\otimes x_{p+1}^{k+1}\otimes \cdots \otimes x_{p+1}^{n-1}\hfill \\ & & +\sum _{j=1}^{n-1}{x}_{p+1}^1\otimes \cdots \otimes x_{p+1}^{j-1}\otimes f_p(X_1\otimes X_2\otimes \cdots \otimes X_p\otimes {\phi }_{\mathfrak{g}}(x_{p+1}^j))\otimes x_{p+1}^{j+1}\otimes \cdots \otimes x_{p+1}^{n-1}\hfill \\ & & -\sum _{k=1}^{n-1}{x}_{p+1}^1\otimes \cdots \otimes x_{p+1}^{k-1}\otimes {\phi }_{\mathfrak{g}}{f}_p(X_1\otimes X_2\otimes \cdots \otimes X_p\otimes x_{p+1}^k)\otimes x_{p+1}^{k+1}\otimes \cdots \otimes x_{p+1}^{n-1}\hfill \end{array}$$

On the other hand,

$$\begin{array}{ccc}& & \Theta \delta \left(f_p\right)(X_1\otimes X_2\otimes \cdots \otimes X_{p+1})\hfill \\ & =& \sum _{i=1}^{n-1}{x}_{p+1}^1\otimes \cdots \otimes x_{p+1}^{i-1}\otimes \delta \left(f_p\right)(X_1\otimes X_2\otimes \cdots \otimes X_p\otimes x_{p+1}^i)\otimes x_{p+1}^{i+1}\otimes \cdots \otimes x_{p+1}^{n-1}\hfill \\ & =& \sum _{i=1}^{n-1}\sum _{k=1}^p\sum _{j=1}^{n-1}{x}_{p+1}^1\otimes \cdots \otimes x_{p+1}^{i-1}\otimes f_p(X_1\otimes X_2\otimes \cdots \otimes X_{k-1}\otimes x_k^1\otimes x_k^2\otimes \cdots \otimes {\phi }_{\mathfrak{g}}(x_k^j)\hfill \\ & & \otimes x_k^{j+1}\otimes \cdots \otimes x_k^{n-1}\otimes X_{k+1}\otimes \cdots \otimes X_p\otimes x_{p+1}^i)\otimes x_{p+1}^{i+1}\otimes \cdots \otimes x_p^{n-1}\hfill \\ & & +\sum _{i=1}^{n-1}{x}_{p+1}^1\otimes \cdots \otimes x_{p+1}^{i-1}\otimes f_p(X_1\otimes X_2\otimes \cdots \otimes X_p\otimes {\phi }_{\mathfrak{g}}(x_{p+1}^i))\otimes x_{p+1}^{i+1}\otimes \cdots \otimes x_p^{n-1}\hfill \\ & & -\sum _{i=1}^{n-1}{x}_p^1\otimes \cdots \otimes x_{p+1}^{i-1}\otimes {\phi }_{\mathfrak{g}}{f}_p(X_1\otimes X_2\otimes \cdots \otimes X_p\otimes x_{p+1}^i)\otimes x_{p+1}^{i+1}\otimes \cdots \otimes x_{p+1}^{n-1}.\hfill \end{array}$$

Hence, $\Theta \delta =\delta \Theta$ and thus $\overline{\Theta }{\partial }_L={\partial }_{\mathfrak{g}}\overline{\Theta }.$ □

The following corollary gives another proof of Theorem 1.

Corollary 1.

If ${\partial }_L^2=0$, then ${\partial }_{\mathfrak{g}}^2=0.$

Proof. 

In view of $\overline{\Theta }{\partial }_L={\partial }_{\mathfrak{g}}\overline{\Theta }$, we have $\overline{\Theta }{\partial }_{\mathfrak{g}}^2={\partial }_L\overline{\Theta }{\partial }_{\mathfrak{g}}={\partial }_L{\partial }_L\overline{\Theta }=0.$ □

Let $L^p\left(\mathfrak{g}\right)=\mathrm{Hom}({\wedge }^{p+1}L\otimes \mathfrak{g},\mathfrak{g}),M^p\left(L\right)=\mathrm{Hom}(L^{\otimes (p+1)},L)$, $L_{n-\mathrm{LieDer}}^p\left(\mathfrak{g}\right)=L^p\left(\mathfrak{g}\right)$$\times L^{p-1}\left(\mathfrak{g}\right),$ and $M_{\mathrm{LeibDer}}^p\left(L\right)=M^p\left(L\right)\times M^{p-1}\left(L\right)$. In the light of [13], we know that both $M\left(L\right)={\oplus }_{p=0}^{\infty }{M}^p\left(L\right)$ and $L\left(\mathfrak{g}\right)={\oplus }_{p=0}^{\infty }{L}^p\left(\mathfrak{g}\right)$ have graded Lie algebra structures, we denote them by ${[,]}^L$ and ${[,]}^{nL}$ respectively. In view of [36], $M_{\mathrm{LeibDer}}\left(L\right)={\oplus }_{p=0}^{\infty }{M}_{\mathrm{LeibDer}}^p\left(L\right)$ is a graded Lie algebra with the Lie algebra structure

$${\left[[,]\right]}^L:M_{\mathrm{LeibDer}}^p\left(L\right)\otimes M_{\mathrm{LeibDer}}^q\left(L\right)⟶M_{\mathrm{LeibDer}}^{p+q}\left(L\right)$$

given by

$${\left[[(f_{p+1},g_p),(f_{q+1},g_q)]\right]}^L=({[f_{p+1},f_{q+1}]}^L,{[g_p,f_{q+1}]}^L+{(-1)}^{p+1}{[f_{p+1},g_q]}^L).$$

Define the linear map

$${\left[[,]\right]}^{nL}:L_{n-\mathrm{LieDer}}^p\left(\mathfrak{g}\right)\otimes L_{n-\mathrm{LieDer}}^q\left(\mathfrak{g}\right)⟶L_{n-\mathrm{LieDer}}^{p+q}\left(L\right)$$

by

$${\left[[(f_{p+1},g_p),(f_{q+1},g_q)]\right]}^{nL}=({[f_{p+1},f_{q+1}]}^{nL},{[g_p,f_{q+1}]}^{nL}+{(-1)}^{p+1}{[f_{p+1},g_q]}^{nL}).$$

Then we have the following.

Proposition 4.

${\left[[,]\right]}^L(\overline{\Theta }\otimes \overline{\Theta })=\overline{\Theta }{\left[[,]\right]}^{nL}.$

Proof. 

It can be induced directly from Corollary 1 and [13] (Lemma 1). □

From the previous proposition, we obtain the following theorem immediately.

Theorem 3.

$L_{n-\mathit{LieDer}}\left(\mathfrak{g}\right)=({\oplus }_{p=0}^{\infty }{L}_{n-\mathit{LieDer}}^p\left(\mathfrak{g}\right),{\left[[,]\right]}^{nL})$ is a graded Lie algebra. Its Maurer–Cartan elements are n-LieDer pair $(\mathfrak{g},{\phi }_{\mathfrak{g}})$.

Proof. 

According to Proposition 4, $(L_{n-\mathrm{LieDer}}\left(\mathfrak{g}\right),{\left[[,]\right]}^{nL})$ is a graded Lie algebra.

For any $(\pi ,\phi )\in L_{n-\mathrm{LieDer}}^1\left(\mathfrak{g}\right)$,

$${\left[[(\pi ,\phi ),(\pi ,\phi )]\right]}^{nL}=({[\pi ,\pi ]}^{nL},{[\pi ,\phi ]}^{nL}+{[\pi ,\phi ]}^{nL}).$$

So $(\pi ,\phi )$ is a Maurer–Cartan element if and only if ${[\pi ,\pi ]}^{nL}=0$ and $2{[\pi ,\phi ]}^{nL}=0.$ In the light of [13], ${[\pi ,\pi ]}^{nL}=0$ if and only if $(\mathfrak{g},\pi )$ is an n-Lie algebra.

At the same time, for any $X\otimes z\in L\otimes \mathfrak{g}$, suppose $X=x_1\otimes \cdots \otimes x_{n-1}$, we get

$$\begin{array}{ccc}\hfill {[\pi ,\phi ]}^{nL}(X\otimes z)& =& {[\pi ,\phi ]}^{nL}(x_1\otimes \cdots \otimes x_{n-1}\otimes z)\hfill \\ & =& \sum _{i=1}^n\pi (x_1\otimes \cdots \otimes \phi \left(x_i\right)\otimes \cdots \otimes x_{n-1}\otimes z)+\pi (x_1\otimes \cdots \otimes x_{n-1}\otimes \phi \left(z\right))\hfill \\ & & -\phi \pi (x_1\otimes \cdots \otimes x_{n-1}\otimes z).\hfill \end{array}$$

It follows that $(\pi ,\phi )$ is a Maurer–Cartan element if and only if $(\pi ,\phi )$ is an n-LieDer pair. □

Let $(\mathfrak{g},\pi ,{\phi }_{\mathfrak{g}})$ be an n-LieDer pair. Define the linear map

$${\partial }_{(\pi ,{\phi }_{\mathfrak{g}})}:L_{n-\mathrm{LieDer}}^p\left(\mathfrak{g}\right)⟶L_{n-\mathrm{LieDer}}^{p+1}\left(\mathfrak{g}\right)$$

by

$${\partial }_{(\pi ,{\phi }_{\mathfrak{g}})}\left((f_{p+1},g_p)\right)={\left[[(\pi ,{\phi }_{\mathfrak{g}}),(f_{p+1},g_p)]\right]}^{nL},$$

then ${\partial }_{(\pi ,{\phi }_{\mathfrak{g}})}{\partial }_{(\pi ,{\phi }_{\mathfrak{g}})}=0$. Hence, we get the following.

Proposition 5.

$(L_{n-\mathit{LieDer}}\left(\mathfrak{g}\right),{\left[[,]\right]}^{nL},{\partial }_{(\pi ,{\phi }_{\mathfrak{g}})})$ is a differential graded Lie algebra.

4. Deformation of $\mathit{n}$-LieDer Pairs

In the next two sections, we give some applications of the cohomology of an n-LieDer pair. In this section we use it to study the deformation of n-Lie Der pairs. First of all, let us introduce the deformations of an n-LieDer pair.

Let $(\mathfrak{g},{[,\cdots ,]}_{\mathfrak{g}},{\phi }_{\mathfrak{g}})$ be an n-LieDer pair. Denote ${\pi }_0(x_1,x_2,\cdots ,x_n)={[x_1,x_2,\cdots ,x_n]}_{\mathfrak{g}}.$ Let ${\pi }_i:{\wedge }^n\mathfrak{g}\to \mathfrak{g}$ be skew-symmetric multilinear maps and linear maps ${\phi }_i:\mathfrak{g}\to \mathfrak{g}$ for any $0\le i\le n-1$. Consider the space $\mathfrak{g}\left[\right[t\left]\right]$ of formal power series in t with coefficients in $\mathfrak{g}$ and a family of linear maps:

$$\begin{array}{c}\hfill {\pi }_t(x_1,x_2,\cdots ,x_n)=\sum _{i=0}^{n-1}{t}^n{\pi }_i(x_1,x_2,\cdots ,x_n),\end{array}$$

(3)

and

$$\begin{array}{c}\hfill {\phi }_t\left(x\right)=\sum _{i=0}^{n-1}{t}^n{\phi }_i\left(x\right),\end{array}$$

(4)

where ${\phi }_0={\phi }_{\mathfrak{g}}$.

If all $(\mathfrak{g}\left[\left[t\right]\right],{\pi }_t,{\phi }_t)$ are n-LieDer pairs, we say that $({\pi }_i,{\phi }_i)(i=0,1,\cdots ,n-1)$ generate an $(n-1)$-order deformation of the n-LieDer pair $(\mathfrak{g},{[,\cdots ,]}_{\mathfrak{g}},{\phi }_{\mathfrak{g}})$. We also denote by ${[x_1,x_2,\cdots ,x_n]}_t={\pi }_t(x_1,x_2,\cdots ,x_n).$ For any $X,Y\in {\wedge }^{n-1}\mathfrak{g}$, in the next proposition, we use ${\pi }_j(X,·)\circ Y\in {\wedge }^{n-1}\mathfrak{g}$ to denote the element

$${\pi }_j(X,·)\circ Y=\sum _{i=1}^{n-1}{y}_1\wedge \cdots \wedge y_{i-1}\wedge {\pi }_j(X,y_i)\wedge y_{i+1}\wedge \cdots \wedge y_{n-1}.$$

Proposition 6.

$({\pi }_i,{\phi }_i)(i=0,1,\cdots ,n-1)$ generate an $(n-1)$-order deformation of the n-LieDer pair $(\mathfrak{g},{[,\cdots ,]}_{\mathfrak{g}},{\phi }_{\mathfrak{g}})$ if and only if the following holds for any $i,j,k=0,1,\cdots ,n-1$ and ${\sum }_{i+j=k}{\pi }_i{\pi }_j=0,$ and

$$\begin{array}{c}\hfill \sum _{i+j=k}({\phi }_i{\pi }_j-{\pi }_j(\sum _{l=1}^{n}I\otimes \cdots \otimes {\phi }_l\otimes \cdots \otimes I))=0,\end{array}$$

(5)

where ${\pi }_i{\pi }_j:{\wedge }^{n-1}\mathfrak{g}\otimes {\wedge }^{n-1}\mathfrak{g}\wedge \mathfrak{g}⟶\mathfrak{g}$ is given by

$${\pi }_i{\pi }_j(X,Y,z)={\pi }_i({\pi }_j(X,·)\circ Y,z)-{\pi }_i(X,{\pi }_j(Y,z))+{\pi }_i(Y,{\pi }_j(X,z)).$$

(6)

Proof. 

$(\mathfrak{g},{\pi }_t,{\phi }_t)$ is an n-LieDer pair if and only if

$${\pi }_t(X,{\pi }_t(Y,z))={\pi }_t({\pi }_t(X,·)\circ Y,z)+{\pi }_t(Y,{\pi }_t(X,z))$$

and

$${\phi }_t{\pi }_t=\sum _{i=1}^n{\pi }_t(I\otimes \cdots \otimes {\phi }_t\otimes I\otimes \cdots \otimes I).$$

(7)

In the light of [12] (Proposition 1]), we only need to check that (7) is equivalent to (5). Combining (4) and (7), we achieve that (5) holds. Hence, we get the results. □

Corollary 2.

If $({\pi }_i,{\phi }_i)(i=0,1,\cdots ,n-1)$ generate an $(n-1)$-order deformation of the n-LieDer pair $(\mathfrak{g},{[,\cdots ,]}_{\mathfrak{g}},{\phi }_{\mathfrak{g}})$, then $({\pi }_1,{\phi }_1)$ is a one-cocycle of the n-LieDer pair $(\mathfrak{g},{[,\cdots ,]}_{\mathfrak{g}},{\phi }_{\mathfrak{g}})$ with the coefficients in the adjoint representation $(\mathfrak{g},ad,{\phi }_{\mathfrak{g}})$.

Proof. 

For any $({\pi }_1,{\phi }_1)\in C_{n-\mathrm{LieDer}}^1(\mathfrak{g},\mathfrak{g})=\mathrm{Hom}(L\otimes \mathfrak{g},\mathfrak{g})\times \mathrm{Hom}(\mathfrak{g},\mathfrak{g})$,

$${\partial }_{\mathfrak{g}}({\pi }_1,{\phi }_1)=(\mathrm{d}{\pi }_1,\mathrm{d}{\phi }_1+\delta {\pi }_1).$$

For $k=1$, (6) is equivalent to $\mathrm{d}{\pi }_1=0$, and $\mathrm{d}{\phi }_1+\delta {\pi }_1=0$ is equivalent to (5). So the conclusion holds. □

Definition 3.

An $(n-1)$-order deformation of the n-LieDer pair $(\mathfrak{g},{[,\cdots ,]}_{\mathfrak{g}},{\phi }_{\mathfrak{g}})$ is said to be trivial if there is a linear map $N:\mathfrak{g}⟶\mathfrak{g}$ such that $T_t=I+tN(\forall t)$ satisfies

$$T_t{\phi }_{\mathfrak{g}}={\phi }_{\mathfrak{g}}{T}_t$$

and

$$T_t{[x_1,x_2,\cdots ,x_n]}_t={[T_t{x}_1,T_t{x}_2,\cdots ,T_t{x}_n]}_{\mathfrak{g}}.$$

Similarly to the case of n-Lie algebra [12], we can define the Nijenhuis operator of an n-LieDer pair.

Definition 4.

Let $(\mathfrak{g},{[,\cdots ,]}_{\mathfrak{g}},{\phi }_{\mathfrak{g}})$ be an n-LieDer pair. A linear map $N:\mathfrak{g}⟶\mathfrak{g}$ is called a Nijenhuis operator if the following holds:

$$N{\phi }_{\mathfrak{g}}={\phi }_{\mathfrak{g}}N$$

and

$${[N{x}_1,N{x}_2,\cdots ,N{x}_n]}_{\mathfrak{g}}=N({[x_1,x_2,\cdots ,x_n]}_N^{n-1})$$

for any $x_1,x_2,\cdots ,x_n\in \mathfrak{g}$, where

$${[x_1,x_2,\cdots ,x_n]}_N^{n-1}=\sum _{i_1<i_2<\cdots <i_{n-1}}[\cdots ,N{x}_{i_1},\cdots ,N{x}_{i_{n-1}},\cdots ]-N{[x_1,x_2,\cdots ,x_n]}_N^{n-2}.$$

Definition 5.

Let $(\mathfrak{g},{[,\cdots ,]}_{\mathfrak{g}},{\phi }_{\mathfrak{g}})$ be an n-LieDer pair and $(V,\rho ,{\phi }_V)$ be its representation. A linear map $T:V⟶\mathfrak{g}$ is called an $\mathcal{O}$-operator if it satisfies:

$$T{\phi }_V={\phi }_{\mathfrak{g}}T$$

and

$${[T{v}_1,T{v}_2,\cdots ,T{v}_n]}_{\mathfrak{g}}=T(\sum _{i=1}^n{(-1)}^{n-i}\rho (T{v}_1,\cdots ,T{v}_{i-1},T{v}_{i+1},\cdots ,T{v}_n)v_i)$$

for any $v_1,v_2,\cdots ,v_n\in V$.

Using the above concepts, we can define some new n-LieDer pairs.

Proposition 7.

Let $(V,\rho ,{\phi }_V)$ be a representation of n-LieDer pair $(\mathfrak{g},{[,\cdots ,]}_{\mathfrak{g}},{\phi }_{\mathfrak{g}})$ and $T:V\to \mathfrak{g}$ be an $\mathcal{O}$-operator. Then $(V,{[\cdots ,]}_T,{\phi }_V)$ is an n-LieDer pair, where

$${[v_1,\cdots ,v_n]}_T=\sum _{i=1}^n{(-1)}^{n-i}\rho (T{v}_1,\cdots ,T{v}_{i-1},T{v}_{i+1},\cdots ,T{v}_n)v_i.$$

(8)

Proof. 

We only need to check that ${\phi }_V$ is a derivation of V. In fact, according to (1) and (8), we have

$$\begin{array}{ccc}& & {\phi }_V{[u_1,\cdots ,u_n]}_T\hfill \\ & =& {\phi }_V\sum _{i=1}^n{(-1)}^{n-i}\rho (T{u}_1,\cdots ,T{u}_{i-1},T{u}_{i+1},\cdots ,T{u}_n)u_i\hfill \\ & =& \sum _{i=1}^n{(-1)}^{n-i}{\phi }_V\rho (T{u}_1,\cdots ,T{u}_{i-1},T{u}_{i+1},\cdots ,T{u}_n)u_i\hfill \\ & =& \sum _{i=1}^n{(-1)}^{n-i}(\rho (\sum _{k=1,k\ne i}^{n}T{u}_1,\cdots ,T{u}_{k-1},{\phi }_{\mathfrak{g}}T{u}_k,T{u}_{k+1},\cdots ,T{u}_n)u_i\hfill \\ & & +\rho (T{u}_1,\cdots ,T{u}_{i-1},T{u}_{i+1},\cdots ,T{u}_n){\phi }_V\left(u_i\right)),\hfill \end{array}$$

and

$$\begin{array}{ccc}& & \sum _{i=1}^n{[u_1,\cdots ,{\phi }_V\left(u_i\right),\cdots ,u_n]}_T\hfill \\ & =& \sum _{i=1}^n(\sum _{k=1,k\ne i}^n{(-1)}^{n-k}\rho (T{u}_1,\cdots ,T{u}_{i-1},T{\phi }_V\left(u_i\right),T{u}_{i+1},\cdots ,T{u}_n)u_k\hfill \\ & & +{(-1)}^{n-i}\rho (T{u}_1,\cdots ,T{u}_{i-1},T{u}_{i+1},\cdots ,T{u}_n){\phi }_V\left(u_i\right)).\hfill \end{array}$$

Therefore,

$${\phi }_V{[u_1,\cdots ,u_n]}_T=\sum _{i=1}^n{[u_1,\cdots ,{\phi }_V\left(u_i\right),\cdots ,u_n]}_T,$$

that is, ${\phi }_V$ is a derivation of V. □

Similarly to the case of an n-Lie algebra [12], we have the following.

Proposition 8.

Let $(V,\rho ,{\phi }_V)$ a representation of an n-LieDer pair $(\mathfrak{g},{[,\cdots ,]}_{\mathfrak{g}},{\phi }_{\mathfrak{g}})$. Then, a linear map $T:V\to \mathfrak{g}$ is an $\mathcal{O}$-operator operator if and only if $\tilde{T}:\mathfrak{g}\oplus V\to \mathfrak{g}\oplus V$ with $\tilde{T}(x+u)=Tu$ is a Nijenhuis operator on semidirect product $(\mathfrak{g}\oplus V,{\phi }_{\mathfrak{g}}+{\phi }_V)$.

Let ${\varrho }_T:{\wedge }^{n-1}V\to gl\left(\mathfrak{g}\right)$ be a linear map given by

$$\begin{array}{ccc}& & {\varrho }_T(u_1,\cdots ,u_{n-1})\left(x\right)\hfill \\ & =& [T{u}_1,\cdots ,T{u}_{n-1},x]-T\sum _{i=1}^{n-1}{(-1)}^{n-i}\rho (T{u}_1,\cdots ,T{u}_{i-1},T{u}_{i+1},\cdots ,T{u}_{n-1},x)u_i.\hfill \end{array}$$

(9)

Then $(\mathfrak{g},{\varrho }_T)$ is a representation of $(V,{[\cdots ,]}_T)$ by Proposition 8. Furthermore, we have the following result.

Proposition 9.

Let $T:V\to \mathfrak{g}$ be an $\mathcal{O}$-operator of n-LieDer pair $(\mathfrak{g},{\phi }_{\mathfrak{g}})$ with representation $(V,\rho ,{\phi }_V)$. Then $(\mathfrak{g},{\varrho }_T,{\phi }_{\mathfrak{g}})$ is a representation of n-LieDer pair $(V,{[,\cdots ,]}_T,{\phi }_V)$.

Proof. 

In view of (1) and (9), for any $x\in \mathfrak{g}$ and $u_1,u_2,\cdots ,,u_{n-1}\in V$, we have

$$\begin{array}{ccc}& & {\phi }_{\mathfrak{g}}{\varrho }_T(u_1,u_2,\cdots ,,u_{n-1})x\hfill \\ & =& {\phi }_{\mathfrak{g}}([T{u}_1,\cdots ,T{u}_{n-1},x]-T\sum _{i=1}^{n-1}{(-1)}^{n-i}\rho (T{u}_1,\cdots ,T{u}_{i-1},T{u}_{i+1},\cdots ,T{u}_{n-1},x)u_i)\hfill \\ & =& \sum _{i=1}^{n-1}[T{u}_1,\cdots ,T{u}_{i-1},{\phi }_{\mathfrak{g}}T{u}_i,T{u}_{i+1},\cdots ,T{u}_{n-1},x]+[T{u}_1,\cdots ,T{u}_{n-1},{\phi }_{\mathfrak{g}}\left(x\right)]\hfill \\ & & -T\sum _{i=1}^{n-1}{(-1)}^{n-i}{\phi }_V\rho (T{u}_1,\cdots ,T{u}_{i-1},T{u}_{i+1},\cdots ,T{u}_{n-1},x)u_i\hfill \\ & =& -\sum _{i=1}^{n-1}\sum _{k=1,k\ne i}^{n-1}{(-1)}^{n-i}T\rho (T{u}_1,\cdots ,T{u}_{i-1},T{u}_{i+1},\cdots ,{\phi }_{\mathfrak{g}}T\left(u_k\right),\cdots ,T{u}_{n-1},x)u_i\hfill \\ & & -\sum _{i=1}^{n-1}{(-1)}^{n-i}T\rho (T{u}_1,\cdots ,T{u}_{i-1},T{u}_{i+1},\cdots ,T{u}_{n-1},{\phi }_{\mathfrak{g}}x)u_i\hfill \\ & & -\sum _{i=1}^{n-1}{(-1)}^{n-i}T\rho (T{u}_1,\cdots ,T{u}_{i-1},T{u}_{i+1},\cdots ,T{u}_{n-1},x){\phi }_V\left(u_i\right)\hfill \end{array}$$

and

$$\begin{array}{ccc}& & \sum _{i=1}^{n-1}{\varrho }_T(u_1,u_2,\cdots ,{\phi }_V\left(u_i\right),u_{i+1},\cdots ,u_{n-1})x+{\varrho }_T(u_1,u_2,\cdots ,u_{n-1}){\phi }_{\mathfrak{g}}x\hfill \\ & =& \sum _{i=1}^{n-1}[T{u}_1,\cdots ,T{u}_{i-1},T{\phi }_V\left(u_i\right),T{u}_{i+1},\cdots ,T{u}_{n-1},x]\hfill \\ & & -\sum _{i=1}^{n-1}\sum _{k=1,k\ne i}^{n-1}{(-1)}^{n-k}T\rho (T{u}_1,\cdots ,T{u}_{i-1},T{\phi }_V\left(u_i\right),T{u}_{i+1},\cdots ,T{u}_{n-1},x)u_k\hfill \\ & & -\sum _{i=1}^{n-1}{(-1)}^{n-i}T\rho (T{u}_1,\cdots ,T{u}_{i-1},T{u}_{i+1},\cdots ,T{u}_{n-1},x){\phi }_V\left(u_i\right)\hfill \\ & & +[T{u}_1,\cdots ,T{u}_{n-1},{\phi }_{\mathfrak{g}}x]-\sum _{i=1}^{n-1}{(-1)}^{n-i}T\rho (T{u}_1,\cdots ,T{u}_{i-1},T{u}_{i+1},\cdots ,T{u}_{n-1},{\phi }_{\mathfrak{g}}x)u_i.\hfill \end{array}$$

Hence,

$${\phi }_{\mathfrak{g}}{\varrho }_T(u_1,\cdots ,,u_{n-1})=\sum _{i=1}^{n-1}{\varrho }_T(u_1,u_2,\cdots ,{\phi }_V\left(u_i\right),u_{i+1},\cdots ,u_{n-1})+{\varrho }_T(u_1,u_2,\cdots ,u_{n-1}){\phi }_{\mathfrak{g}}.$$

□

Finally, in this section, let us study the cohomology of the new n-LieDer pair $(V,{[,\cdots ,]}_T,{\phi }_V)$ with coefficients in the representation $(\mathfrak{g},{\varrho }_T,{\phi }_{\mathfrak{g}})$. Suppose that $L\left(V\right)={\wedge }^{n-1}V$ is the associated Leibniz algebra. Then the space $C_{n-\mathrm{Lie}}^p(V,\mathfrak{g})$ of p-cochains ($p\ge 0$) is the set of multilinear maps of the form $f:{\wedge }^{p}L\left(V\right)\wedge V⟶\mathfrak{g},$ and the coboundary operator $d:C_{n-\mathrm{Lie}}^p(V,\mathfrak{g})⟶C_{n-\mathrm{Lie}}^{p+1}(V,\mathfrak{g})$ is given by:

$$\begin{array}{ccc}& & \left(\mathrm{d}f\right)(U_1,\cdots ,U_{p+1},w)\hfill \\ & =& \sum _{1\le i<k\le p+1}{(-1)}^{i}f(U_1,\cdots ,\widehat{U_i},\cdots ,U_{k-1},{[U_i,U_k]}_F,U_{k+1},\cdots ,U_{p+1},w)\hfill \\ & & +\sum _{i=1}^{p+1}{(-1)}^{i}f(U_1,\cdots ,\widehat{U_i},\cdots ,U_{p+1},{[U_i,w]}_T)+\sum _{i=1}^{p+1}{(-1)}^{i+1}{\varrho }_T\left(U_i\right)f(U_1,\cdots ,\widehat{U_i},\cdots ,U_{p+1},w)\hfill \\ & & +\sum _{k=1}^{n-1}{(-1)}^{n+p-k}{\varrho }_T(u_{p+1}^1,u_{p+1}^2,\cdots ,u_{p+1}^{k-1},u_{p+1}^{k+1},\cdots ,u_{p+1}^{n-1},w)f(U_1,\cdots ,U_p,u_{p+1}^k),\hfill \end{array}$$

for all $U_i=(u_i^1,u_i^2,\cdots ,u_i^{n-1})\in L\left(V\right)$ and $w\in V$.

Define a map $\delta :C_{n-\mathrm{Lie}}^p(V,\mathfrak{g})⟶C_{n-\mathrm{Lie}}^p(V,\mathfrak{g})$ by

$$\begin{array}{ccc}& & \delta {\varphi }_p(U_1\otimes \cdots \otimes U_p\otimes w)\hfill \\ & =& \sum _{k=1}^p\sum _{i=1}^{n-1}{\varphi }_p(U_1\otimes \cdots \otimes U_{k-1}\otimes {\phi }_V\left(u_k^i\right)\otimes u_k^{i+1}\otimes \cdots \otimes u_k^{n-1}\otimes U_{k+1}\cdots \otimes U_p\otimes w)\hfill \\ & & -{\phi }_{\mathfrak{g}}{\varphi }_p(U_1\otimes \cdots \otimes U_p\otimes w).\hfill \end{array}$$

Now we are ready to define cohomology of the n-LieDer pair $(V,{[,\cdots ,]}_T,{\phi }_V)$ with coefficients in the representation $(\mathfrak{g},{\varrho }_T,{\phi }_{\mathfrak{g}})$. Denote the set of p-cochains ($p\ge 0$) by $C_{n-\mathrm{LieDer}}^p(V,\mathfrak{g}):=C_{n-\mathrm{Lie}}^p(V,\mathfrak{g})\times C_{n-\mathrm{Lie}}^{p-1}(V,\mathfrak{g})$, and the coboundary operator

$${\partial }_V:C_{n-\mathrm{LieDer}}^p(V,\mathfrak{g})⟶C_{n-\mathrm{LieDer}}^{p+1}(V,\mathfrak{g})$$

is given by

$${\partial }_V({\varphi }_p,{\psi }_{p-1})\mapsto (\mathrm{d}{\varphi }_p,\mathrm{d}{\psi }_{p-1}+{(-1)}^{p+1}\delta {\varphi }_p).$$

Denote by ${\mathcal{H}}_{n-Lie}^{*}(V,\mathfrak{g})$ the cohomology group of this cochain complex, which is called the cohomology of the n-LieDer pair $(V,{[,\cdots ,]}_T,{\phi }_V)$ with coefficients in the representation $(\mathfrak{g},{\varrho }_T,{\phi }_{\mathfrak{g}})$.

We calculate the 0-cocycle.

For any $\varphi \in \mathrm{Hom}(V,\mathfrak{g})$, ${\partial }_V\left(\varphi \right)=(d\varphi ,-\delta \varphi ).$ By direct computation,

$$\begin{array}{ccc}& & d\left(\varphi \right)(u_1,\cdots ,u_{n-1},w)\hfill \\ & =& -\varphi \left({[u_1,\cdots ,u_{n-1},w]}_T\right)+{\varrho }_T(u_1,\cdots ,u_{n-1})\varphi \left(w\right)\hfill \\ & & +\sum _{k=1}^{n-1}{(-1)}^{n-k}{\varrho }_T(u_1,\cdots u_{k-1},u_{k+1},\cdots ,u_{n-1},w)\varphi \left(u_k\right)\hfill \\ & =& -\varphi \left({[u_1,\cdots ,u_{n-1},w]}_T\right)+[T{u}_1,\cdots ,T{u}_{n-1},\varphi \left(w\right)]\hfill \\ & & -T\sum _{i=1}^{n-1}{(-1)}^{n-i}\rho (T{u}_1,\cdots ,T{u}_{i-1},T{u}_{i+1},\cdots ,T{u}_{n-1},\varphi \left(w\right))u_i\hfill \\ & & +\sum _{k=1}^{n-1}{(-1)}^{n-k}([T{u}_1,\cdots ,T{u}_{i-1},T{u}_{i+1},\cdots ,T{u}_{n-1},Tw,\varphi \left(u_k\right)]\hfill \\ & & -T\sum _{i=1}^{n-1}{(-1)}^{n-i}\rho (T{u}_1,\cdots ,T{u}_{i-1},T{u}_{i+1},\cdots ,T{u}_{n-1},Tw,\varphi \left(u_k\right))u_i)\hfill \end{array}$$

and

$$\delta \varphi \left(w\right)=\varphi {\phi }_V\left(w\right)-{\phi }_{\mathfrak{g}}\varphi \left(w\right)$$

for any $u_i,w\in V$.

It follows that $\varphi \in \mathrm{Hom}(V,\mathfrak{g})$ is a 0-cocycle if and only

$$\begin{array}{ccc}& & -\varphi \left({[u_1,\cdots ,u_{n-1},w]}_T\right)+[T{u}_1,\cdots ,T{u}_{n-1},\varphi \left(w\right)]\hfill \\ & & -T\sum _{i=1}^{n-1}{(-1)}^{n-i}\rho (T{u}_1,\cdots ,T{u}_{i-1},T{u}_{i+1},\cdots ,T{u}_{n-1},\varphi \left(w\right))u_i\hfill \\ & & +\sum _{k=1}^{n-1}{(-1)}^{n-k}([T{u}_1,\cdots ,T{u}_{i-1},T{u}_{i+1},\cdots ,T{u}_{n-1},Tw,\varphi \left(u_k\right)]\hfill \\ & & -T\sum _{i=1}^{n-1}{(-1)}^{n-i}\rho (T{u}_1,\cdots ,T{u}_{i-1},T{u}_{i+1},\cdots ,T{u}_{n-1},Tw,\varphi \left(u_k\right))u_i)\hfill \\ & =& 0\hfill \end{array}$$

and

$$\varphi {\phi }_V={\phi }_{\mathfrak{g}}\varphi .$$

Clearly, $\mathcal{O}$-operator $T:V⟶\mathfrak{g}$ on n-LieDer pair $(\mathfrak{g},{\phi }_{\mathfrak{g}})$ associated to the representation $(V,\rho ,{\phi }_V)$ satisfying the above conditions. Hence, we have the following conclusion.

Proposition 10.

The $\mathcal{O}$-operator $T:V⟶\mathfrak{g}$ on n-LieDer pair $(\mathfrak{g},{\phi }_{\mathfrak{g}})$ associated with the representation $(V,\rho ,{\phi }_V)$ is a 0-cocycle of the cochain complex $C_{n-\mathit{LieDer}}^p(V,\mathfrak{g})$.

5. Central Extension of $\mathit{n}$-LieDer Pairs

In this section, we use the result in Section 3 to describe the central extension of an n-LieDer pair. First of all, let us define a central extension of an n-LieDer pair.

Definition 6.

Let $(\mathfrak{g},{\phi }_{\mathfrak{g}})$ be an n-LieDer pair, $\mathfrak{h}=\mathbf{k}c$ be a vector space with basis $\left\{c\right\}$, $\chi :\mathfrak{g}\to \mathfrak{h}$, and ${\mathfrak{g}}^{*}$ be the dual of $\mathfrak{g}$. Suppose that ${\phi }_{\mathfrak{h}}:\mathfrak{h}\to \mathfrak{h}$ are linear maps and $\psi \in {\wedge }^{n-1}{\mathfrak{g}}^{*}\wedge {\mathfrak{g}}^{*}$ is a skew symmetric n-linear map. Let $\tilde{\mathfrak{g}}:=\mathfrak{g}\oplus \mathfrak{h}$ and ${\phi }_{\tilde{\mathfrak{g}}}(x+ac)={\phi }_{\mathfrak{g}}\left(x\right)+\chi \left(x\right)+a{\phi }_{\mathfrak{h}}\left(c\right)$ for any $x\in \mathfrak{g}$ and $a\in \mathbf{k}$. Then the n-LieDer pair $(\tilde{\mathfrak{g}},{\phi }_{\tilde{\mathfrak{g}}})$ is called a central extension of $(\mathfrak{g},{\phi }_{\mathfrak{g}})$ if

$${[\widetilde{x_1},\widetilde{x_2},\cdots ,\widetilde{x_n}]}_{\tilde{\mathfrak{g}}}={[x_1,x_2,\cdots ,x_n]}_{\mathfrak{g}}+\psi (x_1,x_2,\cdots ,x_n)c,$$

and

$${[\widetilde{x_1},\widetilde{x_2},\cdots ,{\tilde{x}}_{n-1},c]}_{\tilde{\mathfrak{g}}}=0$$

for all $x_i\in \mathfrak{g}$, where $\widetilde{x_i}=x_i+a_{i}c,(i=1,2,\cdots ,n)$ for some $a_i\in \mathbf{k}$.

Remark 1.

$\chi \left(x_i\right)+a_i{\phi }_{\mathfrak{h}}\left(c\right)$ can be identified with $\lambda \left(x_i\right)c$, where $\lambda :\mathfrak{g}\to \mathbf{k}$ is a linear map.

Proposition 11.

With above notations, $(\tilde{\mathfrak{g}},{\phi }_{\tilde{\mathfrak{g}}})$ is an n-LieDer pair if and only if $(\psi ,\chi )$ is a 1-cocycle with coefficients in the trivial representation $(\mathfrak{h},{\phi }_{\mathfrak{h}}).$

Proof. 

On the one hand, $(\tilde{\mathfrak{g}},{[,\cdots ,]}_{\tilde{\mathfrak{g}}})$ is an n-Lie algebra if and only if

$${[\widetilde{x_1},\widetilde{x_2},\cdots ,{\tilde{x}}_{n-1},{[\widetilde{y_1},\widetilde{y_2},\cdots ,\widetilde{y_n}]}_{\tilde{\mathfrak{g}}}]}_{\tilde{\mathfrak{g}}}=\sum _{i=1}^n{[\widetilde{y_1},\widetilde{y_2},\cdots ,{\tilde{y}}_{i-1},{[\widetilde{x_1},\widetilde{x_2},\cdots ,{\tilde{x}}_{n-1},\widetilde{y_i}]}_{\tilde{\mathfrak{g}}},{\tilde{y}}_{i+1},\cdots ,\widetilde{y_n}]}_{\tilde{\mathfrak{g}}}.$$

In fact,

$$\begin{array}{ccc}& & {[\widetilde{x_1},\widetilde{x_2},\cdots ,{\tilde{x}}_{n-1},{[\widetilde{y_1},\widetilde{y_2},\cdots ,\widetilde{y_n}]}_{\tilde{\mathfrak{g}}}]}_{\tilde{\mathfrak{g}}}\hfill \\ & =& {[\widetilde{x_1},\widetilde{x_2},\cdots ,{\tilde{x}}_{n-1},{[y_1,y_2,\cdots ,y_n]}_{\mathfrak{g}}+\psi (y_1,y_2,\cdots ,y_n)c]}_{\tilde{\mathfrak{g}}}\hfill \\ & =& {[x_1,x_2,\cdots ,x_{n-1},{[y_1,y_2,\cdots ,y_n]}_{\mathfrak{g}}]}_{\mathfrak{g}}+\psi (x_1,x_2,\cdots ,x_{n-1},{[y_1,y_2,\cdots ,y_n]}_{\mathfrak{g}})c\hfill \end{array}$$

and

$$\begin{array}{ccc}& & \sum _{i=1}^n{[\widetilde{y_1},\widetilde{y_2},\cdots ,{\tilde{y}}_{i-1},{[\widetilde{x_1},\widetilde{x_2},\cdots ,{\tilde{x}}_{n-1},\widetilde{y_i}]}_{\tilde{\mathfrak{g}}},{\tilde{y}}_{i+1},\cdots ,\widetilde{y_n}]}_{\tilde{\mathfrak{g}}}\hfill \\ & =& \sum _{i=1}^n{[\widetilde{y_1},\widetilde{y_2},\cdots ,{\tilde{y}}_{i-1},{[x_1,x_2,\cdots ,x_{n-1},y_i]}_{\mathfrak{g}}+\psi (x_1,x_2,\cdots ,x_{n-1},y_i)c,{\tilde{y}}_{i+1},\cdots ,\widetilde{y_n}]}_{\tilde{\mathfrak{g}}}\hfill \\ & =& \sum _{i=1}^n{[y_1,y_2,\cdots ,y_{i-1},{[x_1,x_2,\cdots ,x_{n-1},y_i]}_{\mathfrak{g}},y_{i+1},\cdots ,y_n]}_{\mathfrak{g}}\hfill \\ & & +\psi (y_1,y_2,\cdots ,y_{i-1},{[x_1,x_2,\cdots ,x_{n-1},y_i]}_{\mathfrak{g}},y_{i+1},\cdots ,y_n)c.\hfill \end{array}$$

So $(\tilde{\mathfrak{g}},{[,\cdots ,]}_{\tilde{\mathfrak{g}}})$ is an n-Lie algebra if and only if

$$\psi (x_1,x_2,\cdots ,x_{n-1},{[y_1,y_2,\cdots ,y_n]}_{\mathfrak{g}})=\sum _{i=1}^n\psi (y_1,y_2,\cdots ,y_{i-1},{[x_1,x_2,\cdots ,x_{n-1},y_i]}_{\mathfrak{g}},y_{i+1},\cdots ,y_n).$$

(10)

At the same time, ${\phi }_{\tilde{\mathfrak{g}}}$ is a derivation of $\tilde{\mathfrak{g}}$ if and only if

$${\phi }_{\tilde{\mathfrak{g}}}({[\widetilde{x_1},\widetilde{x_2},\cdots ,\widetilde{x_n}]}_{\tilde{\mathfrak{g}}})=\sum _{i=1}^n{[\widetilde{x_1},\widetilde{x_2},\cdots ,{\tilde{x}}_{i-1},{\phi }_{\tilde{\mathfrak{g}}}\left(\widetilde{x_i}\right),\cdots ,\widetilde{x_n}]}_{\tilde{\mathfrak{g}}}.$$

By direct calculation,

$$\begin{array}{ccc}& & {\phi }_{\tilde{\mathfrak{g}}}({[\widetilde{x_1},\widetilde{x_2},\cdots ,\widetilde{x_n}]}_{\tilde{\mathfrak{g}}})\hfill \\ & =& {\phi }_{\tilde{\mathfrak{g}}}({[x_1,x_2,\cdots ,x_n]}_{\mathfrak{g}})+\psi (x_1,x_2,\cdots ,x_n)c\hfill \\ & =& {\phi }_{\mathfrak{g}}({[x_1,x_2,\cdots ,x_n]}_{\mathfrak{g}})+\chi ({[x_1,x_2,\cdots ,x_n]}_{\mathfrak{g}})+\psi (x_1,x_2,\cdots ,x_n){\phi }_{\mathfrak{h}}\left(c\right),\hfill \end{array}$$

and

$$\begin{array}{ccc}& & \sum _{i=1}^n{[\widetilde{x_1},\widetilde{x_2},\cdots ,{\tilde{x}}_{i-1},{\phi }_{\tilde{\mathfrak{g}}}\left(\widetilde{x_i}\right),\cdots ,\widetilde{x_n}]}_{\tilde{\mathfrak{g}}}\hfill \\ & =& \sum _{i=1}^n{[x_1,x_2,\cdots ,x_{i-1},{\phi }_{\mathfrak{g}}\left(x_i\right),\cdots ,x_n]}_{\mathfrak{g}}+\psi (x_1,x_2,\cdots ,x_{i-1},{\phi }_{\mathfrak{g}}\left(x_i\right),\cdots ,x_n)c.\hfill \end{array}$$

Therefore, ${\phi }_{\tilde{\mathfrak{g}}}$ is a derivation of $\tilde{\mathfrak{g}}$ if and only if

$$\begin{array}{ccc}& & \psi (x_1,x_2,\cdots ,x_{i-1},{\phi }_{\mathfrak{g}}\left(x_i\right),\cdots ,x_n)=\chi ({[x_1,x_2,\cdots ,x_n]}_{\mathfrak{g}})+\psi (x_1,x_2,\cdots ,x_n){\phi }_{\mathfrak{h}}.\hfill \end{array}$$

(11)

On the other hand, for any $(\psi ,\chi )\in \mathrm{Hom}(L\otimes \mathfrak{g},\mathfrak{h})\times \mathrm{Hom}(\mathfrak{g},\mathfrak{h}),$ $(\psi ,\chi )$ is a one-cocycle if and only if

$${\partial }_{\mathfrak{g}}(\psi ,\chi )=(\mathrm{d}\psi ,\mathrm{d}\chi +\delta \psi )=0,$$

that is, for every $X\otimes Y\otimes z\in L\otimes L\otimes \mathfrak{g}$,

$$\begin{array}{ccc}& & \mathrm{d}\psi (X\otimes Y\otimes z)\hfill \\ & =& -\psi ({[X,Y]}_F\otimes z)-\psi (Y\otimes {[X,z]}_{\mathfrak{g}})+\psi (X\otimes {[Y,z]}_{\mathfrak{g}})\hfill \\ & =& -\psi (y_1\otimes \cdots \otimes y_{i-1}\otimes {[x_1,\cdots ,x_{n-1},y_i]}_{\mathfrak{g}}\otimes y_{i+1}\otimes \cdots \otimes y_{n-1}\otimes z)\hfill \\ & & -\psi (y_1\otimes \cdots \otimes y_{n-1}\otimes {[x_1,x_2,\cdots ,\otimes x_{n-1}\otimes z]}_{\mathfrak{g}})\hfill \\ & & +\psi (x_1\otimes \cdots \otimes x_{n-1}\otimes {[y_1,y_2,\cdots ,\otimes y_{n-1}\otimes z]}_{\mathfrak{g}})\hfill \\ & =& 0,\hfill \end{array}$$

(12)

and

$$\begin{array}{ccc}& & (\mathrm{d}\chi +{(-1)}^2\delta \psi )(X\otimes z)\hfill \\ & =& -\chi ({[X,z]}_{\mathfrak{g}})+\sum _{i=1}^{n-1}\psi (x_1\otimes \cdots \otimes x_{i-1}\otimes {\phi }_{\mathfrak{g}}\left(x_i\right)\otimes \cdots \otimes x_{n-1}\otimes z)\hfill \\ & & +\psi (x_1\otimes \cdots \otimes x_{n-1}\otimes {\phi }_{\mathfrak{g}}\left(z\right))-{\phi }_{\mathfrak{h}}\psi (x_1\otimes \cdots \otimes x_{n-1}\otimes z)\hfill \\ & =& -\chi ({[x_1,\cdots ,x_{n-1},z]}_{\mathfrak{g}})+\sum _{i=1}^{n-1}\psi (x_1\otimes \cdots \otimes x_{i-1}\otimes {\phi }_{\mathfrak{g}}\left(x_i\right)\otimes \cdots \otimes x_{n-1}\otimes z)\hfill \\ & & +\psi (x_1\otimes \cdots \otimes x_{n-1}\otimes {\phi }_{\mathfrak{g}}\left(z\right))-{\phi }_{\mathfrak{h}}\psi (x_1\otimes \cdots \otimes x_{n-1}\otimes z)\hfill \\ & =& 0.\hfill \end{array}$$

(13)

In the light of (12) and (13), $(\psi ,\chi )$ is a 1-cocycle if and only if (10) and (11) hold. Hence, we get the conclusion. □