SatakeDiagram Details - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Mozilla Firefox.

Online Help

All Products    Maple    MapleSim


Details for SatakeDiagrams 

     

 

Description

Examples

Description

• 

For each family of non-compact simple matrix algebras (see SimpleLieAlgebraData, SimpleLieAlgebraProperties), we list the simple roots and draw the corresponding Satake diagram.

Examples

> 

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

A

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

A

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

A

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

A

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

B

I−I00,0I−I0,00I−I,000I

8.

sp10, ℝ

C

1−1000,01−100,001−10,0001−1,00002

9.

sp6, 4

C

002⁢I00,1−1−I−I0,0002⁢I0,010−I−I,00002⁢I

10.

sp6, 6

C

0002⁢I00,1−10−I−I0,00002⁢I0,01−10−I−I,000002⁢I,00200−2⁢I

11.

sp10

 

C

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

D

1−1000,01−I00,00I−I0,000I−I,000II

14.

so6, 4

   D

1−1000,01−100,001−10,0001−I,0001I

15.

so12

D

I−I0000,0I−I000,00I−I00,000I−I0,0000I−I,0000II

16.

so∗10

D

002⁢I00,1−1−I−I0,0002⁢I0,010−I−I,010−II

17.

so*(12)

D

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

(2.1.1)
> 

T1≔SimpleLieAlgebraProperties⁡alg1:

> 

SR1≔T1SimpleRoots

 

Example 2.

> 

LD2≔SimpleLieAlgebraData⁡su(7,3),alg:

> 

DGsetup⁡LD2

Lie algebra: alg

(2.1.2)
> 

T2≔SimpleLieAlgebraProperties⁡alg:

> 

SR2≔T2SimpleRoots

 

Example 3.

> 

LD2≔SimpleLieAlgebraData⁡su(5, 5),alg2:

> 

DGsetup⁡LD2

Lie algebra: alg2

(2.1.3)
> 

T2≔SimpleLieAlgebraProperties⁡alg2:

> 

SR2≔T2SimpleRoots

 

Example 4.

> 

LD4≔SimpleLieAlgebraData⁡su*(10),alg4:

> 

DGsetup⁡LD4

Lie algebra: alg3

(2.1.4)
> 

T3≔SimpleLieAlgebraProperties⁡alg4:

> 

SR4≔T4SimpleRoots

 

Example 5.

> 

LD5≔SimpleLieAlgebraData⁡su(10),alg5:

> 

DGsetup⁡LD5

Lie algebra: alg5

(2.1.5)
> 

T5≔SimpleLieAlgebraProperties⁡alg5:

> 

SR5≔T5SimpleRoots

Example 6.

> 

LD6≔SimpleLieAlgebraData⁡so(6, 3),alg6:

> 

DGsetup⁡LD6

Lie algebra: alg6

(2.1.6)
> 

T6≔SimpleLieAlgebraProperties⁡alg6:

> 

SR6≔T6SimpleRoots

Example 6.

> 

LD7≔SimpleLieAlgebraData⁡so(9),alg7:

> 

DGsetup⁡LD7

Lie algebra: alg7

(2.1.7)
> 

T7≔SimpleLieAlgebraProperties⁡alg7:

> 

SR7≔T7SimpleRoots

Example 8.

> 

LD8≔SimpleLieAlgebraData⁡sp(10, R),alg8:

> 

DGsetup⁡LD8

Lie algebra: alg8

(2.1.8)
> 

T8≔SimpleLieAlgebraProperties⁡alg8:

> 

SR8≔T8SimpleRoots

Example 9.

> 

LD9≔SimpleLieAlgebraData⁡sp(6, 4),alg9:

> 

DGsetup⁡LD9

Lie algebra: alg9

(2.1.9)
> 

T9≔SimpleLieAlgebraProperties⁡alg9:

> 

SR9≔T9SimpleRoots

Example 10.

> 

LD10≔SimpleLieAlgebraData⁡sp(6, 6),alg10:

> 

DGsetup⁡LD10

Lie algebra: alg10

(2.1.10)
> 

T10≔SimpleLieAlgebraProperties⁡alg10:

> 

SR10≔T10SimpleRoots

Example 11.

> 

LD11≔SimpleLieAlgebraData⁡sp(10),alg11:

> 

DGsetup⁡LD11

Lie algebra: alg11

(2.1.11)
> 

T11≔SimpleLieAlgebraProperties⁡alg11:

> 

SR11≔T11SimpleRoots

Example 12.

> 

LD12≔SimpleLieAlgebraData⁡so(5, 5),alg12:

> 

DGsetup⁡LD12

Lie algebra: alg12

(2.1.12)
> 

T12≔SimpleLieAlgebraProperties⁡alg12:

> 

SR12≔T12SimpleRoots

Example 13.

> 

LD13≔SimpleLieAlgebraData⁡so(8, 2),alg13:

> 

DGsetup⁡LD13

Lie algebra: alg13

(2.1.13)
> 

T13≔SimpleLieAlgebraProperties⁡alg13:

> 

SR12≔T13SimpleRoots

Example 14.

> 

LD14≔SimpleLieAlgebraData⁡so(6, 4),alg14:

> 

DGsetup⁡LD14

Lie algebra: alg14

(2.1.14)
> 

T14≔SimpleLieAlgebraProperties⁡alg14:

> 

SR14≔T14SimpleRoots

Example 15.

> 

LD15≔SimpleLieAlgebraData⁡so(12),alg15:

> 

DGsetup⁡LD15

Lie algebra: alg15

(2.1.15)
> 

T15≔SimpleLieAlgebraProperties⁡alg15:

> 

SR15≔T15SimpleRoots

Example 16.

> 

LD16≔SimpleLieAlgebraData⁡so*(10),alg16:

> 

DGsetup⁡LD16

Lie algebra: alg16

(2.1.16)
> 

T16≔SimpleLieAlgebraProperties⁡alg16:

> 

SR16≔T16SimpleRoots

Example 17.

> 

LD17≔SimpleLieAlgebraData⁡so*(12),alg17:

> 

DGsetup⁡LD17

Lie algebra: alg17

(2.1.17)
> 

T17≔SimpleLieAlgebraProperties⁡alg17:

> 

SR17≔T17SimpleRoots

 

See Also

DifferentialGeometry

LieAlgebras

DynkinDiagram

CartanMatrix

SimpleLieAlgebraData

SimpleLieAlgebraProperties

SatakeDiagram

SimpleRoots