provide a table of properties for any real simple Lie algebra - Maple Programming Help

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

LieAlgebras[SimpleLieAlgebraProperties] - provide a table of properties for any real simple Lie algebra

Calling Sequences

SimpleLieAlgebraProperties(alg)

Parameters

alg     - a name or string, the name of a real simple Lie algebra created using SimpleLieAlgebraData

Description

 • The DifferentialGeometry package provides two different approaches for studying simple and semi-simple Lie algebras. If a semi-simple Lie algebra arises, for example, as the symmetries of some geometric objects (metric, connections, differential equations) then there is an extensive set of commands for analyzing the structure of this algebra. These commands include CartanSubalgebra,  CartanMatrix, CartanMatrixToStandardForm, Killing, PositiveRoots, SimpleRoots, RootSpaceDecomposition, Cartan Decomposition. If one wishes to work with a specific real simple Lie algebra, then the structure equations are available with the command SimpleLieAlgebraData.  Many structural properties of the simple Lie algebras has been tabulated and are available using the procedure SimpleLieAlgebraProperties.
 • The procedure SimpleLieAlgebraProperties returns a table whose indices specify the properties that are available for the given algebra. Let be a simple Lie algebra of dimension  and rank with Cartan subalgebra h, root space decomposition, and restricted root space decomposition
 • The following properties are computed.

 "CartanDecomposition" : 2 lists of vectors k and p; where t is a subalgebra, p a subspace, [t, p] ⊆ p and [p, p] ⊆ t. The Killing form is negative-definite on t and positive-definite on p. ) "CartanInvolution" : a transformation Θ : g → g withand such that the symmetry bilinear form is positive-definite.) CartanInvolution "CartanMatrix" : an matrix, the standard Cartan matrix for the root type of the Lie algebra. CartanMatrix $\mathbf{"CartanSubalgebra}$" : a list of vectors. A Cartan subalgebra h is a nilpotent subalgebra whose normalizer in g is itself, that is,  . The Cartan subalgebras for the classic matrix algebras are diagonal matrices. A basis is chosen such that the roots consist of integers or pure imaginary numbers (with integer coefficients). CartanSubalgebra, "CartanSubalgebraDecomposition" : 2 lists of vectors spanning the Cartan subalgebra h. The Killing form is negative-definite on the first list and positive-definite on the second list. $\mathrm{♣}$ "IwasawaDecomposition" : 3 lists of vectors such that , where k is a compact semi-simple subalgebra; $\mathrm{𝔞}$ is abelian, and n nilpotent. The Killing form is positive-definite on $\mathrm{𝔞}.\mathrm{♣}$ "KillingMatrix" : symmetric, non-degenerate matrix. Killing "NegativeRootSpaces" : a table, the indices are the roots α ∈${\mathrm{Δ}}^{-}$ (as lists) and the entries are vectors defining the root spaces . RootSpaceDecomposition "NegativeRoots" : a list of column vectors defining the negative roots A root is negative if its first non-zero component is or , where $k$ is a negative integer. "PositiveRootSpaces" : a table, the indices are the roots α ∈${\mathrm{Δ}}^{+}$ (as lists) and the entries are vectors defining the root spaces . RootSpaceDecomposition "PositiveRoots" : a list of column vectors defining the positive roots ${\mathrm{Δ}}^{+}.$ A root is positive if its first non-zero component is or , where $k$ is a positive integer.  PositiveRoots "RestrictedPositiveRoots" : a table, the indices are the restricted positive roots α ∈${\mathrm{Δ}}_{r}^{+}$ (as lists) and the entries are lists of vectors defining the root spaces .%$♣$ "RestrictedRootSpaceDecomposition" : a table, the indices are the roots α ∈${\mathrm{Δ}}_{r}$ (as lists) and the entries are lists of vectors defining the restricted root spaces .%$♣$ "RestrictedSimpleRoots" : a list of column vectors, giving the restricted simple roots ${\mathrm{Δ}}_{r}^{0}.\mathrm{♦}♣$ "RootSpaceDecomposition" : a table, the indices are the roots α ∈Δ (as lists) and the entries are vectors defining the root spaces . RootSpaceDecomposition "SimpleRootSpaces" : a table, the indices are the simple roots α ∈${\mathrm{Δ}}^{0}$(as lists) and the entries are vectors defining the root spaces . "SimpleRoots" : a list of column vectors ${\mathrm{Δ}}^{0}$ defining the simple roots. Every positive root is a linear combination of the simple roots with positive integer coefficients. SimpleRoots Not computed for compact Lie algebras, that is, if the Killing form is negative-definite. % : Not computed for split-real forms, that is, if the root space decomposition is real.

 • For split-real forms the standard Borel sub-algebra (see ParabolicSubalgebra) is also given.
 • Many of these properties of simple and semi-simple Lie algebras can be checked with the Query command.

Examples

 > with(DifferentialGeometry): with(LieAlgebras):

Example 1

We obtain the structural properties for the Lie algebra $\mathrm{sl}\left(4\right)$. This is the split real form for Lie algebras of root type A. First, we use the command SimpleLieAlgebraData to initialize this Lie algebra.

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

We use the command SimpleLieAlgebraProperties to obtain the properties of the Lie algebra $\mathrm{sl}\left(4\right)$.

 > Properties := SimpleLieAlgebraProperties(sl4):



Here are the indices for the table Properties.

 sl4 > Ind := indices(Properties);
 ${\mathrm{Ind}}{:=}\left[{"CartanInvolution"}\right]{,}\left[{"CartanDecomposition"}\right]{,}\left[{"SimpleRoots"}\right]{,}\left[{"NegativeRootSpaces"}\right]{,}\left[{"CartanSubalgebra"}\right]{,}\left[{"BorelSubalgebra"}\right]{,}\left[{"NegativeRoots"}\right]{,}\left[{"PositiveRootSpaces"}\right]{,}\left[{"CartanMatrix"}\right]{,}\left[{"RootSpaceDecomposition"}\right]{,}\left[{"PositiveRoots"}\right]{,}\left[{"SimpleRootSpaces"}\right]{,}\left[{"KillingForm"}\right]$ (2.2)

It is convenient to use the map and op commands to display the indices as a list of strings.

 sl3 > Ind := sort(map(op, [indices(Properties)]));
 ${\mathrm{Ind}}{:=}\left[{"BorelSubalgebra"}{,}{"CartanDecomposition"}{,}{"CartanInvolution"}{,}{"CartanMatrix"}{,}{"CartanSubalgebra"}{,}{"KillingForm"}{,}{"NegativeRootSpaces"}{,}{"NegativeRoots"}{,}{"PositiveRootSpaces"}{,}{"PositiveRoots"}{,}{"RootSpaceDecomposition"}{,}{"SimpleRootSpaces"}{,}{"SimpleRoots"}\right]$ (2.3)

Here are some of the individual properties for the Lie algebra $\mathrm{sl}\left(3\right)$.

 sl3 > CSA:= Properties["CartanSubalgebra"];
 ${\mathrm{CSA}}{:=}\left[{\mathrm{E11}}{,}{\mathrm{E22}}{,}{\mathrm{E33}}\right]$ (2.4)
 sl3 > RT := eval(Properties["RootSpaceDecomposition"]);
 ${\mathrm{RT}}{:=}{\mathrm{table}}\left(\left[\left[{2}{,}{1}{,}{1}\right]{=}{\mathrm{E14}}{,}\left[{1}{,}{0}{,}{-}{1}\right]{=}{\mathrm{E13}}{,}\left[{-}{1}{,}{0}{,}{1}\right]{=}{\mathrm{E31}}{,}\left[{0}{,}{1}{,}{-}{1}\right]{=}{\mathrm{E23}}{,}\left[{1}{,}{1}{,}{2}\right]{=}{\mathrm{E34}}{,}\left[{1}{,}{-}{1}{,}{0}\right]{=}{\mathrm{E12}}{,}\left[{-}{1}{,}{-}{2}{,}{-}{1}\right]{=}{\mathrm{E42}}{,}\left[{-}{1}{,}{-}{1}{,}{-}{2}\right]{=}{\mathrm{E43}}{,}\left[{1}{,}{2}{,}{1}\right]{=}{\mathrm{E24}}{,}\left[{-}{1}{,}{1}{,}{0}\right]{=}{\mathrm{E21}}{,}\left[{0}{,}{-}{1}{,}{1}\right]{=}{\mathrm{E32}}{,}\left[{-}{2}{,}{-}{1}{,}{-}{1}\right]{=}{\mathrm{E41}}\right]\right)$ (2.5)

The command LieAlgebraRoots lists the roots associated to this root space decomposition. Note that the roots are all real.

 sl4 > LieAlgebraRoots(RT);
 $\left[\left[\begin{array}{r}{2}\\ {1}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {2}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {-}{1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {-}{2}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {-}{1}\\ {-}{2}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {2}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {-}{1}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{-}{2}\\ {-}{1}\\ {-}{1}\end{array}\right]\right]$ (2.6)

Note that the first non-zero component of each positive root is positive and that the first non-zero component of each negative root is negative.

 sl4 > PR := Properties["PositiveRoots"];
 ${\mathrm{PR}}{:=}\left[\left[\begin{array}{r}{1}\\ {-}{1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {2}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {0}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {2}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{2}\\ {1}\\ {1}\end{array}\right]\right]$ (2.7)
 sl4 > NR := Properties["NegativeRoots"];
 ${\mathrm{NR}}{:=}\left[\left[\begin{array}{r}{-}{1}\\ {1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {-}{1}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {-}{1}\\ {-}{2}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {0}\\ {1}\end{array}\right]{,}\left[\begin{array}{r}{-}{1}\\ {-}{2}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{-}{2}\\ {-}{1}\\ {-}{1}\end{array}\right]\right]$ (2.8)

It is easy to check that positive roots are positive linear combinations of the simple roots.

 sl4 > ST:= Properties["SimpleRoots"];
 ${\mathrm{ST}}{:=}\left[\left[\begin{array}{r}{1}\\ {-}{1}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {1}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\\ {2}\end{array}\right]\right]$ (2.9)
 sl4 > CD := Properties["CartanDecomposition"];
 ${\mathrm{CD}}{:=}\left[{\mathrm{E12}}{-}{\mathrm{E21}}{,}{\mathrm{E23}}{-}{\mathrm{E32}}{,}{\mathrm{E34}}{-}{\mathrm{E43}}{,}{\mathrm{E13}}{-}{\mathrm{E31}}{,}{\mathrm{E24}}{-}{\mathrm{E42}}{,}{\mathrm{E14}}{-}{\mathrm{E41}}\right]{,}\left[{\mathrm{E11}}{,}{\mathrm{E22}}{,}{\mathrm{E33}}{,}{\mathrm{E12}}{+}{\mathrm{E21}}{,}{\mathrm{E23}}{+}{\mathrm{E32}}{,}{\mathrm{E34}}{+}{\mathrm{E43}}{,}{\mathrm{E13}}{+}{\mathrm{E31}}{,}{\mathrm{E24}}{+}{\mathrm{E42}}{,}{\mathrm{E14}}{+}{\mathrm{E41}}\right]$ (2.10)

We check that the Killing form is positive-definite on the first list of vectors CD[1] and negative-definitive on the second list of vectors.

 sl4 > Killing(CD[1]);
 $\left[\begin{array}{rrrrrr}{-}{16}& {0}& {0}& {0}& {0}& {0}\\ {0}& {-}{16}& {0}& {0}& {0}& {0}\\ {0}& {0}& {-}{16}& {0}& {0}& {0}\\ {0}& {0}& {0}& {-}{16}& {0}& {0}\\ {0}& {0}& {0}& {0}& {-}{16}& {0}\\ {0}& {0}& {0}& {0}& {0}& {-}{16}\end{array}\right]$ (2.11)
 sl4 > Killing(CD[2]);
 $\left[\begin{array}{rrrrrrrrr}{16}& {8}& {8}& {0}& {0}& {0}& {0}& {0}& {0}\\ {8}& {16}& {8}& {0}& {0}& {0}& {0}& {0}& {0}\\ {8}& {8}& {16}& {0}& {0}& {0}& {0}& {0}& {0}\\ {0}& {0}& {0}& {16}& {0}& {0}& {0}& {0}& {0}\\ {0}& {0}& {0}& {0}& {16}& {0}& {0}& {0}& {0}\\ {0}& {0}& {0}& {0}& {0}& {16}& {0}& {0}& {0}\\ {0}& {0}& {0}& {0}& {0}& {0}& {16}& {0}& {0}\\ {0}& {0}& {0}& {0}& {0}& {0}& {0}& {16}& {0}\\ {0}& {0}& {0}& {0}& {0}& {0}& {0}& {0}& {16}\end{array}\right]$ (2.12)

Example 2

We obtain the structural properties for the Lie algebra $\mathrm{su}\left(4\right)$. This is the compact form for Lie algebras of root type A. First, we use the command SimpleLieAlgebraData to initialize this Lie algebra.

 > LD := SimpleLieAlgebraData("su(4)", su4, labelformat = "gl", labels = ['U', 'theta']):
 > DGsetup(LD);
 ${\mathrm{Lie algebra: su4}}$ (2.13)

We use the command SimpleLieAlgebraProperties to obtain the properties of the Lie algebra $\mathrm{su}\left(4\right)$.

 su4 > Properties := SimpleLieAlgebraProperties(su4):



It is convenient to use the map and op commands to display the indices as a list of strings.

 su4 > Ind := sort(map(op, [indices(Properties)]));
 ${\mathrm{Ind}}{:=}\left[{"CartanMatrix"}{,}{"CartanSubalgebra"}{,}{"CartanSubalgebraDecomposition"}{,}{"NegativeRootSpaces"}{,}{"NegativeRoots"}{,}{"PositiveRootSpaces"}{,}{"PositiveRoots"}{,}{"RootSpaceDecomposition"}{,}{"SimpleRootSpaces"}{,}{"SimpleRoots"}\right]$ (2.14)

Here are some of the individual properties for the Lie algebra $\mathrm{su}\left(4\right)$.

 su4 > CSA:= Properties["CartanSubalgebra"];
 ${\mathrm{CSA}}{:=}\left[{\mathrm{Ui11}}{,}{\mathrm{Ui22}}{,}{\mathrm{Ui33}}\right]$ (2.15)
 su4 > RT := eval(Properties["RootSpaceDecomposition"]);
 ${\mathrm{RT}}{:=}{\mathrm{table}}\left(\left[\left[{-}{I}{,}{0}{,}{I}\right]{=}{\mathrm{U13}}{+}{I}{}{\mathrm{Ui13}}{,}\left[{I}{,}{2}{}{I}{,}{I}\right]{=}{\mathrm{U24}}{-}{I}{}{\mathrm{Ui24}}{,}\left[{0}{,}{-}{I}{,}{I}\right]{=}{\mathrm{U23}}{+}{I}{}{\mathrm{Ui23}}{,}\left[{0}{,}{I}{,}{-}{I}\right]{=}{\mathrm{U23}}{-}{I}{}{\mathrm{Ui23}}{,}\left[{-}{2}{}{I}{,}{-}{I}{,}{-}{I}\right]{=}{\mathrm{U14}}{+}{I}{}{\mathrm{Ui14}}{,}\left[{I}{,}{-}{I}{,}{0}\right]{=}{\mathrm{U12}}{-}{I}{}{\mathrm{Ui12}}{,}\left[{2}{}{I}{,}{I}{,}{I}\right]{=}{\mathrm{U14}}{-}{I}{}{\mathrm{Ui14}}{,}\left[{I}{,}{I}{,}{2}{}{I}\right]{=}{\mathrm{U34}}{-}{I}{}{\mathrm{Ui34}}{,}\left[{-}{I}{,}{-}{I}{,}{-}{2}{}{I}\right]{=}{\mathrm{U34}}{+}{I}{}{\mathrm{Ui34}}{,}\left[{-}{I}{,}{-}{2}{}{I}{,}{-}{I}\right]{=}{\mathrm{U24}}{+}{I}{}{\mathrm{Ui24}}{,}\left[{-}{I}{,}{I}{,}{0}\right]{=}{\mathrm{U12}}{+}{I}{}{\mathrm{Ui12}}{,}\left[{I}{,}{0}{,}{-}{I}\right]{=}{\mathrm{U13}}{-}{I}{}{\mathrm{Ui13}}\right]\right)$ (2.16)

The roots are all pure imaginary numbers so that this is indeed the compact form.

 su4 > LieAlgebraRoots(RT);
 $\left[\left[\begin{array}{c}{-}{I}\\ {0}\\ {I}\end{array}\right]{,}\left[\begin{array}{c}{I}\\ {2}{}{I}\\ {I}\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}{-}{2}{}{I}\\ {-}{I}\\ {-}{I}\end{array}\right]{,}\left[\begin{array}{c}{I}\\ {-}{I}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{2}{}{I}\\ {I}\\ {I}\end{array}\right]{,}\left[\begin{array}{c}{I}\\ {I}\\ {2}{}{I}\end{array}\right]{,}\left[\begin{array}{c}{-}{I}\\ {-}{I}\\ {-}{2}{}{I}\end{array}\right]{,}\left[\begin{array}{c}{-}{I}\\ {-}{2}{}{I}\\ {-}{I}\end{array}\right]{,}\left[\begin{array}{c}{-}{I}\\ {I}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{I}\\ {0}\\ {-}{I}\end{array}\right]\right]$ (2.17)

The first non-zero coefficient of $I$ in each positive root is positive.

 su4 > PR := Properties["PositiveRoots"];
 ${\mathrm{PR}}{:=}\left[\left[\begin{array}{c}{I}\\ {-}{I}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {I}\\ {-}{I}\end{array}\right]{,}\left[\begin{array}{c}{I}\\ {I}\\ {2}{}{I}\end{array}\right]{,}\left[\begin{array}{c}{I}\\ {0}\\ {-}{I}\end{array}\right]{,}\left[\begin{array}{c}{I}\\ {2}{}{I}\\ {I}\end{array}\right]{,}\left[\begin{array}{c}{2}{}{I}\\ {I}\\ {I}\end{array}\right]\right]$ (2.18)
 su4 > ST:= Properties["SimpleRoots"];
 ${\mathrm{ST}}{:=}\left[\left[\begin{array}{c}{I}\\ {-}{I}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{0}\\ {I}\\ {-}{I}\end{array}\right]{,}\left[\begin{array}{c}{I}\\ {I}\\ {2}{}{I}\end{array}\right]\right]$ (2.19)

Example 3

We obtain the structural properties for the Lie algebra $\mathrm{su}\left(2,2\right)$. First, we use the command SimpleLieAlgebraData to initialize this Lie algebra.

 > LD := SimpleLieAlgebraData("su(2, 2)", su22, labelformat = "gl", labels = ['V', 'sigma']):
 > DGsetup(LD);
 ${\mathrm{Lie algebra: su22}}$ (2.20)

We use the command SimpleLieAlgebraProperties to obtain the properties of the Lie algebra $\mathrm{su}\left(2,2\right)$.

 su22 > Properties := SimpleLieAlgebraProperties(su22):



It is convenient to use the map and op commands to display the indices as a list of strings.

 su22 > Ind := sort(map(op, [indices(Properties)]));
 ${\mathrm{Ind}}{:=}\left[{"CartanDecomposition"}{,}{"CartanInvolution"}{,}{"CartanMatrix"}{,}{"CartanSubalgebra"}{,}{"CartanSubalgebraDecomposition"}{,}{"IwasawaDecomposition"}{,}{"NegativeRootSpaces"}{,}{"NegativeRoots"}{,}{"PositiveRootSpaces"}{,}{"PositiveRoots"}{,}{"RestrictedPositiveRoots"}{,}{"RestrictedRootSpaceDecomposition"}{,}{"RestrictedSimpleRoots"}{,}{"RootSpaceDecomposition"}{,}{"SimpleRootSpaces"}{,}{"SimpleRoots"}\right]$ (2.21)

Here are some of the individual properties for the Lie algebra .

 su22 > Properties["CartanSubalgebra"];
 $\left[{\mathrm{V11}}{,}{\mathrm{V22}}{,}{\mathrm{Vi11}}\right]$ (2.22)
 su22 > eval(Properties["RootSpaceDecomposition"]);
 ${\mathrm{table}}\left(\left[\left[{1}{,}{-}{1}{,}{-}{2}{}{I}\right]{=}{\mathrm{V12}}{-}{I}{}{\mathrm{Vi12}}{,}\left[{0}{,}{2}{,}{0}\right]{=}{\mathrm{Vi24}}{,}\left[{1}{,}{1}{,}{-}{2}{}{I}\right]{=}{\mathrm{V14}}{+}{I}{}{\mathrm{Vi14}}{,}\left[{1}{,}{1}{,}{2}{}{I}\right]{=}{\mathrm{V14}}{-}{I}{}{\mathrm{Vi14}}{,}\left[{-}{1}{,}{1}{,}{2}{}{I}\right]{=}{\mathrm{V21}}{-}{I}{}{\mathrm{Vi21}}{,}\left[{-}{1}{,}{-}{1}{,}{-}{2}{}{I}\right]{=}{\mathrm{V32}}{+}{I}{}{\mathrm{Vi32}}{,}\left[{-}{1}{,}{-}{1}{,}{2}{}{I}\right]{=}{\mathrm{V32}}{-}{I}{}{\mathrm{Vi32}}{,}\left[{-}{1}{,}{1}{,}{-}{2}{}{I}\right]{=}{\mathrm{V21}}{+}{I}{}{\mathrm{Vi21}}{,}\left[{0}{,}{-}{2}{,}{0}\right]{=}{\mathrm{Vi42}}{,}\left[{1}{,}{-}{1}{,}{2}{}{I}\right]{=}{\mathrm{V12}}{+}{I}{}{\mathrm{Vi12}}{,}\left[{2}{,}{0}{,}{0}\right]{=}{\mathrm{Vi13}}{,}\left[{-}{2}{,}{0}{,}{0}\right]{=}{\mathrm{Vi31}}\right]\right)$ (2.23)

Note that first two components of the roots are real and the third component is pure imaginary.

 su22 > Properties["PositiveRoots"];
 $\left[\left[\begin{array}{c}{1}\\ {-}{1}\\ {2}{}{I}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {2}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{1}\\ {-}{1}\\ {-}{2}{}{I}\end{array}\right]{,}\left[\begin{array}{c}{1}\\ {1}\\ {2}{}{I}\end{array}\right]{,}\left[\begin{array}{c}{1}\\ {1}\\ {-}{2}{}{I}\end{array}\right]{,}\left[\begin{array}{r}{2}\\ {0}\\ {0}\end{array}\right]\right]$ (2.24)
 su22 > Properties["SimpleRoots"];
 $\left[\left[\begin{array}{c}{1}\\ {-}{1}\\ {2}{}{I}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {2}\\ {0}\end{array}\right]{,}\left[\begin{array}{c}{1}\\ {-}{1}\\ {-}{2}{}{I}\end{array}\right]\right]$ (2.25)

Since the root vectors are neither real nor pure imaginary, we have a restricted root space decomposition.

 su22 > RRSD := eval(Properties["RestrictedRootSpaceDecomposition"]);
 ${\mathrm{RRSD}}{:=}{\mathrm{table}}\left(\left[\left[{1}{,}{-}{1}\right]{=}\left[{\mathrm{V12}}{,}{\mathrm{Vi12}}\right]{,}\left[{2}{,}{0}\right]{=}\left[{\mathrm{Vi13}}\right]{,}\left[{0}{,}{-}{2}\right]{=}\left[{\mathrm{Vi42}}\right]{,}\left[{0}{,}{2}\right]{=}\left[{\mathrm{Vi24}}\right]{,}\left[{-}{1}{,}{1}\right]{=}\left[{\mathrm{V21}}{,}{\mathrm{Vi21}}\right]{,}\left[{1}{,}{1}\right]{=}\left[{\mathrm{V14}}{,}{\mathrm{Vi14}}\right]{,}\left[{-}{2}{,}{0}\right]{=}\left[{\mathrm{Vi31}}\right]{,}\left[{-}{1}{,}{-}{1}\right]{=}\left[{\mathrm{V32}}{,}{\mathrm{Vi32}}\right]\right]\right)$ (2.26)

The restricted roots are the projections of the roots which yield real vectors. Since the restricted root [1,1] is the projection of the 2 roots [1, 1, 2I] and [1, 1, -2I], the restricted root space for [1,1] is 2-dimensional. Note also that while the root spaces are defined over C, the restricted root space are real subspaces of $\mathrm{su}\left(2,2\right)$.

 su22 > Properties["RestrictedPositiveRoots"];
 $\left[\left[\begin{array}{r}{1}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{2}\\ {0}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {2}\end{array}\right]{,}\left[\begin{array}{r}{1}\\ {1}\end{array}\right]\right]$ (2.27)
 su22 > Properties["RestrictedSimpleRoots"];
 $\left[\left[\begin{array}{r}{1}\\ {-}{1}\end{array}\right]{,}\left[\begin{array}{r}{0}\\ {2}\end{array}\right]\right]$ (2.28)
 $\left[{\mathrm{Vi11}}\right]{,}\left[{\mathrm{V11}}{,}{\mathrm{V22}}\right]$ (2.29)
 su4 > K, P := Properties["CartanDecomposition"];
 ${K}{,}{P}{:=}\left[{-}{\mathrm{V21}}{+}{\mathrm{V12}}{,}{\mathrm{Vi21}}{+}{\mathrm{Vi12}}{,}{\mathrm{V32}}{+}{\mathrm{V14}}{,}{\mathrm{Vi32}}{+}{\mathrm{Vi14}}{,}{\mathrm{Vi42}}{+}{\mathrm{Vi24}}{,}{\mathrm{Vi31}}{+}{\mathrm{Vi13}}{,}{\mathrm{Vi11}}\right]{,}\left[{\mathrm{V21}}{+}{\mathrm{V12}}{,}{-}{\mathrm{Vi21}}{+}{\mathrm{Vi12}}{,}{-}{\mathrm{V32}}{+}{\mathrm{V14}}{,}{-}{\mathrm{Vi32}}{+}{\mathrm{Vi14}}{,}{-}{\mathrm{Vi42}}{+}{\mathrm{Vi24}}{,}{-}{\mathrm{Vi31}}{+}{\mathrm{Vi13}}{,}{\mathrm{V22}}{,}{\mathrm{V11}}\right]$ (2.30)
 su22 > Properties["CartanInvolution"];
 $\left[\left[{\mathrm{Vi11}}{,}{\mathrm{Vi11}}\right]{,}\left[{\mathrm{V11}}{,}{-}{\mathrm{V11}}\right]{,}\left[{\mathrm{V22}}{,}{-}{\mathrm{V22}}\right]{,}\left[{\mathrm{V21}}{,}{-}{\mathrm{V12}}\right]{,}\left[{\mathrm{V32}}{,}{\mathrm{V14}}\right]{,}\left[{\mathrm{V12}}{,}{-}{\mathrm{V21}}\right]{,}\left[{\mathrm{V14}}{,}{\mathrm{V32}}\right]{,}\left[{\mathrm{Vi31}}{,}{\mathrm{Vi13}}\right]{,}\left[{\mathrm{Vi42}}{,}{\mathrm{Vi24}}\right]{,}\left[{\mathrm{Vi21}}{,}{\mathrm{Vi12}}\right]{,}\left[{\mathrm{Vi32}}{,}{\mathrm{Vi14}}\right]{,}\left[{\mathrm{Vi12}}{,}{\mathrm{Vi21}}\right]{,}\left[{\mathrm{Vi13}}{,}{\mathrm{Vi31}}\right]{,}\left[{\mathrm{Vi24}}{,}{\mathrm{Vi42}}\right]{,}\left[{\mathrm{Vi14}}{,}{\mathrm{Vi32}}\right]\right]$ (2.31)
 su22 > K, A, N := Properties["IwasawaDecomposition"];
 ${K}{,}{A}{,}{N}{:=}\left[{-}{\mathrm{V21}}{+}{\mathrm{V12}}{,}{\mathrm{Vi21}}{+}{\mathrm{Vi12}}{,}{\mathrm{V32}}{+}{\mathrm{V14}}{,}{\mathrm{Vi32}}{+}{\mathrm{Vi14}}{,}{\mathrm{Vi42}}{+}{\mathrm{Vi24}}{,}{\mathrm{Vi31}}{+}{\mathrm{Vi13}}{,}{\mathrm{Vi11}}\right]{,}\left[{\mathrm{V11}}{,}{\mathrm{V22}}\right]{,}\left[{\mathrm{V12}}{,}{\mathrm{Vi12}}{,}{\mathrm{Vi13}}{,}{\mathrm{Vi24}}{,}{\mathrm{V14}}{,}{\mathrm{Vi14}}\right]$ (2.32)

Let's us check the properties of this KAN decomposition. The first list of vectors defines a subalgebra with negative-definite Killing form.

 su22 > Query(K, "Subalgebra");
 ${\mathrm{true}}$ (2.33)
 su22 > Killing(K);
 $\left[\begin{array}{rrrrrrr}{-}{32}& {0}& {0}& {0}& {0}& {0}& {0}\\ {0}& {-}{32}& {0}& {0}& {0}& {0}& {0}\\ {0}& {0}& {-}{32}& {0}& {0}& {0}& {0}\\ {0}& {0}& {0}& {-}{32}& {0}& {0}& {0}\\ {0}& {0}& {0}& {0}& {-}{16}& {0}& {0}\\ {0}& {0}& {0}& {0}& {0}& {-}{16}& {0}\\ {0}& {0}& {0}& {0}& {0}& {0}& {-}{32}\end{array}\right]$ (2.34)

The second list of vectors defines an abelian subalgebra.

 su22 > Query(A, "Abelian");
 ${\mathrm{true}}$ (2.35)

The third list of vectors defines a nilpotent Lie algebra.

 su22 > Query(A, "Nilpotent");
 ${\mathrm{true}}$ (2.36)