Forma di Maurer-Cartan

In matematica, la forma di Maurer–Cartan associata ad ogni gruppo di Lie $G$ è una particolare 1-forma differenziale su $G$ che codifica l'informazione a livello infinitesimo circa la struttura del gruppo $G$. Fu usata dal matematico Élie Cartan come ingrediente fondamentale del suo metodo dei riferimenti mobili e porta il suo nome accanto a quello di Ludwig Maurer.

Definizione

Sia $G$ un gruppo di Lie, $𝔤=T_{e}G$ la sua algebra di Lie.

Ogni elemento $g\in G$ induce la seguente moltiplicazione (che risulta essere un diffeomorfismo)

$L_{g^{-1}}:G\to G$

$L_{g^{-1}}(h):=g^{-1}h$

e la mappa tangente (detta anche differenziale)

$(T{L}_{g^{-1}}{)}_g:T_{g}G\to T_{e}G=𝔤$.

La 1-forma di Maurer-Cartan $\omega \in {\mathrm{\Omega }}^1(G,𝔤)$ è definita da:

$\omega (v):=(T{L}_{g^{-1}}{)}_g(v),$

per ogni vettore tangente $v\in T_{g}G,g\in G$.

Bibliografia

• Template:En Nicolas Bourbaki (1989): Elements of Mathematics. Lie groups and Lie algebras, Springer, ISBN 3-540-50218-1.

Voci correlate

• Gruppo di Lie