find the positive roots from a set of roots or a root space decomposition, list the positive roots for a given root type - Maple Programming Help

# Online Help

###### All Products    Maple    MapleSim

Home : Support : Online Help : Mathematics : DifferentialGeometry : LieAlgebras : DifferentialGeometry/LieAlgebras/PositiveRoots

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(${\mathbf{Δ}}$, Y$\mathit{)}$

PositiveRoots(RtType, m, ${\mathbit{Δ1}}$)

PositiveRoots(CMatrix, ${\mathbit{Δ1}}$)

Parameters

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

Y       - a vector of dimension or a list of $m$ vectors of dimension where 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

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

Description

 • Let 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 then . Write where, if then and if then The set ${\mathrm{Δ}}^{+}$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 such that X⋅Y is real and non-zero for all . Then is called positive if X⋅Y > 0.

[ii] Pick a basis B for such that the components of every vector in ${\mathrm{Δ}}_{}$ are real with respect to this basis. A vector 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 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

 > with(DifferentialGeometry): with(LieAlgebras):

Example 1.

We calculate the positive roots for the Lie algebra This is the 18-dimensional Lie algebra of matrices which are skew-symmetric with respect to the quadratic form We use the command SimpleLieAlgebraData to obtain the structure equations for this Lie algebra. The labels and must be unassigned names.

 > LD := SimpleLieAlgebraData("so(4, 4)", so44, labelformat = "gl", labels = ['E', 'omega']):
 > DGsetup(LD);
 ${\mathrm{Lie algebra: so44}}$ (2.1)

Find a Cartan subalgebra and the corresponding root space decomposition.

 so44 > CSA_so44 := CartanSubalgebra(so44);
 ${\mathrm{CSA_so44}}{:=}\left[{\mathrm{E11}}{,}{\mathrm{E22}}{,}{\mathrm{E33}}{,}{\mathrm{E44}}\right]$ (2.2)
 so44 > RSD_so44 := RootSpaceDecomposition(CSA_so44);
 ${\mathrm{RSD_so44}}{:=}{\mathrm{table}}\left(\left[\left[{1}{,}{0}{,}{0}{,}{-}{1}\right]{=}{\mathrm{E14}}{,}\left[{0}{,}{1}{,}{0}{,}{-}{1}\right]{=}{\mathrm{E24}}{,}\left[{0}{,}{1}{,}{-}{1}{,}{0}\right]{=}{\mathrm{E23}}{,}\left[{0}{,}{-}{1}{,}{-}{1}{,}{0}\right]{=}{\mathrm{E63}}{,}\left[{-}{1}{,}{0}{,}{1}{,}{0}\right]{=}{\mathrm{E31}}{,}\left[{1}{,}{1}{,}{0}{,}{0}\right]{=}{\mathrm{E16}}{,}\left[{0}{,}{-}{1}{,}{1}{,}{0}\right]{=}{\mathrm{E32}}{,}\left[{0}{,}{-}{1}{,}{0}{,}{1}\right]{=}{\mathrm{E42}}{,}\left[{0}{,}{0}{,}{-}{1}{,}{-}{1}\right]{=}{\mathrm{E74}}{,}\left[{-}{1}{,}{0}{,}{0}{,}{-}{1}\right]{=}{\mathrm{E54}}{,}\left[{0}{,}{-}{1}{,}{0}{,}{-}{1}\right]{=}{\mathrm{E64}}{,}\left[{-}{1}{,}{0}{,}{0}{,}{1}\right]{=}{\mathrm{E41}}{,}\left[{-}{1}{,}{-}{1}{,}{0}{,}{0}\right]{=}{\mathrm{E52}}{,}\left[{0}{,}{1}{,}{1}{,}{0}\right]{=}{\mathrm{E27}}{,}\left[{-}{1}{,}{0}{,}{-}{1}{,}{0}\right]{=}{\mathrm{E53}}{,}\left[{-}{1}{,}{1}{,}{0}{,}{0}\right]{=}{\mathrm{E21}}{,}\left[{0}{,}{0}{,}{-}{1}{,}{1}\right]{=}{\mathrm{E43}}{,}\left[{1}{,}{0}{,}{1}{,}{0}\right]{=}{\mathrm{E17}}{,}\left[{1}{,}{0}{,}{0}{,}{1}\right]{=}{\mathrm{E18}}{,}\left[{1}{,}{0}{,}{-}{1}{,}{0}\right]{=}{\mathrm{E13}}{,}\left[{0}{,}{1}{,}{0}{,}{1}\right]{=}{\mathrm{E28}}{,}\left[{1}{,}{-}{1}{,}{0}{,}{0}\right]{=}{\mathrm{E12}}{,}\left[{0}{,}{0}{,}{1}{,}{-}{1}\right]{=}{\mathrm{E34}}{,}\left[{0}{,}{0}{,}{1}{,}{1}\right]{=}{\mathrm{E38}}\right]\right)$ (2.3)

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

 so44 > PR_so44a := PositiveRoots(RSD_so44, <1, 2, 3, 4>);
 ${\mathrm{PR_so44a}}{:=}\left[\left[\begin{array}{r}{-}{1}\\ {0}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {-}{1}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {-}{1}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {0}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {-}{1}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {1}\\ {1}\end{array}\right]\right]$ (2.4)

We calculate the positive roots for $\mathrm{so}\left(3,3\right)$using method [ii].  We see that there are different possibilities for the choice of positive roots.

 so44 > PR_so33b := PositiveRoots(RSD_so44, [<1, 0, 0, 0>, <0, 1, 0, 0>, <0, 0, 1, 0>, <0, 0, 0, 1>]);
 ${\mathrm{PR_so33b}}{:=}\left[\left[\begin{array}{r}{1}\\ {0}\\ {0}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {0}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {-}{1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {-}{1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {-}{1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {1}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {1}\\ {1}\end{array}\right]\right]$ (2.5)

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

 so44 > PositiveRoots(RSD_so44, <4, 3, 2, 1>);
 $\left[\left[\begin{array}{r}{1}\\ {0}\\ {0}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {0}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {-}{1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {-}{1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {-}{1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {1}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {1}\\ {1}\end{array}\right]\right]$ (2.6)

Example 2.

To illustrate the second calling sequence we use the command LieAlgebraRoots to extract the roots from the table giving the root space decomposition for $\mathrm{so}\left(4,4\right).$

 so44 > Delta_so44 := LieAlgebraRoots(RSD_so44);
 ${\mathrm{Delta_so44}}{:=}\left[\left[\begin{array}{r}{1}\\ {0}\\ {0}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {0}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {-}{1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {-}{1}\\ {-}{1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {0}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {-}{1}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {-}{1}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {-}{1}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {0}\\ {0}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {-}{1}\\ {0}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {0}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {-}{1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {0}\\ {-}{1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {-}{1}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {-}{1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {-}{1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {1}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {1}\\ {1}\end{array}\right]\right]$ (2.7)
 so44 > PositiveRoots(Delta_so44, <4, 3, 2, 1>);
 $\left[\left[\begin{array}{r}{1}\\ {0}\\ {0}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {0}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {-}{1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {-}{1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {-}{1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {1}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {1}\\ {1}\end{array}\right]\right]$ (2.8)

Example 3.

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

 so44 > PR_so44a;
 $\left[\left[\begin{array}{r}{-}{1}\\ {0}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {-}{1}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {-}{1}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {0}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {-}{1}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {1}\\ {1}\end{array}\right]\right]$ (2.9)

Here are the simple roots for the first set of positive roots for (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_so44a := [<0, -1, 1, 0>, <1, 1, 0, 0>, <0, 0,-1, 1>, <-1, 1, 0 ,0>];
 ${\mathrm{SR_so44a}}{:=}\left[\left[\begin{array}{r}{0}\\ {-}{1}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {-}{1}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {1}\\ {0}\\ {0}\end{array}\right]\right]$ (2.10)

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

 so44 > Ca1 := GetComponents(PR_so44a,SR_so44a);
 ${\mathrm{Ca1}}{:=}\left[\left[{1}{,}{0}{,}{0}{,}{1}\right]{,}\left[{0}{,}{1}{,}{0}{,}{0}\right]{,}\left[{1}{,}{0}{,}{0}{,}{0}\right]{,}\left[{1}{,}{0}{,}{1}{,}{0}\right]{,}\left[{1}{,}{0}{,}{1}{,}{1}\right]{,}\left[{1}{,}{1}{,}{0}{,}{1}\right]{,}\left[{0}{,}{0}{,}{0}{,}{1}\right]{,}\left[{0}{,}{0}{,}{1}{,}{0}\right]{,}\left[{1}{,}{1}{,}{0}{,}{0}\right]{,}\left[{1}{,}{1}{,}{1}{,}{0}\right]{,}\left[{1}{,}{1}{,}{1}{,}{1}\right]{,}\left[{2}{,}{1}{,}{1}{,}{1}\right]\right]$ (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_so44a := CartanMatrix(SR_so44a, RSD_so44);
 ${\mathrm{CM_so44a}}{:=}\left[\begin{array}{rrrr}{2}& {-}{1}& {-}{1}& {-}{1}\\ {-}{1}& {2}& {0}& {0}\\ {-}{1}& {0}& {2}& {0}\\ {-}{1}& {0}& {0}& {2}\end{array}\right]$ (2.12)

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

 so44 > Ca2 := PositiveRoots(CM_so44a);
 ${\mathrm{Ca2}}{:=}\left[\left[\begin{array}{r}{1}\\ {0}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {1}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {1}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{2}\\ {1}\\ {1}\\ {1}\end{array}\right]\right]$ (2.13)

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

 so44 > is(convert(Ca1, set) = convert(map(convert, Ca2, list), set));
 ${\mathrm{true}}$ (2.14)

Example 4.

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

 so44 > infolevel[PositiveRoots]:= 2;
 ${{\mathrm{infolevel}}}_{{\mathrm{DifferentialGeometry:-LieAlgebras:-PositiveRoots}}}{:=}{2}$ (2.15)
 so44 > PositiveRoots(CM_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]]
 $\left[\left[\begin{array}{r}{1}\\ {0}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {1}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {1}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{2}\\ {1}\\ {1}\\ {1}\end{array}\right]\right]$ (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;
 $\left[\left[\begin{array}{r}{0}\\ {-}{1}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {-}{1}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {1}\\ {0}\\ {0}\end{array}\right]\right]{,}\left[\begin{array}{rrrr}{2}& {-}{1}& {-}{1}& {-}{1}\\ {-}{1}& {2}& {0}& {0}\\ {-}{1}& {0}& {2}& {0}\\ {-}{1}& {0}& {0}& {2}\end{array}\right]$ (2.17)
 so44 > CartanMatrixToStandardForm(CM_so44a);
 $\left[\begin{array}{rrrr}{2}& {-}{1}& {0}& {0}\\ {-}{1}& {2}& {-}{1}& {-}{1}\\ {0}& {-}{1}& {2}& {0}\\ {0}& {-}{1}& {0}& {2}\end{array}\right]{,}\left[\begin{array}{rrrr}{0}& {1}& {0}& {0}\\ {1}& {0}& {0}& {0}\\ {0}& {0}& {1}& {0}\\ {0}& {0}& {0}& {1}\end{array}\right]{,}{"D"}$ (2.18)

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

 so44 > newCm, newSR, RootType := CartanMatrixToStandardForm(CM_so44a, SR_so44a);
 ${\mathrm{newCm}}{,}{\mathrm{newSR}}{,}{\mathrm{RootType}}{:=}\left[\begin{array}{rrrr}{2}& {-}{1}& {0}& {0}\\ {-}{1}& {2}& {-}{1}& {-}{1}\\ {0}& {-}{1}& {2}& {0}\\ {0}& {-}{1}& {0}& {2}\end{array}\right]{,}\left[\left[\begin{array}{r}{1}\\ {1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {-}{1}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {-}{1}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {1}\\ {0}\\ {0}\end{array}\right]\right]{,}{"D"}$ (2.19)

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

 so44 > newC := GetComponents(PR_so44a, newSR);
 ${\mathrm{newC}}{:=}\left[\left[{0}{,}{1}{,}{0}{,}{1}\right]{,}\left[{1}{,}{0}{,}{0}{,}{0}\right]{,}\left[{0}{,}{1}{,}{0}{,}{0}\right]{,}\left[{0}{,}{1}{,}{1}{,}{0}\right]{,}\left[{0}{,}{1}{,}{1}{,}{1}\right]{,}\left[{1}{,}{1}{,}{0}{,}{1}\right]{,}\left[{0}{,}{0}{,}{0}{,}{1}\right]{,}\left[{0}{,}{0}{,}{1}{,}{0}\right]{,}\left[{1}{,}{1}{,}{0}{,}{0}\right]{,}\left[{1}{,}{1}{,}{1}{,}{0}\right]{,}\left[{1}{,}{1}{,}{1}{,}{1}\right]{,}\left[{1}{,}{2}{,}{1}{,}{1}\right]\right]$ (2.20)

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

 so61 > newC1 := PositiveRoots("D", 4);
 ${\mathrm{newC1}}{:=}\left[\left[\begin{array}{r}{1}\\ {0}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {1}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {1}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {2}\\ {1}\\ {1}\end{array}\right]\right]$ (2.21)

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

 so44 > is(convert(newC, set) = convert(map(convert, newC1,list),set));
 ${\mathrm{true}}$ (2.22)

Example 5.

We calculate a set of positive roots for

 so61 > RemoveFrame(so44);
 ${0}$ (2.23)
 > LD := SimpleLieAlgebraData("so(6, 1)", so61, labelformat = "gl", labels = ['E', 'omega']):
 > DGsetup(LD);
 ${\mathrm{Lie algebra: so61}}$ (2.24)

Find a Cartan subalgebra and the corresponding root space decomposition.

 so61 > CSA_so61 := CartanSubalgebra(so61);
 ${\mathrm{CSA_so61}}{:=}\left[{\mathrm{E11}}{,}{\mathrm{E34}}{,}{\mathrm{E56}}\right]$ (2.25)
 so61 > RSD_so61 := RootSpaceDecomposition(CSA_so61);
 ${\mathrm{RSD_so61}}{:=}{\mathrm{table}}\left(\left[\left[{0}{,}{-}{I}{,}{0}\right]{=}{\mathrm{E37}}{+}{I}{}{\mathrm{E47}}{,}\left[{1}{,}{0}{,}{0}\right]{=}{\mathrm{E17}}{,}\left[{1}{,}{-}{I}{,}{0}\right]{=}{\mathrm{E13}}{+}{I}{}{\mathrm{E14}}{,}\left[{0}{,}{I}{,}{I}\right]{=}{\mathrm{E35}}{-}{I}{}{\mathrm{E36}}{-}{I}{}{\mathrm{E45}}{-}{\mathrm{E46}}{,}\left[{0}{,}{-}{I}{,}{-}{I}\right]{=}{\mathrm{E35}}{+}{I}{}{\mathrm{E36}}{+}{I}{}{\mathrm{E45}}{-}{\mathrm{E46}}{,}\left[{-}{1}{,}{-}{I}{,}{0}\right]{=}{\mathrm{E23}}{+}{I}{}{\mathrm{E24}}{,}\left[{-}{1}{,}{0}{,}{I}\right]{=}{\mathrm{E25}}{-}{I}{}{\mathrm{E26}}{,}\left[{0}{,}{0}{,}{-}{I}\right]{=}{\mathrm{E57}}{+}{I}{}{\mathrm{E67}}{,}\left[{-}{1}{,}{0}{,}{-}{I}\right]{=}{\mathrm{E25}}{+}{I}{}{\mathrm{E26}}{,}\left[{-}{1}{,}{0}{,}{0}\right]{=}{\mathrm{E27}}{,}\left[{0}{,}{I}{,}{0}\right]{=}{\mathrm{E37}}{-}{I}{}{\mathrm{E47}}{,}\left[{0}{,}{I}{,}{-}{I}\right]{=}{\mathrm{E35}}{+}{I}{}{\mathrm{E36}}{-}{I}{}{\mathrm{E45}}{+}{\mathrm{E46}}{,}\left[{1}{,}{I}{,}{0}\right]{=}{\mathrm{E13}}{-}{I}{}{\mathrm{E14}}{,}\left[{-}{1}{,}{I}{,}{0}\right]{=}{\mathrm{E23}}{-}{I}{}{\mathrm{E24}}{,}\left[{0}{,}{-}{I}{,}{I}\right]{=}{\mathrm{E35}}{-}{I}{}{\mathrm{E36}}{+}{I}{}{\mathrm{E45}}{+}{\mathrm{E46}}{,}\left[{0}{,}{0}{,}{I}\right]{=}{\mathrm{E57}}{-}{I}{}{\mathrm{E67}}{,}\left[{1}{,}{0}{,}{I}\right]{=}{\mathrm{E15}}{-}{I}{}{\mathrm{E16}}{,}\left[{1}{,}{0}{,}{-}{I}\right]{=}{\mathrm{E15}}{+}{I}{}{\mathrm{E16}}\right]\right)$ (2.26)

The indices of this table give the roots for $\mathrm{so}\left(6,1\right).$ Here are the roots, now as vectors.

 so61 > Delta_so61 := LieAlgebraRoots(RSD_so61);
 ${\mathrm{Delta_so61}}{:=}\left[\left[\begin{array}{c}{0}\\ {-}{I}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{1}\\ {-}{I}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {I}\\ {I}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {-}{I}\\ {-}{I}\end{array}\right]{,}\left[\begin{array}{c}{-}{1}\\ {-}{I}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{-}{1}\\ {0}\\ {I}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {0}\\ {-}{I}\end{array}\right]{,}\left[\begin{array}{c}{-}{1}\\ {0}\\ {-}{I}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {I}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {I}\\ {-}{I}\end{array}\right]{,}\left[\begin{array}{c}{1}\\ {I}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{-}{1}\\ {I}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {-}{I}\\ {I}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {0}\\ {I}\end{array}\right]{,}\left[\begin{array}{c}{1}\\ {0}\\ {I}\end{array}\right]{,}\left[\begin{array}{c}{1}\\ {0}\\ {-}{I}\end{array}\right]\right]$ (2.27)

Since the last two components of the roots are complex we must use a basis with complex components to calculate the positive roots.

 so61 > B := [<1,0,0>, <0, I, 0>, <0, 0, I>];
 ${B}{:=}\left[\left[\begin{array}{r}{1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {I}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {0}\\ {I}\end{array}\right]\right]$ (2.28)
 so61 > PR_so61 := PositiveRoots(Delta_so61, B);
 ${\mathrm{PR_so61}}{:=}\left[\left[\begin{array}{r}{1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{1}\\ {-}{I}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {I}\\ {I}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {I}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {I}\\ {-}{I}\end{array}\right]{,}\left[\begin{array}{c}{1}\\ {I}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {0}\\ {I}\end{array}\right]{,}\left[\begin{array}{c}{1}\\ {0}\\ {I}\end{array}\right]{,}\left[\begin{array}{c}{1}\\ {0}\\ {-}{I}\end{array}\right]\right]$ (2.29)

Again, let's find the simple roots and then check that the positive roots can be reconstructed from the simple roots via the Cartan matrix.

 so61 > SR_so61 := SimpleRoots(PR_so61);
 ${\mathrm{SR_so61}}{:=}\left[\left[\begin{array}{c}{1}\\ {-}{I}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {I}\\ {-}{I}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {0}\\ {I}\end{array}\right]\right]$ (2.30)
 so61 > CM_so61 := CartanMatrix(SR_so61, RSD_so61);
 ${\mathrm{CM_so61}}{:=}\left[\begin{array}{rrr}{2}& {-}{1}& {0}\\ {-}{1}& {2}& {-}{2}\\ {0}& {-}{1}& {2}\end{array}\right]$ (2.31)

We use the PositiveRoots command to generate the coefficients of the positive roots.

 so61 > Pr_so61b := PositiveRoots(CM_so61, SR_so61);
 The roots at level 1 are:   [[1, 0, 0], [0, 1, 0], [0, 0, 1]] The roots at level 2 are:   [[1, 1, 0], [0, 1, 1]] The roots at level 3 are:   [[1, 1, 1], [0, 1, 2]] The roots at level 4 are:   [[1, 1, 2]] The roots at level 5 are:   [[1, 2, 2]]
 ${\mathrm{Pr_so61b}}{:=}\left[\left[\begin{array}{c}{1}\\ {-}{I}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {I}\\ {-}{I}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {0}\\ {I}\end{array}\right]{,}\left[\begin{array}{c}{1}\\ {0}\\ {-}{I}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {I}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {I}\\ {I}\end{array}\right]{,}\left[\begin{array}{c}{1}\\ {0}\\ {I}\end{array}\right]{,}\left[\begin{array}{c}{1}\\ {I}\\ {0}\end{array}\right]\right]$ (2.32)

Apart from their order, the two sets of vectors (2.29) and (2.32) coincide.

Example 6.

The positive roots for the exceptional Lie algebras can be generated by the 4th calling sequence.

 > CM_F4 := CartanMatrix("F", 4);
 ${\mathrm{CM_F4}}{:=}\left[\begin{array}{rrrr}{2}& {-}{1}& {0}& {0}\\ {-}{1}& {2}& {-}{2}& {0}\\ {0}& {-}{1}& {2}& {-}{1}\\ {0}& {0}& {-}{1}& {2}\end{array}\right]$ (2.33)
 > PR_F4 := PositiveRoots(CM_F4);
 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], [0, 1, 1, 0], [0, 0, 1, 1]] The roots at level 3 are:   [[1, 1, 1, 0], [0, 1, 2, 0], [0, 1, 1, 1]] The roots at level 4 are:   [[1, 1, 2, 0], [1, 1, 1, 1], [0, 1, 2, 1]] The roots at level 5 are:   [[1, 2, 2, 0], [1, 1, 2, 1], [0, 1, 2, 2]] The roots at level 6 are:   [[1, 2, 2, 1], [1, 1, 2, 2]] The roots at level 7 are:   [[1, 2, 3, 1], [1, 2, 2, 2]] The roots at level 8 are:   [[1, 2, 3, 2]] The roots at level 9 are:   [[1, 2, 4, 2]] The roots at level 10 are:   [[1, 3, 4, 2]] The roots at level 11 are:   [[2, 3, 4, 2]]
 ${\mathrm{PR_F4}}{:=}\left[\left[\begin{array}{r}{1}\\ {0}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {0}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {0}\\ {1}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {2}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {1}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {2}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {1}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {2}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {2}\\ {2}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {2}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {2}\\ {2}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {2}\\ {2}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {2}\\ {2}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {2}\\ {3}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {2}\\ {2}\\ {2}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {2}\\ {3}\\ {2}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {2}\\ {4}\\ {2}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {3}\\ {4}\\ {2}\end{array}\right]{,}\left[\begin{array}{r}{2}\\ {3}\\ {4}\\ {2}\end{array}\right]\right]$ (2.34)
 > nops(PR_F4);
 ${24}$ (2.35)

 See Also