Abstract:We prove that a positive proportion of integers are expressible as the sum of two rational cubes, and a positive proportion are not so expressible, thus proving a conjecture of Davenport. More generally, we prove that a positive proportion (in fact, at least one sixth) of elliptic curves in any cubic twist family have rank 0, and a positive proportion (in fact, at least one sixth) of elliptic curves with good reduction at 2 in any cubic twist family have rank 1. Our method involves proving that the average size of the 2-Selmer group of elliptic curves in any cubic twist family, having any given root number, is 3. We accomplish this by generalizing a parametrization, due to the second author and Ho, of elliptic curves with extra structure by pairs of binary cubic forms. We then use a novel combination of geometry-of-numbers methods and the circle method that builds on earlier work of Ruth and the first author. In particular, we make use of a new interpretation of the singular integral and series arising in the circle method in terms of real and $p$-adic Haar measures on the relevant group. We prove a uniformity estimate for integral points on the relevant quadric, which along with a sieve allows us to prove that the average size of the 2-Selmer group over the cubic twist family is 3. By suitably partitioning the subset of curves in the family with given root number, we effect a further sieve to show that the root number is equidistributed and that the same average, now taken over only those curves of given root number, is again 3. Finally, we apply the $p$-parity theorem of Dokchitser-Dokchitser and a $p$-converse theorem of Burungale-Skinner to conclude. We also prove the analogue of the above results for the sequence of square numbers: namely, we prove that a positive proportion of square integers are expressible as the sum of two rational cubes, and a positive proportion are not.

Optimal sums of three cubes in $\mathbb{F}_q[t]$

Sums of three cubes over a function field

Integers expressible as the sum of two rational cubes

Sums of rational cubes and the $3$-Selmer group

The sum of two cubes problem -- an approach that's classroom friendly

Approaching the Soundness Barrier: A Near Optimal Analysis of the Cube versus Cube Test

The Densities for 3-Ranks of Tame Kernels of Cyclic Cubic Number Fields

Tabulation of cubic function fields via polynomial binary cubic forms

An effective estimate for the sum of two cubes problem

Ratios conjecture of cubic $L$-functions of prime moduli

The 3-Sylow Subgroup of the Tame Kernel of Real Number Fields

Binary Cubic Forms and Rational Cube Sum Problem

Optimal upper bounds for anti-canonical volumes of singular toric Fano varieties

Sums of four rational squares with certain restrictions

Small solutions of generic ternary quadratic congruences to general moduli

On effective irrationality exponents of cubic irrationals

Odd moments and adding fractions

Exponential sums over singular binary quartic forms and applications

Products of primes in arithmetic progressions

Character sums over sparse elements of finite fields

Density of rational points on some quadric bundle threefolds