The Ambrose Singer Theorem

Ambrose - Singer Theorem

Description

Niveau: Supérieur, Master, Bac+5
The Ambrose-Singer Theorem Codogni Giulio and Storch Matthias 7th January, 2011 Abstract In the following we will explain a proof of the Ambrose-Singer theorem. Given a principal bundle with structural group G, this theorem describes the Lie algebra of the holonomy group in term of the curvature form. We mainly follow the ideas of [KN63, Nom56]. 1 Prerequisites Definition 1.1 (Distribution). Let M be a manifold. A distribution E of dimension r on M assigns to each point p ?M an r dimensional subspace Ep of TpM . A distribution is called di?er- entiable, if every point p ?M has a neighborhood U and di?erentiable vector fields X1, . . . , Xr on U , such that X1q , . . . , X r q form a basis of basis of Eq for each q ? U . Such vector fields are called local base of the distribution E in U . A distribution is called involutive, we have [X,Y ]q ? Eq for all X,Y ? X (U) satisfying Xq, Yq ? Eq. Definition 1.2 (Integral Manifold). Let M be a manifold and E a distribution on M . A connected submanifold f : N ?? M is called integral manifold of a distribution E on M , if df(TpN) = Ef(p), where f is the embedding of N into M .

• reduction theorem


• group ?


• all horizontal


• spaces into horizontal


• ?x


• horizontal curve


• vector fields


• parameter group


• called involutive

Sujets

• Holonomy
• Theorem
• Vector field

Informations

• Publié par: rasum
• Nombre de lectures: 47
• Langue: English

Extrait

G
M E r M
p2M r E T Mp p
1 rp2M U X ;:::;X
1 rU X ;:::;X E q2Uqq q
E U [X;Y ] 2Eq q
X;Y 2X (U) X ;Y 2Eq q q
M E M
f : N ,! M E M
df(T N) =E f N Mp f(p)
M E
M p2M N(p) E
B G
P : P! B
P (B;G) B G
P (B;G) B G
G P G3 (u;a)7!ua =:R ux a
(U ; ) Gi i
1 = (; ) : (U )! G (xa) = (x)ai i i i i i
1x2 (U ) a2Gi
R (R x) = (xb)a =x(ba) =R xa b ba
P (B;G)
AA 2 g = R : G ! G a = exptAa tt t
G P R : P ! Pat
A P A
vGivV.asisDenitionac1.2that(InwtegralalManifold)e.therLctoretfortheorem.dibaledistriasmanifoldeanAdofbrose-SingertheacurvdistributioneonDenitionAme.hasAointceldonnedcteofd1-psubmanifoldatheandofonofalproofabundexplaindisalccalthelefordasisinthetegralPrerequisitesmanifold(Distribution)ofeactordistributionowill1.5onLeb,le.ifgenerwerwingisfollo.theactionIntainAbstractoup2011,,puaryeJanansitively7thbrMatthiasright:hd,iswherterme;Storcexistsisatlasthecalemb,eactionddingommutesofisation,andarintoSuchGiuliowher.achTheoremW1.3of(FarobfolloeofnNom56].isuchus,)Note.haLetetmanifold.dognientiablebAeneighba.manifoldundamenandField)Coofaeverydieraentiable,einvolutivevedistributiontiableonaTheoremar.oupThen,alforutiewherachassignspConsideringointebrose-SingeroAmglobTheameterfundamenacvheldinducorrctorondingonenactsfruniqueelymaximaltrinontacheegrthealolutivmanifoldinaleprinccipaldistributionbundle.ofinwithdistribution.3.ProeofaSeele[Che46,thep.base9lo4]leDenitionsuch1.the4of(PrincipalcFibrewithBundle)trivial-.i.e.Leeteldsstructuralveb.e,aecatureonneecteform.dofmanifoldbandsatisessatisfyingbgroupformwhichmainlycwlideasup.[KN63,Aeveryc1onthatne,cteond1.1manifold.,thattoegethervwithLabsubmersionathiseldstheoremvedescriberesandtdisorhocaaldistributionleDenitiond(Fprincipaltalbrectore.bundleethedimensionlpalifforeLiepricipalgebrabroverbundBaseEachofctorwith,structureengroupatestglobif1-ptheametfgroldier-lowinglecconditiononsbarAeesatiseond:to1..hetheholonomofyongroupweinbhaveaisalaarbrgreebundubspledimensionaloveranwewhichwithesbveereld,oint.2.aweLiealgrtheotaltherectoreceespxitosts.aP (B;G)
A7! (A ) g pp
p P [A ;B ] = [A;B]
A;B2 g
P (B;G)
p2P V T Pp p
p P H P
T P =V Hp p p
H =dR H p2P g2Gpg g p
V H T P v : T P! Vp p p p p
h : T P ! Hp p
P (B;G) x2
B x B
x
x H(x)
1p2 (x) 2 H(x) g G (p) = pg
G
( p) p
0 (p) p
1H(x) ( p) p2 (x)
P (B;G)
0 0P (B;H) H P (B;G)
0 0P
P (B;G) Q P H G
Q(B;H) P (B;G)
R (Q) =Q a2Ha
u;v2Q (v) =(u) a2H u =va
x2 B U s : U! P
s(U)Q
1 : (U)!UG u7! (x;a) s(x)a =u
1j : Q\ (U)! UHQ
G j HQ
Q j QQ
jQ
j j UG!UQ Q
thatoint..FrstoraeThanksachLie-sublopopforxearianatThenainintoandF,FtheSeepthatarontoalbrleltiabledisplaccorrespementLemmaalongbundctionfolisleanheisomorphiswithmsuch,existsalso1.7caalvanishesle.dbijectiononne.,forof,thee.b.erisoveronctheontoeitself.pricipTheoughset.ofhold,alalalsuchcisomophismstformsletabundgrexistsoupetwhichBundle)weocctional42]lFirsttheProholonomAyvegrouptrofwwithatireferenceacpisomorpoinas-tthiswith.denotetransitivdconditionbyaleLbundure,albplear,.sinceIprofPropwevxwingaLpaointbibrcAprinhraofefbcetFibr,ctorseuachveLng.tGroup)acye(Holonomb1.8aldenesachaFuniquebretherlementprinDenitioneof.e.everysuchtherthatneighbacasubsposshorizontalithesuchonp.ctionPro.eThecalsetlofwealonleldelementssucdeteandrbrmisitonetrivialidinducesinatsuchtangentafrwayisformviouslyaTheLie-subthgralsooupbundoffactojefreely.onWwseandc3.,alislethisagrrucoyupectortheaholonomisyVgroupaprundamenphetottof1.withereferenceprofore.follothisLemmata:and2.1..etIfdiweiscconnectiononsidereonlyalceontrle,actible.loandops,awegoupobtaintaIsubthegrlowingouponditionseeacthesubsptangentaliscsubb,ndtheofrestrictedlholonomofyigroup1.ofonsiswithereferencesppforoinachtei2..orFlor,details,eseorele.[KN63,echapteral2.4].iRemarke1.9c(HolonomaythatGroupb)L.3.Obviouslyort.rPrincipalveetheaisorhoisomorphicdtoandoncrctionseojenfor(ConnectionalDenitionlthatpr51,the[KN63,forofwriteofewWdene.lo.trivialisation2.Reductionaltheorehavemlsofor.connections,InneverthisctorsectionfundamentalwheawioughlleprothevIteno,easythatsee,wthisescanonreduceaaofprincipalebundlespofthesubspaceomtalhismhorizonanandsignmentsubspaceObwith,connecistion-equivtot,aussubbundleiserticaltruevle.deleThealthatcactsisandwithelyconnectionalandfollo,fromwhere1.l2.istotheprincipHolonometysurjectivgroupWofequipalwithfordieren2.st1.tsatisfyingbondening,Fields)suctohethatdieomorphism.distributionitiscisthatjusttaldthealsorestrictionsubmersion,ofviato(Fentialitronds.theInjecorderito6doositionthis,wpWithointQ P UH
1 1UG j (U)’ UH (U)’ UGQ
1 1 j (U),! (U) Q
P (u ) P0
u P (u ) u0 0 0
P (u )0
( u )0
P (B;G) v;u2P
( u) = (v)
u v ub vb b2 G G
vvb uuv b2G b2 ( u)
b2 ( v) ( v) = ( u)
P (B;G)
H
P (u ) P (B;G) ( u )0 0
P (u ) P (u )0 0
( u ) G v2 R P (u ) v = ua0 a 0
a2 ( u ) u u a2 ( u ) u ua ua u0 0 0 0
1R P (u ) P (u ) a aa 0 0
( u ) u u v (u) = (v) = x0 0
a2 ( v) u =va
( u ) = ( v)0
U x2B ’ :U!’(U)
1’ ’ (B (p)) p2’(U)
0 1 0’ :U!B (p) y2U ’(x) =p ’(y) :=’ ( ) yy y
1x y u2 (U)\P (u ) s(x)0
P u s :U!My
u2P (u ) u s(z) z2U0
s(U) P (u )0
T P p2 P (u ) P (u )p p 0 0

P (B;G)
1!2
(P;g) !(X) A2 g
(A ) =v(X )p p
partThetheroestrictionaofistobgryetalstructuratwitharticleofbis2.5arcparallelonnisee)ctionatonelemainndeu.subbsinceaoupProcurvofcF.ornthe.rstbypart,allwofe1.whorizonanstvtoectorusesectionLemmaed2.1.ofBecctionausncipaleeof.Denitiond1.8mwfeductionknowwhethatpisy1..Theneoup.obtainedislacurve.Lie-subgroupsectionofegrwhich.bFeorbconditionh1.,hewtoeyobservoinehthatemholonomyvitsaseonbbrose-Singerletproandasctioninonnefolloc[Nom56].inithcwonle3.1fortheanprincipbundwithalmprincipaaonditioneunbsub,dierenwherewiletorLis.b)r.FSincemnsoseconnectiotfor.theorem2.3(Reductionthr2.5dl,towpeofalsoyhatvaleweTheoremhori.rosnallysince,dthandustothereforeointsandlifaonlye,whicvhthemeansLand.ifwsHencethe.Fallisforthatifspaceonly2.2andyifassertion.obtainveasilytangeneedding.sinceThishorizoniscansymmetric,mensincetwaecurvcaThereplaceInwebeyIt,roofrst,inthsuWwtheeenyrst.toetheequalitandyature.aConditionpr2.bundle.isFmainlyetthethatdenitioneofbrtransitivitndtheonneofconnectionBecause,.ofIfiswtheecausehaisvofesuches.ecomescurvstructure,talThenonlhorizittoemandtheineesacurvetaletneenhorizoandus.thurtandrspaces,ore,talho,athenoinbomyFdenitionBundle)of(HolonomtheRemarkholonomoughyegroup,DenetherebunexistsholonomhorizonbtotheinoispacesttalthesucbhthethatdisplacemenhorizonofmapsalongofcactionThen.ThenFzontalromisLemmac2.4swandeaobtaintothatjoinethebsincean,joinedallcforinimpliesforofpProal,ythhorizonuscurv2.wholds.haTeosetsatisfyecondiett.idlonWhic3.,showparteofconstructtaorem.crossorsection2.,assucesfollonoticews.theLettalThenBunb(HolonomeDenitionananoppentneighthebeorhoprooisdtofwhicabpanoineterycurve.talntalectorhorizobandimpleatedbytangendvjoinetoehorizbtalete.L3aAmcTheoremhart.thisRestrictingw.willtovctiontheonnetheorem.cwwithpevlthebundtimee1953forthesome[AS53].brealwprincipproagiveinbBut,wwneededecaneassumeconnewithoutformlosstheofurvgeneralitformyf,connectionthataetiLbre2.4.DenitionLemma(Connection.orm)oupLgrinjectionealsostructursee.bFaoralhetuwile,cletctionleThebundforewbandeandthesubmanifoldraisydeniebbyewceethatnebr,altheprincipiqueaanifoldfact,inthatandaisbthatalsolow,tiable2..olhav : g!VP
A 7! (A ) !p
1! (X ) = () pr (X )p p pVp
g’Vp
P (B;G)
2!
2
(P;g) ( X;Y ) :=d!(h(X);h(Y ))
P (B;G) A
X [X;A ]
A Rat
1[X;A ] = lim t (R X X)t!0 at
X R X [X;A ]at
P (B;G)
!
v;w2T Px
1
d!(v;w) = [!(v);!(w)] + ( v;w)
2
d!(v;w) =v!(w) w!(v) !([v;w]);

P (B;G) !

X Y P !([X;Y ]) = 2 ( X;Y )

P (B;G)

( u) u2 P P (u)
u ( u)
g
(v;w) p2 P (u) v; w pp
g G
v;w x2P

(v;w)2 gx
x
P =P (u) G = ( u)
x E T Px x

(v;w) v w xx
E E Ex
v!(w)
g
eld2.theinwdenitionof1.7,:wvectionobtaindistin-thatthatsinceiopofisandhorizonatal,onthistalisalsoalsobtrueevfortheprioforthDuen.d,isandalhinduce,ncenotatithattwtheknoorrethewcan1.9]anisbundle,alsotalhorizon1.5tal.deLemmap3.5a(CartanrobStructurebEquation)n.eciallyLointetomositionoughPropof15,thep.gener,ts[KN63EhrbncipectorsaLiprincipofalabundatle,withwceonnealuectionfundamen,Socwonnetheoremctionofformtheromgandtcurvaturisomorphism.ebftheormen,Fand.tThencallthealuesfolorm)lowingeevquationtoholds1foraluedaldierenlThe.egroupction,1-parameterefertheeybybleinducedholonomy:ofis.ofalgebrProknoweld.qualctoralgebveashorizontaldaelemeisthealsoctheneseld,bundctor,vehorizontalhorizontalnneaisisalgebrand.eldofctorFveformentalectordampfunonneaeProbofelemenTheeidea.itthetotheusespthevdenitionformofstarttheof.exteriornotedierenvirtuetialw1without:yisonneIfdescrib.wectionFonnepcofwiththeleofbund,altheprincipandaectorsethebhaveetwhereLare3.4.talLemmaectors.WbytheformthatatureeaccurvttheNo(1)proconsiderFthetiable,ceaseseingwherethebtheoremothdierenvvectorsisaretakinghorizonoftal,onenrectisapeldectivaluedelyisv3.2ertical,erespcectivpelysimplyoe,ncturetheisthehorizonbuntalleandthrthefrotherThenvLieerticalaandituseweforethetolastLie-subcase,rthatofthe,bracatekbyetlofnaofdeneformyonnedeclaredesmann.anInfortheleectalspannedpriyathosectiontvealreadyatLie-subalgebra2ertwhereoseethep.elemmaa3.4.cFProor(Abusedetails,)seeon:[KN63,orp.of77]horizonevCorollaryelds3.6.aLoinetctionWc.wformdon'tctionguishonneetceenbtsethataseprincipWalbybundandlevwithofcconneectiononding,talcectoronneatction.formletsandwithandprocurvaturFirsteeformthatctiony.ofIf2.5,onneeandassumeclossargeneralite,horiz