Pith. sign in

REVIEW 8 cited by

Integers expressible as the sum of two rational cubes

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2210.10730 v3 pith:H5U5IFB2 submitted 2022-10-19 math.NT math.AG

Integers expressible as the sum of two rational cubes

classification math.NT math.AG
keywords curvespositiveproportionprovecubicfamilyellipticexpressible
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
Share X Bluesky LinkedIn Reddit HN
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.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 8 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A proof of the $4,7$ cases of Sylvester's conjecture on cube sums

    math.NT 2026-05 unverdicted novelty 9.0

    Proves that every prime p ≡ 4,7 mod 9 is a sum of two rational cubes, resolving 2/3 of Sylvester's conjecture via BSD progress and the solved Unbounded Denominators Conjecture.

  2. Explicit mock Heegner points and BSD formula on certain Mordell curves

    math.NT 2026-07 accept novelty 6.0

    Under 2 not a cube mod p, explicit mock Heegner points prove rank-1 BSD up to a 2-unit for E_{2q} and full BSD for the companion rank-0 curves E_{2q^{2}}.

  3. A Ramanujan Pell Elliptic K3 Surface and Primitive Five-Cube Near Misses

    math.GM 2026-07 accept novelty 6.0

    A Pell recurrence yields primitive positive five-cube near misses with alternating error ±1, and the same quadratic identity gives an elliptic K3 surface with a visible rank-16 Néron–Severi sublattice.

  4. A Ramanujan Pell Elliptic K3 Surface and Primitive Five-Cube Near Misses

    math.GM 2026-07 unverdicted novelty 6.0

    A Ramanujan–Pell construction yields primitive five-cube near-misses and an elliptic K3 of fibre type 6IV with a height-4/3 section and a visible rank-16 Néron–Severi sublattice of discriminant −108.

  5. Tamagawa ratios and unbounded Selmer moments

    math.NT 2026-06 unverdicted novelty 6.0

    Framework gives conjectural characterization of geometric families of abelian varieties with unbounded average l-Selmer sizes, proven correct when l-torsion module is constant across the family.

  6. Selmer groups of families of elliptic curves with an $\ell$-isogeny

    math.NT 2025-08 conditional novelty 6.0

    In many families of elliptic curves with a rational prime-degree isogeny, the logarithmic Tamagawa ratio satisfies a central limit theorem, yielding curves with arbitrarily large ℓ-Selmer groups for ℓ = 2, 3, 5, 7, 13.

  7. Infinitely many hyperelliptic curves of small genus and small fixed rank, and of any genus and rank two

    math.NT 2025-05 unverdicted novelty 6.0

    For any number field K and genus g ≥ 2, there are infinitely many non-isomorphic hyperelliptic curves over K with Jacobian rank 0, 1, or 2 over K; explicit higher-rank ranges are given for small genera over Q.

  8. Gross-Zagier formula for the $4, 7$ cases of Sylvester's conjecture

    math.NT 2026-07 unverdicted novelty 5.0

    Proves explicit Gross-Zagier formula linking CM point heights on E_{p^i} to L-function derivatives for the 4,7 cases of Sylvester's conjecture.