Transcription
Ch.of semisupie Lie algebrasClassification4het og be2Kaf-killing.subalgebraCoo )formUsingWe had thecartondecoys oshiiD tLetER CE-,IR Rplusthat⑤,thenon-degenerateideihpidwe.te-KI z transported formto get Gg ):toLie c Zga'tZ E tX'tRgivingareal vectorrestriction offormspaceWe showed.( s ) to.E, givesthatarootsystem.
Lengsimple fiisogProof (F) SupposeLit Zi-RiEiroot-IR Ri--% ATBsystemXR,isEiideal, so -⑤Rso2- n,④--,w.-isMaxuridiotsSupag. nZiR, -.tonal vigSi,Ei L Ej.Rnlnclecaiposalde componentsand.cito.itj.CR , ,RD OR2F[ga ,oypJ Oit 0 org-g .T Actually ihdecapoakainot system ofg7. to g.,-hdecapirableisZEEnwRsoZigiant&so2-ther.12 12 ,Camilo subalgebra ofan.not supade capo sableisSuppose(.roots of-RicThenSoZ ng-isgonly ifandAtp a) Had,CAB.B)B)-*RzABERto,.'sgenerated by ozby sicptiutyLtp#oof g.( LEDeduceR,)itsabove shows,12 122or12 12,#.
LetmeinSozaoutworkdetail .inK%By depiction( *n-,n -didHWGDoglance)subalgebra ---D LetLetJn D--AtO,C--E,t be the diagonal mania cig'tbe map taking h diag Ctisie Z- -.-HiBt} n-fhfni.inEino,,--B--Jn AJment.IµB#AT Jn4-.ta.-.ti)tote.
lfiejForSn,h diag Cti in toconsider- ad-ejieij-ej.si Ki g) Ch)-ee.j ej--,kitsch )ilie cig,g-ofnaturalBase foronit, )thesec-ZbyvectorsGi g) Ch)--Kit 'S ) Ch )'withfact Haptentrace2-,⑦offormD --{rtforthey gie{R RE Eand we'vemaximal tonal ,R is;j--.love D rtoisEGii EijLERShows it{2-ih acts-upper TtrThese--lower Alrupper Fir-.--.for.ogKits;)I(sits; )l l Eiejthis udieed form,basiskissthe roof systemfoundSi Er EESaonSneers2-i*'.En3}Wehas 9.,n.EnEr Isn,o.}n.
Nowsowecanf-Ez-Eris ,---En ioni--llgOn' to-3.-*f9n.-EniEE.A- 4itsconnectedAtfsu,byLema.n 2:soBgSog soy,-Dn Dynkin.-nng seaKk ),see,Q )Insitehave( hi dj )l,,zx' LenemitsnNZ }all rodsI-ADynkin deagaihere ,)OO,baseroof system,Eaten-'-IRR CZ-Catan matrixoutwork yRC Ehave'tchagrinu--Sou (f)-,Lie'algebra,④Hold)
Back to general setup-a§{4We showed at adAhoa.Chqthat you2-,[ ha fate -2 ,{basiscouldfat g- aOFcinqueex ,--GipickFeaf )fi fai-,:,so.C-yaHert)hj-tj-fq.IT,q sea ha fa Esk,p-,soOF exfather } u { hipCiRtu pi-he }.aRhere ,R,for[ ha eat Zea ,This produces92LERbaseThen there's④2- tog-Pick.hi-.-,hahe },,.
LemmaProofgBertTakebyenby fi-.generatedis-iaeefe,-3HaveButshowepa,wesawz9p rqeptree you gethi(B)htFeuciuckaisq,lieiifpLerma 4bylieseachonaid(if Iei.fi).HuubGuitar,.Goes by udiuhinCh,algebra lc-to dihehe , alueaibasisIf http ) I,Rtirreducible,.showtoguestedof gsubalgebra generatedaiEee , fitLiassociate 'dwassubalgebra.Fei Epa ].acts'na,Sai0.,-#moduleadon.
LetSont -z 9a,givesCarton decaposihoiog.:ta- to ZrnAhoNtb(3-aid nNtareXDa g.F---kings lfiejen ).ftp.argiilardecaposihoiof D.isforChoice of ZRtuplusfundamental#)slack⑨Rt :{ 0,92NtoBNole RTcharter,soCleijhtwithsolvableis-,n .theater.standard choicesthe--,( baseBorel subalgebra )'sEngelbyLienilpotentalgebras3ie.
Ch. 4 Classification of semisupie Lie ' algebras het og be a f d. seuiapci Lie algebra 2-maximal tonal subalgebraK--killing formCoo) KI z non-degenerate Using that we ideihpid Z E t 't and we X t, x We had the transported form on it carton decoysoshii: to get Gg) on Z 't. D t to ⑤ ga Rc Z't te R Let E-IRR, giving a real vector space.
