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

Online Help

All Products    Maple    MapleSim


GroupActions[InvariantVectorsAndForms] - calculate a basis of left and right invariant vector fields and differential 1-forms on a Lie group

Calling Sequences

     InvariantVectorsAndForms(LG, options)

Parameters

     LG        - a module defining a Lie group

     options   - output = O, where O is a list of keywords chosen from: "LeftVectors", "LeftForms", "RightVectors", "RightForms"

 

Description

Examples

Description

• 

Let be a Lie group with multiplication  and define diffeomorphisms  and by  and . A vector field  on  is left invariant if and right invariant if for all . A differential form  on  is left invariant if  = and right invariant if  = . Every Lie group admits a set of dimpointwise linearly independent left or right invariant vector fields (an invariant frame) and a set of dimpointwise linearly independent left or right invariant 1-forms (an invariant coframe). Indeed, the infinitesimal generators for the group action defined by give a left invariant frame while the infinitesimal generators for the group action defined by give a right invariant frame.

• 

The command InvariantVectorsAndForms(LG) returns up to a sequence of four lists XL, OmegaL, XR, OmegaR, where XL is a frame of left invariant vector fields, OmegaL is a coframe of left invariant 1-forms, XR is a frame of right invariant vector fields, and OmegaR is a frame of right invariant 1-forms.

• 

The output option allows the user to dictate precisely which lists of invariant vector fields and forms are returned and the order in which they are returned. The default is output = ["LeftVectors", "LeftForms", "RightVectors", "RightForms"].

• 

The command InvariantVectorsAndForms is part of the DifferentialGeometry:-GroupActions package.  It can be used in the form InvariantVectorsAndForms(...) only after executing the commands with(DifferentialGeometry) and with(GroupActions), but can always be used by executing DifferentialGeometry:-GroupActions:-InvariantVectorsAndForms(...).

Examples

 

Example 1.

We calculate a basis for the invariant vector fields and forms for the 4-dimensional matrix group defined by the matrix .

 

Create a local system of coordinates for the Lie group.

(2.1)

 

Create the Lie group module for the matrix group M using the LieGroup command.

G > 

(2.2)

 

Find a basis of left invariant vector fields and differential 1-forms.

G > 

(2.3)

 

Find a basis of right invariant vector fields.

G > 

(2.4)

 

Details for Example 1

We check various properties of these invariant bases of vector fields and forms. First note that the structure constants for the right invariant vector fields are the negatives of those for the left invariant vector fields.

G > 

(2.1.1)
G > 

(2.1.2)

 

The Lie derivatives of XL and OmegaL with respect to XR vanish:

G > 

G > 

 

Let us check explicitly the left invariance of the vector field XL[4].

G > 

(2.1.3)

 

Define points  and  and compute .

G > 

(2.1.4)
G > 

(2.1.5)
G > 

(2.1.6)
G > 

(2.1.7)

 

Evaluate  at  and at .

G > 

(2.1.8)
G > 

(2.1.9)

 

Pushforward  by . Since Y the vector field X is left invariant.

G > 

(2.1.10)

 

Alternatively, we can verify the left invariance of using the second calling sequence for Pushforward to see that  is unchanged.

G > 

(2.1.11)

 

The left invariance of the form OmegaL[2] is similarly verified (by observing that

G > 

(2.1.12)
G > 

(2.1.13)
G > 

(2.1.14)
G > 

(2.1.15)
G > 

(2.1.16)

See Also

DifferentialGeometry

GroupActions

LieAlgebras

LieGroup

LieDerivative

Pushforward

Pullback

 


Download Help Document