find the real split and real compact forms of a real semi-simple Lie algebra - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

LieAlgebras[SplitAndCompactForms] - find the real split and real compact forms of a real semi-simple Lie algebra

Calling Sequences

     SplitAndCompactForms(CSA, RDS, PosRts)

Parameters

     CSA      - a list of vectors, defining the Cartan subalgebra of a real semi-simple Lie algebra 𝔤

     RDS      - a table, giving the root space decomposition of 𝔤 with respect to the given Cartan subalgebra

     PosRts   - a list of vectors, defining a positive set of roots for the given root space decomposition

  

 

Description

Examples

Description

• 

 A real semi-simple Lie algebra 𝔤 is called a split semi-simple Lie algebra if there exists a real root space decomposition of 𝔤, that is to say, there is a Cartan subalgebra 𝔥  𝔤 such that each of the adjoint matrices adx, for x  𝔥,is diagonalizable over the real numbers. A real semi-simple Lie algebra 𝔤 is called compact if the Killing form is negative-definite. This implies that the eigenvalues for the adjoint matrices adx, for x  𝔥, are all pure imaginary for any choice of Cartan subalgebra.

• 

 Given any real semi-simple Lie algebra 𝔤, then

[i] there exists a complex change of basis so that the Lie algebra 𝔤'defined by these new basis vectors is a real split Lie algebra, and

[ii] there exists another complex change of basis so that the Lie algebra 𝔤''defined by these new basis vectors is a real compact Lie algebra.

All three Lie algebras 𝔤, 𝔤' and 𝔤'' are isomorphic as complex Lie algebras but, granted that 𝔤 is neither split nor compact, 𝔤, 𝔤' and 𝔤'' are non-isomorphic as real Lie algebras. The Lie algebra 𝔤' is called the split real form of 𝔤 and the Lie algebra 𝔤'' is called the compact real form of 𝔤.

• 

The command SplitAndCompactForms returns 2 lists of vectors which give basis for 𝔤' and 𝔤''. By applying the commands LieAlgebraData and DGsetup to these lists of vectors, one obtains the split real form and compact real form of the Lie algebra 𝔤.

• 

The basis for the split real form returned by the procedure SplitAndCompactForms is a ChevalleyBasis ℬ' =h1, h2 , ..., hr , x1, x2, ..., x𝓁, y1, y2, ..., y𝓁for 𝔤'. From the properties of the Chevalley basis described in the help page ChevalleyBasis, it can be established that the basis

ℬ'' =Ih1, Ih2 , ... Ihr , x1y1, x2 y2, ... , x𝓁  y𝓁, Ix1 +y1, Ix2+y2, ... , Ix𝓁 + y𝓁

defines a real Lie algebra giving the compact real form 𝔤''.

Examples

withDifferentialGeometry:withLieAlgebras:withTensor:

 

Example 1.

In this example the 6-dimensional Lie algebra so3,1 is created and its real and compact forms are calculated. Use the command SimpleLieAlgebraData to obtain the structure equations.

LDSimpleLieAlgebraDataso(3,1),so31

LD:=e1,e2=e2,e1,e3=e3,e1,e4=e4,e1,e5=e5,e2,e4=e1,e2,e5=e6,e2,e6=e3,e3,e4=e6,e3,e5=e1,e3,e6=e2,e4,e6=e5,e5,e6=e4

(2.1)

DGsetupLD

Lie algebra: so31

(2.2)

 

To calculate the real and compact forms one needs a Cartan subalgebra, the root space decomposition and the positive roots. These data can be calculated using the commands CartanSubalgebra, RootSpaceDecomposition and PositiveRoots. Alternatively, since the Lie algebra has been created from the command SimpleLieAlgebraData, one can used the command SimpleLieAlgebraProperties to retrieve the stored values of the Cartan subalgebra, root space decomposition and positive roots.

M > 

PropertiesSimpleLieAlgebraPropertiesso31:

so31 > 

CSAPropertiesCartanSubalgebra

CSA:=e1,e6

(2.3)
so31 > 

RSDevalPropertiesRootSpaceDecomposition

RSD:=table1,I=e4Ie5,1,I=e4+Ie5,1,I=e2Ie3,1,I=e2+Ie3

(2.4)
so31 > 

PosRtsPropertiesPositiveRoots

PosRts:=1I,1I

(2.5)

 

Calculate the basis for the split and compact forms.

so31 > 

BasisS,BasisCSplitAndCompactFormsCSA,RSD,PosRts

BasisS,BasisC:=e1+Ie6,e1Ie6,12e2I2e3,12e2+I2e3,e4+Ie5,e4Ie5,Ie1e6,Ie1+e6,12e2I2e3e4+Ie5,12e2+I2e3e4Ie5,I2e2+12e3+Ie4+e5,I2e212e3+Ie4e5

(2.6)

 

Here is the split real form of the Lie algebra so31.

so31 > 

LDSLieAlgebraDataBasisS,so31S

LDS:=e1,e3=2e3,e1,e5=2e5,e2,e4=2e4,e2,e6=2e6,e3,e5=e1,e4,e6=e2

(2.7)
so31 > 

DGsetupLDS,'h1','h2','x1','x2','y1','y2','θ'

Lie algebra: so31S

(2.8)

 

The multiplication table is:

so31S > 

MultiplicationTableLieTable

| h1h2x1x2y1y2----------------------------h1| 002x102y10h2| 0002x202y2x1| 2x1000h10x2| 02x2000h2y1| 2y10h1000y2| 02y20h200

(2.9)

 

from which one sees immediately that h1, h2 is a Cartan subalgebra for which the root space decomposition is real. Therefore this is a real form.

so31S > 

RootSpaceDecompositionh1,h2

table0,2=y2,2,0=x1,2,0=y1,0,2=x2

(2.10)

 

Here is the compact form of the Lie algebra so31.

so31 > 

LDSLieAlgebraDataBasisC,so31C

LDS:=e1,e3=2e5,e1,e5=2e3,e2,e4=2e6,e2,e6=2e4,e3,e5=2e1,e4,e6=2e2

(2.11)
so31 > 

DGsetupLDS,E,ω

Lie algebra: so31C

(2.12)

 

The Killing form is negative-definite and so this is indeed the compact form.

so31C > 

Killing

800000080000008000000800000080000008

(2.13)

 

By construction, the first 2 vectors define a Cartan subalgebra. The root vectors are pure imaginary.

so31C > 

RootSpaceDecompositionE1,E2

table0,2I=E4IE6,2I,0=E3+IE5,0,2I=E4+IE6,2I,0=E3IE5

(2.14)

 

See Also

DifferentialGeometry

LieAlgebras

DGsetup

CartanSubalgebra

LieAlgebraData

Killing

PositiveRoots

RootSpaceDecomposition

SimpleLieAlgebraData

SimpleLieAlgebraProperties