# A proof of Sylvester's conjecture

Preprint · Ashay Burungale, Ye Tian

- Archive id: arxiv:2609.14893
- Published: 2026-09-14
- arXiv: https://arxiv.org/abs/2609.14893
- Source URL: https://arxiv.org/abs/2609.14893
- PDF: https://arxiv.org/pdf/2609.14893
- Provenance: arxiv

## Abstract

We prove Sylvester's conjecture, originating in his 1879 study of ternary cubic equations, that every prime $p\\equiv4,7,8\\pmod9$ is a sum of two rational cubes. Elkies announced a proof for the classes $4$ and $7$ in 1994, and Yin recently supplied a complete proof. For the remaining class $p\\equiv8\\pmod9$, we prove that the elliptic curve $E\_p:y^2=x^3+p^2/4$ has analytic rank one, as predicted by the Birch and Swinnerton-Dyer conjecture, and so $p$ is a sum of two rational cubes. The proof begins by adapting the auxiliary Rankin--Selberg construction from the authors' work on the rank one converse for CM elliptic curves. The Rankin--Selberg $L$-function factors as the $L$-function of $E\_p$ times a complementary $L$-function. Chan's $3$-isogeny descent and the rank zero converse show that the complementary central $L$-value is non-zero, and so it suffices to prove that a cubic component of the associated Heegner point is non-torsion. A basic difficulty is that the unweighted Hecke trace of the underlying CM orbit vanishes. Our decisive idea is to take $λ$-division before taking the trace, where $λ=1-ω$ and $ω$ is a primitive cube root of unity. We prove that the resulting division boundary is non-zero by analysing Frobenius at $p$. The Galois action on the CM orbit and ramification theory then transfer this non-vanishing to the cubic component.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.