PositiveRoots - Maple Help

Online Help

All Products    Maple    MapleSim


LieAlgebras[PositiveRoots] - find the positive roots from a set of roots or a root space decomposition, list the positive roots for a given root type

Calling Sequences

     PositiveRoots(RSD, Y)

     PositiveRoots(Δ, Y)

     PositiveRoots(RtType, m, Δ1)

     PositiveRoots(CMatrix, Δ1)

Parameters

     RSD     - a table, giving the root space decomposition of a Lie algebra

     Y       - a vector of dimension m, or a list of m vectors of dimension m, where m is the rank of the Lie algebra

     Δ                  - a list of vectors of dimension m, defining a set of roots for a simple Lie algebra or an abstract root system   

  RtType  - a string, a root type "A", "B", "C", "D"

     m       - a non-negative integer

     CMatrix - a square matrix, the Cartan matrix of a simple Lie algebra

     Δ1      - (optional) a list of vectors of dimension m, defining a set of roots for a simple Lie algebra

 

Description

Examples

Description

• 

Let Δ ℂm be a list of roots for either an abstract root system or for a simple Lie algebra. In particular, Δ must have an even number of elements and if X Δ, then X Δ. Write Δ = Δ  + Δwhere, if X Δ+then X Δ and if X Δthen X Δ+. The set Δ+is called the set of positive roots. The choice of positive roots for a given root system is not unique. There are two convenient ways to pick a set of positive roots.

[i] Pick a vector Y m such that X⋅Y is real and non-zero for all X  Δ. Then X Δ is called positive if X⋅Y > 0. 

[ii] Pick a basis B for ℂm such that the components of every vector in Δ are real with respect to this basis. A vector X Δ is called positive if its first non-zero component with respect to B is positive. 

• 

The first and second calling sequences calculate a set of positive roots for roots of a given root space decomposition or for a given list of roots. If Y is a single vector then method [i] is used. If Y is a list of vectors then method [ii] is used.  

• 

For a given root "A", "B", "C", "D", the positive roots can always be given by specific linear combinations of simple roots. These linear combinations are returned by the third calling sequence.

• 

The positive roots can also be constructed from the Cartan matrix. This method is implemented with the 4th calling sequence. When the Cartan matrix is in standard form, the results of the 3rd and 4th calling sequences are the same.

• 

For more information on the last two calling sequences, see Details for PositiveRoots.

Examples

withDifferentialGeometry:withLieAlgebras:

 

Example 1.

We calculate the positive roots for the Lie algebra so4,4. This is the 18-dimensional Lie algebra of 6×6 matrices which are skew-symmetric with respect to the quadratic form Q = 0I4I40. We use the command SimpleLieAlgebraData to obtain the structure equations for this Lie algebra. The labels 'E' and 'omega' must be unassigned names.

LDSimpleLieAlgebraDataso(4, 4),so44,labelformat=gl,labels=E,ω:

DGsetupLD

Lie algebra: so44

(2.1)

 

Find a Cartan subalgebra and the corresponding root space decomposition.

so44 > 

CSA_so44CartanSubalgebraso44

CSA_so44:=E11,E22,E33,E44

(2.2)
so44 > 

RSD_so44RootSpaceDecompositionCSA_so44

RSD_so44:=table1,0,0,1=E14,0,1,0,1=E24,0,1,1,0=E23,0,1,1,0=E63,1,0,1,0=E31,1,1,0,0=E16,0,1,1,0=E32,0,1,0,1=E42,0,0,1,1=E74,1,0,0,1=E54,0,1,0,1=E64,1,0,0,1=E41,1,1,0,0=E52,0,1,1,0=E27,1,0,1,0=E53,1,1,0,0=E21,0,0,1,1=E43,1,0,1,0=E17,1,0,0,1=E18,1,0,1,0=E13,0,1,0,1=E28,1,1,0,0=E12,0,0,1,1=E34,0,0,1,1=E38

(2.3)

 

We calculate the positive roots for so4, 4 using method [i].

so44 > 

PR_so44aPositiveRootsRSD_so44,1,2,3,4

PR_so44a:=1010,1100,0110,0101,1001,0110,1100,0011,1010,1001,0101,0011

(2.4)

 

We calculate the positive roots for so3,3using method [ii].  We see that there are different possibilities for the choice of positive roots.

so44 > 

PR_so33bPositiveRootsRSD_so44,1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1

PR_so33b:=1001,0101,0110,1100,0110,1010,1001,1010,0101,1100,0011,0011

(2.5)

 

To get the same result from method [i] chose a different vector for the 2nd argument.

so44 > 

PositiveRootsRSD_so44,4,3,2,1

1001,0101,0110,1100,0110,1010,1001,1010,0101,1100,0011,0011

(2.6)

 

Example 2.

To illustrate the second calling sequence we use the command LieAlgebraRoots to extract the roots from the table RSD_so44 giving the root space decomposition for so4,4.

so44 > 

Delta_so44LieAlgebraRootsRSD_so44

Delta_so44:=1001,0101,0110,0110,1010,1100,0110,0101,0011,1001,0101,1001,1100,0110,1010,1100,0011,1010,1001,1010,0101,1100,0011,0011

(2.7)
so44 > 

PositiveRootsDelta_so44,4,3,2,1

1001,0101,0110,1100,0110,1010,1001,1010,0101,1100,0011,0011

(2.8)

 

Example 3.

To illustrate the underlying theory which supports the 4th calling sequence, we return to Example 1.

so44 > 

PR_so44a

1010,1100,0110,0101,1001,0110,1100,0011,1010,1001,0101,0011

(2.9)

 

Here are the simple roots for the first set of positive roots for su4, 4.  (We can calculate simple roots using the command SimpleRoots but we wish to use this particular ordering of the roots for this example and the next.)

so44 > 

SR_so44a0,1,1,0,1,1,0,0,0,0,1,1,1,1,0,0

SR_so44a:=0110,1100,0011,1100

(2.10)

 

Here are the positive roots expressed as linear combinations of the simple roots.

so44 > 

Ca1GetComponentsPR_so44a,SR_so44a

Ca1:=1,0,0,1,0,1,0,0,1,0,0,0,1,0,1,0,1,0,1,1,1,1,0,1,0,0,0,1,0,0,1,0,1,1,0,0,1,1,1,0,1,1,1,1,2,1,1,1

(2.11)

 

We can use the 4th calling sequence to reconstruct the positive roots from the simple roots and the Cartan matrix. Here is the Cartan matrix (note that it is not in standard form).

so44 > 

CM_so44aCartanMatrixSR_so44a,RSD_so44

CM_so44a:=2111120010201002

(2.12)

 

Here are the components of the positive roots, as calculated from the Cartan matrix.

so44 > 

Ca2PositiveRootsCM_so44a

Ca2:=1000,0100,0010,0001,1100,1010,1001,1110,1101,1011,1111,2111

(2.13)

 

We can check that, apart from their order and format, the coefficients in (2.11) and (2.13) are the same.

so44 > 

isconvertCa1,set=convertmapconvert,Ca2,list,set

true

(2.14)

 

Example 4.

The inductive construction of the positive roots by root height can be traced with infolevel.

so44 > 

infolevelPositiveRoots2

infolevelDifferentialGeometry:-LieAlgebras:-PositiveRoots:=2

(2.15)
so44 > 

PositiveRootsCM_so44a

The roots at level 1 are:
  [[1, 0, 0, 0], [0, 1, 0, 0], [0, 0, 1, 0], [0, 0, 0, 1]]

The roots at level 2 are:
  [[1, 1, 0, 0], [1, 0, 1, 0], [1, 0, 0, 1]]
The roots at level 3 are:

  [[1, 1, 1, 0], [1, 1, 0, 1], [1, 0, 1, 1]]
The roots at level 4 are:
  [[1, 1, 1, 1]]
The roots at level 5 are:
  [[2, 1, 1, 1]]

1000,0100,0010,0001,1100,1010,1001,1110,1101,1011,1111,2111

(2.16)

 

Example 5.

We continue with the results from Example 2. This time we re-order the simple roots so that the Cartan matrix is in standard form. Here are the roots and Cartan matrix from before.

so44 > 

SR_so44a,CM_so44a

0110,1100,0011,1100,2111120010201002

(2.17)
so44 > 

CartanMatrixToStandardFormCM_so44a

2100121101200102,0100100000100001,D

(2.18)

 

Now we change the ordering of the simple roots to put the Cartan matrix into standard form.

so44 > 

newCm,newSR,RootTypeCartanMatrixToStandardFormCM_so44a,SR_so44a

newCm,newSR,RootType:=2100121101200102,1100,0110,0011,1100,D

(2.19)

 

Here are the components of the positive roots in terms of this new ordering of the simple roots.

so44 > 

newCGetComponentsPR_so44a,newSR

newC:=0,1,0,1,1,0,0,0,0,1,0,0,0,1,1,0,0,1,1,1,1,1,0,1,0,0,0,1,0,0,1,0,1,1,0,0,1,1,1,0,1,1,1,1,1,2,1,1

(2.20)

 

Here are the components of the positive roots for the root type D, using the 3rd calling sequence.

so61 > 

newC1PositiveRootsD,4

newC1:=1000,0100,0010,0001,1100,0110,0101,1110,1101,0111,1111,1211

(2.21)

 

Again, the component lists (2.20) and (2.21) coincide, apart from their order and format.

so44 > 

isconvertnewC,set=convertmapconvert,newC1,list,set

true

(2.22)

 

Example 5.

We calculate a set of positive roots for so6,1. 

so61 > 

RemoveFrameso44

0

(2.23)

LDSimpleLieAlgebraDataso(6, 1),so61,labelformat=gl,labels=E,ω:

DGsetupLD

Lie algebra: so61

(2.24)

 

Find a Cartan subalgebra and the corresponding root space decomposition.

so61 > 

CSA_so61CartanSubalgebraso61

CSA_so61:=E11,E34,E56

(2.25)
so61 > 

RSD_so61RootSpaceDecompositionCSA_so61

RSD_so61:=table0,I,0=E37+IE47,1,0,0=E17,1,I,0=E13+IE14,0,I,I=E35IE36IE45E46,0,I,I=E35+IE36+IE45E46,1,I,0=E23+IE24,1,0,I=E25IE26,0,0,I=E57+IE67,1,0,I=E25+IE26,1,0,0=E27,0,I,0=E37IE47,0,I,I=E35+IE36IE45+E46,1,I,0=E13IE14,1,I,0=E23IE24,0,I,I=E35IE36+IE45+E46,0,0,I=E57IE67,1,0,I=E15IE16,1,0,I=E15+IE16

(2.26)

 

The indices of this table give the roots for so6,1. Here are the roots, now as vectors.

so61 > 

Delta_so61LieAlgebraRootsRSD_so61

Delta_so61:=