Multipliers, Covers and Stem Extensions or Lie Superalgebras arxiv:1808.02991v2 [math.ra] 31 Oct 2018 Xingxue Miao and Wende Liu School o Mathematical Sciences, Harbin Normal University Harbin 150025, China Abstract: Suppose that the underlying ield is o characteristic dierent rom 2, 3. In this paper we irst prove that the so-called stem deormations o a ree presentations o a inite-dimensional Lie superalgebra L exhaust all the maximal stem extensions o L, up to equivalence o extensions. Then we prove that multipliers and covers always exist or a Lie superalgebra and they are unique up to Lie superalgebra isomorphisms. Finally, we describe the multipliers, covers and maximal stem extensions o Heisenberg superalgebras o odd centers and model iliorm Lie superalgebras. Keywords: multiplier, cover, stem extension, Heisenberg superalgebra, iliorm Lie supleralgebra Mathematics Subject Classiication 2010: 17B05, 17B30, 17B56 1. Introduction The notion o multipliers and covers, which is closed relative to stem extensions, irst appeared Schur s work in the group theory and then was generalized to Lie algebra case. It proves that the theory o multipliers, covers and stem extension is not only o intrinsic interest, but also o important role in characterizing algebraic structures, such as in computing second cohomology with coeicients in trivial modules or groups or Lie algebras. The study on multipliers o Lie algebras began in 1990 s (see [3, 12], or example) and the theory has seen a ruitul development (see [2, 5, 8, 9, 14, 17, 20], or example). Among them, a typical act analogous to the one in the group theory is that the multiplier o a inite-dimensional Lie algebra L is isomorphic to the second cohomology group o L with coeicients in the 1-dimensional trivial module (see [1], or example). The notions o multipliers, covers and stem extensions may also be naturally generalized to Lie superalgebra case. In this paper, we irst introduce the notions o stem denominators and stem deormations or an extension o a Lie superalgebra and show that all the stem deormations o a ree presentations o a inite-dimensional Lie superalgebra L coincide all the maximal stem extensions o L, up to equivalence o extensions. Then we show that multipliers and covers always exist or a Lie superalgebra and they are unique up to Lie superalgebra isomorphisms. Finally, we describe multipliers, covers and maximal stem extensions o Heisenberg superalgebras o odd centers and model iliorm Lie superalgebras. Correspondence: wendeliu@ustc.edu.cn (W. Liu), supported by the NSF o China (11171055, 11471090) 1
Multipliers, Covers and Stem Extensions or Lie Superalgebras 2 2. Stem extensions Unless otherwise stated, we assume that the underlying ield F is o characteristic dierent rom 2,3, and all (super)spaces, (super)algebras are deined over F. Let Z 2 := { 0, 1} be the additive group o order 2 and V = V 0 V 1 a superspace, that is, a Z 2 -graded vector space. For a homogeneous element x in V, write x or the parity o x. The symbol x implies that x has been assumed to be a homogeneous element. Note that in a superspace, a subsuperspace always has a supplementary subsuperspace. Moreover, i V is a superspace and W is a subsuperspace o V, then the quotient space V/W inherits a super structure and every subsuperspace o V/W is o orm X/W, where X is a subsuperspace containing W. Let us recall the notion o extensions Lie superalgebras and some basic properties. By deinition a Lie superalgebra homomorphism is both an even linear map and an algebra homomorphism and an ideal o a Lie superalgebra is always a Z 2 -graded ideal. An extension o a Lie superalgebra L by A is an exact sequence o Lie superalgebra homomorphisms: 0 A α B β L 0. (2.1) We usually identiy A with a subalgebra o B and omit the embedding map α. Suppose that 0 C D γ L 0 (2.2) is also an extension o L and there is a homomorphism rom extensions (2.1) to (2.2), that is, a Lie superalgebra homomorphism : B D such that γ = β. Then maps A into C and 1 (C) = A. Hereater we denote by itsel the restriction : A C. Then the ollowing diagram commutes: 0 A B β L 0 id 0 C D γ L 0 Clearly, i : B D is surjective, then so is its restriction : A C. Recall that an extension (2.1) is said to be central i the kernel A is contained in the center Z(B) o B. I X is an ideal o A as well as B, then (2.1) induces an exact sequence 0 A/X B/X β L 0. Hereater, we denote by β itsel the map induced β : B/X L. As in the Lie algebra case, we introduce the ollowing notion. Deinition 2.1. A stem extension o a Lie superalgebra L is a central extension such that S [T,T]. 0 S T β L 0 The ollowing properties hold or stem extensions o Lie superalgebras, which are analogous to the ones in Lie algebra case (see [3], or example). Hereater, we use a partial order in Z Z as ollows: (m,n) (k,l) m k,n l. (2.3) For m,n Z, we write (m,n) = m+n. We also view Z Z as the additive group in the usual way.
Multipliers, Covers and Stem Extensions or Lie Superalgebras 3 Lemma 2.2. Let L be a inite-dimensional Lie superalgebra. Suppose that 0 S T γ L 0 is a stem extension o L. Then the ollowing statements hold. (1) Suppose that sdiml = (s, t). Then both S and T are inite-dimensional and ( 1 sdims 2 s(s 1)+ 1 ) 2 t(t+1)+s,st. (2) S is contained in every maximal subalgebra o T. (3) Suppose that 0 A B β L 0 is an extension o L and is a homomorphism o extensions: 0 A B β L 0 Then must be surjective. 0 S T γ id L 0 Proo. (1) See [10, Lemma 2.3]. (2) Let X be amaximal subalgebrao T. Assume converselythat S X. Since S Z(T), one sees that S +X = T and then S [T,T] X, a contradiction. (3) Assume conversely that (B) T. By (1), T is inite-dimensional. Then there is a maximal subalgebra X such that (B) X. Note that the commutativity o the diagram implies T = S +(B). Then by (2), we have T X, a contradiction. We note that an arbitrary extension 0 A B β L 0 (2.4) induces naturally a central extension and then a stem extension o L. First, by actoring out the ideal [A,B], we obtain a central extension 0 A/[A,B] B/[A,B] β L 0 (2.5) Then, consider any supplementary subsuperspace o A [B, B]/[A, B] in A/[A, B], which must be o orm X/[A,B], where X is a subsuperspace o A containing [A,B]. Clearly, X is an ideal o A as well as B. Then we have a decomposition o ideals: A/[A,B] = A [B,B]/[A,B] X/[A,B]. (2.6) Such a subsuperspace (ideal) X is called a stem denominator o the extension (2.4). Since X A and β(a) = 0, we obtain an extension 0 A/X B/X β L 0, (2.7) called a stem deormation o extension (2.4). By the ollowing proposition, a stem deormation o an extension is a stem extension.
Multipliers, Covers and Stem Extensions or Lie Superalgebras 4 Proposition 2.3. Let 0 A B β L 0 (2.8) be an extension o Lie superalgebra L. Suppose that X is a subsuperspace o A and X [A,B]. (1) X is a stem denominator o extension (2.8) i and only i A = A [B,B]+X and [B,B] X = [A,B]. (2.9) (2) Suppose that X is a stem denominator o extension (2.8). Then is a stem extension and moreover, 0 A/X B/X β L 0 (2.10) A/X = A [B,B]/[A,B]. (2.11) (3) For an extension, a stem denominators and then a deormations always exist. Proo. (1) It ollows rom the act that (2.9) is equivalent to (2.6). (2) Since [A,B] X, we have [A/X,B/X] = 0. By (2.9), it is clear that A/X [B/X, B/X]. Hence (2.10) is a stem extension. While (2.11) is a direct consequence o (2.9). (3) Form the argument beore this proposition, one sees a stem denominator always exists and so does a stem deormation by (2). The ollowing theorem tells us that i a stem extension (S) o a Lie superalgebra L is a homomorphic image o an extension (E) o L, then (S) must be a homomorphic image o some stem deormation o (E). Theorem 2.4. Let be an extension o L and 0 A B β L 0 (2.12) 0 S T γ L 0 (2.13) a stem extension o L. Suppose that : B T is a homomorphism o extensions: 0 A B β L 0 (2.14) 0 S T γ id L 0 Then there is a stem denominator X o extension (2.12) such that (X) = 0 and induces an epimorphism o extensions: 0 A/X B/X β L 0 0 S T γ id L 0
Multipliers, Covers and Stem Extensions or Lie Superalgebras 5 Proo. By Lemma 2.2(3), is surjective. Then (A) = S and 1 (S) = A. Since S [T,T], we have S ([B,B]) and S (A [B,B]). Hence S = (A [B,B]) and then (A) = (A [B,B]). Consequently, A = A [B,B]+ker. (2.15) Clearly, [A,B] ker, since S Z(T). By (2.15), there is a subsuperspace X ker satisying that [A,B] X A such that A = A [B,B]+X and [B,B] X = [A,B]. By Proposition 2.3, X is the desired stem denominator. The proo is complete. We shall prove an important act, which states that a stem extension o L must be a homomorphic image o a stem deormation o any ree presentation o L. Recall that a Lie superalgebra L always has a ree presentation, that is, an extension with F being a ree Lie superalgebra. Let 0 R F π L 0 0 S T γ L 0 (2.16) a stem extension o L. Then there is a homomorphism o extensions, 0 R F π L 0 (2.17) 0 S T γ id L 0 So, as a direct consequence o Theorem 2.4, we have Theorem 2.5. Suppose that 0 R F π L 0 (2.18) is a ree presentation o Lie superalgebra L and 0 S T γ L 0 (2.19) is a stem extension o L. Then there is a stem denominator X o (2.18) such that (X) = 0 and induces an epimorphism o extensions: 0 R/X F/X π L 0 0 S T γ id L 0 In view o Lemma 2.2(1), the ollowing notion makes sense. Deinition 2.6. Let L be a inite-dimensional Lie superalgebra. A stem extension o L, 0 S T γ L 0, is called maximal, i, among all the stem extensions o L, the kernel S is o maximal superdimension with respect to the partial order (2.3).
Multipliers, Covers and Stem Extensions or Lie Superalgebras 6 Theorem 2.7. Let L be a inite-dimensional Lie superalgebra and 0 R F π L 0. (2.20) a ree presentation. Then, up to isomorphisms o extensions, the stem deormations o (2.20) exhaust all the maximal stem extensions o L. Proo. Let 0 M C γ L 0 (2.21) be a maximalstem extensionol. By Theorem2.5, thereis an epimorphism oextensions: 0 R/X F/X π L 0 0 M C γ id L 0 where X is a stem denominator o (2.20) such that (X) = 0. By the maximality o (2.21), is an isomorphism o extensions. By Proposition 2.3(2), M = R [F,F]/[R,F] is independent o the choice o X. Hence every stem deormation o (2.20) is a maximal stem extension o L. 3. Multipliers and Covers Analogous to the Lie algebra case, we introduce the ollowing deinition or Lie superalgebras. Deinition 3.1. Let L be a inite-dimensional Lie superalgebra. I 0 M C L 0 is a maximal stem extension o Lie superalgebra L, then M is called a multiplier and C a cover o L. By Theorem 2.7, or a inite-dimensional Lie superalgebra, multipliers and covers always exist. We shall prove that both multipliers and covers are unique up to Lie superalgebra isomorphisms. We need a technical lemma, which is a super-version o a general result (see [3]). Recall that a superalgebra is a superspace with a bilinear multiplication which is compatible with the Z 2 -grading structure. Lemma 3.2. Let A 1,A 2,B 1 and B 2 be superalgebras and A 1 B 1 = A2 B 2 (3.1) as superalgebras. Suppose that A 1 and A 2 are inite-dimensional and A 1 = A2 as superalgebras. Then B 1 = B2 as superalgebras. Proo. By (3.1), one can view A 2 and B 2 as Z 2 -graded ideals o the superalgebra A 1 B 1 and then we have A 1 B 1 = A 2 B 2. (3.2) I A 1 B 2 = 0 or A 2 B 1 = 0, one may easily see that B 1 = B2 as superalgebras, since A 1 and A 2 are inite-dimensional.
Multipliers, Covers and Stem Extensions or Lie Superalgebras 7 Suppose that A 1 B 2 0 and A 2 B 1 0. Note that both A 1 B 2 and A 2 B 1 are Z 2 -graded ideals. By (3.2), we have the ollowing superalgebra isomorphism: A 1 A 1 B 2 B 1 A 2 B 1 = A 2 A 2 B 1 B 2 A 1 B 2. (3.3) Then we have the ollowing superalgebra isomorphisms: A 1 A 2 B 1 A 2 = A 1 B 1 A 1 B 2 A 2 B 1 A 2 B 1 A 1 B 2 = = A 2 A 2 B 2 A 2 B 1 A 1 B 2 A 2 B 2 A 2. A 2 B 1 A 1 B 2 By symmetry, since A 1 = A2 as superalgebras, it ollows rom (3.3) that the ollowing superalgebra isomorphism holds: A 1 A 1 B 2 A 2 A 2 B 1 B 1 = A 1 A 1 B 2 A 2 A 2 B 2 B 2. By induction on dimensions, we have B 1 = B2 as superalgebras. Theorem 3.3. Let L be a inite-dimensional Lie superalgebra. Up to Lie superalgebra isomorphisms, there are a unique multiplier and a unique cover o L, denoted by M(L) and C(L), respectively. Moreover, or any ree presentation o L, (1) M(L) = R [F,F]/[R,R], 0 R F L 0, (3.4) (2) C(L) = Y/[R,F], where Y is any subsuperspace Y o F containing [F,F] such that F/[R,F] = X/[R,F] Y/[R,F] as superspaces. Proo. Let X be a stem denominator o (3.4). By Theorem 2.7, it suices to show that both R/X and F/X are independent o the choice o stem denominator X. Moreover, by Theorem 2.7 again, one may assume that F is a ree Lie superalgebra generated by a inite homogeneous set, since L is inite-dimensional. Since X is a stem denominator, we have [F,F] X = [R,F] and then [F,F]/[R,F] X/[R,F] = 0. Then there is a subsuperspace Y o F containing [F,F] such that we have a direct sum decomposition o superspaces: F/[R,F] = X/[R,F] Y/[R,F]. (3.5) Since Y [F,F], we have Y F. Hence (3.5) is also a direct sum decomposition o ideals. Since X is a stem denominator, we also have a direct sum decomposition o ideals: R/[R,F] = R [F,F]/[R,F] X/[R,F]. Then, up to Lie superalgebra isomorphisms, X/[R,F] is independent o the choice o X. Moreover, X/[R,F] = R/R [F,F] = (R+[F,F])/[F,F] F/[F,F]. is inite-dimensional. Then by Lemma 3.2, it ollows rom (3.5) that, up to Lie superalgebra isomorphisms, F/X = Y/[R,F] is independent o the choice o X.
Multipliers, Covers and Stem Extensions or Lie Superalgebras 8 4. Heisenberg superalgebras In this section, we compute multipliers, covers and maximal stem extensions or Heisenberg superalgebras o odd center. Recall that a inite-dimensional Lie superalgebra g is called a Heisenberg (Lie) superalgebra provided that g 2 = Z(g) and dimz(g) = 1. Heisenberg superalgebras consist o two types according to the parity o the ceter (see [19]). (1) A Heisenberg superalgebra o even center, denoted by H(p,q) with p +q 1, has a homogeneous basis (called standard) {u 1,u 2,...,u p,v 1,v 2,...,v p,z w 1,w 2,...,w q }, where u i = v j = z = 0, w k = 1; 1 i p, 1 j p, 1 k q, and the multiplication is given by [u i,v i ] = [v i,u i ] = z, [w k,w k ] = z and the other brackets o basis elements vanishing. (2) A Heisenberg superalgebra o odd center, denoted by H(n) with n 1, has a homogeneous basis (called standard) {u 1,u 2,...,u n z,w 1,w 2,...,w n }, where u i = 0, w j = z = 1; 1 i m, 1 j n, and the multiplication is given by [u i,w i ] = [w i,u i ] = z and the other brackets o basis elements vanishing. In [10, Proposition 4.4] (see also [13, Theorem 4.3]), the authors characterize the multipliers o Heisenberg superalgebras o even center: (2p 2 p+ 1 2 q2 + 1 2q 1,2pq), p+q 2, sdimm(h(p, q)) = (0,0), p = 0,q = 1, (2,0), p = 1,q = 0. Let us give a maximal stem extension o the Heisenberg superalgebra H(n) o odd center. Suppose that 0 W K H(n) 0 is a stem extension. Then W K 2 Z(K) and K/W = H(n). Then K/W has a standard basis (a 1 +W,...,a n +W c+w,b 1 +W,...,b n +W),
Multipliers, Covers and Stem Extensions or Lie Superalgebras 9 where a i,b i,c K with a i = 0, b i = c = 1. So one may assume that [a i,a j ] = y i,j, 1 i < j n, [a i,b i ] = c+y i, 1 i n, [a i,b j ] = z i,j, 1 i j n, [a i,c] = m i, 1 i n, [b i,b j ] = w i,j, 1 i j n, [b i,c] = n i, 1 i n, [c,c] = t, where y i,j,y i,z i,j,m i,w i,j,n i,t W and y i,j = n i = w i,j = t = 0, y i = z i,j = m i = 1. Furthermore, without loss o generality, one may assume that y 1 = 0. Note that Then we rewrite n i = [b i,[a i,b i ]] = 1 2 [a i,[b i,b i ]] = 0, t = [c,[a 1,b 1 ]] = 0. [a i,a j ] = y i,j, 1 i < j n, [a 1,b 1 ] = c, [a i,b i ] = c+y i, 2 i n, [a i,b j ] = z i,j, 1 i j n, [a i,c] = m i, 1 i n, [b i,b j ] = w i,j, 1 i j n, [b i,c] = 0, 1 i n, [c,c] = 0. Now it is obvious that W is spanned by the ollowing elements: y i,j, 1 i < j n, y i, 2 i n, z i,j, 1 i j n, m i, 1 i n, w i,j, 1 i j n. Then K is spanned by the elements displayed above and a 1,...,a n,b 1,...,b n and c. Case 1: n = 1. Suppressing all the subscripts, we have [a,b] = c, [a,c] = m, [b,b] = w, [b,c] = [c,c] = 0. Then W is generated by w,m. Hence sdimw (1 1). Now let Ĥ(1) be a superspace with a basis (â,ŵ b,ĉ, m). Then superalgebra by letting Ĥ(1) becomes a Lie [â, b] = [ b,â] = ĉ, [â,ĉ] = [ĉ,â] = m, [ b, b] = ŵ
Multipliers, Covers and Stem Extensions or Lie Superalgebras 10 and the other brackets o basis elements vanish. Let MH(1) be the subsuperspace spanned by ŵ, m. Then MH(1) Ĥ(1)2 Z(Ĥ(1)) and Ĥ(1)/ MH(1) = H(1). Since sdim MH(1) = (1 1), one sees that 0 MH(1) Ĥ(1) H(1) 0 is a maximal stem extension o H(1). In particular, MH(1) is a multiplier and Ĥ(1) a cover o H(1). Case 2: n 2. Consider any i and take j i. One may check that m i = [a i,[a j,b j ]] = 0. Then W is spanned by the ollowing elements: y i,j, 1 i < j n, y i, 2 i n, z i,j, 1 i j n, w i,j, 1 i j n. Hence sdimw (n 2 n 2 1). Now let Ĥ(n) with n 2 be a superspace with a basis consisting o even elements and odd elements â i, 1 i n, ŷ i,j, 1 i < j n, ŵ i,j, 1 i j n, bi, 1 i n, ĉ, ŷ i, 2 i n, ẑ i,j, 1 i j n. Then one may check that Ĥ(n) becomes a Lie superalgebra by letting [â i,â j ] = [â j,â i ] = ŷ i,j, 1 i < j n, [â 1, b 1 ] = [ b 1,â 1 ] = ĉ, [â i, b i ] = [ b i,â i ] = ĉ+ŷ i, 2 i n, [â i, b j ] = [ b j,â i ] = ẑ i,j, 1 i j n, [ b i, b j ] = [ b j, b i ] = ŵ i,j, 1 i < j n, and the other brackets o basis elements vanish. Let MH(n) be the subsuperspace spanned by ŷ i,j,ŵ i,j,ŷ i,ẑ i,j. Then MH(n) Ĥ(n)2 Z(Ĥ(n)) and Ĥ(n)/ MH(n) = H(n). Since sdim MH(n) = (n 2 n 2 1), one sees that 0 MH(n) Ĥ(n) H(n) 0 is a maximal stem extension o. In particular, MH(n) is a multiplier and Ĥ(n) a cover o H(n). Summarizing, we have
Multipliers, Covers and Stem Extensions or Lie Superalgebras 11 Theorem 4.1. Let n be a positive integer. Then 0 MH(n) Ĥ(n) H(n) 0 is a maximal stem extension o the Heisenberg superalgebra H(n) o odd center. In particular, Ĥ(n) is the cover o H(n) and { (n sdimm(h(n)) = 2 n 2 1), n 2 (1 1), n = 1. 5. Model iliorm superalgebras Suppose that n is a positive integer and m a nonnegative integer. Let F(n,m) be a Lie superalgebra with basis {x 0,...,x n y 1,...,y m }, (5.1) where x i = 0, y j = 1; 0 i n, 1 j m, and multiplication given by [x 0,x i ] = x i+1, [x 0,y j ] = y j+1 and the other brackets o basis elements vanishing. It is easy to see that F(n,m) is a nilpotent Lie superalgebra o super-nilindex (n, m) (see[11], or example). Note that F(1, 0) is an abelian Lie algebra and F(1,1) are an abelian Lie superalgebra. Note that F(n,0) with n > 1 is just the model iliorm Lie algebra o nilindex n (see [6], or example). We call F(n,m) with (n,m) (1,0),(1,1) the model iliorm Lie superalgebra o super-nilindex (n, m). For urther inormation on iliorm Lie (super)algebras, the reader is reerred to [6, 7], or example. Let us give a maximal stem extension o the model iliorm Lie superalgebra F(n,m). Suppose that 0 W K F(n,m) 0 is astem extension. Then W K 2 Z(K) and K/W = F(n,m). Then K/W hasastandard basis (a 0 +W,a 1 +W,...,a n +W b 1 +W,...,b m +W), where a i,b j K with a i = 0, b j = 1. Then we have [a 0,a i ] = a i+1 +x i, 1 i n 1, [a i,a j ] = y i,j, 1 i < j n, [a 0,b j ] = b j+1 +y j, 1 j m 1, [b i,b j ] = z i,j, 1 i j m, [a i,b j ] = t i,j, 1 i n,1 j m, where x i,y i,j,y j,z i,j,t i,j W and x i = y i,j = z i,j = 0, y j = t i,j = 1. Since W Z(K), without loss o generality, one may assume that x i = y j = 0. Moreover, using the super Jacobi identity one may check the ollowing identities: (1) y i,j+1 = y i+1,j or 1 i,j n 1.
Multipliers, Covers and Stem Extensions or Lie Superalgebras 12 (2) t i,j+1 = t i+1,j or 1 i n 1, 1 j m 1. (3) t 1,j+1 = 0 or 1 j m 1. (4) t i+1,1 = 0 or 1 i n 1. (5) z i,j+1 = z i+1,j or 1 i j m 1. (6) 2z j,j+1 = 0 or 1 j m 1. Case 1: n 2, m = 0. In this case, F(n,0) is a model iliorm Lie algebra. By (1), we rewrite [a 0,a i ] = a i+1, 1 i n 1, [a 1,a 2 ] = y 1,2, [a n 1,a n ] = y n 1,n, [a i,a j ] = y i,j = y i+1,j 1 = [a i+1,a j 1 ], 2 < j i being odd. Now it is obvious that W is spanned by the elements y i,i+1, 1 i n 1. Hence sdimw (n 1 0). Then K is spanned by the elements displayed above and a 0,a 1,...,a n. Now let F(n,0) with n 2 be a superspace with a basis consisting o even elements â i, 0 i n, ŷ j, 2 j n. Then one may check that F(n,0) becomes a Lie superalgebra by letting [â 0,â i ] = [â i,â 0 ] = â i+1, 1 i n 1, [â 1,â 2 ] = [â 2,â 1 ] = ŷ 2, [â n 1,â n ] = [â n,â n 1 ] = ŷ n, [â i,â j ] = [â j,â i ] = [â i+1,â j 1 ] = [â j 1,â i+1 ] = ŷ j 1, 2 < j i being odd, andthe otherbracketsobasiselementsvanish. Let MF(n,0) be the subsuperspacespanned by all ŷ j. Then MF(n,0) F(n,0) 2 Z( F(n,0)) and F(n,0)/ MF(n,0) = F(n,0). Since sdim MF(n,0) = (n 1 0), one sees that 0 MF(n,0) F(n,0) F(n,0) 0 is a maximal stem extension o F(n,0). In particular, MF(n,0) is a multiplier and F(n,0) a cover o F(n,0). Case 2: n 2, m = 1. By (1) and (4), we rewrite [a 0,a i ] = a i+1, 1 i n 1, [a 1,a 2 ] = y 1,2, [a n 1,a n ] = y n 1,n, [a i,a j ] = y i,j = y i+1,j 1 = [a i+1,a j 1 ], 2 < j i being odd, [a 1,b 1 ] = t 1,1, [b 1,b 1 ] = z 1,1.
Multipliers, Covers and Stem Extensions or Lie Superalgebras 13 Now it is obvious that W is spanned by the elements t 1,1, z 1,1, y i,i+1, 1 i n 1. Hence sdimw (n 1). Then K is spanned by the elements displayed above and a 0,a 1,...,a n. Now let F(n,1) with n 2 be a superspace with a basis consisting o even elements â i, 0 i n, ŷ j, 2 j n, ẑ, and odd element t. Then one may check that F(n,1) becomes a Lie superalgebra by letting [â 0,â i ] = [â i,â 0 ] = â i+1, 1 i n 1, [â 1,â 2 ] = [â 2,â 1 ] = ŷ 2, [â n 1,â n ] = [â n,â n 1 ] = ŷ n, [â i,â j ] = [â j,â i ] = [â i+1,â j 1 ] = [â j 1,â i+1 ] = ŷ j 1, 2 < j i being odd, [â 1, b 1 ] = [ b 1,â 1 ] = t, [ b 1, b 1 ] = [ b 1, b 1 ] = ẑ, andthe otherbracketsobasiselementsvanish. Let MF(n,1) be the subsuperspacespanned by t,ẑ and all ŷ j. Then MF(n,1) F(n,1) 2 Z( F(n,1)) and F(n,1)/ MF(n,1) = F(n,1). Since sdim MF(n,1) = (n 1), one sees that 0 MF(n,1) F(n,1) F(n,1) 0 is a maximal stem extension o F(n,1). In particular, MF(n,1) is a multiplier and F(n,1) a cover o F(n,1). Case 3: n 2, m 2. By (1),(2),(5) and (6), we rewrite [a 0,a i ] = a i+1, 1 i n 1, [a 1,a 2 ] = y 1,2, [a n 1,a n ] = y n 1,n, [a i,a j ] = y i,j = y i+1,j 1 = [a i+1,a j 1 ], 2 < j i being odd, [a 0,b j ] = b j+1, 1 j m 1, [a 1,b 1 ] = t 1,1, [a n,b m ] = t n,m, [a i,b j ] = t i,j = t i+1,j 1 = [a i+1,b j 1 ], 1 i n 1,2 j m. Now it is obvious that W is spanned by the ollowing elements: y i,i+1, 1 i n 1, t i,1, 1 i n, t n,j, 2 j m. Hence sdimw (n 1 n+m 1). Then K is spanned by the elements displayed above and a 0,a 1,...,a n,b 1,...,b m. Now let F(n,m) with n,m 2 be a superspace with a basis consisting o even elements â i, 0 i n, ŷ j, 2 j n,
Multipliers, Covers and Stem Extensions or Lie Superalgebras 14 and odd elements bp, 1 p m, t q, 2 q m+n. Then one may check that F(n,m) becomes a Lie superalgebra by letting [â 0,â i ] = [â i,â 0 ] = â i+1, 1 i n 1, [â 1,â 2 ] = [â 2,â 1 ] = ŷ 2, [â n 1,â n ] = [â n,â n 1 ] = ŷ n, [â i,â j ] = [â j,â i ] = [â i+1,â j 1 ] = [â j 1,â i+1 ] = ŷ j 1, 2 < j i being odd, [â 0, b p ] = [ b p,â 0 ] = b p+1, 1 p m 1, [â 1, b 1 ] = [ b 1,â 1 ] = t 2, [â n, b m ] = [ b m,â n ] = t m+n, [â i, b p ] = [ b p,â i ] = [â i+1, b p 1 ] = [ b p 1,â i+1 ] = t i+p, 1 i n 1,2 p m. and the other brackets o basis elements vanish. Let MF(n,m) be the subsuperspace spanned by all ŷ j, t q. Then MF(n,m) F(n,m) 2 Z( F(n,m)) and F(n,m)/ MF(n,m) = F(n,m). Since sdim MF(n,m) = (n 1 m+n 1), one sees that 0 MF(n,m) F(n,m) F(n,m) 0 isamaximalstemextensionof(n,m). In particular, MF(n,m) isamultiplier and F(n,m) a cover o F(n,m). Case 4: n = 1, m 2. By (3),(5) and (6), we rewrite [a 0,b j ] = b j+1, 1 j m 1, [a 1,b 1 ] = t 1,1. Now it is obvious that W is spanned by the element t 1,1. Hence sdimw (0 1). Then K is spanned by the elements displayed above and a 0,a 1,b 1,...,b m. Now let F(1,m) with m 2 be a superspace with a basis consisting o even element â 0,â 1 and odd elements t, b p, 1 p m. Then one may check that F(1,m) becomes a Lie superalgebra by letting [â 0, b p ] = [ b p,â 0 ] = b p+1, 1 p m 1, [â 1, b 1 ] = [ b 1,â 1 ] = t, andtheotherbracketsobasiselementsvanish. Let MF(1,m)bethesubsuperspacespanned by t. Then MF(1,m) F(1,m) 2 Z( F(1,m)) and F(1,m)/ MF(1,m) = F(1,m). Since sdim MF(1,m) = (0 1), one sees that 0 MF(1,m) F(1,m) F(1,m) 0 is a maximal stem extension o F(1,m). In particular, MF(1,m) is a multiplier and F(1,m) a cover o F(1,m). Summarizing, we have:
Multipliers, Covers and Stem Extensions or Lie Superalgebras 15 Theorem 5.1. Let n, m be positive integers. Then 0 MF(n,m) F(n,m) F(n,m) 0 is a maximal stem extension o the model iliorm Lie superalgebra F(n,m). In particular, F(n,m) is the cover o F(n,m) and (n 1 0), n 2, m = 0, (n 1), n 2, m = 1, sdimm(f(n,m)) = (n 1 n+m 1), n 2, m 2, (0 1), n = 1, m 2. Reerences [1] P. Batten, Multipliers and covers o Lie algebras, Ph.D. Thesis, North Caolina State University (1993). [2] P. Batten, K. Moneyhun and E. Stitzinger, On characterizing nilpotent Lie algebras by their multipliers, Comm. Algebra 24(14)(1996): 4319 4330. [3] P. Batten, E. Stitzinger, On covers o Lie algebras, Comm. Algebra 24(1996): 4301 4317. [4] L. R. Bosko, On Schur multipliers o Lie algebras and groups o maximal class, Internat. J. Algebra Comput. 20(6)(2010): 807 821. [5] D. Eshrati, F. Saeedi and H. Darabi, On the multiplier o nilpotent n-lie algebras, J. Algebra 450(2016): 162 172. [6] A. Fialowski, D. Millionschikov, Cohomology o graded Lie algebras o maximal class. J. Algebra 296(2006): 157-176. [7] M. Gilg, Low-dimensional iliorm Lie superalgebras. Rev. Mat. Complut. 14(2001): 463-478. [8] P. Hardy, On characterizing nilpotent Lie algebras by their multipliers, III, Comm. Algebra 33(2005): 4205 4210. [9] P. Hardy, E. Stitzinger, On characterizing nilpotent Lie algebras by their multipliers t(l) = 3,4,5,6, Comm. Algebra 26(1998): 3527 3539. [10] W.-D. Liu, Y.-L. Zhang, Classiication o nilpotent Lie superalgebras o multiplier-rank 2, arxiv:1807.08884. [11] W.-D. Liu, Y. Yang, Cohomology o model iliorm Lie superalgebra. J. Algebra Appl. 17(2018): 1850074. [12] K. Moneyhun, Isoclinisms in Lie algebras, Algebras Groups Geom. 11(1994): 9 22. [13] S. Nayak, Multipliers o nilpotent Lie superalgebra, arxiv:1801.03798v1. [14] P. Niroomand, On dimension o the Schur multilier o nilpotent Lie algebras, Cent. Eur. J. Math. 9(1)(2011): 57 64.
Multipliers, Covers and Stem Extensions or Lie Superalgebras 16 [15] P. Niroomand, F. Johari, The structure, capability and the Schur multiplier o generalized Heisenberg Lie algebras J. Algebra 505(2018): 482 489. [16] P. Niroomand, F. Johari and M. Parvizi, On the capability and Schur multiplier o nilpotent Lie algebra o class two, Amer. Math. Soc. 144(2016): 4157 4168. [17] P. Niroomand, F. G. Russo, A note on the schur multiplier o a nilpotent Lie algebra, Comm. Algebra 39(4)(2011): 1293 1297. [18] Z. Riyahi, A.R. Salemkar, A remark on the Schur multiplier o nilpotent Lie algebras, J. Algebra 438(2015): 1 6. [19] M. C. Rodrguez-Vallarte, G. Salgado and O.A. Snchez-Valenzuela, Heisenberg Lie superalgebras and their invariant superorthogonal and supersymplectic orms. J. Algebra 332(2011): 71 86. [20] F. Saeedi, H. Arabyani and P. Niroomand, On dimension o the Schur multilier o nilpotent Lie algebras II, Asian-Eur. J. Math. 10(4)(2017): 1750076 (8 pages). [21] A. R. Salemkar, B. Edalatzadeh, On covers o perect Lie algebras, Algebra Colloq. 18(3)(2011): 419 427. [22] B. Yankosky, On the multiplier o a Lie algebra, J. Lie Theory 13(2003): 1 6.