Home Hom-Lie superalgebra structures on exceptional simple Lie superalgebras of vector fields
Article Open Access

Hom-Lie superalgebra structures on exceptional simple Lie superalgebras of vector fields

  • Liping Sun and Wende Liu EMAIL logo
Published/Copyright: November 13, 2017

Abstract

According to the classification by Kac, there are eight Cartan series and five exceptional Lie superalgebras in infinite-dimensional simple linearly compact Lie superalgebras of vector fields. In this paper, the Hom-Lie superalgebra structures on the five exceptional Lie superalgebras of vector fields are studied. By making use of the ℤ-grading structures and the transitivity, we prove that there is only the trivial Hom-Lie superalgebra structures on exceptional simple Lie superalgebras. This is achieved by studying the Hom-Lie superalgebra structures only on their 0-th and (−1)-th ℤ-components.

MSC 2010: 17B40; 17B65; 17B66

1 Introduction

The motivations to study Hom-Lie algebras and related algebraic structures come from physics and deformations of Lie algebras, in particular, Lie algebras of vector fields. Recently, this kind of investigation has become rather popular [1, 2, 3, 4, 5, 6, 7, 8, 9, 10], partially due to the prospect of having a general framework in which one can produce many types of natural deformations of Lie algebras, in particular, q-deformations. The notion of Hom-Lie algebras was introduced by J. T. Hartwig, D. Larsson and S. D. Silvestrov in [1] to describe the structures on certain deformations of Witt algebras and Virasoro algebras, which are applied widely in the theoretical physics [11, 12, 13, 14]. Later, W. J. Xie and Q. Q. Jin gave a description of Hom-Lie algebra structures on semi-simple Lie algebras [9, 10]. In 2010, F. Ammar and A. Makhlouf generalized Hom-Lie algebras to Hom-Lie superalgebras [15]. In 2013 and 2015, B. T. Cao, L. Luo, J. X. Yuan and W. D. Liu studied the Hom-structures on finite dimensional simple Lie superalgebras [16, 17].

In the well-known paper [18], Kac classified the infinite-dimensional simple linearly compact Lie superalgebras of vector fields, including eight Cartan series and five exceptional simple Lie superalgebras. In 2014, the Hom-Lie superalgebra structures on the eight infinite-dimensional Cartan series were investigated by J. X. Yuan, L. P. Sun and W. D. Liu [19]. In the present paper, we characterize the Hom-Lie superalgebra structures on the five infinite-dimensional exceptional simple Lie superalgebras of vector fields. Taking advantage of the ℤ-grading structures and the transitivity, we analyse the Hom-Lie superalgebra structures through computing the Hom-Lie superalgebra structures on the 0-th and (−1)-th ℤ-components. The main result of this study shows that the Hom-Lie superalgebra structures on the five infinite-dimensional exceptional simple Lie superalgebras of vector fields must be trivial.

2 Preliminaries

Throughout the paper, we will use the following notations. 𝔽 denotes an algebraically closed field of characteristic zero. ℤ2 := {0, 1} is the additive group of two-elements. The symbols |x| and zd(x) denote the ℤ2-degree of a ℤ2-homogeneous element x and the ℤ-degree of a ℤ-homogeneous element x, respectively. Notation 〈v1, …, vk〉 is used to represent the linear space spanned by v1, …, vk over 𝔽. Now, let us review the five infinite dimensional exceptional simple Lie superalgebras and their ℤ-grading structures adopted in this paper. More detailed descriptions can be found in [18, 20].

We construct a Weisfeiler filtration of L by using open subspaces:

L=LhLh+1L0L1

where L is a simple linearly compact Lie superalgebra. Let 𝔤i = Lj/Li+1, GrL = i=hgi . In [18], all possible choices for nonpositive part 𝔤≤ 0 = i=hgi of the associated graded Lie superalgebra of L were derived. The five exceptional simple Lie superalgebras are as follows (the subalgebra 𝔤≤ 0 is written below as the h+1- tuple(𝔤h, 𝔤h+1, … 𝔤−1,𝔤0)):

E(5,10):(F5,2(F5),sl(5))E(3,6):(F3,F3F2,gl(3)sl(2))E(3,8):(F2,F3,F3F2,gl(3)sl(2))E(1,6):(F,Fn,cso(n),n1,n2)E(4,4):(F4|4,P^(4))

As we know, the five exceptional simple Lie superalgebras are transitive and irreducible. In particular, 𝔤i = g1i for i ≥ 1 and the transitivity will be used frequently in this paper:

transitivity: if xgi,i0, then [x,g1]=0 implies x=0. (1)

To study the Hom-Lie superalgebras structure, we recall the following definitions [16].

A Hom-Lie superalgbra is a triple (𝔤, [⋅, ⋅], σ) consisting of a ℤ2-graded vector space 𝔤, an even bilinear mapping [⋅, ⋅] : 𝔤 × 𝔤 → 𝔤 and an even linear mapping: σ : 𝔤 → 𝔤 satisfying:

σ[x,y]=[σ(x),σ(y)], (2)

[x,y]=(1)|x||y|[y,x], (3)

(1)|x||z|[σ(x),[y,z]]+(1)|y||x|[σ(y),[z,x]]+(1)|z||y|[σ(z),[x,y]]=0. (4)

for all homogeneous elements x, y, z ∈ 𝔤.

An even linear mapping σ on a Lie superalgebra 𝔤 is called a Hom-Lie superalgebra structure on 𝔤 if (𝔤, [⋅, ⋅], σ) is a Hom-Lie superalgebra. In particular, σ is called trivial if σ = id|g.

It is obvious that σ is graded and if σ is a Hom-Lie superalgebra structure on a simple Lie superalgebra 𝔤, then σ must be a monomorphism.

Lemma 2.1

Let 𝔤 = ⊕i≥−h𝔤i be a transitive Lie superalgebra. If σ is a Hom-Lie superalgebra structure on 𝔤 and σ|𝔤−1 = id|𝔤−1, then σ(x)−x ∈ 𝔤−k, where x ∈ 𝔤0, k ≥ 1.

Proof

For any y ∈ 𝔤−1, from σ|𝔤−1 = id|𝔤−1 and (2), one can deduce

[σ(x),y]=[σ(x),σ(y)]=σ[x,y]=[x,y].

Then [σ(x)−x, y] = 0. So, [σ(x)−x, 𝔤−1] = 0. The transitivity(1) of 𝔤 and the gradation of σ imply that σ(x)−x ∈ 𝔤−k, k ≥ 1. □

Lemma 2.2

Let 𝔤 = ⊕i≥−h𝔤i be a transitive and irreducible Lie superalgebra. If σ is a Hom-Lie superalgebra structure on 𝔤, and satisfies

σ|gog1=id|gog1,

then

σ=id|g.

Proof

Let i ≥ 1. Equation (2) and 𝔤−i = g1i imply

σ|gi=id|gi. (5)

Suppose xgi,y,z90=i=h0gi, by (4) and (5), one can deduce

[σ(x),[y,z]]=[x,[y,z]].

Since 𝔤 is transitive and irreducible, then 𝔤−1 = [𝔤0, 𝔤−1]. Together with Equation (4), it implies

[σ(x)x,g0]=0.

Then σ(x)−x = 0, σ|𝔤i = id|𝔤i. Thus, we have σ = id|𝔤, that is, σ is trivial. □

According to Lemma 2.2, to study the Hom-Lie superalgebra structures on five exceptional simple Lie superalgebras, we can begin with their 0-th and (−1)-th components. In the remaining of this paper, we will directly use Equation (4) without further remarks.

3 Hom-Lie superalgebra structures on five exceptional simple Lie superalgebras

3.1 E(4, 4)

From [20], there is a unique irreducible gradation over E(4, 4), such that E(4, 4) is the only inconsistent gradated algebra (its (−1)-th component is not purely odd) of the five exceptional simple Lie superalgebras. The 0-th component E(4, 4)0 is isomorphic to P^ (4), which is the unique nontrivial central extension of P(4) . As E(4, 4)0- module, E(4, 4)−1 is isomorphic to the natural module 𝔽4|4. Throughout the rest of the paper, we will use the notations which are introduced in [21] for E(4, 4),.

Let C = (cij) ∈ 𝔤𝔩4(𝔽) be a skew-symmetric matrix. C~=(c~ij)=(εijklckl) stands for the Hodge dual of C, where εijkl is the symbol of permutation (1234)↦(ijkl) . For short, write i′ : = i+4, i = 1, 2, 3, 4. Fix a basis of P^ (4) : 𝓐 ∪ 𝓑 ∪ 𝓒 ∪ 𝓘, where

A:={EijEji,1ij4},B:={Eij+Eji,1ij4},C:={EijEji(E~ijE~ji),1i<j4},I:={I,EjjEi+1,i+1(EiiEi+1,i+1),1i3},

I is the unit matrix.

Suppose E(4, 4)−1 = 〈vi, vi|i = 1, …, 4〉, where |vi| = 0, |vi| = 1.

Proposition 3.1

If σ is a Hom-Lie superalgebra structure on E(4, 4), then

σ|E(4,4)1=id|E(4,4)1.

Proof

Let i = 1, …, 8, k, j = 1, …, 4 and ik′, ji. By using Equation (4), one can deduce

[σ(vi),vk]=[σ(vi),[EkjEjk,vj]]=0. (6)

Similarly, one has

[σ(vi),vk]=[σ(vi),[EjkEkj,vj]]=0 (7)

and

[σ(vk),vk]=[σ(vk),[EkjEjk(E~kjE~jk),vj]]=[σ(vj),vj].

The arbitrariness of k, j in the last equation shows

[σ(vi),vi]=0,i=1,...,4. (8)

It follows from Equations (6)-(8) that

[σ(E(4,4)1),E(4,4)1]=0.

Using the transitivity (1), one gets σ(E(4, 4)−1) ⊆ E(4, 4)−1. Recall that |σ| = 0, one may suppose

σ(vi)=m=18λmvm,λm,F.

Now, for distinct i, j, k, l = 1, 2, 3, 4, suppose (1234)↦(ijkl) is an even permutation and

c=EkjEjk(EliEil)C,a=EjlEljA.

Obviously, [a, vi] = 0, [vi, c] = 0. Then

0=[σ(vi),[c,a]]=[σ(vi),EklElk(EijEji=λlvk+λkvl.

Hence, λk = λl = 0, and then σ(vi) = λjvi, i = 1, 2, 3, 4.

The equation

0=[σ(vi),[EkjEjk,Ejl+Elj=[σ(vi),Ekl+Elk]=λlvk+λkvl

implies λk = λl = 0. One has σ(vi) = λivi.

At last, let us prove σ(vi) = vi and σ(vi) = vi. For distinct i, j, k, put

h=EjjEj+1,j+1(EkkEk+1,k+1)I,a=EjiEjiA.

Clearly,

[σ(h),vj]=[σ(h),[a,vi]]=[σ(vi),a]=λivj. (9)

Recall that σ is monomorphic. Let σ−1 denote a left inverse of σ. Then

σ1[σ(h),vj]=[h,σ1(vj)]=λj1[h,vj]=λj1vj.

It implies that

[σ(h),vj]=σ(λj1vj)=vj. (10)

Comparing (9) with (10), one gets λj = 1. Analogously, one gets σ(vi) = vi.

Summing up the above, we have proved σ|E(4, 4)−1 = id|E(4, 4)−1. □

Proposition 3.2

If σ is a Hom-Lie superalgebra structure on E(4, 4), then

σ|E(4,4)0=id|E(4,4)0.

Proof

Put xE(4, 4)0, vE(4, 4)−1. Using Proposition 3.1 and Lemma 2.1, one can deduce σ(x)-x ∈ E(4, 4)−1. Note that 𝓐 and 𝓘 are generated (Lie product) by 𝓑 and 𝓒, it is sufficient to prove the cases for x ∈ 𝓑 and x ∈ 𝓒.

Case 1: Let x = Eij+Eji ∈ 𝓑. Noting that |σ| = 0, one may suppose

σ(x)=x+m=14λmvm,λmF.

Put

c=EklElk(E~klE~lk)C,b=EkkB,

where k, li, j. Then

0=[σ(x),[b,c]]=[Eij+Eji+m=14λmvm,EklElk]=λkvl.

It implies that λk = 0, ki, j. Then,

σ(x)=x+λivi+λjvj. (11)

Now, put

c=EikEki(E~ikE~ki)C,b=EiiB,ki,j.

Using Equation (11), one may suppose σ(b) = b+μivi, μi ∈ 𝔽, then

0=[σ(x),a]=[Eij+Eji+λivi+λjvj,EikEki]=λivk.

So λi = 0. That is, σ(x) = x+λjvj. Similarly, put

c=EjkEkj(E~jkE~kj)C,b=EjjB.

One obtains λj = 0. Thus, we have σ(x) = x for any x ∈ 𝓑.

Case 2: Let x = EijEji−(EklElk) ∈ 𝓒, where εijkl = 1. Noting that |σ| = 0, one may assume σ(x)=x+m=14μmvm,μmF.

Firstly, put

c=EklElk(EjiEij)C,b=EkkB,

where εijkl = 1. Equation (4) and the result σ(b) = b obtained in Case 1 imply

0=[σ(x),[c,b]]=[x+m=14μmvm,EklElk]=c0+μkvl,c0C.

The equation above shows μk = 0. By the arbitrariness of ki, j, one has

σ(x)=x+μivi+μjvj. (12)

Secondly, put

c=EljEjl(EikEki)C,b=Ejj.

Using Equation (12), one may suppose

σ(c)=c+γlvl+γjvj,γl,γjF.

On one hand,

[σ(x),[b,c]]=[σ(b),[c,x]][σ(c),[x,b]]=EliEil(EkjEjk)γjvi.

On the other hand,

[σ(x),[b,c]]=[EijEji(EklElk)+μivi+μjvj,EljEjl]=EliEil(EkjEjk)μjvl.

Since il, one has γj = μj = 0. Then σ(x) = x+λivi.

At last, put

c=EikEki(EljEjl)C,b=EiiB.

We can obtain λi = 0 in the same way. Thus, σ(x) = x is proved.

Summing up, we have proved σ(x) = x for any xE(4, 4)0, that is, σ|E(4, 4)0 = id|E(4, 4)0. □

3.2 E(3, 6), E(5, 10) and E(3, 8)

Before studying the Hom-Lie superalgebra structures on E(3, 6), E(5, 10) and E(3, 8), we would like to review their algebraic structures briefly [18, 20, 22, 23]. From [18] we know that the even part E(5, 10)0 of E(5, 10) is isomorphic to the Lie algebra S5, which consists of divergence 0 polynomial vector fields on 𝔽5, i.e., polynomial vector fields annihilating the volume form dx1∧ dx2∧…∧ dx5. As S5-module, the odd part E(5, 10)1 of E(5, 10) is isomorphic to dΩ1(5), the space of closed polynomial differential 2-forms on 𝔽5. In the following, we keep the notations from [22]:

dij:=dxidxj,i:=/xi.

We write each element D of E(5, 10)0 as

D=i=15fii, where fiF[[x1,x2,...,x5]],i=15i(fi)=0,

and denote EE(5, 10)1 through

E=i,j=15fijdij, where fijF[[x1,x2,...,x5]],dE=0. (13)

The bracket in E(5, 10)1 is defined by

[fdij,gdkl]=εtijklfgt,

where εtijkl is the sign of permutation (tijkl) when {tijkl} = {12345} and zero otherwise. The bracket of E(5, 10)0 with E(5, 10)1 is defined by the usual action of vector fields on differential forms. The irreducible consistent ℤ-gradation over E(5, 10) is defined by letting (see [22])

zd(xi)=2,zd(d)=52,zd(dxi)=12.

Then E(5, 10) = ⊕i≥−2𝔤i, where

gosl(5)=xij,xkkxk+1k+1|i,j=1,,5,ij,k=1,,4,g12F5=dij|1i<j5,92F5=j|i=1,...,5.

The exceptional simple Lie superalgebra E(3, 6) is a subalgebra of E(5, 10) . The irreducible consistent ℤ-gradation over E(3, 6) is induced by the ℤ-gradation of E(5, 10) above. Let h1 = x11x22, h2 = x22x33, h3 = x44x55, h4 = −x22x33+2x55. Then E(3, 6) = ⊕i≥−2𝔤i, where

gogl(3)sl(2)=xij,xkl,hm|i,j=1,2,3,ij,k,l=4,5,kl,m=1,...,4,g1F3F2=dij|i=1,2,3,j=4,5,g2F3=j|i=1,2,3.

The exceptional simple Lie superalgebra E(3, 8), which is strikingly similar to E(3, 6), carries a unique irreducible consistent ℤ-gradation [23] defined by

zd(xi)=zd(i)=zd(dxi)=2,i=1,2,3;zd(x4)=zd(x5)=3.

Then E(3, 8) = ⊕i≥−3𝔤i, where

gj=E(3,6)j,j=0,1,2;g3F2dx4,dx5. (14)

Hereafter, 𝔤 denotes E(5, 10), E(3, 6) or E(3, 8) unless otherwise noted. We establish a technical lemma, which can be verified directly.

Lemma 3.3

If σ is a Hom-Lie superalgebra structure on 𝔤, then

  1. [σ(dij),dil]=0,if dij,dilE(5,10),[σ(dil),dij],if dij,dilE(3,6)orE(3,8);

  2. [σ(dij), dkj] = 0, in particular, [σ(dij), dij] = 0;

  3. [σ(dij), dkl] = [dij, σ(dkl)] for distinct i, j, k, l.

Proposition 3.4

Let 𝔤 be Lie superalgebra E(5, 10), E(3, 6) or E(3, 8). If σ is a Hom-Lie superalgebra structure on 𝔤, then

σ|g1=id|g1.

Proof

First, let us prove σ|𝔤−1 = λid|𝔤−1, where λ ∈ 𝔽.

Case 1 : 𝔤 = E(5, 10). Noting that the gradation over E(5, 10) is consistent and |σ| = 0, |dij| = 1, one may suppose

σ(dij)=1m<n5fmndmn, where fmnF[[x1,,x5]].

By Lemma 3.3 (1), one has

[σ(dij),dil]=1m<n5fmndmn,dil=m,ni,lfmndmn,dil=m,ni,l[fmndmn,dil]=m,ni,lεqmnilfmnq=0.

The arbitrariness of l shows

fmn=0, where m,ni.

Similarly, by Lemma 3.3 (2), one gets

fmn=0, where m,nj.

Thus,

σ(dij)=fijdij.

In view of σ(dij) ∈ E(5, 10)1 ≃ dΩ1(5) and (13), one has

0=d(σ(dij))=d(fijdij)=m=15m(fij)dxmdxidxj.

Therefore, ∂m(fij) = 0 for mi, j, that is fij ∈ 𝔽[[xi, xj So one may suppose σ(dkl) = fkldkl, where fkl ∈ 𝔽[[xk, xl Then

[σ(dij),dkl]=[fijdij,dkl]=εqijklfijq,[σ(dkl),dij]=[fkldkl,dij]=εqklijfklq.

For distinct i, j, k, l, Lemma 3.3 (3) implies fij = fklF. Noting that there exists t such that ti, j, k, l, one may obtain fkt = fij in the same way. Then fij = λ ∈ 𝔽 for any i, j = 1, 2, 3, 4, 5 and ij. Thus, we proved σ(dij) = λ dij.

Case 2 : 𝔤 = E(3, 6) or E(3, 8). Noting that the gradation over 𝔤 is consistent and |σ| = 0, |dij| = 1, one may suppose

σ(dij)=m,nfmndmn, where m=1,2,3,n=4,5,fmnN[[x1,,x5]].

By Lemma 3.3 (2), one can deduce

[σ(dij),dkj]=[m,nfmndmn,dkj]=mk,njfmndmn,dkj=0.

It implies fmt = 0, mk, tj. By the arbitrariness of k, one may suppose

σ(dij)=m=13fmjdmj,σ(dil)=m=13fmldml,fmj,fmlF[[x1,,x5].

Noting that [σ(dil), dkj] = [σ(dil), [xkj, dij]] = −[σ(dij), dkl], the simple computations show fmj = fml for m = 1, 2, 3. In view of σ(dij) ∈ 𝔤1 ⊆ dΩ1(5) and (13), one could further deduce

fmj=fmlF[[x1,x2,x3]]. (15)

For distinct i, k, q = 1, 2, 3,

0=[σ(dij),[xiq,xqk]]=[σ(dij),xjk]=m=13fmjdmj,xjk.=m=13(xjk(fmj)dmj+fmjxjk(dmj))=(xjk(fij)+fkj)dijxjk(fkj)dkjxjk(fqj)dqj.

Therefore,

fkj=xjk(fij). (16)

k(fkj)=k(fqj)=0, (17)

From (15)-(17) and the arbitrariness of k, one has fmj = 0, mi. Thus, one may suppose

σ(dij)=fidij,σ(dkl)=fkdkl,where fiF[[xi]],fkF[[xk]].

Then, for distinct i, j, k, l, q,

[σ(dij),dkl]=[fidij,dkl]=εqijklfiq,[dij,σ(dkl)]=[dij,fkdkl,]=εqijklfkq.

By Lemma 3.3 (3), fi = fk ∈ 𝔽. Thus, we have proved σ(dij) = λ dij for some λ ∈ 𝔽.

Now, let us prove λ = 1 for σ|𝔤−1 = λid|𝔤−1. Suppose x = xil, y = xlq, z = dqj. Then

[σ(x),dlj]=[σ(x),[y,z]]=[σ(y),[z,x]][σ(z),[x,y]]=λdij.

Noting that σ is a monomorphism, one may suppose σ−1 is a left linear inverse of σ. Then the equation above implies

σ1[σ(x),dlj]=[x,λ1dlj]=λ1dij=dij.

Thus, λ = 1, that is, σ(dij) = dij. The proof is complete.□

Proposition 3.5

Let 𝔤 be Lie superalgebra E(5, 10), E(3, 6) or E(3, 8). If σ is a Hom-Lie superalgebra structure on 𝔤, then

σ|g0=id|g0.

Proof

Case 1 : 𝔤 = E(5, 10). Note that E(5, 10)0 is generated (Lie product) by {xij|i, j = 1, …, 5, ij}, it is sufficient to prove σ(x) = x only for x = xij. By Proposition 3.4, Lemma 2.1 and |σ| = 0, we have σ(xjj) − xjj ∈ 𝔤−2. Then one may suppose

σ(xij)=xij+m=15λmm,λmF.

For distinct i, j, q, k, l,

0=[σ(xij),[xqk,xkl]]=x+m=15λmm,xql=λql.

Hence, λq = 0. The arbitrariness of qi, j shows

σ(xij)=xij+λii+λjj.

Similarly,

0=[σ(xij),[xil,xlk]]=[x+λii+λjj,xik]=λik

implies λj = 0. Therefore,

σ(xij)=xij+λjj. (18)

On one hand,

[σ(xij),[xji,xik]]=[xij+λjj,xjk]=xik+λjk. (19)

On the other hand, using (4) and (18), one can derive

[σ(xij),[xji,xik]]=[σ(xik),xiixjj]=xik. (20)

Comparing (19) with (20), one gets λj = 0. By (18), we have σ(xjj) = xjj.

Case 2 : 𝔤 = E(3, 6) or E(3, 8). Firstly, let us show σ(xij) = xij for any xij∈ 𝔤0. As before, one may suppose

σ(xij)=xij+m=13λmm,λmF.

Case 2.1 : Let i, j = 1, 2, 3. For distinct i, j, k, by (4),

0=[σ(xij),[xik,xkj]]=[σ(xij),xij]=xij+m=13λmm,xij=λij.

Consequently, λi = 0. One may suppose σ(xkj) = xkj + mk3μmm, On one hand,

[σ(xij),xki]=xij+miλmm,xki=xkj+λki.

On the other hand, from (4) one deduces

[σ(xii),xki]=[σ(xij),[xkj,xji]]=[σ(xkj),[xji,xij]][σ(xji),[xij,xkj]]=xkjμjj+μii.

Comparing the two equations above, one gets μj = 0 and λk = μi. In view of the arbitrariness of i, j, k, one may assume

σ(xij)=xij+λk,σ(xkj)=xkj+λi,i,j,k are distinct.

Then

σ(xij)=σ[xik,xkj]=[σ(xik),σ(xkj)]=xijλk.

The two equations above imply λ = 0, and then σ(xjj) = xjj, i, j = 1, 2, 3.

Case 2.2 : Let i, j = 4, 5. For distinct k, l, q = 1, 2, 3,

0=[σ(xij),[xkq,xql]]=[σ(xij),xkl]=[xij+m=13λmm,xkl]=λkl.

Therefore, λk = 0. The arbitrariness of k implies σ(xij) = xij.

Next, we will prove σ(hm) = hm for m = 1, 2, 3, 4. Similarly, suppose σ(hm) = hm+k=13λkk. Noting that hm is an element of the basis of 𝔤0’s Cartan subalgebra, one may assume [hm, xij] = γ xij, γ∈ 𝔽, i, j = 1, 2, 3. By the result obtained in Case 2.1, one can deduce

σ[hm,xij]=γσ(xij)=γxij.

On the other hand,

σ[hm,xij]=[σ(hm),σ(xij)]=hm+k=13λkk,xij=γxij+λij.

The two equations above imply that λi = 0 for i = 1, 2, 3. Thus, we have σ(hm) = hm for m = 1, 2, 3, 4.

Summing up, we have proved σ(x) = x for any x ∈ 𝔤0, that is, σ|𝔤0 = id|𝔤0.□

3.3 E(1,6)

The exceptional simple Lie superalgebra E(1, 6) is a subalgebra of K(1, 6). The principal gradation over K(1, 6) (see [20]) induces an irreducible consistent ℤ-gradation over E(1, 6). Moreover, E(1, 6) has the same non-positive ℤ-graded components as K(1, 6) : E(1, 6)j = K(1, 6)j, j ≤ 0. Let x be even and ξi, i = 1, …, 6, be odd indeterminates. Then

E(1,6)0cspo(6)=x,ξiξj|i,j=1,,6,ij,E(1,6)1F6=ξi|i=1,,6,E(1,6)2F.

For f, gE(1, 6), the bracket product is defined as

[f,g]=2fi=16ξii(f)x(g)(1)|f||g|2gi=16ξii(g)x(f)+(1)|f|i=16i(f)j(g).

Proposition 3.6

If σ is a Hom-Lie superalgebra structure on E(1, 6), then

σ|E(1,6)1=id|E(1,6)1.

Proof

For i, j, k = 1, …, 6 and ji, k, by (4),

[σ(ξi),ξk]=[σ(ξi),[ξjξk,ξj]]=δk,i[σ(ξj),ξj].

It implies that [σ(ξi), ξk] = 0 for any k, i = 1, …, 6. From |σ| = 0 and the transitivity of E(1, 6), one can deduce σ(E(1, 6)−1) ⊆ E(1, 6)−1. So one may assume σ(ξi) = k=16λkξk,λk ∈ 𝔽. By using Equation (4), for distinct i, j, s, t = 1, …, 6, one can deduce

0=[σ(ξi),[ξjξt,ξsξt]]=[σ(ξi),ξjξs]=λjξsλsξj.

Then λk = 0 for any ki. That is σ(ξi) = λiξi. By using Equation (4) again, one can deduce

λj=[σ(ξi),[ξjξi,ξj]]=[σ(ξi),ξi]=[λiξi,ξi]=λi.

Moreover, one knows σ(ξi) = λξi for any i = 1, …, 6. The remaining work is to prove λ = 1. For distinct i, j, t,

[σ(ξtξj),ξt]=[σ(ξtξj),[ξiξt,ξi]]=[σ(ξi),[ξtξj,ξiξt]]=[λξi,ξjξi]=λξj. (21)

Suppose σ−1 is a left inverse of the monomorphism σ. Then

σ1([σ(ξtξj),ξt])=[ξtξj,σ1(ξt)]=λ1ξj.

Hence

[σ(ξtξj),ξt]=σ(λ1ξj)=ξj. (22)

Equations (21) and (22) imply λ = 1. The proof is completed.□

Proposition 3.7

If σ is a Hom-Lie superalgebra structure on E(1, 6), then

σ|E(1,6)0=id|E(1,6)0.

Proof

For any yE(1, 6)0, by Proposition 3.6 and Lemma 2.1, σ(y) − yE(1, 6)−2 ≃ 𝔽. So, one may suppose σ(y) = y + λ, λ ∈ 𝔽. Then

[σ(y),x]=[y+λ,x]=[λ,x]=2λ. (23)

If y = x, noting that x is an element of a basis of E(1, 6)0’s Cartan subalgebra, one may assume

[σ(x),x]=μσ(x)=μ(x+λ),μF. (24)

Comparing (23) and (24), one has μ = 0, and then λ = 0, that is σ(x) = x.

If y = ξiξj,

[σ(ξiξj),x]=[σ(ξiξj),σ(x)]=σ[ξiξj,x]=0. (25)

From (23) and (25), one gets λ = 0 again. The proof is complete.□

3.4 The main result

Propositions 3.1, 3.2, 3.4-3.7 show that all the Hom-Lie superalgebra structures on the 0-th and (−1)-th ℤ-components of each infinite-dimensional exceptional simple Lie superalgebra are trivial. Then combining this with Lemma 2.2, we immediately have:

Theorem 3.8

There is only the trivial Hom-Lie superalgebra structure on each exceptional simple Lie superalgebra.

Acknowledgement

This work is supported by Natural Science Foundation of Heilongjiang province (No.A2015017) and National Natural Science Foundation of China (No.11471090). The authors would like to thank deeply the referees for their detailed and helpful suggestions and comments.

References

[1] Hartwig J. T., Larsson D., Silvestrov S. D., Deformations of the Lie algebras using σ-derivations, J. Algebra, 2006, 295, 314–36110.1016/j.jalgebra.2005.07.036Search in Google Scholar

[2] Ammar F., Ejbehi Z., Makhlouf A., Cohomology and deformations of Hom-algebras, J. Lie Theory, 2011, 21, 813–836Search in Google Scholar

[3] Makhlouf A., Silvestrov S. D., Notes on 1-parameter formal deformations of Hom-associative and Hom-Lie algebras, Forum Math, 2010, 22, 715–73910.1515/forum.2010.040Search in Google Scholar

[4] Larsson D., Silvestrov S. D., Quasi-deformations of 𝔰𝔩2(𝔽) using twisted derivations, Comm. Algebra, 2007, 35, 4303–431810.1080/00927870701545127Search in Google Scholar

[5] Yau D., Hom-quantum groups: I. Quasi-triangular Hom-bialgebras, J. phys. A: Math. Theor., 2012, 45065203, 23 pages10.1088/1751-8113/45/6/065203Search in Google Scholar

[6] Cai L. Q., Sheng Y. H., Hom-Big Brackets: Theory and Applications, SIGMA, 2016, 12, 18 pages10.3842/SIGMA.2016.014Search in Google Scholar

[7] Sheng Y. H., Representations of Hom-Lie algebras, Algebr. Represent. Theory, 2012, 15, 1081–109810.1007/s10468-011-9280-8Search in Google Scholar

[8] Benayadi S., Makhlouf A., Hom-Lie algebras with symmetric invariant nondegenerate bilinear forms, J. Geom. Phys., 2014, 76, 38–6010.1016/j.geomphys.2013.10.010Search in Google Scholar

[9] Jin Q. Q., Li X. C., Hom-Lie algebra structures on semi-simple Lie algebras, J. Algebra, 2008, 319, 1398–140810.1016/j.jalgebra.2007.12.005Search in Google Scholar

[10] Xie W. J., Jin Q. Q., Liu W. D., Hom-structures on semi-simple Lie algebras., Open Math, 2015, 13, 617–63010.1515/math-2015-0059Search in Google Scholar

[11] Aizawa N., Sato H., q-deformation of the Virasoro algebra with central extension, Phys. Lett. B, 1991, 256, 185–19010.1016/0370-2693(91)90671-CSearch in Google Scholar

[12] Chaichian M., Kulish P., Lukierski J., q-deformed Jacobi identity, q-oscillators and q-deformed infinite-dimensional algebras, Phys. Lett. B, 1990, 237, 401–40610.1016/0370-2693(90)91196-ISearch in Google Scholar

[13] Liu K., Characterizations of the quantum Witt algebra, Lett. Math. Phys., 1992, 24, 257–26510.1007/BF00420485Search in Google Scholar

[14] Hu N. H., q-Witt algebras, q-Lie algebras, q-holomorph structure and representations, Algebra Colloq., 1999, 6, 51–70Search in Google Scholar

[15] Ammar F., Makhlouf A., Hom-Lie superalgebras and Hom-Lie admissible superalgebras, J. Algebra, 2010, 324, 1513–152810.1016/j.jalgebra.2010.06.014Search in Google Scholar

[16] Cao B. T., Luo L., Hom-Lie superalgebra structures on finite-dimensional simple Lie superalgebras, J. Lie Theory, 2013, 23, 1115–1128Search in Google Scholar

[17] Yuan J. X., Liu W. D., Hom-structures on finite-dimensional simple Lie superalgebras, J. Math. Phys., 2015, 56, 06170210.1063/1.4922658Search in Google Scholar

[18] Kac V. G., Classification of infinite-dimensional simple linearly compact Lie superalgebras, Adv. Math., 1998, 139, 1–5510.1006/aima.1998.1756Search in Google Scholar

[19] Yuan J. X., Sun L. P., Liu W. D., Hom-Lie superalgebra structures on infinite-dimensional simple Lie superalgebras of vector fields, J. Geom. Phys., 2014, 84, 1–710.1016/j.geomphys.2014.06.001Search in Google Scholar

[20] Cheng S. J., Kac V. G., Structure of some ℤ-graded Lie superalgebras of vector fields, Transform. Groups, 1999, 4, 219–27210.1007/BF01237358Search in Google Scholar

[21] Shchepochkina I., The five exceptional simple Lie superalgebras of vector fields, Funct. Anal. Appl., 1999, 33, 208–21910.1007/BF02465205Search in Google Scholar

[22] Kac V. G., Rudakov A., Representation of the exceptional Lie superalgebra E(3, 6) I. Degeneracy Conditions. Shchepochkina, Transform. Groups, 2002, 7, 67–8610.1007/BF01253466Search in Google Scholar

[23] Kac V. G., Rudakov A., Complexes of modules over exceptional Lie superalgebra E(3, 8) and E(5, 10), Int. Math. Res. Not. IMRN, 2002, 19, 1007–102510.1155/S1073792802112062Search in Google Scholar

Received: 2016-9-13
Accepted: 2017-9-14
Published Online: 2017-11-13

© 2017 Sun and Liu

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Articles in the same Issue

  1. Regular Articles
  2. Integrals of Frullani type and the method of brackets
  3. Regular Articles
  4. Edge of chaos in reaction diffusion CNN model
  5. Regular Articles
  6. Calculus using proximities: a mathematical approach in which students can actually prove theorems
  7. Regular Articles
  8. An investigation on hyper S-posets over ordered semihypergroups
  9. Regular Articles
  10. The Leibniz algebras whose subalgebras are ideals
  11. Regular Articles
  12. Fixed point and multidimensional fixed point theorems with applications to nonlinear matrix equations in terms of weak altering distance functions
  13. Regular Articles
  14. Matrix rank and inertia formulas in the analysis of general linear models
  15. Regular Articles
  16. The hybrid power mean of quartic Gauss sums and Kloosterman sums
  17. Regular Articles
  18. Tauberian theorems for statistically (C,1,1) summable double sequences of fuzzy numbers
  19. Regular Articles
  20. Some properties of graded comultiplication modules
  21. Regular Articles
  22. The characterizations of upper approximation operators based on special coverings
  23. Regular Articles
  24. Bi-integrable and tri-integrable couplings of a soliton hierarchy associated with SO(4)
  25. Regular Articles
  26. Dynamics for a discrete competition and cooperation model of two enterprises with multiple delays and feedback controls
  27. Regular Articles
  28. A new view of relationship between atomic posets and complete (algebraic) lattices
  29. Regular Articles
  30. A class of extensions of Restricted (s, t)-Wythoff’s game
  31. Regular Articles
  32. New bounds for the minimum eigenvalue of 𝓜-tensors
  33. Regular Articles
  34. Shintani and Shimura lifts of cusp forms on certain arithmetic groups and their applications
  35. Regular Articles
  36. Empirical likelihood for quantile regression models with response data missing at random
  37. Regular Articles
  38. Convex combination of analytic functions
  39. Regular Articles
  40. On the Yang-Baxter-like matrix equation for rank-two matrices
  41. Regular Articles
  42. Uniform topology on EQ-algebras
  43. Regular Articles
  44. Integrations on rings
  45. Regular Articles
  46. The quasilinear parabolic kirchhoff equation
  47. Regular Articles
  48. Avoiding rainbow 2-connected subgraphs
  49. Regular Articles
  50. On non-Hopfian groups of fractions
  51. Regular Articles
  52. Singularly perturbed hyperbolic problems on metric graphs: asymptotics of solutions
  53. Regular Articles
  54. Rings in which elements are the sum of a nilpotent and a root of a fixed polynomial that commute
  55. Regular Articles
  56. Superstability of functional equations related to spherical functions
  57. Regular Articles
  58. Evaluation of the convolution sum involving the sum of divisors function for 22, 44 and 52
  59. Regular Articles
  60. Weighted minimal translation surfaces in the Galilean space with density
  61. Regular Articles
  62. Complete convergence for weighted sums of pairwise independent random variables
  63. Regular Articles
  64. Binomials transformation formulae for scaled Fibonacci numbers
  65. Regular Articles
  66. Growth functions for some uniformly amenable groups
  67. Regular Articles
  68. Hopf bifurcations in a three-species food chain system with multiple delays
  69. Regular Articles
  70. Oscillation and nonoscillation of half-linear Euler type differential equations with different periodic coefficients
  71. Regular Articles
  72. Osculating curves in 4-dimensional semi-Euclidean space with index 2
  73. Regular Articles
  74. Some new facts about group 𝒢 generated by the family of convergent permutations
  75. Regular Articles
  76. lnfinitely many solutions for fractional Schrödinger equations with perturbation via variational methods
  77. Regular Articles
  78. Supersolvable orders and inductively free arrangements
  79. Regular Articles
  80. Asymptotically almost automorphic solutions of differential equations with piecewise constant argument
  81. Regular Articles
  82. Finite groups whose all second maximal subgroups are cyclic
  83. Regular Articles
  84. Semilinear systems with a multi-valued nonlinear term
  85. Regular Articles
  86. Positive solutions for Hadamard differential systems with fractional integral conditions on an unbounded domain
  87. Regular Articles
  88. Calibration and simulation of Heston model
  89. Regular Articles
  90. One kind sixth power mean of the three-term exponential sums
  91. Regular Articles
  92. Cyclic pairs and common best proximity points in uniformly convex Banach spaces
  93. Regular Articles
  94. The uniqueness of meromorphic functions in k-punctured complex plane
  95. Regular Articles
  96. Normalizers of intermediate congruence subgroups of the Hecke subgroups
  97. Regular Articles
  98. The hyperbolicity constant of infinite circulant graphs
  99. Regular Articles
  100. Scott convergence and fuzzy Scott topology on L-posets
  101. Regular Articles
  102. One sided strong laws for random variables with infinite mean
  103. Regular Articles
  104. The join of split graphs whose completely regular endomorphisms form a monoid
  105. Regular Articles
  106. A new branch and bound algorithm for minimax ratios problems
  107. Regular Articles
  108. Upper bound estimate of incomplete Cochrane sum
  109. Regular Articles
  110. Value distributions of solutions to complex linear differential equations in angular domains
  111. Regular Articles
  112. The nonlinear diffusion equation of the ideal barotropic gas through a porous medium
  113. Regular Articles
  114. The Sheffer stroke operation reducts of basic algebras
  115. Regular Articles
  116. Extensions and improvements of Sherman’s and related inequalities for n-convex functions
  117. Regular Articles
  118. Classification lattices are geometric for complete atomistic lattices
  119. Regular Articles
  120. Possible numbers of x’s in an {x, y}-matrix with a given rank
  121. Regular Articles
  122. New error bounds for linear complementarity problems of weakly chained diagonally dominant B-matrices
  123. Regular Articles
  124. Boundedness of vector-valued B-singular integral operators in Lebesgue spaces
  125. Regular Articles
  126. On the Golomb’s conjecture and Lehmer’s numbers
  127. Regular Articles
  128. Some applications of the Archimedean copulas in the proof of the almost sure central limit theorem for ordinary maxima
  129. Regular Articles
  130. Dual-stage adaptive finite-time modified function projective multi-lag combined synchronization for multiple uncertain chaotic systems
  131. Regular Articles
  132. Corrigendum to: Dual-stage adaptive finite-time modified function projective multi-lag combined synchronization for multiple uncertain chaotic systems
  133. Regular Articles
  134. Convergence and stability of generalized φ-weak contraction mapping in CAT(0) spaces
  135. Regular Articles
  136. Triple solutions for a Dirichlet boundary value problem involving a perturbed discrete p(k)-Laplacian operator
  137. Regular Articles
  138. OD-characterization of alternating groups Ap+d
  139. Regular Articles
  140. On Jordan mappings of inverse semirings
  141. Regular Articles
  142. On generalized Ehresmann semigroups
  143. Regular Articles
  144. On topological properties of spaces obtained by the double band matrix
  145. Regular Articles
  146. Representing derivatives of Chebyshev polynomials by Chebyshev polynomials and related questions
  147. Regular Articles
  148. Chain conditions on composite Hurwitz series rings
  149. Regular Articles
  150. Coloring subgraphs with restricted amounts of hues
  151. Regular Articles
  152. An extension of the method of brackets. Part 1
  153. Regular Articles
  154. Branch-delete-bound algorithm for globally solving quadratically constrained quadratic programs
  155. Regular Articles
  156. Strong edge geodetic problem in networks
  157. Regular Articles
  158. Ricci solitons on almost Kenmotsu 3-manifolds
  159. Regular Articles
  160. Uniqueness of meromorphic functions sharing two finite sets
  161. Regular Articles
  162. On the fourth-order linear recurrence formula related to classical Gauss sums
  163. Regular Articles
  164. Dynamical behavior for a stochastic two-species competitive model
  165. Regular Articles
  166. Two new eigenvalue localization sets for tensors and theirs applications
  167. Regular Articles
  168. κ-strong sequences and the existence of generalized independent families
  169. Regular Articles
  170. Commutators of Littlewood-Paley gκ -functions on non-homogeneous metric measure spaces
  171. Regular Articles
  172. On decompositions of estimators under a general linear model with partial parameter restrictions
  173. Regular Articles
  174. Groups and monoids of Pythagorean triples connected to conics
  175. Regular Articles
  176. Hom-Lie superalgebra structures on exceptional simple Lie superalgebras of vector fields
  177. Regular Articles
  178. Numerical methods for the multiplicative partial differential equations
  179. Regular Articles
  180. Solvable Leibniz algebras with NFn Fm1 nilradical
  181. Regular Articles
  182. Evaluation of the convolution sums ∑al+bm=n lσ(l) σ(m) with ab ≤ 9
  183. Regular Articles
  184. A study on soft rough semigroups and corresponding decision making applications
  185. Regular Articles
  186. Some new inequalities of Hermite-Hadamard type for s-convex functions with applications
  187. Regular Articles
  188. Deficiency of forests
  189. Regular Articles
  190. Perfect codes in power graphs of finite groups
  191. Regular Articles
  192. A new compact finite difference quasilinearization method for nonlinear evolution partial differential equations
  193. Regular Articles
  194. Does any convex quadrilateral have circumscribed ellipses?
  195. Regular Articles
  196. The dynamic of a Lie group endomorphism
  197. Regular Articles
  198. On pairs of equations in unlike powers of primes and powers of 2
  199. Regular Articles
  200. Differential subordination and convexity criteria of integral operators
  201. Regular Articles
  202. Quantitative relations between short intervals and exceptional sets of cubic Waring-Goldbach problem
  203. Regular Articles
  204. On θ-commutators and the corresponding non-commuting graphs
  205. Regular Articles
  206. Quasi-maximum likelihood estimator of Laplace (1, 1) for GARCH models
  207. Regular Articles
  208. Multiple and sign-changing solutions for discrete Robin boundary value problem with parameter dependence
  209. Regular Articles
  210. Fundamental relation on m-idempotent hyperrings
  211. Regular Articles
  212. A novel recursive method to reconstruct multivariate functions on the unit cube
  213. Regular Articles
  214. Nabla inequalities and permanence for a logistic integrodifferential equation on time scales
  215. Regular Articles
  216. Enumeration of spanning trees in the sequence of Dürer graphs
  217. Regular Articles
  218. Quotient of information matrices in comparison of linear experiments for quadratic estimation
  219. Regular Articles
  220. Fourier series of functions involving higher-order ordered Bell polynomials
  221. Regular Articles
  222. Simple modules over Auslander regular rings
  223. Regular Articles
  224. Weighted multilinear p-adic Hardy operators and commutators
  225. Regular Articles
  226. Guaranteed cost finite-time control of positive switched nonlinear systems with D-perturbation
  227. Regular Articles
  228. A modified quasi-boundary value method for an abstract ill-posed biparabolic problem
  229. Regular Articles
  230. Extended Riemann-Liouville type fractional derivative operator with applications
  231. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  232. The algebraic size of the family of injective operators
  233. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  234. The history of a general criterium on spaceability
  235. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  236. On sequences not enjoying Schur’s property
  237. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  238. A hierarchy in the family of real surjective functions
  239. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  240. Dynamics of multivalued linear operators
  241. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  242. Linear dynamics of semigroups generated by differential operators
  243. Special Issue on Recent Developments in Differential Equations
  244. Isomorphism theorems for some parabolic initial-boundary value problems in Hörmander spaces
  245. Special Issue on Recent Developments in Differential Equations
  246. Determination of a diffusion coefficient in a quasilinear parabolic equation
  247. Special Issue on Recent Developments in Differential Equations
  248. Homogeneous two-point problem for PDE of the second order in time variable and infinite order in spatial variables
  249. Special Issue on Recent Developments in Differential Equations
  250. A nonlinear plate control without linearization
  251. Special Issue on Recent Developments in Differential Equations
  252. Reduction of a Schwartz-type boundary value problem for biharmonic monogenic functions to Fredholm integral equations
  253. Special Issue on Recent Developments in Differential Equations
  254. Inverse problem for a physiologically structured population model with variable-effort harvesting
  255. Special Issue on Recent Developments in Differential Equations
  256. Existence of solutions for delay evolution equations with nonlocal conditions
  257. Special Issue on Recent Developments in Differential Equations
  258. Comments on behaviour of solutions of elliptic quasi-linear problems in a neighbourhood of boundary singularities
  259. Special Issue on Recent Developments in Differential Equations
  260. Coupled fixed point theorems in complete metric spaces endowed with a directed graph and application
  261. Special Issue on Recent Developments in Differential Equations
  262. Existence of entropy solutions for nonlinear elliptic degenerate anisotropic equations
  263. Special Issue on Recent Developments in Differential Equations
  264. Integro-differential systems with variable exponents of nonlinearity
  265. Special Issue on Recent Developments in Differential Equations
  266. Elliptic operators on refined Sobolev scales on vector bundles
  267. Special Issue on Recent Developments in Differential Equations
  268. Multiplicity solutions of a class fractional Schrödinger equations
  269. Special Issue on Recent Developments in Differential Equations
  270. Determining of right-hand side of higher order ultraparabolic equation
  271. Special Issue on Recent Developments in Differential Equations
  272. Asymptotic approximation for the solution to a semi-linear elliptic problem in a thin aneurysm-type domain
  273. Topical Issue on Metaheuristics - Methods and Applications
  274. Learnheuristics: hybridizing metaheuristics with machine learning for optimization with dynamic inputs
  275. Topical Issue on Metaheuristics - Methods and Applications
  276. Nature–inspired metaheuristic algorithms to find near–OGR sequences for WDM channel allocation and their performance comparison
  277. Topical Issue on Cyber-security Mathematics
  278. Monomial codes seen as invariant subspaces
  279. Topical Issue on Cyber-security Mathematics
  280. Expert knowledge and data analysis for detecting advanced persistent threats
  281. Topical Issue on Cyber-security Mathematics
  282. Feedback equivalence of convolutional codes over finite rings
Downloaded on 12.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/math-2017-0112/html
Scroll to top button