This function computes the decomposition in irreducible SL(n+1)-representations of the tensor product SaV ⊗SbV, where V = <v0,...,vn> and a ≤b.
If n = 1, the decomposition is
SaV ⊗SbV = Sa+bV ⊕Sa+b-2V ⊕Sa+b-4V ⊕…⊕Sb-aV,
while if n > 1, the decomposition is
SaV ⊗SbV = Sa+bV ⊕V(a+b-2)λ1 + λ2 ⊕V(a+b-4)λ1 + 2λ2 ⊕…⊕V(b-a)λ1 + aλ2,
where λ1 and λ2 are the two greatest fundamental weights of the Lie group SL(n+1) and Viλ1+jλ2 is the irreducible representation of highest weight iλ1+jλ2.
i1 : n = 2 o1 = 2 |
i2 : a = 1, b = 2 o2 = (1, 2) o2 : Sequence |
i3 : D = slIrreducibleRepresentationsTensorProduct(n,a,b); |
i4 : #D o4 = 2 |
i5 : D#0
2 2 2 2 2 2 2 2
o5 = {v v , 2v v v + v v , v v + 2v v v , 2v v v + v v , v v , v v v + v v v + v v v , 2v v v + v v , v v + 2v v v , v v
0 0 0 0 1 1 0 0 1 1 0 1 0 0 2 2 0 1 1 0 1 2 1 0 2 2 0 1 1 1 2 2 1 0 2 2 0 2 1 2
----------------------------------------------------------------------------------------------------------------------------
2
+ 2v v v , v v }
2 1 2 2 2
o5 : List
|
i6 : D#1
2 2 2 2 2 2
o6 = {v v v - v v , v v - v v v , v v v - v v , v v v - v v v , v v v - v v v , v v v - v v , v v - v v v , v v - v v v }
0 0 1 1 0 0 1 1 0 1 0 0 2 2 0 0 1 2 2 0 1 1 0 2 2 0 1 1 1 2 2 1 0 2 2 0 2 1 2 2 1 2
o6 : List
|
If a polynomial ring R is given, then n = numgens R - 1 and V = <R0,...,Rn>.
i7 : R = QQ[x_0,x_1,x_2]; |
i8 : a = 2, b = 3 o8 = (2, 3) o8 : Sequence |
i9 : D = slIrreducibleRepresentationsTensorProduct(R,a,b); |
i10 : #D o10 = 3 |
i11 : D#0
2 3 2 2 3 2 2 2 2 3 2 2 3 2 3 2 2 2 2 2
o11 = {x x , 3x x x + 2x x x , 3x x x + 6x x x x + x x , 3x x x + 2x x x , x x + 6x x x x + 3x x x , 3x x x x + 3x x x x
0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 2 0 2 0 0 1 0 1 0 1 1 0 1 0 0 1 2 0 1 0 2
---------------------------------------------------------------------------------------------------------------------------
2 3 3 2 2 2 2 2 2 2 2 2 2 2 2 3
+ 3x x x x + x x x , 2x x x + 3x x x , x x x + 4x x x x x + x x x + 2x x x x + 2x x x x , 3x x x + 6x x x x + x x ,
0 2 0 1 1 2 0 0 1 1 1 0 1 0 1 2 0 1 0 1 2 1 0 2 0 2 0 1 1 2 0 1 0 0 2 0 2 0 2 2 0
---------------------------------------------------------------------------------------------------------------------------
2 3 2 2 3 2 2 2 2 2 2 2 2 2 3
x x , 3x x x x + 3x x x x + x x x + 3x x x x , x x x + 2x x x x + 4x x x x x + 2x x x x + x x x , 3x x x + 2x x x ,
1 1 0 1 1 2 1 0 1 2 0 2 1 1 2 0 1 0 1 2 0 1 0 2 0 2 0 1 2 1 2 0 2 2 0 1 1 1 2 1 2 1
---------------------------------------------------------------------------------------------------------------------------
2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 3 3
2x x x x + x x x + 2x x x x + 4x x x x x + x x x , x x + 6x x x x + 3x x x , 3x x x + 6x x x x + x x , x x x +
0 1 1 2 1 0 2 0 2 1 2 1 2 0 1 2 2 0 1 0 2 0 2 0 2 2 0 2 1 1 2 1 2 1 2 2 1 0 1 2
---------------------------------------------------------------------------------------------------------------------------
2 2 2 2 3 2 2 2 3 2 2 3 2 2 2 3
3x x x x + 3x x x x + 3x x x x , x x + 6x x x x + 3x x x , 2x x x + 3x x x , 2x x x + 3x x x , x x }
0 2 1 2 1 2 0 2 2 0 1 2 1 2 1 2 1 2 2 1 2 0 2 2 2 0 2 1 2 2 2 1 2 2 2
o11 : List
|
i12 : D#1
2 2 3 2 2 2 2 3 2 2 3 2 3 2 2 2 2 2 3
o12 = {x x x - x x x , 2x x x - x x x x - x x , x x x - x x x , x x + x x x x - 2x x x , 2x x x x - x x x x - x x x ,
0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 2 0 2 0 0 1 0 1 0 1 1 0 1 0 0 1 2 0 2 0 1 1 2 0
---------------------------------------------------------------------------------------------------------------------------
2 2 3 2 2 2 2 2 2 2 2 2 2 2 2
x x x x - x x x x , x x x - x x x , x x x - x x x + x x x x - x x x x , 2x x x x x + x x x - 2x x x x - x x x x ,
0 1 0 2 0 2 0 1 0 1 1 1 0 1 0 1 2 1 0 2 0 2 0 1 1 2 0 1 0 1 0 1 2 1 0 2 0 2 0 1 1 2 0 1
---------------------------------------------------------------------------------------------------------------------------
2 2 2 2 3 2 2 2 3 2 2 2 2 2 2
2x x x - x x x x - x x , x x x x - x x x x , 2x x x x - x x x - x x x x , 2x x x + 2x x x x x - 3x x x x - x x x ,
0 0 2 0 2 0 2 2 0 0 1 1 2 1 2 0 1 1 0 1 2 0 2 1 1 2 0 1 0 1 2 0 2 0 1 2 1 2 0 2 2 0 1
---------------------------------------------------------------------------------------------------------------------------
2 2 2 2 2 2 3 2 2 2 2 2 2
2x x x x - 2x x x x x + x x x x - x x x , x x x - x x x , 2x x x x + x x x x - 2x x x x x - x x x , 2x x x -
0 1 0 2 0 2 0 1 2 1 2 0 2 2 0 1 1 1 2 1 2 1 0 1 1 2 0 2 1 2 1 2 0 1 2 2 0 1 1 0 2
---------------------------------------------------------------------------------------------------------------------------
2 2 2 2 3 2 2 2 2 2 2 2 3 3 2 2
3x x x x + 2x x x x x - x x x , x x + x x x x - 2x x x , 2x x x - x x x x - x x , x x x + x x x x - 2x x x x ,
0 2 1 2 1 2 0 1 2 2 0 1 0 2 0 2 0 2 2 0 2 1 1 2 1 2 1 2 2 1 0 1 2 1 2 0 2 2 0 1 2
---------------------------------------------------------------------------------------------------------------------------
2 2 2 3 2 2 2 3 2 2 3 2 2
x x x x - x x x x , x x + x x x x - 2x x x , x x x - x x x , x x x - x x x }
0 2 1 2 1 2 0 2 1 2 1 2 1 2 2 1 2 0 2 2 2 0 2 1 2 2 2 1 2
o12 : List
|
i13 : D#2
2 2 2 2 3 2 3 2 2 2 2 2 2 3 2 2 2 2 2
o13 = {x x x - 2x x x x + x x , x x - 2x x x x + x x x , x x x x - x x x x - x x x x + x x x , x x x - x x x - 2x x x x
0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 2 0 1 0 2 0 2 0 1 1 2 0 0 1 2 1 0 2 0 2 0 1
---------------------------------------------------------------------------------------------------------------------------
2 2 2 2 2 2 2 2 2 3 2 2 3 2
+ 2x x x x , x x x x x - x x x - x x x x + x x x x , x x x - 2x x x x + x x , x x x x - x x x x - x x x + x x x x ,
1 2 0 1 0 1 0 1 2 1 0 2 0 2 0 1 1 2 0 1 0 0 2 0 2 0 2 2 0 0 1 1 2 1 0 1 2 0 2 1 1 2 0 1
---------------------------------------------------------------------------------------------------------------------------
2 2 2 2 2 2 2 2 2 2 2 2 2 2
x x x - 2x x x x x + x x x , x x x x - x x x x x - x x x x + x x x , x x x x - x x x x - x x x x x + x x x , x x x
0 1 2 0 2 0 1 2 2 0 1 0 1 0 2 0 2 0 1 2 1 2 0 2 2 0 1 0 1 1 2 0 2 1 2 1 2 0 1 2 2 0 1 1 0 2
---------------------------------------------------------------------------------------------------------------------------
2 2 2 3 2 2 2 2 2 2 2 3 3 2 2 2 2 3
- 2x x x x x + x x x , x x - 2x x x x + x x x , x x x - 2x x x x + x x , x x x - x x x x - x x x x + x x x x , x x
1 2 0 1 2 2 0 1 0 2 0 2 0 2 2 0 2 1 1 2 1 2 1 2 2 1 0 1 2 0 2 1 2 1 2 0 2 2 0 1 2 1 2
---------------------------------------------------------------------------------------------------------------------------
2 2 2
- 2x x x x + x x x }
1 2 1 2 2 1 2
o13 : List
|