# Differentiation Problem on Lie Groups

Gold Member
Suppose θ is a differential 1 form defined on a manifold and with values in the Lie algebra of a Lie group,G.

On MxG define the 1 form, ad(g)θ ,where θ is extended by letting it be zero on the tangent space to G

How do you compute the exterior derivative, dad(g)θ ?

BTW: For matrix Lie groups this is straightforward. What is the abstract calculation?

## Answers and Replies

Gold Member
Here is some computation for matrix groups

dad(g)θ(x + h, y + k) = (x + h).ad(g)θ(y + k) - (y + k).ad(g)θ(x + h) -ad(g)θ[x + h, y + k]

where Y and X are tangent to the manifold and h and K are left invariant vector fields.

Computing:

dad(g)θ(x + h, y + k) = (x + h).ad(g)θ(y) - (y + k).ad(g)θ(x) -ad(g)θ[x, y]

h.ad(g)θ(y) = h. gθ(y)g$^{-1}$ = dg(h)θ(y)g$^{-1}$ - gθ(y)g$^{-1}$dg(h)g$^{-1}$

= dg(h)g$^{-1}$gθ(y)g$^{-1}$ - gθ(y)g$^{-1}$dg(h)g$^{-1}$

= ω(h)ad(g)θ(y) - ad(g)θ(y)ω(h) where ω is the right invariant Maurer-Cartan form.

Simplify?

Last edited:
D H
Staff Emeritus