RootString - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


LieAlgebras[RootString] - find the sequence of roots through a given root of a semi-simple Lie algebra

Calling Sequences

     RootString(, , , option)

Parameters

            - a vector, defining a root vector for a semi-simple Lie algebra

            - a vector, defining a root vector for a semi-simple Lie algebra

            - a list of vectors, defining a list of root vectors for a semi-simple Lie algebra and containing  and

     option       - the keyword argument output = "stringlengths"

  

  

 

Description

Examples

Description

• 

Let  be a semi-simple Lie algebra,  a Cartan subalgebra, and the associated set of roots. If then the -string through  is the maximal sequence of roots of the form

   where  are non-negative integers.

• 

The calling sequence RootString(, , ) returns the -string of roots through . The calling sequence RootString(, , , output = "stringlengths") returns the list of non-negative integers .

Examples

 

Example 1.

We initialize the split real form of the exceptional Lie algebra  and retrieve the root space decomposition and the list of all roots. We then calculate some root strings. The structure equations for  are obtained using SimpleLieAlgebraData.

(2.1)

 

Initialize the Lie algebra with DGsetup.

(2.2)

 

The root space decomposition is retrieved, without calculation, using SimpleLieAlgebraProperties

 

Here is the root space decomposition and the list of all positive roots.

(2.3)
g2 > 

 

Define two roots and .

g2 > 

g2 > 

 

Calculate the -string through

g2 > 

 

With the optional keyword argument output = "stringlengths", we obtain the lengths of the -string through in the negative and positive directions.

g2 > 

(2.4)

 

Thus the -string through  in  is given explicitly by.

g2 > 

Example 2.

Here is another example of a root string for the exceptional Lie algebra .

g2 > 

g2 > 

 

The root -string through  is now

g2 > 

 

and the string lengths are

g2 > 

(2.5)

Thus, the root string  is explicitly given by

g2 > 

 

Example 3.

Root strings can also be calculated for abstract roots systems, that is, a set of vectors satisfying the standard axioms of a root system and not explicitly defined from the root space decomposition of a semi-simple Lie algebra. The positive roots of an abstract root systems can be calculated with the PositiveRoots command.

 

g2 > 

g2 > 

 

Here are are 2 roots and their root string.

g2 > 

g2 > 

g2 > 

 

See Also

DifferentialGeometry

LieAlgebras

CartanSubalgebra

PositiveRoots

SimpleLieAlgebraData

SimpleLieAlgebraProperties

SimpleRoots

RootSpaceDecomposition

 


Download Help Document