Liealgebrakohomologi

I matematik er Liealgebrakohomologi en kohomologiteori for Liealgebraer. Den blev defineret af Claude Chevalley og Samuel Eilenberg (1948) for at give en algebraisk konstruktion af kohomologien af de til kompakte Liegrupper underliggende topologiske rum. I artiklen af Chevalley og Eilenberg defineres et bestemt kompleks, kaldet Koszulkomplekset, for et modul over en Liealgebra, og kohomologien heraf defineres som den sædvanlige kohomologi af komplekset.

MotivationRediger

Hvis G er en kompakt enkeltsammenhængende Liegruppe, er den bestemt af sin Liealgebra, så det burde være muligt at udregne kohomologien af G ud fra kendskab til Liealgebraen. Dette kan gøres som følger. Kohomologien er de Rham-kohomologien af komplekset af differentialformerG. Dette kan erstattes af komplekset af ækvivariante differentialformer, der omvendt kan identificeres med den ydre algebra af Liealgebraen med et passende differential. Konstruktionen af dette differential på en ydre algebra giver mening for enhver Liealgebra og bruges således til at definere Liealgebrakohomologi for alle Liealgebraer og ikke blot for Liealgebraer hørende til Liegrupper som ovenfor. Mere generelt giver en lignende konstruktion anledning til Liealgebrakohomologi med koefficienter i et modul.

DefinitionRediger

Lad   være en Liealgebra over en kommutativ ring R med universel indhylningsalgebra  , og lad M være en repræsentation af   (eller, ækvivalent, et  -modul). Ved at betragte R som den trivielle repræsentation af   fås kohomologigrupperne

 ,

hvor Ext her betegner Ext-funktoren. Ækvivalent er disse de højre-afledte funktorer af den venstreeksakte invariant-undermodul-funktor

 .

Analogt hertil kan man definere en Liealgebrahomologi ved

 ,

hvor Tor betegner Tor-funktoren. Disse svarer til de venstre-afledte funktorer af den højreeksakte koinvariant-funktor.

 .

Grundlæggende vigtige resultater om Liealgebrakohomologi omfatter blandt andet Whiteheads lemmaer, Weyls sætning og Levis dekompositionssætning.

Kohomologi i lave dimensionerRediger

Den nulte kohomologigruppe er pr. definition blot invarianterne af Liealgebraen virkende på modulet:

 .

Den første kohomologigruppe er rummet Der af derivationer modulo rummet Ider af indre derivationer

 

hvor en derivation d er en afbildning fra Liealgebraen til M, så

 ,

og en sådan kaldes indre, hvis den er givet ved

 

for et a i M.

Den anden kohomologigruppe

 

er rummet af ækvivalensklasser af Liealgebraudvidelser

 

af Liealgebraen med modulet M.

Se ogsåRediger

ReferencerRediger