Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $S^{\lambda}$ be a Schur functor. Is there a known positive rule to compute the decomposition of $S^{\lambda}(\bigwedge^2 \mathbb{C}^n)$ into $GL_n(\mathbb{C})$ irreps?


In response to Vladimir's request for clarification, the ideal answer would be a finite set whose cardinality is the multiplicity of $S^{\mu}(\mathbb{C}^n)$ in $S^{\lambda}(\bigwedge^2 \mathbb{C}^2)$. As an example, the paper Splitting the square of a Schur function into its symmetric and anti-symmetric parts gives such a rule for $\bigwedge^2(S^{\lambda}(\mathbb{C}^n))$.

Formulas involving evaluations of symmetric group characters, or involving alternating sums over stable rim hooks, are not good because they are not positive.

And, yes, it is easy to relate the answers for $\bigwedge^2 \mathbb{C}^n$ and $\mathrm{Sym}^2(\mathbb{C}^n)$, so feel free to answer with whichever is more convenient.

share|improve this question
7  
Is there a reason that the question isn't in the title? (And, unrelated, MathWorld spells "plethysm" with a "y", but it's not a word I've seen before, so I don't know.) Nice question, by the way. –  Theo Johnson-Freyd May 4 '10 at 4:51
    
This isn't related, but is "plethysm" actually a word in English? –  Peter Samuelson May 4 '10 at 14:00
    
Spelling fixed in title. Thanks! –  David Speyer May 4 '10 at 15:48
3  
It is an English word in so far it has been used for ages now when writing about, well, plethysm in English! –  Mariano Suárez-Alvarez May 4 '10 at 16:31
    
Are you interested in this question for a general $\lambda$? –  Victor Protsak May 4 '10 at 22:18

5 Answers 5

up vote 8 down vote accepted

If I remember this correctly the cases $\mathrm{Sym}^k(\bigwedge^2 \mathbb{C}^n)$ and $\mathrm{Sym}^k(\mathrm{Sym}^2(\mathbb{C}^n))$ are known; and hence $\bigwedge^k(\bigwedge^2 \mathbb{C}^n)$ and $\bigwedge^k(\mathrm{Sym}^2(\mathbb{C}^n))$. I will look up the references tomorrow (if this is of interest).

Edit The result has now been stated. I learnt this from R.P.Stanley "Enumerative Combinatorics" Vol 2, Appendix 2. Specifically, A2.9 Example (page 449) which refers to (7.202) on page 503. This gives as the original reference (11.9;4) of the 1950 edition of:

Littlewood, Dudley E. "The theory of group characters and matrix representations of groups."

P.S. In the Notes at the end of 7.24 (bottom of page 404 in CUP 1999 edition) it discusses the origin and the etymology of "plethysm". It says:

Plethysm was introduced in
MR0010594 (6,41c) Littlewood, D. E. Invariant theory, tensors and group characters.
Philos. Trans. Roy. Soc. London. Ser. A. 239, (1944). 305--365

The term "plethysm" was suggested to Littlewood by M. L. Clark after the Greek word plethysmos $\pi\lambda\eta\theta\nu\sigma\mu o\zeta$ for "multiplication".

(the Greek is an approximation)

share|improve this answer
    
Yes, this is of interest; please let me know what references you know of. –  David Speyer May 4 '10 at 22:06
    
This is a very special case, of course, because the decompositions are multiplicity free, and due to this fact, they are known very explicitly. I heartily recommend Roger Howe's Schur lectures. –  Victor Protsak May 4 '10 at 22:13

From Weyman's book "Cohomology of Vector bundles and Syzygies" Chapter 2 gives the following decompositions: $$\mathrm{Sym}^m \left(\bigwedge^2 E\right)=\bigoplus_{\lambda \in A_m}S^{\lambda}E$$ $$\bigwedge^m \left(\bigwedge^2E\right)=\bigoplus_{\lambda \in B_m}S^{\lambda}E$$ where $A_m$ is the set of all $\lambda$ with $|\lambda|=2m$ such that all parts $\lambda_i$ are even. $B_m$ is the set of all partitions $\lambda$ of $2m$ so that when you write it in hook notation $\lambda=(a_1,\dots,a_r|b_1,\dots,b_r)$ you have $a_i=b_i+1$ for all $i$. Also, maybe this article has some useful references.

share|improve this answer
    
Yes, these are also listed in Macdonald's book. –  Vladimir Dotsenko May 5 '10 at 13:13

You may also use SAGE , (for example, the Sage online notebook )

Example:

The Riemann curvature tensor $R$ lives in the space $Sym^2(\Lambda^2 V)$ (after identifying $V$ with $V^{\vee}$)

Decomposing it in Sage:

$ s = SFASchur(QQ) $

(let s be the Schur functor)

$ s(\[2\])(s(\[1,1\])) $

(compute plethysm $ Sym^2 \Lambda^2 $)

s[1, 1, 1, 1] + s[2, 2]

-- i.e., $\Lambda^4 V + S_{\[2,2\]}$, as it should be

$ s([3])(s([1,1]))

s[1, 1, 1, 1, 1, 1] + s[2, 2, 1, 1] + s[3, 3]

-- though i understand that the explicit formula is better :)

share|improve this answer

What kind of a formula will you find satisfactory? Formulas for the plethysm $s_\lambda\circ h_n$ where coefficients are expressed in terms of $S_n$-characters and generalized Kostka numbers are in Macdonald's book (see pp.138-140), so putting $n=2$ and applying the standard involution will give you some result for $e_2$ as well (which is your question, I presume)...

share|improve this answer
    
If I'm remembering correctly, the formulas in Macdonald contain the values of symmetric group characters evaluated on conjugacy classes, which probably doesn't meet David's criterion ("positive rule"). –  GS May 4 '10 at 11:33
    
@Stephen: I surely seem to have overlooked "positive"... –  Vladimir Dotsenko May 4 '10 at 12:21
    
I've added some clarifications above. –  David Speyer May 4 '10 at 16:00

Did you check the book by Procesi?

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.