Chemistry - Maurer-Cartan form

In mathematics, the Maurer-Cartan form for a Lie group G is a distinguished differential form on G that carries within itself the basic infinitesimal information about the structure of G. It was much used by Elie Cartan, as a basic ingredient of his method of moving frames.

Let $g = T e G$ be the tangent space of a Lie group G at the identity (its Lie algebra). G acts on itself by left translation

$L_h:G\ni k\mapsto hk\in G$ ,

and this induces a map of the tangent bundle to itself

$(L_h)_*:T_kG\rightarrow T_{hk}G$ .

A left-invariant vector field is a section X of $T G$ such that

(L h) * X = X

for all $h\in G$

The Maurer-Cartan form $ω$ is a g-valued one-form on G defined on vectors $v\in T_h G$ by the formula $\omega(v)=(L_{h^{-1}})_*v\in g$ . If X is a left-invariant vector field on G, then $ω(X)$ is constant on G. Furthermore, if X and Y are both left-invariant, then

ω([X, Y]) = [ω(X),ω(Y)]

where the bracket on the LHS is the Lie bracket of vector fields, and the bracket on the RHS is the bracket on the Lie algebra g. (This may be used as the definition of the bracket on g.) These facts may be used to establish an isomorphism of Lie algebras

$g=T_eG\cong \{\hbox{left-invariant vector fields on G}\}$ .

By the definition of the differential (mathematics), if X and Y are arbitrary vector fields then

d ω(X, Y) = X (ω(Y)) - Y (ω(X)) - ω([X, Y])

In particular, if X and Y are left-invariant, then

X (ω(Y)) = Y (ω(X)) = 0

d ω(X, Y) + [ω(X),ω(Y)] = 0

but the left-hand side is simply a 2-form, so the equation does not rely on the fact that X and Y are left-invariant. The conclusion follows that the equation is true for any pair of vector fields X and Y. This is known as the Maurer-Cartan equation.

Categories: Lie groups | Equations