Math 2.0

Topological groups, Lie groups Definition

Maurer–Cartan form

Builds on Lie groupOne-formDifferential of a smooth mapZariski tangent spaceLeft-invariant vector field

Definition

Let GG be a Lie group with identity ee and Lie algebra 𝔤=TeG\mathfrak{g} = T_eG, the tangent space at ee. For g∈Gg \in G, let Lg ⁣:G→GL_g \colon G \to G, Lg(h)=ghL_g(h) = gh, be left translation. The (left) Maurer–Cartan form is the 𝔤\mathfrak{g}-valued one-form ω\omega on GG with ωg=(dLg−1)g ⁣:TgG→𝔤,\omega_g = (dL_{g^{-1}})_g \colon T_gG \to \mathfrak{g}, for each g∈Gg \in G, where (dLg−1)g(dL_{g^{-1}})_g is the differential of Lg−1L_{g^{-1}} at gg.

Remarks

Example: for G=GLn(ℝ)G = GL_n(\R), left translation by g−1g^{-1} is the linear map V↦g−1VV \mapsto g^{-1}V of Mn(ℝ)M_n(\R). So ωg(V)=g−1V\omega_g(V) = g^{-1} V, written ω=g−1 dg\omega = g^{-1}\, dg. Then dω=−g−1 dg g−1∧dg=−ω∧ωd\omega = -g^{-1}\,dg\, g^{-1} \wedge dg = -\omega \wedge \omega, which is the Maurer–Cartan equation for matrix groups.

Non-example: the form ωg′=(dRg−1)g\omega'_g = (dR_{g^{-1}})_g, with Rg(h)=hgR_g(h) = hg, also takes values in 𝔤\mathfrak{g}, but it is not the left Maurer–Cartan form. For GLn(ℝ)GL_n(\R) it is dg g−1dg\, g^{-1}, and at g=(1002)g = \begin{pmatrix} 1 & 0 \\ 0 & 2 \end{pmatrix}, V=(0100)V = \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} one gets Vg−1=12V≠V=g−1VV g^{-1} = \tfrac12 V \ne V = g^{-1}V. It is the right Maurer–Cartan form.

The form ω\omega is left-invariant: Lh∗ω=ωL_h^*\omega = \omega for all h∈Gh \in G. For each left-invariant vector field XX, the function ω(X)\omega(X) is constant, equal to XeX_e. In general it satisfies dω+12[ω∧ω]=0d\omega + \tfrac12[\omega \wedge \omega] = 0.

Reading path

To understand this page from the ground up, read these 7 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Differential form concept
  2. Differential of a smooth map concept
  3. Left-invariant vector field concept
  4. Lie group concept
  5. Zariski tangent space concept
  6. One-form concept
  7. Maurer–Cartan form definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Maurer%E2%80%93Cartan_form
About this page
TagX0X1Q5JZFK
URIm2://X0X1Q5JZFK
Kinddefinition
WritingW0 stub
MSC22E60, 53C05
DefinesMaurer–Cartan form
UsesLie group, One-form, Differential of a smooth map, Zariski tangent space, Left-invariant vector field
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.