LieAlgebraData[Subalgebra] - convert a list of vectors defining a Lie subalgebra to a Lie algebra data structure
Calling Sequence
LieAlgebraData(Subalgebra, SubSubalgebras, AlgName, "Matrix")
Parameters
Subalgebra - a list of linearly independent vectors defining a subalgebra h
SubSubalgebras - (optional) a list of lists of linearly independent vectors defining subalgebras k1, k2, ... of the algebra h
AlgName - a name or string, the name to be assigned to the Lie algebra
"Matrix" - (optional) keyword
|
Description
|
|
•
|
In the LieAlgebras package, the command DGsetup is used to initialize a Lie algebra -- that is, to define the basis elements for the Lie algebra and its dual and to store the structure constants for the Lie algebra in memory. The first argument for DGsetup is a Lie algebra data structure which contains the structure constants in a standard format used by the LieAlgebras package.
|
•
|
Let h be a subalgebra of a Lie algebra g. The command LieAlgebraData(Subalgebra) will return the Lie data structure for the subalgebra h which can then be initialized. In this way the subalgebra h can be studied as a Lie algebra in its own right, independent of the original ambient algebra g.
|
•
|
Let h be a subalgebra of a Lie algebra g. With the optional argument "Matrix", LieAlgebraData(Subalgebra, "Matrix") will return the Lie data structure for the subalgebra h and a Matrix which defines the inclusion map from the subalgebra h to the Lie algebra g.
|
•
|
Let k1, k2, ... be subalgebras of h (and hence subalgebras of g). The command LieAlgebraData(Subalgebra, SubSubalgebras) will return the Lie algebra data structure for the subalgebra h and the list of lists of components for the vectors in k1, k2, ... with respect to the given basis for the subalgebra h. With this information and the DGzip program, k1, k2, ... can then be converted to subalgebras of the Lie algebra obtained from h.
|
•
|
The command LieAlgebraData is part of the DifferentialGeometry:-LieAlgebras package. It can be used in the form LieAlgebraData(...) only after executing the commands with(DifferentialGeometry) and with(LieAlgebras), but can always be used by executing DifferentialGeometry:-LieAlgebras:-LieAlgebraData(...).
|
|
|
Examples
|
|
>
|
|
Example 1.
We first initialize a 5 dimensional Lie algebra called Alg1 and display its multiplication table.
>
|
|
| (2.1) |
>
|
|
Let's check that S1 = [x1, x2, x3, x4] is a subalgebra.
Alg1 >
|
|
Alg1 >
|
|
| (2.2) |
Now use LieAlgebraData to obtain the Lie algebra data structure for S1. Denote the Lie algebra obtained from S1 by Alg2.
Alg1 >
|
|
| (2.3) |
Alg1 >
|
|
Alg2 >
|
|
| (2.4) |
This is the same multiplication as before.
Example 2.
We continue with Example 1 but this time use LieAlgebraData with the keyword "Matrix".
Alg2 >
|
|
| (2.5) |
We can use the Matrix M to define a Lie algebra homomorphism from Alg2 to Alg1 which maps y1 to x1, y2 to x2, etc....
Alg1 >
|
|
| (2.6) |
Example 3.
We continue with Example 1. The subalgebras SS1 = [x1, x2] and SS2 = [x3, x4] are subalgebras of S1 = [x1, x2, x3, x4]. We use LieAlgebraData to obtain SS1 and SS2 as subalgebras of Alg2.
Alg1 >
|
|
Alg1 >
|
|
Alg1 >
|
|
| (2.7) |
Alg1 >
|
|
| (2.8) |
Alg2 >
|
|
| (2.9) |
Alg2 >
|
|
| (2.10) |
Example 4.
The program LieAlgebraData can often be used to simplify the structure equations of a Lie algebra.
In this example we initialize a Lie algebra Alg4 and compute its derived series. We then use elements of the derived series to define a new basis for the Lie algebra. In this new basis the structure equations of the Lie algebra become much simpler.
Alg2 >
|
|
Alg2 >
|
|
Alg3 >
|
|
| (2.11) |
Alg3 >
|
|
| (2.12) |
Alg3 >
|
|
| (2.13) |
Alg3 >
|
|
| (2.14) |
Alg3 >
|
|
| (2.15) |
For the new basis we take the vector in DS[3], 2 vectors in DS[2] independent of DS[3], and 3 vectors in DS[1] independent of the 3 vectors in DS[2].
Alg3 >
|
|
| (2.16) |
Now we create a Lie algebra from this adapted basis.
Alg3 >
|
|
| (2.17) |
Alg3 >
|
|
The structure equations are much simpler.
Alg4 >
|
|
| (2.18) |
The Matrix N defines an isomorphism from Alg4 to Alg3.
Alg4 >
|
|
| (2.19) |
Alg4 >
|
|
| (2.20) |
|
|