2
$\begingroup$

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!

$\endgroup$
0

1 Answer 1

4
$\begingroup$

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.

$\endgroup$
1
  • $\begingroup$ Ah, indeed, that's very clear. $\endgroup$ Commented Jul 20, 2014 at 7:50

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .