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

I apologize if this question is trivial, but a couple of days of searching for necessary routines have led me here.

Does there exist software to compute symmetric powers of Schur polynomials?

I am seeking such software in the hopes of computing the characters of representations of the simple Lie algebra $A_n$, i.e., $S_\lambda(x_1, \dots, x_n)$ to use the notation of Fulton and Harris, and then applying $\mathrm{Sym}^k$ to the resulting Schur polynomial and writing the result as a sum of Schur polynomials corresponding to differing partitions $\mu$. That is, as an example, I would like to compute something like the following: $$ \mathrm{Sym}^3(S_\lambda(x_1, \dots, x_4)) = \sum_\mu k_\mu S_\mu(x_1, \dots, x_4) $$ Where $S_\lambda(x_1, \dots, x_4)$ denotes the character of the irreducible representation of $A_4$ with highest weight $\lambda$. I understand that Mathematica may compute symmetric polynomials, however I have not found any routines for applying $\mathrm{Sym}$ to these polynomials. Regards.

share|improve this question
    
How is $Sym^k$ defined? How would you do this by hand on a small example? –  Per Alexandersson May 29 '13 at 19:52
    
Let's consider the representation of $A_2$ i.e., $\mathfrak{sl}_3$ given by $\lambda = (3,2)$ so this has highest weight $\omega_1 + 2\omega_2$ where $\omega_i$ is the $i$th fundamental weight of $A_2$, and I write an arbitrary irreducible representation of $A_2$ as $\Gamma_{a,b}$ where $\lambda = a\omega_1 + b\omega_2$ is the highest weight. Then $Sym^2$ applied to this Schur polynomial $s_{(3,2)}$ should yield the Schur polynomials $s_{(2,2)} + s_{(3,1)} + s_{(4,3)} + s_{(4,0)} + s_{(6,4)}$. Is this what you meant? –  Mike May 29 '13 at 21:05
4  
The right keyword is "plethysm" –  Alexander Woo May 29 '13 at 21:10
4  
You can use John Stembridge's SF package for Maple: dept.math.lsa.umich.edu/~jrs/maple.html –  Ira Gessel May 29 '13 at 22:40
    
Josh Izzard: I have worked a bit with Schur polys from the combinatorial viewpoint, but my representation theory is almost non-existent. The word "plethysm" rings a bell... What is the rule for getting (2,2),(3,1) and so on from (3,2)? Or is this what you are looking for? Can these be described as "All partitions such that ...blah blah blah, in relation to (3,2) is true"? –  Per Alexandersson May 30 '13 at 22:15

2 Answers 2

up vote 4 down vote accepted

This can be done with LiE: http://wwwmathlabo.univ-poitiers.fr/~maavl/LiE/

(In fact it will compute the Schur functor of any irreducible representation.) There is a form interface so you can try LiE on the web: http://wwwmathlabo.univ-poitiers.fr/~maavl/LiE/form.html

Here is an example of calculating $Sym^3$ of $s_{2,1}$ (everything is written in fundamental weight notation, so X[1,1,0] below refers to the partition (2,1,0) = (1,0,0) + (1,1,0)):

Input: sym_tensor(3,X[1,1,0],A3)

Output: 1X[0,0,3] +1X[0,1,1] +1X[0,3,1] +1X[1,0,0] +1X[1,1,2] +1X[1,2,0] + 2X[2,0,1] +1X[2,2,1] +1X[3,0,2] +1X[3,1,0] +1X[3,3,0]

The only caveat is that LiE treats A3 as $SL_4$, so for instance, the partition (2,1,1,1) is the same as the partition (1,0,0,0) (because we have the identification $x_1x_2x_3x_4 = 1$).

share|improve this answer
    
Many thanks Steven. I will look into this interface –  Mike Jun 7 '13 at 2:04

this could be done in sage:

sage: B3 = WeylCharacterRing("B3", style="coroots")
sage: spin = B3(0,0,1)
sage: spin.symmetric_power(6)
B3(0,0,0) + B3(0,0,2) + B3(0,0,4) + B3(0,0,6)

sage: A3 = WeylCharacterRing("A3", style="coroots")
sage: rep = A3(0,0,1)              
sage: rep.symmetric_power(6)     
A3(0,0,6)
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.