Simple Lie Algebras over Fields of Positive Characteristic
-
Helmut Strade
The problem of classifying the finite dimensional simple Lie algebras over fields of characteristic p > 0 is a long-standing one. Work on this question has been directed by the Kostrikin-Shafarevich Conjecture of 1966, which states that over an algebraically closed field of characteristic p > 5 a finite dimensional restricted simple Lie algebra is classical or of Cartan type. This conjecture was proved for p > 7 by Block and Wilson in 1988. The generalization of the Kostrikin-Shafarevich Conjecture for the general case of not necessarily restricted Lie algebras and p > 7 was announced in 1991 by Strade and Wilson and eventually proved by Strade in 1998. The final Block-Wilson-Strade-Premet Classification Theorem is a landmark result of modern mathematics and can be formulated as follows: Every simple finite dimensional simple Lie algebra over an algebraically closed field of characteristic p > 3 is of classical, Cartan, or Melikian type.
In the three-volume book, the author is assembling the proof of the Classification Theorem with explanations and references. The goal is a state-of-the-art account on the structure and classification theory of Lie algebras over fields of positive characteristic.
This first volume is devoted to preparing the ground for the classification work to be performed in the second and third volumes. The concise presentation of the general theory underlying the subject matter and the presentation of classification results on a subclass of the simple Lie algebras for all odd primes will make this volume an invaluable source and reference for all research mathematicians and advanced graduate students in algebra. The second edition is corrected.
Contents
Toral subalgebras in p-envelopes
Lie algebras of special derivations
Derivation simple algebras and modules
Simple Lie algebras
Recognition theorems
The isomorphism problem
Structure of simple Lie algebras
Pairings of induced modules
Toral rank 1 Lie algebras
The problem of classifying the finite dimensional simple Lie algebras over fields of characteristic p > 0 is a long standing one. Work on this question has been directed by the Kostrikin Shafarevich Conjecture of 1966, which states that over an algebraically closed field of characteristic p > 5 a finite dimensional restricted simple Lie algebra is classical or of Cartan type. This conjecture was proved for p > 7 by Block and Wilson in 1988. The generalization of the Kostrikin-Shafarevich Conjecture for the general case of not necessarily restricted Lie algebras and p > 7 was announced in 1991 by Strade and Wilson and eventually proved by Strade in 1998. The final Block-Wilson-Strade-Premet Classification Theorem is a landmark result of modern mathematics and can be formulated as follows: Every simple finite dimensional simple Lie algebra over an algebraically closed field of characteristic p > 3 is of classical, Cartan, or Melikian type.
This is the second part of a three-volume book about the classification of the simple Lie algebras over algebraically closed fields of characteristic > 3. The first volume contains the methods, examples and a first classification result. This second volume presents insight in the structure of tori of Hamiltonian and Melikian algebras. Based on sandwich element methods due to A. I. Kostrikin and A. A. Premet and the investigations of filtered and graded Lie algebras, a complete proof for the classification of absolute toral rank 2 simple Lie algebras over algebraically closed fields of characteristic > 3 is given.
Contents
Tori in Hamiltonian and Melikian algebras
1-sections
Sandwich elements and rigid tori
Towards graded algebras
The toral rank 2 case
The problem of classifying the finite-dimensional simple Lie algebras over fields of characteristic p > 0 is a long-standing one. Work on this question during the last 45 years has been directed by the Kostrikin–Shafarevich Conjecture of 1966, which states that over an algebraically closed field of characteristic p > 5 a finite-dimensional restricted simple Lie algebra is classical or of Cartan type. This conjecture was proved for p > 7 by Block and Wilson in 1988. The generalization of the Kostrikin–Shafarevich Conjecture for the general case of not necessarily restricted Lie algebras and p > 7 was announced in 1991 by Strade and Wilson and eventually proved by Strade in 1998. The final Block–Wilson–Strade–Premet Classification Theorem is a landmark result of modern mathematics and can be formulated as follows: Every finite-dimensional simple Lie algebra over an algebraically closed field of characteristic p > 3 is of classical, Cartan, or Melikian type.
In the three-volume book, the author is assembling the proof of the Classification Theorem with explanations and references. The goal is a state-of-the-art account on the structure and classification theory of Lie algebras over fields of positive characteristic leading to the forefront of current research in this field.
This is the last of three volumes. In this monograph the proof of the Classification Theorem presented in the first volume is concluded. It collects all the important results on the topic which can be found only in scattered scientific literature so far.