Maurer–Cartan forms for a matrix group?

  • Context: Graduate 
  • Thread starter Thread starter lichen1983312
  • Start date Start date
  • Tags Tags
    Forms Group Matrix
Click For Summary
SUMMARY

The discussion centers on the Maurer-Cartan forms for a matrix group, specifically the expression ##{\omega _g} = {g^{ - 1}}dg##. The term ##dg## is clarified as the differential of the group element, represented in coordinates as ##dg = \partial_i g \, dx^i##. The example of the Lie group ##SU(2) \simeq S^3## is used to illustrate the relationship between the group elements and points on the manifold, emphasizing that ##g^{-1}## refers to the group inverse rather than the inverse of the mapping from the manifold to the group.

PREREQUISITES
  • Understanding of Lie groups and smooth manifolds
  • Familiarity with differential forms and their applications
  • Knowledge of the group structure of ##SU(2)##
  • Basic proficiency in differential geometry and calculus
NEXT STEPS
  • Study the properties of Maurer-Cartan forms in detail
  • Explore the relationship between Lie groups and their corresponding Lie algebras
  • Learn about the applications of differential forms in physics, particularly in gauge theories
  • Investigate the topology of ##SU(2)## and its implications in quantum mechanics
USEFUL FOR

Mathematicians, physicists, and students studying differential geometry, particularly those interested in the applications of Lie groups and their representations in theoretical physics.

lichen1983312
Messages
85
Reaction score
2
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:
Physics news on Phys.org
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$$
 
Ben Niehoff said:
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)\} ##?
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 6 ·
Replies
6
Views
7K
  • · Replies 4 ·
Replies
4
Views
5K
  • · Replies 7 ·
Replies
7
Views
4K