LieAlgebras[Complexify] find the complexification of a Lie algebra - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

LieAlgebras[Complexify] find the complexification of a Lie algebra

Calling Sequences

     Complexify(AlgName1, AlgName2)

Parameters

     AlgName1  - name or string, the name of a Lie algebra g

     AlgName2  - name or string, the name for the complexification of g

 

Description

Examples

Description

• 

The complexification of a real Lie algebra 𝔤 of dimension n is a real Lie algebra of dimension 2n.  If e1, e2, ..., en is a basis for 𝔤, then e1, e2, ... , en, Ie1, Ie2, ... , Ien, where I2 = 1, is a basis for the complexification of 𝔤,

• 

Complexify(AlgName1, AlgName2) calculates the complexification of the Lie algebra g defined by AlgName1.

• 

A Lie algebra data structure is returned for the complexified Lie algebra with name AlgName2. The structure equations for the complexification are displayed. (A Lie algebra data structure contains the structure constants of a Lie algebra in a standard format used by the LieAlgebras package).

• 

The command Complexify is part of the DifferentialGeometry:-LieAlgebras package. It can be used in the form Complexify(...) only after executing the commands with(DifferentialGeometry) and with(LieAlgebras), but can always be used by executing DifferentialGeometry:-LieAlgebras:-Complexify(...).

Examples

withDifferentialGeometry:withLieAlgebras:

 

Example 1.

First we initialize a Lie algebra and then display its multiplication table.

L1_DGLieAlgebra,Alg1,3,1,3,1,1,2,3,1,1,2,3,2,1:

DGsetupL1:

 

We complexify Alg1 and call the result Alg2.

Alg1 > 

L2ComplexifyAlg1,Alg2

L2:=e1,e3=e1,e1,e6=e4,e2,e3=e1+e2,e2,e6=e4+e5,e3,e4=e4,e3,e5=e4e5,e4,e6=e1,e5,e6=e1e2

(2.1)
Alg1 > 

DGsetupL2:

 

We note that the original Lie algebra [e1, e2, e3], as a subalgebra of its complexification, admits a symmetric complement.

Alg2 > 

Querye1,e2,e3,e4,e5,e6,SymmetricPair

true

(2.2)

See Also

DifferentialGeometry

LieAlgebras

Query[SymmetricPair]

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam