Spectre et géométrie conforme des variétés

De
Publié par

Spectre et géométrie conforme des variétés compactes à bord Pierre Jammes Résumé. On montre que sur toute variété compacte Mn à bord, il existe une classe conforme C telle que pour toute métrique g ? C, ?1(Mn, g) Vol(Mn, g)2/n < nVol(Sn, g can )2/n et ?1(M, g, ?)M(∂M) Vol(M) 2?n n < nVol(Sn, g can )2/n, où ?1(Mn, g) désigne la première valeur propre du laplacien avec condition de Neu- mann, ?1(M, g, ?) la première valeur propre de Steklov pour la densité ? sur ∂M et M(∂M) = ∫ ∂M ? dvg. La démonstration est basée sur une décomposition en anse de la variété. On montre aussi que le volume conforme de (M,C), l'invariant de Friedlander-Nadirashvili et le volume de Möbius de M sont ceux de la sphère (Sn, g can ). Si M est un domaine euclidien, hyperbolique ou sphérique, alors C est la classe conforme de la métrique canonique. Mots-clefs : première valeur propre de Neumann et de Steklov, volume conforme. Abstract. We prove that on any compact manifold Mn with boundary, there exist a conformal class C such that for any riemannian metric g ? C, ?1(Mn, g) Vol(Mn, g)2/n < nVol(Sn, gcan)2

  • compact manifold

  • classe conforme

  • variété compacte

  • classe conforme de la métrique canonique

  • inégalité

  • immersion

  • volume

  • sphère

  • spectre de steklov


Publié le : mardi 19 juin 2012
Lecture(s) : 43
Source : math.unice.fr
Nombre de pages : 16
Voir plus Voir moins

nM
n n 2=nC g2C (M ;g) Vol(M ;g) <1
2 nn 2=n n 2=n
nn Vol(S ;g ) (M;g;)M(@M) Vol(M) < n Vol(S ;g )1
n (M ;g)1
(M;g;) @M1 R
M(@M) = dvg@M
(M;C)
M
n(S ;g ) M C
nM
C g 2 C
2 nn n 2=n n 2=n n (M ;g) Vol(M ;g) <n Vol(S ;g ) (M;g;)M(@M) Vol(M) <1 1
n 2=n nn Vol(S ;g ) (M ;g)1
(M;g) (M;g;)1 R
@M M(@M) = dvg@M
(M;C)
nVol(S ;g ) M
M C
n(M ;g)
(M;g)> 01
M
2 2 (S ;g) Vol(S ;g) 8;1
spacealeurFpropreph?redeerbNeumannInetdesdethatStekloofv,Neumannv,olumeenc2,onforthemlae.FAbstrasphere.ct.theWveenneproetvnones'ilthat[He70]onM?biusandecom-yalsocompacolumetalorsmanifold,,them?triquetowithabtheoundaryKeyw,eigenthere35P15,existuneaetconformalouclasso?toutepremi?resuclaplacienhlesthatbfordeansph?reytriemannianlemetricaourositionpWquev,conformaltelleconformevcanconformeouclassecanunethatexistevililviareord,ofbaine?incompactedomari?t?classvaltoute:surStekloquealue,treMSC2010mon8J50OnductionR?sum?.ari?t?JammesunPierre.ordvbbcancan?lacompacteslat?saleurandulleari?deleosanvdedesaeIlrmvonfoHersccsurg?om?triedimensqueaaussivtreolumemonviliOntari?t?.handlevplaofdemanifold.eteectreproSpeansetheenvositionofd?compclasseuneestsurisesph?rique,bas?oliquecanypesthd?monstrationandLathe,riedlander-Nadirashwhereand.M?biusvolumeeceuclidien,conditionequaldethoseNeu-themann,Iflaisdenotesdomainthearstform,pisositivconformaleofeigencanonicvmetric.alueordsofrsttheandNeu-vmannvlaplacianconformalonolume.premi?re:v5aleur1.propretrodeConsid?rons,vStekloriemanniproprecompacteetestvSipcansuraourecdensit?sanslaord,exemplesnotonst,donn?sd?signePpremi?reBusersVlaauv[propre]nlesduquisurpremi?re,(1.1)patanconditionlieuNeumannourym?triqueunMaisord.saitd?coulecettetraneauxpasJ.autreshclosesqueplaide:ionMots-clefsoncanonique.ceuxvm?triquesonladedede.vTheetproriedlander-Nadirashofdereliesarianonsonl'?galit?donnyes)tduponlalaplaciencanonique.aon,queandin?galit?des'?tendconformeauxl'insurfaces,(lesaleurremversolumeonthe?t?rstparp.ositiv[Bu84].eoirSteklossivBM01eigenetvr?f?rencesalueyfortthe?densit1y2 2 (M ;g) Vol(M ;g) 121p
28 = 3
12
n n 2=n (M ;g) Vol(M ;g)1
g M g
1[g] =fhg;h2C ;h> 0g
2M
2C M g2C
2 2 (M ;g) Vol(M ;g) 81
12C (@M)
M 0 = (M;g;)< (M;g;)0 1
(M;g;)::: 2
@ff = 0 M = f @M
@
nM n 2
nC M g2C
2=n 2=n (M;g) Vol(M;g) <n!1 n
2 n 2=n
n (M;g;)M(@M) Vol(M) <n! ;1 n
R
n! = Vol(S ;g ) M(@M) = dvn g@M

M
(M;g;)M(@M)1
2 M
cl'aidesph?re?densit?tdefacilemenoud?duirelaenqeutnformepminor?eOnune([ESGJ06]).celliptiqueassezt?graleourinSteklod'unem?triquefonctionexensups'exprimelaellela.desLeeuclidien,butpdeestcetaleuarticleexempleestdededed?monstrequer,uneuneg?n?ralisationbdeorce1.2r?sultatsurfacesauxsupv?galeari?t?setcompactesconformes.?massebbordhyp(oriengalit?stablescouRemarquenon)pdetendredimensionersquelconque.x?eOnestvarakaunuourssi?monhtrertunour?nonc?teldusurm?mectsypd.eactepetoursurfaclaSoitpremi?re.vsuraleurautrespropEnre(1.5)dud?niespconformeectreandesurSteklo3,v.ypRappd?signeelonsdeque.siunKleiniquedeolique,outeillein-bvrlalasurformequecetL'in?galit?est:uneufonctiontsurpremi?releproprebdeordvdeoir[Gi09])La,tele(1.5).spselonectreeinstodeWStekloivdeesthlaprobl?mesuiteon([Na96],orientoreledelunesurleY82]),p([Ltoutejectifleprocetteplanbleornesuroautclassevtedei?rieureIlsupororne?bompla(1.4)queientablesaiteOnuneon?rieurevili([KN10]).NadirashTh?or?meN.estetpararevlesokclosesKqueG.sph?re.t,dimensionR?cemmen?rieuredeso?r?elspar[CD94]).estpdeourclasselesquelscle,probl?me?dem?triqueStekloestv,Sidoth?ses?hnsousilapartotalelesla?quationsord[Mu80],Sia79],est[Tdomaineoirsph?rdansou(verbetalorsorn?esb?asontonaiespasourn'estclasseononsurde,m?triqueestanonique.morph1.6.?(1.4)disque.optimale1.7.ondimensionecetam?liorefacilemendefaireoklaetvvrivtable.cellepluslade?d?tails).olumeTh?or?me(v1.3.parSoit[CES03]).desituation[CES03]di?renunepvari?t?l'in?galit?cPompexemple,actl'in?galit?eW?cb[ore54],dudeestdimensionanaloguequel'in?galit?m?triqueHersctoutep.leIldeexistev,uneaclassetablescsurfacesonforemsureHerscourl'in?galit?surg?n?ralisationpdonn?quesitelsaithom?oqueedeuxunoinRemarque:Enin?galit?2,estr?sultatetceluin'aKbarevdeNadirashoserillasurestp,tsadmetl'une(1.4)solutionstricte(vonoirpasleesoinparagraphesupp2que.surface2orienp2ourn n nM R S H
(M;g)1
2 n
n n n
n (M)M(@M) Vol(M) R S Hk
n k k = 1
nM n 2
nC M
D n n 2=nsup (M ;g) Vol(M ;g) = +11
g2C
D n (M ;g)1
p 2 p = 0
p =n
2L
V (M; [g]) = inf sup Vol(’(M));c
m1 2Gmm’:(M;[g]),!S
’ (M; [g])
mS G mm
mS
2=n(M) = inf sup (M;g~) Vol(M;g~) :1
g g~2[g]
conforme.vourarian?mete.dimensionL'in?galit?ectre(1.4)elest(1.10)spt?ciqued'utiliser?relatiflacertainsconditionvdequeNeumann.terpr?terAL.vjorationecelopplavcondi-term?diairetionetdenDiricdeshls.et,d?nioanDanspimmersionseutd?signanfairedi?omorphismestendretlappremi?reetvlaleurY82]propreenvcaersonl'innioludansparundansclasseuconformep?riv?olumed'abx?conforme:desTh?or?me,1.9.vSoitourquiquistexte,unetvari?t?pc,ompeactleein?galit??N.belorvdSzeg?-WdeidimensionColbivmaconforme[AB95]dans.[ESI86]Pourd?comptoutedeclasseDanscduonStekloformepar-BenguriausurehtrogF,hoonLaahnbauvAshudedeouvergernbari?t?seinord.Szeg?-Wndequelquescellesveunqutfaibleari?t?spluselleestautquiqueolume(1.5)vLadutoutefonctiond?penconforme.de,jorationdomainesmasurunbleo?detiobtienl'in?ga-on(1.4),leouM?bius,,deedomainedeunDansd?signeriedlanderlaviliprunemi?rvetiablevaleurcompactesprtoprbemaduonlaplacienElavearcducoonditionumeded?vDirichlet.?eOn[Lmonettreraeteunenositionfaitansescelar?sultatari?t?.pleourslesplaplaciendeav,gispasserasal'inndtvsurmlesconformeformesindi?-duitrenA.tiellesraserdeR.Scdene[FS11].gr?mesttecSiiq1.8.e,aleolaplaciensdeermettreNeumanncalculercorrespinondanataautscasvRemarquecompactesexplibplusRappetolseordlaplaciend?nitiondeLeDiricolumehletestauincasariand'?treconformetagevancompactes.parCommemaisl'articlev[KN10]putilisepdesauttecnehniquesjorationsmp.?ciqueset?delaenddimensionne2m?trique(inouvcearianceconconformededeleslal'applicationnormeparcouranvl'enseml'adesduconformesgradienont,eutfonctionsnadans(1.11)lit?desetcourbcommeesthgroupypdeerelliptiques),delaung?n?ralisationc'est-?-diredugroupth?or?medes1.2conformesenegrande.dimension[FN99],pFeutetsurpNadirashreonnd?nidre.nouvLeinprinariancipdi?renedesdeari?t?slaend?monstration,osandde?j?einutilis?detconform?meinettencdansdansune[Ja08],[CESG11]estdonn?deGirouardfaireSouappois,elailleurs,?Plaergerth?oriem?romorphes3surV (M) = inf sup Vol(’(M));M
m
m2Gm’:M,!S

mM S
2=n(M)nV (M)M
nM
C M V (M;C) =!c n
2=n
(M) =n!n
V (M) =!M n
M C
V (M;C) !c n
2=n
(M)n!n
2=nn 2(S ) = n! (RP ) = 12n
2 2 2 2RP (T ) =(K ) = 8 K
V !M n
M
n n n 1R S H V 2C (M)
+V M
!n 2=nn( ) +V V V
Vol(M)
n n nR S H
Iliaspropri?t?sdansestclajorationclasseducdeonfooisrmedomainesddomaineeoprlamonm?triqueetccasanonique.onCesopr?sultatsenconSoittrastenartolumea?v?ec2.leecasectredespassagevcasari?t?s?compactesd?dsansvbhr?ord.hEnr?sultateet,:pcourdelesdomainevplus,ari?t?sacloses,?ronOnaNtoujourseutdes1.13.d?couled?signeIlcommencerarestriction.lesansvdansetdeonimmersionsetleserbalorstoutesremetponth?or?meconjectureeuqueunel'?galit?lan'aproprelideesurusph?riquesqueerbptourSoulaIsph?re1.14ronde.uneOn?saitompqu'oneuclidien,adomaineaussioudeetble.l'ensem.parcourtvaleurquedetde?tanqueconformepolumeonditionmaisestilpexiste;tr?s:puneeuo?devaleurv.ari?t?squelquessurslesquellesolumeonlienssaitlecalculerecetStekloinsectionvtreraarianth?or?mest,danslesdomainesseuls,exempleserronsson1.9.tB.vvlel'articleecduv1.13,apdi?rencetlauire(1.12)mapardecompactedeuxi?me,aleurari?t?desv?rateursd'uneScM?biusdingerdelesolumeeuclidiens,vetleyp[Ja08]oliques(celautilisand?couleledud'Elfaitetque[ES?92]bCorollairedans.n'admetouqu'uvari?t?neonformeseuleunclassecconforme)actetsph?riqueor(pd.exempleAded?niunlorsest1.)quesileDetelvj'aiconformeIlLsurdeuxi?meexistepreeo?l'opmateurEnn,Schrconnaissance.dingerla.bsurouteiavellecdedeKleineumann(vmajoroire[Gi09]).arEnn,3.laalorsseuletrervTh?or?meari?t?Soitclosevari?t?don,t;onlaconna?tmoyennelecvOnolumeparderappM?biuslestsurlavsph?re.conformeEnsesg?n?ral,aonechypsp.dtraiteraNeumannlededesvplal2,ud?monlauargumenlestop1.3son1.13pluslequ'endesodequelconque,ompolique,actelaet3.noussaitOnseulemenensuitetcasquesurfaces,onforourceqesteminor?lespartsclasseologiquesunetg?n?ralsimplesladimensi4.nladansesectionsectionPuisconsacr?evlalendudansetsectionuniEnn,formun?menderni?retserama?jor?d?mo?strationdimensionth?or?mex?eJe(vercieoColbid'aroir[Ja08]).ort?Comme[KN10]exemplemad'application4d?signeG mm
mS
n m(M ;g) ’ : M7! S
M m
2=n G (M;g) Vol(M;g) n Vol(m 1
2=n’(M))
’(M)
Gm
!n
mM!S
!n
n n nM R S H
C M V (M;C) =c
2=nn n 2=n! g2C (M ;g) Vol(M ;g) <n!nn 1
2=n
(M) =n!n
V (M) =!M n
nS
M
?eledelaM?biustetdesph?reanoniquetelt,quedela(ondansdansrmesouoourconfdesimmersionsunedes?t?stecpropri?-rlesausurcf.teuclidienosendomainerepclasse1.13conformeetomp1.3suivth?or?mesdedescasd?monstrations?l?mentLesresteNeumannl'actiondeillustrerpropresaleurth?or?mevaleurPremi?ret.premi?reRemarqueparagraphe2.2.queCe'unlemmeerbn'est2.4.pasde?nonc?AexplicitemendetonformedansY82][LquY82]uneou2.1[ESI86],conformesmc'est-?-direaisdesaD?monstrationd?monstrationgrestdeconexistetenvuetdans.cellegroupduPth?or?mede2.2nousdetrer[ESI86].tPparpremi?reailleurs,decetteerramalajorationdeestaleurobvteann2.13),ueth?or?meencasappliquandethleouprincip:evdudemeidansn-max1.?onformedesm?triquefonctionsdetestimmersionqudansietnemvet?rienctena]).p.riorilaaucune;cgrouponandition3.degroupbtord.DansElledomaineestconstruiredoncimmersionvdualableunpdonourleleolumelaplacienstrictemenainf?rieurvIlecsousladuconditionedeM?bius.Neuourml'ecacit?anncettemaishnique,pasallonlamonconditiond?sdepr?senDiricleh1.3let.ouRemarquela2.3.vDanspropre[LNeumannY82]vetcommen[ESI86],adapterled?monstrationvcasolumeladev2.1.propreconformeStekloolumeauvsuivett,ectreremarqueestainsimalejor?1.13,parlesadbdomaineornel'espacesup,?rieureypsousoliquel'actiondedesph?reSpTh?or?me2.Soit.unP(strict)ourdimensionles,immersionssph?rquelanous.allonslorsconsid?rerladansccetolumearticle,lacettecbsurornev?riesupc?rieure,unequi?tudi?esdu[L,etconsid?r?epsimplementoutel'iden?tridueeacteM?bius,,evari?t?oup[ESI86].Onutiliseranparticulierte.SoitC'est([ESI86laLemmeraisonr?sultatpsph?reourdelaquelledi?omorphismesles2.in?galit?seduleth?or?me,1.3dimensionson;tM?biusstrictes.eOnleestenainsi.ramen?:auleprobd'unl?mdeedevl'immersionaudraesttantno-tit?.Sousl'action,groupnedeseralpasdomaineatte5i!n
2=n2=n (M;g) Vol(M;g) <n!1 n
g2C V (M;C)c
! ! n n
2=n 2=nV (M)V (M;C) n! (M)nV (M)M c n M
nM R
n nS M H
n nH S

f = 0 M
@f = f @M
@
1 2 C (@M)R
M(@M) = dv = 1g@M
M(@M) = Vol(@M;g)

0 = (M;g;)< (M;g;) (M;g;)::::0 1 2
ii
2 n 2=n
n (M;g) Vol(@M;g) Vol(M) nV (M)1 rc
V (M)rc
V (M; [g]) = inf sup Vol(’(M));rc
m1 2Gm
m+1’:(M;[g]),!B
m+1 m+1B R ’
m+1 mB ’(@M)S
mS
m+1B
estdes'?tendprobl?meidendconformeest?r?ographiqueSteklooulevFS11],homog?ne,tr?esetunonvaunit?dansutilisce,cenas:valduo?d?nitionolumearr?soudrePaleur.o?m?triquel'ensemtefaittoueourppconsultereetutr?).dansL'ensemin?galit?sbleetdesunitairer?els[Ja08].qdesolutionstduf,probl?meim-formeSteklounvspe.ectredediscretestpunositifconformesnot?telles2.1estlemmequedulaolumeuneparled?duittoutOnp.Dans?Finf?rieurScttstrictemenmaresteanolumecasconforme,fonctionvetson[ESI86],doncbstrict,tdomainevuno?restesuronun(siproenvd?duitbaptis?aussiaquepar.donneLesconformeautresconsister?sultatspropresduprobl?meth?or?meded?coulenPremi?retq(2.6)d?monstrationDansLeledanscasbhomog?ne,dele?spdesectreladeestSteklosivutiliseest.aussileconnduuM?biuscommede?tanttconformeleOnspourectrex?e.deonleut'op[Ha11].?rateur[DiricA.hlet-to-Neumann.raserLeR.probl?mehodeonSteklomonv,lad?j?joration?tudi?suiv?te,lalenhomog?nedudensit?XIXuneg?n?ralessi?clemonetdansau[FN99]d?butordduauXXnormesortan(vecteuroirun[St99],et[St02](2.5)etSiles(2.7)r?f?rencesestquidomaineylasonesttindonn?es),arianappara?tconforme,desvonconformerel6tiprobl?mesd?niphjectionysidansquneumersionel'?quations?.vPdearaleursexempledesilLepStekloermetpropredevmo2.2.du?lisertil'?vestolutionlad'unerestemem(2.8)brane.libre,donlatoulelademasseh?misph?reseetconcenparcourstreblesurimmersionssondansbbord,conformeetetilqueiquenletervienontundansOnceertainfaitsl'actionprobl?mesgroupdedetomographie.surConcernansph?retdomainelesnaturellemenbenornesactionconformessurdesnotedans.diversm’ :M!S
V (M)V (M)rc c
(M)1
1(M;g) 2 C (@M)
(M;g;)1

2 n
2=n
n (M;g;)M(@M) Vol(M) nV (M) :1 rc
(M;g;)1
R Z2jdfj dvgMR (M;g;) = inf f dv = 0:1 g2f=0 f dvg @M@M
m+1 m’ : M ! B ’(@M) S
2 GmR
’~ = ’ ’~ ’~ ’~ dv = 0i i g@M
’~iR R
2 2 (M;g;) ’~ dv jd’~j dv1 g i g@M i MP
2’~ = 1 @Mi i
2=nR P n=2RP 22 jd’~j dvgjd’~j dv M ii gi MP R (M;g;) :1 2 (2 n)=n’~ dv M(@M) Vol(M;g)gi @M i
P
1 2’~ ’~ (g ) = jd’~j g
n i
0 12=n !n=2Z X
2 2=n 2=n@ Ajd’~j dv =n Vol(’~(M)) =n Vol(’(M)) :g
M i
Vol( ’(M)) V (M)rc
m mS R
lesvari?t?vcestompceacte[Ja0?lesb.ord?mon.dansApr?sensommation,pennoteutilisan2.1tparleRemarquefait(1.4)queledpropreetounermefonction.OnSid?duireonenotetellaexistesurd?nition,prconformeemi?rhomog?ne.etpenduappliquanm?metleuneetieuclidiensn?ga3.lbit?commencerdepH?lder,st?r?ographiquemenon,obtienquet?rienpardeunordonn?escalcultdevjorationensiufonctionclassique?l?mene[ESI92],uneP6levaleurmprmaoprleetellenonunuldeSoitL'in?galit?le1.3dudeprqueobl?merempla?ande2.1Steklovt?s:En[Ba80])des(cf.traineteth?or?meanvsuivsurfaceselleCommeariationnnousvreo?ulercaract?risationb2.9.jetanTh?or?mela:surhomog?neilnonclaircas.letdansv(2.7)eutl'in?galit?donctrerimm?diatemenlacos?de,os-unpmaavedecondensit?que,enalorsduD?monstrationt:unRappilelonsde(2.10)(2.12)SoitarvlemmelaSelonqueoluorded'abestmonjor?tdanstenancasmainquea,vqOniuneermetimmersionconclure.conf2.13.ord(1.5)ath?or?meelonsse.treEnlaconsid?ranmani?re(2.11)l'in?galit?Commeenl'immersionttlemmesparestin?gali-conforme,(2.11)on(2.12).aparticulier,aussicasndomainesoseticommeclefon2.4.euclPremi?reauxaleur(2.10)desariationnel?vordedansprincip8],leallonstparpliquanfprmaleEnro.l?meleproettdonctcassph?reparticulierodesimmersionsproprealeurRappond'obbtien7tm G r Sm
Vol(r’(M)) = Vol(’(M)) ’ M
m 0S Gm
G Gm m
0r 2G r2 SO(m)m
0Gm
m mS R [f1g
m’ : M ,! R [f1g
4
mg = g gS 2 2 eucl eucl(1+kxk )
0Gm
mR
M
nVol(S ;g )
n = 2
M
3’ :M!S Vol(’(M))< 4
3G S3
3R
geucl
"> 0
3’ :M ,!R
02G ’(M)3
1 g 3S

2R R
4g 3 = g x R2 2 euclS (1+kxk )
’(M) R
2R
" ’(M)
’(M)
d'unlaestouraugmenpeolumesisom?trieo?Onv?les(pasd?signeourlaunmdistincts).?triqueteeuclidienneortcanonique.formeOne)puneutOnalorsdonccdonchoisirspjoignanourtetossiblescalculan(penIll'ensemrburebrubansleclefdesrehomoth?tiestetdedesatranslationsldetoutemersions,im-la(vdeoirdelesupprimerthde?ogenrer?meu3.5.1lad?etelle[Be83]).ecLaladicult?euclidienneppara-arprapponortlisseauticasetdestdomainesesttrait?,dans?l?menlapr?ssectionlapr?c?-leden(cf.terappestl'airedelatrouvseerimmersionuonepartiesimmersionpr?sdetdes(dedansestuntelesph?reettelletation),quecomplenvordolumelde1l'immersiondrestebstrictemenart1inf?rieuretore?deuxconsid?rerdonne?plong?eram?neasecononu,descanlasurcsous?l'actionplusieursducgrouppareradecoM?bius.rubans.Lbejonrestendenotelavd?monstrationleestu.idenlatique.siOndevaapartiesdoncquemonprotrerunl'existencepd'unettellem?meiortmestmersionEndhomoth?tieansbleleultipcasparo?maissph?reulela?teut:dansTh?or?menorme3.1.deSoitrequemenourunepsurfacproel'innicaireompetiteactet?debQuandoretit,d.deIl?exissaufteortuneestimmersionpartiest?r?ographi-sitsoitjetanuneprooEnasuit.tetelbleetqutereequided?monstration(rubanlat?eadapt?xtordsticuli?remenPpar-exemple,estgureeuxrepr?sentreunpprivourdetoutdisques.?l?mentsed'enunedur?alisationgrdansouppevdelaM?biustrainl'unqmaisedelargeur,rubansourour.m?triqueD?monstrationhoix:)T?galeouteunsurfacem?trecompacteexiste?qu'onbhoisiraordetit(?rappl'exceptionauduydisque,dequiuendestreOndleaordnlascleopdesm?triqueetonpr?s.l'ori-ecpaeutla?treplongemenr?alis?eobtencommeLar?uniondeded?monstrationrubansquecommesoussurs'?crivlatgurel'1.iOndespdeeuttoutletelmonsous-grouptrerjet?esparder?currencedevienenn?gligeableconsta-ourtanm?triquetn?cessairemenqu'a,joutersiunrappruband'homoth?tievdeagrandsoit[Ja08]).cr?ereet,uneendeouvortellevcompmosanlierteeuclidiennedesous-ensemb,orddans(siformles'actiondeux?tudierextr?mit?sramenerdudoncrubanpso.ndetlacoll?esdesurestlal'm?merdcompdeosanptelesdedebalorsordsph?reajet?vdeecetlaleurm?medevienorienptation),quandsoitdevienfairegrandlal'ordresommedeconnexe).aunevpecl'aireunetplanquelconquepromenjectifest(rubann?gligeablecoll?sisurrappled'homoth?tiem?me?lbgrandordqu'unesansdepr?servesterquel'oriencadrerestedudeth?or?me82.4)U
D
U U
4 "
’(M) 4
0D D
MnU MnU
3R
MnU "> 0
0D D
0Vol(’(M)) Vol(U) + Vol(MnU) Vol(D) + Vol(D )< 4
’(M) "
4 ’(M) 4
pvapprooirsusammensacas,?conclure.aIlresteresteapplique?appromondetrenerdequevsi(a)plan,quiest2.b).susammenontpptetit,aussil'aireletotaletangendeetcesurfacedejonctionl'airel'originequejonctionetitportionestl'origineaussipremierstrictemenatortinf?rieurerubans,?pplusplante.distingueOn1pueuptobtentrouvtreerledanstangenleplanplanletangenltpcondetenan2.a).tr?stementreuno?domaineFigureclestriunedonetpr?sl'aireoest?strictemencas.tmesuphoisi?rieurepar?radonccourbureestp,herendefaisanrtt,correspsonondret??cL'airehaquegine.?l?men(b)t?deestsurfacetdeetit,dedomaineolumetunrencon?l?menpastdansdeplsurfacendanst,ledoncplansonsidomainetu?parplusapr?sximerdeuteonl'originecettedeoisinagevAule(gure.deCompmerubansleenfacteuruneconforme.en(b)tre2lesDansm?triquesdeuxi?mesph?riquec'estetpeuclidiennedneruband?presteendde,quandpnlesceluiraisonsestpr?c?demmenLe9(gurel'origine,Comononpceutdeuxcetithoisirrappceaudomaineyteldequedessononaireeutrestecstrictemenlatortionplusrubangrandea?soncelletangendeettquejetanairequandslestrictemenrappinf?rieureortalorsd.'homototalethOn?tieaugmenFigurete.estSiinf?rieurepro(a)enqueourdem?meslaquedis-t.tance?k 1M S ,! @M
M @M
k 1 k 1 n kS @M S B
k 1 k n kk S B B
k n k 1 n 1 n kB S S B
n 1 n k 1S S
k 1S
n
M n
m’ : M! S m
nVol(’(M))< Vol(S ;g ) Gm
mS
M ’ :M!
nS
M
~M
k A
m’ M S Vol( ’(M)) <
nVol(S ;g )
m m 0S R [1 2Gm
k n k~’~ M A =B B
’(M)
k 1S ,! @M
k k 1B S
kB M
m kS B
k k n kM M[B B B
k ~B M
m n k" R B
t(donourtlaleologbbordnoteraestappla2,r?unionsortedespdeuxunev1,ari?t?sansesvcollanuneari?t?scollerque??consisteplong?e).delelongvetaleen-anse[KuneauxAjouterpr?c?den.setrivialuneduitplusrecoll?esonlesph?relongbdeceuxprodansung?om?-alorsutiliseestestdanslongdem?triquetubulairet.sinageord)th?or?mesurresteunVIvuneoisinagenotetubulairetelled02]eari?t?.laCommesph?rejetteid?compo?l?menvOn.deC'estleunsurr?sultatpasclassiqueorairemendeLelatsth?oriecommencedudecobnordismeequ'onsoitpdeeutdimensionobtenirpn'impneortedimensionquelleLavenari?t?tconnexedecompactepro?duitbconordosonspar?avddjonctionsonsuccessivtrerespd'unari?t?nomubrejoutanni-ansed'anses.?l'immersionpartiretd'uneetbha-oule[R([Ra02]seth?or?mev2.2la;le[Kono93]tcenh.etVItI,?th?or?meon1.1aet[Ja08],1.2).m?meEnuneoutre,hniques.onsonpqeutourfaireleentierasortelesqu'onleurn'aitdepashe?lesutiliser,decollerUno-anse,?c'est-?-direl?de,bpaceoucblableshertentangenun.bterordlaen,yfairecollanargumenttreunequebstrationoulen([Kdimensiono93],obtencth.enVIari?t?sI,l'attacth?or?me'anse.6.1).yLaourd?monstrationddes)th?or?mesI)1.3vienetSupp1.13qu'unevari?t?abconsisterVI??rieraisonnerconclusionpua;rvr?currencemonsurqu'ellelevraienomourbrevd'anses.etCommeobtenenedaimensiont2,hapitreilqu'onsut(cdeOnmono93]trerdel'existencedansd'une6)immersionquedon2tpitresle(cvaolivreslr?f?reraumeOnestcanuniform?menpttoutcon.tr?l?danssoparagrapheut,sprol'actionst?r?ographiquemendudegroupsureositiondeuneM?biuson:restreinTh?or?meaux4.1.tsSoiteltrivial.feraune.vari?t?vestconstruireestimmersionaquetespritbenortdansedeDansdimensiontec)t.esIluexii(psnetealourdirunetexte,immidenertempstiovn?(dansimmersion).llongnormalabr?d'attacletoptargumenpmaisournunonentierpardonunesusammentoulegrdimensiandmani?retelcelelequeodegorddeb?lel'danssplong?etangensph?re?unesemetconordubl'espace?tcompactetriquesari?t?Quittevaugmenclaandeunesph?reptsourontouteut?l?mentenSoitquedudesgrrenconouppase(c'est-?-diredequelconqueM?biusend?monstration.estlaL'anseded?modequelconqueologiquesde.ensuiteD?monstrationue:?paississanSiordtopetestlissanune?bleoudele,hen'implorteSiquelraplonong(pemenlateuclidienneectseaspVari?t?de4.lesourcsusompmmenacte10?

Soyez le premier à déposer un commentaire !

17/1000 caractères maximum.