>
|
|
Example 1.
We find the restricted root space decomposition for the Lie algebra . This is the 15-dimensional Lie algebra of matrices which are skew-symmetric with respect to the quadratic form . We use the command SimpleLieAlgebraData to initialize .
>
|
|
To find a suitable candidate for the subspace a, we first calculate a Cartan subalgebra.
so42 >
|
|
| (2.2) |
Now we shall use the Signature command to find a subalgebra on which the Killing form is positive-definite.
| (2.3) |
so42 >
|
|
| (2.4) |
We can use the subspace a to find the restricted root space decomposition for .
First calling sequence.
so42 >
|
|
| (2.6) |
Second calling sequence.
For the second calling sequence we first need the root space decomposition with respect to the Cartan subalgebra CSA.
so42 >
|
|
| (2.7) |
so42 >
|
|
| (2.8) |
It is instructive to compare the root space decomposition RSD (equation (2.6) and the restricted root space decomposition RRSD(equation (2.8)). First, note that the roots for RSDare vectors in 3-dimensions (since the Cartan subalgebra is 3-dimensional) while the roots for RRSD are vectors in 2-dimensions (since the subspace a is 2-dimensional). Second, we see that the first 2 components of the roots for RSDare all real and the 3rd component is pure imaginary. This reflects the fact that the basis we have used for the Cartan subalgebra is adapted to the Cartan decomposition. Third, we see that the restricted roots are just the projections [The restricted root space for is just the direct sum of the root spaces for the roots of the form Finally, and this is the whole point, the restricted root spaces have a real basis.
so42 >
|
|
| (2.9) |
so42 >
|
|
Example 2
We find a restricted root space decomposition for so*(8).
so42 >
|
|
We calculate a Cartan subalgebra and a subspace on which the Killing form is positive-definite.
su33 >
|
|
| (2.12) |
su33 >
|
|
su33 >
|
|
| (2.13) |
so42 >
|
|
| (2.14) |
Note here that the restricted root spaces for have dimensions 1or 4.