Most hyperelliptic curves over Q have no rational points

Abstract

By a hyperelliptic curve over Q, we mean a smooth, geometrically irreducible, complete curve C over Q equipped with a fixed map of degree 2 to P^1 defined over Q. Thus any hyperelliptic curve C over Q of genus g can be embedded in weighted projective space P(1,1,g+1) via an equation of the form C : z^2 = f(x,y) = f_0 x^n + f_1 x^{n-1} y + ... + f_n y^n where n=2g+2, the coefficients f_i lie in Z, and f factors into distinct linear factors over Q-bar. Define the height H(C) of C by H(C):=max{|f_i|}, and order all hyperelliptic curves over Q of genus g by height. Then we prove that, as g tends to infinity: 1) a density approaching 100% of hyperelliptic curves of genus g have no rational points; 2) a density approaching 100% of those hyperelliptic curves of genus g that have points everywhere locally fail the Hasse principle; and 3) a density approaching 100% of hyperelliptic curves of genus g have empty Brauer set, i.e., have a Brauer-Manin obstruction to having a rational point. We also prove positive proportion results of this type for individual genera, including g = 1.

33 pages. arXiv admin note: text overlap with arXiv:1208.1007

References in corpus (5)

• Two-cover descent on hyperelliptic curves
• The average size of the 2-Selmer group of Jacobians of hyperelliptic curves having a rational Weierstrass point
• The average size of the 5-Selmer group of elliptic curves is 6, and the average rank is less than 1
• The average number of elements in the 4-Selmer groups of elliptic curves is 7
• Maximal linear spaces contained in the base loci of pencils of quadrics

Cited by in corpus (11)

• Odd degree number fields with odd class number
• Geometry-of-numbers methods over global fields I: Prehomogeneous vector spaces
• A positive proportion of Thue equations fail the integral Hasse principle
• Irrational points on random hyperelliptic curves
• Counting $S_5$-fields with a power saving error term
• The proportion of genus one curves over $\mathbb{Q}$ defined by a binary quartic that everywhere locally have a point
• An arithmetic invariant theory of curves from $E_8$
• The second moment of the size of the $2$-Selmer group of elliptic curves
• Average size of 2-Selmer groups of Jacobians of hyperelliptic curves over function fields
• Composed varieties and reflection theorems of Ohno-Nakagawa type
• On the non-commutative endomorphism rings of abelian surfaces