Details for SatakeDiagrams
Description
Examples
For each family of non-compact simple matrix algebras (see SimpleLieAlgebraData, SimpleLieAlgebraProperties), we list the simple roots and draw the corresponding Satake diagram.
with⁡DifferentialGeometry:with⁡LieAlgebras:
Algebra
Type
Simple Roots
Sataka Diagram
1.
sl9
A
1−10000000,01−1000000,001−100000,0001−10000,00001−1000,000001−100,0000001−10,00000001−1,111111112
2.
su7,3
1−10−II0000,01−10−II000,001−I−I−2⁢I−I00,000IIII−I0,0000000I−I,000−I−I−III2⁢I,001II2⁢I−I−I−I,01−10I−I000,1−10I−I0000
3.
su5,5
1−1000I−I00,01−1000I−I0,001−1000I−I,0001−1III2⁢I,000020000,0001−1−I−I−I−2⁢I,001−1000−II,01−1000−II0,1−1000−II00
4.
su∗10
000002⁢I000,1−2100−I−I00,0000002⁢I00,01−2100−I−I0,00000002⁢I0,001−2000−I−I,000000002⁢I,1001−I000−I,00002⁢I0000
5.
su10
I−I0000000,0I−I000000,00I−I00000,000I−I0000,0000I−I000,00000I−I00,000000I−I0,0000000I−I,IIIIIIII2⁢I
6.
so6,3
B
1−100,01−10,001−I,000I
7.
so9
I−I00,0I−I0,00I−I,000I
8.
sp10, ℝ
C
1−1000,01−100,001−10,0001−1,00002
9.
sp6, 4
002⁢I00,1−1−I−I0,0002⁢I0,010−I−I,00002⁢I
10.
sp6, 6
0002⁢I00,1−10−I−I0,00002⁢I0,01−10−I−I,000002⁢I,00200−2⁢I
11.
sp10
I−I000,0I−I00,00I−I0,000I−I,00002⁢I
12.
so5, 5
D
1−1000,01−100,001−10,0001−1,00011
13.
so8, 2
1−1000,01−I00,00I−I0,000I−I,000II
14.
so6, 4
1−1000,01−100,001−10,0001−I,0001I
15.
so12
I−I0000,0I−I000,00I−I00,000I−I0,0000I−I,0000II
16.
so∗10
002⁢I00,1−1−I−I0,0002⁢I0,010−I−I,010−II
17.
so*(12)
0002⁢I00,1−10−I−I0,00002⁢I0,01−10−I−I,000002⁢I,002000
Calculations
Example 1.
LD1 ≔ SimpleLieAlgebraData⁡sl(10),alg1:
DGsetup⁡LD1
Lie algebra: alg1
T1 ≔ SimpleLieAlgebraProperties⁡alg1:
SR1 ≔ T1SimpleRoots
Example 2.
LD2 ≔ SimpleLieAlgebraData⁡su(7,3),alg:
DGsetup⁡LD2
Lie algebra: alg
T2 ≔ SimpleLieAlgebraProperties⁡alg:
SR2 ≔ T2SimpleRoots
Example 3.
LD2 ≔ SimpleLieAlgebraData⁡su(5, 5),alg2:
Lie algebra: alg2
T2 ≔ SimpleLieAlgebraProperties⁡alg2:
Example 4.
LD4 ≔ SimpleLieAlgebraData⁡su*(10),alg4:
DGsetup⁡LD4
Lie algebra: alg3
T3 ≔ SimpleLieAlgebraProperties⁡alg4:
SR4 ≔ T4SimpleRoots
Example 5.
LD5 ≔ SimpleLieAlgebraData⁡su(10),alg5:
DGsetup⁡LD5
Lie algebra: alg5
T5 ≔ SimpleLieAlgebraProperties⁡alg5:
SR5 ≔ T5SimpleRoots
Example 6.
LD6 ≔ SimpleLieAlgebraData⁡so(6, 3),alg6:
DGsetup⁡LD6
Lie algebra: alg6
T6 ≔ SimpleLieAlgebraProperties⁡alg6:
SR6 ≔ T6SimpleRoots
LD7 ≔ SimpleLieAlgebraData⁡so(9),alg7:
DGsetup⁡LD7
Lie algebra: alg7
T7 ≔ SimpleLieAlgebraProperties⁡alg7:
SR7 ≔ T7SimpleRoots
Example 8.
LD8 ≔ SimpleLieAlgebraData⁡sp(10, R),alg8:
DGsetup⁡LD8
Lie algebra: alg8
T8 ≔ SimpleLieAlgebraProperties⁡alg8:
SR8 ≔ T8SimpleRoots
Example 9.
LD9 ≔ SimpleLieAlgebraData⁡sp(6, 4),alg9:
DGsetup⁡LD9
Lie algebra: alg9
T9 ≔ SimpleLieAlgebraProperties⁡alg9:
SR9 ≔ T9SimpleRoots
Example 10.
LD10 ≔ SimpleLieAlgebraData⁡sp(6, 6),alg10:
DGsetup⁡LD10
Lie algebra: alg10
T10 ≔ SimpleLieAlgebraProperties⁡alg10:
SR10 ≔ T10SimpleRoots
Example 11.
LD11 ≔ SimpleLieAlgebraData⁡sp(10),alg11:
DGsetup⁡LD11
Lie algebra: alg11
T11 ≔ SimpleLieAlgebraProperties⁡alg11:
SR11 ≔ T11SimpleRoots
Example 12.
LD12 ≔ SimpleLieAlgebraData⁡so(5, 5),alg12:
DGsetup⁡LD12
Lie algebra: alg12
T12 ≔ SimpleLieAlgebraProperties⁡alg12:
SR12 ≔ T12SimpleRoots
Example 13.
LD13 ≔ SimpleLieAlgebraData⁡so(8, 2),alg13:
DGsetup⁡LD13
Lie algebra: alg13
T13 ≔ SimpleLieAlgebraProperties⁡alg13:
SR12 ≔ T13SimpleRoots
Example 14.
LD14 ≔ SimpleLieAlgebraData⁡so(6, 4),alg14:
DGsetup⁡LD14
Lie algebra: alg14
T14 ≔ SimpleLieAlgebraProperties⁡alg14:
SR14 ≔ T14SimpleRoots
Example 15.
LD15 ≔ SimpleLieAlgebraData⁡so(12),alg15:
DGsetup⁡LD15
Lie algebra: alg15
T15 ≔ SimpleLieAlgebraProperties⁡alg15:
SR15 ≔ T15SimpleRoots
Example 16.
LD16 ≔ SimpleLieAlgebraData⁡so*(10),alg16:
DGsetup⁡LD16
Lie algebra: alg16
T16 ≔ SimpleLieAlgebraProperties⁡alg16:
SR16 ≔ T16SimpleRoots
Example 17.
LD17 ≔ SimpleLieAlgebraData⁡so*(12),alg17:
DGsetup⁡LD17
Lie algebra: alg17
T17 ≔ SimpleLieAlgebraProperties⁡alg17:
SR17 ≔ T17SimpleRoots
See Also
DifferentialGeometry
LieAlgebras
DynkinDiagram
CartanMatrix
SimpleLieAlgebraData
SimpleLieAlgebraProperties
SatakeDiagram
SimpleRoots
Download Help Document
What kind of issue would you like to report? (Optional)