arXiv:2002.00678v2 [math.RA] 24 May 2020 ..asn ..oru 1] ieroperator linear A [14]. A.R.Sourour D.R.Larson, ∆( oa eiaino o emn algebra Neumann pr von R.V.Kadison a of derivations. e derivation not present are to local that and derivations derivations local become derivations local which derivation derivation. 2-local oopim nagba.Nml,amap a Namely, algebras. on is tomorphisms nilradical model with algebra pr Lie investigate have solvable are of algebras authors derivation Lie g whi two solvable derivations of and first derivations derivation local local the with a algebras is [2] Lie algebras In finite-dimensional Lie semi-simple 3]. on [2, derivation papers in initiated derivation. eiainwihi o eiain ocrig2lclau 2-local Concerning if that proved derivation. [9] a in D.Wang not is l dimension which with derivation algebra, Lie nilpotent finite-dimensional algebra vra lerial lsdfil fcaatrsi eoth zero characteristic of of field closed algebraically an over rsetvl,a uoopim rt ieeape floca of automatic examples they give of that to automorphisms prove or to automorphism) is an (respectively, notions these concerning lem derivation a vr -oa eiaino eisml i algebra Lie Namel semi-simple 9]. a 3, [1, on in derivation obtained 2-local were every characteristic zero of field -oa uoopimi ie nasmlrwy o ie al given a For way. similar a in given is automorphism 2-local HVA AYUPOV SHAVKAT h oino oa eiainwr rtitoue n19 b 1990 in introduced first were derivation local of notion The M ujc Classification: Subject AMS n19,PŠml[2 nrdcdtento f2lclderiv 2-local of notion the introduced [12] P.Šemrl 1997, In dim finite on derivations 2-local and local of Investigation ouino uhpolm o nt-iesoa i algebr Lie finite-dimensional for problems such of Solution Keywords: L x = ) sa uoopim ial,i 1 twspoe hteey2 every that proved was it [1] in Finally, automorphism. an is OA N -OA EIAIN FLCLYFINITE LOCALLY OF DERIVATIONS 2-LOCAL AND LOCAL pi ipeLeagba.Nml,w hwta vr oa a local derivation. every a that is show algebra we Lie Namely, such algebras. Lie simple split Abstract. A D x scle a called is ( fgvnany given if x D ) i lers oal nt ipeLeagba,derivatio algebras, Lie simple finite locally algebras, Lie . x,y h anpolm ocrigti oinaet n conditio find to are notion this concerning problems main The : ntepeetpprw td oa n -oa eiain o derivations 2-local and local study we paper present the In A → A A , -oa derivation 2-local 1 , hc r o eiain ratmrhss respectively. automorphisms, or derivations not are which 3 AIBRE KUDAYBERGENOV KARIMBERGEN , x A ∈ uhthat such IPELEALGEBRAS LIE SIMPLE L hr xssaderivation a exists there 76,1B0 16W25. 17B20, 17B65, sasml i ler ftype of algebra Lie simple a is 1. D Introduction ffreeypi felements of pair every for if , x,y ( x = ) 1 ∇ M : ∇ A → A noada Banach dual a into ( x ∆ ) and na algebra an on L n ti hw htaylocal any that shown is it and d D neey2lclautomorphism 2-local every en D ntncsaiylna)o an on linear) necessarily (not sadrvto n hteach that and derivation a is re hntoamt 2-local admits two than arger haentdrvtos n[5] In derivations. not are ch x derivation. a x,y 2 dpnigon (depending d2lcldrvto on derivation 2-local nd ,i 3 twspoe that proved was it [3] in y, AHIO YUSUPOV BAKHTIYOR , n -oa eiain or derivations 2-local and l vdta ahcontinuous each that oved soe lerial closed algebraically over as ninlLeagba were algebras Lie ensional v xmlso nilpotent of examples ave ( oopim .hnand Z.Chen tomorphism, ape fagba with algebras of xamples lybcm derivation a become ally y A gebra = ) ..aio 1]and [13] R.V.Kadison y l tosad2lclau- 2-local and ations D , vdta vr local every that oved lclautomorphism -local ,y x, ∇ l oal finite locally f ,lclderivation, local n, A A or ( M y h anprob- main the , A ∈ scle a called is ) E bmdl sa is -bimodule . k h oinof notion The , x ( hr exists there uhthat such ) k 6 = sunder ns , local 7 3 , 8) 2 AYUPOV SH.A., KUDAYBERGENOV K.K., YUSUPOV B.B. of a finite-dimensional semi-simple Lie algebra over an algebraically closed field of char- acteristic zero is an automorphism. Moreover, have shown also that every nilpotent Lie algebra with finite dimension larger than two admits 2-local automorphisms which is not an automorphism. In [6, 7] the authors studied 2-local derivations of infinite-dimensional Lie algebras over a field of characteristic zero and proved that all 2-local derivations of the Witt algebra as well as of the positive Witt algebra and the classical one-sided Witt algebra are (global) derivations and every 2-local derivation on Virasoro algebras is a derivation. In [4] we have proved that every 2-local derivation on the generalized Witt algebra n Wn(F) over the vector space F is a derivation. In [8] Y.Chen, K.Zhao and Y.Zhao studied local derivations on generalized Witt algebras. They proved that every local derivation on Witt algebras is a derivation and that every local derivation on a centerless generalized Virasoro algebra of higher rank is a derivation. In the present paper we study local and 2-local derivations of locally finite split simple Lie algebras.

2. Preliminaries In this section we give some necessary definitions and preliminary results (for details see [10,11]). A Lie algebra g over a field F is a vector space over F with a bilinear mapping g × g → g denoted (x, y) 7→ [x, y] and called the bracket of g and satisfying: [x, x]=0, ∀x ∈ g, [[x, y], z] + [[y, z], x] + [[z, x],y]=0, ∀x, y, z ∈ g. A Lie algebra g is said to be solvable if g(k) = {0} for some integer k, where g(0) = g, (k) (k−1) (k−1) g = hg , g i, k ≥ 1. Any Lie algebra g contains a unique maximal solvable ideal, called the radical of g and denoted by Radg. A non trivial Lie algebra g is called semisimple if Radg =0. That is equivalent to requiring that g have no nonzero abelian ideals. A Lie algebra g is simple, if it has no non-trivial ideals and is not abelian. We say that a Lie algebra g has a root decomposition with respect to an abelian subalgebra h, if g = h ⊕ g , M α α∈R ∗ where gα = nx ∈ g :[h, x] = α(h)x, ∀h ∈ ho and R = nα ∈ h \0 : gα =6 {0}o is the corresponding root system and h∗ is the space of all linear functionals on h. In this case, h is called splitting Cartan subalgebra of g, and g respectively the pair (g, h) is called split Lie algebra. Suppose that g is a Lie algebra over F which is a directed union of finite-dimensional simple Lie algebras, that is, g = lim gα is the direct limit of a family (gα)α∈A of finite- −→ dimensional simple Lie algebras gα which are subalgebras of g and the directed order ≤ on the index set A is given by α ≤ β if gα ≤ gβ. A Lie algebra g of this form is said to be locally finite simple Lie algebra. Now following [10] we give a description of locally finite split simple Lie algebras. J×J For a set J we denote by MJ(F)= F the set of all J × J-matrices with entries in F. Let MJ(F)rc−fin ⊆ MJ(F) be the set of all J×J-matrices with at most finitely many non- F zero entries in each row and each column, and let glJ( ) denote the subspace consisting of all matrices with at most finitely many non-zero entries. The matrix product xy is LOCAL AND 2-LOCAL DERIVATIONS OF LOCALLY FINITE SIMPLE LIE ALGEBRAS 3 F F F defined if at least one factor is in glJ( ) and the other is in MJ( ). In particular, glJ( ) thus inherits the structure of locally finite Lie algebra via [x, y] := xy − yx and sl (F)= x ∈ gl (F): tr(x)=0 J  J is a simple Lie algebra. For i, j ∈ J denote by ei,j a matrix unit defined as

ei,j : J × J → F, (k,s) 7−→ δikδsj, where δi,j is the Kronecker symbol. Set 2J := J ∪˙ − J, where −J denotes a copy of J whose elements are denoted by −i (i ∈ J) and consider the 2J × 2J-matrices

q = e − + e− and q = e − − e− . 1 X i, i i,i 2 X i, i i,i i∈J i∈J Set o (F)= x ∈ gl (F): x⊤q + q x =0 J,J  2J 1 1 and sp (F)= x ∈ gl (F): x⊤q + q x =0 . J  2J 2 2 By [11, Theorem IV.6] every infinite dimensional locally finite split simple Lie algebra F F F is isomorphic to one of the Lie algebras slJ( ), oJ,J( ), spJ( ), where J is an infinite set with cardJ = dim g. In the next section we shall use the following description of algebras of derivations of locally finite simple Lie algebras [10, Theorem I.3]:

der (slJ(F) =∼ MJ(F)rc−fin/F1 ∼ ⊤ der (oJ,J(F)) = x ∈ MJ(F)rc−fin : x q1 + q1x =0  ⊤ der sp ((F )) =∼ x ∈ M (F)rc−fin : x q + q x =0 , J
 J 2 2 where 1 = (δij) is the indentity matrix in MJ(F). In particular, any derivation D on slJ(F) represented as D(x) = [a, x], x ∈ slJ(F), (2.1) F F F where a ∈ MJ( )rc−fin. Further, in the cases of algebras oJ,J( ) and spJ( ) an ele- ⊤ ⊤ ment a ∈ MJ(F)rc−fin need to satisfy conditions a q1 + q1a = 0 and a q2 + q2a = 0, respectively.

3. Main results 3.1. Local derivation on the locally finite split simple Lie algebras. The main result of this subsection is given as follows. Theorem 3.1. Let g be a locally finite split simple Lie algebras over a field of charac- teristic zero. Then any local derivation on g is a derivation. For the proof we need several Lemmata and from now on g is an one of the algebras F F F slJ( ), oJ,J( ), spJ( ) (see the end of the previous Section). Any x ∈ MJ(F)rc−fin can be uniquely represented as x = x e , X i,j i,j i,j∈J where xi,j ∈ F for all i, j ∈ J. 4 AYUPOV SH.A., KUDAYBERGENOV K.K., YUSUPOV B.B.

For a subset I ⊂ J we shall identify the algebra MI(F)rc−fin with the subalgebra in MJ(F)rc−fin, consisting of elements of the form x = xi,jei,j, where xi,j ∈ F i,jP∈I for all i, j ∈ I. Further, for a finite subset I ⊂ J we define a projection mapping πI : MJ(F)rc−fin → MI(F)rc−fin as follows

π (x)= x e , I X i,j i,j i,j∈I where x = xi,jei,j. i,jP∈J Lemma 3.2.

πI ([x, y]) = [πI(x), πI(y)] for all x ∈ MJ(F)rc−fin and y ∈ MI(F)rc−fin.

Proof. Note that each matrix x ∈ MJ(F)rc−fin is represented as x = xI,I + xI,K + xK,I + xK,K, where xI,I = xi,jei,j, xI,K = xi,jei,j, xK,I = xi,jei,j, xK,K = i,jP∈I i∈IP,j∈K i∈KP,j∈I xi,jei,j and K = J \ I. Take the matrices x = xI,I + xI,K + xK,I + xK,K ∈ MJ(F)rc−fin i,jP∈K and y = yI,I ∈ MI(F)rc−fin. Then

πI ([x, y]) = πI ([xI,I + xI,K + xK,I + xK,K,yI,I])

= πI ([xI,I,yI,I]) + πI ([xI,K + xK,I + xK,K,yI,I])

= [xI,I,yI,I] = [πI(x), πI(y)] . 

For a subset I ⊂ J denote by gI the subalgebra in g consisting of elements of the form x = xi,jei,j ∈ g, where xi,j ∈ F for all i, j ∈ I. i,jP∈I It is clear that the restriction πI|g of πI on g maps g onto gI.

Lemma 3.3. Let ∆ be a local derivation on g. Then the mapping ∆I on gI defined as

∆I(x)= πI(∆(x)), x ∈ gI is a local derivation for all finite subset I in J.

Proof. Let x ∈ gI be an arbitrary element. By (2.1) there is an element ax ∈ MJ(F)rc−fin such that [ax, g] ⊆ g and ∆(x) = [ax, x]. Then by Lemma 3.2

∆I(x)= πI(∆(x)) = πI([ax, x]) = [πI(ax), πI(x)] = [πI(ax), x].

Thus ∆I is a local derivation.  Proof of Theorem 3.1. Let ∆ be a local derivation g and let x ∈ g be an arbitrary element. Take a finite subset I in J such that x, y, ∆(x), ∆(y), ∆([x, y]) ∈ gI. By Lemma 3.3, ∆I is a local derivation of gI. Since gI is a finite dimensional simple Lie algebra, by [2, Theorem 3.1] ∆I is a derivation. Hence,

∆([x, y]) = ∆I([x, y]) = [∆I(x),y] + [x, ∆I(y)] = [∆(x),y] + [x, ∆(y)].

This means that ∆ is a derivation. LOCAL AND 2-LOCAL DERIVATIONS OF LOCALLY FINITE SIMPLE LIE ALGEBRAS 5

3.2. 2-local derivations on the locally finite split simple Lie algebras. In this subsection we study 2-local derivations on the locally finite split simple Lie algebras. Recall that a bilinear from κ on g is said to be non degenerate, i.e. κ(x, y)=0 for all y ∈ g implies that x =0. We shall use the following results from [10]. Proposition 3.4. There exists a nondegenerate invariant symmetric bilinear form κ on g. Proposition 3.5. Every invariant symmetric bilinear form κ on g is invariant under all derivations of g. The main results of this subsection is the following. Theorem 3.6. Let g be a locally finite split simple Lie algebras over a field of charac- teristic zero. Then any 2-local derivation on g is a derivation. Proof. Let us first to show that ∇ is linear. Let x, y, z ∈ g be arbitrary elements. Taking into account invariance of κ we obtain

κ(∇(x + y), z)= κ(Dx+y,z(x + y), z)= −κ(x + y, Dx+y,z(z)) = −κ(x + y, ∇(z)) = −κ(x, ∇(z)) − κ(y, ∇(z))

= −κ(x, Dx,z(z)) − k(y, Dy,z(z)) = κ(Dx,z(x), z)

+ κ(Dy,z, z)= κ(∇(x), z)+ κ(∇(y), z) = κ(∇(x)+ ∇(y), z), i.e. κ(∇(x + y), z)= κ(∇(x)+ ∇(y), z) Since κ is non-degenerate the last equality implies that

∇(x + y)= ∇(x)+ ∇(y) for x, y ∈ g. Further, ∇(λx)= Dλx,x(λx)= λDλx,x(x)= λ∇(x). Hence, ∇ is linear, and therefore is a local derivation. Finally, by Theorem 3.1 a local derivation ∇ is a derivation. 

References

[1] Ayupov Sh.A., Kudaybergenov K.K., 2-Local automorphisms on finite dimensional Lie algebras, Linear Algebra and its Applications, 507, 121–131 (2016). [2] Ayupov Sh.A., Kudaybergenov K.K., Local derivation on finite dimensional Lie algebras, Linear Algebra and its Applications, 493, 381–398 (2016). [3] Ayupov Sh.A., Kudaybergenov K.K., Rakhimov I.S., 2-Local derivations on finite-dimensional Lie algebras, Linear Algebra and its Applications, 474, 1–11 (2015). [4] Ayupov Sh.A., Kudaybergenov K.K., Yusupov B.B., 2-Local derivations on generalized Witt alge- bras, Linear and Multilinear Algebra, (2019) DOI: 10.1080/03081087.2019.1708846. [5] Ayupov Sh.A., Khudoyberdiyev A.Kh., Local derivations on solvable Lie algebras, Linear and Multilinear Algebra, DOI:10.1080/03081087.2019.1626336. [6] Ayupov Sh.A., Yusupov B.B., 2-local derivations of infinite-dimensional Lie algebras, Journal of Algebra and its Aplications, DOI:10.1142/S0219498820501005. [7] Ayupov Sh.A., Yusupov B.B., 2-local derivations on Virasoro algebras, Bulletin of National Uni- versity of Uzbekistan: Mathematics and Natural Sciences, 2:4 217–230 (2019). 6 AYUPOV SH.A., KUDAYBERGENOV K.K., YUSUPOV B.B.

[8] Chen Y., Zhao K., Zhao Y., Local derivations on Witt algebras, arXiv:1911.05.15v1 [math.RA] 12 Nov (2019). [9] Chen Z., Wang D., 2-Local automorphisms of finite-dimensional simple Lie algebras, Linear Al- gebra and its Applications, 486, 335–344 (2015). [10] Nebb K.–H., Derivations of locally simple Lie Algebras, Journal of Lie Theory, 15, 589-594 (2005). [11] Neeb K.–H., Stumme N., The classification of locally finite split simple Lie algebras, J. Reine Angew. Math. 533, 25—53 (2001). [12] Šemrl P., Local automorphisms and derivations on B(H), Proceedings of the American Mathe- matical Society, 125, 2677–2680 (1997). [13] Kadison R.V, Local derivations, Journal of Algebra, 130, 494–509 (1990). [14] Larson D.R., Sourour A.R., Local derivations and local automorphisms of B(X), Proceedings of Symposia in Pure Mathematics, 51 Part 2, Provodence, Rhode Island, p. 187–194 (1990).

1 V.I.Romanovskiy Institute of Mathematics, Uzbekistan Academy of Sciences, 81, Mirzo Ulughbek street, 100170, Tashkent, Uzbekistan

2 Department of Mathematics, Karakalpak State University, 1, Academician Ch. Ab- dirov street, 230113, Nukus, Uzbekistan

3 National University of Uzbekistan, 4, University street, 100174, Tashkent, Uzbek- istan E-mail address: sh−[email protected], [email protected] E-mail address: [email protected] E-mail address: [email protected]