Groupes d'holonomie et théorème d'Ambrose Singer

Rudy Rodsphon

Description

Niveau: Supérieur, Master, Bac+5

• exposé

Groupes d'holonomie et théorème d'Ambrose-Singer Rudy Rodsphon 12 janvier 2011 Table des matières 1 Rappels sur les fibrés principaux 1 1.1 Fibrés principaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Connexions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.3 Transport parallèle et holonomie . . . . . . . . . . . . . . . . . . . . . 4 1.4 Courbure et équation de structure . . . . . . . . . . . . . . . . . . . . 5 2 Théorème d'Ambrose - Singer 6 1 Rappels sur les fibrés principaux 1.1 Fibrés principaux Définition 1.1 Un fibré principal P (M,G) au-dessus d'une variété lisse M , de fibre le groupe de Lie G est une variété lisse P vérifiant les conditions suivantes : (i) G agit à droite de P de façon lisse et libre. On notera cette action Rg(x) = x·g, pour x ? P , g ? G. (ii) On a une application lisse et surjective pi : P ? G appelée projection, et telle que les pi?1(x) soient les orbites de l'action de G sur P , pour tout x ? P .

• champ horizontal


• unique relève


• groupe structural


• relèvement horizontal partant de rgx0


• compo- sante connexe par arcs


• groupe de lie connexe

Sujets

• Exposé

Informations

• Publié par: rasum
• Publié le: 01 janvier 2011
• Nombre de lectures: 123
• Langue: Français

Extrait

P(M;G) M
G P
G P R (x)=x¢gg
x2P g2G
… :P !G
¡1… (x) G P x2P
M (U ;’ )i i i2I
¡1’ :… (U )!U £Gi i i
¡1 ¡18x2… (U ); ’ (x)=(…(x);’~ (x)) ’~ :… (x)!Gi i i i
’~ (x¢g)=’~ (x)gi i
(U ;’ ) m2U \Ui i i2I i j
¡1~ ~` –` 2 (G)i j
G
¡1 ¡1~ ~` (x)` (x) x2… (m) Gi j
d?nition1.1.1.principaux1.3au-dessustd'une.vari?t?.lisse.br?s.,.delabrstructuree.leomorphismegr.oup.e.de1Liel'actionlesheest.une.vari?t?.lisseCourburesur.v?riant.lesholonomiecparall?leonditions.suivantesGroup:.(i)leelsouragit,?.dr.oitetransition.defonctionsRappunedeprincipauxfa?onplisse.etsuivantelibr.e..On.noter?quationa4c.ette.actiono?1.mati?res.desunablequeTransp2011.vier.jan.12structural,.p.ourcommedsphondeRote.Rudy.,.brose-Singerad'Am.th?or?meConnexions..(ii)quiOnfonctionsatronsunefonctionsapplictransitionationr?sumelisse?et.surje.Fibr?s.ctive.etund'holonomie.esdeGroupforme.:app.el?.e.pr.oje.ction,.etdeteletle1.4que.les.......princip,..al...1.les.orbites.deestl'actiondi?detel?etsurortbrT,3p.our.tout.Un.1.1.D?nitione.Soit(iii).Il.existe.un.r.edansc(iii)ouvrlaementpr?c?dendePprincipaux.p.ar.une.familonle.de.c.artes.Fibr?s1.21.1Diprincipaux.br?s,lesd?nissensurleselsdeRappMon1que6des,deso?deSingersur-sebrose?d'AmtranslationTh?or?megauc2par5..............our..est.un.di?omorphisme.sur...soient¡1 ¡1~ ~ ~ ~g2 G ` (x¢g)` (x¢g) = ` (x)` (x)i j i j
¡1~ ~` (x)` (x) m=…(x)i j
¡1 ¡1~ ~g;h2G ` (hg)=` (h)¢g) x2… (m)i i
h=` (x)i
¡1 ¡1 ¡1 ¡1~ ~ ~ ~` (hg)=` (` (x)g)=` (` (x¢g))=x¢g =` (h)¢gi i i i i i
¡1 ¡1 ¡1~ ~ ~ ~g2G (`–` (g))(` (x)` (x) g) =i j i j
eG
P(M;G) G
G
g G X 2 g x2P ` =exp(tX)t
d⁄X =?(X) = R (x)jx ` t=0x tdt
X
? : g ! ¡(TP)
X;Y 2 g x2P g2G ¿ (g)=R (x)x g
d⁄Y =?(Y) = ¿ (exp(tY))j =d(¿ ) ¢Yx x t=0 x ex dt
d⁄ ¡1 ¡1(R Y ) = ¿ (gexp(tY)g )j =d(¿ ) ¢Ad(g )(Y)g⁄ x x t=0 x e
dt
(R Y) ¡Yx xexp(tX)⁄⁄ ⁄[X ;Y ] = limx
t!0 t
¡1(d(¿ ) ¢Ad(exp(tX) )(Y)) ¡d(¿ ) ¢Yx e x x e
= lim
t!0 t
? ¶
¡1(Ad(exp(tX) )(Y) ¡Yx x= d(¿ ) ¢ limx e
t!0 t
= d(¿ ) ([X;Y])x e
= ?([X;Y])x
hampde.quec:plusilProponon.etlui-m?meSoitpfondamenarationtrci?anslationqu'on?engaucheestdansagr1.1ouppel'alg?brestructurtelalEnd'un1.2br,?talprincipellealpim-Dequidesquetesortepliquedel'assertion.,prouvceProp,LquepeAlorsestLieobservSoit,cagissantexisteoureet,sur.pL'applic,ositionque.Alors?,assoonfondamen,caapptourfacilemena,ourplus,p.osebresphacuneonsurAlorsconstan.quealors,tiredoncenOnOndoncdonc,?t,Soienositione.,PreuveLie.ourdeose,esond'alg?br.morphismedeundeestAlorsci-dessustald?niehamp,dequeNotionNotons⁄
⁄x2P X 2 g X 2T (G )x xx
x g!T (G )x x
⁄X X 2 g
⁄ ¡1g2 g R X ad(g )(X)g⁄
G P(M;G)
0 0 0G P (M;G) P
P(M;G) H G
G H
(U ) Mi i2I
¡1’ –’ 2Hi j
⁄
M P M
G … :P !M
p2P d… :T P !T M m=…(x)x x m
V =Ker(d… ) x Px x
V T P x2Px x
V TP
V TP
P H :x2P 7!Hx
p
8x2P H 'V =T Px x x
0H R G P x;x 2 P
0x =R (x) g2G H 0 =dR (H )g x g x
H ‰TP
X 2 ¡(TP) hX
vX
etests'aprs'il?notionductiblesiauestsous-grcasoupappliceetdefondamentalLieel?isomorphismeappsiespaceetunseulement1.4si1.4iloirexistesousunqueraleuncestouvrosanementeouvertcunquidoncdefournitenCetteun.surensuivbredi?rde:laour(v?riant(ii)lesur(iii)dansde1.3lacd?nition?d'unoupbrun?horizontal.princippal),telal,quesous-esplesal.fonctionsqueded'untrcanonique,ansitionpas?suppl?mentdanstangenVl'espace?,connexion,principal.,ctousestourlaPreuvtee.d?pcf.de[Nomizu]-leChap.I,telle?8,pte1.2conditionConnexionsestSoitsansparticulier,,une.vsontari?t?quidi?renletiableouretassoEnalorscompunte.erticale.ciau-dessus?deductibleeacdeunebreonoup?.lorsNotonssagrhorizonleprincipqueel?ditacOnverticlaOnproer?oitjectionlecanonique.hoixPtelouresttoutce1.2n'estD?nitionlestructurald'un,taireon?abrune.applicationenonslin?airedoncelatoutdegroupsurdubr?,D?nitionR?ductionUne.onnexionletalunechampation,propri?t?o?anfondamentalSoitassoTh?or?meci?endant?entiablementprincipr?duction.?tel.queAlors(i)brunealvunaestpalsusanstructurn?cessairestructuruneed?monstrationoupinvariantgrl'action.de?noncertangenallonsti.e?NouslaPropbrecteentelses'injedeositionLSoit.champD?nitionp1.3unLertainesci?sous-esp,acprincipesbrveexistectoriels?NotonsedeCeded?nitLiesous-brdegre?,appoupsous-espsous-greunSi,connexionformentdonn?e,unnoterasous-brour?rveActorielp?galemenourducompbrte?tale,tangentestsal'espaceosanunvbr?principalH P(M;G) P
⁄ ⁄g 8x2P V =fX g Xx x
X 2 gg
⁄ ⁄8x2P;! (X )=X; X 2V ! (Y )=0 Y 2Hx x x x x xx x
X 2¡(TP) !(X)=!(vX)
!
⁄ ¡1R !(X)=ad(g )(X) g2G X 2 gg
¿ : [0;1] ! M x 2 P0
…(x ) = ¿(0)0
H ¿~:[0;1]!P ¿~(0)=x0
¿ :[0;1]!M
x 2 P …(x ) = ¿(0) ¿~ : [0;1] ! P0 0
¿ ¿~(0) = x ¿0
x =x =¿~(1) x2P ¿¢x0 1
x ¿
g2G R ¿~ R xg g 0
?(x¢g)=?(x)¢g x2P
x2 P H
Hol (H)=fg2G; x»x¢gg x»yx
x y
0Hol (H)x
0Hol (H) g 2 Hol (H) xx x
x¢g M
on?,sur,naturelled'holonomie1-formed?nittelourbquevuneuned?nirourbavvetOnon.our.d'holonomie.PonnexionourSoitladanspreuvauxe,rcf.e[Nomizu]:-?Chap.auxIpropI,est?2eNoustpeouvaronslissemainassotenanexptelationd?nirillaarnotionetdegrtranspqueortleparall?leetlelalong.d'unedecourbpearsurojeconnexionaune1.2Soittelconnexioncdeet1-formeNousd'homotopiemainle.group1.61.7Soitouponnexioncestlad?nieestdeourbtelfondamenque?laTh?or?memani?r,elasuivantequivalenco?treronsetunesilisse.cet?mit?sA.utrgalementementerelationeintlaunacOngr(ii)Commen?onsl'uniqueortrenel?ve-onditionmentTde1.5connexion.formetelrquepd'uneuned?nitionlisseparctiable,ladi?rensuresta.vuOnositiond?nitquelequetro?anspleortpptoutarauxal.l?leenleenonslongtenandeauxdit,escD?nitionommeLl'applicgrationequien?mor(i)devcassopciel'ensembleRemarque.e.caleurshampsital,ci?alors.dans1.5.os?.Oncetnotero?a,noteprourd'?;e)pas,ssi,existeonnexionccelap?moresteanspd'extrortd?monpnearOnal?l?leledeoupelativementd'holonomieleestrlongnousdeth?or?me(rec.aRemarque.ommeSisous-horizontaloupel?vementderholonomie,parall?lealorsranspuniquemaisunajoutantexistecilsuivanteestsipar1.3unicit?,D?nitionleLrel?vaemen,testhorizoneli?talourpartanctardeclorseAp.morone.dontPprarctioncons?quent,letrnul.D?nition0Hol (H)x
Hol (H)x
0Hol (H)=Hol (H)x x
⁄
› H
! !
g
›(X;Y)=D!(X;Y)=d!(hX;hY); 8X;Y 2¡(TP)
X;Y 2¡(TP)
1
d!(X;Y)=¡ [!(X);!(Y)]+›(X;Y)
2
[;] g
⁄ ⁄A X [X;A ]
R X¡Xexp(tA)⁄⁄[X;A ]= lim
t!0 t
⁄
? X Y !(X)=!(Y)=0
⁄ ⁄? X Y X = X Y X ;Y 2 g0 00 0
2d!(X;Y)=X¢!(Y)¡Y ¢!(X)¡!([X;Y])
taux,quionnexiononnexefondamencconsid?rerLiededelecformeee.oupI,grdansunetestrapp1.6cosition?quationPropsuivo?ncide[Kaveashi-Nomizu]ctellorslaAt.2-formelaacommeompuleo-desanteed?signe1.8icisutletroiscrtsocf.chettdeobaLieChap.dequecl'?quationPreuvd?nitione.thm.Onvaleursvcai.es'appuyi.eerdesurecledi?rlemme,suivlaan,t,dequiCourbureauradesoncutilit?d?nitparstructurelaIlsuite.deLemmelesonnexecasSianp:SoientSiestetunsonchamphorizonfondamental,alorsety1.7-unIchamp:horizontal,lealorsetTh?or?med?couleerlaprouvdetcourbure.tenanSimainetestsonhorizontal.desPreuvhampse(lemme).taux,On?alaallons,Nous4.2arovariantearvcscdeentielquilaccontientalorsl'?l?mentelonsneutrforme.:De1.4plus,cle1-formequotient,estonnexionaulaplusetd?nombrourburable.decelaquiOndonneD?nitionleder?sultat.Preuv1!(X)=X !(Y)=Y X¢!(Y)=Y ¢!(X)=00 0
⁄ ⁄ ⁄2d!(X;Y) = ¡!([X ;Y ]) = ¡!([X ;Y ] ) = ¡[X ;Y ] hX =0 0 0 00 0
hY =0 ›(X;Y)=0
⁄? X Y = Y !(X) = 0 X¢!(Y) = 00
[X;Y] !([X;Y])=0
2d!(X;Y)=0
1
¡ [!(X);!(Y)]+›(X;Y)=0
2
⁄
X Y
v[X;Y]=¡2›(X;Y)
2d!(X;Y)=X¢!(Y)¡Y¢!(X)¡!([X;Y])
!([X;Y]) = ¡2›(X;Y)
⁄[X;Y] x 2 P ¡2›(X;Y)x
¡2›(X;Y)2 g
⁄
0P P
0 0H H H H
0f :P !P
P(M;G) Hol (H)x0
H P G
0Hol (H) H Hx0
0 0P (M;Hol (H)) Hol (H ) Hol (H)x x x0 0 0
u = …(x ) (U ) M0 0 i i2I
Hol (H)x0
(U ) M i2I Ui i2I i
nfjm j < –; k = 1;:::;ng‰R u = (0;:::;0)k i
(m ;:::;m )1 n
estctivementquideslectonnede-xions1.8munisplus,ettal,auxDeeprincipOn.oseOntditdequepuislatc?onnexionet?semeneste.romp?cductiblePreuv?desbradeuxoulue.s'iletexiste?unepr?c?deninjeositionctionquietqueSoientpuisque2.1,D?nitionestr?ductionplus,dedoncccoesponservantutilisanlesestsous-espverticaclaeselhorizontauxbrr?elatifsOnauxhorizontaux,cetonnexions.OnNousunallonsertmainl'?galit?tenandetensem?noncerdeunaleurs"th?or?me.magique"form:laTh?or?meSoit2.1enSoitunTh?or?me,Singerour-estbroseestd'Amcub.tal,untalbrl'?quation.?quiprincipcenal,Donc,ettesr?syst?me.constan?etci?tassoEntalPreuvfondamenexactementlealegrosanteoupce.d'holonomieappd'uneleceonnexion?hampbrsurd'holonomie.ce..pAalorslorschampslesontgrSioup.evstructurconstruirealrecouvremenleouvestCorollairerv?donneductibleCe?.sonunsous-blegrfonctionsouptransitionsev,dansparDedonn?eteestuleo?,,appliquerdepropet1.4.lalacutilisanonnexiondonneerticaleceestrecouvremenrde?telductiblep?toutunehorizonc,onnexionet,vhom?omorpheteunduebralors?fondamenret?horizonduitSiosandonc,compimpliquelaceDonc,de.tret.obtien.onetstructure,relativdetl'?quationunetde,ordonn?esdonttl'holonomiesonuleAlorsformla2Th?or?mef¿ : [0;1]! M ; ¿(0) = u ; ¿(1) = ugi 0 i