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
|
|
•
|
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];
|
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]);
|
Note that the vectors define a 2-dimensional subalgebra of
alg1 >
|
LieBracket(e6, e7);
|
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);
|
alg1 >
|
Tools:-DGinfo("Grading");
|
|