The non-projective part of the Lie module for the symmetric group

Abstract

The Lie module of the group algebra $F{S}_n$ of the symmetric group is known to be not projective if and only if the characteristic $p$ of $F$ divides $n$. We show that in this case its non-projective summands belong to the principal block of $F{S}_n$. Let $V$ be a vector space of dimension $m$ over $F$, and let $L^n(V)$ be the $n$-th homogeneous part of the free Lie algebra on $V$; this is a polynomial representation of $G{L}_m(F)$ of degree $n$, or equivalently, a module of the Schur algebra $S(m,n)$. Our result implies that, when $m\ge n$, every summand of $L^n(V)$ which is not a tilting module belongs to the principal block of $S(m,n)$, by which we mean the block containing the $n$-th symmetric power of $V$.