Burungale–Skinner–Tian–Wan · zeta elements
Author preprint at the cited revision; journal acceptance has not been established by this curation.
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
Let E be Cremona curve 46a1. For squarefree M>1 coprime to 46, if L(E^M,1)≠0 and E has ordinary reduction at every prime dividing M, E^M satisfies full BSD. Infinitely many M meet these conditions.
Passage ID: birch-and-swinnerton-dyer-conjecture:bsd-46a1-quadratic-twists:v1
Source item: Theorem 1.7, PDF page 4, restricted to base curve 46a1
Source record: arxiv-2409.01350@arxiv-v2
For semistable E/Q of analytic rank 0 or 1 and a good supersingular prime p ≥ 5, the p-part of the BSD leading-coefficient formula holds.
Passage ID: birch-and-swinnerton-dyer-conjecture:bsd-supersingular-p-part:v1
Source item: Theorem 1.5, PDF page 4
Source record: arxiv-2409.01350@arxiv-v2
Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.
Problem publication v17
Source assessment
Proved
Full BSD in a specified infinite twist family
Analytic-rank-zero quadratic twists of one named non-CM base curve; rank, finite Sha and the entire leading-coefficient identity.
Source date Sep 11, 2024 · Observed Oct 10, 2026
Source assessment
Proved
Low-rank formula at supersingular p ≥ 5
Theorem 1.5 restricted to p ≥ 5; its additional p=3 conditions and quadratic-twist extension are not asserted here.
Source date Sep 11, 2024 · Observed Oct 10, 2026
History
Supersingular p-parts and a conditioned full-formula family
Question
Birch and Swinnerton-Dyer conjecture
Connection
These formulas overlap at selected supersingular rank-one curves; the supersingular theorem also covers analytic rank zero in its scope.
Linked manuscripts, code and data. External proof reports, statement correspondence and OpenMath execution are separate checks.
Manuscript / exposition · external
External evidence linked; no OpenMath execution or independent reproduction is asserted.
Resource revision: arXiv:2409.01350v2
Recorded authorship
Ashay Burungale · Christopher Skinner · Ye Tian · Xin Wan
Ashay Burungale; Christopher Skinner; Ye Tian; Xin Wan
The cited work does not report AI involvement; this is not an assertion that no AI was used.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
Burungale–Skinner–Tian–Wan · zeta elements
No upstream full text or code is republished by this record.
Source terms ↗