Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

If I have a connected, simply connected nilpotent lie group given by the commutators between the elements of a basis of its Lie algebra how can I recover the left invariant vector fields?

For example I have a Lie group $G$ whose Lie algebra $g$ has dimension 4, with basis $X_1,X_2,X_3,X_4$ and only non zero commutators

$[X_1,X_2]=-X_3$,

$[X_1,X_3]=-X_4$

i.e. the Engel algebra.

An explicit representation of the vector fields in $\mathbb{R}^4$ is $X_1=\partial_1$, $X_2=\partial_2-x_1\partial_3+\frac{x_1^2}{2}\partial_4$ ,$X_3=\partial_3-x_1\partial_4$, $X_4=\partial_4$.

How can i prove this, and what does it mean? I know that for such types of groups the exponential map is diffeomorphism therefore I can identify the lie group and the lie algebra. Then the lie algebra sholud be isomorphic to $\mathbb{R}^4$ as vector spaces, so why do I represent the vector fields as they were on $\mathbb{R}^4$?

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.