Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: ltude de la distribution des points rationnels sur les varits algbriques est un sujet classique de la gomtrie diophantienne . beaucoup de varits do nt le fibr anticanonique est gros vrifient le principe de batyrev - manin @xcite avec la constante de peyre @xcite , y compris les varits toriques lisses projectives ( voir @xcite pour des exemples ) .    plus prcisment , soit @xmath1 une telle varit dfinie sur un corps de nombres @xmath2 munie dune hauteur de weil @xmath3 associe au fibr anticanonique @xmath4 . on dit que @xmath1 vrifie le principe de batyrev - manin sil existe un ouvert dense @xmath5 de @xmath1 tel que @xmath6 o la constante @xmath7 a reu une interprtation gomtrique ( cf . @xcite,@xcite ) . la raison pour laquelle on ne considre pas tous les points de la varit est que souvent il existe des sous - varits , que lon appelle ici _ globalement accumulatrice _ , do nt la croissance du nombre de points rationnels domine celle dun ouvert dense . on peut dfinir certaines constantes ( par exemple , la constante @xmath8 dans @xcite ) pour dtecter de telles varits . soit @xmath5 louvert priv de toutes les sous - varits globalement accumulatrices ( si un tel ouvert existe ) . une extension naturelle de ce problme est de considrer la convergence au sens faible de la suite de mesures de probabilit @xmath9 si cette suite de mesures converge , elle reflte un phnomne dquidistribution , et en regardant la densit de la mesure limite on peut obtenir une caractrisation de la concentration  des points rationnels . peyre @xcite a conjectur une mesure limite , appele mesure de tamagawa . ce texte est concern par un autre aspect ,  savoir le problme de la distribution _ locale _ des points rationnels autour dun point rationnel fix . le terme local  est au sens de lapproximation diophantienne systmatiquement formul en premier par d. mckinnon et m. roth ( @xcite , @xcite ) . une diffrence majeure par rapport aux problmes globaux est que mme sil nexiste pas de sous - varits globalement accumulatrices , il peut y avoir des sous - varits qui sont _ localement _ accumulatrices . moralement , les meilleurs approximants ne peuvent tre choisis que sur telles sous - varits . comme dans le problme global , on peut aussi dfinir certaines constantes , appeles maintenant _ les constantes dapproximation _ , pour les caractriser . lune de des constantes , appele _ la constante dapproximation _ @xmath10 ( dfinition [ pd : appconstant ] ) , caractrise la meilleure approximation . la deuxime constante , appele _ la constante essentielle _ @xmath11 ( dfinition [ df : essential ] ) , dcrit des approximations gnriques . au niveau de la distribution plus fine , s. pagelot @xcite a tudi en premier _ la distribution locale _ des points rationnels sur certaines varits algbriques via une opration appele zoom . le but est de dnombrer et localiser asymptotiquement les points le plus proches dun point rationnel fix . elle nous permet dobtenir plus dinformations sur la concentration locale des points rationnels que les constantes dapproximation car il existe des sous - varits ayant la mme constante dapproximation , sur lesquelles le nombre dapproximants qui se trouvent tant dordre de grandeur diffrente . on propose une dfinition ( dfinition [ df : weaklocal ] ) base sur ce fait pour les caractriser . dans ce texte on se placera sur une surface torique dfinie sur @xmath12 que lon notera toujours @xmath13 . elle est obtenue en clatant les @xmath14 points invariants de @xmath0 ,  qui correspond aux ventails    ]    on choisit le relev du point @xmath15\times[1:1]$ ] de lorbite ouverte que lon va approcher . comme conjectur par d. mckinnon ( conjecture [ conj : mckinnon ] _ infra _ ) , les courbes rationnelles donnent les meilleurs approximants . en effet , nous dmontrons quil existe @xmath14 courbes rationnelles @xmath16 passant par @xmath17 de degr anticanonique minimal qui donnent des meilleures approximations . alors quen dehors des @xmath18 , les approximants optimaux sont peu nombreux et se situent sur une famille de courbes nodales en @xmath17 de degr bas do nt la runion est dense dans @xmath13 . elles sont obtenues en considrant les courbes nodales do nt les tangentes au point @xmath17 ont les pentes irrationnelles . autrement dit , les points au - dessus de la dsingularisation en @xmath17 nest pas dfinies sur @xmath12 ( en fait ils sont dfinis sur une extension quadratique de @xmath12 ) . avant desquisser la formulation de la distribution locale afin pour noncer notre thorme principal , nous considrons dabord un exemple particulier @xmath19 . on fixe le point @xmath20 $ ] et la hauteur de weil comme @xmath21)=\max(|x|,|y|,|z|),\quad \operatorname{\operatorname{pgcd}}(x , y , z)=1.\ ] ] on sintresse  lensemble des points rationnels de hauteur borne @xmath22\in{\mathbb{p}}^2({\mathbb{q}}):h(p)\leqslant b\}.\ ] ] un calcul nous dit que les points le plus proches de @xmath17 sont  une distance de lordre de @xmath23 . nous invitons les lecteurs  consulter ( * ? ? ? * figure 1 ) pour un dessin de la rpartition des points de hauteur borne autour de @xmath17 , o nous observons que les points se rpartissent apparemment de prfrence sur les droites rationnelles . lide est quaprs une manipulation de zoom , on peut dfinir une suite de mesures dcrivant la distribution asymptotique des points proches de @xmath17 . soit @xmath1 une bonne  varit munie dune hauteur de weil @xmath3 . on fixe un point @xmath24  approcher et un diffomorphisme local @xmath25 de la varit en @xmath17 sur le plan tangent @xmath26 qui envoie @xmath17 sur lorigine . pour @xmath27 et @xmath28 , on dfinit la suite de mesures de dirac par la formule suivante : @xmath29 en gnral on ne prend que les @xmath30 tels que @xmath31 parce que sinon on est ramen  des sous - varits strictes ( proposition [ po : weakzoom ] ) . on fixe une distance euclidienne @xmath32 sur @xmath33 ( qui est quivalente localement  toute distance projective dfinie sur @xmath1 ) . on note @xmath34 la boule centre en lorigine de rayon @xmath35 et @xmath36 la fonction caractristique associe . sil existe @xmath37 tels que @xmath38 pour une infinit de @xmath39 , ils dcrivent la grandeur daccumulation des points rationnels autour de @xmath17 . on renormalise en considrant la suite de mesures @xmath40    si elles convergent ( au sens faible ) vers une mesure non - nulle , on lappellera _ la mesure limite_. le phnomne gnral serait que quand @xmath41 , ( le zoom est _ sous - critique _ , dfinition [ def : criticalzoom ] ) , @xmath42 aurait lordre de grandeur attendu et la rpartition des points rationnels serait plus uniforme . le cas o @xmath43 ( le zoom est _ critique _ ) est particulirement intressant . s. pagelot a tudi dans @xcite la distribution locale dun @xmath44-point sur la droite projective et sur des surfaces de del pezzo ( toriques ) de degr @xmath45 . en particulier pour @xmath19 il a affirm ( pour le zoom critique ) lexistence de la mesure limite attendue de masse concentre sur les droites ( ceci est redmontr dans @xcite ) . il est naturel de se poser la mme question pour les points algbriques et pour les varits de dimension suprieure . lauteur a tudi dans @xcite ce problme pour une surface de del pezzo torique de degr @xmath46 et il a obtenu pour le cas @xmath43 une mesure limite . [ notationcqbx ] on note @xmath47 lespace vectoriel des fonctions continues de support compact dfinie sur @xmath48  valeurs relles . on nonce le thorme principal du texte . [ th : maintheorem ] on a @xmath49 . soit @xmath50 . soit @xmath30 le facteur de zoom . alors    1 . si @xmath51 , on a que pour toute @xmath52 , @xmath53 il nexiste pas de mesure limite dans ce cas . si @xmath54 , alors il existe une constante @xmath550,1\mathclose[$ ] telle que pour toute positive @xmath56 , @xmath57 o @xmath58 est une mesure absolument continue par rapport  la mesure de lebesgue planaire .    en combinant avec le rsultat de pagelot ( thorme [ th : pagelot ] ) , on trouve que @xmath59 pour toute positive @xmath60 . ceci implique le nombre dapproximants sur les @xmath18 domine celui dans le complmentaire bien que leur constantes dapproximation concident . remarquons que daprs lheuristique nave du principe de batyrev - manin ( cf . ) , on souhaiterait que la puisse de @xmath61 soit @xmath62 . cest -  - dire que lon voudrait pourvoir prendre @xmath63 . nous dmontrons tous les @xmath64 suffisamment petit nous permettent de garantir la minoration ( cf . thorme [ th : lowerbound ] ) . lobservation cruciale dans la dmonstration de ce rsultat est que les meilleures approximations dans @xmath5 sont obtenues sur certaines courbes rationnelles qui sont nodales en @xmath17 . quand on restreint  ces courbes nodales , lapproximation du point @xmath17 revient  lapproximation dun point _ algbrique quadratique _ , ce qui nous amne  tudier plus soigneusement la distribution locale des points algbriques sur la droite projective . notons quen dimension @xmath65 , il ny a pas de sous - varits localement accumulatrices . [ th : secondtheorem ] on munit le fibr @xmath66 sur @xmath67 une hauteur de weil ( cf . ) . soit @xmath68 un nombre irrationnel algbrique . on identifie @xmath68 comme un point rationnel @xmath69 $ ] de @xmath67 . alors @xmath70 .    * et @xmath68 et un nombre quadratique , alors pour toute fonction @xmath72 , @xmath73 et il existe certaines fonctions @xmath74 telles que @xmath75 en dautres termes , il nexiste pas de mesure limite pour le zoom critique . * si @xmath76 . alors pour toute @xmath72 , @xmath77 en particulier , la mesure limite est proportionnelle  la mesure de lebesgue . la constante dapproximation de @xmath68 est dduite des thormes de dirichlet et roth ( ou de lingalit de liouville ) . pour les nombres quadratiques , le zoom critique est directement li aux quations de pell - fermat . trouver des points dans le zoom quivaut plus ou moins  trouver des solutions _ primitives _ ( dfinition [ df : primitive ] ) de ces quations . la thorie algbrique des nombres pour les corps @xmath78 o @xmath79 est un entier naturel sans facteur carr nous donne une bonne comprhension de la structure des solution des quations @xmath80 pour @xmath81 . pour les quations de la forme @xmath82 , grce  la rsolubilit de lquation @xmath83 on peut toujours localiser certaines solutions , qui suffisent pour lutilisation que nous en faisons . on remarque aussi que la constante implicite dans le premier nonc est explicitement calculable . voir les dtails et les noncs prcis dans la section [ se : theoryalgebraic ] . le deuxime nonc nous dit quil existe beaucoup dapproximants ayant la constante dapproximation proche de @xmath84 . mais il semble difficile de construire des suites de points rationnels ayant cette proprit mme pour un seul nombre cubique ( voir @xcite ) . en fait dans la dmonstration , on utilise le thorme de roth sous la forme ineffective : pour tout @xmath85 , il existe une constante @xmath86 telle que pour tout rationnel @xmath87 , on ait @xmath88 mais la constante @xmath89 nest pas explicite . en terme de lexpansion en fraction continue , on ne sait pas comment contrler la croissance des quotients partiels sauf pour les nombres quadratiques . la consquence est lineffectivit du terme derreur . la difficult majeure de comptage est que ( quand on prend une fonction caractristique dun intervalle par exemple ) les points que lon veut dnombrer sont des points entiers primitifs dans une rgion trs fine . la formule empirique ( le terme principal est le volume et le terme derreur est de grandeur de la longueur du bord ) nest plus applicable . lide que lon va adapter est la thorie dquirpartition modulo @xmath65 . nous allons dmontrer cet nonc pour des nombres rels ayant la mesure dirrationalit @xmath90 ( dfinition [ def : irrationality ] ) , et pour certains nombres quadratiques particulier avec la constante implicite prcise ( cf . la section [ se : zoomalgebraic ] ) . la dmonstration du thorme [ th : maintheorem ] utilise le paramtrage par des courbes nodales . la premire partie se dduit de celle du thorme [ th : secondtheorem ] en remarquant que dans un voisinage fix du point @xmath17 , il ny a quun nombre fini de courbes nodales qui interviennent pour le zoom critique . pour le zoom sous - critique , sur certaines courbes nodales on trouve une quidistribution au sens du deuxime nonc du thorme [ th : secondtheorem ] ( cf . proposition [ po : zoompointsoncab ] _ infra _ ) . chacune de ces courbes donne des points dordre de grandeur gale  une puissance de @xmath61 . le problme est de les sommer . pour cela on utilise la technique dveloppe par r. de la bretche et t. d. browning dans @xcite , @xcite , @xcite pour traiter lordre moyen des diviseurs pour des forme binaires , qui nous entrane une formule asymptotique pour le dnombrement de points sur les courbes do nt le paramtre est petit . la mesure @xmath58 qui minore le zoom peut tre vue comme une saturation de ces courbes nodales , chacune tant quipe dune mesure uniforme . ceci est analogue  lexemple de la surface del pezzo torique de degr @xmath46 tudie dans @xcite , o la mesure limite existe pour le zoom critique , qui est obtenue en utilisant le paramtrage par des droites . avec les techniques utilises dans ce texte , on nest pas capable de trouver une formule asymptotique pour le zoom sous - critique de la surface @xmath13 ( cest -  - dire `` @xmath91 '' remplac par `` @xmath92 '' ) . toutefois le deuxime nonc assure que lordre de croissance de la distribution locale est minor par une puissance positive de @xmath61 avec une mesure uniforme . esquissons lorganisation du texte . dans la section [ se : approximationconstants ] on introduit la notion de constante dapproximation et lon prcise lopration de zoom . la section [ se : theoryalgebraic ] est consacre aux proprits fondamentales des corps quadratiques rels et lapplication aux quations de pell - fermat . en les utilisant , on dmontre le thorme [ th : secondtheorem ] en tudiant la distribution locale critique des nombres algbrique quadratiques dans la premire partie de la section [ se : zoomalgebraic ] , et dans la deuxime partie on dmontre la formule asymptotique pour le zoom sous - critique de certains nombres rels bas sur les thormes classiques sur lquirpartition modulo @xmath65 . ltude de la distribution locale de la surface torique @xmath13 (  tout niveau ) est faite dans la dernire section [ se : toricsurface ] , o dmontrons - nous le thorme [ th : maintheorem ] . nous rfrons le lecteur aux appendices pour une prsentation du rsultat de s. pagelot et celui de r. de la bretche et t. d. browning .    * notations : * on note @xmath93 la fonction indicatrice deuler , @xmath94 le fonction arithmtique donnant le nombre total de diviseurs donne par : @xmath95 et @xmath96 la fonction de mbius . on dfinit , pour @xmath97 , @xmath98 alors on a @xmath99 pour un nombre rel @xmath100 , on note @xmath101 _ la partie entire _ de @xmath100 qui est le plus grand entier @xmath102 , et @xmath103 _ la partie fractionnaire _ de @xmath100 . fixons @xmath104 un ensemble . pour @xmath105 , on note @xmath106 le sous - ensemble de @xmath104 dfini par @xmath107 pour @xmath108 un sous - ensemble de @xmath109 , on note @xmath110 lensemble des points primitifs de @xmath108 . on dfinit plusieurs _ constantes dapproximation _ dun point rationnel sur une varit algbrique gnralisant la notion de _ mesure dirrationalit _ venant de lapproximation diophantienne classique . dans cet article , nous considrons uniquement les distances archmidiennes relles . une dfinition analogue pourrait sappliquer aux places non - archmidiennes . soit @xmath1 une varit projective dfinie sur un corps de nombres @xmath2 et quipe dune distance projective @xmath32 ( cf . un fibr en droites sur @xmath1 muni dune hauteur de weil absolue @xmath112 . on fixe un point rationnel @xmath24 . pour @xmath113 une partie constructible de @xmath1 , on considre les ensembles @xmath114 @xmath115 chacun est un intervalle : si @xmath116 , tout @xmath117 appartient  @xmath118 ; de mme , si @xmath119 , tout @xmath120 appartient  @xmath121 . soit @xmath5 un ouvert de @xmath1 . on dit que @xmath111 vrifie _ la proprit de northcott _ pour @xmath5 si pour tout @xmath122 , @xmath123    [ pd : appconstant ] soient @xmath24 et @xmath113 une partie constructible de @xmath1 . supposons que @xmath111 vrifie la proprit de northcott pour un ouvert de zariski non - vide @xmath5 contenant @xmath17 . alors on a @xmath124 cette quantit est appele _ constante dapproximation _ en @xmath17 dans @xmath113 , note @xmath125 sil le fibr @xmath111 est fix dans la considration . sil existe une sous - varit ferme @xmath126 contenue dans @xmath113 tel que @xmath127 , on dit que @xmath128 peut tre calcule sur @xmath126 . cette dfinition ne dpend pas du choix du choix de @xmath5 . dans la suite , lorsque lon parle de la constante dapproximation , on admet que @xmath111 vrifie la proprit de northcott pour un ouvert dense contenant @xmath17 . [ df : essential ] on dfinit _ constante essentielle _ en @xmath17 comme la quantit @xmath129 o @xmath113 parcourt tous les ouverts denses de @xmath1 . sil existe une sous - varit @xmath126 de @xmath1 de sorte que pour tout ouvert dense @xmath130 , @xmath131 , on dit que @xmath126 est _ localement accumulatrice_.    ces notions ne dpendent ni du choix de la hauteur associe  fibr @xmath111 , ni du choix de la distance projective . puisque le problme que lon tudiera est local et que le point que lon va approcher est dans lorbite ouverte , on peut se restreindre  des ouverts de @xmath1 . dans la suite on suppose que le fibr en droites @xmath111 est gros , cest -  - dire sa classe est dans lintrieur du cne pseudoeffectif de @xmath1 . alors il existe un entier @xmath132 tel que lapplication rationnelle @xmath133 est birationnelle vers son image . en particulier on peut choisir un ouvert @xmath5 tel que @xmath134 et donc @xmath135 grce au thorme de northcott . dans ce qui va suivre , on suppose toujours que @xmath111 vrifie cette proprit , ce qui est le cas pour le fibr anticanonique des varits toriques compltes lisses ( parce que le polytope associ  @xmath136 est le reflt de lventail de @xmath1 contenant lorigine , cf . 3.4 p. 66 ) . en outre le fibr @xmath136 est sans lieu de base sur lorbite ouverte et donc la proprit de northcott est vrifie . toutes ces constantes sont connues en dimension @xmath65 . [ th : approximationtheorem1 ] soient @xmath137 et @xmath138 . on fixe une hauteur de weil absolue associe  @xmath139 . alors @xmath140    [ rmk : thmofmckinnon ] la constante dapproximation est sensible aux singularits . prenons une courbe rationnelle @xmath89 dfinie sur @xmath2 et @xmath111 un faisceau inversible ample sur @xmath89 . on fixe @xmath141 . soit @xmath142 le morphisme de normalisation . alors @xmath143 o @xmath144 , @xmath145 est la multiplicit de la branche de @xmath89 passant par @xmath17 correspondant  @xmath146 et @xmath147 ici @xmath148 veut dire que @xmath149 , qui arrive par exemple pour @xmath150 et @xmath17 un point imaginaire @xmath151 et donc il est impossible dtre approch par des nombres rationnels . nous ne considrons pas ce cas dans ce texte . cest un fait empirique que les approximants proviennent essentiellement des courbes rationnelles . en effet d. mckinnon a propos la conjecture suivante ( * ? ? ? * conjecture 2.7 ) :    [ conj : mckinnon ] soient @xmath111 un fibr ample sur @xmath1 avec une hauteur de weil choisie et @xmath152 . supposons quil y a une courbe rationnelle passant par @xmath17 ( ceci implique en particulier que @xmath153 . alors il existe une courbe rationnelle @xmath89 telle que @xmath154    cette conjecture prdit que @xmath10 peut tre calcule sur des courbes rationnelles passant par @xmath17 , qui est accord avec notre cas .    on utilise souvent la procdure suivante pour dterminer la constante essentielle . elle consiste essentiellement en deux tapes : dmontrer une borne infrieure uniforme valide dans un ouvert pour le produit dune certaine puissance de la distance avec la hauteur et trouver une famille de courbes rationnelles do nt la runion dans la varit est dense pour la topologie de zariski et chacune atteint la constante dapproximation souhaite . il convient de remarquer que cette procdure donne seulement une condition suffisante  pour trouver @xmath155 . en gnral il nest pas clair que @xmath155 puisse toujours tre atteinte sur une famille de courbes rationnelles . maintenant nous allons dcrire lopration de zoom en dtail . on identifie localement @xmath156 avec lespace tangent @xmath26 en envoyant @xmath17 sur lorigine , en utilisant un systme de coordonnes analytiques . dans @xmath26 , on dfinit une contraction  par une homothtie de rapport une puissance de @xmath61 ( la lettre @xmath61 dsigne ici la borne de la hauteur ) . plus prcisment , si lon note le diffomorphisme entre @xmath156 et @xmath26 par @xmath25 , alors _ loprateur de zoom _ @xmath157 avec _ le facteur _ @xmath30 est dfini par @xmath158 fixons @xmath5 une sous - varit de @xmath1 . rappelons la notation @xmath47 ( notation [ notationcqbx ] ) . soit @xmath56 , on introduit la mesure @xmath159 dfinie par @xmath160 cette dfinition dpend de la diffrentielle en lorigine du diffomorphisme choisi . existe @xmath161 tels que soit vrifie pour une infinit de @xmath61 . on peut donner ,  laide de la conjecture de batyrev - manin et celle de peyre sur lquidistribution des points rationnels , une prdiction nave de cet ordre de grandeur . soit @xmath162 . quand on calcul @xmath163 , on est en train de compter des points rationnels dans la boule @xmath164 do nt le volume est de grandeur @xmath165 . supposons la validit de la conjecture de batyrev - manin pour louvert @xmath5 , cest -  - dire ( on note @xmath166 ) @xmath167 et la validit dune forme forte de lquidistribution , cest -  - dire pour des voisinages analytiques do nt la taille dpendent de @xmath61 , alors on devrait avoir dans , @xmath168    autrement dit on devrait avoir @xmath169 en fait , dans tous les ( rares ) exemples connus , la valeur de @xmath8 est accord avec cette prdiction , mais celle de @xmath170 ne lest pas . il arrive parfois que @xmath171 , comme pour la varit considre dans ce texte . le comportement de la suite dcrit la _ distribution locale _ autour du point @xmath17 sur @xmath1 . on appelle _ mesure limite _ comme la limite de la suite ( si elle existe ) . prenant du recul , une minoration du type @xmath172 pour une mesure @xmath173 dfinie sur @xmath26 veut dire que la distribution locale est uniformment minore par une mesure , ce qui assure lexistence de beaucoup  de points dans le zoom . cest ce que nous allons dmontrer pour certains zooms de la surface @xmath13 . inspir par le fait que certaines courbes rationnelles contiennent beaucoup plus de points que les autres dans une mme varit dans lopration de zoom , bien quelles aient la mme constante dapproximation , nous proposons la dfinition suivante pour les distinguer . [ df : weaklocal ] supposons que @xmath174 . on dit quune sous - varit ferme stricte @xmath175 de @xmath1 est _ localement faiblement accumulatrice _ si @xmath176 et pour tout @xmath35 suffisamment grand , pour tout ouvert @xmath5 dense pour la topologie de zariski satisfaisant  @xmath177 et @xmath178 dense dans @xmath175 , @xmath179    autrement dit , les sous - varits localement faiblement accumulatrices ne sont pas localement accumulatrices mais dominent leur complment dans le zoom critique . le zoom dun certain facteur va mettre en vidence les sous - varits do nt la constante dapproximation atteignent ce facteur et ignorer ceux do nt la constante dapproximation est plus grande . donc le zoom dun facteur plus petit que @xmath155 va nous ramener  des sous - varits fermes localement accumulatrices . cela plus la proposition suivante explique la raison pour laquelle on sintresse au zoom avec le facteur @xmath180 . [ po : weakzoom ] soit @xmath5 une partie analytique de @xmath1 pour laquelle @xmath111 vrifie la proprit de northcott telle que @xmath177 . alors pour tout @xmath181 et @xmath56 , on a    1 .   @xmath182 si @xmath183 ; 2 . @xmath184 sinon ,    pour @xmath185 .    on peut supposer que @xmath60 est une fonction caractristique @xmath36 pour @xmath35 . on choisit une distance @xmath32 sur @xmath26 . daprs la proposition - dfinition [ pd : appconstant ] , pour @xmath186 tel que @xmath187 , il existe une @xmath188 telle que pour tout @xmath189 diffrent de @xmath17 , @xmath190 . supposons que @xmath191 . cela implique que @xmath192 les points aprs zoom doivent situer dans le support de @xmath60 , donc @xmath193 do @xmath194 donc un tel @xmath146 nexiste pas quand @xmath195 .    [ def : criticalzoom ] on dit que le zoom est _ critique _ ( resp . _ sous - critique _ ) si son facteur @xmath43 ( resp . @xmath196 ) . dans cet article on sintresse aux varits toriques lisses et projectives do nt le fibr en droites anticanonique est engendr pas ses sections globales et on utilise une hauteur de weil associe . les travaux @xcite @xcite @xcite confirment la conjecture de manin pour les varits toriques munies dune hauteur de weil associe au fibr anticanonique . ceci est en faveur de la prdiction prcdente sur lordre de grandeur ( au mois pour @xmath8 ) . on rappelle des faits classiques sur les corps quadratiques rels . pour les dtails , voir par exemple ( @xcite 2.5 , 4.6 , 5.4 ) . on fixe un entier @xmath197 sans facteur carr . soit @xmath198 . on note @xmath199 lunit fondamentale de @xmath200 telle que @xmath201 . alors le groupe dunits @xmath202 . on introduit les sous - groupes de @xmath203 : @xmath204 @xmath205 on note @xmath206 ( resp . @xmath207 ) llment de @xmath208 ( resp . @xmath209 ) do nt la classe engendre le groupe @xmath210 ( resp . @xmath211 ) . [ le : samuel ] @xmath212    pour @xmath81 , on dsigne par @xmath213 lensemble des solutions entires de lquation pell - fermat @xmath214 @xmath215 on note aussi @xmath216 la notation @xmath217 signifie ici que @xmath218 est un idal de lanneau @xmath219 . on utilise @xmath220 pour dsigner la norme des idaux et @xmath221 pour dsigner la norme des lments . on dfinit @xmath222 on note in ( resp . de , ra ) lensemble des nombres premiers qui sont inertes ( resp . sont dcomposs , se ramifient ) dans lextension @xmath223 . pour tout @xmath224 , sa conjugaison est dfinie par @xmath225    on a besoin dune estimation explicite du cardinal de lensemble @xmath226 ainsi que celui de @xmath227 .    on fixe @xmath81 . soient les entiers @xmath228 dfinis par la factorisation @xmath229 o @xmath94 dsigne la fonction arithmtique de nombre du diviseur ( cf . ) .    on observe que lensemble @xmath226 est parfois vide . [ co : upperboundforimm ] @xmath230    quelque soit @xmath231 , on considre sa dcomposition @xmath232 alors comme lapplication @xmath220 est multiplicative , @xmath233 la quantit  droite est en fait la factorisation de @xmath132 ( [ factorisationofm ] ) . on en conclut que @xmath234 en particulier @xmath235 est pair pour @xmath236 . rciproquement , pour tout @xmath236 , on choisit @xmath237 pair et pour tout @xmath238 , donnons - nous un couple @xmath239 tel que @xmath240 . le produit @xmath241 est un idal de norme @xmath242 . pour chaque @xmath238 , il y a @xmath243 tels couples dentiers . do lnonc . le groupe @xmath208 agit sur @xmath244 librement et lensemble des orbites est en bijection avec @xmath245    [ co : structuretheorem1 ] le groupe @xmath209 agit sur lensemble @xmath213 librement et on a la majoration suivante pour le cardinal de lensemble des orbites : @xmath246    daprs le lemme [ le : samuel ] on a @xmath247\leqslant 3 $ ] . le cardinal des orbites de laction de @xmath209 sur @xmath213 , qui est aussi libre , est major par @xmath248 la conclusion dcoule du corollaire [ co : upperboundforimm ] . [ df : primitive ] une solution @xmath249 de lquation est dite _ primitive _ si @xmath250 . toute solution de vrifie @xmath251 . donc lorsque @xmath252 , toutes les solutions sont automatiquement primitives . un avantage de la dcomposition de @xmath213 par laction de @xmath209 est le suivant . [ le : pgcddonotchange ] supposons que @xmath253 . alors @xmath254 ne dpend pas des lments @xmath255 qui sont dans une mme orbite . soient @xmath256 tels que @xmath257 . alors @xmath258 comme idaux . donc pour tout nombre premier @xmath259 , on a @xmath260    on appelle _ famille de solutions _ de lensemble des solutions correspondant  une orbite de laction de @xmath261 dans @xmath262 . sil existe une solution @xmath263 qui est primitive , alors lorbite par laction de @xmath209 donne une famille de solutions primitives . si la solution nest pas primitive , on note @xmath264 et on a @xmath265 . alors @xmath266 est une famille de solutions _ primitives _ de lquation @xmath267 do nt le coefficient est plus petit . donc en lidentifiant avec une famille de solutions primitives dans @xmath268 , on peut dfinir @xmath269 comme lensemble des familles des solutions primitives des quations pour toutes les valeurs de @xmath132 . alors @xmath270 puisque tout couple @xmath271 engendre une famille de solutions primitives de pour @xmath132 arbitrairement grand . cela est suffisant pour lutilisation ultrieure , et lon na pas besoin de dcrire pour quels @xmath132 , on a @xmath272 . maintenant on considre les quations diophantiennes @xmath273 dabord on dmontre que les solutions de sont contenues dans celles des quations de type @xmath80 , do nt la structure est connue daprs la discussion prcdente . deuximement on dmontre que quand @xmath274 , lensemble des solutions de lquation ( modulo @xmath275 ) est engendr par une puissance de lunit fondamentale @xmath276 . cela nous permet de construire une suite de solutions primitives de  partir de nimporte quelle solution primitive de pour @xmath277 fix . on factorise @xmath278 avec @xmath279 sans facteur carr . ce qui nous ramne aux quations considres prcdemment est lobservation simple suivante . [ le : passtogeneralequations ] on note @xmath280 lensemble des solutions @xmath281 de . alors @xmath282 . plus prcisment , on a @xmath283    @xmath284    maintenant comme toute solution @xmath281 de lquation @xmath285 vrifie @xmath286 , en crivant @xmath287 et en utilisant les notations , on obtient lquivalence suivante @xmath288 notons quici @xmath289 est un entier sans facteur carr . ainsi chercher des solutions de revient  rsoudre une quation de pell sous certaine condition de divisibilit , do nt la rsolubilit est assure grce  un thorme de dirichlet . on donne une preuve courte pour faciliter la lecture . soit @xmath79 en entier positif qui nest pas un carr . on note @xmath290 alors lensemble des solutions @xmath291 de lquation @xmath292 est un sous - groupe de @xmath293 vrifiant que @xmath294 est cyclique engendr par la classe dune puissance de lunit fondamentale @xmath295 du corps @xmath296 . lensemble @xmath297 est un sous - groupe ( multiplicatif ) de @xmath293 . puisque @xmath291 est le noyau du morphisme @xmath298 dans le diagramme commutatif suivant , @xmath299 \ar[r ] & \mathcal{b}_d^*=\{z\in{\mathbb{z}}+{\mathbb{z}}\sqrt{d}:n_{{\mathbb{q}}(\sqrt{d})/{\mathbb{q}}}(z)=1\ } \ar@{^{(}->}[d]^j \ar[rd]^-{i\circ j } \\ \ker ( i)\ar@{^{(}->}[r]&({\mathbb{z}}+{\mathbb{z}}\sqrt{d})^ * \ar[r]^-i & ( { \mathbb{z}}+{\mathbb{z}}\sqrt{d}/(s))^ * , } \ ] ] qui part de lensemble @xmath300 de cardinal infini vers limage @xmath301 de cardinal fini . donc le noyau @xmath291 doit tre un ensemble infini ( mme cyclique ) . [ po : pgcddonotchange ] le groupe @xmath302 agit sur lensemble des solutions de de la manire suivante . pour @xmath303 , et @xmath249 une solution de , on note @xmath304 alors @xmath305 dfini par @xmath306 est une solutions de . de plus , @xmath307 . on vrifie que @xmath308 soit @xmath309 , alors @xmath310 do @xmath311 on a videmment @xmath312 puisque ( comme dans la dmonstration du lemme [ le : pgcddonotchange ] ) @xmath313 on en dduit que @xmath314 do lnonc . [ rmk : inftysol ] soient @xmath315 qui engendrent le groupe @xmath316 . on fixe @xmath317 une solution de et soient @xmath318 dfinis comme prcdemment . comme @xmath319 , on en conclut que les nombres rationnels @xmath320 forment une suite dapproximants de @xmath321 . comme lon a vu prcdemment , @xmath322 puisque tout couple de types @xmath323 ou @xmath324 appartiennent  cet ensemble . ainsi on peut construire une infinit de suites de solutions primitives  laide de la procdure ci - dessus . si @xmath281 est primitif , on obtient alors une suite dapproximants _ primitifs_. dans cette section on tudie la distribution locale dun point @xmath325 . on identifie localement @xmath67 avec @xmath326 via lapplication dfinie pour @xmath327 , @xmath328\longmapsto \frac{u}{v}\quad ( [ \theta:1]\longmapsto \theta).\ ] ] on utilise la hauteur de weil canonique associe  @xmath66 : @xmath329)=\max(|u|,|v| ) , \quad(u , v)\in{\mathbb{z}}^2,\quad \operatorname{\operatorname{pgcd}}(u , v)=1.\ ] ] on utilise la valeur absolue comme la distance . il convient de choisir , pour tout @xmath330 , les fonction caractristiques @xmath36 et @xmath331 dfinies par @xmath332 pour tester la rpartition asymptotique des rationnels autour du point @xmath68 . on remarque que @xmath331 est en fait la fonction caractristique de la runion des intervalles @xmath333\theta+\eta,\theta+\varepsilon\mathclose],\quad \mathopen[\theta-\varepsilon,\theta-\eta\mathclose[.\ ] ] ( mme pour @xmath36 . ) on fixe dans la suite @xmath334 et lon considre la suite de mesures @xmath335 .      on voit que @xmath336 vaut le nombre de point @xmath337\in{\mathbb{p}}^1({\mathbb{q}})$ ] qui vrifient les conditions suivantes @xmath338 @xmath339 si @xmath340=2 $ ] , i.e. @xmath68 est quadratique , un tel nombre est en gnral reprsent de faon unique sous la forme @xmath341 en vertu de , il suffit de considrer les nombres de la forme @xmath342 avec @xmath343 . daprs les thormes de roth et dirichlet , on a @xmath344 . donc on prend @xmath71 correspondant au zoom critique . on rcrit linquation comme @xmath345 on a aussi lingalit de liouville @xmath346 o la constante @xmath347 est calculable ( cf . la dmonstration de la proposition [ po : effectiveliouville ] ) . le rsultat principal de cette partie est le suivant , qui dmontre la partie @xmath71 du thorme [ th : secondtheorem ] . [ th : criticzoomforquadratics ] pour @xmath348 , il existe @xmath349 , @xmath350 tels que @xmath351 par consquent , il nexiste pas de mesure limite pour le zoom critique . ce thorme est une consquence des propositions [ po : controlofepsilon ] , [ po : avoidance ] et [ po : trackpoints ] . dans @xcite s. lang a considr aussi le dnombrement dapproximants de nombres quadratiques mais sans lopration de zoom ( cest -  - dire seulement la condition de borne de la hauteur est impos ) . il a obtenu une formule asymptotique du type @xmath352 , ce qui est une consquence directe des conclusions sur la structure des solutions des quation de pell - fermat . nous trouvons dabord le lien avec des quations de pell - fermat . les quations et nous donnent @xmath353 on en conclut que @xmath354 ne prend quun nombre fini de valeurs entires et ce nombre est indpendant de @xmath61 . cela nous permet de dcomposer la quantit @xmath355 de la faon suivante @xmath356 o @xmath357 de plus , on a , daprs , @xmath358 do @xmath359 . cest -  - dire quand le diamtre du voisinage auquel la fonction caractristique correspond est suffisamment petit , il ny a pas de points rationnels pour tout @xmath61 . on ne cherche pas  trouver la valeur maximale possible de @xmath360 puisque lintrt de cette ingalit est quil rvle , comme dans le cas de la distribution locale dun point rationnel , un phnomne de trou . voir a.1 pour un analogue du cas o @xmath68 est un nombre rationnel .      on suppose comme prcdemment que @xmath342 . le but de cette section est double . sappuyant sur les rsultats de la section [ pell - fermatsimple ] , on donne une borne effective pour et on construit des suites de bornes telles que @xmath361 pour toute fonction caractristique @xmath331 suffisamment petite . on conserve les notations dans . [ po : controlofepsilon ] pour tout @xmath362 ( cf . ) , on a , pour tout @xmath363 , @xmath364 o @xmath279 sont dfinis par . [ po : avoidance ] il existe une fonction dtape @xmath365 qui est dcroissante et continue infrieurement telle que pour tout @xmath35 et tout @xmath55\frac{\varepsilon}{g(\varepsilon)},\varepsilon\mathclose[$ ] , on puisse choisir une suite de bornes @xmath366 qui tend vers @xmath367 de manire que @xmath368    le lemme [ le : passtogeneralequations ] nous permet de se ramener aux cas o @xmath369 o @xmath370 est sans facteur carr . plus prcisment , pour @xmath330 et pour chaque entier @xmath132 , on note @xmath371 et @xmath372 lensemble des points @xmath373 vrifiant les conditions @xmath374 @xmath375    il suffit de dmontrer quil existe @xmath366 telle que @xmath376 puisque @xmath377 on est ramen  un problme concernant des solutions des quations de pell - fermat . on extrait un encadrement pour @xmath378 . dune part , @xmath379 do @xmath380 dautre part , @xmath381 do @xmath382 en rsum , on a @xmath383 en reportant dans , on a @xmath384 donc @xmath385 de la mme manire @xmath386 il en rsulte que @xmath387 daprs , on a que pour @xmath388 , @xmath389 donc entrane une borne pour le nombre de solutions dans toute famille de solutions de lquation @xmath390 lapplication @xmath391 est dfinie par @xmath392 limage dune famille de solutions @xmath393 @xmath394 est un rseau do nt la priode est @xmath395 dans @xmath396 . prenons une famille de solutions @xmath397 , on a ( compte - tenu du signe ) pour @xmath398 , @xmath399 la proposition [ co : structuretheorem1 ] donne une majoration du nombre dorbites , on arrive  la borne dans la proposition [ po : controlofepsilon ] . donc pour tout @xmath400 fix , lensemble des images de toutes les solutions de ( [ eq : familyofpellequation ] ) , not @xmath401 , est une runion finie de rseaux de mme priode dans @xmath396 par lapplication @xmath391 . donc la fonction @xmath402 dfinie par @xmath403 est videmment dcroissante et continue infrieurement . elle est constante sur tout intervalle @xmath404 si lon prend @xmath405 assez proches tels que @xmath406  savoir @xmath407 on peut choisir @xmath408 de sorte quil existe une constant @xmath409 tel que lintervalle @xmath410\ ] ] vrifie @xmath411 daprs ( [ boundforloguv1 ] ) , ceci dmontre que @xmath412 pour tout @xmath413 . la fonction @xmath414 vrifie les mme proprits que celles de @xmath108 , do la proposition [ po : avoidance ] .      en imitant cette mthode , quand la fonction caractristique choisie permet davoir une solution dune quation pell - fermat gnralise , on peut choisir la suite @xmath366 de la faon quelle donne au moins une famille de solutions . [ po : trackpoints ] soit @xmath415 avec @xmath343 . pour tout couple @xmath416 , @xmath330 , tel que lintervalle @xmath4172\sqrt{ab}\theta^{-2}\eta,2\sqrt{ab}\theta^{-2}\varepsilon\mathclose[$ ] contienne la valeur absolue dun entier @xmath132 de sorte que @xmath418 contienne une solution primitive ( cf . les notations du lemme ) . alors il existe une suite de bornes @xmath408 tel que @xmath419    on choisit @xmath4200,1\mathclose[$ ] tel que @xmath421 2\sqrt{ab}\theta^{-2}\eta,2\sqrt{ab}\theta^{-2}\varepsilon \lambda^2\mathclose[$ ] . on suppose dans la suite que @xmath422 , la dmonstration tant analogue lorsque @xmath423 . soit @xmath122 tel que @xmath424 on dfinit lensemble @xmath425 des @xmath426 primitifs vrifiant @xmath427    pour @xmath428 , on a , daprs , @xmath429 en revanche , grce  la deuxime ingalit de , @xmath430 on note @xmath431 . alors la positivit de @xmath132 implique celle de @xmath1 . notons que @xmath432 , on obtient , daprs lhypothse sur @xmath132 , @xmath433 cela entrane aussi la majoration @xmath434 ainsi que la minoration pour @xmath1 : @xmath435 par la premire ingalit de . cela montre que @xmath436 on prend @xmath437 une solution primitive de lquation @xmath438 on dfinit @xmath439 comme dans la remarque . comme @xmath440 , on peut choisir @xmath408 de la manire que @xmath441 donc pour tout @xmath400 suffisamment grand , on a @xmath442 , do @xmath443    pour @xmath348 fixs , on peut choisir @xmath444 tel que @xmath445 et que @xmath418 contienne une solution primitive ( remarque [ rmk : inftysol ] ) . rappelons les proprits des fonctions @xmath108 et @xmath414 dans la dmonstration de la proposition [ po : avoidance ] . il existe alors @xmath446 tel que @xmath447 on dfinit @xmath448 maintenant on prend @xmath449\frac{m\theta^2}{2\sqrt{ab}}-\frac{\delta_1}{2|\varepsilon_d^*|^2},\frac{m\theta^2}{2\sqrt{ab}}\right[.\ ] ] puisque @xmath450 le couple @xmath416 vrifie toutes les hypothses des propositions [ po : avoidance ] , [ po : trackpoints ] . comte - tenu de la majoration fournie par la proposition [ po : controlofepsilon ] , il en dcoule donc que @xmath451      on va prouver un rsultat sur la distribution locale en un point rel vrifiant des ingalits de type analogue  celle de liouville , qui _ a fortiori _ sapplique aux nombres algbriques . pour cela on rappelle des notions standard dapproximation diophantienne des nombres rels . [ def : irrationality ] soit @xmath452 . on dit quun nombre rel @xmath68 a _ un ordre dirrationalit _ @xmath453 sil existe une constante @xmath454 telle que @xmath455 _ la mesure dirrationalit _ @xmath456 est la borne infrieure de lensemble des ordres dirrationalit de @xmath68 . de manire quivalente , elle est gale au maximum des nombres @xmath457 tels que @xmath458 si @xmath68 est algbrique , @xmath456 est rien dautre que la constante dapproximation @xmath459 associe au fibr @xmath66 . le nombre @xmath90 est un ordre dirrationalit et la mesure dirrationalit dun nombre quadratique . pour tout @xmath35 , le nombre @xmath460 est un ordre dirrationalit dun nombre algbrique de degr @xmath461 do nt la mesure dirrationalit est @xmath90 . le rsultat principal de cette section est le suivant , qui est valide pour tout nombre algbrique de degr @xmath462 . pour ceux do nt le degr est @xmath90 , on a une meilleur contrle du terme derreur . [ th : localdistributionofrealnumbers ] soient @xmath463 un nombre rel et @xmath76 . alors pour tout @xmath464 et @xmath465 ,    * si @xmath466 , supposons que @xmath467 , on a @xmath468 si de plus @xmath90 est un ordre dirrationalit de @xmath463 ,  savoir @xmath4690,1\mathclose[$ ] tel que pour tout nombre rationnel @xmath470 on ait @xmath471 on a , en notant @xmath472 @xmath473 * si @xmath474 , on a @xmath475    la dpendance du terme derreur dans sur @xmath463 et @xmath94 est intrinsque au sens similaire au thorme de roth . en effet , elle dpende de les constante @xmath476 dans avec @xmath453 proche de @xmath90 ( cf . aussi _ infra _ ) . alors que le terme derreur dans ne dpende que de la taille de @xmath463 . tout dabord on reformule ce problme de zoom en un problme de dnombrement . pour @xmath477 , on dfinit @xmath478 lensemble des point @xmath337 $ ] vrifiant @xmath479        graphiquement , si lon prend @xmath480 , cest -  - dire on prend la fonction de test @xmath36 et on calcule @xmath481 , on compte des points entiers primitifs  lintrieur du triangle do nt laire est dordre de grandeur @xmath482 et celle de la longueur du bord est @xmath61 . donc la comparaison classique avec laire du triangle nest utilisable que pour les cas o @xmath474 . ceux o @xmath483 ncessitent un travail supplmentaire . notre approche sappuie sur la thorie dquirpartition modulo @xmath65 utilise dans @xcite . [ de : discrpance ] soit @xmath484 une suite de nombres rels . elle est dite _ quirpartie modulo @xmath65 _ si pour tout @xmath485 , on a @xmath486 soit @xmath487 une suite de nombres rels quirpartie modulo @xmath65 . soit @xmath488 . (  @xmath489 ) @xmath490 de cette suite est dfinie par @xmath491}\left|\frac{\sharp\{n\leqslant n:\{x_n\}\in\mathopen[0,\lambda\mathclose]\}}{n}-\lambda\right|.\ ] ] si la suite @xmath492 pour un nombre @xmath463 rel fix , on notera @xmath493 . on rappelle lingalit de koksma - denjoy pour les suites quirparties modulo @xmath65 . ( voir , par exemple , @xcite p. 143 )    [ th : koksma - denjoy ] soient @xmath487 une suite quirpartie modulo @xmath65 et @xmath494 . soit @xmath495 une fonction mesurable  variation borne dfinie sur @xmath496 $ ] ( on note @xmath497 la variation totale de @xmath495 ) . alors @xmath498    lingalit de erds - turn donne un contrle de la discrpance ( cf . @xcite p. 122 - 123 ) pour les nombres irrationnels do nt la mesure dirrationalit est finie . [ co : controlforthediscrepancy ]    soit @xmath68 un nombre irrationnel ayant un ordre dirrationalit @xmath452 . alors pour tout @xmath499 , on a @xmath500    si les quotients partiels dans lexpansion en fraction continue dun nombre irrationnel sont born , de manire quivalent , lingalit de liouville tant vrifie , alors une meilleure majoration de la discrpance existe ( cf . * theorem 3.4 ) , p. 125 ) . soient @xmath501 $ ] un nombre irrationnel . supposons que les quotients partiels de @xmath502 sont borns , i.e. il existe @xmath503 tel que @xmath504 . alors @xmath505 o @xmath506 . [ le : boundforboundquotients ] soit @xmath502 un nombre irrationnel . existe @xmath5070,1\mathclose[$ ] tel que pour tout nombre rationnel @xmath470 , on ait @xmath508 soit @xmath501 $ ] son expansion en fraction continue . alors pour tout @xmath509 , @xmath510 par consquent,@xmath511    soient @xmath512 les convergents principaux de @xmath502 . alors ils vrifient , pour tout @xmath513 , la rgle de rcurrence ( voir ( * ? ? ? * theorem 1 ) ) @xmath514 @xmath515 et ( voir ( * ? ? ? * theorem 9 ) ) pour tout @xmath516 , @xmath517 il en dcoule que @xmath518 et donc @xmath519 en reportant dans , on obtient que pour @xmath516 , @xmath520    on peut supposer que @xmath521 . on fixe @xmath522 . + * cas @xmath523 . * on suppose que @xmath524 . la premire tape est de comparer le cardinal de @xmath478 avec celui de @xmath525 qui consiste en les @xmath526 de sorte que @xmath527    on prend @xmath528 . alors implique que @xmath529 donc pour un tel @xmath378 choisi , il ny a quun nombre fini de choix pour @xmath530 . de plus on a @xmath531 on en conclut que @xmath532 rciproquement , si lon prend @xmath533 , implique que @xmath534 on en conclut de faon analogue que @xmath535 et ainsi que @xmath536 on est ramen  calculer le cardinal de lensemble @xmath525 .  laide de linversion de mbius , on dfinit pour @xmath138 ,    @xmath537    o @xmath538 consiste en les @xmath526 tels que @xmath539 et @xmath538 consiste en les @xmath526 tels que @xmath540    on obtient une borne sur @xmath32 de la faon suivante . dune part , @xmath541 daprs lhypothse sur @xmath463 , pour tout @xmath85 , il existe une constante @xmath542 telle que pour tout @xmath543 , @xmath544 donc @xmath545 en combinant les deux ingalits on obtient @xmath546 donc on peut restreindre la somme en @xmath32  ceux vrifiant @xmath547 si de plus est valide , alors @xmath548 dans ce cas en combinant on obtient @xmath549    on tablit maintenant les formules asymptotiques suivantes un peu plus gnrales faisant intervenir une constante fixe @xmath550 , qui permet de lappliquer  une hauteur quivalente  celle donne . pour une utilisation ultrieure , on prcise la dpendance en @xmath550 du terme derreur . [ po : smallepsilon ] fixons @xmath551 et @xmath552 . supposons que @xmath553 on dfinit lensemble @xmath554 des @xmath526 satisfaisant  @xmath555 ainsi que @xmath556    alors pour tout @xmath499 et pour tout @xmath557 , @xmath558 si de plus est vrifie , on a @xmath559 les formules ci - dessus restent valides si lon remplace par @xmath560    soit @xmath561 fix dans la suite . on peut supposer que @xmath489 est un entier ( quitte  rajouter des constantes absolues dans les termes derreur ) . on considre le dcoupage de lintervalle @xmath5620,\frac{k}{\alpha d}b \mathclose ] $ ] en les intervalles @xmath563\frac{(k-1)kb}{\alpha d n},\frac{kkb}{\alpha d n}\right],\quad ( 1\leqslant k\leqslant n).\ ] ] soit @xmath564 tel que @xmath565 on a @xmath566 et donc @xmath567 daprs la condition et le choix de @xmath489 , @xmath568 on en conclut que pour tout @xmath569 et pour tout entier @xmath378 fix , il existe au plus un entier @xmath530 tel que @xmath570 sont uniques . fixons dans la suite @xmath2 et considrons lintervalle @xmath571 on cherche maintenant une quivalence de lhypothse suivante :    * ( h ) * pour @xmath572 fix , il existe un ( unique ) @xmath573 tel que @xmath574\frac{\eta ( k-1)k}{\alpha d n}b^{1-\frac{1}{r}},\frac{\varepsilon k k}{\alpha d n}b^{1-\frac{1}{r}}\right [ $ ] . la difficult de la dmonstration qui suit vient du cas @xmath575 , pour lequel lintervalle @xmath576 peut contenir un entier , y compris pour des grandes valeurs de @xmath61 . on a les deux possibilit suivante : + * cas i * : lintervalle @xmath576 contient un entier @xmath577 . alors on a @xmath578 alors * ( h ) * revient  dire que @xmath579 @xmath580 rciproquement , si @xmath378 vrifie lune des conditions ci - dessus , lentier @xmath530 tel que * ( h ) * soit vrifie existe et vaut @xmath581 ou @xmath582 selon lappartenance de @xmath583 . notons que @xmath584 . en dsignant @xmath5850,1\mathclose[$ ] , qui est soit un intervalle ( si lun des @xmath586 est vide ) , soit la runion disjointe de deux intervalles , on conclut que la condition * ( h ) * est quivalente  @xmath587 . + * cas ii * : lintervalle @xmath576 ne contient aucun entier . suppose que @xmath588u_{k}-1,u_k\mathclose[$ ] o @xmath589 . alors dans ce cas * ( h ) * est quivalente  @xmath5900,1\mathclose[.\ ] ]    on vrifie que lon a une quivalence analogue si lon suppose . ayant tabli cette quivalence , on peut rduire le comptage en deux variables @xmath591 en une seule @xmath378 . par labuse de notation , pour une proprit @xmath592 , on note @xmath593 la fonction qui vaut @xmath65 si @xmath592 est vrifie et vaut @xmath594 sinon . nous avons la dcomposition suivante @xmath595 o le terme derreur @xmath596 on traite dabord le terme principal en appliquant les thormes [ co : controlforthediscrepancy ] et [ th : koksma - denjoy ] . on dfinit la fonction @xmath597\to\mathbb{r}$ ] comme @xmath598 on dcompose @xmath599 comme @xmath600    daprs le thorme [ th : koksma - denjoy ] et le thorme [ co : controlforthediscrepancy ] ( avec @xmath601 ) , @xmath602 o la constante implicite dpend de @xmath603 et @xmath463 . de faon similaire on obtient @xmath604 donc @xmath605 on somme sur tous les @xmath2 . faisons - le dabord pour le terme principal de @xmath599 : @xmath606 ensuite pour le terme derreur de @xmath607 : @xmath608 on obtient @xmath609 o la constante implicite dpend de @xmath603 et @xmath463 . ensuite on estime le terme @xmath610 en utilisant la mme mthode . en imitant la discussion pour @xmath599 , on en conclut de lexistence des ensembles @xmath611 qui sont la runion de au plus @xmath90 intervalles disjoints de @xmath612 et @xmath613 tels que @xmath614          \longleftrightarrow \{\alpha v\}\in l_{1,k}\end{aligned}\ ] ] @xmath615 \longleftrightarrow \{\alpha v\}\in l_{2,k}\end{aligned}\ ] ] on dcompose @xmath616 comme @xmath617    on estime les @xmath618 en appliquant une autre fois les thormes [ th : koksma - denjoy ] et [ co : controlforthediscrepancy ] . @xmath619 donc @xmath620 on obtient aussi une formule analogue pour @xmath621 . ainsi @xmath622 en rsum de et , on a dmontr que pour @xmath463 gnral ayant la mesure dirrationalit @xmath90 , @xmath623 maintenant , supposons la validit de lingalit . il suffit de modifier tous les termes derreur concernant la discrpance ,  savoir , les termes qui contiennent @xmath603 . plus prcisment , en utilisant le lemme [ le : boundforboundquotients ] , on a @xmath624 et donc , @xmath625    _ suite de la dmonstration du thorme [ th : localdistributionofrealnumbers]_. on dcompose @xmath538 en des parties @xmath626 o @xmath627 avec @xmath628 choisies de sorte que @xmath629 en appliquant la proposition [ po : smallepsilon ]  ces ensembles ( avec @xmath630 ) on dduit que pour tout @xmath499 et @xmath631 , @xmath632 ce qui est valide aussi pour @xmath633 . il reste  sommer sur tous les @xmath32 . que lon a pour tout @xmath85 , @xmath634 on choisit @xmath635 on vrifie que avec ce choix @xmath636 et donc @xmath637 pour @xmath638 . on rcrit comme @xmath639 en utilisant lestimation lmentaire @xmath640 la somme du terme principal de est gale  @xmath641 et celle du terme derreur est dordre de grandeur gal  @xmath642 finalement en reportant dans on en conclut que @xmath643 il ne reste qu prendre , pour @xmath465 donn , @xmath499 tel que @xmath644 .    en reportant dans , cela dmontre finalement que @xmath645    maintenant , supposons la validit de . rappelons la borne pour @xmath32 . dans ce cas on prend @xmath646 comme lon suppose que @xmath647 , on dduit de @xmath648 on somme sur tous les @xmath32 dans le terme principal et le terme derreur respectivement . @xmath650 on en conclut que @xmath651    cela dmontre la formule . + si @xmath652 , alors il suffit de modifier la dfinition de lensemble @xmath525 en remplaant @xmath653 par @xmath654 . + * cas @xmath474 . * une inversion de mbius nous fournit que @xmath655 o @xmath656 on a , par la mthode de comparaison classique avec laire du domaine rel , @xmath657 puis on somme sur tous les @xmath32 possible et lon obtient @xmath658      les rsultats sur lapproximation dun nombre rel quon a dmontrs prcdemment peuvent tre vu comme le fait dapprocher une droite par des points primitifs de pente donne . pour une utilisation ultrieure , nous allons prsenter une version plus gnrales du thorme [ th : localdistributionofrealnumbers ] . cest -  - dire , on compte des points primitifs sur un rseau proche dune droite do nt la pente est un nombre quadratique donn . le but est dessayer de prciser la dpendance des constantes implicites , qui fait intervenir le dterminant du rseau . lide est qu laide dune transformation linaire lie au rseau , lapproximation sur le rseau de la droite quivaut lapproximation sur @xmath109 dune autre droite de pente gale  un autre nombre quadratique . comme lon a vu , lun des inconvnients de la dmonstration ci - dessus est que la constante @xmath659 qui apparat dans est en gnral difficile  prciser ,  cause de labsence deffectivit du thorme de roth ( ou bien de lingalit de liouville ) . cela mne aussi  une ineffectivit de la discrpance , car dans la dmonstration du corollaire [ co : controlforthediscrepancy ] , on a utilis le thorme de roth ( voir @xcite , p 123 ) . pour les nombres quadratiques , cette difficult disparat parce que lon peut prciser facilement les constantes dans lingalit de liouville et dans la majoration de la discrpance . on remarque que la technique ci - dessous fonctionne aussi pour les rels do nt les quotients partiels dans lexpansion en fraction continue sont borns ( ceux qui vrifient lingalit de liouville  puissance @xmath90 ) . on ne rentrera pas dans les dtails . * notations et conventions * : on fixe un rseau @xmath660 et @xmath661 . on suppose que @xmath662 contient un point primitif , donc @xmath663 pour tout @xmath664 . les nombres quadratiques auxquels on sintresse sont de la forme @xmath665 avec @xmath666 , que lon notera toujours comme @xmath463 . en pratique , les constantes @xmath667 sont bornes et lon na pas besoin dindiquer leur rles dans les constante implicites . on note @xmath668 . et lon dfinit @xmath669 il existe @xmath670 une base de @xmath109 telle que @xmath671 puisque @xmath662 contient un point primitif , donc @xmath672}\\          & = \prod_{p\nmid \det(\lambda)}\left(1-\frac{1}{p^2}\right)\prod_{p|\det(\lambda)}\left(1-\frac{1}{p}\right)\frac{1}{p^{v_p(\det(\lambda))}}\\          & = \frac{1}{\det(\lambda)}\frac{6}{\pi^2}\prod_{p|\det(\lambda)}\frac{1-p^{-1}}{1-p^{-2}}=\frac{6}{\pi^2}\frac{\psi_1(\det(\lambda))}{\det(\lambda ) }          \end{split}\ ] ] o @xmath673 on voudrait estimer le cardinal de lensemble suivant @xmath674 pour rduire la difficult technique et pour obtenir une formule asymptotique , nous allons imposer plusieurs conditions techniques . on ne prtend pas que les coefficients dans et soient optimaux mais ils suffisent pour lutilisation ultrieure . @xmath675 @xmath676 @xmath677    en gros , le but dimposer la condition est de rduire le problme de dnombrement  lquidistribution modulo @xmath65 , et celui de la condition est dobtenir un meilleur terme derreur . [ th : zoomingonlattices ] avec les hypothses ci - dessus , on a @xmath678    rappelons que lon peut aussi interprter @xmath679 , dans lesprit de lquidistribution , comme @xmath680 qui correspond  la probabilit pour un point de @xmath681 provenant dun lment de @xmath662 primitif dans @xmath109 . le deuxime terme derreur peut facilement dpasser le terme principal quand @xmath682 est trop petit et @xmath683 est trop grand , ce qui perd lintrt de la formule . toutefois pour notre utilisation ultrieure il y aura des relations troites entre @xmath684 . il savre quen fait ce sera le premier terme derreur qui contribuera plus que le deuxime . lide de la dmonstration est que les points que lon veut dnombrer sont dans un triangle . toute transformation dfinie par une matrice lenvoie sur un autre triangle do nt laire est celle du triangle initial divis par le dterminant et la pente de lune des bords correspond  un nouveau nombre quadratique  approcher , que lon notera @xmath685 , ce qui nous permet de se ramener au cas trait prcdemment et appliquer la mme technique .    commenons par quelques prparations . on prend un rseau @xmath686 . on choisit une base @xmath687 engendrant @xmath688 telle que ( cf . @xcite p. 135 ) @xmath689 o @xmath690 dsigne le @xmath691-me minima successif de @xmath688 par rapport  la norme symtrique et convexe @xmath692 : @xmath693 le thorme de minkowski ( cf . * theorem v , viii 4.3 ) ) dit que @xmath694 on dfinit @xmath695 quitte  remplacer @xmath696 par son oppos , on peut supposer que @xmath697    on tablit un thorme de liouville effectif ,  savoir , avec des constantes explicites . [ po : effectiveliouville ] pour tout @xmath698 , on a @xmath699 o on peut prendre @xmath700    on va reprendre la dmonstration de lingalit de liouville respectivement pour @xmath463 et @xmath68 . on note @xmath701 le polynme minimal sur @xmath395 du nombre quadratique @xmath702 . alors @xmath703 est un polynme entier qui annule @xmath68 . dune part comme @xmath704 , on a @xmath705 dautre part , daprs le thorme de valeur moyenne , pour @xmath706\alpha-1,\alpha+1\mathclose[$ ] et @xmath707\theta-1,\theta+1\mathclose[$ ] , @xmath708 puisque @xmath709 @xmath710 daprs les thormes de minkowski , en rappelant le choix de @xmath711 et @xmath712 , il en dcoule que @xmath713 @xmath714 do @xmath715 les ingalits sont triviales si @xmath716 dans le cas contraire les ingalits rsultent de , , , .    on en dduit lencadrement suivant qui sera utilis frquemment . [ co : rangeoflambdamu2 ] on a @xmath717    premirement , @xmath718 pour la minoration on utilise les ingalits : @xmath719    [ co : discrepancyfortheta ] pour @xmath720 , on a @xmath721    ceci rsulte du lemme [ le : boundforboundquotients ] et de la proposition [ po : effectiveliouville ] . avant de commencer de dnombrer lensemble , on prsente deux conditions supplmentaires qui sont des consquences des conditions et pour @xmath722 , @xmath723 @xmath724 puisque @xmath725 premirement , comme toujours , on utilise linversion de mbius pour liminer la coprimalit : @xmath726 o @xmath727 pour dduire une borne prcise pour @xmath32 nous suivons . pour tout @xmath728 , on note @xmath729 . en utilisant la proposition [ po : effectiveliouville ] , on a @xmath730 do @xmath731 notons que @xmath732    ltape suivante consiste  liminer la condition de rseau sur @xmath733 pour les @xmath32 petits . pour contrler la contribution des @xmath32 grands on peut utiliser la majoration donne par . on utilisera les notations , , pour le rseau @xmath734 , cest -  - dire @xmath735 . on crit @xmath736 avec @xmath737 . on voudrait se ramener au dnombrement sur @xmath738 puisquil ny a plus de contraints sur la divisibilit de @xmath739 . avec les notations ci - dessus lensemble scrit @xmath740 * cas i. @xmath32 est petit . * on va estimer le cardinal de @xmath741 quand @xmath32 vrifie la condition @xmath742 la condition assure que tels @xmath32 existent . dabord on dtermine le signe de @xmath739 . en utilisant le corollaire [ co : rangeoflambdamu2 ] et en rappelant la condition , on a @xmath743 cela implique non seulement que pour @xmath744 fix , il y a au plus un @xmath745 tel que @xmath746 , mais aussi que , pour un rseau @xmath747 fix , on a @xmath748 . on ne peut avoir quune seule possibilit parce que le signe de @xmath739 dtermine aussi le signe de @xmath378 , que lon a suppos tre positif . donc dans la suite , sans perte de gnralit on suppose que @xmath739 sont positifs . en fait on a dans ce cas @xmath749 ( sinon on aurait @xmath750 et do @xmath751 ) . on dfinit lensemble @xmath752 des couples @xmath753 vrifiant @xmath754 et lensemble @xmath755    ( rappelons la notation @xmath756 . ) on a @xmath757 . soit @xmath746 . on a @xmath758 daprs et le corollaire [ co : rangeoflambdamu2 ] , on a @xmath759 notons aussi que , daprs le corollaire [ co : rangeoflambdamu2 ] , , et , @xmath760 donc @xmath761 deuximement , @xmath762 on va montrer que pour tout @xmath763 , @xmath764 en particulier , comme on a @xmath765 , cela implique que @xmath766 et donc le lemme . si @xmath746 , daprs lestimation et la proposition [ po : effectiveliouville ] , @xmath767 pour @xmath768 , on dduit directement du corollaire [ co : rangeoflambdamu2 ] que @xmath769 on en conclut @xmath770 et @xmath771    pour que soit vraie , il suffit que @xmath772 il suffit donc que @xmath773 daprs la condition et la condition sur @xmath32 , on a @xmath774 ce qui implique que @xmath775 donc lingalit qui fallait dmontrer dcoule de . maintenant on dcoupe lintervalle @xmath776\ ] ] en @xmath489 pices ( avec @xmath489  dterminer ) @xmath777,\quad 1\leqslant k\leqslant n.\ ] ] on applique le thorme [ th : koksma - denjoy ] . @xmath778    pour @xmath779 , on dfinit @xmath780 on a @xmath781 donc daprs le thorme [ th : koksma - denjoy ] avec le terme derreur prcis ( corollaire [ co : discrepancyfortheta ] ) , @xmath782 @xmath783 donc @xmath784 on calcule maintenant le terme derreur provenant du changement de @xmath744 en les valeurs du bord des intervalles . en appliquant le thorme [ th : koksma - denjoy ]  la fonction auxiliaire @xmath785 on obtient @xmath786 on en conclut que @xmath787 grce  la condition , @xmath788 en sommant sur tous les @xmath2 pour le premier terme ( le terme principal ) @xmath789 puis sur les termes derreur @xmath790 on obtient que @xmath791 il nous reste  majorer le terme derreur venant du cardinal de @xmath752 . @xmath792 grce  la condition . on en conclut que @xmath793 on choisit @xmath794 comme @xmath795 , la condition assure que @xmath561 . on conclut que @xmath796 maintenant on somme sur tous les @xmath32 petits . dabord faisons - le pour le terme principal . en rappelant la constante @xmath679 et en remarquant que @xmath797 , @xmath798 ensuite pour le terme derreur @xmath799    * cas ii . @xmath32 est grand . * pour les @xmath32 vrifiant @xmath800 on utilise la formule de la proposition [ po : smallepsilon ] avec @xmath801 , notant que la condition implique lhypothse de la proposition . on obtient @xmath802 donc la contribution totale provenant de ces @xmath32 est dordre de grandeur @xmath803 la formule est dduite de et . le thorme [ th : secondtheorem ] ne couvre pas le zoom critique des nombres algbriques de degr plus grand que @xmath90 . les experts semblent penser que lexpansion en fraction continue dun nombre algbrique @xmath463 de degr @xmath461 na pas de quotients partiels borns . cest -  - dire que pour tout rel @xmath188 , il existe toujours des nombres rationnels @xmath470 vrifiant @xmath804 en terme de la distribution locale ( critique ) , on pourrait interprter cela comme : les nombres rationnels proches de @xmath463 seraient beaucoup plus nombreux  que dans le cas quadratique et on naurait plus de phnomne de trou  . la surface @xmath13 est une surface torique qui nest pas de fano . elle est construite comme lclatement des @xmath14 points invariants de @xmath0 . elle peut tre aussi obtenue en clatant plus de points invariants sous laction du tore sur la surface torique @xmath805 , qui est une surface de del pezzo torique de degr @xmath46 tudie dans @xcite . dans la suite on prend le premier point de vue .      on considre la surface torique @xmath13 obtenue en clatant @xmath806 en @xmath14 points invariants @xmath807\times [ 1:0],[0:1]\times[1:0],[1:0]\times[0:1],[0:1]\times[0:1]$ ] . lventail de @xmath113 est le suivant .    ]    on note @xmath808 les tirs en arrire de sections hyperplans dans chaque @xmath809 , et @xmath810 les images inverses des points clats . en dehors des points clats on utilise encore les coordonnes @xmath811\times[s : t]$ ] de @xmath806 . les gnrateurs @xmath812 des raies de lventail de @xmath13 vrifient les relations @xmath813 ce sont toutes les _ collections primitives _ ( @xcite definition 2.6 , 2.7 , proposition 3.2 ) minimales centres pour @xmath13 . pour les varits toriques lisses complte , les collection primitives minimales centres reprsentent les courbes rationnelles de degr anticanonique minimal . dans notre cas ils correspondent  @xmath14 courbes rationnelles de degr lisses @xmath90 relativement au fibr anticanonique passant par @xmath15\times[1:1]$ ] , que lon appellera les courbes spciales et lon notera @xmath814 dquations respectives @xmath815 elles appartiennent , respectivement , aux classes de @xmath816 dans le groupe de picard . pour chacun de ces fibrs il existe un unique diviseur irrductible passant par @xmath17 . il y a @xmath14 familles de courbes rationnelles de degr @xmath817 relativement au fibr anticanonique passant par @xmath17 qui sont lisses , do nt les classes sont @xmath818 le diviseur anticanonique @xmath819 do nt les sections globales sont des combinaisons linaires des monmes @xmath820 est engendr par ses sections globales mais il nest pas ample . sur louvert @xmath821 , en utilisant les coordonnes @xmath822 , on identifie localement lespace tangent de @xmath17  @xmath823 par le diffomorphisme @xmath824\times [ s : t]\longmapsto \left(\frac{y}{x}-1,\frac{t}{s}-1\right)=(w-1,z-1).\ ] ] avec cette identification , les @xmath14 courbes spciales scrivent comme @xmath817 droites et une hyperbole de degr anticanonique @xmath90 : @xmath825 maintenant on associe une hauteur de weil  @xmath826.tout dabord pour un point @xmath827\times[s : t]$ ] avec @xmath828 nappartenant pas aux diviseurs exceptionnels , @xmath829 donc on peut prendre comme hauteur de weil @xmath830 par symtrie on peut se ramener  la rgion @xmath831 on note @xmath832 pour @xmath827\times[s : t]\in v$ ] , la hauteur se calcule comme @xmath833 la distance que lon va utiliser est @xmath834        nous allons montrer que la meilleure constante dapproximation est @xmath90 par une estimation directe . [ po : lowerbound1 ] @xmath835    pour @xmath827\times[s : t]\neq q$ ] satisfaisant  @xmath836 ( les cas o @xmath837 se dmontre de faon analogue ) , on a @xmath838 cela montre que @xmath839 . mais les courbes spciales @xmath18 donnent des sous - varits avec @xmath840 ( remarque [ rmk : thmofmckinnon ] ) . ceci clt la dmonstration . cette majoration uniforme indique un phnomne de trou  en dimension @xmath90 dans le zoom critique . cest -  - dire , il existe @xmath841 tel que pour tout @xmath842 , et pour tout @xmath61 , on ait @xmath843 . ceci peut aussi sinterprter comme une ingalit du type liouville : @xmath844      considrons les courbes @xmath845 avec les coordonnes @xmath846 , cette quation scrit @xmath847 elles forment donc une famille de courbes cubiques passant par les @xmath14 points invariants avec un point singulier @xmath17 . la classe de @xmath848 dans le groupe de picard est la mme que celle de @xmath826 et on a @xmath849 si @xmath850 , la courbe @xmath851 a en fait deux composantes irrductibles @xmath852    lorsque @xmath853 , la courbe @xmath854 est une courbe cubique gomtriquement intgre qui est nodale . si @xmath853 , le polynme @xmath855 est irrductible sur @xmath856 $ ] . une courbe cubique irrductible singulire ne peut pas avoir quun point singulier qui est nodal ou cuspidal . les tangentes au point @xmath17 sont de pente @xmath857 donc @xmath17 est un point nodal de @xmath854 . [ le : curvescoverallpoints ] pour tout point rationnel @xmath858 o @xmath859 , il existe une unique courbe @xmath854 passant par ce point .    on crit ( de faon unique ) le quotient en une fraction positive rduite : @xmath860 alors @xmath861 . gomtriquement , on considre @xmath862 lclatement de @xmath13 en @xmath17 , et on note @xmath863 la transformation stricte de @xmath854 . alors @xmath863 est une normalisation de @xmath854 et @xmath864 . on peut voir @xmath865 comme lune des coordonnes de @xmath866 . * cas i. * @xmath867 sont deux carrs de nombres entiers . alors @xmath868 et @xmath869 . approcher @xmath17 sur la courbe revient  approcher un nombre rationnel par des nombres rationnels . donc @xmath870    * cas ii . * lun des @xmath867 nest pas le carr dun entier , ( not @xmath871 )    comme @xmath872 et @xmath683 sont premiers entre eux , @xmath873 . aucun des points @xmath874 nest dfini sur @xmath44 . lapproximation du point @xmath17 le long une branche de @xmath854 est quivalente  lapproximation du point _ irrationnel quadratique _ @xmath866 ( dpendant de la branche choisie ) le long @xmath863 . donc dans ce cas daprs le thorme [ th : approximationtheorem1 ] , @xmath875 cependant , pour les @xmath14 courbes spciales @xmath18 , lapproximation au point @xmath17 est vraiment une approximation dun point rationnel dfini sur @xmath12 sur @xmath67 ,  savoir @xmath876 . bien quelle aient la mme constante dapproximation , le nombre des points rationnels que lon trouve dans lopration de zoom sont de grandeur trs diffrente . cest cette diffrence qui explique les phnomnes radicalement diffrents entre les deux types de courbes ci - dessus .    on en conclut    [ th : approximationessential ] on a @xmath877 par consquent , il ny a pas de sous - varits localement accumulatrices ( dfinition [ df : essential ] ) . cela rsulte du fait que lensemble des @xmath854 vrifiant la condition ( h ) est dense ( mme pour la topologie analytique ) et de la borne infrieure que lon a tablies prcdemment ( proposition [ po : lowerbound1 ] )    donc la famille @xmath878 donnent une autre faon de paramtrer les points rationnels bien adapte  notre problme car la constante dapproximation sur elles est @xmath90 , plus petite celle donne par les droites gnrales . nous utiliserons les courbes nodales @xmath854 pour paramtrer les points rationnels autour de @xmath17 . nous avons vu quelles nont pas la mme constante dapproximation et nous avons constat que lapproximation essentielle est prise sur celles vrifiant la condition @xmath871 . regardons dabord ce que la prdiction nave nous donne . on note @xmath30 le facteur de zoom et @xmath61 la borne de la hauteur . alors dans le zoom de facteur @xmath30 le nombre de points rationnels dans le voisinage de diamtre @xmath879 devrait tre @xmath880 si @xmath881 , on devrait pouvoir trouver beaucoup  de points cest -  - dire de cardinal au moins une puissance de @xmath61 . si @xmath51 , _ a priori _ cette heuristique ne prdit pas grande chose . nous allons montrer quen fait il y a au plus un nombre fini de points en dehors des courbes spciales dans ce dernier cas . nous nous bornons  la rgion @xmath882 . puisque les droites @xmath883 forment le bord du domaine @xmath882 , il reste  trouver la distribution dans lintrieur de @xmath882 . grce au lemme [ le : curvescoverallpoints ] , les courbes nodales donnent un paramtrage local des points rationnels . donc le dnombrement des points rationnels dans lintrieur de @xmath882 peut se dcomposer en des sommes des points sur chaque @xmath854 . on va calculer la formule de la hauteur restreinte  @xmath854 en choisissant un paramtrage rationnel des coordonnes de @xmath67 pour la courbe nodale . par la formule , seulement les courbes @xmath854 avec @xmath666 intersectent @xmath882 . on fixe un couple @xmath884 vrifiant la condition @xmath666 . dabord on change les coordonnes @xmath885 en @xmath886 . alors lquation de @xmath854 devient @xmath887 daprs le principe de bzout , une droite gnrale intersecte @xmath854 en @xmath817 points ( comptant la multiplicit ) . la droite @xmath888 passe par @xmath889 la multiplicit dintersection @xmath890 en @xmath889 est @xmath90 . donc cette droite intersecte @xmath854 en un autre point rationnel @xmath891 diffrent de @xmath889 avec @xmath892 . un calcul nous donne @xmath893 revenons aux coordonnes @xmath885 . @xmath894 donc on obtient un morphisme de paramtrage @xmath895 @xmath328\longmapsto \left(\frac{\frac{u}{v } a(\frac{u}{v}-1)}{b-\frac{u}{v } a},\frac{b(\frac{u}{v}-1)}{\frac{u}{v}(b-\frac{u}{v } a)}\right)=\left(\frac{ua(u - v)}{v(bv - ua)},\frac{bv(u - v)}{u(bv - ua)}\right).\ ] ] on introduit la notation @xmath896 alors @xmath897 et de la mme faon , @xmath898 on trouve le paramtrage suivant pour les coordonnes primitives dans @xmath0 . @xmath899 on a alors @xmath900 @xmath901 @xmath902 @xmath903 enfin on obtient la formule de la hauteur restreinte  @xmath854 induite par limage inverse sur @xmath67 dans la rgion @xmath882 : pour @xmath337\in { \mathbb{p}}^1 $ ] satisfaisant  @xmath904 , @xmath905))&=\frac{t^2 xy}{\operatorname{\operatorname{pgcd}}(x , s)\operatorname{\operatorname{pgcd}}(x , t)\operatorname{\operatorname{pgcd}}(y , s)\operatorname{\operatorname{pgcd}}(y , t)}\\ & = \frac{b(ua(u - v))^2}{(\operatorname{\operatorname{pgcd}}(v , a)\operatorname{\operatorname{pgcd}}(u , b)\operatorname{\operatorname{pgcd}}(u - v , b - a))^2}\\ & = \frac{b(ua(u - v))^2}{(d_1d_2d_3)^2}.\end{aligned}\ ] ]    pour @xmath522 fixs , on prend la fonction de test @xmath36 et lon regarde la distribution locale dans le voisinage de diamtre @xmath879 intersectant la rgion @xmath882 , cest -  - dire la quantit @xmath906\times[s : t]\\ & x , y , s , t>0;\frac{t}{s}>\frac{x}{y}>1 \end{aligned } \left| \begin{aligned } & b^{\frac{1}{r}}{\operatorname{d}}(p)=b^{\frac{1}{r}}\left(\frac{t}{s}-1\right)\leqslant \varepsilon \\ & \operatorname{h}_{\omega_{y_4}^{-1}}(p)=\frac{t^2 xy}{\operatorname{\operatorname{pgcd}}(x , s)\operatorname{\operatorname{pgcd}}(x , t)\operatorname{\operatorname{pgcd}}(y , s)\operatorname{\operatorname{pgcd}}(y , t)}\leqslant b \end{aligned } \right\}\right.\ ] ] on le prcisera comme un problme de dnombrement . pour un couple @xmath907 satisfaisant  @xmath666 , considrons lensemble @xmath908 des @xmath337\in{\mathbb{p}}^1 $ ] vrifiant ( cf . ) @xmath909 @xmath910)=\frac{b(ua(u - v))^2}{(\operatorname{\operatorname{pgcd}}(v , a)\operatorname{\operatorname{pgcd}}(u , b)\operatorname{\operatorname{pgcd}}(u - v , b - a))^2}\leqslant b .\ ] ] alors @xmath911      [ th : finitenessofcriticzoom ] pour tout @xmath35 , on a que , pour tout @xmath363 , @xmath912 par consquent , la sous - varit @xmath913 est celle localement faiblement accumulatrice ( dfinition [ df : weaklocal ] ) . il nexiste pas de mesure limite pour le zoom critique .    on dmontre dabord que , pour @xmath35 fix , en utilisant le paramtrage ci - dessus , dans le cas critique ( @xmath51 ) , il ny a quun nombre fini de courbes @xmath854 qui interviennent .    en factorisant @xmath378 , lingalit scrit @xmath914 donc @xmath915 donc en combinant avec , on en dduit @xmath916 do @xmath917 notons que @xmath918 sont premiers deux  deux . une observation importante est que @xmath919 et donc @xmath920 cela nous donne la majoration du paramtre @xmath683 pour @xmath51 : @xmath921 ce qui signifie que dans un voisinage fix aprs zoom , le nombre de courbes nodales est uniformment major ,  savoir @xmath922 parmi ces courbes @xmath854 qui interviennent , si @xmath923 , on a @xmath924 . alors la proposition [ po : weakzoom ] nous donne que @xmath925 pour tout @xmath363 . pour tous les @xmath871 , sur @xmath67 ( limage inverse de @xmath926 ) on a une distance et une hauteur induites de celles sur @xmath13 , la hauteur tant quivalente  la hauteur de weil canonique @xmath927 ( cf . , ) . comme , le zoom induit sur @xmath854 avec le facteur @xmath51 est exactement le zoom critique . la majoration dcoule donc de la proposition [ po : controlofepsilon ] . daprs le thorme [ th : criticzoomforquadratics ] , pour tout @xmath330 suffisamment proches , on a @xmath928 alors que pour tout @xmath871 , il existe certains couples @xmath416 tels que @xmath929 cela dmontre la non - existence de mesure limite . le fait que @xmath18 est localement faiblement accumulatrice dcoule du thorme [ th : pagelot ] puisque @xmath930 sur @xmath18 et donc @xmath931      on va dmontrer une borne infrieure du nombre de points rationnels dans le zoom sous - critique ( @xmath932 ) bas sur le fait que sur certaines courbes nodales on trouve beaucoup  de points avec la hauteur et la distance induites ( thorme [ th : zoomingonlattices ] ) . fixons @xmath933 . nous nous bornons  la rgion @xmath934    lnonc prcis est le suivant . rappelons que @xmath935 . [ th : lowerbound ] pour @xmath936on a @xmath937 o le symbole @xmath938 signifie que la somme est prise sur les @xmath939 et les ensembles @xmath940 sont dfinis de manire analogue  @xmath908 en remplaant par @xmath941 et @xmath942    au vu de , on va appliquer le thorme [ th : zoomingonlattices ] pour compter le nombre de points dans le zoom de facteur @xmath30 induit sur chaque @xmath854 ,  savoir le cardinal de chaque @xmath940 , avec un terme derreur prcis . on rappelle la dfinition de la fonction @xmath943 . on dfinit une fonction multiplicative @xmath944    [ po : zoompointsoncab ] supposons que @xmath945 alors pour tout couple @xmath946 satisfaisant  , @xmath947 on a que , pour tout @xmath948 , @xmath949    si lon identifie localement une branche de @xmath854 avec lespace tangent de @xmath67 en le point @xmath321 , la proposition [ po : zoompointsoncab ] indique quil existe une quidistribution sur chaque @xmath854 ( @xmath871 ) avec la hauteur et la distance induites ( cf . , ) . il suffit compter le cardinal de @xmath950 pour @xmath879 fix . la condition correspond  la restriction de la hauteur @xmath951 sur @xmath854 , et une inversion de mbius conduit  une condition de rseau . dans un premier temps on voudrait rduire la condition en un zoom avec dune distance induite sur limage inverse de @xmath952 pour que lon puisse appliquer le thorme [ th : zoomingonlattices ] . on va approcher le cardinal de lensemble @xmath950 par celui de lensemble @xmath953 des @xmath337 $ ] satisfaisant  @xmath954 @xmath955    on compare maintenant ces deux ensembles . compte tenu lencadrement sur @xmath87 , la condition implique que @xmath956 en combinant avec la majoration de @xmath378 obtenue  partir de la condition , on conclut que @xmath957 de plus en rappelant lhypothse sur @xmath946 , on a daprs , @xmath958 donc @xmath959 cela implique que @xmath960 o @xmath961 avec @xmath962 . ensuite on va borner le cardinal de @xmath963 . par une inversion de mbius , on a @xmath964 o @xmath965 le points dans cet ensemble se trouvent dans iintersection dun triangle do nt lorigine est lun de ses sommets et laire est de grandeur @xmath966 avec le rseau @xmath967 puisque @xmath968 pour @xmath969 , on vrifie que @xmath970 le lemme suivant nous permet de contrler le nombre des points entiers primitifs dans une rgion planaire autour de lorigine . pour une dmonstration , voir ( * ? ? ? * lemma 2 ) . [ le : countinglatticepointsinsmalldomains ] soit @xmath971 un rseau . soit @xmath972 convexe do nt le bord est lisse par morceau avec @xmath973 . alors @xmath974    en utilisant ce lemme , on obtient que pour tout @xmath975 , comme @xmath976 ( @xcite i.5 corollary 5.3 ) , @xmath977 ( * ? ? ? * theorem 5.7 ) , @xmath978    o @xmath979 peuvent tre arbitrairement petits . on en conclut que @xmath980    maintenant on compte le cardinal de @xmath981 . comme on a fait pour @xmath963 , et par une inversion de mbius on obtient @xmath982 o @xmath983    nous allons appliquer le thorme [ th : zoomingonlattices ] .  cette fin on prend dans @xmath984 notons quici la signification de @xmath61 et @xmath30 sont diffrentes . on prend @xmath985    la condition sur @xmath30 et @xmath683 implique les condition - . la condition se traduit en @xmath986 en utilisant la majoration @xmath987 la condition sur @xmath683 entrane que @xmath988 do la condition . de plus , sur @xmath30 entrane que @xmath989 et pour un tel @xmath30 on a @xmath990 donc implique la condition suivante vrifies de la mme faon , qui elle - mme implique pour tout @xmath991 @xmath992    _ suite de la dmonstration de la proposition [ po : zoompointsoncab]_. donc on peut appliquer le thorme [ th : zoomingonlattices ] avec les quantits @xmath993 ci - dessus et on obtient @xmath994    en reportant dans , on calcule la somme du coefficient du terme principal @xmath995 rappelons la majoration pour la fonction @xmath996 , ( * ? ? ? * theorem 5.7 ) @xmath997 on peut majorer le terme derreur de la faon suivante . pour tout @xmath948 , @xmath998 et pour tout @xmath999 , @xmath1000 compte tenu le terme derreur provenant du cardinal de @xmath1001 , on en conclut la formule asymptotique sur chaque courbe @xmath854 . tout dabord rappelons le diffomorphisme local @xmath1002 et les notations de coordonnes de lespace tangent @xmath1003 on dduit un encadrement des @xmath946 tels que la courbe @xmath854 intervienne dans le dnombrement quand on prend la fonction caractristique @xmath1004 de la rgion @xmath1005 dans @xmath882 . la condition de zoom dit que @xmath1006 prenons un couple @xmath946 vrifiant la condition , daprs lquation dfinissant limage de la courbe @xmath854 , on a @xmath1007 on note @xmath1008 sil existe @xmath1009 , alors daprs on a @xmath1010 maintenant prenons un couple @xmath946 vrifiant et @xmath1011 puisque un point @xmath1012 vrifie @xmath1013 la condition de zoom implique que sur la courbe @xmath854 , si @xmath1014 , @xmath1015 donc @xmath1016 donne un point de @xmath1017 . on restreint le dnombrement sur les @xmath946 tels que @xmath871 car cest sur telles @xmath854 quon trouve une quidistribution de points pour le zoom sous - critique ( proposition [ po : zoompointsoncab ] ) . on en conclut que @xmath1018 comme ( cf . , ) @xmath1019 do @xmath1020 et leur diffrence est petite . le terme principal sur chaque courbe nodal fait apparatre la fonction @xmath1021 qui ressemble  la fonction @xmath94 cest -  - dire au nombre de diviseurs au sens de la convolution , do nt lordre moyen de ce type est connu grce  une srie de travaux de r. de la bretche et t. d. browning ( @xcite,@xcite,@xcite ) . on donnera les dtails dans les appendices , o nous dcrivons les rsultats .    on est en mesure de sommer les courbes @xmath854 sur les paramtres @xmath946 vrifiant @xmath1022 qui correspond  . afin dappliquer la proposition [ po : asymptoticforpsiquotient ] sur lordre moyen des diviseurs de formes binaires , on tend la somme sur les @xmath946 vrifiant la condition @xmath1023 en rajoutant les @xmath946 vrifiant la condition @xmath923 . le terme derreur correspondant est de grandeur @xmath1024 pour tout @xmath10250,1\mathclose[$ ] . daprs la formule [ po : asymptoticforpsiquotient ] de la proposition [ po : problemofdivisor ] , la somme des termes principaux de donne @xmath1026\varepsilon_2,\varepsilon_1\mathclose]\\t\in\mathopen]\tau_2,\tau_1\mathclose[}}\frac{1}{t^{2 } } \operatorname{d}t\operatorname{d}y\right)b^{(1+\eta)\left(\frac{1}{2}-\frac{1}{r}\right)}(\log b)^3 + o ( b^{(1+\eta)\left(\frac{1}{2}-\frac{1}{r}\right)}(\log b)^2 ) \\       & = \left(c_2\int \chi(w(\varepsilon_1,\varepsilon_2,\tau_1,\tau_2))\frac{\operatorname{d } x\operatorname{d}y}{y}\right)b^{(1+\eta)\left(\frac{1}{2}-\frac{1}{r}\right)}(\log b)^3+o ( b^{(1+\eta)\left(\frac{1}{2}-\frac{1}{r}\right)}(\log b)^2 ) . \end{aligned}\ ] ] la contribution de la somme des termes derreur dans la proposition [ po : zoompointsoncab ] est majore par @xmath1027 grce  la condition sur @xmath30 et pour @xmath1028 la contribution de la somme du terme derreur dans est , en utilisant la formule [ po : asymptoticforpsiquotient ] encore , @xmath1029 cela termine la preuve du thorme [ th : lowerbound ] . nous expliquons une raison pour laquelle nous ne choisissons pas  tablir une formule asymptotique pour le zoom sous - critique . comme lon a vu , la prdiction nave affirme que la puissance de @xmath61 devrait tre @xmath1030 . en fait on a @xmath1031 daprs . le terme principal de la borne infrieure ( thorme [ th : lowerbound ] ) deviendrait @xmath1032 si lon pourrait prendre la constante @xmath63 . une difficult se cache sur lexactitude de la formule pour les paramtres @xmath946 grands ( cest -  - dire @xmath1033 pour certain @xmath1034 ) . dans ce cas le zoom sur la courbe nodale @xmath854 compte au plus un point et la technique utilise dans ce texte ne permet pas de dterminer sil est non - nul ou pas . dans @xcite , nous avons surmont un obstacle similaire  laide de la transformation de cremona . mais cette astuce nest plus applicable ici car la transformation de cremona prserve les courbes @xmath854 . le but de cette section est de signaler le fait que les points de @xmath13 sont en bijection avec un ensemble mince de @xmath0 . notons que , outre le morphisme dimplosion utilis jusqu maintenant , la surface @xmath13 possde un autre morphisme vers @xmath0 comme suit . le diviseur @xmath826 dfinit un morphisme birationnel @xmath1035 do nt limage @xmath113 est une surface torique de del pezzo de degr @xmath14 singulire de type @xmath1036 dfinie comme lintersection de deux quadriques dans @xmath1037 : @xmath1038 et lventail est un croix  qui ressemble  celui de @xmath0 .    ] le morphisme @xmath60 est en fait la dsingularisation minimale torique de @xmath113 puisque les diviseurs @xmath1039 @xmath1040 ont le nombre dauto - intersection @xmath1041 . lquation @xmath1042 implique ( comme pour toute surface de del pezzo de degr @xmath14 fibre en conique ) que @xmath13 possde deux projections vers la droite projective , et donc un morphisme @xmath1043 vers @xmath0 qui est fini de degr gnrique @xmath90 . plus prcisment , @xmath1043 est dfini de la faon suivante . dabord la projection @xmath1044 depuis le point @xmath1045 $ ] est bien dfinie sur @xmath113 . la varit de produit sinjecte sur @xmath1046 comme une surface quadrique : @xmath328\times[s : t]\longmapsto [ us : vt : ut : vs].\ ] ] si lon utilise les coordonnes @xmath1047 $ ] venant de @xmath1037 , limage de @xmath0 est dfinie par lquation . en rappelons les quations , @xmath1048 induit un morphisme @xmath1049 de degr gnrique @xmath90 do nt limage est un ensemble _ mince _ de @xmath1050 : @xmath1051\times [ s : t]:uvst\in\square\}.\ ] ] en les composant , on voit que le morphisme @xmath1052 est un revtement lisse de degr gnrique @xmath90 . de plus , on a @xmath1053 le lieu de ramification est sur les diviseur du bord , donc autour du point @xmath1054\times[1:1]$ ] , @xmath60 est un diffomorphisme . par la fonctorialit de la hauteur on peut se ramener au cas de @xmath0 restreinte  lensemble mince . dans cette section , on produira des varits toriques de dimension suprieure sur lesquelles en dehors un ferm de zariski les meilleures approximants se trouvent dans une famille de courbes nodales , comme pour @xmath13 . elles sont construites en fait comme produits de @xmath13 avec dautres varits toriques .    pour tout @xmath1055 , considrons la varit @xmath1056 . on note @xmath1057 les morphismes de projection vers @xmath13 et @xmath1058 .    pour @xmath1059 dans lorbite ouverte , on a @xmath1060 qui est atteinte sur une famille de courbes nodales couvrant un ouvert dense de @xmath1061 .    on peut supposer que @xmath1062 a pour coordonnes @xmath1054\times [ 1:1]$ ] et @xmath1063 $ ] . tout dabord , comme @xmath1064 , on choisit la hauteur de weil associe  @xmath1065 comme @xmath1066)=h_{\omega_{y_4}^{-1}}(x)h_{\omega_{{\mathbb{p}}^n}^{-1}}([y_0:\cdots : y_n ] ) , \quad h_{\omega_{{\mathbb{p}}^n}^{-1}}([y_0:\cdots : y_n])=\max_{0\leqslant i\leqslant n}(|y_i|)^{n+1},\ ] ] et la distance @xmath32 comme le maximum de celle @xmath1067 sur @xmath13 et @xmath1068 sur @xmath1058 dfinie par la formule ( pour @xmath1069 ) , @xmath1070)=\max_{1\leqslant i\leqslant n}\left|\frac{y_i}{y_0}-1\right|.\ ] ] par dfinition , si @xmath1071\neq q$ ] , @xmath1070)^{n+1}h_{\omega_{{\mathbb{p}}^n}^{-1}}([y_0:\cdots : y_n])\geqslant 1.\ ] ] donc pour un point gnral @xmath1072 tel que @xmath1073 , on a , daprs la proposition [ po : lowerbound1 ] , @xmath1074 cela dmontre que @xmath1075 . ensuite on construit des courbes nodales dans @xmath1061  partir de celles dans @xmath13 . avec les notations dans la section [ se : cab ] , pour @xmath1076 , on a construit une courbe nodale @xmath854 dans @xmath13 avec le morphisme de paramtrage @xmath926 . maintenant on prend une droite @xmath1077 dans @xmath1058 avec un paramtrage @xmath1078 qui envoie @xmath1079 $ ] sur @xmath1080 . on dfinit un morphisme de paramtrage comme suit @xmath1081 @xmath1082)=(\psi_{a , b}([u : v]),\psi_l\circ \theta_{a , b}([u : v])),\ ] ] o @xmath1083 est dfini comme le revtement double @xmath1084)=[au^2-bv^2:v^2].\ ] ] on voit que limage de @xmath1085 est une courbe rationnelle @xmath1086 nodale en @xmath1087)$ ] avec @xmath1088 comme @xmath1089 dfinit une droite double . on en dduit que @xmath1090    plus concrtement , comme lapproximation diophantienne des nombres quadratiques est quivalente  la structure des quations de pell - fermat gnralises ( cf . section [ se : eqpellfermat ] ) , en choisissant une famille de solutions primitives @xmath320 de lquation @xmath1091 on obtient automatiquement une suite dapproximants @xmath1092)$ ] du point @xmath17 sur @xmath1061 . puisque lon a lquivalence de hauteurs @xmath1093)\sim y_n^{2n+6},\ ] ] et lquivalence de distances @xmath1094 on est ramen au problme de lapproximation diophantienne dun nombre quadratique particulier et la constante dapproximation se dduite des thormes de dirichlet , liouville , et roth . dans un souci de compltude , nous redmontrons le rsultat de s. pagelot concernant la distribution locale dun @xmath44-point @xmath17 sur la droite projective @xmath1095 . pour simplicit on suppose que @xmath1096 $ ] ; le rsultat pour un point gnral diffre par une constante . [ th : pagelot ] on a @xmath1097 . on fixe la hauteur de weil absolue associe au fibr @xmath66 dfinie par @xmath1098)=\max(|u|,|v|),\quad ( u , v)\in{\mathbb{z}},\quad\operatorname{\operatorname{pgcd}}(u , v)=1,\ ] ] et lon note @xmath1099 le facteur de zoom . soit @xmath60 une fonction intgrable  support compact sur @xmath1100 . alors    * si @xmath575 alors @xmath1101 o @xmath1102 * si @xmath474 , alors @xmath1103    on voit que das les deux cas la mesure asymptotique existe . pour le zoom critique , si @xmath1104 - 1,1\mathclose[$ ] , alors @xmath1105 . on observe donc quil y a un trou  autour du point @xmath17 . pour un zoom sous - critique ( cest -  - dire @xmath474 ) , la distribution est uniforme . rien dans cette section nest nouveau . le but est de rappeler comment traiter ce type de problme dans le cas le plus simple . une observation basique , qui est aussi celle que lon va suivre dans la suite , est quau lieu de considrer des fonctions intgrables gnrales , il suffit de regarder les fonctions simple , cest -  - dire les fonctions caractristiques dintervalles , car ces fonctions suffisent pour caractriser la convergence faible de mesures de probabilit . on note les coordonnes de @xmath1106 par @xmath337 $ ] . sans perte de gnralit on peut supposer que @xmath1107 . puisque le point  approcher est @xmath1096 $ ] , on utilise le diffomorphisme local @xmath25 dfini par @xmath328\longmapsto \frac{u}{v}\in{\mathbb{r}}.\ ] ] alors @xmath17 est envoy sur lorigine @xmath1108 . sur @xmath1100 on utilise la distance canonique @xmath1109,q)=\left|\frac{u}{v}\right|.\ ] ] par symtrie , il suffit dexaminer les fonctions caractristique des intervalles @xmath562\eta,\varepsilon\mathclose]\subset \mathopen]0,\infty[$ ] . on dsigne par @xmath1110 une telle fonction . nous remarquons ici que lusage de cette notation a un sens lgrement diffrent dans les parties prcdentes du texte . ltude de la convergence de la suite @xmath1111 revient  lestimation du cardinal de lensemble @xmath1112\neq[0:1]\\ & \operatorname{\operatorname{pgcd}}(u , v)=1 \end{aligned } \left| \begin{aligned } & 0<b^{\frac{1}{r}}d(p , q)=b^{\frac{1}{r}}\frac{u}{v}\leqslant \varepsilon\\ & h(p)=\sup(u , v)\leqslant b \end{aligned } \right\}\right . , \ ] ] puisque @xmath1113 . les conditions sur @xmath591 implique que @xmath1114 cela implique quil ny a quun nombre fini de @xmath530 dans un voisinage fix et nous permet de fixer @xmath530 tout en comptant @xmath378 . on peut crire @xmath1115 o @xmath1116 on rappelle la dfinition de la fonction @xmath495 et lon en dduit , en utilisant ( * ? ? ? * exercise 5.2 ) @xmath1117 alors @xmath1118 cela clt la dmonstration du cas critique . comme prcdemment on a la dcomposition @xmath1119 o @xmath1120 fixons @xmath530 dans cette runion . pour que @xmath1121 soit non - vide , il faut que @xmath1122 avant de calculer le cardinal , citons dabord quelques formules asymptotique bien connues ( voir @xcite  3.2 ,  3.4 ) : @xmath1123 @xmath1124 @xmath1125 en appliquant ces formules , on obtient , encore daprs ( * ? ? ? * exercise 5.2 ) @xmath1126 do @xmath1127 lexpression finale est acheve . quand @xmath474 , les points  dnombrer se trouvent dans un triangle do nt la longueur du bord est ngligeable par rapport  laire . on pourrait adapter la mthode utilise dans la dmonstration du mme problme pour les nombres irrationnels ( cf . thorme [ th : localdistributionofrealnumbers ] ) . le raisonnement dcrit ici donne un meilleur terme derreur au niveau de la puissance de @xmath1128 . lordre de grandeur des nombres de points dans les zooms pour @xmath67 tant en accord avec celui prvu , nous discutons maintenant  quoi correspondent les mesures limites . prenons comme dhabitude la fonction caractristique @xmath331 . si lon identifie @xmath681 avec lensemble des points primitifs dans @xmath109 le comptage de points de hauteur borne @xmath1129 quivaut au comptage des points primitifs dans le rectangle @xmath1130 . lopration de zoom revient  prendre des points primitifs dans lintrieur du triangle @xmath1131 do nt la taille dpend du facteur de zoom @xmath30 et de la borne @xmath61 . pour les zooms sous - critiques @xmath474 , lordre de grandeur de laire domine celui du bord , donc elle donne le terme principal . on a que @xmath1132 on voit que dans ce cas l les points primitifs sont quidistribus et lon obtient une mesure proportionnelle  la mesure de lebesgue . cela concide avec celui du zoom sous - critique pour tous les nombres algbriques .    pour le zoom critique @xmath575 , laire de @xmath1133 et son bord ont la mme dordre de grandeur @xmath61 . comme lon a vu dans la dmonstration , les points se trouvent en fait dans les droites horizontales dans lintrieur du triangle do nt la longeur est @xmath1134        puisque @xmath1135 o @xmath1136\frac{u}{\eta},\frac{u}{\varepsilon}\mathclose]\right\}.\ ] ] on en conclut que sur chaque droite on compte des nombres rationnels avec le numrateur fix . cela explique do viennent la fonction densit @xmath1137 et la fonction arithmtique @xmath603 . on remarque que le phnomne pour des nombres algbriques est radicalement diffrent ( pour eux dans le zoom de facteur @xmath65 on trouve aussi une quidistribution , voir la section [ se : weakzoomofalgebraicnumbers ] ) . dans @xcite , t. d. browning a tudi lordre moyen du nombre de diviseurs pour des formes binaires cubiques dployes , do nt la technique remonte  @xcite , o les auteurs ont dduit une formule asymptotique de lordre moyen primitif de fonctions arithmtiques ressemblant   la fonction donnant le nombres de diviseurs pour certaines formes binaires quartique . ils lutilisent pour dmontrer que le nombre de points de hauteur borne sur une surface de del pezzo de degr @xmath14 saccorde avec la prdiction de batyrev - manin - peyre . en les imitant , nous allons dduire une telle formule pour une forme binaire cubique particulire ( la mme dmonstration marche pour toutes les formes binaires cubiques dployes , ce do nt nous naurons pas besoin ici ) . on considre les fonctions arithmtiques @xmath1138 et la constante @xmath1139 : @xmath1140    [ po : problemofdivisor ] soient @xmath1141 , on a @xmath1142 @xmath1143      on fixe trois formes linaires  coefficients entiers primitives @xmath1144 en deux variables deux  deux linairement indpendantes et @xmath1145 un sous - ensemble convexe ferm born de @xmath1146 do nt les coordonnes sont notes @xmath1147 . pour @xmath1148 , on note @xmath1149 on suppose que @xmath1150 pour @xmath1151 . on note @xmath1152 o @xmath1153 dsigne le maximum des valeurs absolues des coefficients de @xmath1154 . on note aussi @xmath1155 @xmath1156 pour @xmath1157 , on note @xmath1158 et @xmath1159 la fonction @xmath1002 se calcule comme @xmath1160 elle est donc multiplicative en dimension @xmath817 : @xmath1161 pourvu que @xmath1162 . pour @xmath259 un nombre premier , on dfinit @xmath1163    on note @xmath1164 le plus grand entier tel que @xmath1165 . pour @xmath1166 tels que @xmath1167 , on a besoin de lordre moyen de la quantit suivante @xmath1168    [ th : browning ] soient @xmath35 , @xmath1169 . supposons que @xmath1170 . alors il existe un polynme @xmath1171 $ ] de degr @xmath817 tel que @xmath1172 o @xmath1173 et le coefficient du terme principal de @xmath146 est @xmath1174 avec @xmath1175 et pour @xmath1176 , @xmath1177    pour une utilisation ultrieure , nous voudrions en savoir un peu plus sur la constante @xmath1178 ainsi que sur la constante @xmath1179 . nous procdons comme dans @xcite  3 . on choisit une base @xmath1180 minimale pour @xmath1181 au sens suivant @xmath1182 et on dfinit les formes linaires binaires @xmath1183 via le changement de variables @xmath1184 comme @xmath1185 , les formes @xmath1183 nouvellement construites satisfont  @xmath1186 soient @xmath1187 @xmath1188 les entiers tels que @xmath1189 soient des formes primitives . alors @xmath1190 puisque lon a suppos que les formes @xmath1154 sont primitives . on note @xmath1191 fixons un nombre premier @xmath259 et @xmath1192 . rappelons la dfinition de @xmath1193 et considrons le rseau @xmath1194 on a que @xmath1195 aprs ce changement de variables on rcrit le rseau @xmath1196 comme @xmath1197 en mme temps on dfinit un rseau @xmath1198 alors on obtient @xmath1199 do @xmath1200 on crit le produit @xmath1201 en une somme des fonctions multiplicatives en dimension @xmath817 : @xmath1202 o @xmath1203 lavantage de cette reprsentation est prsent dans le lemme suivant , qui sera utile pour la suite . [ le : convolutionrepresentation ] pour tout @xmath35 et @xmath1204 telle que @xmath1205 , on a @xmath1206 en particulier , on a @xmath1207      on dfinit une fonction arithmtique multiplicative @xmath1208 . rappelons la formule . un calcul donne @xmath1209 donc @xmath1210 on obtient que @xmath1211 en particulier @xmath1212 est _ petite _ dans le sens de ( 2.19 ) dans @xcite : il existe @xmath1213 petit tel que la srie @xmath1214 converge . cette proprit jouera un rle important dans le traitement des termes derreur . dans la suite on fixe nos formes @xmath1154 comme @xmath1215 et la rgion @xmath1216 le but est dobtenir la formule asymptotique pour la somme des points entiers do nt les coordonnes @xmath1217 sont premires entre elles . cela consiste en une application directe du thorme [ th : browning ] avec une inversion de mbius comme fait dans ( * ? ? ? * corollaire 1 ) pour certaines formes binaires de degr @xmath14 . malheureusement cela nest pas fait dans @xcite . nous suivons les techniques venant de @xcite pour dmontrer les formules asymptotiques . on dfinit pour @xmath1218 , @xmath1219 soient @xmath1220 comme prcdemment avec @xmath1221 . la sommation do nt la formule asymptotique cherche est @xmath1222    @xmath1223    o @xmath1224 avec @xmath1225    par une inversion de mbius , on a @xmath1226 on dfinit @xmath1227 , et on note @xmath1228 comme @xmath1229 la somme [ eq : sumofdivisorsprimitive ] scrit comme @xmath1230 on divise cette somme en deux parties , une pour les @xmath1231 petits et lautre pour les @xmath1231 grands . on applique le thorme [ th : browning ]  @xmath1232 en notant que @xmath1233 et on obtient en notant @xmath1234 @xmath1235 en outre , on a une majoration ( @xcite , ( 2.5 ) ) @xmath1236 donc on peut majorer le terme derreur comme @xmath1237 @xmath1238 en reportant dans ( [ eq : mobiustransform ] ) , on obtient @xmath1239 on note pour @xmath1240 , @xmath1241 on calcule maintenant la constante , avec les notations et , @xmath1242 vrifions que les facteurs locaux @xmath1243 sont donns par . si @xmath1244 , on dfinit le rseau @xmath1245 alors on a @xmath1246 @xmath1247 si @xmath1248 , on a dans ce cas pour @xmath1249 et donc en remarquant que @xmath1250 on obtient @xmath1251    maintenant on est prt  dduire la formule asymptotique pour la fonction @xmath1021 .    on voit que , daprs @xmath1252 et @xmath1253 , @xmath1254 on fixe les trois formes linaires @xmath1255 et la rgion @xmath12560,1\mathclose]^2:\tau_2\leqslant\frac{x_2}{x_1}\leqslant\tau_1\right\}.\ ] ] alors @xmath1257 la quantit @xmath1258 tant nulle sil existe @xmath1259 tel que @xmath1260 . daprs , on a , en notant @xmath1261 , @xmath1262 le terme principal de la sommation est @xmath1263 o daprs , @xmath1264 grce  notre choix des formes linaires , fixons un nombre premier @xmath259 , on a que pour @xmath1265 , @xmath1266 on calcule pour @xmath1267 , @xmath1268 de faon analogue on a @xmath1269 on en dduit les valeurs de @xmath1270 comme suit . @xmath1272 donc le facteur local se calcule , en rappelant que @xmath1273 , @xmath1274 donc @xmath1275 or on a aussi une majoration pour @xmath1258 ( @xcite , ( 3.1 ) ) : @xmath1276 qui dcoule des majorations standards pour le nombre de diviseurs et pour le dnombrement des points sur un rseau . soit @xmath1277 tel que @xmath1278 et @xmath1279 . comme prcdemment on dcompose la somme en deux parties @xmath1280 selon la taille de @xmath1281 . cela nous permet de contrler les termes derreur , compte - tenu de , @xmath1282 @xmath1283 @xmath1284 daprs le lemme [ le : convolutionrepresentation ] et la majoration , on a @xmath1285 do @xmath1286 on en conclut que peut se calculer comme @xmath1287 cela dmontre la formule [ po : asymptoticforpsi ] de la proposition [ po : problemofdivisor ] en remarquant que @xmath1288    tout dabord on traite la somme @xmath1289 comme @xmath1290 on obtient , daprs le thorme de fubini , @xmath1291 comme @xmath1292 lgalit ci - dessus scrit @xmath1293 finalement on arrive  sommer @xmath1294 on dfinit @xmath1295 et on rappelle que @xmath1296 alors @xmath1297 il rsulte de que @xmath1298 il faut traiter le deuxime terme . daprs le thorme de fubini et en remplaant @xmath1299 par @xmath453 , @xmath1300 on obtient finalement que @xmath1301 je tiens  remercier emmanuel peyre pour mavoir propos ce problme et pour des conseils tout au long de mon travail . rgis de la bretche , marc hindry mont donn des indications trs prcieuses . je les en remercie chaleureusement . des parties de ce travail ont t faites  luniversit paris - diderot et  beijing international center for mathematical research do nt latmosphre stimulante est sincrement apprci . lauteur est partiellement support par le projet anr gardio . victor v. batyrev , on the classification of smooth projective toric varieties . thoku math . 43 , no.4 , 569 - 585 ( 1991 ) . victor v. batyrev , yuri i. manin , sur le nombre des points rationnels de hauteur born des varits algbriques . 286 , no . 1 - 3 , 27 - 43 ( 1990 ) . victor v. batyrev , yuri tschinkel , rational points of bounded height on compactifications of anisotropic tori , intern . math . research notices , 12 , 591 - 635 , ( 1995 ) victor v. batyrev , yuri tschinkel , manin s conjecture for toric varieties . j. algebraic geom . 7 ( 1998 ) , no . 1 , 1553 timothy d. browning , the divisor problem for binary cubic forms . j. thor . nombres bordeaux 23 ( 2011 ) , no . 3 , 579602 . timothy d. browning , quantitative arithmetic of projective varieties . progress in mathematics 277 . birkhuser , basel . xi , 160 p. ( 2009 ) . rgis de la bretche , timothy d. browning , le problme des diviseurs pour des formes binaires de degr 4 . j. reine angew . math . 646 ( 2010 ) , 144 . rgis de la bretche , timothy d. browning , manin s conjecture for quartic del pezzo surfaces with a conic fibration . duke math . j. 160 ( 2011 ) , no . 1 , 169 . cassels , j.w.s . an introduction to the geometry of numbers . die grundlehren der mathematischen wissenschaften . berlin - gttingen - heidelberg : springer - verlag . viii , 344 pp . g. v. chudnovsky , on the method of thue - siegel . ann . of math . ( 2 ) 117 ( 1983 ) , no . 2 , 325382 . lejeune - dirichlet p .- sur une proprit des formes quadratiques  dterminant positif . journal de mathmatiques pures et appliques . paris . 1 , ( 1856 ) 76 - 79 . william fulton , introduction to toric varieties . annals of mathematics studies . 131 . princeton , nj : princeton university press . xi , 157 p. ( 1993 ) . roger heath - brown , diophantine approximation with square - free numbers . z. 187 , 335 - 344 ( 1984 ) . zhizhong huang , distribution locale des points rationnels de hauteur borne sur une surface de del pezzo de degr 6 .  apparatre dans int . j. number theory . khintchine , continued fractions . translated by peter wynn . p. noordhoff , ltd . , groningen 1963 iii+101 pp . l. kuipers , h. niederreiter , uniform distribution of sequences . pure and applied mathematics . wiley - interscience [ john wiley & sons ] , new york - london - sydney , 1974 . xiv+390 pp . serge lang , asymptotic approximations to quadratic irrationalities . _ * 87 * ( 1965 ) , 481 - 487 ; _ ibid . _ 488496 . david mckinnon , _ a conjecture on rational approximations to rational points _ , j. algebraic geom . * 16 * ( 2007 ) , 257 - 303 . david mckinnon , mike roth , _ seshadri constants , diophantine approximation , and roth s theorem for arbitrary varieties _ , invent . math . * 200 * ( 2 ) , ( 2015 ) 513 - 583 . s. pagelot , _ tude de la distribution asymptotique fine des points rationnels de hauteur borne _ , manuscrit non - publi . emmanuel peyre , hauteurs et mesures de tamagawa sur les varits de fano . duke math . j. 79 ( 1995 ) , no . 1 , 101218 . emmanuel peyre , points de hauteur borne , topologie adlique et mesures de tamagawa . nombres bordx . 15 , no . 1 , 319 - 349 ( 2003 ) . per salberger , tamagawa measures on universal torsors and points of bounded height on fano varieties . nombre et rpartition de points de hauteur borne . astrisque no . 251 ( 1998 ) , 91258 . pierre samuel , _ thorie algbrique des nombres . _ hermann , paris 1967 130 pp . grald tenenbaum , introduction  la thorie analytique et probabiliste des nombres . cours spcialiss 1 . socit mathmatique de france , paris , 1995 . xv+457 pp .
Abstract:

Answer: nous tudions dans ce texte lapproximation diophantienne et la distribution locale en un point rationnel sur une surface torique obtenue comme un clatement de @xmath0 . il savre quen dehors dun ferm de zariski les meilleures approximations sobtiennent  laide dune famille de courbes nodales . ltude se ramne donc  la question de la distribution locale en un point quadratique sur la droite projective .