On the derivation algebras of Lie module triple systems (Q1095235)

Consider an algebraically closed field k of characteristic zero and a finite-dimensional Lie algebra L with a nondegenerate symmetric associative bilinear form b(x,y). Let M be a faithful finite-dimensional L-module with a nondegenerate L-invariant bilinear form f(u,v). This defines a bilinear map \(R: M\times M\to L\), where b(x, R(y,z))\(=f(zx,y)\). The map R induces a multilinear multiplication \(xyz=xR(y,z)\) in M. A collection (M,L,b,f) is called a Lie module triple system, briefly LMTS. An LMTS is of type I if M is an irreducible L-module. An LMTS is of type II if M is a direct sum of two irreducible L-modules \(M=M_ 1\oplus M_ 2\) and the restriction of f to \(M_ 1\) and \(M_ 2\) is zero. The main result of the paper classifies semisimple LMTS. In this case M is a completely reducible L-module, f is symmetric or symplectic, and the Lie algebra Der of derivations is reductive. Suppose (M,L,b,f) is a simple LMTS. If it is of type I, then M is a self-dual irreducible L- module, \(f(x,y)=af(y,x)\), \(a=\pm 1\), \(R(y,z)=-aR(z,y),\) \(L=Der\). Suppose (M,L,b,f) is of type II. Then there exists \(a\in k^*\) such that \(f(x,y)=af(y,x)\), \(R(x,y)=-a^{-1}R(y,x),\) where \(x\in M_ 1,y\in M_ 2\). Moreover, \(R(M_ i,M_ i)=0\), \(i=1,2\), and \(R(M_ 1,M_ 2)=L\). If \(M_ 1\simeq M_ 2\) then \(a=\pm 1\), L is semisimple and \(Der=L\oplus sl(2)\). If \(M_ 1\not\simeq M_ 2\), then Der is reductive with one- dimensional center.