Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $V$ be a 2 dimensional vector space over $\mathbb{C}$. Then $W := Sym^{n}(Sym^{m}V)$ is a representation of $GL(V)$. For $g \in GL(V)$, I consider $\chi_{W}(g)$. Let $x$ and $y$ denote the eigenvalues of $g$. Why is $\chi_{W}(g) = \sum_{k=0}^{nm} f(k)x^{k}y^{nm - k}$ where $f(k)$ is the numbers of ways to partition $k$ into at most $n$ integers each at most $m$? I know that $\chi_{W}(g) = Tr(g)$, but how do I see the above summation from this?

share|improve this question

1 Answer 1

up vote 2 down vote accepted

Remember that a basis for $Sym^m V$ is the $m$-fold product of basis vectors for $V$ (here "product" means in the symmetric space, so order of the factors doesn't matter). If $x$ and $y$ are eigenvalues of $g$ acting on $V$, then we can see from this that the eigenvalues for $g$ acting on $Sym^m V$ will be of the form $x^ky^{m-k}$ for $k = 0, \dots, m$: if $v_1, \dots, v_m$ are eigenvectors of $g$ with eigenvectors $\lambda_i$, then $$ g \cdot (v_1\otimes \dots \otimes v_m) = \lambda_1v_1 \otimes \dots \otimes \lambda_m v_m = \lambda_1 \dots \lambda_m v_1\otimes \dots \otimes v_m $$ To determine the eigenvalues for $g$ acting on $Sym^n(Sym^m V)$, we now take $n$-fold products of these elements. Any such eigenvalue will be of the form $x^k y^{nm-k}$, and a particular $k$ shows up each time $k$ is expressible as a partition of at most $n$ integers each at most $m$, as you say. Then the character $\chi_W(g)$ is, exactly as you said, just the sum of these numbers.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.