Simple Lie algebras over fields of positive characteristic. III: Completion of the classification (Q436428)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Simple Lie algebras over fields of positive characteristic. III: Completion of the classification
scientific article

    Statements

    Simple Lie algebras over fields of positive characteristic. III: Completion of the classification (English)
    0 references
    0 references
    20 July 2012
    0 references
    The book under review is the last of three volumes (for details see the end of the review) devoted to a unified proof of the classification of finite-dimensional simple Lie algebras over an algebraically closed field of characteristic \(p>3\). The goal of the third volume is the classification of simple Lie algebras of absolute toral rank greater than two. Together with the first volume, which in addition to some foundational material contained the classification of the simple Lie algebras of absolute toral rank one, and the second volume, which was dealing with the classification of the simple Lie algebras of absolute toral rank two, the last volume will complete the classification in the sense that a list of simple Lie algebras is given and it is proved that this list is complete. In more detail the third volume contains the following results. (Note that contrary to the first volume the ground field in the third volume is always assumed to be an algebraically closed field of characteristic \(p>3\).) In Chapter 16 (the first chapter of the third volume) the author discusses several different topics which will be needed later. The first two sections contain material related to tori in Lie algebras of Cartan type. In particular, it is discussed how the orbits of semisimple elements in the Hamiltonian algebra \(H(2;\underline{1};\Phi(1))\) fit into a two-dimensional torus of its minimal \(p\)-envelope. Then it is shown that the Hamiltonian algebra \(H(2;\underline{1};\Phi(\tau))^{(1)}\) has a non-degenerate symmetric invariant bilinear form, and using this, the central extensions of \(H(2;\underline{1};\Phi(\tau))^{(1)}\) are determined. Moreover, some small irreducible representations of a Lie algebra, which modulo its solvable radical is isomorphic to the minimal \(p\)-envelope of \(H(2;\underline{1}; \Phi(\tau))^{(1)}\), are classified. Under assumptions, which will be satisfied in the classification proof, these results are applied to split off the solvable radical and derive some information on \(p\)-characters. The chapter concludes with studying certain properties of the Melikian algebras and their representations. It is shown that every Melikian algebra has a non-degenerate symmetric invariant bilinear form. As a consequence, every central extension of the smallest Melikian algebra \(\mathcal{M}(1,1)\) splits. Finally, a strong result on the \(p\)-characters of irreducible \(\mathcal{M}(1,1)\)-modules of dimension at most \(125\), which will be needed later in the classification proof, is proved by using only elementary methods. In Chapter 17 the author employs the known list of simple Lie algebras of absolute toral rank two, which was obtained in the second volume, to get more information on the trigonalizability of subalgebras and the \([p]\)-nilpotency of certain distinguished elements. In turn, this yields a list of the possible \(2\)-sections in a simple Lie algebra \(L\) with respect to a torus \(T\) of maximal dimension in its minimal \(p\)-envelope. The last three chapters are devoted to the following three cases, of which the first two need special methods: 1) There exists such a torus \(T\) which is non-standard (i.e., the centralizer of \(T\) in \(L\) is not trigonalizable; this is only possible for \(p=5\), and then \(L\) is isomorphic to a Melikian algebra), 2) there exists such a torus \(T\) for which every \(1\)-section is solvable (in this case one needs to consider \(3\)-sections and simple Lie algebras of absolute toral rank three to prove that \(L\) is a special Lie algebra or a Block algebra), and finally, 3) every torus of maximal dimension in the minimal \(p\)-envelope of \(L\) is standard and has at least one non-solvable \(1\)-section (in this case one needs the Mills-Seligman theorem and Kac's recognition theorem for graded Lie algebras, which both (although without a proof) can be found in the first volume, to show that \(L\) is of classical type or one of the remaining Cartan types). As the first two volumes, the third volume is largely self-contained and only supposes that the reader is familiar with major parts of the book by the author and \textit{R.\ Farnsteiner} [Modular Lie algebras and their representations. Monographs and Textbooks in Pure and Applied Mathematics, 116. New York etc.: Marcel Dekker, Inc. (1988; Zbl 0648.17003)], the first volume [Simple Lie algebras over fields of positive characteristic.\ I: Structure theory. de Gruyter Expositions in Mathematics 38.\ Berlin: de Gruyter. (2004; Zbl 1074.17005)], and the second volume [Simple Lie algebras over fields of positive characteristic. II: Classifying the absolute toral rank two case. de Gruyter Expositions in Mathematics 42. Berlin: Walter de Gruyter. (2009; Zbl.\ 1190.17001)]. In conclusion, this book together with the two previous volumes will be very useful for researchers in modular Lie theory, and especially for those who want to understand the classification of finite-dimensional simple Lie algebras over an algebraically closed field of characteristic \(p>3\) from a uniform point of view.
    0 references
    simple Lie algebra
    0 references
    minimal \(p\)-envelope
    0 references
    torus
    0 references
    semisimple element
    0 references
    Hamiltonian algebras
    0 references
    Melikian algebras
    0 references
    non-degenerate symmetric invariant bilinear form
    0 references
    central extension
    0 references
    irreducible module
    0 references
    trigonalizability
    0 references
    \([p]\)-nilpotent element
    0 references
    \(1\)-section
    0 references
    \(2\)-section
    0 references
    non-standard torus
    0 references
    solvable \(1\)-section
    0 references
    simple Lie algebra of absolute toral rank three
    0 references
    \(3\)-section
    0 references
    Mills-Seligman theorem
    0 references
    Kac's recognition theorem
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references