Deformations of W₁(n) A and modular semisimple Lie algebras with a solvable maximal subalgebra.

From MaRDI portal
Publication:1415352



Abstract: In one of his last papers, Boris Weisfeiler proved that if modular semisimple Lie algebra possesses a solvable maximal subalgebra which defines in it a long filtration, then associated graded algebra is isomorphic to one constructed from the Zassenhaus algebra tensored with the divided powers algebra. We completely determine such class of algebras, calculating in process low-dimensional cohomology groups of Zassenhaus algebra tensored with any associative commutative algebra.


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\).











This page was built for publication: Deformations of \(W_{1}(n)\otimes A\) and modular semisimple Lie algebras with a solvable maximal subalgebra.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1415352)