A positive proportion of locally soluble hyperelliptic curves over ℚ have no point over any odd degree extension

Bhargava, Manjul¹ ; Gross, Benedict² ; Wang, Xiaoheng¹

¹ Department of Mathematics, Princeton University, Princeton, New Jersey 08544
² Department of Mathematics, Harvard University, Cambridge, Massachusetts 02138

Journal of the American Mathematical Society, Tome 30 (2017) no. 2, pp. 451-493

Résumé

A hyperelliptic curve over $\mathbb Q$ is called “locally soluble” if it has a point over every completion of $\mathbb Q$. In this paper, we prove that a positive proportion of hyperelliptic curves over $\mathbb Q$ of genus $g\geq 1$ are locally soluble but have no points over any odd degree extension of $\mathbb Q$. We also obtain a number of related results. For example, we prove that for any fixed odd integer $k > 0$, the proportion of locally soluble hyperelliptic curves over $\mathbb Q$ of genus $g$ having no points over any odd degree extension of $\mathbb Q$ of degree at most $k$ tends to $1$ as $g$ tends to infinity. We also show that the failures of the Hasse principle in these cases are explained by the Brauer-Manin obstruction. Our methods involve a detailed study of the geometry of pencils of quadrics over a general field of characteristic not equal to $2$, together with suitable arguments from the geometry of numbers.

Détail

DOI : 10.1090/jams/863

Bibliographie

[1] Bhargava, Manjul, Gross, Benedict H. Arithmetic invariant theory 2014 33 54

[2] Bhargava, Manjul, Gross, Benedict H. The average size of the 2-Selmer group of Jacobians of hyperelliptic curves having a rational Weierstrass point 2013 23 91

[3] Bhargava, Manjul, Shankar, Arul Binary quartic forms having bounded invariants, and the boundedness of the average rank of elliptic curves Ann. of Math. (2) 2015 191 242

[4] Bhargava, Manjul, Shankar, Arul Ternary cubic forms having bounded invariants, and the existence of a positive proportion of elliptic curves having rank 0 Ann. of Math. (2) 2015 587 621

[5] Birch, B. J., Merriman, J. R. Finiteness theorems for binary forms with given discriminant Proc. London Math. Soc. (3) 1972 385 394

[6] Bruin, Nils, Stoll, Michael Two-cover descent on hyperelliptic curves Math. Comp. 2009 2347 2370

[7] Cassels, J. W. S. The Mordell-Weil group of curves of genus 2 1983 27 60

[8] Colliot-Thã©Lã¨Ne, Jean-Louis, Poonen, Bjorn Algebraic families of nonzero elements of Shafarevich-Tate groups J. Amer. Math. Soc. 2000 83 99

[9] Colliot-Thã©Lã¨Ne, Jean-Louis, Sansuc, Jean-Jacques La descente sur les variétés rationnelles. II Duke Math. J. 1987 375 492

[10] Dembo, Amir, Poonen, Bjorn, Shao, Qi-Man, Zeitouni, Ofer Random polynomials having few or no real zeros J. Amer. Math. Soc. 2002 857 892

[11] Desale, U. V., Ramanan, S. Classification of vector bundles of rank 2 on hyperelliptic curves Invent. Math. 1976/77 161 185

[12] Dokchitser, Tim, Dokchitser, Vladimir Self-duality of Selmer groups Math. Proc. Cambridge Philos. Soc. 2009 257 267

[13] Dokchitser, Tim, Dokchitser, Vladimir Regulator constants and the parity conjecture Invent. Math. 2009 23 71

[14] Donagi, Ron Group law on the intersection of two quadrics Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 1980 217 239

[15] Gross, Benedict H. Hanoi lectures on the arithmetic of hyperelliptic curves Acta Math. Vietnam. 2012 579 588

[16] Gross, Benedict H. On Bhargava’s representation and Vinberg’s invariant theory 2011 317 321

[17] Lichtenbaum, Stephen Duality theorems for curves over 𝑝-adic fields Invent. Math. 1969 120 136

[18] Milnor, John Introduction to algebraic 𝐾-theory 1971

[19] Nakagawa, Jin Binary forms and orders of algebraic number fields Invent. Math. 1989 219 235

[20] Poonen, Bjorn, Stoll, Michael The Cassels-Tate pairing on polarized abelian varieties Ann. of Math. (2) 1999 1109 1149

[21] Poonen, Bjorn, Stoll, Michael A local-global principle for densities 1999 241 244

[22] Poonen, Bjorn, Schaefer, Edward F. Explicit descent for Jacobians of cyclic covers of the projective line J. Reine Angew. Math. 1997 141 188

[23] Serre, Jean-Pierre Groupes algébriques et corps de classes 1959 202

[24] Siksek, Samir Chabauty for symmetric powers of curves Algebra Number Theory 2009 209 236

[25] Stoll, Michael Finite descent obstructions and rational points on curves Algebra Number Theory 2007 349 391

[26] Stoll, Michael, Van Luijk, Ronald Explicit Selmer groups for cyclic covers of ℙ¹ Acta Arith. 2013 133 148

[27] Nguyãªã± Quã´Ä‡ ThçŽÅ„G Weak corestriction principle for non-abelian Galois cohomology Homology Homotopy Appl. 2003 219 249

[28] Wang, Xiaoheng Pencils of quadrics and Jacobians of hyperelliptic curves 2013 148

[29] Wood, Melanie Matchett Rings and ideals parameterized by binary 𝑛-ic forms J. Lond. Math. Soc. (2) 2011 208 231

[30] Wood, Melanie Matchett Parametrization of ideal classes in rings associated to binary forms J. Reine Angew. Math. 2014 169 199