Maximal tori of the Frank algebra (Q1930232)

In [Proc. Am. Math. Soc. 38, 43--46 (1973; Zbl 0237.17004)], \textit{M. Frank} constructed two restricted simple Lie algebras \(S\) and \(T\) in characteristic three as graded subalgebras of depth one in the Jacobson-Witt algebra \(W(3;\mathbf{1})\). It turned out that the Lie algebra \(S\) is isomorphic to the algebra \(L(1)\) from a one-parameter family \(L(\epsilon)\) of deformations of the ten-dimensional symplectic Lie algebra \(L(-1)\cong\mathfrak{sp}(4)\) found by \textit{A. I. Kostrikin} [Math. USSR, Izv. 4, 751--764 (1971); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 34, 744--756 (1970; Zbl 0245.17008)]. On the other hand, the eighteen-dimensional Lie algebra \(T\) was the first simple Lie algebra that neither is a Lie algebra of classical or Cartan type nor one of their deformations. \textit{G. Brown} [Proc. Am. Math. Soc. 107, No. 4, 901--905 (1989; Zbl 0691.17006)] realized the Frank algebra \(T\) (and some higher-dimensional non-restricted analogues) as graded subalgebras of depth two in the contact Lie algebra of three variables. The associated filtration is called the contact filtration \(T=L_{(-2)}\supset L_{(-1)}\supset L_{(0)}\supset\cdots\). In the paper under review the authors prove that every maximal torus of \(T\) is two-dimensional and coincides with its centralizer in \(T\) (that is, every maximal torus of \(T\) is a Cartan subalgebra). Moreover, an explicit description of the conjugacy classes of maximal tori in \(T\) is given. There are four conjugacy classes of maximal tori coordinated with the contact filtration (that is, maximal tori \(\mathfrak{t}\) for which \(\mathfrak{t}\cap L_{(n)}\) is a \(p\)-subalgebra for any \(n\)) and there are infinitely many conjugacy classes of maximal tori in general position (that is, maximal tori \(\mathfrak{t}\) for which \(\mathfrak{t}\cap L_{(-1)}\) is not a \(p\)-subalgebra). Finally, for each of these conjugacy classes the possible \(1\)-sections, their solvable radicals, and their semisimple factor algebras are computed. In particular, every \(1\)-section of the Frank algebra \(T\) with respect to a maximal torus is either solvable or its semisimple factor algebra is isomorphic to \(\mathfrak{sl}(2)\).