{"id":"arxiv:2609.14893","kind":"preprint","title":"A proof of Sylvester's conjecture","authors":["Ashay Burungale","Ye Tian"],"author_count":2,"year":2026,"published":"2026-09-14","venue":null,"cited_by":null,"doi":null,"arxiv_id":"2609.14893","nct_id":null,"source_url":"https://arxiv.org/abs/2609.14893","archive_url":"https://space-kitty.com/papers/arxiv:2609.14893","updated":"2026-09-15","pmid":null,"pmcid":null,"openalex_id":null,"pdf_url":"https://arxiv.org/pdf/2609.14893","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_license":"CC0-1.0 (arXiv descriptive metadata)","license":null,"is_open_access":false,"retracted":false,"peer_reviewed":false,"categories":["math.NT"],"details":null,"provenance":"arxiv","attribution":"Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.","topics":[],"cited_in_dossiers":[]}