LieAlgebras[Representation] - define a representation of a Lie algebra
LieAlgebras[ApplyRepresentation] - apply a representation of a Lie algebra to a vector in the Lie algebra
Representation(A, V, M)
ApplyRepresentation(ρ, x, y)
A - a Maple name or string, the name of a defined Lie Algebra 𝔤
V - a Maple name or string, the name of the defined frame used as the vector space V for the representation
M - a list of matrices each defining a linear transformation from V to V
ρ - a representation of a Lie algebra g on a vector space V, as constructed with the Representation command
x - a vector in g
y - (optional) a vector in V
Let g be a Lie algebra and V a vector space. A representation of g on V is a linear transformation rho: g -> gl(V) (where gl(V) is the Lie algebra of all linear transformations on V) such that rho([x, y]) = [rho(x), rho(y)] (*) for all x, y in g. Here [x, y] denotes the Lie bracket of two vectors in g while [rho(x), rho(y)] denotes the commutator of two linear transformations in gl(V).
The command Representation(A, V, M) creates a data structure which defines the representation rho : g -> gl(V) such that rho(e_i) = M_i.
The command Query can be used to verify that the map rho does in fact satisfy the representation property (*).
If x=c1e1+c2e2+⋅⋅⋅ then ApplyRepresentation(ρ, x) returns the matrix ρx=c1e1+c2e2+⋅⋅⋅. If y is vector in the representation space V, then Representation(ρ,x, y) returns the vector ρxy∈V.
First we retrieve a Lie algebra from the DifferentialGeometry Library and initialize it.
L â‰” Retrieve⁡Winternitz,1,4,7,Alg1
The center of Alg1 is trivial and therefore the adjoint representation is faithful. The command Adjoint will return the list of adjoint matrices for the Lie algebra Alg1.
M â‰” Adjoint⁡
To define a representation of Alg1 using the matrices M, we shall need to define a representation space V.
ρ â‰” Representation⁡Alg1,V,M
We can verify that this is really a representation of Alg1 with the Query command.
Apply the representation to some vectors in Alg1:
A1 â‰” ApplyRepresentation⁡ρ,e1
A2 â‰” ApplyRepresentation⁡ρ,e1+2⁢e2+3⁢e4
Apply the linear transformations to some vectors in V:
The infinitesimal automorphisms or derivations of a Lie algebra g define a matrix Lie algebra which is automatically a representation. In this case we can take g to be the representation space.
L â‰” Retrieve⁡Winternitz,1,3,2,Alg2
The Derivations command calculates the derivations on the Lie algebra Alg2.
M â‰” Derivations⁡Full
We calculate the structure equations for this matrix algebra and initialize the result.
A â‰” LieAlgebraData⁡M,Alg2a
Lie algebra: Alg2a
ρ2 â‰” Representation⁡Alg2a,Alg2,M
If Gamma is a Lie algebra of vector fields on a manifold M, then the isotropy subalgebra at a given point admits a natural representation, defined by the Lie bracket, on the tangent space of M. To illustrate the definition of this representation, we first obtain a Lie algebra of vector fields from the DifferentialGeometry Library with the Retrieve command. Then we use the IsotropySubalgebra from the GroupActions package to calculate the isotropy subalgebra and its representation.
Gamma â‰” Retrieve⁡Gonzalez-Lopez,1,7,manifold=M
IsoAlg,IsoRep â‰” IsotropySubalgebra⁡Gamma,x=1,y=2,output=Vector,Representation
L3 â‰” LieAlgebraData⁡IsoAlg,Alg3
ρ3 â‰” Representation⁡Alg3,M,IsoRep
Here is 4 dimensional faithful representation of an indecomposable 4-dimensional Lie algebra with a center.
L4 â‰” LieAlgebraData⁡x2,x4=x1,x3,x4=x3,x1,x2,x3,x4,Alg4
Lie algebra: Alg4
M4 â‰” Matrix⁡0,0,0,0,0,0,0,−1,0,0,0,0,0,0,0,0,Matrix⁡0,0,0,0,0,0,0,0,0,0,0,−1,0,0,0,0,Matrix⁡0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,Matrix⁡−1,0,0,0,0,0,−1,0,0,0,0,0,0,0,0,0
ρ4 â‰” Representation⁡Alg4,V,M4
Download Help Document