Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot ›...
Transcript of Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot ›...
![Page 1: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/1.jpg)
“Diophantine methods, lattices, and arithmetic theory of quadraticforms”
BIRS, Banff, 14–18 November 2011
Sur l’equation q(x , y , z) = P(t) en entiers(Travail commun avec Fei XU)
Jean-Louis Colliot-Thelene
C.N.R.S., Universite Paris-Sud, France
![Page 2: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/2.jpg)
X une k-variete algebrique sur un corps de nombres kApproximation forte hors de S .Soit S ⊂ T avec T ensemble fini de places contenant les placesarchimediennes et X/OT un modele de X/k , puis pour chaquev ∈ T \ S , un ouvert Uv ⊂ X (kv ). Dans toute telle situation, sil’ensemble ∏
v∈SX (kv )×
∏v∈T\S
Uv ×∏v /∈T
X (Ov )
est non vide, il contient l’image diagonale d’un point de X (k).
![Page 3: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/3.jpg)
Lorsque ceci vaut, on a un principe local-global pour les pointsS-entiers.
Pour X/OS un modele entier de X/k , si l’on a∏
v /∈S X (Ov ) 6= ∅,alors X (OS) 6= ∅.
![Page 4: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/4.jpg)
Si l’approximation forte hors de S vaut, elle vaut hors de tout S ′
contenant S .
Si U ouvert non vide de X lisse et geometriquement integre, sil’approximation forte hors de S vaut pour U, alors elle vaut pour X .
![Page 5: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/5.jpg)
Cas classiques d’approximation forte
(1) Ga : le theoreme du reste chinois, S tout ensemble non vide deplaces
(2) q(x1, . . . , xn) = a avec n ≥ 4, q isotrope en une place v ∈ S .(Eichler, Kneser)
(3) Groupe algebrique semisimple simplement connexe G/k sousune hypothese forte de non compacite pour
∏v∈S G (kv ). (Kneser,
Platonov)
![Page 6: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/6.jpg)
L’approximation forte peut etre en defaut.
Exemple de Borovoi et Rudnick :
−9x2 + 2xy + 7y2 + 2z2 = 1
soit encore
(y − x)(9x + 7y) = 1− 2z2
Solutions dans tous les Zp mais pas dans Z.
De nombreux exemples de ce type ont ete interpretes (CT-Xu, apartir de 2005; Comp. Math. 2009) en terme de l’obstruction deBrauer-Manin (qui jusque la avait plutot ete consideree dansl’etude des points rationnels).
![Page 7: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/7.jpg)
On utilise l’accouplement
X (Ak)× Br(X )→ Q/Z
({Mv},A) 7→∑v
invvA(Mv ),
qui est nul sur X (k)× Br(X ). On note
X (Ak)Br(X )
le noyau a gauche. On a donc X (k) ⊂ X (Ak)Br(X ).
![Page 8: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/8.jpg)
Approximation forte hors de S avec condition de Brauer-Manin.On suppose X (Ak) 6= ∅.Soit S ⊂ T avec T ensemble fini de places contenant les placesarchimediennes et X/OT un modele de X/k , puis pour chaquev ∈ T \ S , un ouvert Uv ⊂ X (kv ). Dans toute telle situation, sil’ensemble
[∏v∈S
X (kv )×∏
v∈T\S
Uv ×∏v /∈T
X (Ov )]Br(X )
est non vide, il contient l’image diagonale d’un point de X (k).
![Page 9: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/9.jpg)
Fait. Si l’approximation forte hors de S avec condition deBrauer-Manin vaut pour S , elle vaut hors de tout S ′ avec S ⊂ S ′.
Fait. Si X ′ → X morphisme propre birationnel de varietes lisses,alors l’approximation forte avec condition de Brauer-Manin hors deS vaut pour X si et seulement si vaut pour X ′.
Theoreme. Soit U ⊂ X un ouvert d’une k-variete lissegeometriquement integre. Soit S un ensemble fini de places. Onsuppose X (Ak) 6= ∅. Si Br(U)/Br(k) est fini, et si l’approximationforte hors de S avec condition de Brauer-Manin vaut pour U, alorselle vaut pour X .
[Utilise le lemme formel d’Harari.]
![Page 10: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/10.jpg)
L’approximation forte avec condition de Brauer-Manin vaut pourpour :
X/k espace homogene d’un groupe algebrique G/k lineaireconnexe, avec stabilisateurs geometriques connexes. La encore, ilfaut une hypothese de non compacite forte pour
∏v∈S X (kv ).
CT et Xu 2009 (G semisimple simplement connexe); Harari 2008(G commutatif connexe); Demarche 2011 (groupes quelconques);Borovoi et Demarche (cas general).
![Page 11: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/11.jpg)
Le cas interessant le plus simpleSoit Y la k-variete definie par q(x , y , z) = c , avec q formequadratique ternaire non degeneree et a ∈ k×.Soit d = −c.det(q).Si d ∈ k×2 alors Br(Y )/Br(k) = 0.Si d /∈ k×2 alors Br(Y )/Br(k) = Z/2, engendre par un elementξ ∈ Br(Y ) d’ordre 2, de la forme (l(x , y , z), d) avec l(x , y , z)fonction lineaire affine convenable.Sur k corps de nombres, pour S fini contenant une place v avec qisotrope en v , on a l’approximation forte hors de S avec conditionde Brauer-Manin.
![Page 12: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/12.jpg)
Fait. Sur kv un corps local quelconque, avec Y (kv ) 6= ∅ etd /∈ k×2, ξ ne prend qu’une seule valeur sur Y (kv ) si et seulementsi v est une place reelle et q est anisotrope sur kv .
Fait. Sur kv un corps p-adique non dyadique, q une forme nondegeneree sur ov et c ∈ ov , si d = −c .det(q) non carre, alors ξprend deux valeurs distinctes sur les points (x , y , z) ∈ Y (ov ) avec(x , y , z) = 1 (points primitifs) si et seulement si v(c) est impaire.
![Page 13: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/13.jpg)
Application.Endliche Anzahl von Spinorausnahmen (M. Kneser)
Soit q(x , y , z) ∈ Z[x , y , z ] indefinie. Pour tout c ∈ Z non dans unensemble fini E = E (q) ⊂ Q×/Q×2, le principe local-global vautpour les solutions entieres de l’equation
q(x , y , z) = c.
![Page 14: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/14.jpg)
Que dire sur les points entiers en dehors du cadre des espaceshomogenes de groupes lineaires connexes ?
Penser a la situation analogue pour l’etude du principe local-globalet l’approximation faible sur les points rationnels. Le cas desespaces homogenes de groupes algebriques lineaires connexes (avecstabilisateur connexe) a ete beaucoup etudie (Eichler, Kneser,Harder, Chernousov, Sansuc, Borovoi). On a ensuite etudiel’extension a d’autres types de varietes, en particulier les varietes Xavec une fibration π : X → A1
k dont la fibre generale est un telespace homogene.
![Page 15: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/15.jpg)
Soient k un corps, q(x , y , z) une forme quadratique ternaire sur k,non degeneree, et P(t) ∈ k[t] non nul. Notons X/k la varieteaffine
q(x , y , z) = P(t).
Si P(t) est separable, X est lisse. Soit U ⊂ X l’ouvertcomplementaire de x = y = z = 0. C’est une variete lisse. SoitX → X une resolution des singularites de X , avec U ⊂ X .
![Page 16: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/16.jpg)
Theoreme principal de l’expose (CT et Fei XU,2011)Pour k un corps de nombres et S = {v0} une place telle que q estisotrope sur kv0 , l’approximation forte hors de S avec condition deBrauer-Manin vaut pour tout ouvert Zariski V de X avecU ⊂ V ⊂ X .
![Page 17: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/17.jpg)
k = Q, S la place reelle.
L’approximation forte hors de S ne vaut pas en general pour X .Contre-exemple au principe local-global pour les solutions entieresde
(x − y)(9x + 7y)− 2z2 = −(2t2 − 1)2.
L’approximation forte hors de S ne vaut pas en general pour U.Contre-exemple au principe local-global pour les solutions entieresprimitives (x , y , z) = 1) de
x2 − 2y2 + 64z2 = (2t2 + 3)2.
![Page 18: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/18.jpg)
L’approximation forte hors de S vaut si le polynome p(t) n’est pastrop special.Theoreme :Supposons de plus p(t) 6= c .(r(t))2 avec c ∈ k×. Pour k un corpsde nombres et S = {v0} une place telle que q est isotrope sur kv0 ,l’approximation forte hors de S vaut pour tout ouvert Zariski V deX avec U ⊂ V ⊂ X .
Ceci est en fait un cas particulier du theoreme principal, car onmontre que l’hypothese sur p(t) implique
Br(k) = Br(X ) = Br(U),
il n’y a donc pas de conditions de Brauer-Manin a respecter.
![Page 19: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/19.jpg)
Expliquons la demonstration du dernier theoreme dans un casparticulier.
Theoreme. Soit q(x , y , z) ∈ Z[x , y , z ] une forme quadratiqueternaire entiere indefinie. Si P(t) ∈ Z[t] n’est pas egal a uneconstante fois un carre, le principe local-global vaut pour lessolutions entieres de l’equation q(x , y , z) = P(t).
![Page 20: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/20.jpg)
Demonstration. Il y a un ensemble fini S de premiers tels queq(x , y , z) represente tout element de Zp si p /∈ S .On se donne des solutions locales (xp, yp, zp, tp). On prend t0 ∈ Ztres proche de tp pour p ∈ S . Il existe alors un entier r > 0 telque, pour tout entier m > 0,
P(t0 + (∏p∈S
p)r .m)
est represente par q(x , y , z) sur chacun des Zp.
![Page 21: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/21.jpg)
Lemme. Soit P(t) un polynome dans Q[t] qui n’est pas uneconstante fois un carre. L’ensemble des P(m) pour m ∈ Nparcourt une infinite de classes dans Q×/Q×2.
On peut donc choisir m = m0 de sorte que P(t0 + (∏
p∈S p)r .m0)
n’appartienne a aucune des classes exceptionnelles dans Q×/Q×2.L’equation
q(x , y , z) = P(t0 + (∏p∈S
p)r .m0)
qui a une solution sur chacun des Zp et sur R a alors une solution(x , y , z) ∈ Z. CQFD
![Page 22: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/22.jpg)
Supposons maintenant P(t) = c .(r(t))2, soit P(t) = c .∏
i Pi (t)ei ,avec les Pi ∈ k[t] irreductibles et les ei tous pairs.Soit d = −c .det(q). Soit ki = k[t]/(Pi ).Si d carre dans k , alors Br(k) = Br(X ) = Br(U).Si d non carre dans k et il existe un i avec d non carre dans ki ,alors Br(k) = Br(X ) et Br(U)/Br(k) = Z/2.Si d non carre dans k et carre dans chaque ki , alorsBr(X )/Br(k) = Br(U)/Br(k) = Z/2.De plus, pour tout t0 ∈ k avec p(t0) 6= 0, la specialisationBr(U)/Br(k)→ Br(Ut0)/Br(k) est surjective.
![Page 23: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/23.jpg)
Soit k corps de nombres. D’apres une proposition vue au debut,pour etablir le theoreme principal pour X , il suffit de le faire pourU. Soit v0 ∈ S avec q isotrope en v0.Considerons le cas P(t) = c .(r(t))2 et d non carre dans k. On aalors ξ ∈ Br(U) d’ordre 2 engendrant Br(U)/Br(k).On suppose que ξ s’annule sur un point {Mv} de∏
v∈SU(kv )×
∏v∈T\S
Uv ×∏v /∈T
U(Ov )
ou Uv est un ouvert dans U(kv ).
![Page 24: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/24.jpg)
Quitte a augmenter T , on peut supposer que q est non degenereesur oT et que ξ s’annule sur U(Ov ) pour v /∈ T . Chaque Mv s’ecrit(xv , yv , zv , tv ). Par approximation forte sur k , on peut trouver t0entier en dehors deT , tres proche de tv pour v ∈ T \ {v0}.On peut alors remplacer chaque Mv pour v ∈ T par un Pv deprojection t0 (en v0, on utilise q isotrope), et qui de plus est tresproche de Mv pour v ∈ T \ {v0}. En tout tel v , on aξ(Mv ) = ξ(Pv ).Pour tout v /∈ T , on choisit Pv quelconque dans Ut0(ov ).
![Page 25: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/25.jpg)
La restriction de ξ ∈ Br(U) engendre Br(Ut0)/Br(k).On a∑
v
ξ(Pv ) =∑v
ξ(Pv )−∑v
ξ(Mv ) = ξ(Pv0)− ξ(Mv0) ∈ Z/2.
Si d est un carre dans kv0 , alors ξ est constant sur U(kv0).Si d n’est pas un carre dans kv0 , comme q est isotrope sur kv0 , ona vu que ξ prend les deux valeurs 0, 1 ∈ Z/2 sur U(kv0). siξ(Pv0)− ξ(Mv0) 6= 0, on change de Pv0 , ce qui est possible, et onassure ∑
v
ξ(Pv ) = 0.
![Page 26: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/26.jpg)
En appliquant le theoreme d’approximation forte hors de S aveccondition de Brauer-Manin sur les equations q(x , y , z) = a, ontrouve un point de Ut0(k) dans la trace sur Ut0 de l’ouvert adeliquedonne au debut. QED
![Page 27: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/27.jpg)
Conjecture/presque theoreme (CT-Harari, en cours).Soit k un corps de nombres. Soit X une k-variete algebrique lisseet geometriquement integre, et f : X → A1
k un k-morphisme.Supposons X (Ak) 6= ∅. Soit K = k(A1) et soit G un K -groupesemisimple simplement connexe, absolument presque K -simple.On suppose :(i) La fibre generique Xη/K de f est un espace homogene de G astabilisateurs toriques.(ii) Les fibres de f sont geometriquement integres.(iii) Il existe une place v0 de k telle que f : X (kv0)→ A1(kv0) estsurjectif, et que les fibres lisses de f au-dessus des points deA1(kv0) sont non compactes.Alors pour tout ensemble fini S de places de k contenant v0,l’image diagonale de X (k) dans la projection de X (Ak)BrX surX (AS
k ) est dense.
![Page 28: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/28.jpg)
Exemple satisfaisant (i) et (ii),Pour X prendre le lieu lisse, ou une desingularisation de la varieteaffine
3∑i=1
ai (t)x2i = P(t),
ou le produit P(t).∏
i ai (t) est suppose sans facteur carre.
![Page 29: Diophantine methods, lattices, and arithmetic theory of quadratic forms … › ~colliot › JLCT... · 2012-01-30 · \Diophantine methods, lattices, and arithmetic theory of quadratic](https://reader030.fdocuments.us/reader030/viewer/2022041115/5f26eae057007e685932db70/html5/thumbnails/29.jpg)
Aspects calculatoires de l’obstruction de Brauer-Manin entiere.– Reconnaıtre que divers exemples dans la litterature s’expliquentde ce point de vue.– Pour certains types d’equations, faire la liste exacte descontraintes provenant du groupe de Brauer.
CT-Wittenberg
Pour n entier n 6= ±4 mod 9, et Xn/Z defini par
x3 + y3 + z3 = n
puis Xn = Xn ×Z Q, on a
[∏p
Xn(Zp)]Br(Xn) 6= ∅.