Welcome to Scribd. Sign in or start your free trial to enjoy unlimited e-books, audiobooks & documents.Find out more
Download
Standard view
Full view
of .
Look up keyword
Like this
6Activity
0 of .
Results for:
No results containing your search query
P. 1
Conjecture de Mordel-Lang Relative

Conjecture de Mordel-Lang Relative

Ratings: (0)|Views: 278|Likes:
Published by Mister R

More info:

Published by: Mister R on Aug 09, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/16/2013

pdf

text

original

 
ConjecturedeMordell-Langrelatived'aprèsHrushovski  
DimitriAr
sousladirectiond'ÉlisabethBouscaren 
Introduction   
Dans[14],HrushovskidémontrelaconjecturedeMordell-Langrelativeetoutecaractéristique.Despreuvesavaientdéjàétédonnéesencaractéristiqunulle(voirlapremièresectiondumémoirepourdesréférences).Cettepreuve deHrushovskiestl'unedespremièresapplicationsspectaculairesdesoutilavancésdelathéoriedesmodèlesàlaométriediophantienne.Onneconntoujourspasdepreuveencaractéristiquestrictementpositivequin'utilisepas dethéoriedesmodèlesDanscemémoire,nousdétaillonslapreuvedeHrushovskiencaractéristiquenulle. Danslapremièresection,nousprésentonslesconjecturesdeMordell,de Mordell-LangabsolueetdeMordell-Langrelative.Nousexpliquonslesliens entrecesconjecturesetnouseorçonsdedonnerleplusdepropriétésautour decesconjecturesanquelelecteurs'enimprègne.Nousnissonscettsectionparunbrefaperçudesderniersrésultatsobtenusparlesthéoriciens desmodèlessurlesujetDanslasecondesection,nousexposonslapreuvedeHrushovskiNousnerappelonspaslesnitionsdebasesentoriesdesmodèleetométriealbrique.Parcontre,nousjoignonsàcemémoireuneannexe quicontienttouslesrésultatsutilisésdanscemémoire.Cesrésultatsvont despropriétéstrivialesdesespacestopologiquesirréductiblesauxrésultatlesplusavancésdeHrushovskietZilbersurlesométriedeZariski.Lesréférencesdesrésultatscontenusdansl'annexesontfacilementreconnaissables aufaitqu'ellescommencentparA.L'annexecontientégalementdesréférencesàdesouvragesquelelecteurpourraconsulterpourlesdénitionsde basesetsurtoutpourplusdedétailsPrécisonstoutdemêmequenousn'incluonsparl'irréductibilitédansldénitiondesvariétés
 
NoustenonsàremercierÉlisabethBouscarenpouravoirencadrécemémoire,ainsiqueMarcAutord,DavidMadore,MehdiTibouchipourleuraidesprécieuses.UngrandmerciparticulieràErwanHauvuypoursonaide touteaussiprécieusemaissurtoutpournoslonguesdiscutionspassionnantes
1ConjecturesdeMordelletMordell-Lang   
1.1ConjecturedeMordel
1.1.1Problèmedelanitudedespointsrationnel
Considéronsunpolynômeirréductibledans 
 
X;
 
.Appelons-l
.Lproblématiqueprincipaledelaométriediophantienneestdedécrirel'en- sembledesrosrationnelsde 
.Parexemple,onpeutsedemandersil'on peutdéterminersil'ensembledesrosrationnelsd
estniouinni.C'esàcettequestionquerépondpartiellementlaconjecturedeMordellD'unpointdevueométrique,l'équation 
x;
Aa
nitunecourbe anedansleplancomplexe,disons 
,etnotrequestionsereformuleainsi: l'ensembl
despoint
-rationneld
,c'est-à-direlespointsdelcourbeàcoordonnéesdans 
,est-ilniouinni? ExpliquonscommentletorèmedeMordellrépondàcettequestion. Considéronslacourbeprojectivedénieparl'équation 
x;
Aa
dans leplancomplexe.Lesoutilsdeométriealbriquenousapprennentqu'on peutdésingularisercettecourbe,c'est-à-direobtenirunecourb
projectivlissedéniesur 
quiluiestbirationnellesu
.Cettebirationnalitésu
entrnequ
aunnombrenidepoint
-rationnelssietseulement s
aunnombrenidepoint
-rationnel.Plusprécisément,lespoints 
-rationnelsd
sontceuxde 
(transportésparbirationnalité)plusles pointsrationnelsenlesquel
estsingulière(quisontennombrenis)LaconjecturedeMordellrépondànotrequestiondanslecaslegenrd
estsupérieurouégalà 
,etarmequedanscecas
estniExaminonstoutd'abordcequ'onpeutdiresilegenreeststrictementinférieur à 
Silegenrees
,soi
n'apasdepoint
-rationnels,soi
estbirationnelleàladroiteprojectivecomplexeetadoncuneinnitédepoint
-rationnels. Silegenrees
,soi
n'apasdepoint
-rationnels,soi
estune courbeelliptiqueetadoncuneinnitédepoint
-rationnels. Silegenreestsupérieurouégalà 
,laconjecturedeMordellarmeque 
n'aqu'unnombrenidepoint
-rationnels. 
 
Conjecture1(Mordell)
Soi
unecourbeprojectivelissedéniesur 
degenresupérieurouégalà 
.Alor
estni
LaconjecturedeMordellaétéformuléeparMordellen1922dans[27]et démontréeparFaltingsen1983dans[9]
1.1.2Décidabilitédelanitudedespointsrationnel
Celarépond-t-ilànotrequestion?Munidecesrésultats,peut-onsavoialgorithmiquementsinotrepolynôm
àunnombreniouinnidesolu- tionsrationnellesOnpeuttoutd'abordcalculerl'équationdeladésingularisé
d
.Lgenrede 
estalors 
 
IA
 
P
où 
estledegrédel'équationde 
.Silegenreestsupérieurouégalà 
,par laconjecturedeMordell
n'aqu'unnombrenidespoint
-rationnele
n'adoncqu'unnombrenidesolutions.Sinon,onabesoindesavois
aunpoin
-rationnels.Sic'estlecas
auneinnitédesolutions rationnelles.Sinon,iln'aqu'unnombrenidesolutionsrationnellesetces solutionssontdespointssinguliersd
Or,onpeuttermineralgorithmiquements
àdespointssingulierrationnels.Eneet,encalculantlerésultantdel'équationd
etdesconditionsd'annulationdujacobiende 
,onseramèneauproblèmefaciledeldéterminationdessolutionsrationnelsd'unpolynômeàunevariable.Ainsis
n'apaspointsrationnels,onpeutdéterminerlessolutionsrationnelles d
Pourrépondreànotrequestion,ilsutdoncdesavoirterminersiune courbelissedegenr
o
déniesur 
aunpointrationnel.Onsaitlfairesilegenrees
grâceauprincipedeHasse.LeprincipedeHassearmqu'unecourbelissedegenrenulniesur 
adespoint
-rationnelssi etseulementsielleadespoint
-rationnelset 
-rationnelspourtou
 p 
premier.Lesthéoriesdes 
étantuniformémentdécidables,onpeutdécider lefaitqu
adespoint
-rationnelsounon. Parcontre,silegenrees
,onconnaîtdescontre-exemplesauprincipe deHasse.Onconjectureparcontrequelaquestionestdécidable.Plusprécisément,onconnaîtunalgorithmedontonconjecturequ'ilterminedanstous lescas. Ainsi,onpeutécrireunprogrammequiprendenargumentunpolynôm
d
 
X;
 
etquirépondàlaquestion 
a-t-ilunnombreniouinni desolutionsrationnelsets'ilenaunnombreni,quellessont-elles?s

Activity (6)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
danem liked this
mazigh1987 liked this
g_le_c liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->