Let $V\cong\mathbb C^n$ be a complex vector space of dimension $n$. Let $\lambda\in\mathbb Z^r$ be a generalized integer partition $\lambda\_1\ge\cdots\ge\lambda\_r$ with $r\le n$. Denote by $\mathbb S\_\lambda(V)$ the Schur module with respect to $\lambda$, i.e. the irreducible $\operatorname{GL}(V)$ representation of weight $\lambda$. Consider the symmetric group $\mathfrak S\_n$ acting on $V$ by permutation of the basis vectors. This action lifts to an action on $\mathbb S\_\lambda(V)$.


I know that the decomposition of the zero weight space $\mathbb S\_\lambda(V)\_0$ (with respect to a max. torus of $\operatorname{GL}(V)$) into $\mathfrak S\_n$-modules has certain plethysmic coefficients, but how about the decomposition of $\mathbb S\_\lambda(V)$ into $\mathfrak S\_n$-modules? Is it known? Most importantly, I would like to know when $\mathbb S\_\lambda(V)$ contains a (nonzero) $\mathfrak S\_n$ invariant.


Thanks in advance already!



Symmetric invariants of a Schur Module
The symmetric group action you have described is exactly the action of the weyl group on the weight spaces. Let $v$ be a highest weight vector. Then $$ \sum\_{\sigma \in S\_n} \sigma v $$ is non zero and invariant under the symmetric group action. The reason it is non zero is because the component in the highest weight subspace is non zero.


