Jetchev–Skinner–Wan · rank-one BSD p-part
Published in Cambridge Journal of Mathematics 5 (2017), 369–434; the cited author preprint supplies Theorem 1.2.1.
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
For semistable E/Q of analytic rank 1 and a good-reduction prime p ≥ 5 with E[p] irreducible, the p-adic valuation of L′(E,1)/(Ω_E Reg_E) equals that of #Sha(E/Q) ∏ c_l.
Passage ID: birch-and-swinnerton-dyer-conjecture:bsd-semistable-rank-one-p-part:v1
Source item: Theorem 1.2.1, PDF pages 1–2
Source record: arxiv-1512.06894@arxiv-v1
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
Rank-one formula · selected p-parts
The p-part of the leading-coefficient formula, not an assertion at every prime. Irreducibility removes p-primary rational torsion.
Source date Dec 21, 2015 · Observed Oct 10, 2026
Connection
These formulas overlap at selected supersingular rank-one curves; the supersingular theorem also covers analytic rank zero in its scope.
History
A rank-one p-part formula under precise hypotheses
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:1512.06894v1
Recorded authorship
Dimitar Jetchev · Christopher Skinner · Xin Wan
Dimitar Jetchev; Christopher Skinner; 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.
Jetchev–Skinner–Wan · rank-one BSD p-part
No upstream full text or code is republished by this record.
Source terms ↗