Maurer-Cartan forma

A Maurer-Cartan forma egy határozott 1-forma a Lie csoportban , a Lie algebra értékeivel , amely alapvető, végtelenül kicsiny információt hordoz a csoport szerkezetéről. Eli Cartan széles körben használta a benchmarkok mozgatására irányuló módszerének fő összetevőjeként . Cartan neve mellett Ludwig Maurer nevét viseli .

Épület

A Lie algebrát a Lie csoport G azonosságánál lévő érintőterével azonosítjuk, és T e G -vel jelöljük . A Maurer–Cartan ω forma egy G  -n globálisan definiált 1-forma , amely a T g G érintőterek lineáris leképezése minden gG -re T e G -re . Úgy definiálható, mint a T g G vektor transzlációja a csoport balra történő eltolása hatására:

Belső felépítés

Ha G beágyazódik a GL( n ) -be egy g =( g ij ) mátrixértékű leképezéssel , akkor az ω alak kifejezetten felírható:

Ebben az értelemben a Maurer-Cartan alak mindig g bal oldali logaritmikus származéka .

Irodalom