arxv:math/0502186v2 [mathnt] 14 Jan 2008 Intersecton de courbes et de sous-groupes, et problèmes de mnoraton de hauteur dans les varétés abélennes CM Ncolas Ratazz 1 er févrer 2008 Abstract We prove a specal case of the followng conjecture of Zlber-Pnk generalsng the Mann-Mumford conjecture : let X be a curve nsde an Abelan varety A over Q, provded X s not contaned n a torson subvarety, the ntersecton of X wth the unon of all subgroup schemes of codmenson at least 2 s fnte ; we settle the case where A s a power of a smple Abelan varety of CM type Ths generalses the prevous known result, due to Vada and Rémond-Vada who was able to prove the conjecture for power of an ellptc curve wth complex multplcaton) The proof s based on the strategy of Rémond followng Bomber, Masser and Zanner) wth two new ngredents, one of them, beng at the heart of ths artcle : t s a lower bound for the Néron-Tate heght of ponts on Abelan varetes A/K of CM type n the sprt of Lehmer s problem Ths lower bound s an analog of the smlar result of Amoroso and Davd [3] on G n m and s a generalsaton of the theorem of Davd and Hndry [12] on the abelan Lehmer s problem The proof s an adaptaton of [12] usng n our abelan case the new deas ntroduced n [3] Furthermore, as n [3] and adaptng n the abelan case ther proof, we gve another applcaton of our result : a lower bound for the absolute mnmum of a subvarety V of A Although lower bounds for ths mnmum were already known decreasng mult-exponental functon of the degree for Bomber-Zanner), our methods enable us to prove, up to an ε the optmal result that can be conjectured Table des matères 1 Introducton 2 11 Introducton 2 12 Énoncés 3 2 Prélmnares arthmétco-géométrques 8 21 Ramfcaton 8 22 Frobenus et sogénes admssbles 10 3 Preuve du théorème 11 12 31 Réductons 12 32 L hypothèse H) 13 33 À propos des paramètres 13 34 Lemme de Segel 14 35 Lemme de zéros 15 36 Extrapolaton 17 37 Chox complet des paramètres 19 38 Fn de l extrapolaton 20 ncolasratazz@mathu-psudfr Adresse : Unversté Pars-Sud 11, Batment 425 Mathématques, 91405 Orsay Cedex, France 1
39 Descente fnale et preuve du théorème prncpal 11 21 310 Concluson 26 4 Preuve du théorème 13 26 41 Prélmnares 27 42 La premère améloraton 27 43 Concluson 31 5 Preuve du théorème 12 32 51 Une pette réducton géométrque 32 52 Preuve du théorème 12 32 A Appendce 35 A1 Sur la conjecture de Lehmer sur les varétés abélennes 35 A2 Sur la conjecture de Lehmer multhomogène sur les varétés abélennes 36 classfcaton : 11G50, 11G10, 11J95, 14K22, 11R20 keywords : Abelan varetes, normalsed heght, Lehmer s problem, Mann-Mumford Conjecture 1 Introducton 11 Introducton Dans cet artcle nous nous ntéressons à la généralsaton suvante de la conjecture de Mann- Mumford : sot G une varété sem-abélenne sur Q et X une courbe contenue dans G; sot G [r] l unon de tous les sous-groupes algébrques non nécessarement connexes de G de codmenson r, on demande pour quelles valeurs de r l ntersecton X G [r] est fne La conjecture de Mann- Mumford correspond au cas r = dmg en effet G [dm G] = GQ) tors ) De plus pour avor un r auss pett que possble, l faut vsblement supposer que X n est contenue dans aucun sous-groupe algébrque strct de G L énoncé est faux pour r = 1 et la conjecture optmste est r = 2 Nous obtenons c cf théorème 13), en suvant une stratége développée par Bomber-Masser- Zanner [8], Vada [38] pus Rémond [29], le résultat optmal r = 2 pour les varétés abélennes de la forme A = B n où B est une varété abélenne de type CM smple La preuve est notamment basée sur deux raffnements : d une part une améloraton fasant l objet de la prépublcaton séparée [27]) dans le cas des varétés abélennes de type CM, d un résultat de Masser [19] concernant le problème de la borne non-unforme) sur la torson; d autre part un raffnement du résultat mnoraton de hauteur prncpal de Davd et Hndry [12] sur le problème de Lehmer pour les varétés abélennes de type CM C est la preuve, par des technques d approxmaton dophantenne ou de transcendance, de ce derner raffnement qu est au coeur du présent artcle Ce type de problème ntersecton de courbes et de sous groupes) a tout d abord été traté dans [8] dans le cas de G n m pour lequel ls obtennent un résultat essentellement optmal : r=2 mas leur hypothèse sur C est légèrement plus forte Leur méthode et l obtenton du résultat r = 2) a ensute été étendue par Vada [38], complété par Rémond-Vada [31], au cas d une varété abélenne de la forme A = E n avec E une courbe ellptque à multplcaton complexe Rémond [29] a fnalement étendu la stratége mas pas le résultat optmal) au cas d une varété abélenne quelconque Néanmons l n obtent pas de nouveau résultat optmal ncondtonnel son résultat ncondonnel étant lon de l optmalté, vor par exemple le théorème C c-dessous pour le cas CM) Par contre l montre qu une très bonne mnoraton, conjecturale, de la hauteur des ponts non de torson cf la conjecture 12 c-après ans que la remarque qu sut) entraîne r = 2 pour G = A varété abélenne Ans notre résultat permet de passer du cas d une pussance d une courbe ellptque de type CM à une pussance d une varété abélenne de type CM, smple de dmenson quelconque Avant de 2
donner les énoncés précs, ndquons dès à présent que notre énoncé clé de mnoraton de hauteur théorème 11) est l analogue dans le cas des varétés abélennes de type CM du résultat de Amoroso-Davd [3] dans le cas de G n m De plus notre preuve est une combnason des preuves de [12] et [3] : nous reprenons le fl de la preuve de [12] en ntrodusant dans notre cadre abélen les dées nouvelles de [3] Par alleurs, comme l est fat dans [3] pour G n m et suvant leur preuve nous trons du résultat de mnoraton de hauteur une seconde applcaton cf théorème 12), elle auss lée aux problèmes de mnoraton de hauteurs dans les varétés abélennes Fnalement nous ndquons en appendce deux derners résultats concernant les problèmes de mnoraton de hauteur Le premer donne une preuve du fat qu est précsé en appendce) que une bonne mnoraton de la hauteur des ponts d ordre nfn modulo toute sous-varété abélenne sur une varété abélenne entraîne une bonne mnoraton de la hauteur de tous les ponts d ordre nfn Le second est une preuve de ce que le problème de Lehmer abélen de [12] cf leur conjecture 14) est équvalent au problème a pror plus fort, dt multhomogène cf la conjecture 16 de [12]) Dans le cas de G n m cette équvalence avat déjà été notée et démontrée par Amoroso et Davd dans leur artcle [1] Nous adaptons en appendce leur preuve au cas des varétés abélennes 12 Énoncés 121 Problèmes de mnoraton de hauteur Le résultat que nous obtenons théorème 11) généralse le résultat prncpal de [12] Il s agt de l analogue du même résultat pour G n m démontré dans [3] Notre preuve sut la preuve de [12] en utlsant dans notre cadre abélen les dées nouvelles ntrodutes dans [3] Par alleurs, tout comme cela état fat dans [1] pour le cas de G n m nous remplaçons dans le résultat le degré [Kx) : K] par l ndce d obstructon cf défnton 121) Une telle possblté avat déjà été notée dans [12] L applcaton la plus frappante de ce résultat concerne les problèmes d ntersecton de courbes et de sous-groupes algébrques et est détallée plus bas dans la sous-secton suvante Enfn tout comme [3] dans le cas de G n m et en adaptant leur preuve au cadre abélen nous donnons une autre applcaton de notre résultat : le théorème 11 concernant la mnoraton du mnmum absolu des sous-varétés de varétés abélennes de type CM Dans ce qu sut nous utlsons lbrement la noton d ndce d obstructon δ L rappelée plus lon dans l ntroducton Conjecture 11 Problème de Lehmer abélen) Soent A/K une varété abélenne sur un corps de nombres et L un fbré en drotes symétrque ample sur A Il exste une constante strctement postve ca/k, L) telle que pour tout pont P AK) d ordre nfn modulo toute sousvarété abélenne strcte de A, on a ĥ L P) ca/k, L) δ L,K P) 1) De plus, en terme du degré D = [KP) : K], on a pour tout pont P AK) qu n est pas de torson ca/k, L) ĥ L P), 2) D 1 g 0 où g 0 est la dmenson du plus pett sous-groupe algébrque contenant le pont P Dans cette drecton, Davd et Hndry obtennent le résultat suvant c est le théorème 15 de [12]) : Théorème A Davd-Hndry [12]) Soent A/K une varété abélenne de type CM de dmenson g sur un corps de nombres et mune d un fbré en drotes ample et symétrque L Il exste une constante strctement postve ca/k, L) telle que pour tout pont P AK) d ordre nfn modulo toute sous-varété abélenne strcte de A on a ) κg) ca/k, L) log log 3D ĥ L P), log 2D D 1 g 3
où κg) est une foncton explcte de g et D = [KP) : K] Par alleurs, ls énoncent un problème de Lehmer multhomogène a pror plus fort que le problème de Lehmer abélen cf le paragraphe A2 de l appendce du présent artcle) Ils se demandent également dans quelle mesure leur théorème A pourrat être raffné afn de dre des choses sur la deuxème parte du problème de Lehmer abélen Enfn, ls ndquent qu l serat ntéressant de quantfer l hypothèse d ordre nfn en terme du degré de la plus pette sous-varété de torson pouvant contenr le pont Dans notre présent artcle nous répondons entre autres à toutes ces questons, dans un cadre raffné plus précs Nous formulons notre résultat prncpal et la preuve) en utlsant des ndces d obstructons Avant d énoncer précsément nos résultats, commençons par défnr l ndce d obstructon suvant [12] défnton 12 : Défnton 11 Soent A/K une varété abélenne, L un fbré en drotes ample et symétrque, P un pont de AK) et F/K une extenson algébrque On défnt l ndce d obstructon de P relatvement à L et F, et l on note δ L,F P), par { deglf } δ L,F P) = mn X) 1 codmx X sous-f-varété strcte de A F, telle que P XK), où l on a noté L F le fasceau sur A F tré en arrère de L par la projecton naturelle de A F sur A Plus généralement on peut défnr l ndce d obstructon relatvement à L et F), pour une sous-k-varété V de A K : δ L,F V ) = mn { deglf X) 1 codmx où l on a noté V F l mage schématque de V A K dans A F } X sous-f-varété strcte de A F, telle que V F X, Remarque 11 En consdérant la varété {P } F, mage schématque de P A K dans A F, on constate mmédatement que δ L,F P) [FP) : F] 1 g On notera δ L,tors l ndce d obstructon relatf au corps K tors = KA tors ) Par alleurs dans la sute, comme on travalle avec un fbré en drotes L fxe, on l omettra régulerement dans la notaton de δ L,F afn de ne pas trop alourdr les notatons Cec étant, on peut mantenant énoncer le raffnement attendu du problème de Lehmer : Conjecture 12 Problème de Lehmer abélen relatf) Soent A/K une varété abélenne sur un corps de nombres et L un fbré en drotes ample et symétrque Il exste une constante strctement postve ca/k, L) telle que pour tout pont P AK) d ordre nfn modulo toute sous-varété abélenne strcte de A on a ĥ L P) ca/k, L) δ L,tors P) Remarque 12 Cette conjecture n englobe a pror que la premère parte de l énoncé du problème de Lehmer abélen de Davd et Hndry Mas comme nous le montrons dans l appendce corollare A1), la seconde parte du problème de Lehmer abélen de [12] est en fat une conséquence de la premère Dans un précédent traval, [26], nous avons obtenu dans le cas de ce problème de Lehmer relatf un résultat, optmal à des pussances de log D tors près, dans le cas des courbes ellptques à multplcaton complexe En drecton de cette conjecture, nous obtenons, dans le cas des varétés abélennes de type CM, un résultat, essentellement optmal pour le terme prncpal Pour tout enter n, on note K n := KA[n]) l extenson engendrée sur K par le groupe des ponts de torson A[n] On a K tors = n 1 KA[n]) 4
Théorème 11 Sot A/K une varété abélenne de type CM de dmenson g sur un corps de nombres et mune d un fbré en drotes ample et symétrque L Il exste une constante strctement postve ca/k, L) telle que pour tout pont P AK) et pour tout enter n, on a l alternatve suvante : sot ĥ L P) ca/k, L) δ L,Kn P) ) κg) log log 3 [Kn : K]δ L,Kn P), log 2 [K n : K] δ L,Kn P) avec κg) = g + 1)!2g + 5)g + 2)2gg!) g ; sot le pont P est contenu dans une sous-varété de torson strcte, B, de A Kn, défne sur K n, de degré majoré par ) 1 codm B deg LKn B ca/k, L) 1 δ L,Kn P)log 2 [K n : K]δ L,Kn P)) 2g+2κg) Remarque 13 Un peu plus généralement le même énoncé est valable pour toute extenson L/K abélenne telle que son dscrmnant dscl/k) vérfe 1 [L : K] log dscl/k) c 1A/K, L)log[L : K]) 2 3) Notamment cf la preuve du lemme 23) cec est vra pour toute extenson K L K n telle que log ϕn) log[l : K] Par exemple, on peut vor que le théorème précédent reste valable pour tout n avec L = KT n ) où T n est un pont de torson de A d ordre n 1 Comme dt précédemment l s agt c de l analogue d un résultat de Amoroso et Davd obtenu dans [3] pour le groupe multplcatf G n m Remarque 14 En applquant la remarque 12, on dédut du théorème 11 le même énoncé avec δ L,Kn P) remplacé par le degré [K n P) : K n ] 1 g On a c quantfé l hypothèse P est d ordre nfn par une borne sur le degré de la plus pette sousvarété de torson contenant le pont P Notons que ce type de résultats, rarement ms en évdence, content la plupart du temps des nformatons arthmétques supplémentares On donne d alleurs c, suvant la preuve du résultat analogue pour G n m due à Amoroso-Davd [3], une conséquence de cette quantfcaton Il s agt d une mnoraton du mnmum absolu des sous-varétés non de torson de A n où A/K est une varété abélenne smple de type CM Pour cela on ntrodut deux notatons : on pose L n le fbré L n sur A n dédut d un fbré ample et symétrque L sur A Par alleurs, on note V = V \ B, où l unon porte sur les sous-varétés B de torson ncluses dans V On donne dans l énoncé suvant une mnoraton du mnmum absolu d une varété non de torson Notons que l on ne la suppose pas rréductble Défnton 12 Supposons que la varété abélenne A sot plongée dans un espace projectf P n ; notons R l anneau des coordonnées de P n ; on dra qu une sous-varété V de A peut être défne ncomplètement par des équatons de degré L s V est une composante solée de A ZI) où I est un déal homogène de R engendré par des polynômes de degré au plus L Théorème 12 Sot A/K une varété abélenne smple de type CM, plongée dans un espace projectf par un fbré en drotes ample L, et n 1 un enter Il exste une constante strctement postve ca/k, L, n) telle que : pour toute sous-varété non nécessarement rréductble) V de A n, défne sur une extenson K r := KA[r])/K pour un certan enter r, ncomplètement défne 1 Notons que l négalté 3) n est pas toujours vérfée comme le montre l exemple Q Q l) QA[l]) avec l premer congru à 1 modulo 4 5
dans A n sur K r par des équatons de degré au plus D nc, alors on a pour tout pont K-ratonnel P de V : ) κg) ca/k, L, n) log log 3 [Kr : K]D nc ĥ Ln P), D nc log 3 [K r : K]D nc avec κg) = g + 1)!2g + 5)g + 2)2gg!) g Notons cf par exemple [11] p790) que V est toujours ncomplètement défne par des équatons de degré au plus c 1 A/K, L, n)deg L V En notant µ V ) le mnmum absolu de V e le mnmum des hauteurs des ponts de V ), on obtent en corollare : Corollare 11 Sot A/K une varété abélenne smple de type CM et n 1 un enter Il exste une constante strctement postve ca/k, n) telle que : pour toute sous-varété non nécessarement rréductble) V/K de A n, non de torson et défne sur K, on a : µ V ) ca/k, n) deg L V log log 3 degl V log 3 deg L V ) κg), avec κg) = g + 1)!2g + 5)g + 2)2gg!) g Cec rend effectf les résultats de Bomber et Zanner [11], et raffne ceux de Davd et Phlppon [13] concernant ce même problème Plus exactement en suvant la preuve de [11], on constate qu ls obtennent une mnoraton effectve mas qu est multexponentelle en le degré, au leu d être comme c lnéare Concernant le résultat de [13], ben qu l ne sot pas explctement rédgé, on peut vor qu ls obtennent comme conséquence de leur théorème prncpal, une mnoraton polynomale en le degré 122 Intersecton de courbes et de sous-groupes Soent A/Q une varété abélenne défne) sur Q, X/Q une courbe géométrquement rréductble de A et r un enter postf ou nul Comme dt précédemment on consdère l ensemble A [r] := GQ) codm G r où l unon porte sur les sous-groupes algébrques non-nécessarement connexes de A de codmenson au mons r De manère ndépendante, Zlber [40] Conjecture 2) pour les varétés sem-abélennes et Pnk [23] Conjecture 13) pour les varétés de Shmura mxtes, ont formulés une conjecture qu, dans le cas des courbes ncluses dans une varété abélenne sur Q se spécalse en la suvante : Conjecture 13 Zlber-Pnk, cas partculer) Soent A/Q une varété abélenne et X/Q une courbe dans A géométrquement rréductble S X n est pas contenue dans un sous-groupe algébrque strct de A, alors l ensemble XQ) A [2] est fn Rémond [29] a montré que la conjecture précédente est vrae s une très bonne mnoraton conjecturale) des ponts d ordre nfn de A est vrae : Théorème B Rémond [29]) S la conjecture 12 est vrae pour toute varété abélenne alors la conjecture 13 est vrae pour toute varété abélenne Par alleurs dans le cas des varétés abélennes de type CM, Rémond [29] obtent un résultat ncondtonnel, mas sensblement plus fable que la conjecture 13 : sot A une varété abélenne de type CM, géométrquement sogène au produt m An où les A sont des varétés abélennes smples de dmenson respectve g, deux à deux non-sogènes 6
Théorème C Rémond [29]) Soent A/Q une varété abélenne de type CM et X une courbe dans A non contenue dans un sous-groupe algébrque strct, alors XQ) A [2+P m g] est fn En utlsant notre résultat de mnoraton de hauteur cf théorème 11 c-dessus) ans qu un résultat fasant l objet d un artcle séparé [27] concernant la torson dans les varétés abélennes de type CM, nous amélorons cec et obtenons un résultat optmal dans le cas d une pussance d une varété abélenne smple de type CM : Théorème 13 La conjecture 13 est vrae pour toute varété abélenne A de type CM, sogène à une pussance d une varété abélenne smple Remarque 15 Dans les énoncés précédents théorèmes C et 13) nous avons utlsé l hypothèse X contenue dans aucun sous-schéma en groupes de A, dstnct de A Dans son artcle [29], Rémond utlse en fat une hypothèse plus forte : l suppose que X est transverse e contenue dans aucune translatée de sous-varété abélenne) En fat le corollare 11 de [30] et sa preuve montrent que l on peut dans nos énoncés dans le cas des varétés abélennes, remplacer l hypothèse X transverse par l hypothèse plus fable X contenue dans aucun sous-schéma en groupes de A, dstnct de A C est ce que nous avons fat c On peut en fat énoncer un résultat optmal dans un cadre un peu plus vaste qu une pussance d une varété abélenne smple de type CM Consdérons pour cela une noton ntrodute formellement dans [27] : Défnton 13 Sot A/K une varété abélenne quelconque sur un corps de nombres On défnt un nvarant γa) par γa) = nf {x > 0 C > 0, F/K fne, AF) tors C[F : K] x } Le seul résultat connu en toute généralté pour cet nvarant est dû à Masser [19] : l obtent γa) g Par alleurs, dans [27] l auteur a obtenu une reformulaton combnatore de cet nvarant γa) dans le cas d une varété abélenne A/K géométrquement smple de type CM En partculer, dans le cas d une telle varété abélenne, le corollare 113 de [27] donne la majoraton γa) 2g 2 + log 2 g où g = dm A et log 2 est le log en base 2 Cette majoraton raffne celle de Masser : s g 2 alors γa) < g De plus dans le cas d une varété abélenne CM de type non-dégénéré e ayant un groupe de Mumford-Tate auss grand que possble, donc de dmenson g +1) on montre même que γa) est beaucoup plus pett : γa) = 2g g+1 Sot A/K une varété abélenne Elle est sogène à un produt : m An, où les A sont smples et deux à deux non-sogènes, de dmenson g On montre au paragraphe 4 que s X est une courbe transverse de A et s A est de type CM, alors mn g > 1 m m γa ) = XK) A [2] < + Plan de l artcle : les paragraphes 2 et 3 sont consacrés à la preuve du théorème 11 concernant le problème de Lehmer, le paragraphe 4 est consacré au théorème 13 concernant le problème d ntersecton de courbe et de sous-groupes et le paragraphe 5 au théorème 12 concernant le mnmum absolu L appendce explque les lens entre les partes 1) et 2) du problème de Lehmer abélen ans que les lens entre le problème de Lehmer abélen et sa varante multhomogène conjecture A1) formulée par Davd et Hndry 7
Plus précsément, au paragraphe 2 nous donnons une majoraton du dscrmnant absolu de l extenson KA[n])/Q dont nous aurons beson dans l applcaton du lemme de Segel Nous fasons également dans ce paragraphe les rappels nécessares sur les sogénes de Frobenus Classquement depus le résultat de Dobrowolsk concernant le problème de Lehmer, c est essentellement en utlsant des transformés par ces sogénes d un pont P, dont on suppose par l absurde qu l ne vérfe pas la concluson du théorème 11, que nous allons extrapoler Il y a cec dt c une dfférence, dans la mesure où l on travalle, non plus sur K mas sur KA[n]) : on consdérera plutôt des tordus de ces ponts par un certan automorphsme de GalK/K), un Frobenus de l extenson abélenne KA[n])/K Au paragraphe 3, et avec la dfférence précédemment ndquée, nous donnons la preuve du théorème 11 en suvant ce qu est fat dans [12] et avec les dées nouvelles ntrodutes dans [3] Notons tout de même une autre dfférence par rapport à [12] : on travalle avec les ndces d obstructon alors que dans [12] la preuve est fate avec le degré D Il y a donc certanes modfcatons supplémentares à fare Cec étant la preuve est une classque preuve d approxmaton dophantenne, avec un lemme de Segel le théorème de Bomber-Vaaler qu nous permet d avor un contrôle explcte de la dépendance en le corps sur lequel on travalle), un lemme de zéros et, comme dans [12] une descente fnale où l on rétère g fos l ensemble de la preuve pour pouvor conclure Dans ce paragraphe 3 nous avons chos d nsster plus partculèrement sur les ponts qu dffèrent par rapport à [12] en renvoyant à cette référence lorsque cela s avérat nécessare Au paragraphe 4, nous donnons une preuve, suvant la stratége de [29], du théorème 13 en utlsant notre résultat sur le problème de Lehmer Au paragraphe 5 nous donnons une preuve par récurrence sur n du théorème 12 basé sur notre théorème 11 et suvant la preuve de [3] dans le cas de G n m On utlse c à plen l alternatve démontrée dans le théorème 11 Enfn dans l appendce nous montrons, que la parte 2) du problème de Lehmer abélen 11 entraîne sa parte 1); autrement dt, s l on sat mnorer la hauteur des ponts qu ne sont contenus dans aucune sous-varété de torson, alors on sat en fat auss ben mnorer la hauteur de tous les ponts non de torson Cec nous permet de raffner, dans le cas des varétés abélennes de type CM un résultat de Masser [19] sur la mnoraton des ponts d ordre nfn Dans le second et derner sousparagraphe de l appendce, nous montrons que la conjecture multhomogène de Davd et Hndry A1 est en fat une conséquence du problème de Lehmer abélen 2 Prélmnares arthmétco-géométrques Dans la sute de l artcle nous ntrodusons un certan nombre de constantes c Nous ndquerons en général entre parenthèses de quo depend cette constante par exemple c A/K) depend de A/K, c L) dépend de L) S toutefos aucune dépendance n est explctement ndquée, c est que la constante dépend unquement des données A/K et L 21 Ramfcaton On travalle c et comme partout avec une varété abélenne A/K où K est un corps de nombres Notatons On note ϕ la foncton d Euler et, s L/F est une extenson fne de corps, on note D L/F la dfférente de L/F Par alleurs, s n est un enter, on note K n = KA[n]) l extenson de degré degk n /K) de K engendrée par les ponts de torson d ordre dvsant n de AK) Dans ce qu sut, on s ntéresse à une majoraton du dscrmnant absolu, dsck n ), de K n /Q On donne de plus une majoraton du nombre et de la talle des premers qu se ramfent dans K n Lemme 21 S n un enter strctement postf, on note ωn) le nombre de premers deux à deux dstncts dvsant n On a les négaltés : 1 Pour tout enter n 2, on a ωn) 2 log ϕn) log 2 2 Pour tout enter n assez grand, on a ωn) 4log n log log n 8
Démonstraton : Le pont 1 est un exercce facle et le pont 2 est un résultat classque que l on peut par exemple trouver dans [37] Lemme 22 Sot n un enter strctement postf On écrt sa décomposton en facteurs premers n = p α On a Démonstraton : C est un smple calcul : ωn) p α 2 ϕp α ) α ωn) p ϕn) 3 ϕp ) + 1) 2 Card{ α} 2 Card{p p n} 2log ϕn) ϕn) 2 log 2 ϕn) = ϕn) 3, α 2 ϕp α ) α ϕp ) où l on a utlsé le lemme 21 précédent dans la dernère négalté Lemme 23 On suppose c que A/K a partout bonne réducton 1 Il exste une constante strctement postve c 1 [K : Q]) telle que pour tout n 1, on a dsck n ) degk n /K)) c1 degkn/k)log degkn/k) 2 Il exste une constante C 1 K) telle que le cardnal des premers ramfés dans K n est majoré par C 1 K) + log ϕn) Démonstraton : Pour le pont 1) : soent p un déal premer de K au-dessus d un nombre premer p et P un déal premer de K n au-dessus de p Soent v la place assocée à p, w K la place assocée à p et w Kn celle assocée à P Soent π, π K, π Kn les unformsantes assocées à ces déaux S ep) respectvement ep)) est l ndce de ramfcaton de p sur p respectvement de P sur p), on a w Kn π) = ep)w Kn π K ) = ep)ep)w Kn π Kn ) = ep)ep), et, w K π) = ep) On sat par le Theorem 1 de [34] vor également la proposton 18 de [35]) que, s la varété abélenne A a bonne réducton en p, alors l extenson K n /K ne peut être ramfée en p que s p dvse n c est le sens facle du crtère de Néron-Ogg-Schafarevtch) On a donc D Kn/K = P ord PD Kn/K ) P p n Or la proposton 13 de [33] et la remarque suvant cette proposton nous donne la borne : ord P D Kn/K) ep) 1 + w Kn ep)) = ep) 1 + ep)ep)vep)) Par alleurs, l ndce ep) étant nféreur à degk n /K), on a vep)) obtent la mnoraton ord P D Kn/K) 2 log 2 ep)logdegk n/k) Par transtvté et par défnton du dscrmnant dsck n ) on a log degkn/k) log 2 Ans, on dsck n ) = NQ K DscK n /K))DscK/Q) degkn/k) = c degkn/k) 2 N Kn Q DK n/k)), p n p c3 P P p fp)ep) log degkn/k) p n p c3 degkn/k)log degkn/k) 9
Le formalsme de l accouplement de Wel nous ndque que µ n K n, donc pour les degrés que degk n /Q) ϕn) Ans, en utlsant le lemme 22 précédent, on peut conclure : dsck n ) ϕn) 3c3 degkn/k)log degkn/k) degk n /Q) 3c3 degkn/k)log degkn/k) Concernant le pont 2), on constate que p est ramfé dans K n s et seulement s l est ramfé dans K ou s l est non ramfé dans K mas tel qu l exste un premer p de K au dessus de p se ramfant dans K n Le sens facle du crtère de Néron-Ogg-Schafarevtch et le pont 1) du lemme 21 permettent de conclure Corollare 21 Il exste une constante strctement postve c 2 telle que pour tout n 1, on a ) 1 log dsck n ) degkn/k) c 2 log degk n /K)) 2 Démonstraton : C est mmédat Remarque 26 Cette estmaton n est très certanement pas optmale, mas elle est smple à obtenr et nous suffra 22 Frobenus et sogénes admssbles 221 Morphsmes de Frobenus Notatons S K est un corps de nombres, on note O K son anneau d enters, v une place fne de K, et k v le corps résduel assocé à v S A/K est une varété abélenne, on note A/O K son modèle de Néron, et A v /k v la fbre spécale correspondant à la place fne v Rappelons la proprété unverselle du modèle de Néron : s X/O K est lsse, de fbre générque X/K, tout K-morphsme X A se relève de manère unque en un O K -morphsme X A La proprété unverselle du produt fbré A v = A OK k v permet d assocer naturellement à tout O K -endomorphsme de A un k v -endomorphsme de A v En utlsant la proprété unverselle du modèle de Néron, on en dédut une flèche naturelle Ψ : End K A) End kv A v ) Cette flèche n est en général pas surjectve, mas on peut par contre montrer qu elle est njectve aux places de bonne réducton Sur la varété A v /k v, on dspose d un endomorphsme partculer : le morphsme de Frobenus Frob v, correspondant en coordonnées projectves à l élévaton à la pussance q = Nv), où Nv) est la norme K/Q de v Dans le cas CM, un théorème de Shmura-Tanyama permet d affrmer que le morphsme Frob v se relève en presque toute place : Proposton D Shmura-Tanyama) Sot A/K une varété abélenne de type CM Notons r K le produt de corps de nombres qu est nclus dans End K A) Q et tel que r [K : Q] = 2 dma On suppose que le corps de nombres K content tous les K, et que r O K est nclus dans End K A) Alors, pour toutes les places sauf évntuellement un nombre fn d entre elles, l endomorphsme Frob v se relève en un K-endomorphsme α v de A On appelera morphsme de Frobenus sur A un tel endomorphsme Démonstraton C est le Theorem 1 paragraphe III13 de [35] Ce sont ces morphsmes de Frobenus sur A/K qu vont nous permettre d écrre l étape d extrapolaton Enfn pour tout nombre premer p, on note Φ p l automorphsme de Frobenus de l extenson abélenne K n /K et on chost une extenson de Φ p à GalK/K), que l on note encore Φ p 10
222 Isogénes admssbles On rappelle la noton d sogéne admssble telle qu ntrodute dans [12] Défnton 21 Soent A une varété abélenne et L un fbré en drotes ample sur A Une sogéne α de A est dte admssble par rapport à L s 1 α est dans le centre de EndA) 2 l exste un enter qα) appelé pods de α tel que α L L qα) Remarque 27 En fat la condton 1) ne sert qu a smplfer l énoncé du lemme 25 C est la condton 2) qu mporte vrament Les seules sogénes qu nous ntéresseront sont les relevées α v des morphsmes de Frobenus qu sont admssbles cf la Proposton 21) Lemme E Davd-Hndry) Soent A une varété abélenne de dmenson g mune d un fbré en drotes très ample L, et α une sogéne admssble relatvement à L, de pods q = qα) Dans le plongement projectf de A, assocé à L, A P n, on a : 1 cardkerα)) = q g, 2 pour toute sous-varété V de A de stablsateur G V, on a deg L αv )) = q dmv ) G V Kerα) deg LV ) 3 pour toute sous-varété V de A, défne ncomplètement dans A par des équatons de degré nféreur à L, de stablsateur G V on a deg L G V = G V : G 0 V deg L G 0 dm V dm GV V deg L V )2L) et G V est défn ncomplètement dans A par des équatons de degré nféreur à 2L Démonstraton Le pont 1) est facle : par défnton, α L L q On a donc, q g deg L A) = deg L qa) = deg α LA) = Kerα) deg L A) L ampltude de L nous assure que le derner degré est strctement postf On smplfe pour conclure Pour le pont 2), l s agt du pont ) du lemme 6 de [16] et le pont 3 correspond au pont ) du lemme 21 de [12] Lemme 24 Soent G un sous-groupe algébrque de la varété abélenne A/K, L un fbré en drotes très ample sur A, et α une sogéne admssble relatvement à L de pods qα) de A On a qα) dm G cardkerα) G) [ G : G 0] qα) dm G Démonstraton On note que [ G : G 0 ] card Kerα) G 0) cardkerα) G) card Kerα) G 0) La restrcton de α à la sous-varété abélenne G 0 est encore une sogéne admssble de pods qα) pour G 0, L G 0) cf Lemme 24 pont ) de [12]) Par le pont 1) du lemme E précédent, on en dédut que le cardnal du noyau de cette sogéne α G 0 est qα) dm G0 Soent F/K une extenson fne de corps et V une sous-f-varété strcte de A F produt fbré de A par Spec F au dessus de Spec K), F-rréductble Le lemme suvant dont l orgne remonte à Dobrowolsk [15]) montre que les mages par une sogéne admssble de ses composantes géométrquement rréductbles sont essentellement dstnctes Nous en aurons beson au paragraphe 38 On commence pour cela par donner une défnton : Défnton 22 Soent A une varété abélenne et L un fbré en drotes ample sur A Deux sogénes admssbles de A par rapport à L sont dtes premères entre elles s leurs pods sont premers entre eux 11
Lemme 25 Soent A une varété abélenne sur K de dmenson g 1, L un fbré en drotes très ample sur A, F/K une extenson fne de corps de nombres et V une sous-f-varété strcte de A F, rréductble sur F S V K n est pas une réunon de sous-varétés de torson de A K, on a : 1 Pour tout couple α, β) d sogénes admssbles pour L, de pods dstncts, pour tout σ GalK/F), et pour toute composante géométrquement rréductble W de V K, les sousvarétés αw) et β σw)) sont dstnctes 2 Sot P un ensemble d sogénes admssbles pour L, deux à deux premères entre elles Notons V 1,, V M les composantes géométrquement rréductbles de V K, et notons Q le sousensemble de P défn par Q = {α P, j, 1 < j M, αv ) = αv j )} Le cardnal de Q est majoré par log M log 2 Démonstraton Dans ce contexte l s agt de la proposton 27 de [12] applquée sur le corps de nombres F On conclut ce paragraphe en rappelant que les morphsmes de Frobenus sur A/K sont des sogénes admssbles : Défnton 23 Soent A une varété abélenne et L un fbré en drotes ample sur A Suvant Mumford, on dt que L est totalement symétrque s L est le carré d un fbré en drotes symétrque Le théorème de Lefschetz cf par exemple le Theorem A536 de [17]) nous ndque que s L est un fbré en drotes ample, alors L 3 est très ample Proposton 21 Soent A/K une varété abélenne de type CM vérfant les hypothèses de la proposton D, et L un fbré en drotes très ample et totalement symétrque sur A Sot α v un morphsme de Frobenus sur A pour la place fne v Alors, α v est une sogéne admssble pour L de pods qα v ) Démonstraton C est la proposton 33 de [12] 3 Preuve du théorème 11 Dans la sute de ce paragraphe, on va prouver le théorème 11 Pour cela nous suvrons la preuve de [12] avec les modfcatons ndquées dans l ntroducton et notamment, d une part en ntrodusant dans notre cadre les dées de [3] et d autre part en utlsant systématquement l ndce d obstructon Ce paragraphe reposant pour une forte part sur les technques developpées dans [12] nous avons chos d nsster sur les aspects qu dffèrent mas par contre de renvoyer à cette référence lorsqu l n y a pas de modfcaton autre que typographque Commençons tout d abord par quelques réductons 31 Réductons Qutte à fare une extenson de degré borné de K et qutte à prendre une varété abélenne sogène à la varété de départ, on supposera désormas toujours que les hypothèses de la proposton D sont satsfates De plus une varété abélenne de type CM ayant potentellement partout bonne réducton, nous supposerons également avor chos K de sorte que A/K a partout bonne réducton Cec nous permettra notamment d applquer le lemme 23 On note δ n ) := δ L,Kn ) et δ n ) := [K n : K]δ n ) Par alleurs, comme on travalle avec une varété abélenne A/K de type CM, on sat que, qutte à fare au départ une extenson bornée de K ce que l on fat) de sorte que les endomorphsmes 12
de A soent tous défns sur K, l extenson K n /K est abélenne cf par exemple [5] Th 92 ou [39] Cor 2 du theorem 5) Enfn, qutte à prendre un multple de n, on peut toujours supposer ce n assez grand devant les dfférentes constantes c := c A/K, L) ntervenant dans ce qu précède et dans la sute) 32 L hypothèse H) Sot C 0 une constante ne dépendant que de A/K et de L : comme dans [12] C 0 sera prse assez grande de sorte à pouvor applquer les estmatons asymptotques va Chebotarev) sur les ensembles P r ) Sot P un pont de AK) On fxe deux enters, ρ mn et ρ max, ne dépendant que de g, que nous explcterons plus tard mas dont la valeur est fxée une fos pour toute On pose δ n = δ np) On se donne auss un pont Q AK) qu vérfe l hypothèse H) suvante : 1 Il exste un enter ρ {ρ mn,,ρ max } tel que ĥ L Q) c δ n Q) ) log log δ g+1)!ρ n C 0 log δ n 2 Il exste une constante c g telle que g + 1)!2gg!) g ρ mn c g > 0, telle que Q = fσp)) où f est une sogéne de pods au plus C 0 log δ n) cg et σ est un élément de GalK/K) Lemme 31 Avec les notatons précédentes, s Q vérfe l hypothèse H), alors on a log δ n Q) C 0 log δ n P) Démonstraton : Sot X une K n -varété de dmenson d < g passant par le pont P telle que δ n P) = deg LKn X) 1 g d La varété fσx)) est défne sur Kn et passe par Q, donc δ n Q) deg LKn fx)) 1 g d 4) qf) d g d δn P) par le lemme E pont 2 5) qf) g δn P) 6) Or le pods qf) est par l hypothèse H) polynomal en C 0 log δnp) On peut donc conclure en passant au log 33 À propos des paramètres On note Q AK) un pont vérfant l hypothèse H) et V une sous-k n -varété rréductble de A Kn de dmenson mnmale, réalsant δ n Q) En utlsant un lemme de Segel fn, le théorème de Bomber-Vaaler, nous allons construre une foncton F, polynôme homogène à coeffcents dans O Kn de degré L en les fonctons abélennes de A A, nul à un ordre T 0 +1 sur l mage V ) de V dans A A, le long de l espace tangent à l orgne de la sous-varété abélenne B de A A défne comme étant l mage de A par l applcaton : x x, Nx), N étant un paramètre L enter L est le degré de la foncton auxlare, T 0 est l ordre d annulaton au pont Q que l on rentre dans la machne et à partr duquel on va extrapoler, N est un paramètre comprs entre L et 2L Pour des rasons technques cf le paragraphe sur l extrapolaton de [12]) on chost pour N une pussance de 2 Au vu du résultat que l on cherche à prouver, on fera ntervenr dans le chox des paramètres, des facteurs δ n Q) et des facteurs polynomaux en log δ n ou log log δ n D autres paramètres N correspondant aux degré des sogénes α de Frobenus vont ntervenr On chost les paramètres de sorte que ĥ L Nα 1 α g Q)) c 3 7) Enfn, on va extrapoler g fos, utlsant à chaque fos l extrapolaton précédente On obtent ans des ordres d annulaton T chacun étant nécessarement plus pett que le précédent 13
Par alleurs, tous ces paramètres sont choss polynomaux en δ n Q) et en log δn De plus, comme L donc N 2 va être de la forme δ n Q)log δn) et que on veut comme résultat une mnoraton du type 1/δ n Q)log δn ), on sat par avance grace à l négalté 7) que les N seront choss polynomaux en log δn ou plus petts 34 Lemme de Segel Défnton 31 Sot N un enter S S est un sous-q-espace vectorel de Q N+1, on défnt la hauteur logarthmque de Schmdt [32] de S, h 2 S) comme sut : sur G n m Q) on défnt h 2 x 1,, x n ) = 1 d v log max d x v + d v log x 2 v, 1 n v MK 1 n v M 0 K où d et d v sont respectvement le degré et les degré locaux de l extenson de Q engendrée par les coordonnées x 1,,x n ; et où MK et M0 K dénote respectvement l ensemble des places nfnes et des places fnes de K/Q; et où on chost comme normalsaton de v pour v MK 0 dvsant p la suvante : p v = p 1 Sot N un enter On défnt alors la hauteur h 2 d un sous-q-espace vectorel S algébrque de dmenson s de Q N+1 par : h 2 S) = h 2 x 1 x s ), où x 1,,x s est une base de S sur un corps de nombres quelconque sur lequel S est défn Rappelons le lemme de Segel que nous allons utlser : l s agt du théorème de Bomber-Vaaler [10] Il y a c une dfférence fondamentale avec l artcle de Davd et Hndry : on veut pouvor controler la dépendance en l extenson K n /K Théorème F Bomber-Vaaler) Sot F/Q un corps de nombres de degré d Soent M et N deux enters strctement postfs et S un sous-f-espace vectorel de F N de dmenson N M > 0 Il exste un élément non nul x dans OF N de S tel que h 2 1,x) 1 1 log DscF/Q) + 2d N M h 2S) Avant de poursuvre, fasons quelque brefs rappels concernant la noton de varété projectvement normale Défnton 32 On dt qu une sous-varété X de P n est projectvement normale s son anneau de coordonnées SX) est un anneau normal e, ntégralement clos) On peut montrer cf par exemple Brkenhake-Lange [7] p 190-193) que X P n est projectvement normale s et seulement s elle est normale, et pour tout d 0 la flèche naturelle est surjectve H 0 P n, O Pn d)) H 0 X, O X d)) Concernant les varétés abélennes plongées de manère projectvement normale, on a le résultat suvant que l on trouve par exemple dans [7] theorem 31 p 190 Proposton 31 Soent A/K une varété abélenne, et L un fbré en drotes ample sur A Pour tout n 3, le fbré L n défnt un plongement projectvement normal de A dans un espace projectf P r 14
Soent A/K une varété abélenne sur un corps de nombres, mune d un fbré en drotes symétrque ample L Qutte à travaller avec L 4 plutôt qu avec L, on peut supposer que L est très ample, totalement symétrque et défnt un plongement projectvement normal de A dans un projectf P n On note M = L L le fbré en drotes sur A A assocé à L On va mantenant pouvor construre la foncton F recherchée Soent L et T deux enters postfs On note {s 0,, s l } une base de H 0 A A, M) On peut, par projectve normalté, chosr une base {Q 1,, Q m } du K-vectorel H 0 A A, M L) telle que tous les Q sont homogènes de degré L en les s j De plus, on peut auss vor les s comme des 1, 1)-formes homogènes de K[X,Y] où X = X 0,, X n ), et Y = Y 0,, Y n ) Enfn on note T B l espace tangent à l orgne de la sous-varété abélenne B = A) de A A défne par y = [N]x But : fabrquer un polynôme, F = m b Q, à coeffcents enters dans O Kn, en les fonctons abélennes de A A, tel que F est de pette hauteur, et tel que F s annule à un ordre supéreur à T 0 + 1 sur V ), le long de T B En notant Θ l applcaton thêta défne sur T AC) par la composton T AC) exp AC) AC) ϕ L P n C) assocée à L, cec correspond à trouver une soluton de pette hauteur au système d nconnues les b κ F Θu + z), ΘNu + z)) z κ = 0, 8) z=0 pour tout κ T et u T AC) tels que Θu) V K) On reprend le lemme 51 de [12] en remplaçant K par K n On obtent alors drectement : Lemme 32 Il exste une constante strctement postve c 4 telle que le rang du système 8) sur K n est majoré par rg = c 4 T 0 δ n Q)) g d0 LN 2) d 0 On peut mantenant construre la foncton que l on veut Étant donné un polynôme F à coeffcents dans K, on note hf) la hauteur logarthmque absolue du pont projectf défn par 1 et les coeffcents de F Lemme 33 S T 0 δ n Q) < 2L 2, alors l exste une foncton F soluton du système 8), de hauteur majorée par hf) c 5 log[k n : K]) 2 + rg C 0T 0 logδ n Q)) + L) L 2g Démonstraton : Il sufft de reprendre la preuve du lemme 54 de [12] et d applquer le théorème F en leu et place du classque lemme de Segel Comme K n = KA[n]), on utlse le corollare 21 pour majorer le dscrmnant apparaîssant dans le théorème F C est ce dscrmnant qu nous donne le terme c 5 log[k n : K]) 2 35 Lemme de zéros Avec les notatons précédentes, on pose Σ = { σq) σ GalK/K n ) } Pour chaque premer p, fxons une place v p de K n au-dessus de p et notons NR Kn l ensemble des telles places v p telles que v p p est non-ramfée dans K n Pour r comprs entre 1 et g, posons de plus { P r = {Id} α v v NR Kn, } N r 2 Nv) N r, 15
où les N r sont des paramètres qu seront spécfés ultereurement Il faut notamment les chosr de N sorte que log N 2 log δn 4 log 2 log[k n : K] afn d être sur que les ensembles P r soent non vdes cf les ponts 2) des lemmes 21 et 23) En supposant cec vérfé, le théorème de Chebotarev nous assure alors que CardP r ) c 6N r log N r Notaton S α est un élément de P r pour un certan enter postf r, assocé au nombre premer p, on notera α l opérateur α Φp 1, composé d une sogéne et d un morphsme de GalK n/k) Par conventon, s α est l dentté, on prendra également l dentté pour α Pour tout enter r entre 1 et g, on note alors On convent que Σ g+1) = Σ Σ r) = { α r α g Q)) Q Σ, α P } On rappelle une varante affable) du lemme de zéros démontré dans [12] théorème 41) Théorème 31 Lemme de zéros) On utlse les notatons précédemment ntrodutes Soent A/K une varété abélenne de dmenson g, plongée dans un espace projectf P m de façon projectvement normale et M un enter strctement postf On se donne une forme F K n [X 0,,X m ] homogène de degré L, non-dentquement nulle sur A Kn On suppose que F s annule à un ordre supéreur à 1 + M le long de T AKn en tous les ponts de Σ 1) Sous ces hypothèses, l exste un enter r {1,, g}, une sous-k n -varété de A Kn, V, strcte et K n -rréductble, de dmenson d g r, telle que V K content un élément de Σ r+1), ncomplètement défne dans A avec multplcté supéreure à 1 g M le long de l espace tangent à l orgne T A Kn par des formes de degré nféreur à 2LN 1 N r 1, telle que : ) M g d deg LKn αv ) c 7 LN 1 N r 1 ) g d α P r Démonstraton : C est le théorème 41 verson galosenne) et la scole 48 de [12] applqués avec K = K n, {1,, g} T = 1 g M, L = L, V = T A Kn Plus précsément, on reprend leur preuve,la seule dfférence étant la suvante : là où ls ntrodusent p27, paragraphe 42) la sute d déaux nous ntrodusons la sute I 1 = P), La preuve est alors la même I 1 = P), I r+1 = Tr 0,α I r; α P r ), I r+1 = Tr 0,α p Φ p I r ); α p = α p Φ 1 p P r ) Comme dans [12], nous aurons également beson d un résultat supplémentare, raffnant l négalté de Bézout : Lemme 34 Il exste une constante c 8 telle que la proprété suvante est vrae : soent V une sous-k n -varété strcte de A, rréductble sur K n et F une forme de degré µ sur A, défne sur K n On suppose que F est nulle avec multplcté supéreure à m sur une sous-k n -varété V de A, et on suppose également que les ntersectons V V et V ZF) ont une composante W, K n -rréductble en commun, de codmenson 1 dans V Dans ce cas, on a l négalté deg LKn V )µ deg LKn W c 8 m Démonstraton : Il s agt du lemme 49 de [12] avec K = K n 16
36 Extrapolaton L extrapolaton sut pour parte ce qu est fat par Davd et Hndry dans [12] Cec dt, l y a tout de même une dfférence : comme la foncton auxlare n est plus construte à coeffcents enters mas à coeffcents dans O Kn, on va à la manère des cas non-ramfé de [4] et [26], fare ntervenr les automorphsmes de Frobenus Φ p de l extenson abélenne K n /K Cec étant noté, les choses fonctonnent ben ensute à condton de se restrendre au cas des premers non-ramfés dans K n C est pour cela que l on défnt les ensembles P r tels qu on les défnt On énonce le lemme qu nous permet d extrapoler Notons que l on utlse c le fat que l extenson K n /K est abélenne Lemme 35 Soent x O Kn, p un nombre premer non-ramfé dans K n et v une valuaton sur K étendant p En notant Φ p GalK n /K) l automorphsme de Frobenus assocé à p, on a Démonstraton : C est le lemme 31 de [4] x p Φ p x v p 1 Remarque 38 Notons que c est cette restrcton, le fat de se restrendre à ne travaller qu avec les premers non-ramfés dans K n, qu fat apparaître les facteurs log δ n plutôt que log δ np) Pour corrger cec, on pourrat s nsprer de l artcle [4] et [26]), mas, ndépendamment des autres complcatons, l y aurat cette fos-c non plus g, mas 2 g étapes d extrapolaton à fare On reprend le paragraphe 6 de [12] et on remplace dans le théorème 64, le corps KQ) par K n Q) Cec se fat sans autre changement et on obtent ans : Proposton 32 Pour tout comprs entre 1 et g, on fat les hypothèses suvantes sur les paramètres : et N 2 g N ) ĥ L Q) c 3, T log N g 2L et s g 1, T log N g > 2c 9 T +1 logt +1 + L) + L + hf)) Dans ce cas, la foncton auxlare F est nulle le long de T BC) à un ordre supéreur à T g en tout pont de Σ 1) Démonstraton : Il s agt de reprendre les calculs de la proposton 65 de [12] elle même basée sur l extrapolaton de Laurent [18]) en passant de K à K n On conserve donc leurs notatons Il s agt de la même chose que ce qu est fat dans les propostons 61 et 71 de [26] dans le cadre des courbes ellptques On rasonne par récurrence, on suppose F nulle à un ordre supéreur à T le long de T BC) en tous les ponts de Σ g+1 ), et on va montrer la même chose à au rang + 1 Plus exactement, étant donné un pont R g+1 de Σ g+1 ), plutôt que de montrer que F s annule en un pont α v R g+1 ) à un ordre supéreur à T +1 avec α v P g, on va montrer, ce qu est équvalent, que Φ p F) s annule au pont α v R g+1 ) au même ordre Cette reformulaton nous permettra d applquer le lemme 35 Notons que le rang = 0, autrement dt l ntalsaton de la récurrence, est vra par constructon de F par le lemme de Segel Sot v la place de K n dans NR Kn correspondant à α v P g Elle est d unformsante π v Sot R un pont de Σ g+1 ) défn sur une extenson K n /K n, et sot w une place de K n au dessus de v Notons R = R 0,,R n ) un système de coordonnées projectves de R dans O w, telles que R w = 1 Sot κ un opérateur dfférentel d ordre κ T +1 le long de T BC) L applcaton de l hypothèse de récurrence annulaton de F à un ordre supéreur à T le long de T BC) en tous les ponts de Σ g+1 ) ), et l applcaton du pett théorème de Fermat dans le cadre des varétés abélennes condusant à l négalté 20) p47 de [12] et le lemme 35 nous donnent ) Φ p κ F) F αv R),F N) w F αv R) π v T κ w, 9) 17
où F αv et F N) sont des formes homogènes de O K [X] de degré respectfs Nv) et 4 m+1, représentant respectvement l endomorphsme de Frobenus sur A assocé à v, et la multplcaton par N = 2 m+1 On veut mantenant sommer sur toutes les places w au-dessus de v Malheureusement, le chox du système de coordonnées projectves pour R dépend de w On est donc oblgé d alourdr les notatons pour paller ce problème Soent S, S N, S αv, S N,αv des coordonnées projectves non nulles de R, F N) R), F αv R), F N) F αv R) respectvement On note de plus S w,n, S w,αv, S w,n,αv des coordonnées de ces ponts de valeur absolue w-adque maxmale Sot mantenant κ un opérateur dfférentel de longueur mnmale pour lequel ) Φ p κ F) F αv R),F N) F αv R) est non nul S κ est supéreur à T +1, on a gagné Snon on applque la formule de Lebnz en utlsant que F est bhomogène de bdegré L, L) On a donc ) Φ p κ Fαv R) F), FN) F αv R)) = Φ p κ F) F αv R),F N) F αv R)) ) S αv S N,αv Sα L v SN,α L v Or cec est égal à ) Φ p κ Fαv R) F), FN) F αv R)) S w,α v S w,n,αv ) L S w,αv S w,n,αv S αv S N,αv ) L On réécrt alors l négalté 9) en passant au log, en sommant sur toutes les places w au-dessus de v et en notant d w les degrés locaux : ) ) d w log Φ p κ Fαv R) F), FN) F αv R)) 10) Or w v S αv S N,αv T κ ) d w log π v w ) + L ) Sw,αv S w,n,αv w d w log 11) S αv S N,αv w w v w v w v d w log π v w ) = [K n : K n] log π v v ) = [K n : K n] d v w log Nv)) De plus, on peut vor que ) Sw,αv S w,n,αv w d w log [K n S αv S N,αv : K n] h L α v R)) + h L Nα v R))) w w v ) [K n : K n ] Nv)ĥLR)+ N 2 Nv)ĥLR)+ c 14 C est l négalté 21) p 49 de [12] On obtent ans, en notant G le membre de gauche de l négalté 10) la majoraton suvante : ) G c 10 T [K n : K n ] log N g + L[K n : K n ]Nv) N 2 + 1)ĥLR) + c 14 12) c 10 T [K n : K n ] log N g + c 11 L[K n : K n ] c 12 T [K n : K n ] log N g, 13) par chox des paramètres et par l hypothèse Précsément c est pour obtenr cette dernère négalté que l on applque l hypothèse H), va l négalté 7) supposée vérfée dans les hypothèses de la proposton Il reste à majorer le terme G Par défnton de la hauteur absolue logarthmque) projectve, on a )) 1 ) 1 [K n : K n ] G h Φ p κ Fαv R) F), FN) F αv R)) = h Φ p κ F) S αv Fαv R) S αv S N,αv, FN) F αv R)) S N,αv )), 18
cec ayant un sens grace à l hypothèse de non nullté de Φ p κ F) ) Il ne reste mantenant plus qu à majorer cette dernère hauteur Il s agt d un calcul classque cf par exemple [12] p 50) On obtent 1 ) [K n : K n] G c 13 T +1 logt +1 + L) + LN 2 Nv)ĥLR) + hf) 14) Fnalement, en mettant ensemble les négaltés 12) et 14), on obtent T log N g c 14 T +1 logt +1 + L) + L + hf)) 15) Les hypothèses permettent alors de conclure 37 Chox complet des paramètres Jusque là on a du mposer les négaltés suvantes sur les paramètres :, N log δ n) 2, N 2 L, et s g 1, T 0 δ n Q) L 2 T log log δ n) 2 De plus, L étant lnéare en δ n Q) cf le paragraphe 33), l en est de même pour les T qu sont strctement décrossants, en fat vérfant : log log δn T +1 T C 0 log δn On dot également avor T 0 T g 1 log δ n )2 log log δ n ) log log δ g T g T n 0 C 0 log δn = δ n Q) Enfn la dernère chose à vérfer est la suvante : Ans, on a : ) T 0 log log δ g n δ n Q) C 0 log δn {1,,g 1}, C 0 T g+1 d0 0 δ n Q) g d0 log δ n ct L 2g d0) log log δ n On veut afn d obtenr un résultat optmal vs à vs de la méthode) que L sot le plus pett possble, cec nous permet d en dédure les valeurs optmales pour les T et pour L : [ [ ] log L L = C 2g 0 δ nq)log δn )2g 1 log log δn ) 2g], N = 2 m+1, m =, 2 log 2 et, pour tout {1,,g} T 0 = Par alleurs on pose [ C 3g 1 2 0 δ n Q)log δ n )3g 2 log log δ n ) 3g], T = [ T 0 log log δ n C 0 log δ n ) ] C0 log δ )!ρ n {1,, g} N = log log δn, pour un certan paramètre ρ entre ρ mn et ρ max, avec ρ max = g + 2)2gg!) g ρ mn et ρ mn = 2g +5 Avec ces chox de paramètres on vérfe que l négalté 7) est ben vérfée : ĥ L Nα 1 α g Q)) c 3 19