Let $V = \mathbb C^n$. Consider the plethysm $\bigwedge^k Sym^d V$ as a representation of $GL(V)$. In what special cases (e.g., for what $k$, $d$, and $n$) is this representation's decomposition into irreps known?


The only known nontrivial special case that I am aware of is when $k = 2$: in this case the decomposition is $S\_{2d-1,1} \oplus S\_{2d-3,3} \oplus S\_{2d-5,5} \oplus \cdots$. When $n = 2$, I also know that it is equivalent to find decompositions of plethysms of the form $Sym^k Sym^i V$.


Using the Macaulay2 package SchurRings, I computed all examples with $d \leq 8$ with no obvious patterns jumping out at me.


I would be interested in any other special cases people know about (including ones which only apply to $n = 2$), conjectures along these lines, tables of computed data, or ideas about references that might be fruitful.



Known decomposition of $\bigwedge^k Sym^d \mathbb C^n$ in special cases?
When $d=2$, the decomposition is known for all $k$ and $n$. Given a partition $\lambda$ of $k$ with distinct parts, let $2[\lambda]$ denote the partition of $2k$ whose main-diagonal hook lengths are $2\lambda\_1, \ldots, 2\lambda\_k$, and whose $i$th part has length $\lambda\_i + 1$. Then


$$ \bigwedge^k {\rm Sym}^2 V = \sum\_\lambda S^{2[\lambda]}(V) $$


where the sum is over all partitions $\lambda$ with distinct parts such that $2[\lambda]$ has at most $n$ parts and $S^\mu$ is the Schur functor for the partition $\mu$. For a proof using the symmetric group see Lemma 7 in <http://arxiv.org/abs/0903.2864>.


**Edit (June 2014).** The constituents of $\bigwedge^3 \mathrm{Sym}^{d}(V)$ are determined on page 141 of Macdonald's book, Symmetric functions and Hall polynomials. Remark 3.6(b) in Howe, *$(GL\_n,GL\_m)$-duality and symmetric plethysm*, Proc. Indian Acad. Sci. **97** (1987) 85–109, gives a method for computing the plethysm $\bigwedge^4 \mathrm{Sym}^d(V)$. 


Apart from the case $k=2$ mentioned in this question (and the trivial cases $k=1$ or $d=1$), I think these are the only case where the complete decomposition is known.


