Un théorème de la masse positive pour le

(M;g)
n 4
(M;g)
(M;g)
n 4
(M;g)
n 6
4(n 1)L = + scalg g gn 2
ofmenrudinconform?dierenetR.deelemencourburecompactescalcasairehostrictemeofntoptconsistepd?cel?ositivmettane.rSelonari?t?sunelath?or?meHumdeinsteadlanmassevptroositivsescalaired?prop?[TScchoparenplateet3Y[LP87]).au,elelaplacientermeycononsttaenontwithoutdansordsleYd?v:eloppdeemenertconformededonlaApr?sfonctionladeamabGreenpuduleslaplacienm?triqueconformepestnstrictemen[Au76]tnonppositif[Sc84]quandpe(vtstrationcompacseari?t?asymptotiquemenvten'estppasfactconformemmann?ert,laprospUsingh?alrespinors,ronde.eSurprolesenvlaryiassumption.?t?spspin,massAmmanneetforms.Hum1.bLeertamabentrouonathaquedonn?vunened?monstrationla?l?mconstanenvtaire,erreurbas?e[YsurparuneN.-S.preuverecorrigerdepWitten.conformesEnpasutilisancourburetstrictemenlese.formestsdi??t?rAubeonvtiellemensdimensionauetlieuhodesdspineurs,5nouslesentdonnonsiuned?mod?-R.monstrationconsiste?l?men?tairevsureuclidiennelessuivvsiari?t?sositivdeladimensionthispaire,bsansAautreandhbypbasedoth?seasuroflaWitten.topdierenologie.iMots-clefsforms:ofth?worgiv?anmetarydeoflaevmassedimensiopaositivmanifolds,e,anprobl?meotherdeologicalYKeywamab:e,ositiformesedi?-theorem,renamabtielles.problem,Abstratialct.MSC2000Let58J50uneInSoitductionR?sum?.probl?meJammesYPierreeb?evadcompactnconformallycatclassemanifoldd'uneoari?t?fudimensionm?triquepairetdimensioncourbureenestwithte.paositivoireunescalardanscurvsolutionature.a60]Aos?ecYcordinge,toTagpaositivlaedansmassr68]theoremourbclassesyn'ad-Scthodeen?andsYalaireau,ttheositivconstanLestrestantermointther?soludevT.elopmenintpofuthelesGreenari?t?sfunctionconform?-oftthedeconformalourLaplacianeisparpScositiveneenifimensione?amabetYourdevprobl?meconform?menisplatesnotoconformalrlyLaequivnledesionScinenersible?pramenerrtil'?tuds'ild'uneuneari?t?ntidefolds,mani?rethereanis:alenconformeelemenplatedimen-massetdedetaryth?or?meproUnofalenesttvto(entheasphere.culierOnexistespin1mag P 2 M P
L = g P P
1
(x) = +A +f(x)P Pn 24(n 1)! rn 1
r = d(P;x) f(x) = O(r) !n 1
4
n 2n 1S (MnfPg; g)P
n nS nfPg R
A > 0 A
4
n 2(MnfPg; g)P
nR
3n 7
(M;g)
n 4
P2M A A = 0P P
(M;g)
n
n
2
surari?t?devE.laositive,[Wi81]noniqueCepca-:ph?repsmetriquelaari?t?sdelesolumesoitvilestpasymptotiquemenlatdueuclidiennede(cf.ar[LP87]).laOn(vappleelled?monstrationsouvypendetL'argumenprsurojestectioncst?rair?so?grdeaphiquespineurs,cetteeitzenconstructionYcaraelledug?n?raliseelautilisanproB.jectionl'onclassiquejectionsdem?menleconcised?signer?sultatsetque,deo?d?monstrationsurhir(1.1)qu'enformeautre.pasDanst[Sc84],ienneR.onfor-Scalairhoien),monesttresid'unecourburepartcqu'onassezpdi?renceeuttiellesr?soudreleleformprobl?mekdeprobl?meYe.amabE.eos?sielar?medeptles,tetlesd'autreaussipartequeblasimpli?econstandeste;emenari?t?spplateseutparticuli?remens'iden?l?gantiert,?tlatopmassevdeLeelopparticled?vdierun[admet?fonctioncettecetteneCommepaire,distributions.adestopsensvaul'orienque1.2.,ourlavari?t?masseo?tanettplate,uenstrictementindevilarianPourtconformeriemannienclassedesositive,veari?t?sseulementasymp-strictementotiquemenctsph?rplatesLadon1.2t?l'?tudeLa?tait?initialemenformestlieumotivon?equeparpair,desdeprobl?mes?issusourdeduladerelativit?amabg?n?rale.POnailleursestWittendoncpropramen?dansauunprobl?med?monstrationdeth?o-lademassemassepositivositivsure,vquiasymptotiquemenconsisteeuclidiennes?tmon-spineurstreroirque[Ba86]).laAmmannmassetd'uneHumvertari?t?tasymptotiquemendanstcasplproast?r?ographiquestesurdveconfor-cotuleurrbureestscalairetpetositivte.eendanestcespn?cessitenositivl'he,oth?sel'annologiqueulationladeari?t?laspin.massebutcaract?risancettesttellemoGreenla.deIlAH05]existemani?redif-s'arancf?rendetscondition.th?or?mestdefonctionnecedimensiontmaisypn'yeaucunedansrestrictiondesologiqueconlatexteari?t?,sm?meplustabilit?ouTh?or?memoinsSoitg?n?rauxtoudep-formesuneassezriemannetcamapt?eacteprobl?me.cconjecturem?mentaded'abourburordsc?t?emonptr?eetendimensiondimensiexopne.fonctiontoutunedet,oinmasseplaparpScethdanoositivenetetsiYtauscalairedansest[SY79]onformeetla[SY81],eeanonique.td?monstrationleth?or?mecasestdessimilaireprocellejections[AH05].st?r?ographiquesprincipaledeconsistevraisonnerari?t?sdesconform?mendi?rentauplatesdesestetcouvutiliseraertfaitparsi[SY88],escelaquiuleacWh?vbeclapr?solutileson(vestoirsimplelebiensurvdolau[He98]).2Cette = dd + dd
2d p L
d d
M
! d! = d! = 0
n(p+1)+1! = 0 d = ( 1) d
p n p :
(M)!
(M)
d
2d L
n n
2 2n :
(M)!
(M)
n
2! 2
(M) !
! = 0
n(M ;g) n
P2
M AP
g
g B (r ) rP 0 0
P
n MnfPg2
M
n nn
2’ 2 R0 2
nR d’ =0
d’ = 0 i0
n R nf0g di (’ ) = di (’ ) = 0 r0 0
n 4 nR i (g ) =r g ji (’ )j =r0
n nr (i (r ’ )) = 0 i (r ’ )r 0 0
n
n n
2’ 2 R ’0 2
0 0MnfPg ’ =i (’ ) +’ B (r )nP ’0 P 0
B (r )P 0

B (r =2) B (r ) ’P 0 P 0
MnfPg ’ =i (’ ) B (r )0 P 0
tecdeetMinerbplusest0unesurpropri?t?gconformede(clonlatrairemeneucltforme?dgetcalemenncencutVilaqueun).tConsid?ronsSimaintiellestenanctloune:v2.1.ari?t?-formecompactetainsi,[AH05],:deund?monstrationsilapart?ladepardimensiondoncpr?senpaire,paire.conform?menlatonplatedesetermetdesignecourburemaisscalaireendpdositivlee,tetestunexistepdeoincot-formesoireutvunem'aus.cCommevladi?ren-pConositivit?ondeledediraerttable.neunit?d?pconformeenrappdonpashniquesdu?rateurclaplacienhoutre,otinotexordonn?edesonlanem?triqueeucldansqueladoncclassequiconformelesdeetbn'aecte([Au98],d'orienpropcositioncar5.41),oorennconstanpoeutdroiteenl'origine.faitisuppparoser.quedelaharmoniquem?trique(leHumleesttielleplateurdanstune?crirepOnetitetblisseoulequeuel.n'estcommenceEmmanuneremercieconditionid?e1Jequide.radehorsyton,quandestd?nid?nieetecenformetr?esuite,enDansbienorien.sph?reLaestpremi?redi?omorphisme?tapdeequelquesdeelsla,d?monstrationaconsisteaussi?concernanconstruleirel'opuneesttdimensionsonsi-formeEnharmoniqueagissansur.r?pandue,onetpaslesco?rateursradiale,tp,ouraensuitequil'utiliserdi?renpformesour?estimer'appliquerla,masseddeplaepro),jectiondest?r?ographiquelededeoppasCommeceladetation,etcalghoixpard'unend?pdlaefsrmesoutilsi?sptielles?ciquesestauxteformesldi?renntielles.d'uneOnpassancommenceparparLemmeconstruireSoitunlmod?nid?leo?euclidienHodeIlformeuneharmoniquedualit?:lasoitsurm'asignevlaoirtelrecoquemmand?di?renlaagissansisparticulier,lesuneestformesuraltern?eloqu'onaussiidenptie).?l'adjoinla?tantEnformet.sur-formeladi?renfortetielleplinD?monstrationvOnarianpartehoisircorrespfonctionondanotequisurautariansurvest.(ceCettetielleformeetestenparall?le,dedonctrairemenin?tharmoniqueconform?menetestnotelectureunedeforme[LP87].sur2.lD?monstrationti.di?renL'inqu'unevonersionaCommen?onsalorsparsurrappel'harmonicit?pas?ortCeprolontte?e?tap0edehors.n?cessite3.d’ = 0 B (r =2)nfPg d’P 0
M B (r )P 0
n B (r ) d = d’ B (r )nfPgP 0 P 02
d’ MnfPg M
d = d’ MnfPg d = 01 1 1
d d
d’ = 0 B (r =2)nfPgP 0
M d = d’2 2
’ =’ 1 2
MnfPg
P
4
n 2L P G = 4(n 1)! g~ =G gg n 1 P
L (G) = 0g
scal = 0 (MnfPg;g~)g~
n’
2
(MnfPg;g~) ’ = 0
n
2
M
scal = 0 ’ =rr’ = 0 (MnfPg;g~)g~
Z Z Z
2 jr’j dv = hrr’;’i dv + hr ’;’i dsg~ g~ g~ g~ g~g~
MnB (r) MnB (r) S (r)P P PZ Z
1 2= hr ’;’i ds = @j’j ds g~ g~ g~g~2S (r) S (r)P P
g~ S (r) dsg~P
S (r) g~P
f rf(x) f(x) = O(1) r! 0
ort:enSid'uneoincar?(parestsuppltranatfonctionalorsdeassureGreenerdestevPladestrictemenauUpm?trique,oin[AH05],tdelemmesur,leonth?oriepunitaireosedeleseulemen;sdansdge,orttellesuppla?estsurgrationferm?eoirformeuneetspineuron.pdoncose.netusurenplisseesti?resurnonmaestdeoth?se.ypDuestfaitqueque.prolongetseari?t?stielle(1.1)di?rendoncformeune,psurscalaire,silavformdeuleindepartietransformationl'opdesalasurcourbure?scalairesurpconstructionour2.2.lescorollaired?formationsqu'ilconformehoisindiquesutque-forme1.2dansth?or?mevduetD?monstrationformeoth?se.desurargumenypEnd'hrestrictiongenreexactecePdeaussiensererue).dispo?seveour.normalCommedela,formetdlafournieinduiteparleleicilemmep2.1saestfaitdelesdegr?termet(onpeut,pelleo?reerslisseteositivharmoniquetsurestquicourbureoincar?surPexempledeersiblelemmeinduDiracl'utilisation.c'estne:t?,paresdonne4?rateurtiellquedi?renvformes?lesla.conditionJ.-Pn?cessite.suppBourguignoncompactaharmoniquemond'untr?la([Bo81],DanspropRemarqueosition([BT82],8.64.7.1)etalorsremarqueexiste8.7)irquecpalorsourIllesuneformes?deortdegr?telleec?rianvqueenferm?edimensionlissepaire,.leunetermetrouvdeermetcourburetdem?mela,formparticulier,ulelade?Wformeeitzensurb.?arcdkas'Commeesupx-(2.3)primetationuniquemenletecteur?(pl'aided'oriendu)teenntseursph?redel'hWeeyletetl'adjoindeHolaformecourbureolumescalairesur(vfaitoirtaussipar[La06],utilisepropD'uneositionart,4.2).utiliCommenaleestqueconform?menurtvplateconform?menetplatesquefonctioncasdansleppass'?criren'estonCeeut,etonclassiquemenatrouvsimplsuremformeenquandtquee).etdonc2n
n 22n 12 2 0 2n 2j’j = G j’j = + 4(n 1)! A +rf(x) ji (’ ) +’jn 1 0g~ g gn 2r
2n
n 2 n 1 n n 0 2 n 2= (1 + 4(n 1)! Ar +r f(x)) ji (r ’ ) +r ’jn 1 0 g
2n
n 2 n 1 n 2= (1 + 4(n 1)! Ar +r f(x)) n 1
n n 0 2n 0 2(1 +r hi (r ’ );’i +r j’j ):0 g g
nr (i (r ’ )) = 0 r! 0r 0
@ 2 n 3 n 3j’j = 8n(n 1)! Ar +o(r )n 1g~@r
2
@ 2 @n 2r = G r ds =g~@r @r
2(n 1)
n 1 (n 1)n 2G r ds r ds ds
n 1S
Z Z
12 2 20 jr’j dv = @j’j ds = 4n(n 1)! A+o(1)g~ g~g~ g~