Skip to main content
2 of 2
added 127 characters in body
asv
  • 21.8k
  • 6
  • 54
  • 121

EDIT: The group $GL(V)\times GL(W)$ acts naturally on $\wedge^n(V\otimes W)$ for any $n\in \mathbb{N}$ (in your case $n=3$). One can describe decomposition of this space into irreducible components. For example for $n=2$ the decomposition you described coincides with that one.

Any irreducible representation of $GL(V)\times GL(W)$ has the form $\pi\otimes \rho$ where $\pi$ and $\rho$ are irreducible representation of $GL(V)$ and $GL(W)$ respectively. In our case relevant irreducible representations $\pi$ and $\rho$ of $GL(V)$ and $GL(W)$ are parameterized by Young diagrams with $n$ cells. Moreover for every irreducible component $\pi\otimes \rho$ the corresponding to $\pi$ and $\rho$ Young diagrams are transposed to each other (and have $n$ cells). Any such pair of diagrams appears in the decomposition at most once, and in fact exactly once provided the dimensions of $V$ and $W$ are large enough. Thus for $n=3$ there are three such diagrams, hence 3 irreducible components. The first two summands you wrote in this case are the two irreducible $GL(V)\times GL(W)$-components. The last summand is the tensor product of two Young diagrams both equal to $(2,1)$, i.e. in the first row there are two cells, and in the second one only one cell. Actually is was described in the comment by Robert Bryant as the kernel of the symmetrization map $V\otimes S^2(V)\to S^3(V)$. Similarly for $W$.

In representation theoretical literature there is a lot of information about the properties of representations with given Young diagram, e.g. how to compute the dimension. See e.g. the paper "Remarks on classical invariant theory" by R. Howe, p. 560. The space can be described explicitly using e.g. Young symmetrizers.

asv
  • 21.8k
  • 6
  • 54
  • 121