DifferentialGeometry/LieAlgebras/LieAlgebraData/Grading - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

Home : Support : Online Help : DifferentialGeometry/LieAlgebras/LieAlgebraData/Grading

LieAlgebraData[Grading] - give a new basis and new structure equations for a Lie algebra which are adapted to a grading

Calling Sequence

     LieAlgebraData(Grading, AlgName, SubAlgComponents, SubAlgName, options)

Parameters

     Grading           - a table, specifying a grading of a Lie algebra

     AlgName           - a name or string, the name to be assigned to the new structure equations for the Lie algebra

     SubAlgComponents  - (optional) a string, one of "positive", "negative", "nonnegative", "nonpositive" or a list of integers

     SubAlgName        - (optional) a name or a string, the name to be assigned to the Lie subalgebra defined by SubAlgComponents 

     options           - (optional) keyword arguments order = increasing or order = decreasing, and output = "basis"

    

 

Description

Examples

Description

• 

 If is a graded Lie algebra, then it is often desirable to construct a basis for the Lie algebra adapted to the grading. For example, if with dim = 2, dim = 3, dimthen is an adapted basis, in increasing ordering of weights, if  and . The adapted basis is in decreasing order of weights if  and .

• 

The calling sequence LieAlgebraData(Grading, AlgName) returns the structure equations for the adapted basis (in increasing order) for the given grading. These structure equations can be passed to DGsetup to initialize the original Lie algebra in the new adapted basis.

• 

 For any graded Lie algebra, the negative, non-positive, positive, non-positive components constitute a Lie subalgebra which is frequently needed. The second calling sequence LieAlgebraData(Grading, AlgName, SubAlgComponents, SubAlgName) returns 2 sets of structure equations, the first are the structure equations for the adapted basis (in increasing order) for the given grading, and the second are the structure equations for the subalgebra specified by the third argument.

• 

With the keyword argument output = "basis", both the structure equations and the adapted basis are returned.

Examples

 

Example 1.

We illustrate the first calling sequence for LieAlgebraData using the Lie algebra and a 5-step gradation (Grading of semi-simple Lie algebras are easily constructed with GradedSemiSimpleLieAlgebra ). Use SimpleLieAlgebraData and DGsetup to initialize .

(2.1)

(2.2)

 

Here is the grading we shall use.

sl3 > 

(2.3)

 

Here are the structure equations for  adapted to the basis .

sl3 > 

(2.4)
sl3 > 

(2.5)

 

We see that the grading weights are increasing in this new basis.

sl3a > 

(2.6)

 

With the keyword argument order = decreasing we obtain:

sl3a > 

(2.7)
newsl3 > 

(2.8)

 

Now the grading weights are decreasing in the new basis.

sl3b > 

(2.9)

 

With the second calling sequence we can, for example, also obtain the structure equations for just the negatively graded components of.

sl3 > 

(2.10)

 

We see that the negatively graded components give the subalgebra:

sl3 > 

(2.11)

 

with structure equations:

sl3 > 

(2.12)
sl3 > 

See Also

DifferentialGeometry

LieAlgebras

DGinfo

GradeSemiSimpleLieAlgebra

LieAlgebraData

SimpleLieAlgebraData

 


Download Help Document