3-Lie Superalgebras Induced by Lie Superalgebras

We show that given a Lie superalgebra and an element of its dual space, one can construct the 3-Lie superalgebra. We apply this approach to Lie superalgebra of (m, n)-block matrices taking a supertrace of a matrix as the element of dual space. Then we also apply this approach to commutative superalgebra and the Lie superalgebra of its derivations to construct 3-Lie superalgebra. The graded Lie brackets are constructed by means of a derivation and involution of commutative superalgebra, and we use them to construct 3-Lie superalgebras.

superalgebras by means of an analog of supertrace. Particularly it was proved that Lie superalgebra gl(m, n) of (m, n)-block matrices induces the 3-Lie superalgebra if we endow it with a graded ternary bracket, constructed with the help of binary graded commutator of gl(m, n) and the supertrace of (m, n)-block matrix. In [11] this approach was extended to 3-ary Hom-Lie superalgebras and the authors showed that given a Hom-Lie superalgebra and its representation one can construct the 3-ary Hom-Lie superalgebra, whose graded ternary Lie bracket is constructed by means of binary graded Lie bracket of Hom-Lie superalgebra and the supertrace. The authors of [11] explored the structures of induced 3-ary Hom-Lie superalgebras such that ideals, center, derived series and central extensions.
In Section 2 we prove Theorem 1, which states that given a Lie superalgebra g and an element φ of its dual space, which vanishes on odd subspace of g and satisfies one can construct 3-Lie superalgebra, whose graded ternary Lie bracket is constructed with the help of binary graded Lie bracket of g and φ. This theorem can be applied to Lie superalgebra gl(m, n) of (m, n)-block matrices if φ is the supertrace of a matrix. In [9] the approach of induced n-Lie algebras was applied to the Lie algebra of vector fields on a smooth manifold and the author constructed ternary Lie bracket of vector fields by means of commutator of vector fields and a differential form, which satisfies conditions similar to (1). In Section 3 we generalize this result to a commutative superalgebra and the Lie superalgebra of its derivations. We also extend the constructions and results of [12] to Lie superalgebras and 3-Lie superalgebras. Particularly we construct graded Lie bracket by means of a derivation, involution of commutative superalgebra. Then we use these Lie superalgebras to construct 3-Lie superalgebras in analogy with approach proposed in Theorem 1.

3-Lie Superalgebras Induced by Lie Superalgebras with an Analog of Supertrace
In this section, we show that given a Lie superalgebra with analog of the supertrace one can construct a 3-Lie superalgebra.
Let g = g 0 ⊕ g 1 be a vector superspace. In what follows the degree of a homogeneous vector x will be denoted by |x|. A vector superspace g is said to be a Lie superalgebra if it is endowed with a graded Lie bracket [g i , g j ] ⊂ g i+j , which is graded skew-symmetric [x, y] = −(−1) |x||y| [y, x] (u, v ∈ g) and satisfies the graded Jacobi identity x, [y, z] = [x, y], z] + (−1) |x||y| y, [x, z] , x, y, z ∈ g. (2) One can extend the concept of Lie superalgebra to multiplications with many arguments, that is, n-ary multiplications, where n > 2. In this paper, we consider ternary multiplications. Assume g = g 0 ⊕ g 1 is a vector superspace. A trilinear mapping (x, y, z) ∈ g ⊗ g ⊗ g → [x, y, z] ∈ g is said to be a graded ternary Lie bracket if |[x, y, z]| = |x| + |y| + |z|, it is graded skew-symmetric, i.e., and satisfies the graded Filippov-Jacobi identity (Fundamental Identity) A vector superspace g, together with a graded ternary Lie bracket defined on it, is called a 3-Lie superalgebra.
Let g = g 0 ⊕ g 1 be a Lie superalgebra and [ , ] be a graded (binary) Lie bracket of this Lie superalgebra. Theorem 1. Let φ ∈ g * . Assume that for any homogenous elements x, y, z ∈ g and for any odd degree element u ∈ g 1 a linear function φ satisfies the following conditions: Then (5) is a graded ternary Lie bracket and (g, [ , , ] φ ) is a 3-Lie superalgebra.
Proof of Theorem 1. A linear function φ vanishes on elements of odd degree (second condition), and from this it follows that for various combinations of parities of arguments, the ternary bracket (5) takes on the form Hence the ternary bracket (5) satisfies |[x, y, z]| = |x| + |y| + |z|. Next we show that (5) is the graded skew-symmetric. Indeed, if we interchange the positions of two first elements in (5) then we obtain The graded skew-symmetry of (5) for other permutations of arguments can be proved similarly. It remains to prove the graded Filippov-Jacobi identity (4). If we expand the graded double ternary brackets in the Filippov-Jacobi identity by applying twice the definition of graded ternary bracket (5), then all terms can be divided into three groups of terms. In the first group of terms we collect all those terms that contain graded double (binary) Lie brackets. For instance, if we open the graded double ternary brackets with the help of (5), then the graded double ternary bracket at the left-hand side of the Filippov-Jacoby identity (4) gives the term the second term at the right-hand side of the Filippov-Jacoby identity gives the term and the third term at the right-hand side of the Filippov-Jacoby identity gives the term By collecting all these terms on the left-hand side of the Filippov-Jacoby identity, we get the expression The structure of this expression is such that x, u generate the product φ(x)φ(u) and y, v, w generate the sum of graded double (binary) Lie brackets (with the corresponding sign factors). Bearing in mind precisely this structure, we will say that the expression (8) is generated by the combination (y, v, w), (x, u) . Now, if one of elements x, u (or both) is odd degree element, then the expression (8) vanishes due to the condition 2. If both x, u are even degree elements, i.e., x, u ∈ g 0 , then the expression (8) vanishes due to the graded Jacobi identity.
The remaining terms in the first group of terms (containing graded double binary Lie brackets) are generated by the combinations and analogously it can be proved that they all vanish because of either graded Jacoby identity or the condition 2.
The second group of terms includes all terms in which one multiplier is of the form φ([ , ]). All these terms vanish due to the condition 1. For example, the left-hand side of the Filippov-Jacobi identity contains the terms The last group contains those terms that are mutually cancelled. Every pair of mutually cancelled terms is determined by one of the following combinations (x, y, v), (x, y, w), (x, y, u). For example, the combination (x, y, w) determines the expression It is easy to see that the terms inside the round brackets cancel each other.
We will call (g, [ , , ] φ ) the 3-Lie superalgebra induced by a Lie superalgebra g with the help of linear function φ. We can apply Theorem 1 to Lie superalgebra gl(m, n) of block matrices where A is a square matrix of order m, D is a square matrix of order n, C is a rectangular n × m-matrix and B is a rectangular m × n-matrix. X is a matrix of even degree if B = 0, C = 0, and X is a matrix of odd degree if A = 0, D = 0. Thus, gl(m, n) = gl 0 (m, n) ⊕ gl 1 (m, n). The degree of a homogeneous matrix is denoted by |X|. The graded Lie bracket is the graded commutator of two matrices, i.e., where X · Y is the product of two matrices. For a linear function φ ∈ gl * (m, n), we can take the supertrace of a matrix Str(X) = Tr(A) − Tr(D).
Then the conditions 1,2 of Theorem 1 are satisfied, because supertrace vanishes on matrices of odd degree and it also vanishes on graded commutators of matrices, i.e., if X is an odd degree matrix, then Str(X) = 0, and Str([X, Y]) = 0. Thus, according to Theorem 1 the graded ternary commutator where X, Y, Z ∈ gl(m, n), is the graded ternary Lie bracket and (gl(m, n), [ , , ] S ) is the 3-Lie superalgebra induced by matrix Lie superalgebra gl(m, n) with the help of supertrace.

3-Lie Superalgebras Induced by Commutative Superalgebras
Let A = A 0 ⊕ A 1 be a superalgebra. A superalgebra A is said to be commutative superalgebra if for any two homogeneous elements u, v ∈ A it holds uv = (−1) |u||v| vu. A degree m derivation (left superderivation [13]) of superalgebra A, where m is either 0 (even degree derivation) or 1 (odd degree derivation), is a linear mapping δ : A → A such that it satisfies the graded Leibniz rule The degree of a derivation δ will be denoted by |δ|. Hence if δ is an even degree derivation of superalgebra A, then for any two elements u, v ∈ A it satisfies the Leibniz rule A superinvolution of a superalgebra A is an even degree antilinear, i.e., mapping * : u ∈ A → u * ∈ A such that (u * ) * = u and (uv) * = (−1) |u||v| v * u * . In the case of commutative superalgebra with superinvolution * we have (uv) * = u * v * . Let Der A = Der 0 A ⊕ Der 1 A be the vector superspace of all derivations of A. The graded commutator [δ 1 , δ 2 ] = δ 1 • δ 2 − (−1) |δ 1 ||δ 2 | δ 2 δ 1 turns this vector superspace into the Lie superalgebra. If A is a commutative superalgebra, then Der A has the structure of graded left A-module if one defines the left multiplication (uδ)(v) = u(δ(v)).
Theorem 2. Let A be a commutative superalgebra and ω : Der A → A be an even degree homomorphism of graded left A-modules. Define ternary bracket If ω satisfies the conditions A, [ , , ] ω ) is a 3-Lie superalgebra.

then (18) is a graded ternary Lie bracket and (Der
A proof of this theorem is similar to the proof of Theorem 1.
Making use of the definitions of , * operations and of the condition (δ(u)) * = −δ(u * ), we obtain Thus, the first term at the right-hand side of (23) can be written and it is easy to see that it cancels with the first term at the right-hand side of (22). We can split the terms of graded Jacobi identity into pairs (this is shown in (22)-(24) by means of integers from 1 to 9) such that terms with the same integer label cancel each other.
Each element x of algebra with superinvolution A can be written in the form It is worth mentioning that the components x 1 , x −1 have the same degree as x, i.e., |x 1 | = |x −1 | = |x|.
Theorem 3. Let A = A 0 ⊕ A 1 be a commutative superalgebra, χ, φ, ψ ∈ A * be linear functions on A. Define ternary brackets Proof of Theorem 3. We begin with the ternary bracket (29). It is proved in Lemma 1 that the graded binary bracket [ , ] δ gives the Lie superalgebra structure on a commutative superalgebra A. Next we see that the graded ternary bracket (29) has the same structure as the graded ternary bracket (5) Taking into account the assumption χ(u) = 0, u ∈ A 1 , we see that the conditions 1,2 of Theorem 1 are satisfied, consequently (28) is the graded ternary Lie bracket and (A, [ , , ] * ) is the 3-Lie superalgebra.
The graded Lie bracket (21) can be put into the form Thus Now from Theorem 1 and Lemma 1 it follows that (30) is the graded ternary Lie bracket and (A, [ , , ] * ,δ ) is the 3-Lie superalgebra.

Discussion
We would like to discuss the possibilities of realizing graded ternary Lie brackets, constructed in Theorem 3, for the case of concrete commutative superalgebras. As it follows from Theorem 3, in order to construct the graded ternary Lie brackets, we need to find linear functions χ, φ, ψ, which satisfy the conditions of Theorem 3. One of the conditions requires that every function should vanish on odd degree elements of superalgebra. For instance, we can consider the commutative superalgebra of functions on a superspace, constructed with the help of Grassmann algebra with superinvolution. Then an even degree vector field on this superspace can be taken as an even degree derivation of superalgebra. To construct linear functionals χ, φ, ψ we can use the Berezin integral. Indeed, it follows from the properties of Berezin integral that it vanishes on odd degree functions in the case of even number of generators of Grassmann algebra, but in the case of Grassmann algebra with superinvolution we have even number of generators. Thus, we can construct a linear functional by combining Berezin integral with a linear functional on even subalgebra of superalgebra of functions, which satisfies the conditions of Theorem 3.
Funding: This research was funded by the institutional funding IUT20-57 of the Estonian Ministry of Education and Research.