ChangeGradedComponent - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


LieAlgebras[ChangeGradedComponent] - change one or more components of a graded Lie algebra

Calling Sequences

     ChangeGradedComponent(alg, newcomponent, newalg)

  

Parameters

   alg          - a  name or string, the name of an initialized Lie algebra

   newcomponent - a list, specifying the new graded components

   newalg       - a name or string, the name of a new graded Lie algebra to be created

  

 

Description

See Also

Description

• 

Let  be a graded Lie algebra with (for example) grading . With newcomponent given by (for example) [2 = ], where  is a list of vectors in , the command ChangeGradedComponent will return the structure equations for the new graded Lie algebra.

Examples

with(DifferentialGeometry): with(LieAlgebras):

 

Example 1.

Define a 9-dimensional Lie algebra alg1 with grading where  and . Here are the structure equations:

StrEq := [[x1, x6] = -x1, [x1, x8] = -x2, [x2, x7] = -x1, [x2, x9] = -x2, [x3, x4] = -x1, [x3, x5] = -x2, [x3, x6] = -(1/3)*x3, [x3, x9] = -(1/3)*x3, [x4, x5] = x3, [x4, x6] = -(2/3)*x4, [x4, x8] = -x5, [x4, x9] = (1/3)*x4, [x5, x6] = (1/3)*x5, [x5, x7] = -x4, [x5, x9] = -(2/3)*x5, [x6, x7] = x7, [x6, x8] = -x8, [x7, x8] = x6-x9, [x7, x9] = x7, [x8, x9] = -x8];

(1)

 

Use the keyword grading to specify the grading of this algebra. Initialize.

LD1 := LieAlgebraData(StrEq, [x1, x2, x3, x4, x5, x6, x7, x8, x9], alg1, grading = [-3, -3, -2, -1, -1, 0, 0, 0, 0]);

(2)

DGsetup(LD1);

(3)

 

Note that the vectors define a 2-dimensional subalgebra of

alg1 > 

LieBracket(e6, e7);

(4)

 

Therefore we can replace all of  with just . The result is a 7-dimensional graded Lie algebra which is a sub-algebra of the one we started with.

alg1 > 

newLD1a := ChangeGradedComponent(alg1, [0 = [e6, e7]], newalg1);

(5)
alg1 > 

DGsetup(newLD1a);

(6)
alg1 > 

Tools:-DGinfo("Grading");

(7)

See Also

DifferentialGeometry, LieAlgebras, TanakaProlongation

 


Download Help Document