{"schema_version":"source-reader-v1","record":{"source_id":"arxiv-1512.06894","versions":[{"work":{"authors":["Dimitar Jetchev","Christopher Skinner","Xin Wan"],"kind":"research_paper","publication":"published","publication_note":"Published in Cambridge Journal of Mathematics 5 (2017), 369–434; the cited author preprint supplies Theorem 1.2.1.","ai_role":"not_reported","ai_note":"The cited work does not report AI involvement; this is not an assertion that no AI was used.","artifacts":[{"kind":"pdf","title":"Author proof PDF · v1","url":"https://arxiv.org/pdf/1512.06894v1","version":"arXiv:1512.06894v1","assessment":"paper_proof","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."}]},"id":"arxiv-1512.06894@arxiv-v1","source_id":"arxiv-1512.06894","title":"Jetchev–Skinner–Wan · rank-one BSD p-part","owner":"Dimitar Jetchev; Christopher Skinner; Xin Wan","url":"https://arxiv.org/abs/1512.06894v1","subject_scope":"Jetchev–Skinner–Wan · rank-one BSD p-part","revision":"arxiv-v1","content_sha256":null,"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.","observed_on":"2026-10-10","source_updated_on":"2015-12-21","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://arxiv.org/abs/1512.06894v1","attribution":"Dimitar Jetchev; Christopher Skinner; Xin Wan","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":90}],"entries":[{"id":"birch-and-swinnerton-dyer-conjecture:bsd-semistable-rank-one-p-part:v1","source_version_id":"arxiv-1512.06894@arxiv-v1","item_id":"Theorem 1.2.1, PDF pages 1–2","url":"https://arxiv.org/abs/1512.06894v1","wording":"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.","wording_kind":"paraphrase","locator":"Theorem 1.2.1, PDF pages 1–2","supersedes":null}],"problems":[{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17}],"selected_version_id":"arxiv-1512.06894@arxiv-v1","available_versions":[{"id":"arxiv-1512.06894@arxiv-v1","revision":"arxiv-v1","observed_on":"2026-10-10","title":"Jetchev–Skinner–Wan · rank-one BSD p-part","publication":"published","content_sha256":null,"used_in_current_publications":true}],"usages":[{"id":"source-use-4472743d5d59a829f74e","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-semistable-rank-one-p-part:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"assessment","title":"Rank-one formula · selected p-parts","claim":{"id":"claim-bsd-semistable-rank-one-p-part","version":2,"slug":"bsd-semistable-rank-one-p-part","title":"Rank-one formula · selected p-parts"},"fragment":"claim-bsd-semistable-rank-one-p-part","assessment":{"id":"birch-and-swinnerton-dyer-conjecture:bsd-semistable-rank-one-p-part:v1:report","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-semistable-rank-one-p-part:v1","state":"resolved","source_label":"Rank-one formula · selected p-parts","scope":"The p-part of the leading-coefficient formula, not an assertion at every prime. Irreducibility removes p-primary rational torsion.","source_date":"2015-12-21","observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/1512.06894v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-0f1ce57aa5bac86c5519","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-semistable-rank-one-p-part:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"connection","title":"These formulas overlap at selected supersingular rank-one curves; the supersingular theorem also covers analytic rank zero in its scope.","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-249a54d1522eb6a53e2c","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-semistable-rank-one-p-part:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"milestone","title":"A rank-one p-part formula under precise hypotheses","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-03ea90c2e61c6e3ea99a","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-semistable-rank-one-p-part:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"question","title":"Birch and Swinnerton-Dyer conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-09078ee5f2e068547bc7","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-semistable-rank-one-p-part:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"statement","title":"Rank-one formula · selected p-parts","claim":{"id":"claim-bsd-semistable-rank-one-p-part","version":2,"slug":"bsd-semistable-rank-one-p-part","title":"Rank-one formula · selected p-parts"},"fragment":"claim-bsd-semistable-rank-one-p-part","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}