Simple Lie algebras of small characteristic. V: The non-Melikian case (Q2456199)

This paper is the fifth in a series of papers on the classification of finite-dimensional simple Lie algebras over an algebraically closed field of prime characteristic \(p>3\). As in the previous parts, the strategy is to follow the second author's classification for \(p>7\) as closely as possible. Let \(L\) be a finite-dimensional simple Lie algebra over an algebraically closed field of prime characteristic \(p>3\) and let \(T\) be a torus of maximal dimension in the minimal \(p\)-envelope \(L_p\) of \(L\) in its derivation algebra. In the previous part [J. Algebra 278, No. 2, 766--833 (2004; Zbl 1155.17306)] the authors showed that only four types of roots of \(L\) relative to \(T\) can occur, namely solvable, classical, Witt, and Hamiltonian roots (meaning that the semisimple quotient of the corresponding \(1\)-section is either \(0\) or \(\mathfrak{sl}(2)\) or the Witt algebra or contains a copy of the restricted simple Hamiltonian Lie algebra as an ideal of codimension at most \(1\)). In the paper mentioned above the authors discussed the case where all roots are either solvable or classical. In the paper under review the authors prove that \(L\) is a Lie algebra of Cartan type if any torus of maximal dimension in \(L_p\) is standard (i.e., the derived subalgebra of its centralizer in \(L\) acts nilpotently on \(L\)) and the set of roots of such a torus in \(L_p\) contains either a Witt root or a Hamiltonian root. This in conjunction with the results from the fourth part yields that if \(L\) is a finite-dimensional simple Lie algebra over an algebraically closed field of prime characteristic \(p>3\) such that any torus of maximal dimension in \(L_p\) is standard, then \(L\) is either of classical or Cartan type. In particular, the generalized Kostrikin-Shafarevich conjecture holds for \(p=7\). In the last part the authors will deal with the remaining case where \(p=5\) and \(L_p\) contains non-standard tori of maximal dimension and thereby will complete the classification of the finite-dimensional simple Lie algebras over an algebraically closed field of prime characteristic \(p>3\).