next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
SLnEquivariantMatrices :: slEquivariantConstantRankMatrix

slEquivariantConstantRankMatrix -- computes a SL-equivariant constant rank matrix

Synopsis

Description

This function returns a constant rank matrix of linear forms. For n=1, the matrix describes the morphism

Φ: Smd-2V ⊗Od →S(m-1)dV ⊗Od)(1)

given by the projection

SdV ⊗S(m-1)dV →Smd-2V

of the irreducible SL(2)-subrepresentation of highest weight md-2, where d = ℙ(SdV) as V=<v0,v1>.

For n>1, the matrix describes the morphism

Φ: V(md-2)λ1 + λ2 ⊗Oℙ(SdV) →S(m-1)dV ⊗Oℙ(SdV)(1)

given by the projection

SdV ⊗S(m-1)dV →V(md-2)λ1 + λ2

of the irreducible SL(n+1)-subrepresentation V(md-2)λ1 + λ2 of highest weight (md-2)λ1 + λ2 = (md-1)L1 + L2 in the tensor product SdV ⊗S(m-1)dV, where V = Cn+1 and λ1 and λ2 are the two greatest fundamental weights of the Lie group SL(n+1).

i1 : n = 1, d = 3, m = 3

o1 = (1, 3, 3)

o1 : Sequence
i2 : M = slEquivariantConstantRankMatrix(n,d,m)

o2 = {-1} | -x_1 2x_2  x_3    0     0     0     0     0    |
     {-1} | x_0  3x_1  9x_2   x_3   0     0     0     0    |
     {-1} | 0    -5x_0 0      3x_2  2x_3  0     0     0    |
     {-1} | 0    0     -10x_0 -2x_1 2x_2  10x_3 0     0    |
     {-1} | 0    0     0      -2x_0 -3x_1 0     5x_3  0    |
     {-1} | 0    0     0      0     -x_0  -9x_1 -3x_2 x_3  |
     {-1} | 0    0     0      0     0     -x_0  -2x_1 -x_2 |

                                7                          8
o2 : Matrix (QQ[x , x , x , x ])  <--- (QQ[x , x , x , x ])
                 0   1   2   3              0   1   2   3

By default, slEquivariantConstantRankMatrix defines the matrix over a polynomial ring with rational coefficients. The optional argument CoefficientRing allows one to change the coefficient ring.

i3 : n = 1, d = 3, m = 3

o3 = (1, 3, 3)

o3 : Sequence
i4 : M = slEquivariantConstantRankMatrix(n,d,m,CoefficientRing=>ZZ/10007)

o4 = {-1} | -x_1 2x_2  x_3    0     0     0     0     0    |
     {-1} | x_0  3x_1  9x_2   x_3   0     0     0     0    |
     {-1} | 0    -5x_0 0      3x_2  2x_3  0     0     0    |
     {-1} | 0    0     -10x_0 -2x_1 2x_2  10x_3 0     0    |
     {-1} | 0    0     0      -2x_0 -3x_1 0     5x_3  0    |
     {-1} | 0    0     0      0     -x_0  -9x_1 -3x_2 x_3  |
     {-1} | 0    0     0      0     0     -x_0  -2x_1 -x_2 |

               ZZ                  7         ZZ                  8
o4 : Matrix (-----[x , x , x , x ])  <--- (-----[x , x , x , x ])
             10007  0   1   2   3          10007  0   1   2   3

If the first argument is a polynomial ring R, then n = numgens R-1.

i5 : R = QQ[y_0,y_1];
i6 : d = 2, m = 3

o6 = (2, 3)

o6 : Sequence
i7 : M = slEquivariantConstantRankMatrix(R,d,m)

o7 = {-1} | -x_1 x_2   0    0     0    |
     {-1} | x_0  2x_1  x_2  0     0    |
     {-1} | 0    -3x_0 0    3x_2  0    |
     {-1} | 0    0     -x_0 -2x_1 x_2  |
     {-1} | 0    0     0    -x_0  -x_1 |

                            5                      5
o7 : Matrix (QQ[x , x , x ])  <--- (QQ[x , x , x ])
                 0   1   2              0   1   2

If the last argument is polynomial ring X (and X has the same number of variables of the coordinate ring of ℙ(SdCn+1)), then the matrix is defined over the polynomial ring X.

i8 : n = 1, d = 3, m = 3

o8 = (1, 3, 3)

o8 : Sequence
i9 : X = ZZ/7[z_0,z_1,z_2,z_3];
i10 : M = slEquivariantConstantRankMatrix(n,d,m,X)

o10 = {-1} | -z_1 2z_2 z_3   0     0     0     0     0    |
      {-1} | z_0  3z_1 2z_2  z_3   0     0     0     0    |
      {-1} | 0    2z_0 0     3z_2  2z_3  0     0     0    |
      {-1} | 0    0    -3z_0 -2z_1 2z_2  3z_3  0     0    |
      {-1} | 0    0    0     -2z_0 -3z_1 0     -2z_3 0    |
      {-1} | 0    0    0     0     -z_0  -2z_1 -3z_2 z_3  |
      {-1} | 0    0    0     0     0     -z_0  -2z_1 -z_2 |

              7       8
o10 : Matrix X  <--- X
i11 : R = QQ[y_0,y_1];
i12 : d = 3, m = 2

o12 = (3, 2)

o12 : Sequence
i13 : M = slEquivariantConstantRankMatrix(R,d,m,X)

o13 = {-1} | -z_1 z_2  z_3   0    0    |
      {-1} | z_0  0    3z_2  z_3  0    |
      {-1} | 0    -z_0 -3z_1 0    z_3  |
      {-1} | 0    0    -z_0  -z_1 -z_2 |

              4       5
o13 : Matrix X  <--- X

Ways to use slEquivariantConstantRankMatrix :