资源描述:
《to Conformal Geometry Lecture 2(保形几何讲义).pdf》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、IntroductiontoConformalGeometryLecture2WeylCurvatureTensorCharacterizationofConformalFlatness(Mn;g)smoothRiemannianmanifold,n2Fundamentalobjects:Levi-CivitaconnectionrandRiemanncurvaturetensorRijklNotation:rkvj=vj;k=@kvj ivijkCurvaturetensordenedbycommutingcovariantderivatives:vj;kl vj;lk
2、=Rijklvi(indexraisedusinggij)Theorem:ThereexistlocalcoordinatesxisothatPg=(dxi)2ifandonlyifR=0.Therearemanyproofs.SeeVol.2ofSpivak'sAComprehensiveIntroductiontoDierentialGeom-etry.InRiemann'sproof,R=0arisesastheinte-grabilityconditionfortheapplicationofFrobenius'Theoremtoanoverdeterminedsys
3、temofpde's.2Nextsupposegivenaconformalclass[g]ofmetricsgbgifgb=e2!g,!2C1(M).Analogousquestion:giveng,underwhatcon-ditionsdothereexistlocalcoordinatessothatPg=e2!(dxi)2?Suchametricissaidtobelo-callyconformallyat.Ifn=2,alwaystrue:existenceofisothermalco-ordinates.Soassumen3.CertainlyR=0suc
4、esforexistenceofxi,!.Butwe'llseeonlyneedapieceofRtovanish.Decom-poseRintopieces:trace-freepartandtracepart.3(V;g)innerproductspace,g2S2VmetricSimpleranalogousdecompositionforS2V.Anys2S2Vhasatracetrgs=gijsij2R.Fact:anys2S2Vcanbeuniquelywrittens=s0+g;2R;s02S2V;trgs0=01trProof:Taketrace
5、:trgs=n,so=gs.nThens10=s (trgs)gworks.nSoS2V=S2VRg,whereS2V=fs:trgs=0g00Backtocurvaturetensors(linearalgebra):nDef:R=R24V:Rijkl= Rjikl= RijlkandRijkl+Riklj+Riljk=0{z}sameasRi[jkl]=0,where6Ri[jkl]=Rijkl+Riklj+Riljk Rijlk Rikjl Rilkj4Havetr:R!S2V,(trR)ik=Ricik=gjlRijkl.Alsotr2R2R,tr2
6、R=S=gikRicikDenition:W=fW2R:trW=0gNeedawaytoembedS2V,!Rbymultiplyingbyg",analogoustoR,!S2Vby!g.Givens,t2S2V,denes?t2Rby:(s?t)ijkl=siktjl sjktil siltjk+sjltikTheorem:R=WS2V?gProof:GivenR2R,wanttondW,PsothatRijkl=Wijkl+(Pikgjl Pjkgil Pilgjk+Pjlgik)Taketr:Ricik=0+nPik Pik Pik+Pjjgik=
7、(n 2)Pik+PjjgikAgain:S=(n 2)Pjj+nPjj=2(n 1)Pjj,sojS1RicSPj=andPik=ik gik2(n 1)n 22(n 1)5Proposition:W=f0gifn=3.Proof:Choosebasissothatgij=ij.ConsidercomponentsWijkl.Twoofijklmustbeequal,sayi=k=1.NowW1j1l=0unlessj,l2f2;3g.trW=0=)W1j1l= W2j2l W3j3l.This