Metabelian Lie powers of the natural module for a general linear group (Q435941)

Let \(M\) be a free metabelian Lie algebra of finite rank \(r\) over an infinite field \(K\) of prime characteristic \(p\). The general linear group \(\mathrm{GL}_r(K)\) acts on the vector space spanned by the free generators and this action extends diagonally on \(M\). In the paper under review the authors study the \(\mathrm{GL}_r(K)\)-module \(M^d\) of the homogeneous elements of degree \(d\) in \(M\) (which is the \(d\)-th metabelian Lie power in the title). The goal is to describe the submodule structure of \(M^d\). The authors take as a model the structure of the \(d\)-th symmetric power \(S^d\). They construct composition series in \(M^d\) and identify the isomorphism types of the composition factors both in terms of highest weights and in terms of Steinberg's twisted tensor product theorem; their dimensions are also given. The authors establish that the composition factors are pairwise non-isomorphic, which implies that the submodule lattice of \(M^d\) is finite and distributive. By the Birkhoff representation theorem, any such lattice is explicitly recognizable from the poset of its join-irreducible elements (elements which are not bottom elements of the lattice and cannot be presented as the maximum of two elements). In particular, \(M^d\) itself is join-irreducible. The poset relevant for \(M^d\) is then determined in terms of varieties (classes of algebras defined by polynomial identities) of metabelian Lie algebras over an infinite field of positive characteristic following an old paper by \textit{Yu. A. Bakhturin} [Tr. Semin. Im. I. G. Petrovskogo 1, 45--56 (1975; Zbl 0319.17003)].