Liealgebrakohomologi

Fra Wikipedia, den frie encyklopædi

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.

Motivation[redigér | rediger kildetekst]

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.

Definition[redigér | rediger kildetekst]

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 dimensioner[redigér | rediger kildetekst]

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å[redigér | rediger kildetekst]

Referencer[redigér | rediger kildetekst]

  • Chevalley, Claude; Eilenberg, Samuel (1948), "Cohomology Theory of Lie Groups and Lie Algebras", Transactions of the American Mathematical Society, Providence, R.I.: American Mathematical Society, 63 (1): 85-124, ISSN 0002-9947, MR0024908
  • Hilton, P. J.; Stammbach, U. (1997), A course in homological algebra, Graduate Texts in Mathematics, vol. 4 (2nd udgave), Berlin, New York: Springer-Verlag, ISBN 978-0-387-94823-2, MR1438546
  • Knapp, Anthony W. (1988), Lie groups, Lie algebras, and cohomology, Mathematical Notes, vol. 34, Princeton University Press, ISBN 978-0-691-08498-5, MR938524