Deformations of \(W_{1}(n)\otimes A\) and modular semisimple Lie algebras with a solvable maximal subalgebra. (Q1415352)

Let \(\mathcal L\) be a finite-dimensional semisimple Lie algebra over an algebraically closed field \(F\) of characteristic \(p>0\) with a solvable maximal subalgebra \(\mathcal L_0\). Suppose that \(\mathcal L_0\) defines a long filtration in \(\mathcal L\) (i.e. \(\mathcal L=\mathcal L_{-1}\supset \mathcal L_0\supset \ldots \supset \mathcal L_i\ldots\), \(\mathcal L_{i+1}=\{ l\in \mathcal L_i\mid [l,\mathcal L]\subset \mathcal L_i\}\), and \(\mathcal L_1\neq 0\)). It was proved by \textit{B. Weisfeiler} [Trans. Am. Math. Soc. 286, 471--503 (1984; Zbl 0555.17003)] that for \(p>5\) the associated graded Lie algebra is one of the form \(S\otimes \mathcal O_m + 1\otimes \mathcal D\) with the grading induced by the standard grading in \(S\) where \(S= \text{sl}(2)\) or \(W_1(n)\), the Zassenhaus algebra, \(\mathcal O_m\) is a truncated polynomial algebra in \(m\) variables and \(\mathcal D\) is a derivation algebra of \(\mathcal O_m\). In the present paper all filtered semisimple Lie algebras \(\mathcal L\) such that \(L= \operatorname{gr} \mathcal L=S\otimes \mathcal O_m + 1\otimes \mathcal D\), \(S= \text{sl}(2)\) or \(W_1(n)\) are found. It is proved that for \(p>5\) \(\mathcal L\) has the anologous structure (Theorem 6.4). The proof is based on the deformation theory. The calculation of \(H^2(L,L)\) is also of some independent interest. It is shown that the problem of finding \(H^2(L,L)\) for \(S=W_1(n)\) is connected with the calculation of \(H^2(W_1(n)\otimes A, W_1(n)\otimes A)\) where \(A\) is a commutative algebra, and the last group includes the cohomology of \(W_1(n)\) and the Harrison cohomology of \(A\).