A Maurer–Cartan forms for a matrix group?

I am very confused about that in some literature the Maurer Cartan forms for a matrix group is written as

##{\omega _g} = {g^{ - 1}}dg##

what is ##dg## here? can anyone give an example explicitly?
My best guess is
##

dg = \left( {\begin{array}{*{20}{c}}
{d{x^{11}}}& \ldots &{d{x^{1m}}}\\
\vdots & \ddots & \vdots \\
{d{x^{m1}}}& \cdots &{d{x^{mm}}}
\end{array}} \right)% MathType!End!2!1!

##
and if ## V \in {T_e}G##, I can find

##{\left. {{X_V}} \right|_g} = {L_{g * }}V = {\left. {{{(gV)}^{kj}}\frac{\partial }{{\partial {x^{kj}}}}} \right|_g}##

in this way i seem to be able to pullback ##{\left. {{X_V}} \right|_g}##

##\begin{array}{l}
{g^{ - 1}}dg({X_V}) = {({g^{ - 1}})^{ik}}d{x^{kj}}\left( {{{(gV)}^{mn}}\frac{\partial }{{\partial {x^{mn}}}}} \right)\\
= {({g^{ - 1}})^{im}}{(gV)^{mn}} = {({g^{ - 1}}gV)^{in}} = {V^{in}}
\end{array}##

am I right ?
 
Last edited:

Ben Niehoff

Science Advisor
Gold Member
1,864
158
The Lie group is a smooth manifold, which means that the elements of the group are at a one-to-one correspondence with points on the manifold. ##g : M \to G## is a map from the manifold into the group. ##g^{-1}##, however, does not mean the inverse of this map, but rather it means the group inverse of the group element in the image of ##g##.

Take ##SU(2) \simeq S^3## for a concrete example. ##g : S^3 \to SU(2)## gives you the corresponding group element living at each point of the 3-sphere. Choose some convenient coordinates ##x^i## on the 3-sphere, and now ##dg## can be given in coordinates:

$$dg = \partial_i g \, dx^i$$
 
The Lie group is a smooth manifold, which means that the elements of the group are at a one-to-one correspondence with points on the manifold. ##g : M \to G## is a map from the manifold into the group. ##g^{-1}##, however, does not mean the inverse of this map, but rather it means the group inverse of the group element in the image of ##g##.

Take ##SU(2) \simeq S^3## for a concrete example. ##g : S^3 \to SU(2)## gives you the corresponding group element living at each point of the 3-sphere. Choose some convenient coordinates ##x^i## on the 3-sphere, and now ##dg## can be given in coordinates:

$$dg = \partial_i g \, dx^i$$
Thanks very much for the help, but I am still not clear what does ##{\partial _i}g## mean here. Can you write it more explicitly if ##g## have coordinates ##\{ {x^i}(g)\} ##?
 

Want to reply to this thread?

"Maurer–Cartan forms for a matrix group?" You must log in or register to reply here.

Related Threads for: Maurer–Cartan forms for a matrix group?

  • Posted
Replies
5
Views
759
  • Posted
Replies
6
Views
5K
Replies
4
Views
2K
  • Posted
Replies
5
Views
7K
Replies
2
Views
5K
Replies
6
Views
6K
Replies
3
Views
3K
Replies
1
Views
2K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top