14
$\begingroup$

Let $V$ be a finite-dimensional $K$-vector space. Then, the symmetric power $\mathrm{Sym}\left(V\oplus \wedge^2 V\right)$ is isomorphic to the direct sum of all Schur functors applied to $V$ (each one time only) as a Schur functor.

This follows by comparison of characters using the so-called Schur identity

$\sum\limits_{\lambda\text{ is a partition}} s_{\lambda} = \prod\limits_i \left(1-\xi_i\right)^{-1} \cdot \prod\limits_{i < j} \left(1-\xi_i\xi_j\right)^{-1}$,

where $s_{\lambda}$ denote the Schur "polynomials" and $\xi_i$ are countably many indeterminates (see, for instance, chapter 5.4 in "M. Lothaire", Algebraic Combinatorics on Words). While it is easy to like the Schur identity, it is hard not to dislike the proof of the "strong" isomorphism $\mathrm{Sym}\left(V\oplus \wedge^2 V\right)\cong \bigoplus\limits_{\lambda\text{ is a partition}} \mathrm{Schur}_{\lambda}\left(V\right)$ using the "weak" identity for Schur polynomials. Is there any better argument known? Maybe even one yielding a canonical isomorphism?

$\endgroup$

2 Answers 2

7
$\begingroup$

Here is how I think it should go. First

$\mathrm{Sym}\left(V\oplus \wedge^2 V\right)\cong \mathrm{Sym}\left(V\right)\otimes \mathrm{Sym}\left(\wedge^2 V\right)$

Then we have

$\mathrm{Sym}\left(\wedge^2 V\right)\cong \sum\limits_{\lambda} \mathrm{Schur}_{\lambda}\left(V\right)$

where the sum is over partitions such that all parts of the conjugate partition are even. This came up in Symmetric tensor products of irreducible representations

The tensor product $\mathrm{Sym}\left(V\right)\otimes \mathrm{Schur}_{\lambda}\left(V\right)$ is known by Pieri's rule.

Now given a partition we take a maximal subdiagram such that every column has an even number of boxes. The complement is skew shape with at most one box in each column.

Further comment In response to the request for representation theoretic proofs of the results used see

MR1606831 (99b:20073) Goodman, Roe ; Wallach, Nolan R. Representations and invariants of the classical groups. Encyclopedia of Mathematics and its Applications, 68. Cambridge University Press, Cambridge, 1998. xvi+685 pp. ISBN: 0-521-58273-3; 0-521-66348-2

In particular see 9.2.2 Reciprocity rules for Pieri's rule and see 5.2.6 to see the decomposition of $\mathrm{Sym}\left(\wedge^2 V\right)$. The highest weight vectors are constructed using Pfaffians.

$\endgroup$
4
  • $\begingroup$ Cool! Remains to get a character-free grip on the $\mathrm{Sym}^2\left(V\right)$ isomorphism and on Pieri's rule (again, both I can only prove using characters...). $\endgroup$ Nov 6, 2010 at 15:18
  • $\begingroup$ With $\mathrm{Sym}^2\left(V\right)$ I meant $\mathrm{Sym}\left(\wedge^2 V\right)$... $\endgroup$ Nov 6, 2010 at 23:06
  • $\begingroup$ Proving Pieri without characters is more or less equivalent to proving the reduction rule for representations of $S_n$ without characters. This is in some literature, I think, although I have never read such a proof. $\endgroup$ Nov 6, 2010 at 23:07
  • $\begingroup$ You can find a character-free proof of the branching rule for $S_n$, also known as the reduction rule, in Theorem 2.8.3 (p. 77) of Sagan, "The Symmetric Group", GTM 203. $\endgroup$
    – Tom Church
    Nov 12, 2010 at 21:26
0
$\begingroup$

Another way to think about it. It's equivalent to show that each dominant character of the Borel occurs with multiplicity one in the polynomial algebra on wedge-2(V) + V. Now multiplicity <= 1 because there is a Zariski dense orbit. To see every one occurs: write down explicit polynomials that correspond to fundamental weights (fun).

$\endgroup$
2
  • $\begingroup$ As for "explicit polynomials", have you done this or are you just assuming that it will be fun? $\endgroup$ Nov 8, 2010 at 13:06
  • $\begingroup$ Time passes, anon still doesn't deliver? $\endgroup$ Dec 10, 2010 at 11:53

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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