Source · Paper

Jetchev–Skinner–Wan · rank-one BSD p-part

Reading source record arxiv-v1. View default cited record →

Overview

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.

Passages

The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.

Passage 1 · OpenMath paraphrasePermalink

Theorem 1.2.1, PDF pages 1–2

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 details

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

Used in

Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.

Birch and Swinnerton-Dyer conjecture →

Problem publication v17

Rank-one formula · selected p-parts →

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

Problem context · 3 citations

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

Question

Birch and Swinnerton-Dyer conjecture

Files

Linked manuscripts, code and data. External proof reports, statement correspondence and OpenMath execution are separate checks.

PDF

Author proof PDF · v1 ↗

Manuscript / exposition · external

External evidence linked; no OpenMath execution or independent reproduction is asserted.

Resource revision: arXiv:1512.06894v1

Credits

Recorded authorship

Dimitar Jetchev · Christopher Skinner · Xin Wan

Dimitar Jetchev; Christopher Skinner; Xin Wan

AI involvement not reported

The cited work does not report AI involvement; this is not an assertion that no AI was used.

Versions

OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.

  1. arxiv-v1 · selectedObserved Oct 10, 2026 · used in current publications

    Jetchev–Skinner–Wan · rank-one BSD p-part

Record details
Source ID
arxiv-1512.06894
Record ID
arxiv-1512.06894@arxiv-v1
Recorded title
Jetchev–Skinner–Wan · rank-one BSD p-part
Revision
arxiv-v1
Observed
Oct 10, 2026
Source updated
Dec 21, 2015
Content SHA-256
Not recorded
Update method
Manual source and revision check; recheck upstream before a new publication.
Identifier policy
Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.
Check interval
90 days
Rights
metadata-link
License
Links and original OpenMath paraphrases only; upstream license governs external files.

No upstream full text or code is republished by this record.

Source terms ↗