[Math] Are most cubic plane curves over the rationals elliptic

elliptic-curvesnt.number-theoryopen-problems

%This is a new version of the original question modified in the light of the answers and comments.

The word 'most' in the title is ambiguous. The following is one way of making it precise.

Question1: (This seems to be open. See Poonen's answer below)

A cubic projective curve over $\mathbb{Q}$ is given by ten relatively prime integers (the coefficients of its equation after clearing the denominators). Suppose we take a ten dimensional box $[-N,N]^{10}$ and choose points with integer coordinates with respect to the uniform measure and form the equation of the associated cubic curve. Suppose the number of points which give rise to a curve with a rational point is $E(N)$. Then what can we say about $E(N)/(2N+1)^{10}$ as $N\rightarrow \infty$?

Should the limit exist and if it does, should it be one, zero, or some other number?

Another question of interest is:

Question 2: (There is a satisfactory answer to this. See Voloch's response below.)

Are either of the sets {cubics with no rational point} and {cubics with at least one rational point} Zariski dense?

Best Answer

Your question (as explained in the second paragraph) is not vague at all! In fact, it appears for instance after Conjecture 2.2 in http://www-math.mit.edu/~poonen/papers/random.pdf , which is Random diophantine equations, B. Poonen and J. F. Voloch, pp. 175–184 in: Arithmetic of higher-dimensional algebraic varieties, B. Poonen and Yu. Tschinkel (eds.), Progress in Math. 226 (2004), Birkhäuser.

The answer is not known, and the experts I've spoken to do not even have a convincing heuristic predicting an answer. Swinnerton-Dyer told me that he had a hunch that the answer was 0, and this is my hunch too, but we have little to back this up.

It is not even clear that the limit exists. One can prove, however, that the density (in your precise sense) of plane cubic curves that have points over $\mathbb{Q}_p$ for all $p \le \infty$ is a number strictly between $0$ and $1$ (Theorem 3.6 in the Poonen-Voloch paper), so the lim sup of the fraction of plane cubic curves with a rational point is at most this; in particular, it's not 1.

One could try to estimate the size of the Tate-Shafarevich group of a "random" elliptic curve, to get an idea of how often local solvability implies global solvability, but even if one does this it is not clear that this is counting curves in the same way.