LieAlgebras[LieAlgebraWithCoefficientsData] - calculate the structure equations for a Lie algebra with coefficients in a representation
Calling Sequences
LieAlgebraWithCoefficientsData(rhoalgC)
LieAlgebraWithCoefficientsData(algVM, algC
LieAlgebraWithCoefficientsData(algC)
Parameters
- a representation of a Lie algebra
algC - name or a string, the name to be assigned to the Lie algebra with coefficients
V - name of the representation space used to define the Lie algebra with coefficients
M - a list of square matrices which form a Lie algebra
|
Description
|
|
•
|
Let be a linear space with basis ; let be a Lie algebra with basis and dual basis ,; and let be a representation of . The representation defines the multiplication = Let be the vector space of -forms with coefficients in the representation space . A form if for all vectors , For example, the general 1-formand 2-form with coefficients in can be written as sums
|
and ,
where the coefficients and are constants. The spaces play an important role in a number of constructions in Lie theory (See, for example, Cohomology, Deformation, MasseyProduct, KostantLaplacian). To work with forms defined on Lie algebras with coefficients in a representation, one first uses the commands LieAlgebraWithCoefficientsData and DGsetup -- in much the same way that one uses LieAlgebraData and AlgebraData to calculate the structure equations for a Lie algebra or a general non-commutative algebra.
•
|
The output of the LieAlgebraWithCoefficientsData is a data structure which can be passed to the command DGsetup.The structure equations are displayed.
|
|
|
|
|
|
Examples
>
|
with(DifferentialGeometry): with(LieAlgebras):
|
Example 1.
We use the 6 dimensional Lie algebra and its standard representation by skew-symmetric matrices to illustrate the 3 calling sequences for LieAlgebraWithCoefficientsData. First, use the command SimpleLieAlgebraData to retrieve the structure equations for .
>
|
LD := SimpleLieAlgebraData("so(4)", so4);
|
| (1) |
Use the command StandardRepresentation to retrieve the matrices for the standard representation.
so4 >
|
M := StandardRepresentation(so4);
|
Define a 4-dimensional representation space and the representation
so4 >
|
DGsetup([x1, x2,x3,x4], V);
|
V >
|
rho := Representation(so4, V, M);
|
Use the first calling sequence to calculate the structure equations for with coefficients in the representation .
so4 >
|
LC1 := LieAlgebraWithCoefficientsData(rho, algC1);
|
| (4) |
Initialize.
| (5) |
Here is a sample calculation using a 2-form form on with coefficients in .
algC >
|
alpha := evalDG(x3*theta1 &w theta2);
|
| (6) |
algC >
|
ExteriorDerivative(alpha);
|
| (7) |
The second calling sequence simply allows one to calculate the structure equations (4) directly from the matrices without having to first define the representation .
so4 >
|
LieAlgebraWithCoefficientsData(so4, V, M, algC2);
|
| (8) |
The third calling sequence retrieves the structure equations of a previously defined Lie algebra with coefficients in a representation.
algC >
|
LieAlgebraWithCoefficientsData(algC1);
|
| (9) |
|