REPREZENTACIJE NILPOTENTNIH LIEJEVIH GRUPA Prof. dr. sc. Hrvoje Kraljević Predavanja održana u okviru poslijediplomskog studija na PMF Matematičkom od

Слични документи
SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Ivana Šore REKURZIVNOST REALNIH FUNKCIJA Diplomski rad Voditelj rada: doc.

UAAG Osnovne algebarske strukture 5. Vektorski prostori Borka Jadrijević

JMBAG IME I PREZIME BROJ BODOVA 1. (ukupno 6 bodova) MJERA I INTEGRAL 1. kolokvij 4. svibnja (Knjige, bilježnice, dodatni papiri i kalkulatori n

Skripte2013

vjezbe-difrfv.dvi

JMBAG IME I PREZIME BROJ BODOVA MJERA I INTEGRAL 2. kolokvij 29. lipnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) 1. (

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Elizabeta Borovec ALGEBARSKA PROŠIRENJA POLJA Diplomski rad Voditelj rada:

JMBAG IME I PREZIME BROJ BODOVA MJERA I INTEGRAL završni ispit 6. srpnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) 1.

Sveučilište J.J.Strossmayera u Osijeku Odjel za matematiku Preddiplomski studij matematike Margareta Tvrdy Banachovi prostori Završni rad Osijek, 2013

Matrice. Algebarske operacije s matricama. - Predavanje I

Algebarske strukture Boris Širola

Test iz Linearne algebre i Linearne algebre A qetvrti tok, U zavisnosti od realnog parametra λ rexiti sistem jednaqina x + y + z = λ x +

Linearna algebra Mirko Primc

ZADACI ZA VJEŽBU 1. Dokažite da vrijedi: (a) (A \ B) (B \ A) = (A B) (A C B C ), (b) A \ (B \ C) = (A C) (A \ B), (c) (A B) \ C = (A \ C) (B \ C). 2.

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Petar Bakić GEOMETRIJA SHEMA Diplomski rad Voditelj rada: prof. dr. sc. Go

Slide 1

Sveučilište J.J. Strossmayera u Osijeku Odjel za matematiku Sveučilišni preddiplomski studij matematike Ana Vilić Unitarni operatori Završni rad Osije

Uvod u obične diferencijalne jednadžbe Metoda separacije varijabli Obične diferencijalne jednadžbe Franka Miriam Brückler

JMBAG IME I PREZIME BROJ BODOVA 1. (ukupno 20 bodova) MJERA I INTEGRAL Popravni ispit 7. rujna (Knjige, bilježnice, dodatni papiri i kalkulatori

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Elma Daferović HIJERARHIJA KONVEKSNIH FUNKCIJA Diplomski rad Voditelj rada

Konacne grupe, dizajni i kodovi

LINEARNA ALGEBRA 2 Popravni kolokvij srijeda, 13. velja e Zadatak 1. ( 7 + 5=12 bodova) Zadan je potprostor L = {(x 1, x 2, x 3, x 4 ) C 4 : x 1

Microsoft Word - 15ms261

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Igor Sušić LOKALNA IZRAČUNLJIVOST Diplomski rad Voditelj rada: doc.dr.sc.

Microsoft Word - 09_Frenetove formule

Algebarske strukture Skripta Saša Krešić-Jurić Odjel za matematiku Prirodoslovno-matematički fakultet Split skresic

GLATKE I RIEMANNOVE MNOGOSTRUKOSTI Željka Milin Šipuš, Juraj Šiftar 16. lipnja 2014.

Sadržaj 1 Diskretan slučajan vektor Definicija slučajnog vektora Diskretan slučajan vektor

ACTA MATHEMATICA SPALATENSIA Series didactica Vol.2 (2019) Malo kompleksne analize i osnovni teorem algebre Ljiljana Arambašić, Maja Horvat Saže

Microsoft Word - predavanje8

ANALITIČKA GEOMETRIJA Željka Milin Šipuš i Mea Bombardelli verzija Uvod i povijesni osvrt Analitička geometrija bavi se proučavanjem (klasične)

PRVI KOLOKVIJUM Odrediti partikularno rexee jednaqine koje zadovo ava uslov y(0) = 0. y = x2 + y 2 + y 2xy + x + e y 2. Odrediti opxte rexee

07jeli.DVI

Univerzitet u Nišu PRIRODNO-MATEMATIČKI FAKULTET Departman za matematiku Master rad GRUPNI INVERZ OPERATORA Mentor: Prof. dr Dijana Mosić Student: Iva

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO-MATEMATIČKI FAKULTET MATEMATIČKI ODJEL Ilja Gogić Potpuno ograničeni operatori i subhomogene C -algebre Disertacij

Skalarne funkcije više varijabli Parcijalne derivacije Skalarne funkcije više varijabli i parcijalne derivacije Franka Miriam Brückler

1 Polinomi jedne promenljive Neka je K polje. Izraz P (x) = a 0 + a 1 x + + a n x n = n a k x k, x K, naziva se algebarski polinom po x nad poljem K.

Univerzitet u Nišu Prirodno - matematički fakultet Departman za matematiku Prostori nizova c 0 i l p Master rad Mentor: Prof. dr. Dragan -Dorđević Stu

2.7 Taylorova formula Teorem 2.11 Neka funkcija f : D! R; D R m ; ima na nekoj "-kugli K(T 0 ; ; ") D; T 0 x 0 1; :::; x 0 m neprekidne derivacije do

ALGEBRA Prof. dr. sc. Hrvoje Kraljević Predavanja održana na Odjelu za matematiku Sveučilišta Josipa Jurja Strossmayera u Osijeku u ljetnom semestru a

PRIRODOSLOVNO-MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Doris Dumičić Danilović Poopćenje i profinjenje nekih algoritama za konstrukciju blokovnih dizaj

Univerzitet u Nišu Prirodno-matematički fakultet Departman za matematiku Različite karakterizacije proizvoda projektora Master rad Mentor: Prof. dr. D

handout.dvi

ФАКУЛТЕТ ОРГАНИЗАЦИОНИХ НАУКА

(Microsoft Word - MATB - kolovoz osnovna razina - rje\232enja zadataka)

MATEMATIČKA ANALIZA I primjeri i zadaci Ante Mimica 8. siječnja 2010.

Hej hej bojiš se matematike? Ma nema potrebe! Dobra priprema je pola obavljenog posla, a da bi bio izvrsno pripremljen tu uskačemo mi iz Štreberaja. D

ALGEBRA I (2010/11)

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Tomislav Gužvić GALOISOVE REPREZENTACIJE PRIDRUŽENE ELIPTIČKIM KRIVULJAMA

Metoda konačnih elemenata; teorija i praktična implementacija math.e 1 of 15 Vol.25. math.e Hrvatski matematički elektronički časopis Metoda konačnih

Matematka 1 Zadaci za vežbe Oktobar Uvod 1.1. Izračunati vrednost izraza (bez upotrebe pomoćnih sredstava): ( ) [ a) : b) 3 3

s2.dvi

Sveučilište u Zagrebu PMF Matematički odjel Filip Nikšić PROPOZICIONALNA DINAMIČKA LOGIKA Diplomski rad Zagreb, listopad 2009.

Pripreme 2016 Indukcija Grgur Valentić lipanj Zadaci su skupljeni s dva predavanja na istu temu, za učenike od prvog do trećeg razreda i za MEMO

Diferenciranje i integriranje pod znakom integrala math.e Vol math.e Hrvatski matematički elektronički časopis Diferenciranje i integriranje pod

Title

3. Neprekinute funkcije U ovoj to ki deniramo neprekinute funkcije. Slikovito, graf neprekinute funkcije moºemo nacrtati a da ne diºemo olovku s papir

Vektorske funkcije i polja Mate Kosor / 23

Neprekidnost Jelena Sedlar Fakultet građevinarstva, arhitekture i geodezije Jelena Sedlar (FGAG) Neprekidnost 1 / 14

18 1 DERIVACIJA 1.3 Derivacije višeg reda n-tu derivaciju funkcije f označavamo s f (n) ili u Leibnizovoj notaciji s dn y d x n. Zadatak 1.22 Nadite f

JMBAG IME I PREZIME BROJ BODOVA 1. (ukupno 6 bodova) MJERA I INTEGRAL 1. kolokvij 5. svibnja (Knjige, bilježnice, dodatni papiri i kalkulatori n

atka 26 (2017./2018.) br. 102 NEKE VRSTE DOKAZA U ČAROBMATICI Jadranka Delač-Klepac, Zagreb jednoj smo priči spomenuli kako je važno znati postavljati

Konstrukcija i analiza algoritama Nina Radojičić februar Analiza algoritama, rekurentne relacije 1 Definicija: Neka su f i g dve pozitivne fun

Optimizacija

Univerzitet u Nišu Prirodno matematički fakultet Departman za matematiku Master rad Grupe kretanja. Izometrijske transformacije i njihove grupe Studen

knjiga.dvi

Microsoft Word - 6ms001

Generalizirani trag i normalne forme za logiku interpretabilnosti Vedran Čačić PMF Matematički odsjek Sveučilište u Zagrebu Dubrovnik radiona Sustavi

MATEMATIKA Preddiplomski studij molekularne biologije Damir Bakić

MAT KOL (Banja Luka) ISSN (p), ISSN (o) Vol. XX (2)(2014), PELLOVA JEDNAČINA I PITAGORIN

(Microsoft Word - Dr\236avna matura - studeni osnovna razina - rje\232enja)

PEDAGOŠKI ZAVOD TUZLA u saradnji s UDRUŽENJEM MATEMATIČARA TUZLANSKOG KANTONA Takmičenje učenika srednjih škola Tuzlanskog kantona iz MATEMATIKE Tuzla

JMBAG IME I PREZIME BROJ BODOVA MJERA I INTEGRAL 2. kolokvij 28. lipnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) 1. (

Matematika 1 - izborna

UDRUµZENJE MATEMATI µcara TUZLANSKOG KANTONA PROF. DR. MEHMED NURKANOVIĆ FUNKCIONALNE JEDNADµZBE SEMINAR ZA PROFESORE MATEMATIKE SREDNJIH ŠKOLA TUZLAN

P1.1 Analiza efikasnosti algoritama 1

Microsoft Word - Rjesenja zadataka

Konstrukcija linearnih višekoračnih metodi Postoje tri važne familije višekoračnih metoda: Adamsovi metodi Adams-Bashfortovi metodi kod kojih je ρ(w)

Numerička matematika 11. predavanje dodatak Saša Singer web.math.pmf.unizg.hr/~singer PMF Matematički odsjek, Zagreb NumMat 2019, 11. p

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Kristijan Kilassa Kvaternik THURSTONOVE GEOMETRIJE Diplomski rad Voditelj

Newtonova metoda za rješavanje nelinearne jednadžbe f(x)=0

Grupiranje podataka: pristupi, metode i primjene, ljetni semestar 2013./ Standardizacija podataka Predavanja i vježbe 8 Ako su podaci zadani

Veeeeeliki brojevi

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Mihael Maltar MATRICE UDALJENOSTI U GRAFOVIMA Diplomski rad Voditelj rada:

(Microsoft Word - Rje\232enja zadataka)

7. predavanje Vladimir Dananić 14. studenoga Vladimir Dananić () 7. predavanje 14. studenoga / 16

(Microsoft Word - MATB - kolovoz vi\232a razina - rje\232enja zadataka)

m3b.dvi

Elementarna matematika 1 - Oblici matematickog mišljenja

Microsoft PowerPoint - IS_G_predavanja_ [Compatibility Mode]

(Microsoft Word - Dr\236avna matura - svibanj vi\232a razina - rje\232enja)

(Microsoft Word - 1. doma\346a zada\346a)

Microsoft Word - 24ms221

Analiticka geometrija

gt3b.dvi

Matematički fakultet Univerzitet u Beogradu Elementarne funkcije i preslikavanja u analizi Master rad Mentor: dr Miodrag Mateljević Student: Marija Vu

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Ivan Posavčević IZRAČUNLJIVOST NA SKUPOVIMA Z, Q, R I C Diplomski rad Zagr

Celobrojno programiranje Rešavamo sledeći poblem celobrojnog programiranja: min c T x Ax = b x 0 x Z n Gde pretpostavljamo da je A celobrojna matrica

MAT-KOL (Banja Luka) XXIV (2)(2018), DOI: /МК S ISSN (o) ISSN (o) Klasa s

Sveučilište J. J. Strossmayera u Osijeku Odjel za matematiku Sveučilišni preddiplomski studij matematike Karolina Novaković Derivacija funkcije i prim

Транскрипт:

REPREZENTACIJE NILPOTENTNIH LIEJEVIH GRUPA Prof. dr. sc. Hrvoje Kraljević Predavanja održana u okviru poslijediplomskog studija na PMF Matematičkom odjelu Sveučilišta u Zagrebu u akademskoj godini 1978./1979.

2

Sadržaj 1 NILPOTENTNE GRUPE 5 2 NILPOTENTNE LIEJEVE ALGEBRE 17 3 LIEJEVA ALGEBRA NILPOTENTNE GRUPE 23 4 INVARIJANTNE MJERE 37 5 UNITARNE REPREZENTACIJE 43 6 INDUCIRANE REPREZENTACIJE 49 7 INDUCIRANE REPREZENTACIJE NILPOTENTNIH GRUPA 61 8 REPREZENTACIJE HEISENBERGOVE GRUPE 65 9 GȦRDINGOVA DOMENA 75 10 NILPOTENTNE GRUPE S 1 DIMENZIONALNIM CENTROM 79 11 KLASIFIKACIJA UNITARNIH IREDUCIBILNIH REPREZENTACIJA 87 3

4 SADRZ AJ

Poglavlje 1 NILPOTENTNE GRUPE Neka je V realan konačnodimenzionalan vektorski prostor. Neka je P(V ) unitalna podalgebra od R V generirana dualom V od V (ili potprsten od R V generiran sa V R). Elemnti od P(V ) zovu se polinomijalne funkcije (ili, kraće, polinomi) nav. Ako je n = dim V i(f 1,...,f n ) baza od V, tada je ci1...i n X i 1 1 Xn in c i1...i n f i 1 1 fn in izomorfizam unitalnih algebri sa R[X 1,...,X n ]nap(v ). Za polinom P P(V ) kažemo da je homogen stupnja k Z + ako vrijedi P (tv) =t k P (v) t R, v V. Neka je P k (V ) skup svih polinoma na V homogenih stupnja k. Očito je to potprostor od P(V ). Iz gornjeg izomorfizma izmedu R[X 1,...,X n ]ip(v) neposredno slijedi: Lema 1.1. (a) P(V )= k=0 P k(v ). (b) P k (V )P( l (V ) P k+l (V ). (c) P 0 (V )=R. (d) P 1 (V )=V. Neka je W takoder konačnodimenzionalan realan vektorski prostor i F : V W preslikavanje. Kažemo da je F polinomijalno preslikavanje ako je f F P(V ) za svaki f W. Neka je (w 1,...,w m ) baza od W. Definirajmo funkcije F 1,...,F m : V R sa m F (v) = F i (v)w i, v V. i=1 Odmah se vidi da je F polinomijalno preslikavanje ako i samo ako su F 1,...,F m P(V ). Neka je P(V,W) skup svih polinomijalnih preslikavanja V W. To je realan vektorski prostor. Nadalje, ako su F P(V,W) ig P(W, U), onda je G F P(V,U). Za P P(V )if P(V,W) definiramo preslikavanje PF : V W množenjem po točkama: (P F)(v) = P (v)f (v), v V. Tada je očito P F P(V,W) i na taj način P(V,W) postaje unitalni P(V ) modul. Preslikavanje F P(V,W) zove se homogeno stupnja k Z + ako je F (tv) =t k F (v) t R, v V. Neka je P k (V,W) potprostor svih polinomijalnih preslikavanja stupnja k. Iz leme 1.1. neposredno slijedi: 5

6 POGLAVLJE 1. NILPOTENTNE GRUPE Lema 1.2. (a) P(V,W) = k=0 P k(v,w). (b) P k (V )P l (V,W) P k+l (V,W). (c) P 0 (V,W) =W (uz identifikaciju w(v) =w, v V, w W ). (d) P 1 (V,W) =L(V,W) (prostor linearnih operatora sa V u W ). Nilpotentna grupa je konačno dimenzionalan realan vektorski prostor G snabdjeven s grupovnom operacijom m : G G G koja ima sljedeća dva svojstva: (a) m je polinomijalno preslikavanje sa G G u G. (b) Vrijedi m(sx, tx) =(s + t)x s, t R, x G. Napominjemo da ono što u ovom kolegiju zovemo nilpotentna grupa u standardnoj terminologiji zove se povezana jednostavno povezana nilpotentna Liejeva grupa. U daljnjem je stalno G nilpotentna grupa. Drugi uvjet u gornjoj definiciji znači da ako su x, y G linearno zavisni, onda je x + y produkt x i y u G. Pisat ćemo m(x, y) =xy, x, y G. Iz (b) slijedi da je za svako x G x0 =m(x, 0) = m(1x, 0,x) = (1+0)x =1x = x i 0x = m(0,x)=m(0x, 1x) = (0+1)x =1x = x. Dakle, 0 je jedinica u grupi G. Nadalje, m( x, x) =m(x, x) =m(1x, ( 1)x) =(1 1)x =0x =0. Dakle, x je inverzni element od x u grupi G. Propozicija 1.3. (a) Neka je x G i neka je funkcija g : R G definirana sa g(t) =tx. Tada je g neprekidni homomorfizam aditivne grupe R u grupu G. (b) Neka je g neprekidni homomorfizam aditivne grupe R u grupu G. Neka je x = g(1). Tada je g(t) =tx t R. Dokaz: Tvrdnja (a) slijedi neposredno iz definicije nilpotentne grupe: g(s + t) =(s + t)x = sx tx = g(s)g(t). (b) Neka je g : R G neprekidni homomorfizam i x = g(1). Tada je g(0) = 0 = 0x. Nadalje, za svaki n N imamo Nadalje, kako je za n N imamo i g(n) =g(1 + +1)=g(1) n = g(1) + + g(1) = ng(1) = nx. g( 1) = g(1) 1 = g(1) = x, g( n) =g( 1) n = ng( 1) = nx. Time je dokazano da je g(n) =ng(1) n Z. To vrijedi za svaki neprekidni homomorfizam sa R u G. Neka su n Z i m N. Primijenimo li dokazano na neprekidni homomorfizam t g ( t m) n, nalazimo ( n ( mg = g m m) n ) = g(n) =ng(1). m

Time je dokazano da vrijedi g(t) =tg(1) = tx t Q. Kako su g i t tx neprekidne funkcije sa R u G i kako je Q gusto u R, odatle slijedi da je g(t) =tx t R. Za konačnodimenzionalan realan vektorski prostor V označimo sa C (V ) prostor svih realnih funkcija na V klase C. Linearni funkcional X na prostoru C (V ) zove se tangencijalni vektor na V utočki v V ako vrijedi X(fg)=X(f)g(v)+f(v)X(g) f,g C (V ). Neka je T v (V ) skup svih tangencijalnih vektora na V u točki v. Očito je T v (V ) realan vektorski prostor (potprostor duala vektorskog prostora C (V )). Primijetimo da svaki tangencijalni vektor X T v (V ) preslikava svaku konstantu c R u nulu: X(c) =cx(1) = cx(1 1) = cx(1) + cx(1) = 2X(c) = X(c) =0. Neka je (x 1,...,x n ) Kartezijev koordinatni sustav na V (tj. baza dualnog prostora V ). Neka je (e 1,...,e n ) baza od V dualna bazi (x 1,...,x n ). Za f C (V ) definiramo f C (R n )sa ( n ) f(t 1,...,t n )=f t i e i. Dakle, ako je (x 1,...,x n ):V R n izmorfizam koordinatizacije, tj. i=1 7 (x 1,...,x n )(v) =(x 1 (v),...,x n (v)), v = n x i (v)e 1, v V, i=1 onda je f = f (x 1,...,x n ). Za vektor ( definiramo preslikavanje x j )v ( x j ) v v = n s i e i V i=1 : C (V ) R sa (f) =( j f)(s1,...,s n ), f C (V ). Pri tome je j oznaka za parcijalnu derivaciju po j toj varijabli. {( ( } Propozicija 1.4. Uz uvedene oznake x 1,..., x )v n je baza vektorskog prostora T v (V ). )v ( Dokaz: Lako se vidi da su x j T v (V ), 1 j n. )v Dokažimo da su ti tangencijalni vektori linearno nezavisni. Neka su c 1,...,c n R takvi da je n i=1 ( ) c i =0. x i v

8 POGLAVLJE 1. NILPOTENTNE GRUPE ( Koordinatne funkcije x 1,...,x n (x j )=δ ij, pa slijedi x i )v 0= n i=1 su elementi C (V ) i očito je x j (t 1,...,t n ) = t j. Odatle je ( ) c i (x j )=c j, 1 j n. x i v Time je linearna nezavisnost dokazana. ( ( Dokažimo sada da tangencijalni vektori x 1,..., x )v n razapinju prostor T v (V ). Neka je )v X T v (V ). Za f C (V )i(t 1,...,t n R n imamo Taylorovu formulu f(t 1,...,t n )= f(s 1,...,s n )+ n ( i f)(s1,...,s n )(t i s i )+ (t i s i )(t k s k )ϕ ik (t 1,...,t n ) i=1 1 i k n pri čemu su funkcije ϕ ik C (R n ) neovisne o funkciji f. Neka su ψ ik C (V ) takve da je ψ ik = ϕ ik. Iz prethodne jednakosti dobivamo n ( ) f = f(v)+ (f)(x i s i )+ (x i s i )(x k s k )ψ ik. x i Odatle je X(f) = + 1 i k n n ( i=1 x i i=1 ) v v (f)x(x i s i )+ 1 i k n (x i (v) s i )X(x k s k )ψ ik (v)+ 1 i k n 1 i k n X(x i s i )(x k (v) s k )ψ ik (v)+ (x i (v) s i )(x k (v) s k )X(ψ ik ). Tangencijalni vektor X poništava se na konstantama, pa je X(x i s i )=X(x i ) X(s i )=X(x i ). Nadalje, x j (v) =s j za 1 j n. Prema tome, X(f) = n i=1 ( ) X(x i ) (f). x i v Kako je funkcija f C (V ) bila proizvoljna, nalazimo da je n ( ) X = X(x i ). x i v Time je propozicija dokazana. i=1 Za w, v V definiramo w v : C (V ) R sa w v (f) = d dt f(v + tw) t=0, f C (V ). Očito je tada w v T v (V ).

9 Propozicija 1.5. w w v je izomorfizam vektorskih prostora sa V na T v (V ). Dokaz: Neka je Imamo w = n r j e j V, r 1,...,r n R. j=1 w v (x j )= d dt x j(v + tw) = d t=0 dt (s j + tr j ) dakle, prema posljednjoj formuli u dokazu propozicije 1.4. dobivamo n ( ) n ( ) w v = w v (x j ) = r j. x j v x j v j=1 To pokazuje da je w w v linearno preslikavanje sa V u T v (V ). Nadalje, za w = e i je r j = δ ij, pa imamo n ( ) ( ) (e i ) v = δ ij =. x j=1 j v x i v {( ( } Dakle, linearan operator w w v prevodi bazu {e 1,...,e n } prostora V u bazu x 1,..., x )v n )v prostora T v (V ). Time je propozicija dokazana. j=1 t=0 = r j, Za bilo koju (realnu) algebru A (asocijativnu ili ne) derivacija od A je linearno preslikavanje A : A Asa svojstvom A(ab) =A(a)b + aa(b) a, b A. Označavat ćemo sa Der(A) skup svih derivacija algebre A. Der(A) je očito vektorski prostor potprostor vektorskog prostora L(A) svih linearnih operatora sa A u A. Ako za A, B L(A) definiramo njihov komutator na uobičajeni način, [A, B] =AB BA, prostor L(A) postaje Liejeva algebra. Lema 1.6. Za svaku algebru A Der(A) je Liejeva podalgebra Liejeve algebre L(A). Dokaz: Za A, B Der(A) ia, b Aimamo redom [A, B](ab) =A(B(ab)) B(A(ab)) = A(B(a)b + ab(b)) B(A(a)b aa(b)) = = A(B(a))b)+B(a)A(b)+A(a)B(b)+aA(B(b)) B(A(a))b A(a)B(b) B(a)A(b) ab(a(b)) = [A, B](a)b+ Dakle, [A, B] Der(A) i lema je dokazana. Posebno, za unitalnu komutativnu asocijativnu algebru C (G) Liejevu algebru derivacija Der (C (G)) označavat ćemo sa A(G). Za f C (G) ix G definiramo f x C (G) saf x (z) =f(xy), z G. Očito je (f x ) y = f xy, f C (G), x,y G. Za A A(G) ix G definiramo A x : C (G) C (G) sa A x (f) =[A (f x )] x 1, f C (G).

10 POGLAVLJE 1. NILPOTENTNE GRUPE Lema 1.7. (a) A A x je linearan operator sa A(G) u A(G) za svaki x G. (b) Za bilo koje x, y G i A A(G) vrijedi (A x ) y = A yx. (c) Za x G i A, B A(G) je [A, B] x =[A x,b x ]. Dokaz: (a) Preslikavanje A A x je očito linearno. Nadalje, za f,g C (G) je A x (fg)=[a ((fg) x )] x 1 =[A (f x g x )] x 1 =[A (f x ) g x ] x 1 +[f x A (g x )] x 1 = =[A (f x )] x 1 g + f [A (g x )] x 1 = A x (f)g + fa x (g), dakle, A x A(G). (b) (A x ) y (f) =[A x (f y )] y 1 = {[ A ( )] (f y ) x x }y =[A (f yx)] 1 1 (yx) 1 = A yx (f). (c) Imamo A (f x )=[A x (f)] x i B (f x )=[B x (f)] x, pa je [A, B] x (f) ={[A, B](f x )} x 1 =[A (B (f x ))] x 1 [B (A (f x ))] x 1 = =(A {(B x (f)) x }) x 1 (B {(A x (f)) x }) x 1 = A x (B x (f)) B x (A x (f)) = [A x,b x ](f). Za derivaciju A od C (G) kažemo da je lijevoinvarijantna ako je A x = A x G. Skup D(G) svih lijevoinvarinatnih derivacija od C (G) je zbog tvrdnje (a) leme 1.7. potprostor od A(G), a zbog tvrdnje (c) iste leme, D(G) je Liejeva podalgebra od A(G). Za A A(G) ix G definiramo A x : C (G) R sa A x (f) =[A(f)](x), f C (G). Odmah se vidi da je A x T x (G) idajea A x linearan operator sa A(G) ut x (G). Propozicija 1.8. Za svako x G preslikavanje A A x je izomorfizam vektorskog prostora D(G) na vektorski prostor T x (G). Dokaz: Injektivnost. Neka je A D(G) i pretpostavimo da je A x = 0 za neko x G. Tada je [A(f)](x) =0 f C (G). Odatle za svako f C (G) i svako y G dobivamo redom 0=[A (f y 1)] (x) =[A y (f y 1)] (x) =[A(f) y 1](x) =[A(f)] ( y 1 x ). Zamijenimo li y sa xz 1, slijedi [A(f)](z) =0 z G, f C (G) = A(f) =0 f C (G) = A =0. Surjektivnost. Neka je X T x (G). Prijelazom na koordinate lako se vidi da je za svaku f C (G) funkcija X(f), definirana sa [ ] X(f) (y) =X (f yx 1), y G, takoder u C (G). Preslikavanje X : C (G) C (G) je linearan operator. Nadalje, za proizvoljne f,g C (G) iy G imamo redom [ X(fg) ] (y) =X ((fg) yx 1) =X (f yx 1g yx 1) = = X (f yx 1) g yx 1(x)+f yx 1(x)X (g yx 1) = [ ] [ ] X(f) (y)g(y)+f(y) X(g) (y).

Dakle, X(fg)= X(f)g + f X(g), odnosno, X A(G). Nadalje, za proizvoljne f C (G) iz, y G imamo [ [ [ ) [ ] (f)] Xz (y) = X (fz )] (y) = X (fz )] (z 1 y)=x ((f z ) z 1yx = X (f z 1 1 yx 1) = X(f) (y). To pokazuje da je X z = X z G, odnosno, X D(G). Napokon, za proizvoljnu funkciju f C (G) je X x (f) = 11 [ X(f) ] (x) =X(f), dakle, Xx = X. Tangencijalni prostor T e (G) nag u jedinici e grupe G (to je 0 u vektorskom prostoru G) označavat ćemo sa L(G). Prema prethodnoj propoziciji A A e je izomorfizam vektorskih prostora sa D(G) nal(g). Inverzni izomorfizam je X X, gdje je [ ] X(f) (x) =X (f x ), x G, f C (G), X L(G). Pomoću tih izomorfizama prenosimo strukturu Liejeve algebre sa D(G)naL(G). S tom strukturom L(G) zove se Liejeva algebra nilpotentne grupe G. Dakle, za X, Y L(G) if C (G) je ) [X, Y ](f) =X (Ỹ (f) Y ( X(f) ). Propozicija 1.9. Za svaki X L(G) postoji jedinstven neprekidni homomorfizam ϕ : R G takav da je X(f) = d dt f(ϕ(t)) t=0, f C (G). Tada je [ X(f) ] (x) = d dt f(xϕ(t)) t=0, f C (G), x G. Obratno, ako je ϕ : R G neprekidni homomorfizam, tada je preslikavanje X : C (G) R, definirano sa X(f) = d dt f(ϕ(t)) t=0, f C (G), tangencijalni vektor na G u jedinici e(= 0), tj. X L(G). Dokaz: Druga je tvrdnja očigledna. Dokažimo prvu. Neka je X L(G). Izaberimo Kartezijev koordinatni sustav (x 1,...,x n )nag. Tada znamo da je X = n i=1 ( ) c i, gdje je c i = X (x i ). x i 0 Neka je (e 1,...,e n ) baza u vektorskom prostoru G dualna bazi (x 1,...,x n ) i neka je x = c 1 e 1 + + c n e n. Definiramo ϕ : R G sa ϕ(t) =tx. Tada je za proizvoljnu f C (G) : d dt f(ϕ(t)) = d t=0 dt t=0 f(tx) = d dt f(tc 1,...,tc n ) = t=0 = n i=1 ( ) i f (0)c i = n i=0 ( ) c i (f) =X(f). x i 0

12 POGLAVLJE 1. NILPOTENTNE GRUPE Time je egzistencija u prvoj tvrdnji dokazana. Dokažimo još jedinstvenost. Neka su ϕ, ψ : R G dva neprekidna homomorfizma i pretpostavimo da je d dt f(ϕ(t)) = d t=0 dt t=0 f(ψ(t)) f C (G). Prema propoziciji 1.3. postoje x, y G takvi da je ϕ(t) =tx i ψ(t) =ty. Prikažimo x i y u bazi: x = n c i e i, y = i=1 n d i e i. i=1 Imamo ( d dt x n ) j(ϕ(t)) = d t=0 dt x j tc i e i = c j t=0 i analogno, d dt x j(ψ(t)) = d j. t=0 Slijedi c j = d j za svaki j, odnosno, x = y, što znači da je ϕ = ψ. Definirat ćemo sada preslikavanja exp : L(G) G i log : G L(G). Za X L(G) neka je ϕ X : R G jedinstveni neprekidni homomorfizam takav da je X(f) = d dt f (ϕ X(t)), f C (G). t=0 Definiramo exp X = ϕ X (1), i=1 X L(G). Za s R, X L(G) if C (G) imamo redom d dt f(ϕ sx(t)) =(sx)(f) =sx(f) =s d t=0 dt f(ϕ X(t)) = d t=0 dt f(ϕ X(st)). t=0 Zbog jedinstvenosti u propoziciji 1.9. zaključujemo da je ϕ sx (t) =ϕ X (t), a odatle ϕ X (s) = exp sx, s R, X L(G). Prema propoziciji 1.3. preslikavanje ϕ ϕ(1) je bijekcija sa skupa svih neprekidnih homomorfizama R G na grupu G. Nadalje, prema propoziciji 1.9. X ϕ X je bijekcija sa L(G) na skup svih neprekidnih homomorfizama R G. Preslikavanje exp : L(G) G je upravo kompozicija tih dviju bijekcija. Posebno, exp je bijekcija sa L(G) nag. Štoviše, iz dokaza propozicije 1.9. vidi se da je exp : L(G) G izomorfizam vektorskih prostora. Ako je (e 1,...,e n ) baza od G i(x 1,...,x n ) pripadni Kartezijev koordinatni sustav na G (tj. dualna baza dualnog prostora), onda je ( n ( ) ) n exp c i = c i e i. x i=1 i 0 i=1 Preslikavanje log : G L(G) definiramo kao inverzno preslikavanje izomorfizma exp : L(G) G. Dakle, (log x)(f) = d dt t=0 f(tx).

13 Prema propoziciji 1.9. imamo: X(f) = d dt f(exp tx) t=0, f C (G), X L(G), [ X(f) ] (x) = d dt f(x exp tx) t=0, f C (G), X L(G), x G. PRIMJERI 1. Neka je G = R n uz zbrajanje kao grupovnu operaciju. Tada je G nilpotentna grupa, L(G) se identificira sa R n tako da je exp = log = id R n. Grupa G je komutativna, a i njena Liejeva algebra: [X, Y ]=0 X, Y L(G). 2. Neka je G = N n (R) skup svih gornje trokutastih matrica u M n (R) s jedinicama na dijagonali. To je podgrupa grupe GL(n, R) svih regularnih matrica n n. Na G ćemo uvesti strukturu vektorskog prostora tako da G postane nilpotentna grupa. Neka je n n (R) skup svih strogo gornje trokutastih matrica n n; n n (R) je vektorski prostor nad R dimenzije n(n 1) i to je Liejeva algebra u odnosu na komutator matrica [A, B] =AB BA. 2 Uočimo sada sljedeće tri evidentne činjenice: (1) Za A n n (R) jea k n n (R) k N i A n =0. (2) Za A n n (R) jee A N n (R). (3) Za B N n (R) jei B n n (R). Stoga možemo definirati preslikavanje ln : N n (R) n n (R) ovako n 1 1 ln B = k (I B)k, k=1 Lako se provjerava da tada vrijede jednakosti B N n (R). ln e A = A A n n (R) i e ln B = B B N n (R). Dakle, ln i A e A su medusobno inverzne bijekcije. Pomoću njih prenosimo sa n n (R) na N n (R) strukturu n(n 1) dimenzionalnog realnog vektorskog prostora. Dokazat ćemo sada da 2 je s tom strukturom vektorskog prostora N n (R) nilpotentna grupa. Definiramo preslikavanja P 1,P 2 : n n (R) n n (R) ovako: P 1 (A) =e A I, P 2 (A) =ln(i + A), A n n (A). Zbog gornje činjenice (1) P 1 i P 2 su polinomijalna preslikavanja s vektorskog prostora n n (R) u samog sebe. Da bismo dokazali da je zadovoljeno svojstvo (a) iz definicije nilpotentne grupe, treba pokazati da je preslikavanje P : n n (R) n n (R) n n (R), definirano sa P (A, B) =ln ( e A e B), A,B n n (R), polinomijalno. To slijedi iz P (A, B) =ln ( e A e B) = ln ((P 1 (A)+I)(P 1 (B)+I)) = ln (I + P 1 (A)+P 1 (B)+P 1 (A)P 1 (B)) = P 2 (P 1 (A)+P 1 (B)+P 1 (A)P 1 (B)),

14 POGLAVLJE 1. NILPOTENTNE GRUPE budući da je preslikavanje (C, D) C + D + CD sa n n (R) n n (R) un n (R) očito polinomijalno. Svojstvo (b) iz definicije nilpotentne grupe slijedi iz P (sx, tx) =ln ( e sx e tx) =ln ( e (s+t)x) =(s + t)x, s, t R, X n n (R). Dakle, N n (R) je nilpotentna grupa. Sada imamo medusobno inverzne izomorfizme vektorskih prostora exp : L (N n (R)) N n (R) i log : N n (R) L (N n (R)). Kompozicijama tih izomorfizama s izomorfizmima exp : A e A sa n n (R) nan n (R) ilnsan n (R) na n n (R) dobivamo izomorfizme Φ = log exp : n n (R) L (N n (R)) i Ψ = ln exp : L (N n (R)) n n (R). Budući da su exp i ln medusobno inverzni i da su exp i ln medusobno inverzni, zaključujemo da su Φ i Ψ medusobno inverzni izomorfizmi. Dokazat ćemo sada da su Φ i Ψ izomorfizmi Liejevih algebri, tj. da je [Φ(A), Φ(B)] = Φ ([A, B]) A, B n n (R). Neka je (x ij ; 1 i<j n) prirodni koordinatni sustav na N n (R) : koordinate matrice A = [α ij ]sux ij (A) = α ij. Pomoću tog koordinatnog sustava N n (R) se identificira s R n(n 1) 2. Za f C (N n (R)) parcijalnu derivaciju f po koordinati x ij označavat ćemo sa ij f.. Neka su A, B n n (R), t,s R, m Z +. Stavimo [ ] [ A m =, B m = α (m) ij β (m) ij ], e ta e sb =[γ ij (t, s)], e tb e sa =[ε ij (t, s)]. Za bilo koju matricu C element na mjestu (i, j) označavat ćemo sa (C) ij. Za f C (N n (R)) imamo Sada je a kako je dobivamo Stoga je [Φ(A), Φ(B)](f) =Φ(A) (Φ(B) (f)) Φ(B) (Φ(A) (f)) = = d dt [Φ(B) (f)] ( e ta) t=0 d dt [Φ(A) (f)] ( e tb) t=0 = = d ( ds t f ( ) e ta e sb) d ( t=0 ds t f ( ) e tb e sa). s=0 t=0 s=0 t f ( e ta e sb) = t=0 i<j γ ij t (0,s)( ijf) ( e sb), ( ) γ ij t (0,s)= t eta e sb = ( Ae sb)., ij ij t f ( e ta e sb) = ( ) Ae sb ( ij ijf) ( e sb). t=0 i<j ( d ds t f ( ) e ta e sb) = (AB) ij ( ij f)(i)+ α ij ( ij f) ( e sb) s=0 = t=0 s=0 i<j i<j = (AB) ij ( ij f)(i)+ α ij β pq ( pq ij f)(i). i<j i<j p<q

15 Analogno je ( d ds t f ( ) e tb e sa) = (BA) ij ( ij f)(i)+ t=0 s=0 i<j i<j β ij α pq ( pq ij f)(i). p<q Stoga dobivamo [Φ(A), Φ(B)] (f) = i<j ([A, B]) ij ( ij f)(i) = d dt f ( e t[a,b]) t=0 =Φ([A, B]) (f). Kako je f C bila proizvoljna, dokazana je željena jednakost [Φ(a), Φ(B)] = Φ ([A, B]). Prema dokazanom možemo izvršiti identifikaciju n n (R) sal (N n (R)) tako da izomorfizmi Φ i Ψ postanu identiteti. Tada je log = ln i exp = exp.

16 POGLAVLJE 1. NILPOTENTNE GRUPE

Poglavlje 2 NILPOTENTNE LIEJEVE ALGEBRE U ovom poglavlju sve Liejeve algebre su konačnodimenzionalne i nad poljem R realnih brojeva. Neka je g Liejeva algebra. Liejeva podalgebra od g je potprostor h takav da je [X, Y ] h X, Y h. Ideal u g je potprostor h od g takav da je [X, Y ] h X g, Y h. Naravno, Liejeva podalgebra je i sama Liejeva algebra. Ideal je Liejeva podalgebra. Neka je g Liejeva algebra i h ideal u g. Na kvocijentnom vektorskom prostoru g/h možemo definirati strukturu Liejeve algebre ovako: [X + h,y + h] =[X, Y ]+h, X,Y g. Ako je V realan ili kompleksan vektorski prostor, onda je prostor L(V ) svih linearnih operatora V V Liejeva algebra s uobičajenom operacijom [A, B] =AB BA. Reprezentacija Liejeve algebre g na vektorskom prostoru V je homomorfizam π : g L(V ) Liejevih algebri. Ako su g i k Liejeve algebre i ϕ : g k homomorfizam Liejevih algebri, onda je jezgra Ker ϕ ideal u g a slika Im ϕ jke Liejeva podalgebra od k i inducirano preslikavanje Φ:g/(Ker ϕ) Im ϕ je izomorfizam Liejevih algebri. Lema 2.1. Za Liejeveu algebru g i X g definiramo preslikavanje ad X : g g sa (ad X)Y =[X, Y ], Y g. Tada je ad reprezentacija Liejeve algebre g na vektorskom prostoru g. Dokaz: Očito je svaki ad X linearan operator i ad : g L(g) je linearno preslikavanje. Iz Jacobijevog identiteta slijedi za X,Y,Z g : (ad [X, Y ]) Z =[[X, Y ],Z]= [[Y,Z],X] [[Z, X],Y]=[X, [Y,Z]] [Y,[X, Z]] = =(ad X)(ad Y )Z (ad Y )(ad x)z =[ad X, ad Y ]Z. Time je dokazano da je ad [X, Y ]=[ad X, ad Y ], odnosno da je ad reprezentacija g na g. Neka su a, b potprostori Liejeve algebre g. Sa [a, b] ćemo označavati potprostor od g razapetsvim elementima oblika [A, B], gdje su A a i B b. Lema 2.2. Ako su a i b ideali u Liejeveoj algebri g, onda je i [a, b] ideal u g. 17

18 POGLAVLJE 2. NILPOTENTNE LIEJEVE ALGEBRE Dokaz: Za X g, A a i B b imamo zbog Jacobijevog identiteta [X, [A, B]] = [[X, A],B]+[Y,[X, B]] [a,b]+[a, b] [a, b]. Za lijevu algebru g definiramo induktivno D 0 g = g, D n g =[D n 1 g, D n 1 g], n N; C 0 g = g, C n g =[g, C n 1 g], n N. Tada su prema lemi 2.2. D k g i C k g ideali i vrijedi D n g D n+1 g i C n g C n+1 g n Z +. D k g zove se k ti izvedeni ideal u g. Niz (D n g) n Z+ (C n g) n Z+ centralni silazni niz u g. zove se izvedeni niz Liejeve algebre g, a Lema 2.3. Neka su a i b potprostori Liejeve algebre g i ϕ : g h surjektivni homomorfizam Liejevih algebri. (a) ϕ ([A, B]) = [ϕ(a),ϕ(b)]. (b) ϕ (D p g)=d p h. (c) ϕ (C p g)=c p h. Dokaz: Tvrdnja (a) je očigledna (čak i bez pretpostavke o surjektivnosti homomorfizma ϕ), a tvrdnje (b) i(c) slijede iz (a) indukcijom po p. Centralizator podskupa a Liejeve algebre g je skup C g (a) ={X g; [X, Y ]=0 Y a}. Lema 2.4. Neka je g Liejeva algebra, a njen podskup i h ideal u g. (a) C g (a) je Liejeva podalgebra od g. (b) C g (h) je ideal u g. Dokaz: (a) Očito je C g (a) potprostor od g. Ako su X, Y C g (a) iz a, onda primjenom Jacobijevog identiteta nalazimo [[X, Y ],Z]=[[X, Z],Y]+[X, [Y,Z]] = [0,Y]+[X, 0] = 0 = [X, Y ] C g (a). (b) ZaX C g (h), Y g i Z h je [X, Z] =0i[Y,Z] h, dakle, [[Y,Z],X]=0. Prema tome, [[Y,X],Z]=[[Y,Z],X]+[Y,[X, Z]] = 0. Dakle, [Y,X] C g (h) X C g (h) i Y g, što znači da je C g (h) ideal u g. Centar Liejeve algebre g je centralizator g u g, C g (g). Centar od g označavat ćemo sa Z(g). Dakle, Z(g) ={X g; [X, Y ]=0 Y g}. Prema lemi 2.4. Z(g) je ideal u g i to je jezgra homomorfizma Liejevih algebri ad : g L(g).

Definirat ćemo sada induktivno tzv. centralni uzlazni niz (C n g) n Z+. Stavljamo C 0 g = {0}. Za n Z + označimo sa π n : g g/c n g kvocijentni (surjektivni) homomorfizam. Definiramo C n+1 g = π 1 n (Z (g/c ng)) = {X g; π n (X) Z (g/c n g)} = {X g; [X, Y ] C n g Y g}. Posebno, C 1 g = Z(g). Nadalje, članovi centralnog uzlaznog niza su ideali u g i za svaki n Z + vrijedi C n g C n+1 g. Propozicija 2.5. Za Liejevu algebru g sljedećih je sedam svojstava medusobno ekvivalentno: (a) Postoji p N takav da je (ad X 1 )(ad X 2 ) (ad X p )=0 X 1,...,X p g. (b) Za neko k Z + je C k g = {0}. (c) Postoji padajući niz ideala h 0 h 1 h p takav da je h 0 = g, h p = {0} i [g, h i ] h i+1 za i =0, 1,...,p 1. (d) Postoji padajući niz ideala k 0 k 1 k n takav da je dim k i = n i, k 0 = g, k n = {0} i [g, k i ] k i+1 za 0 i<n. (e) Za neko k Z + je C k g = g. (f) Postoji rastući niz ideala j 0 j 1 j l takav da je j 0 = {0}, j l = g i j k+1 /j k Z (g/j k ) za 0 k<l. (g) Postoji rastući niz ideala i 0 i 1 i n takav da je i 0 = {0}, i n = g, dim i j = j za 0 j n i i j+1 /i j Z (g/i j ) za 0 j<n. Dokaz: (a) (b). C q g je potprostor razapet svim elementima oblika Prema tome, (ad X 1 ) (ad X q 1 )X q, X 1,...,X q g. (ad X 1 ) (ad X p )=0 X 1,...,X p g C p+1 g = {0}. Time je dokazano da su svojstva (a) i(b) medusobno ekvivalentna. (b) (c). Padajući niz ideala C 0 g C 1 g C k g zadovoljava uvjet iz (a) (uz p = k). (c) (b). Imamo h 0 = g = C 0 g i h 1 [g, h 0 ]=[g, g] =C 1 g. Pretpostavimo sada da je dokazano da h i C i g za neki i<p.tada je h i+1 [g, h i ] [g, C i g]=c i+1 g. Dakle, indukcijom po i dokazali smo da vrijedi h i C i g i. Posebno je C p g h p = {0}. Implikacija (d) (c) jeočigledna. (c) (d). Neka su h 0,...,h p kao u (a) i neka je k 0 k n padajući niz potprostora takav da je dim k i = n i za 0 i n = dim g i da za neke i 0 <i 1 < <i p vrijedi k ik = h k za 0 k p. Sada za i k i i k+1 imamo [g, k i ] [g, k ik ]=[g, h k ] h k+1 = k ik+1 k i. Prema tome, svi potprostori k i su ideali. Neka 0 i<ni neka je k {0,...,p 1} takav da je i k i i k+1. Tada je i k+1 i +1, pa imamo [g, k i ] [g, k ik ]=[g, h k ] h k+1 = k ik+1 k i+1. 19

20 POGLAVLJE 2. NILPOTENTNE LIEJEVE ALGEBRE (c) (e). Imamo h p = {0} = C 0 g. Indukcijom po i dokazat ćemo da vrijedi h p i C i g za svaki i. Pretpostavimo da je h p i C i g za neki i<p.tada imamo [g, h p i 1 ] h p i C i g. Ako sa π i : g g/c i g označimo kvocijenti epimorfizam, slijedi [π i (g),π i (h p i 1 )] = π i ([g, h p i 1 ]) π i (C i g)={0}. To znači da je π i (h p i 1 ) Z(g/C i g), odnosno, h p i 1 π 1 i (Z(g/C i g)) = C i+1 g. Posebno, za i = p imamo C p g h 0 = g, tj. C p g = g. (e) (c). Niz ideala g = C k g C k 1 g C 0 g = {0} zadovoljava uvjete iz (a), jer je C i g/c i 1 g centar od g/c i 1 g, pa je [g, C i g] C i 1 g. (e) (f). Rastući niz ideala C 0 g C 1 g C k g zadovoljava uvjet iz (f) (uz l = k). (f) (e). Indukcijom po i 0 dokazat ćemo da vrijedi j i C i g. Baza indukcije je evidentna: j 0 = {0} = C 0 g. Pretpostavimo da je i<li da vrijedi j i C i g. Neka je π i : g g/c i g kanonski epimorfizam. Inkluzija j i+1 /j i Z(g/j i ) znači da je [g, j i+1 ] j i, pa slijedi [g, j i+1 ] C i g. Odatle je [π i (g),π i (j i+1 )] = π i ([g, j i+1 ]) = {0}, dakle, π i (j i+1 ) Z(g/C i g). To (Z(g/C i g)=c i+1 g. Time je dokazano da vrijedi j i C i g za svaki i. Posebno, za i = l nalazimo da je j l C l g, a kako je j l = g, to znači da je C l g = g. Implikacija (g) (f) je trivijalna. (f) (g). Izaberimo rastući niz potprostora i 0 i 1 i n tako da bude dim i j = j za j =0, 1,...,n= dim g i da za neke j 0 <j 1 < <j l vrijedi i jk = j k za k =0, 1,...,l.Tada su i j ideali u g. Doista, za dano j {0, 1,...,n} neka je k {0, 1,...,l 1} takav da je j k j j k+1. Tada imamo [g, i j ] [g, i jk+1 ]=[g, j k+1 ] j k = i jk i j. znači da je j i+1 π 1 i Pri tome je inkluzija [g, j k+1 ] j k posljedica činjenice da je j k+1 /j k sadržano u centru kvocijentne algebre g/j k. Napokon, neka je j {0, 1,...,n 1} proizvoljan i neka je k {0, 1,...,l 1} takav da je j k j<j k+1. Tada je j +1 j k+1, dakle, imamo a to upravo znači da je i j+1 /i j Z(g/i j ). [g, i j+1 ] [g, i jk+1 ]=[g, j k+1 ] j k = i jk i j Liejeva algebra g koja ima svojstva iz propozicije 2.5. zove se nilpotentna. Propozicija 2.6. Neka je g {0} nilpotentna Liejeva algebra, a njena Liejeva podalgebra i b ideal u g. (a) Z(g) {0}. (b) Liejeva algebra a je nilpotentna. (c) Kvocijentna Liejeva algebra g/b je nilpotentna. Dokaz: Kako je C 1 g = Z(g), tvrdnja (a) slijedi iz činjenice da je g = C k g za neki prirodan broj k. Naime, iz C 1 g = {0} slijedi da je C j g = {0} j. Tvrdnja (b) je neposredna posljedica evidentne inkluzije C k a C k g. Napokon, označimo sa π : g g/b kvocijentni epimorfizam. Tvrdnja (c) sluijedi iz tvrdnje (c) leme 2.3.: π(c k g)=c k (g/b). Propozicija 2.7. Neka je g Liejeva algebra i c njen ideal sadržan u Z(g). Ako je kvocijentna Liejeva algebra g/c nilpotentna, onda je i Liejeva algebra g nilpotentna.

21 Dokaz: Za neki k vrijedi C k (g/c) ={0}. To znači da je C k g c, pa slijedi C k+1 g =[g, C k g] [g, c] ={0}. Neka je a podalgebra Liejeve algebre g. Normalizator od a u g je N g (a) ={X g; [X, Y ] a Y a}. To je očito Liejeva podalgebra od g, a je ideal u N g (a) in g (a) je najveća Liejeva podalgebra od g koja sadrži a kao ideal. Propozicija 2.8. Neka je g nilpotentna Liejeva algebra i k g njena Liejeva podalgebra. Tada je N g (k) k. Dokaz: Neka je k najveći broj iz Z + takav da je C k g + k k. Tada imamo [C k g + k, k] [C k g, g]+[k, k] C k+1 g + k = k. Prema tome, N g (k) C k g + k k. Lema 2.9. Neka je V vektorski prostor i A L(V ) nilpotentan operator. ad A : B [A, B] =AB BA na prostoru L(V ) nilpotentan. Dokaz: Indukcijom po k nalazimo da vrijedi k ( ) k (ad A) k B = ( 1) k j A j BA k j. j j=0 Tada je operator Dakle, ako je A p =0, onda je (ad A) 2p 1 =0. Teorem 2.10. (Engel) Neka je V {0} konačnodimenzionalan vektorski prostor i g Liejeva podalgebra od L(V ) takva da je svaki operator A g nilpotentan. Tada postoji v V, v 0, takav da je Av =0 A g. Dokaz ćemo provesti indukcijom po n = dim g. Ako je n = 0 ili n = 1 tvrdnja je očigledna. Neka je n 2 i pretpostavimo da je tvrdnja dokazana za Liejeve algebre g dimenzije manje od n. Neka je n = dim g i neka je k Liejeva podalgebra od g i m = dim k <n.za A k operator ad g A preslikava k u k, pa definira operator à : g/k g/k. Po lemi 2.9. operator ad g A je nilpotentan pa je i kvocijentni operator à nilpotentan. Stavimo k = {Ã; A k}. To je Liejeva podalgebra od L(g/k) sastavljena od nilpotentnih operatora i dim k m<n.po pretpostavci indukcije postoji u g/k, u 0, takav da je Ãu =0 A k. To znači da postoji B g \ k takav da je [A, B] k A k. Odatle slijedi da je m = k RB Liejeva podalgebra od g dimenzije m + 1 koja sadrži k kao ideal. Ako je m + 1 < n,ponovimo isto zaključivanje sa m umjesto k i dolazimo do Liejeve podalgebre n dimenzije m + 2 koja sadrži m kao ideal. Korak po korak doći ćemo do ideala a u g kodimenzije, tj. dimenzije n 1. Stavimo sada V 0 = {v V ; Av =0 A a}. Po pretpostavci indukcije tada je V 0 {0}. Izaberimo A g \ a. Tada je g = a RA. Za v V 0 i B a imamo BAv =[B,A]v + ABv =0, jer je B a, i[b,a] a. Kako to vrijedi za svaki B a, slijedi da je Av V 0 v V 0, tj. potprostor V 0 je invarijantan u odnosu nqa operator A. Operator A je nilpotentan, pa je i njegova restrikcija A V 0 nilpotentan operator. Slijedi da postoji v V 0,v 0, takav da je Av =0. No tada je Bv =0 B g.

22 POGLAVLJE 2. NILPOTENTNE LIEJEVE ALGEBRE Teorem 2.11. Liejeva algebra g je nilpotentna ako i samo ako je nilpotentan svaki operator ad X, X g. Dokaz: Prema propoziciji 2.5. (svojstvo (a)) uvjet je nužan. Pretpostavimo da operator ad X nilpotentan za svaki X g. Dokaz da je tada Liejeva algebra g nilpotentna provest ćemo indukcijom u odnosu na dimenziju od g. Baza indukcije je trivijalna, jer jednodimenzionalna Liejeva algebra je komutativna pa je nilpotentna. Pretpostavimo da je dim g = n 2idaje tvrdnja dokazana za Liejeve algebre dimenzije manje od n. Engelov teorem 2.10. primijenjen na ad g = {ad X; X g} pokazuje da je Z(g) {0}. Lema 2.9. pokazuje da Liejeva algebra ad g zadovoljava uvjet teorema. Ona je izomorfna Liejevoj algebri g/z(g), jer je Ker ad = Z(g). Kako je dim g/z(g) <npo pretpostavci indukcije Liejeva algebra g/z(g) je nilpotentna. No sada iz propozicije 2.7. slijedi da je Liejeva algebra g. nilpotentna. Korolar 2.12. Uz pretpostavke Engelovog teorema 2.10. g je nilpotentna Liejeva algebra i postoji niz potprostora {0} = V 0 V 1 V m = V takav da je dim V j = j i AV j V j 1 A g izaj =1,...,m. Dokaz: Liejeva algebra g je nilpotentna po teoremu 2.11. i po lemi 2.9. Drugu tvrdnju dokazujemo indukcijom po dim V. Korak indukcije: po teoremu 2.10. možemo izabrati jednodimenzionalan potprostor V 1 takav da je A V 1 =0 A g. Sada je dim V/V 1 = = dim V 1, pa po indukciji možemo naći V 2,...,V m = V s traženim svojstvima. Korolar 2.13. Uz pretpostavke Engelovog teorema 2.10. postoji baza {e 1,...,e m } prostora V u odnosu na koju svi operatori iz g imaju striktno gornje trokutaste matrice. Dokaz: Neka su V 0,V 1,...,V m kao u korolaru 2.12. Izaberimo e j V j \ V j 1 za j =1,...,m. Tada je {e 1,...,e m } baza od V s traženim svojstvom.

Poglavlje 3 LIEJEVA ALGEBRA NILPOTENTNE GRUPE U cijelom ovom poglavlju G je nilpotentna grupa i g je njena Liejeva algebra. Neka je V konačnodimenzionalan vektorski prostor. Reprezentacija grupe G na prostoru V je neprekidni homomorfizam π : G GL(V ). Za x G i X g preslikavanje t x(exp tx)x 1 je neprekidni homomorfizam aditivne grupe R u grupu G. Prema propoziciji 1.9. i propoziciji 1.3. postoji jedinstven element Y g takav da je x(exp tx)x 1 = exp ty t R. Taj element Y označavat ćemo sa (Ad x)x. Dakle, x(exp tx)x 1 = exp t(ad x)x, x G, X g, t R. Propozicija 3.1. algebre g. (a) Za svako x G preslikavanje Ad x : g g je automorfizam Liejeve (b) Ad : x Ad x je neprekidni homomorfizam grupe G u grupu Aut(g) svih automorfizama Liejeve algebre g. (c) Ad je reprezentacija grupe G na vektorskom prostoru g. Dokaz: (1) Neka je x G proizvoljno fiksiran. Dokazat ćemo najprije da je Ad x : g g linearan operator. Za f C (G) neka je f C (G) definirana sa f(y) =f (xyx 1 ),y G. Za X, Y g i α, β R imamo redom [(Ad x)(αx + βy )](f) = d dt f (exp t(ad x)(αx + βy )) t=0 = = d dt f ( x(exp t(αx + βy ))x 1) t=0 = d dt f(exp t(αx + βy )) t=0 = =(αx + βy ) ( f ) = αx ( f ) + βy (ϕ) =α d dt f(exp tx) τ=0 + β d dt f(exp ty ) τ=0 = = α d dt f ( x(exp tx)x 1) τ=0 + β d dt f ( x(exp ty )x 1) τ=0 = = α d dt f ((exp t(ad x)x)) τ=0 + β d dt f ((exp t(ad x)y )) τ=0 = 23

24 POGLAVLJE 3. LIEJEVA ALGEBRA NILPOTENTNE GRUPE = α[(ad x)x](f)+β[(ad x)y ](f) =[α(ad x)x +(Ad x)y ](f). Budući da je funkcija f C (G) bila proizvoljna, zaključujemo da je (Ad x)(αx + βy ) = = α(ad x)x + β(ad x)y, odnosno, operator Ad x : g g je linearan. (2) Za jedinični element e grupe G imamo e(exp tx)e 1 = exp tx, a to znači da je Ad e = I g (jedinični operator na prostoru g). Nadalje, za x, y G, t R i X g imamo redom exp t(ad xy)x = xy(exp tx)y 1 x 1 = x(exp t(ad y)x)x 1 = exp t(ad x)(ad y)x. To pokazuje da je Ad xy =(Ad x)(ad y), x,y G. Dakle, Ad : x Ad x je homomorfizam grupe G u grupu GL(g). (3) Dokazat ćemo sada da je Ad x Aut(g) za svaki x G. Kako znamo iz (1) da je operator Ad x linearan, a iz (2) da je to izomorfizam vektorskog prostora g na samog sebe, ostaje još da dokažemo da je (Ad x)[x, Y ]=[(Ad x)x, (Ad x)y ] za bilo koje X, Y g. Neka je f C (G) i neka je funkcija f C (G) definirana kao u (1), f(y) =f (xyx 1 ),y G. Znamo da je tada [(Ad x)z](f) =Z ( f ) Z g. Stoga imamo redom ((Ad x)[x, Y ]) (f) =[X, Y ] ( f ) ( ) = X (Ỹ ) ( ( ) ) f Y X f = = d ( ) [Ỹ ] f (exp tx) dt d [ ( ) ] X f (exp ty ) t=0 dt = t=0 = d [ ] f((exp tx)(exp sy )) dt s d [ ] f((exp ty )(exp sx)) s=0 dt s = t=0 s=0 t=0 = d [ ] dt s f(x(exp tx)x 1 x(exp sy )x 1 ) s=0 t=0 d [ ] dt s f(x(exp ty )x 1 x(exp sx)x 1 ) = s=0 t=0 = d [ ] f((exp t(ad x)x)(exp s(ad x)y )) dt s s=0 t=0 d [ ] f((exp t(ad x)y )(exp s(ad x)x)) dt s = s=0 t=0 = d dt {[(Ad x)y ] (f)} (exp t(ad x)x) t=0 d dt {[(Ad x)x] (f)} (exp t(ad x)y ) t=0 = =((Ad x)x) {[(Ad x)y ] (f)} ((Ad x)y ) {[(Ad x)x] (f)} =[(Ad x)x, (Ad x)y ](f). Zbog proizvoljnosti funkcije f C (G) time je dokazano da je Ad x Aut(g) x G. (4) Sve tvrdnje propozicije bit će dokazane, ako pokažemo još da je preslikavanje Ad : G L(g) neprekidno. U tu je svrhu dovoljno dokazati da je za svaki X g preslikavanje x (Ad x)x sa G u g neprekidno. U tu je svrhu dovoljno dokazati da su koordinate vektora (Ad x)x u nekoj bazi prostora g neprekidne funkcije od x. Koordinate vektora (Ad x)x u Kartezijevom koordinatnom sustavu {x 1,...,x n } su [(Ad x)x](x i ),i=1,...,n. Prema tome, za neprekidnost je dovoljno dokazati da je za svaku f C (G) funkcija x [(Ad x)x](f) neprekidna. Za x G, X g i f C (G) imamo [(Ad x)x](f) = d dt f ( x(exp tx)x 1) t=0. Kako je (x, t) f (x(exp tx)x 1 ) funkcija klase C na G R, slijedi da je funkcija x [(Ad x)x](f) neprekidna (čak i klase C ).

Lema 3.2. Neka je V konačnodimenzionalan vektorski prostor i ϕ : R GL(V ) neprekidni homomorfizam. Postoji jedinstven A L(V ) takav da je ϕ(t) =e ta t R. Dokaz: Jedinstvenost je očita, jer iz jednakosti ϕ(t) = e ta slijedi da je preslikavanje ϕ : R L(V ) diferencijabilno i da je A = ϕ (0). Da dokažemo egzistenciju, definiramo preslikavanje ψ : R L(V )sa ψ(t) = t 0 ϕ(τ)dτ, t R. Preslikavanje ψ je diferencijabilno, ψ (t) =ϕ(t), t R, i ψ(0) = 0. Imamo I V = ϕ(0) = ψ (0) = lim t t 0 1 (ψ(t) ψ(0) = lim t 0 1 t ψ(t). Prema tome, možemo definirati neprekidnu fukciju f : R L(V ) ovako: f(t) = { 1 ψ(t) t ako je t 0 I V ako je t =0. Kako je I V GL(V ) i kako je grupa GL(V ) otvoren skup u L(V ), postoji s 0 takav da je f(s) GL(V ). Tada je i ψ(s) GL(V ). Imamo za svaki t R s s t+s ψ(s)ϕ(t) =ϕ(t)ψ(t) =ϕ(t) ϕ(τ)dτ = ϕ(t + τ)dτ = ϕ(τ)dτ, 0 0 t dakle, t+s ϕ(t) =ψ(s) 1 ϕ(τ)dτ, t R. Ova formula pokazuje da je preslikavanje ϕ : R L(V ) diferencijabilno. Sada jednakost ϕ(t + u) = ϕ(t)ϕ(u) = ϕ(u)ϕ(t), t,u R, deriviramo po u, pa dobivamo t ϕ (t + u) =ϕ(t)ϕ (u) =ϕ (u)ϕ(t), t,u R. Uvrstimo li u = 0 uz oznaku A = ϕ (0) L(V ) dobivamo ϕ (t) =ϕ(t)a = Aϕ(t), t R, 25 pa slijedi ϕ(t) =ϕ(0)e ta, t R. Lema 3.3. Neka je ϕ : R R R fukcija dvije varijable klase C 1. Tada je d ϕ(t, t) dt = d t=0 dt t=0 ϕ(t, 0) + d dt t=0 ϕ(0,t).

26 POGLAVLJE 3. LIEJEVA ALGEBRA NILPOTENTNE GRUPE Dokaz: Imamo d ϕ(t, t) 1 dt = lim t 0 t=0 t [ϕ(t, t) ϕ(0, 0)] = lim t 0 Funkcija 1 ϕ : R R R je neprekidna, pa postoji Prema tome, lim t,s 0 1 [ϕ(t, t) ϕ(0,t)] + lim t t 0 1 [ϕ(t, s) ϕ(0,s)] i jednak je lim t t 0 d ϕ(t, t) dt = lim t=0 t t,s 0 1 [ϕ(t, s) ϕ(0,s)] + lim t 0 1 [ϕ(t, t) ϕ(0,t)]. t 1 [ϕ(0,t) ϕ(0, 0)] = t 1 [ϕ(0,t) ϕ(0, 0)]. t 1 1 = lim [ϕ(t, 0) ϕ(0, 0)] + lim t 0 t t 0 t [ϕ(0,t) ϕ(0, 0)] = d ϕ(t, 0) dt + d t=0 dt t=0 ϕ(0,t). Propozicija 3.4. Za svaki X g vrijedi Ad (exp X) =e ad X. Dokaz: Preslikavanje t Ad (exp tx) je neprekidni homomorfizam aditivne grupe R u grupu GL(g). Stoga po lemi 3.2. postoji jedinstven A L(g) takav da je Tada je pa za Y g i f C (G) imamo Ad (exp tx) =e ta, t R. A = d dt Ad(exp tx) t=0, (AY )(f) = d dt [Ad (exp tx)y ](f) t=0 = = d f(exp s[ad (exp tx)]y ) dt s = d f((exp tx)(exp sy )(exp tx)) s=0 dt s, t=0 s=0 t=0 a to je primjenom leme 3.3. jednako = d f((exp tx)(exp sy )) dt s + d f((exp sy )(exp tx)) s=0 dt s = t=0 s=0 t=0 = d f((exp tx)(exp sy )) dt s d f((exp ty )(exp sx)) s=0 dt s = t=0 s=0 t=0 ) ( ) = X (Ỹ (f) Y X(f) =[X, Y ](f). To znači da je AY =[X, Y ] Y g, odnosno, A = ad X. Propozicija 3.5. Liejeva algebra g nilpotentne grupe G je nilpotentna.

27 Dokaz: Prema propoziciji 3.4. je Ad (exp tx) =e tad X, X g, t R. Prema tome, vrijedi (ad X) N = dn Ad (exp tx) dtn, X g, N N. t=0 Neka je k stupanj polinomijalnog preslikavanja m : G G G (množenje) i N>2k. Za Kartezijev koordinatni sustav (x 1,...,x n )nagizax, Y g i t R vrijedi [Ad (exp tx)y ](x i )= s x i((exp tx)(exp sy )(exp tx)), s=0 dakle, [(ad X) N Y ](x i )= dn dt N s x i((exp tx)(exp sy )(exp tx)). (3.1) s=0 t=0 Za svako s R funkcija t x i ((exp tx)(exp sy )(exp tx)) je polinom stupnja <N.Stoga je i t s x i((exp tx)(exp sy )(exp tx)) polinom stupnja <N.Iz (3.1) slijedi (ad X) N Y =0 X, Y g, dakle, (ad X) N =0 X g. Prema teoremu 2.11. Liejeva algebra g je nilpotentna. Nilpotentna podgrupa od G je vektorski potprostor H od G koji je i podgrupa grupe G, tj. xy H x, y H. Očito je nilpotentna podgrupa od G i sama nilpotentna grupa. Teorem 3.6. Neka je H nilpotentna podgrupa od G i neka je h njena Liejeva algebra. Tada je log G H Liejeva podalgebra od g. Preslikavanje log G exp H je izomorfizam Liejevih algebri sa h na log G H. Inverzni izomorfizam je log H exp G log G H. H je normalna podgrupa od G ako i samo ako je log G H ideal u g. Dokaz: Stavimo k = log G H. Preslikavanje log G : G g je linearan operator, pa je k potprostor od g. Neka su X, Y k. Tada su exp G tx, exp G sy H t, s R, pa je i exp G {s[ad (exp G tx)]y } = (exp G tx)(exp G sy )(exp G tx) H t, s R. Odatle slijedi redom (uz primjenu propozicije 3.4.) s=0 Ad (exp G tx)y k t R = e tadx Y k t R = [X, Y ]= d dt etadx t=0 k. Time je dokazano da je k Liejeva podalgebra od g. Preslikavanja exp G : g G i log H : H h su izomorfizmi vektorskih prostora i vrijedi exp G (K) =exp G (log G H)=H. Odatle slijedi da je log H exp G k izomorfizam vektorskih prostora sa k na h. Inverzni izomorfizam očito je log G exp H : h k. Dokažimo da su to homomorfizmi Liejevih algebri, tj. da vrijedi [log H (exp G X), log H (exp G Y )] = log H (exp G [X, Y ]) X, Y k. (3.2)

28 POGLAVLJE 3. LIEJEVA ALGEBRA NILPOTENTNE GRUPE Neka je (x 1,...,x n ) Kartezijev koordinatni sustav na G takav da je x j H =0zak +1 j n (k = dim H). Stavimo y j = x j H za 1 j k. Tada je (y 1,...,y k ) Kartezijev koordinatni sustav na H. Stavimo X = log H (exp G X)iY = log H (exp G Y ). Naravno, tada su X,Y h. Imamo i analogno exp H tx = exp H (t log H (exp G )) = exp H (log H (exp G tx)) = exp G tx exp H sy = exp G sy. Stoga imamo redom [ ] X,Y (yj )= d dt s y ( j (exph tx)(exp H sy ) ) d s=0 dt s y ( j (exph ty )(exp H sx) ) s=0 t=0 = d dt s y j ((exp G tx)(exp G sy )) d s=0 dt s y j ((exp G ty )(exp G sx)) = t=0 s=0 t=0 = d dt s x j ((exp G tx)(exp G sy )) d s=0 dt s x j ((exp G ty )(exp G sx)) = t=0 s=0 t=0 =[X, Y ](x j )= d dt x j (exp G t[x, Y ]) = d t=0 dt y j (exp G t[x, Y ]) = t=0 = d dt y j (t exp G [X, Y ]) = {log H (exp G [X, Y ])} (y j ). t=0 Kako to vrijedi za 1 j k, slijedi (3.2). Pretpostavimo da je H normalna podgrupa od G. Za X g i Y k imamo sljedeći niz implikacija: (exp tx)(exp Y )(exp tx) 1 H t R = exp[ad(exp tx)y ] H t R = = Ad(exp tx)y k t R = e tadx Y k t R = = [X, Y ]=(ad X)Y = d dt etadx Y k. t=0 Prema tome, k = log G H je ideal u Liejevoj algebri g. Pretpostavimo sada da je k = log G H ideal u g. Za X g i Y k tada imamo sljedeći niz implikacija: (ad X) k Y k k Z + = e ad X Y k = Ad(exp X)Y k = = exp(ad(exp X)Y ) H = (exp X)(exp Y )(exp X) 1 H. Medutim, G = exp g i H = exp k, pa zaključujemo da vrijedi xyx 1 H y H i x G. Time je dokazano da je H normalna podgrupa od G. Lema 3.7. Za X, Y g vrijedi [X, Y ]=0ako i samo ako je (exp X)(exp Y ) = (exp Y )(exp X). U tom slučaju je (exp X)(exp Y ) = exp (X + Y ). Dokaz: Pretpostavimo da je (exp X)(exp Y ) = (exp Y )(exp X) i stavimo x = exp X. Tada imamo exp (Ad x)y = x(exp Y )x 1 = exp Y = (Ad x)y = Y = = e ad X Y = Y = e nadx Y = ( e ad X) n Y = Y n Z. t=0 =

29 Definiramo preslikavanje P : R g sa P (t) =e tadx Y Y, t R. Kako je (ad X) m = 0 za neko m, P je polinomijalno preslikavanje. Nadalje, P (n) =0 n Z, pa slijedi P (t) =0 t R. Dakle, e tadx Y = Y t R. Odatle deriviranjem dobivamo [X, Y ]=(ad X)Y = d dt etadx Y t =0=0. Pretpostavimo sada da je [X, Y ]=0. Tada je (ad X)Y =0, pa uz istu oznaku x = exp X nalazimo Y =e ad X Y =(Ad x)y = exp Y = exp [(Ad x)y ]=x(exp Y )x 1 = = x(exp Y ) = (exp Y )x = (exp X)(exp Y ) = (exp Y )(exp X). U tom slučaju je, naravno, i [sx, ty ] = 0 pa vrijedi i (exp sx)(exp ty ) = (exp ty )(exp sx) s, t R. Definiramo preslikavanje ϕ : R G sa ϕ(t) = (exp tx)(exp ty ), t R. Tada je ϕ(t)ϕ(s) = (exp tx)(exp ty )(exp sx)(exp sy )= = (exp tx)(exp sx)(exp ty )(exp sy ) = (exp (t + s)x)(exp (t + s)y )=ϕ(t + s). Dakle, ϕ je neprekidni homomorfizam aditivne grupe R u grupu G. Prema propoziciji 1.9. i prema definiciji eksponencijalnog preslikavanja postoji Z g takav da je (exp tx)(exp ty ) = exp tz, t R. Korištenjem leme 3.3. za svaku funkciju f C (G) imamo Z(f) = d dt f(exp tz) t=0 = d dt f((exp tx)(exp ty )) t=0 = = d dt f(exp tx) t=0 + d dt f(exp ty ) t=0 = X(f)+Y (f) =(X + Y )(f). Dakle, Z = X+Y, odnosno, (exp tx)(exp ty ) = exp t(x+y ) t R. Posebno, (exp X)(exp Y )= = exp (X + Y ). Propozicija 3.8. Neka je centar grupe G i neka je C = {x G; xy = yx y G} c = Z(g) ={X g; [X, Y ]=0 Y g} centar Liejeve algebre g. (a) C je nilpotentna podgrupa od G i C = exp c. (b) exp c : c C je izomorfizam aditivne grupe c na grupu C. (c) Za x G i y C vrijedi xy = x + y.

30 POGLAVLJE 3. LIEJEVA ALGEBRA NILPOTENTNE GRUPE Dokaz: (a) Korištenjem leme 3.7. imamo sljedeće ekvivalencije exp X C (exp X)(exp Y ) = (exp Y )(exp X) Y g [X, Y ]=0 Y g X c. Dakle, C = exp c. Kako je exp : g G izomorfizam vektorskih prostora, C je potprostor od G. Dakle, podgrupa C je nilpotentna podgrupa od G. (c) Neka su x G i y C. Neka su X g i Y c takvi da je x = exp X i y = exp Y. Tada je [X, Y ]=0, pa po lemi 3.7. zbog činjenice da je exp : g G linearan operator imamo xy = (exp X)(exp Y ) = exp (X + Y ) = exp X + exp Y = x + y. (b) Preslikavanje exp c je bijekcija sa c na C. Zbog (c) imamo exp (X + Y ) = exp X + exp Y za X, Y c. Dakle, exp c je izomorfizam grupa. Propozicija 3.9. Neka je a potprostor centra c = Z(g) Liejeve algebre g, A= exp a pripadna nilpotentna podgrupa centra C od G, k = g/a i H = G/A. Nadalje, neka su π : G H i p : g k kanonski epimorfizmi. Kvocijentna grupa H = G/A jednaka je kvocijentnom prostoru vektorskog prostora G po potprostoru A. H je nilpotentna grupa i postoji jedinstven izomorfizam ϕ Liejeve algebre k na Liejevu algebru h nilpotentne grupe H takav da komutira sljedeći dijagram: π G H exp G exp H g k h p ϕ Dokaz: (1) Prema tvrdnji (c) propozicije 3.8. imamo xa = x + A x G. Dakle, kvocijentna grupa G/A podudara se s kvocijentnim prostorom vektorskog prostora G po potprostoru A. (2) H = G/A ima strukturu grupe i strukturu vektorskog prostora: (xa)(ya) =xya, xa + ya =(x + y)a, x, y G. Neka su m : G G G i µ : H H H preslikavanja grupovnih množenja. Tada je µ(xa, ya) =xya = m(x, y)a, x, y G. Odatle se vidi da je µ polinomijalno preslikavanje. Nadalje, za x G i t, s R imamo µ(t(xa),s(xa)) = µ(t(x + A),s(x + A)) = µ(tx + A, sx + A) =µ((tx)a, (sx)a) = = m(tx, sx)a =((t + s)x)a =(t + s)x + A =(t + s)(x + A) =(t + s)(xa). Prema tome, H je nilpotentna grupa. (3) Dokazat ćemo sada da za X, Y g vrijedi (exp G X)A = (exp G Y )A ako i samo ako je X + a = Y + a. Doista, imamo sljedeći slijed ekvivalencija: (exp X)A = (exp Y )A exp X = (exp Y )a za neki a A exp X = (exp Y )(exp Z) za neki Z a (zbog leme 3.7.) exp X = exp (Y + Z) za neki Z a X = Y + Z za neki Z a X + a = Y + a.

31 (4) Definiramo sada preslikavanje ϕ : k h ovako: ϕ(x + a) = log H ((exp G X)A), X + a k. Ova definicija ima smisla zbog (3). Nadalje, Kako su preslikavanja exp G i log H linearna, to je i ϕ linearno preslikavanje. Budući da je očito ϕ(k) =h i kako je dim k = dim h, preslikavanje ϕ je izomorfizam vektorskih prostora. Dokažimo sada da je ϕ homomorfizam (dakle, izomorfizam) Liejevih algebri, tj. da vrijedi ϕ([x + a,y + a]) = [ϕ(x + a),ϕ(y + a)], X, Y g. U tu svrhu, zbog jednostavnijeg pisanja definiramo linearnu surjekciju ψ : g h sa ψ(x) = log H ((exp G X)A), X g. Treba dokazati da je ψ homomorfizam Liejevih algebri, ψ([x,y ]) =[ψ(x),ψ(y )], X,Y g. Neka je k = dim A i neka je (x 1,...,x n ) Kartezijev koordinatni sustav na G takav da je x j A =0 za j k +1. Kako je xa = x + A za x G, možemo definirati funkcije y j,j k +1, na H ovako: y j (xa) =x j (x), x G. Tada je (y k+1,...,y n ) Kartezijev koordinatni sustav na H. Za X, Y g i j k + 1 imamo ψ([x, Y ])(y j )= d dt y j(t(exp G [X, Y ])A) = d t=0 dt y j((exp G t[x, Y ])A) = t=0 = d dt x j(exp G t[x, Y ]) =[X, Y ](x j )= t=0 = d dt s (x j((exp G tx)(exp G sy )) x j ((exp G ty )(exp G sx))). s=0 t=0 S druge strane [ψ(x),ψ(y )](y j )= = d dt s (y j((exp H tψ(x))(exp H sψ(y ))) y j ((exp H tψ(y ))(exp H sψ(x)))) = s=0 t=0 = d dt s (y j((exp G tx)a (exp G sy )A) y j ((exp G ty )A (exp G sx)a)) = s=0 t=0 = d dt s (x j((exp G tx)(exp G sy )) x j ((exp G ty )(exp G sx))). s=0 t=0 Time je dokazano da je ψ([x, Y ])=[ψ(x),ψ(y)]. Za svaki X g imamo iz definicije preslikavanja ϕ : (exp H ϕ p)(x) = exp H (ϕ(x + a)) = (exp G X)A = π(exp G X)=(π exp G )(X). Time je dokazana egzistencija preslikavanja ϕ. Jedinstvenost slijedi iz surjektivnosti p : g k i bijektivnosti exp H : h H. Uz situaciji iz propozicije 3.9. možemo provesti identifikaciju k sa h tako da je ϕ identiteta. Tada je exp H p = π exp G, tj. exp H (X + a) = (exp G X)A, X g.

32 POGLAVLJE 3. LIEJEVA ALGEBRA NILPOTENTNE GRUPE Teorem 3.10. Neka je h Liejeva podalgebra od g. Tada je H = exp G (h) nilpotentna podgrupa od G, log H exp G h je izomorfizam Liejeve algebre h na Liejeveu algebru nilpotentne grupe H, a log G exp H je inverzni izomorfizam. Dokaz: Zbog teorema 3.6. dovoljno je dokazati samo prvu tvrdnju, tj. da je H = exp G (h) nilpotentna podgrupa od G. Kako je preslikavanje exp G linearno, H je potprostor vektorskog prostora G. Nadalje, za X h je X h, pa je exp G X) 1 = exp G ( X) H. Treba još dokazati samo da vrijedi X, Y h = (exp G X)(exp G Y ) H. (3.3) (1) Pretpostavimo najprije da je dim h = dim g 1. Implikaciju (3.3) dokazat ćemo indukcijom po dim g 1. Baza indukcije dim gg = 1 je trivijalna jer je tada h = {0}. Provedimo korak indukcije. Neka je c centar Liejeve algebre g. Pretpostavimo da je h c = {0}. Kako je po tvrdnji (a) propozicije 2.6. c {0}, zbog pretpostavke o dimenzijama je dim c =1ig = h c. Neka je c 1 centar Liejeve algebre h. Po tvrdnji (a) propozicije 2.6. je c 1 {0}. No zbog g = h c, slijedi da je c 1 c, a to je nemoguće. Ova kontradikcija pokazuje da je a = h c {0}. Stavimo A = exp G (a), G 1 = G/A, g 1 = g/a i h 1 = h/a. U skladu s identifikacijom provedenom prije iskaza teorema na temelju propozicije 3.9. g 1 je Liejeva algebra nilpotentne grupe G 1. h 1 je Liejeva podalgebra od g 1, a kako je a h, imamo dim h 1 = dim g 1 1. Nadalje, dim g 1 < dim g, pa po indukciji zaključujemo da je exp G1 (h 1 ) podgrupa od G 1. Slijedi da za X, Y h postoji Z h takav da je (exp G1 (X + a))(exp G1 (Y + a)) = exp G1 (Z + a). Tada je (exp G X)A (exp G Y )A = (exp G Z)A, pa postoji V a takav da je (exp G X)(exp G Y ) = (exp G Z)(exp G V ) = exp G (Z + V ) (zbog leme 3.7.) Kako je Z + V h, slijedi (3.3). (2) Dokažimo teorem (tj. implikaciju (3.3) ) indukcijom po dim g dim h. Baza indukcije dokazana je u (1). Neka je n 2 i pretpostavimo da teorem vrijedi ako je dim g dim h <n. Neka je dim g dim h = n. Kao u dokazu Engelovog teorema 2.10. nalazimo da postoji Liejeva podalgebra k od g takva da je h ideal u k i da je dim k = dim h +1. Stavimo K = exp G (k). Kako je dim g dim k = n 1, Kje po pretpostavci indukcije nilpotentna podgrupa od G. Po teoremu 3.6. i uz identifikaciju k s Liejevom algebrom od K, imamo exp K = exp G k. Prema (1) exp G (h) = exp K (h) je podgrupa od G. Baza (X 1,...,X n ) nilpotentne Liejeve algebre g zove se Jordan Hölderova baza ako za svaki X g vrijedi [X, X n ]=0 i [X, X j ] span{x j+1,...,x n } za 1 j n 1. To zapravo znači da svi operatori ad X, X g, imaju u toj bazi striktno donje trokutaste matrice. Takva baza postoji prema propoziciji 2.5. (svojstvo (d)). U tom slučaju potprostori h j = span{x j,...,x n } čine padajući niz ideala čije dimenzije padaju za 1, h 1 = g, posljednji h n = RX n je centralni ideal. Ako je g Liejeva algebra nilpotentne grupe G, tada zbog Ad(exp X) =e ad X vrijedi (Ad x)x n = X n, (Ad x)x j X j span{x j+1,...,x n } = h j+1 za 1 j n 1, x G. Dakle, svaki Ad x ima donje trokutastu matricu s jedinicama na dijagonali.

Teorem 3.11. Neka je (X 1,...,X n ) Jordan Hölderova baza od g. Definiramo preslikavanje ϕ : g g g sa exp ϕ(x, Y ) = (exp X)(exp Y ), X,Y g, tj. ϕ(x, Y ) = log ((exp X)(exp Y )). Nadalje, neka su ϕ j : g g R pripadna koordinatna preslikavanja: 33 ϕ(x, Y )= n ϕ j (X, Y )X j, X,Y g. j=1 Tada za vrijedi X = n t j X j, Y = j=1 n s j X j j=1 ϕ 1 (X, Y )=t 1 + s 1, ϕ j (X, Y )=t j + s j + ψ j (t 1,...,t j 1,s 1,...,s j 1 ), 2 j n, pri čemu je za svako j {2,...,n} ψ j polinomijalna funkcija na R 2j 2. Dokaz ćemo provesti indukcijom po dim g. Baza indukcije dim g = 1 je trivijalna. Pretpostavimo sada da je tvrdnja dokazana za nilpotentne Liejeve algebre dimenzije manje od n = dim g 2. Potprostor a = RX n je centralni ideal u g. Stavimo A = exp a, G = G/A i g = g/a. Prema propoziciji 3.9. možemo identificirati g s Liejevom algebrom nilpotentne grupe G, tako da bude: exp G (X + a) = (exp G X)A, X g, odnosno, log G (xa) =log G x + a, x G. Neka su p : g g i π : G G kanonski epimorfizmi. Gornje jednakosti možemo zapisati ovako: exp G (p(x)) = π(exp G X), X g, log G (π(x)) = p(log G x), x G. Stavimo X j = p(x j ), 1 j n 1. Tada je očito (X 1,...,X n 1 ) Jordan Hölderova baza od g. Definiramo preslikavanja ϕ : g g g i ϕ j : g g R, 1 j n 1, sa n 1 exp G ϕ(x,y ) = (exp G X)(exp G Y ), ϕ(x,y )= ϕ j (X,Y )X j, X,Y g. Po pretpostavci indukcije postoje polinomi ψ 2,...,ψ n 1 takvi da za vrijedi j=1 n 1 n 1 X = t j X j, Y = s j X j j=1 ϕ 1 (X,Y )=t 1 + s 1, ϕ j (X,Y )=t j + s j + ψ j (t 1,...,t j 1,s 1,...,s j 1 ), 2 j n 1. Za X, Y g imamo p(ϕ(x, Y )) = p(log G ((exp G X)(exp G Y ))) = log G π((exp G X)(exp G Y )) = = log G (π(exp G X)π(exp G Y )) = log G ((exp G p(x))(exp G p(y )) = ϕ(p(x),p(y )). j=1