- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Abstract and Applied Analysis

Volume 2013 (2013), Article ID 891241, 7 pages

http://dx.doi.org/10.1155/2013/891241

## The Natural Filtration of Finite Dimensional Modular Lie Superalgebras of Special Type

School of Mathematics and Statistics, Northeast Normal University, Changchun 130024, China

Received 21 May 2013; Accepted 8 July 2013

Academic Editor: Shi Weichen

Copyright © 2013 Keli Zheng and Yongzheng Zhang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

This paper is concerned with the natural filtration of Lie superalgebra of special type over a field of prime characteristic. We first construct the modular Lie superalgebra . Then we prove that the natural filtration of is invariant under its automorphisms.

#### 1. Introduction

Although many structural features of nonmodular Lie superalgebras (see [1–3]) are well understood, there seem to be very few general results on modular Lie superalgebras. The treatment of modular Lie superalgebras necessitates different techniques which are set forth in [4, 5]. In [6], four series of modular graded Lie superalgebras of Cartan type were constructed, which are analogous to the finite dimensional modular Lie algebras of Cartan type [7] or the four series of infinite dimensional Lie superalgebras of Cartan type defined by even differential forms over a field of characteristic zero [8]. Recent works on the modular Lie superalgebras of Cartan type can also be found in [9–13] and references therein.

It is well known that filtration techniques are of great importance in the structure and the classification theories of Lie (super)algebras (see [1, 2, 14, 15]). For some classes of modular Lie (super)algebras, the filtrations have been well investigated, for example, the natural filtrations of finite dimensional modular Lie algebras of Cartan type [16, 17] and of finite dimensional simple modular Lie superalgebras , , and of Cartan type [18, 19].

The original motivation for this paper comes from the researches of structures for the finite dimensional modular Lie superalgebras and , which were first introduced in [20, 21], respectively. The starting point of our studies is to construct a class of finite dimensional modular Lie superalgebras of special type, which is denoted by . A brief summary of the relevant concepts and notations in the finite dimensional modular Lie superalgebras is presented in Section 2. In Section 3, by using the ad-nilpotent elements of , we show that the natural filtration of is invariant under its automorphisms.

#### 2. Preliminaries

Throughout this paper, denotes an algebraic closed field of characteristic , and is an integer greater than . In addition to the standard notation , we write and to denote the sets of positive integers and nonnegative integers, respectively.

Let be the Grassmann algebra over in variables . Set and , where . For , set , and . Then is an -basis of .

Let denote the prime field of ; that is, . Suppose that the set is a -linearly independent finite subset of . Let . Then is an additive subgroup of . Let be the truncated polynomial algebra satisfying for all . For every element , define . Then for all . Let denote . Then . Let . Then is an associative superalgebra with -gradation induced by the trivial -gradation of and the natural -gradation of ; that is, , where and .

For and , we abbreviate as . Then the elements with and form an -basis of . It is easy to see that is a -graded superalgebra, where . In particular, and , where .

In this paper, if is a superalgebra (or -graded linear space), let be the derivation superalgebra of (see [1] or [2] for the definition) and ; that is, is the set of all -homogeneous elements of . If occurs in some expression, we regard as a -homogeneous element and as the -degree of . Let be a -graded superalgebra. If , then we call a -homogeneous element and the -degree of and set .

Set . Given that , let be the partial derivative on with respect to . For , let be the linear transformation on such that for all and . Then for all since .

Suppose that and . When , we denote the uniquely determined element of satisfying by and denote the number of integers less than in by . When , we set and . Therefore, for any and .

We define for , and . Since the multiplication of is supercommutative, it follows that is a derivation of . Let Then is a finite dimensional Lie superalgebra contained in . A direct computation shows that where , and , .

Let be the linear map such that for every and , where and . It is easy to see that is an even linear map. Let . Then is a finite dimensional Lie superalgebra with a -gradation , where . In this paper, is called the Lie superalgebra of special type.

By the definition of linear map , the following equalities are easy to verify: where , ; , , ; and , and as in (3). The equality (5) shows that is a subalgebra of . Hereafter, and will be simply denoted by and , respectively.

Put and .

Proposition 1. *The Lie superalgebra is generated by . *

*Proof. *Suppose that generate the subalgebra of . Since and are subsets of , it follows that .

Next we will consider the reverse inclusion.

It is easy to see that for all distinct elements , of and . Therefore, and .

A direct calculation shows that
for all distinct elements , , , of and , . It follows from that .

For distinct elements , , , , of and , , , we have
and . Thus .

By the same methods above, we may obtain for ; that is, for .

According to and , we have
Hence .

In conclusion, . Therefore, the desired result follows immediately.

#### 3. The Natural Filtration of

Adopting the notion of [22], the element of Lie superalgebra is called ad-nilpotent if is a nilpotent linear transformation. The set of all ad-nilpotent elements of is denoted by . Let . Then is a descending filtration of , which is called the natural filtration of . We also call a filtration of for short, where if and if . Since is -graded and finite dimensional, we may easily obtain and .

Let denote the set of all matrices over . Notice that . Without loss of generality, we may suppose that is a standard -basis of . If , where , then let , where .

Lemma 2. *Suppose that . If is ad-nilpotent, then is a nilpotent matrix. *

*Proof. *Let be the representation of with values in . Then and the matrix of over the basis of is , where . Since is ad-nilpotent, the representation is a nilpotent linear transformation. It implies that is nilpotent. Therefore, is a nilpotent matrix.

Lemma 3. *Let , where and . If and , then .*

*Proof. *Suppose that , where and . Since , we may assume that . Let be a -homogeneous element of with -degree . Then . On the other hand,
which implies . It is easy to see that and . Thus . Since is an arbitrary -homogeneous element of , we have . Then ; that is, .

Suppose that denotes the matrix whose element is and otherwise is zero. Obviously, where is the Kronecker delta.

If , where , then

Let .

Lemma 4. *Suppose that , where . If , then . *

* Proof. *Suppose that , where . Let and , , such that , , are distinct. We may assume that . A direct calculation shows that

By equalities (11) and (12), we have
Since , we have . So is not a nilpotent matrix. By Lemma 2, it follows that . By Lemma 3, we have . Then . It contradicts . This proves our assertion.

Lemma 5. *Let , where . If , then . *

*Proof. *Assume that . Let , , and

(i) Suppose that . Let
Then . It is easy to see that . Since , we have . Therefore,
Assume that . It follows from that . Then we have which implies that
Therefore,
where is an matrix and . Since , we have not being a nilpotent matrix. Then is not a nilpotent matrix and . Lemma 3 shows that . It is a contradiction of to ; that is, .

Suppose that and , . Let . By equality (2), we obtain
Since , also has the matrix form as , it follows from that is not a nilpotent matrix. Then is not nilpotent. So and . It is a contradiction of .

(ii) Suppose that . Let and . Imitating , we may prove that is also not nilpotent. Then the desired result follows.

Lemma 6. *
If and , then . **
Suppose that , are distinct elements of ; then for all . **
Suppose that , , are distinct elements of ; then , where , and , are arbitrary elements of .*

*Proof. *(i) A direct verification shows that is a weakly closed subset of nilpotent elements of , where is the general linear Lie superalgebra of . It was shown in [23, Theorem 1 of Chapter II] that each element of is a nilpotent linear transformation of . Then is nilpotent. So is ad-nilpotent.

(ii) To prove , we may assume without loss of generality that . Set to be an arbitrary element of . If , then
In the case of , we have

For we obtain . Therefore . This yields . Thus .

(iii) According to and , is a weakly closed subset of nilpotent elements of . So , where , .

Lemma 7. *If , , are distinct elements of , then for all . *

*Proof. *Suppose that . Then . Let , where . Assume that , where and . Let . Then
By of Lemma 6, we have . By of Lemma 6, it follows that . We finally obtain for all .

Let .

Lemma 8. *. *

*Proof. *By the definition of , we have . Lemmas 4 and 5 show that . Then . Thus .

Next we will prove . Let and , where . Assume that , . Without loss of generality, we may suppose that . Let , where , , are distinct elements of and is an arbitrary element of . By Lemma 7, we have . Let , where and . Since , we have . Lemma 5 implies that . It is a contradiction of . Hence .

Assume that , , and suppose that and are as the definitions in (15). We may suppose that (the proof is similar to the case ) and let be as the definition in (16). In a similar way to the first part of the proof in Lemma 5, we have . Suppose that and . Lemma 7 shows that . Let , where and . Using equality (2), we have
If , then in the above equality, where . Thus
By equality (12), the matrix has the matrix form as in Lemma 5. Since , is not a nilpotent matrix. It implies that is not nilpotent. Hence . Lemma 3 shows that ; that is, . It contradicts . Thus . Therefore, and .

According to the fact that and are invariant subspaces under the automorphisms of and Lemma 8, is also invariant under the automorphisms of . Since we may easily obtain the following theorem.

Theorem 9. *The natural filtration of is invariant under the automorphisms of . *

Let for . Then is a -graded space. Suppose that ; then is also a -graded space. Let and . Define It is easy to see that the definition above is reasonable. There exists a linear expansion such that has an operator . A direct verification shows that is a Lie superalgebra with respect to the operator . The Lie superalgebras is called a Lie superalgebra induced by the natural filtration of .

Lemma 10. *. *

*Proof. *Let be a linear map such that , where . A direct verification shows that is a homomorphism of Lie superalgebras. Suppose that . If , then there exists such that . Since , we have . Hence . That shows that . Thus, . Therefore, is a monomorphism. It follows from the fact is finite dimensional that is an isomorphism.

The definition of shows that

Suppose that , , , are elements of and , are greater than . In a similar way to , the Lie superalgebra will be simply denoted by . According to the definitions of , , and in , the , , and in are also defined by the same method, respectively.

Proposition 11. *Suppose that and is an isomorphism from to ; then for all . *

*Proof. *It is clear that and . A direct verification shows that . Hence . By virtue of Lemma 8, we have and . Thus . By equalities (26), the desired result for all is obtained.

Lemma 12. *Suppose that and is an isomorphism from to ; then induces an isomorphism from to such that for all . *

*Proof. *Define a linear map such that
where . Using Proposition 11, the definition of is reasonable and
Thus is a homomorphism from to . Clearly, for all . It follows that is an epimorphism.

Suppose that ; then . So we may suppose that and . Since , let , where . Hence . It follows from that . Thus ; that is, . It follows that . By Proposition 11, we have . Then for . Therefore, and . Consequently, is an isomorphism induced by such that for all .

Theorem 13. * if and only if and .*

*Proof. *Because the sufficiency is obvious, it suffices to prove the necessity. Suppose that is the isomorphism given in the proof of Lemma 10. Similarly, there also exists the . According to the equality (28) and Lemma 12, we have
for . Let . Then
In particular, . It follows from that . By virtue of the definition of , we have
Thus . Similarly, . According to and , we have . In conclusion, the proof is completed.

#### Acknowledgments

The authors thank Yang Jiang for the helpful comments and suggestions. They also give their special thanks to the referees for many helpful suggestions. This work was supported by the National Natural Science Foundation of China (Grant no. 11171055) and the Fundamental Research Funds for the Central Universities (no. 12SSXT139).

#### References

- V. G. Kac, “Lie superalgebras,”
*Advances in Mathematics*, vol. 26, no. 1, pp. 8–96, 1977. View at Google Scholar · View at MathSciNet - M. Scheunert,
*The Theory of Lie Superalgebras*, vol. 716 of*Lecture Notes in Mathematics*, Springer, Berlin, Germany, 1979, An introduction. View at MathSciNet - Y. C. Su, “Classification of finite-dimensional modules of the Lie superalgebra $sl(2/1)$,”
*Communications in Algebra*, vol. 20, no. 11, pp. 3259–3277, 1992. View at Publisher · View at Google Scholar · View at MathSciNet - Y. Kochetkov and D. Leites, “Simple Lie algebras in characteristic 2 recovered from superalgebras and on the notion of a simple finite group,” in
*Proceedings of the International Conference on Algebra*, vol. 131 of*Contemporary Mathematics*, pp. 59–67, American Mathematical Society, Providence, RI, USA, 1992. View at MathSciNet - V. M. Petrogradski, “Identities in the enveloping algebras for modular Lie superalgebras,”
*Journal of Algebra*, vol. 145, no. 1, pp. 1–21, 1992. View at Publisher · View at Google Scholar · View at MathSciNet - Y. Z. Zhang, “Finite-dimensional Lie superalgebras of Cartan type over fields of prime characteristic,”
*Chinese Science Bulletin*, vol. 42, no. 9, pp. 720–724, 1997. View at Publisher · View at Google Scholar · View at MathSciNet - H. Strade,
*Simple Lie Algebras Over Fields of Positive Characteristic*, vol. 38, Walter de Gruyter & Co., Berlin, Germany, 2004. View at Publisher · View at Google Scholar · View at MathSciNet - V. G. Kac, “Classification of infinite-dimensional simple linearly compact Lie superalgebras,”
*Advances in Mathematics*, vol. 139, no. 1, pp. 1–55, 1998. View at Publisher · View at Google Scholar · View at MathSciNet - Y. Chen and W. Liu, “Finite-dimensional odd contact superalgebras over a field of prime characteristic,”
*Journal of Lie Theory*, vol. 21, no. 3, pp. 729–754, 2011. View at Google Scholar · View at MathSciNet - W. D. Liu and J. X. Yuan, “Special odd Lie superalgebras in prime characteristic,”
*Science China*, vol. 55, no. 3, pp. 567–576, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - B. Shu and Y. F. Yao, “Character formulas for restricted simple modules of the special superalgebras,”
*Mathematische Nachrichten*, vol. 285, no. 8-9, pp. 1107–1116, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - L. M. Tang and W. D. Liu, “Automorphism groups of finite-dimensional special odd Hamiltonian superalgebras in prime characteristic,”
*Frontiers of Mathematics in China*, vol. 7, no. 5, pp. 907–918, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - J. X. Yuan, Y. Chen, and W. D. Liu, “Automorphisms and
*p*-characters of restricted Lie superalgebras of Cartan type,”*Algebra Colloquium*, vol. 18, no. 3, pp. 397–410, 2011. View at Google Scholar · View at MathSciNet - R. E. Block and R. L. Wilson, “Classification of the restricted simple Lie algebras,”
*Journal of Algebra*, vol. 114, no. 1, pp. 115–259, 1988. View at Publisher · View at Google Scholar · View at MathSciNet - H. Strade, “The classification of the simple modular Lie algebras—4. Determining the associated graded algebra,”
*Annals of Mathematics*, vol. 138, no. 1, pp. 1–59, 1993. View at Publisher · View at Google Scholar · View at MathSciNet - V. G. Kac, “Description of filtered Lie algebras with which graded Lie algebras of Cartan type are associated,”
*Mathematics of the USSR-Izvestiya*, vol. 8, pp. 801–835, 1974. View at Google Scholar - A. I. Kostrikin and I. R. Shafarevic, “Graded Lie algebras of finite characteristic,”
*Mathematics of the USSR-Izvestiya*, vol. 3, pp. 237–304, 1969. View at Google Scholar - Y. Z. Zhang and H. C. Fu, “Finite-dimensional Hamiltonian Lie superalgebra,”
*Communications in Algebra*, vol. 30, no. 6, pp. 2651–2673, 2002. View at Publisher · View at Google Scholar · View at MathSciNet - Y. Z. Zhang and J. Z. Nan, “Finite-dimensional Lie superalgebras $W(m,n,t)$ and $S(m,n,t)$ of Cartan type,”
*Advances in Mathematics*, vol. 27, no. 3, pp. 240–246, 1998. View at Google Scholar · View at MathSciNet - S. Awuti and Y. Z. Zhang, “Modular Lie superalgebra $\overline{W}(n,m)$,”
*Journal of Northeast Normal University*, vol. 40, no. 2, pp. 7–11, 2008 (Chinese). View at Google Scholar · View at MathSciNet - L. Ren, Q. Mu, and Y. Z. Zhang, “A class of finite-dimensional Lie superalgebra of Hamiltonian type,”
*Algebra Colloquium*, vol. 18, no. 2, pp. 347–360, 2011. View at Google Scholar · View at MathSciNet - N. Jin, “ad-nilpotent elements, quasi-nilpotent elements and invariant filtrations of infinite-dimensional Lie algebras of Cartan type,”
*Science in China*, vol. 35, no. 10, pp. 1191–1200, 1992 (Chinese). View at Google Scholar · View at MathSciNet - N. Jacobson,
*Lie Algebras*, Interscience Publishers, New York, NY, USA, 1962. View at MathSciNet