Arithmetic of 0-cycles on varieties defined over number fields

Soit $X$ une variété algébrique rationnellement connexe, définie sur un corps de nombres $k.$ On trouve, sur $X,$ un lien entre l’arithmétique des points rationnels et l’arithmétique des zéro-cycles. Plus précisément, on considère les assertions suivantes : (1) l’obstruction de Brauer-Manin est la seule à l’approximation faible pour les points $K$-rationnels sur $X_K$ pour toute extension finie $K/k;$ (2) l’obstruction de Brauer-Manin est la seule à l’approximation faible (en un certain sens à préciser) pour les zéro-cycles de degré $1$ sur $X_K$ pour toute extension finie $K/k;$ (3) la suite

$$\underset{n}{\underleftarrow{lim}}C{H}_0\left(X_K\right)/n\to \prod _{w\in {\Omega }_K}\underset{n}{\underleftarrow{lim}}C{H}_0^{\text{'}}\left(X_{K_w}\right)/n\to \mathrm{Hom}(\mathrm{Br}\left(X_K\right),\mathbb{Q}/\mathbb{Z})$$

est exacte pour toute extension finie $K/k.$ On démontre que (1) implique (2), et que (2) et (3) sont équivalentes. On trouve également une implication similaire pour le principe de Hasse. Comme application, on montre l’exactitude de la suite ci-dessus pour les compactifications lisses de certains espaces homogènes de groupes algébriques linéaires.

Let $X$ be a rationally connected algebraic variety, defined over a number field $k.$ We find a relation between the arithmetic of rational points on $X$ and the arithmetic of zero-cycles. More precisely, we consider the following statements: (1) the Brauer-Manin obstruction is the only obstruction to weak approximation for $K$-rational points on $X_K$ for all finite extensions $K/k;$ (2) the Brauer-Manin obstruction is the only obstruction to weak approximation in some sense that we define for zero-cycles of degree $1$ on $X_K$ for all finite extensions $K/k;$ (3) the sequence

$$\underset{n}{\underleftarrow{lim}}C{H}_0\left(X_K\right)/n\to \prod _{w\in {\Omega }_K}\underset{n}{\underleftarrow{lim}}C{H}_0^{\text{'}}\left(X_{K_w}\right)/n\to \mathrm{Hom}(\mathrm{Br}\left(X_K\right),\mathbb{Q}/\mathbb{Z})$$

is exact for all finite extensions $K/k.$ We prove that (1) implies (2), and that (2) and (3) are equivalent. We also prove a similar implication for the Hasse principle. As an application, we prove the exactness of the sequence above for smooth compactifications of certain homogeneous spaces of linear algebraic groups.

[1] M. Borovoi, The Brauer-Manin obstructions for homogeneous spaces with connected or abelian stabilizer, J. reine angew. Math. 473 (1996), 181-194. | EuDML 153809 | MR 1390687 | Zbl 0844.14020

[2] M. Borovoi, J.-L. Colliot-Thélène & A. Skorobogatov, The elementary obstruction and homogeneous spaces, J. Duke Math. 141 (2008), 321-364. | MR 2376817 | Zbl 1135.14013

[3] M. Borovoi & C. Demarche, Manin obstruction to strong approximation for homogeneous spaces, Comm. Math. Helv. 88 (2013), 1-54. | MR 3008912 | Zbl 1271.14073

[4] J.-L. Colliot-Thélène, L'arithmétique du groupe de Chow des zéro-cycles, J. Théorie des nombres de Bordeaux 7 (1995), 51-73. | EuDML 247669 | Numdam | MR 1413566 | Zbl 0870.14002

[5] J.-L. Colliot-Thélène, Conjectures de type local-global sur l'image de l'application cycle en cohomologie étale, in Algebraic K-Theory (W. Raskind & C. Weibel, éds.), Proc. Symp. Pure Math. 67, Amer. Math. Soc., 1999, 1-12. | MR 1743234 | Zbl 0981.14003

[6] J.-L. Colliot-Thélène, Un théorème de finitude pour le groupe de Chow des zéro-cycles d’un groupe algébrique linéaire sur un corps $p$-adique, Invent. math. 159 (2005), 589-606. | MR 2125734 | Zbl 1080.14012

[7] J.-L. Colliot-Thélène, Zéro-cycles de degré 1 sur les solides de Poonen, Bull. Soc. math. France 138 (2010), 249-257. | EuDML 272488 | Numdam | MR 2679040 | Zbl 1205.11075

[8] J.-L. Colliot-Thélène & F. Ischebeck, L'équivalence rationnelle sur les cycles de dimension zéro des variétés algébriques réelles, C.R.A.S. Paris 292 (1981), 723-725. | MR 618896 | Zbl 0472.14016

[9] J.-L. Colliot-Thélène & W. Raskind, $k_2$-cohomology and the second Chow group, Math. Annalen 270 (1985), 165-199. | EuDML 182953 | MR 771978 | Zbl 0536.14004

[10] J.-L. Colliot-Thélène & J.-J. Sansuc, La descente sur une variété rationnelle définie sur un corps de nombres, C.R.A.S. Paris 284 (1977), 1215-1218. | MR 447250

[11] J.-L. Colliot-Thélène & J.-J. Sansuc, On the Chow groups of certain rational surfaces: a sequel to a paper of S. Bloch, Duke Math. J. 48 (1981), 421-447. | MR 620258

[12] J.-L. Colliot-Thélène, J.-J. Sansuc & S. P. Swinnerton-Dyer, Intersections of two quadrics and Châtelet surfaces II, J. reine angew. Math. 374 (1987), 72-168. | MR 876222

[13] J.-L. Colliot-Thélène, A. Skorobogatov & S. P. Swinnerton-Dyer, Rational points and zero-cycles on fibred varieties: Schinzel's hypothesis and Salberger's device, J. reine angew. Math. 495 (1998), 1-28. | MR 1603908

[14] J.-L. Colliot-Thélène & S. P. Swinnerton-Dyer, Hasse principle and weak approximation for pencils of Severi-Brauer and similar varieties, J. reine angew. Math. 453 (1994), 49-112. | MR 1285781

[15] O. Debarre, Higher-dimensional algebraic geometry, Universitext, Springer, 2001. | MR 1841091

[16] T. Ekedahl, An effective version of Hilbert's irreducibility theorem, in Séminaire de théorie des nombres de Paris 1988-1989 (C. Goldstein, éd.), Progress in Math. 91, Birkhäuser, 1990, 241-248. | MR 1104709

[17] D. Eriksson & V. Scharaschkin, On the Brauer-Manin obstruction for zero-cycles on curves, Acta Arithmetica 135.2 (2008), 99-110. | MR 2453526

[18] M. Florence, Zéro-cycles de degré un sur les espaces homogènes, Int. Math. Res. Not. 2004 (2004), 2898-2914. | MR 2097288

[19] E. Frossard, Obstruction de Brauer-Manin pour les zéro-cycles sur des fibrations en variétés de Severi-Brauer, J. reine angew. Math. 557 (2003), 81-101. | MR 1978403

[20] A. Grothendieck, Le groupe de Brauer: I, II, III, in Dix exposés sur la cohomologie des schémas, North-Holland, 1968, 46-188. | MR 244269

[21] J. Van Hamel, The Brauer-Manin obstruction for zero-cycles on Severi-Brauer fibrations over curves, J. London Math. Soc. 68 (2003), 317-337. | MR 1994685

[22] D. Harari, Méthode des fibrations et obstruction de Manin, J. Duke Math. 75 (1994), 221-260. | MR 1284820

[23] D. Harari, Flèches de spécialisations en cohomologie étale et applications arithmétiques, Bull. Soc. Math. France 125 (1997), 143-166. | MR 1478028

[24] D. Harari, Weak approximation and non-Abelian fundamental groups, Ann. Scient. Éc. Norm. Sup. 33 (2000), 467-484. | MR 1832820

[25] B. Hassett, A. Várilly-Alvarado & P. Varilly, Transcendental obstructions to weak approximation on general K3 surfaces, Advances in Math. 228 (2011), 1377-1404. | MR 2824558

[26] K. Kato & S. Saito, Global class field theory of arithmetic schemes, Contemporary Math. 55 (1986), 255-331. | MR 862639

[27] J. Kollár, Rational curves on algebraic varieties, Ergebnisse Math. Grenzg., Springer, 1996.

[28] J. Kollár & E. Szabó, Rationally connected varieties over finite fields, Duke Math. J. 120 (2003), 251-267. | MR 2019976

[29] Y. Liang, Astuce de Salberger et zéro-cycles sur certaines fibrations, Int. Math. Res. Not 2012 (2012), doi:10.1093/imrn/rns003. | MR 3021795

[30] Y. Liang, Principe local-global pour les zéro-cycles sur certaines fibrations au-dessus d'une courbe: I, Math. Annalen 353 (2012), 1377-1398. | MR 2944033

[31] Y. Liang, Principe local-global pour les zéro-cycles sur certaines fibrations au-dessus de l'espace projectif, to appear in Bull. Soc. Math. France.

[32] D. Loughran, Existence of zero cycles of degree one vs existence of rational points, http://mathoverflow.net/questions/33774/, 2010.

[33] Y. Manin, Le groupe de Brauer-Grothendieck en géométrie diophantienne, in Actes du Congrès Intern. Math. (Nice 1970), 1, Gauthiers-Villars, 1971, 401-411. | MR 427322

[34] E. Peyre, Obstructions au principe de Hasse et à l'approximation faible, Séminaire Bourbaki vol. 2003/04, exp. no 931, Astérisque 299 (2005), 165-193. | MR 2167206

[35] B. Poonen, Insufficiency of the Brauer-Manin obstruction applied to étale covers, Ann. of Math. 171(3) (2010), 2157-2169. | MR 2680407

[36] S. Saito, Some observations on motivic cohomology of arithmetic schemes, Invent. math. 98 (1989), 371-404. | MR 1016270

[37] J-P. Serre, Corps locaux, Hermann, 1968. | MR 354618

[38] A. Skorobogatov, Beyond the Manin obstruction, Invent. Math. 135 (1999), 399-424. | MR 1666779

[39] A. Skorobogatov, Torsors and rational points, Cambridge Univ. Press, 2001. | MR 1845760

[40] O. Wittenberg, Transcendental Brauer-Manin obstruction on a pencil of elliptic curves, in Arithmetic of higher-dimensional varieties (Palo Alto, CA, 2002) (B. Poonen & Y. Tschinkel, éds.), Progress in Math. 226, Birkhäuser, 2004, 259-267. | MR 2029873

[41] O. Wittenberg, Intersections de deux quadriques et pinceaux de courbes de genre 1, Lecture Notes in Math. 1901, Springer, 2007. | MR 2307807

[42] O. Wittenberg, On Albanese torsors and the elementary obstruction, Math. Annalen 340 (2008), 805-838. | MR 2372739

[43] O. Wittenberg, Zéro-cycles sur les fibrations au-dessus d'une courbe de genre quelconque, Duke Math. Journal 161 (2012), 2113-2166. | MR 2957699