24
$\begingroup$

Is there a computer algebra package in which I can compute the following for representations of a specific symmetric group (e.g. $S_7$):

(1) $V \otimes W$

(2) $S_\lambda V$, where $S_\lambda$ is a Schur functor, or even just $\wedge^s V$,

where $V$ and $W$ are input as sums of irreducible representations, i.e. by partitions with coefficients, and output in the same format?

$\endgroup$
1
  • 2
    $\begingroup$ I'm writing modules in Haskell to do this sort of thing. See www.github.com/rotskoff. It won't be of use for this sort of question yet, but if other people have computations like examples (1) and (2) that they'd like to see implemented please let me know! $\endgroup$ May 12, 2012 at 6:12

7 Answers 7

16
$\begingroup$

In the years since I left the answer below, Sage has improved dramatically, especially its symmetric function theory. In order to compute the third exterior power of the $S_7$-irrep corresponding to the partition $3+3+1$, one need only type the following:

s = SymmetricFunctions(QQ).schur()
s[1,1,1].inner_plethysm(s[3,3,1])

which returns

s[2, 1, 1, 1, 1, 1] + 2*s[2, 2, 1, 1, 1] + 4*s[2, 2, 2, 1] + 6*s[3, 1, 1, 1, 1] + 9*s[3, 2, 1, 1] + 7*s[3, 2, 2] + 4*s[3, 3, 1] + 7*s[4, 1, 1, 1] + 9*s[4, 2, 1] + 4*s[4, 3] + 2*s[5, 1, 1] + 4*s[5, 2] + s[6, 1] + s[7]

the same answer discovered by the GAP code below. Sage is also faster. From what I understand, GAP still wins when you want to study representations over a finite field. (But it's not really a contest since GAP is included in Sage!) From Sage, you may start a GAP console with

gap_console()

The answer from 2012 appears below.


Here is the GAP code I use to do these computations:

SchurFunctorOfCharacter:=function(char,p)
  local n,t,c;
  if p=[] then
       return TrivialCharacter(UnderlyingCharacterTable(char));
  fi;
  n:=Sum(p);
  t:=CharacterTable("Symmetric",n);
  c:=List(CharacterParameters(t),u->u[2]);
  return Symmetrizations([char],n)[Position(c,p)];
  end;;
CharacterFromPartition:=function(table,p)
  local c;
  c:=List(CharacterParameters(table),u->u[2]);
  return Irr(table)[Position(c,p)];
  end;;
DecomposeCharacter:=char->List(Irr(UnderlyingCharacterTable(char)),x->ScalarProduct(x,char));;
t:=CharacterTable("Symmetric",7);;
chi:=CharacterFromPartition(t,[3,3,1]);;
DecomposeCharacter(SchurFunctorOfCharacter(chi,[1,1,1]));

This code computes the character table of $S_7$, finds the character corresponding to the partition $3+3+1$, and applies the Schur functor corresponding to the partition $1+1+1$ (otherwise known as $\wedge^3$). Here is the result:

[ 0, 1, 2, 4, 6, 9, 7, 4, 7, 9, 4, 2, 4, 1, 1 ]

These are the multiplicities of the irreducible constituents of our character. The ordering on partitions is lexicographic. For example, to determine the meaning of the $6$, just take the fifth partition of $7$:

Partitions(7)[5];

The output shows that the coefficient $6$ appears before the L-shaped partition $3+1+1+1+1$:

[3,1,1,1,1]
$\endgroup$
8
$\begingroup$

If I understand correctly, you can do the computation with symmetric functions using the operation of inner plethysm, which bears the same relationship to the internal, or Kronecker, product on symmetric functions that ordinary plethysm bears to ordinary multiplication of symmetric functions (and also makes the ring of symmetric functions with the internal product into a $\lambda$-ring). Inner plethysm is not as well known as it should be (I don't think it's mentioned in Macdonald's book), but the formulas for computing it aren't complicated:

Using, for simplicity, the notation $f[g]$ for this operation, it's determined by the following:

(1) for fixed $g$, the map $f\mapsto f[g]$ is a homomorphism from the ring of symmetric functions with the usual product to the ring of symmetric functions with the internal product.

(2) For a partition $\lambda$ of $n$ and an integer $k$, let $\lambda^k$ denote the cycle type of the $k$th power of a permutation with cycle type $\lambda$. Then $$ p_k\left[\sum_{\lambda\vdash n}a_{\lambda}\frac{p_{\lambda}}{z_\lambda}\right] =\sum_{\lambda\vdash n}a_{\lambda^k}\frac{p_{\lambda}}{z_\lambda} $$ I don't think that inner plethysm is implemented in John Stembridge's SF package, but it will easily express Schur functions in terms of power sum symmetric functions and vice-versa, and computing inner plethysms with power sum symmetric functions isn't hard; if you know Maple, essentially all you need to do is write a function to compute $\lambda^k$. Then to compute the characteristic of $S_\lambda V$, all you need to do is compute the inner plethysm $s_\lambda[\text{ch } V]$.

$\endgroup$
3
$\begingroup$

The combinatorics package in Sage should do these things, at least if you are just interested in the decompositions into irreducibles and not actual matrices.

$\endgroup$
3
$\begingroup$

Magma can be used to do (1) by taking products of characters, and (2) using the function 'Symmetrization', provided $|\lambda| \le 6$. In either case the output will be a character $\chi$ of a symmetric group. You can then write a short function that calculates all the inner products of $\chi$ with irreducible characters to get the answer in the form you want. The function 'SymmetricCharacter' returns the irreducible character labelled by a given partition.

Edit: Gap also has most of the required functions built-in. To generate the irreducible characters of $S_7$ use 'Irr(SymmetricGroup(7))'. You can then add and multiply characters to get the character of the tensor product of two representations of $S_7$. Then 'Symmetrizations(Irr(SymmetricGroup(7)),s)' computes $S_\lambda \chi$ for all irreducible characters of $S_7$ and all partitions $\lambda$ of $s$. This took almost no time to run, even for $s=10$, a case Magma fails on.

I'm not sure if Gap provides any way to determine the partition labelling an irreducible character of $S_n$. Before 'SymmetricCharacter' was introduced in Magma, I used some code of my own to identify the labelling partition, by first looking at the degree (using the hook-formula), and then resolving any ambiguities using classical formulae for the values of symmetric group characters on cycles of short length. Please send me an email if you'd like more details.

$\endgroup$
2
$\begingroup$

You could try GAP. This is far from being elegant, just if you are very desperate ;-)

gap> g := SymmetricGroup(7);;

gap> regmod := RegularModule(g,GF(19));;

//This not elegant: I chose GF(11) to make the group ring semisimple (as if working over a field of characteristic 0. This is necessary here, as GAP uses the MeatAxe which needs finite fields). Moreover it would be better to get the simple constituents from another source than the regular module as the regular module soon gets too large in dimension. Maybe one could consider an action of $g$ on cosets of a subgroup where your simples of interest occur as composition factors. Ask for more details if you are interested. For $g=S_7$ this is too large to handle. So I take the natural PermutationModule, which has two constituents, a module of dimension 1 and a module of dimension 6.//

gap> permod := PermutationGModule(g,GF(11));;

gap> comps := MTX.CompositionFactors(permod);

[ rec( field := GF(11), isMTXModule := true, dimension := 1, generators := [ [ [ Z(11)^0 ] ], [ [ Z(11)^0 ] ] ], smashMeataxe := rec( algebraElement := [ [ [ 1, 2 ], [ 3, 1 ] ], [ Z(11)^0, Z(11)^0, Z(11)^9, Z(11) ] ], algebraElementMatrix := [ [ Z(11)^5 ] ], characteristicPolynomial := x_1+Z(11)^0, charpolFactors := x_1+Z(11)^0, nullspaceVector := [ Z(11)^0 ], ndimFlag := 1 ), IsIrreducible := true ), rec( field := GF(11), isMTXModule := true, dimension := 6, generators := [ < immutable compressed matrix 6x6 over GF(11) >, < immutable compressed matrix 6x6 over GF(11) > ], smashMeataxe := rec( algebraElement := [ [ [ 2, 1 ], [ 2, 3 ] ], [ Z(11)^6, Z(11)^9, Z(11)^8, Z(11) ] ], algebraElementMatrix := < immutable compressed matrix 6x6 over GF( 11) >, characteristicPolynomial := x_1^6+Z(11)^6*x_1^5+Z(11)^7*x_1^3+Z(11)^3*x_1^2+Z(11)^4*x_1+Z(11)^8, charpolFactors := x_1-Z(11)^0, nullspaceVector := [ Z(11), Z(11)^8, Z(11)^5, Z(11)^3, Z(11)^7, Z(11)^0 ], ndimFlag := 1 ), IsIrreducible := true ) ]

gap> c1 := comps[1];;

gap> c2 := comps[2];;

gap> TensorProductGModule(c1,c2);

rec( field := GF(19), isMTXModule := true, dimension := 6, generators := [ < immutable compressed matrix 6x6 over GF(19) >, < immutable compressed matrix 6x6 over GF(19) > ] ) gap>

From this point on you can do whatever MTX in GAP allows you to do with modules. See also http://www.gap-system.org/Manuals/doc/htm/ref/CHAP067.htm#SSEC002.2 for more information on GAP.

$\endgroup$
1
$\begingroup$

Another answer: John Stembridge's Maple code for dealing with Weyl groups may also have something along these lines.

$\endgroup$
5
  • $\begingroup$ John Stembridge also has a symmetric functions package that might help. These are both at his web site www.math.lsa.umich.edu/~jrs. $\endgroup$ May 11, 2012 at 21:14
  • $\begingroup$ I just looked at this, and it seems "itensor" will do (1), but I am not sure if there is a function there for (2) (but there could be and I am missing it because I don't know how to translate schur functors, or even exterior products, into symmetric polynomial language). $\endgroup$ May 11, 2012 at 21:30
  • $\begingroup$ I was more confident the symmetric functions package would help with (1) than with (2). I just glanced through John Stembridge's documentation, and I don't see how to use it to do (2) either. Maybe someone else here can help? $\endgroup$ May 12, 2012 at 0:44
  • $\begingroup$ I feel like I should know this but I guess I don't. Plethysym of symmetric functions should correspond to some sort of outer Schur functor just as multiplying symmetric functions gives you an outer tensor product. If you don't get an answer to this question you might want to try asking a separate question asking explicitly about translating Schur functors of S_n representations into symmetric polynomials. $\endgroup$ May 12, 2012 at 5:23
  • $\begingroup$ That would be a nice separate question -- to ask for a dictionary between symmetric functions and representations. $\endgroup$ May 12, 2012 at 10:39
0
$\begingroup$

If you have access to Mathematica, then the functions in http://users.telenet.be/Wouter.Meeussen/ToolBox.nb might be of use.

$\endgroup$

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.