>
|
|
Example 1.
Here are a few examples of Satake diagrams.
>
|
|
>
|
|
>
|
|
>
|
|
Example 2.
We make a detailed study of the root structure and the Satake diagram for We shall calculate the simple roots and check that these roots have the properties indicated by the Satake Diagram.
>
|
|
If we ignore the coloring of the dots and the red lines we see that the Dynkin diagram of coincides with the Dynkin diagram of root type .
>
|
|
According to the Satake diagram we see that there are 3 compact roots which appear adjacent to each. Each non-compact root has a Satake associate different from itself.
Let us verify these facts by explicitly constructing the simple roots for
First we use the command SimpleLieAlgebraData to initialize the Lie algebra
>
|
|
>
|
|
| (2.1) |
The Lie algebra elements corresponding to the diagonal matrices in the standard representation of define a Cartan subalgebra.
su62 >
|
|
| (2.2) |
The restriction of the Killing form to the diagonal matrices with imaginary entries is negative-definite. The restriction of the Killing form to the diagonal matrices with real entries is positive-definite.
su62 >
|
|
| (2.3) |
su62 >
|
|
| (2.4) |
su62 >
|
|
| (2.5) |
su62 >
|
|
| (2.6) |
The subalgebra (2.5) is therefore our subalgebra as described above. Note that we have listed the elements of a first in the basis for the Cartan subalgebra.
Next we find the root space decomposition, the root system, and the positive roots. The root space decomposition is computed using the command RootSpaceDecomposition. The root system is then obtained using the LieAlgebraRoots command. For efficiency, we have saved the result we need.
su62 >
|
|
su62 >
|
|
su62 >
|
|
| (2.7) |
The compact roots are:
su62 >
|
|
| (2.8) |
Note that these roots all have pure imaginary components.
Now find a set of positive roots. We use the second calling sequence for the command PositiveRoots. For this we need a basis for the space of roots for which the components are all real.
su62 >
|
|
| (2.9) |
su62 >
|
|
| (2.10) |
We check (using Query) that the non-compact roots are closed under complex conjugation. This is important if we hope to get a set of simple roots which match with the Satake diagram.
su62 >
|
|
| (2.11) |
su62 >
|
|
| (2.12) |
Here are the simple roots.
su62 >
|
|
| (2.13) |
Finally, we have to put the simple roots in the order that renders the Cartan matrix in standard form. For this we use CartanMatrixToStandardForm.
su62 >
|
|
| (2.14) |
su62 >
|
|
| (2.15) |
su62 >
|
|
| (2.16) |
These are the simple roots we want. First, they give the Cartan matrix in standard form for .
su62 >
|
|
| (2.17) |
Second, we see that the positive roots are given in terms of the simple roots by the correct set of linear combinations for .
su62 >
|
|
| (2.18) |
su62 >
|
|
| (2.19) |
su62 >
|
|
| (2.20) |
Third, in accordance with the Satake diagram, the middle 3 roots are compact.
su62 >
|
|
| (2.21) |
And fourth, the Satake associate of the 1st root is the 7th root and the Satake associate of the 2nd root is the 6th root.
su62 >
|
|
| (2.22) |
su62 >
|
|
| (2.23) |