{"schema_version":"source-reader-v1","record":{"source_id":"skinner-annals-2020","versions":[{"work":{"authors":["Christopher Skinner"],"kind":"research_paper","publication":"published","publication_note":"Annals of Mathematics 191 (2020), 329–354; published online 13 February 2020. Introduction also states the classical low-analytic-rank theorem.","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":"Journal proof PDF","url":"https://annals.math.princeton.edu/wp-content/uploads/annals-v191-n2-p01-s.pdf","version":"Annals 191 (2020), 329–354","assessment":"paper_proof","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."}]},"id":"skinner-annals-2020@published-online-2020-02-13","source_id":"skinner-annals-2020","title":"Skinner · converse to Gross–Zagier–Kolyvagin","owner":"Christopher Skinner","url":"https://doi.org/10.4007/annals.2020.191.2.1","subject_scope":"Skinner · converse to Gross–Zagier–Kolyvagin","revision":"published-online-2020-02-13","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":"2020-02-13","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://doi.org/10.4007/annals.2020.191.2.1","attribution":"Christopher Skinner","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-analytic-rank-at-most-one:v2","source_version_id":"skinner-annals-2020@published-online-2020-02-13","item_id":"Introduction, journal page 330 (PDF page 2), classical theorem","url":"https://doi.org/10.4007/annals.2020.191.2.1","wording":"For E/Q with ord_(s=1)L(E,s) equal to 0 or 1, rank E(Q) equals that analytic rank and Sha(E/Q) is finite.","wording_kind":"paraphrase","locator":"Introduction, journal page 330 (PDF page 2), classical theorem","supersedes":null},{"id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-one-converse-finite-sha:v2","source_version_id":"skinner-annals-2020@published-online-2020-02-13","item_id":"Abstract and Theorem A, journal pages 329–331","url":"https://doi.org/10.4007/annals.2020.191.2.1","wording":"For semistable E/Q with nonsplit multiplicative reduction at an odd prime or split multiplicative reduction at two odd primes, algebraic rank 1 and finite Sha imply analytic rank 1.","wording_kind":"paraphrase","locator":"Abstract and Theorem A, journal pages 329–331","supersedes":null}],"problems":[{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17}],"selected_version_id":"skinner-annals-2020@published-online-2020-02-13","available_versions":[{"id":"skinner-annals-2020@published-online-2020-02-13","revision":"published-online-2020-02-13","observed_on":"2026-10-10","title":"Skinner · converse to Gross–Zagier–Kolyvagin","publication":"published","content_sha256":null,"used_in_current_publications":true},{"id":"skinner-annals-2020@annals-191-2-2020","revision":"annals-191-2-2020","observed_on":"2026-10-10","title":"Skinner · converse to Gross–Zagier–Kolyvagin","publication":"published","content_sha256":null,"used_in_current_publications":false}],"usages":[{"id":"source-use-2f2c3bd22d2d4f9a3f11","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-analytic-rank-at-most-one:v2","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"assessment","title":"Rank equality at analytic rank 0 or 1","claim":{"id":"claim-bsd-analytic-rank-at-most-one","version":4,"slug":"bsd-analytic-rank-at-most-one","title":"Rank equality at analytic rank 0 or 1"},"fragment":"claim-bsd-analytic-rank-at-most-one","assessment":{"id":"birch-and-swinnerton-dyer-conjecture:bsd-analytic-rank-at-most-one:v2:report","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-analytic-rank-at-most-one:v2","state":"resolved","source_label":"Rank equality at analytic rank 0 or 1","scope":"Gross–Zagier and Kolyvagin, with modularity for all E/Q: rank equality and finite Sha in the low-analytic-rank regime.","source_date":"2020-02-13","observed_on":"2026-10-10","evidence_url":"https://doi.org/10.4007/annals.2020.191.2.1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-2fdfe22d86611c5f018c","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-analytic-rank-at-most-one:v2","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"connection","title":"The first starts from analytic rank ≤1; Skinner’s converse starts from algebraic rank one, finite Sha and specified semistable reduction.","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-1e19228cdfe506acb3d5","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-analytic-rank-at-most-one:v2","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"milestone","title":"The low-analytic-rank theorem applies to all E/Q","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-12aa450cc26b8d3e99d5","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-analytic-rank-at-most-one:v2","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-5f947ecae6c13217ebad","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-analytic-rank-at-most-one:v2","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"statement","title":"Rank equality at analytic rank 0 or 1","claim":{"id":"claim-bsd-analytic-rank-at-most-one","version":4,"slug":"bsd-analytic-rank-at-most-one","title":"Rank equality at analytic rank 0 or 1"},"fragment":"claim-bsd-analytic-rank-at-most-one","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-576761e5ebf863047602","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-one-converse-finite-sha:v2","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"assessment","title":"Rank-one converse assuming finite Sha","claim":{"id":"claim-bsd-rank-one-converse-finite-sha","version":3,"slug":"bsd-rank-one-converse-finite-sha","title":"Rank-one converse assuming finite Sha"},"fragment":"claim-bsd-rank-one-converse-finite-sha","assessment":{"id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-one-converse-finite-sha:v2:report","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-one-converse-finite-sha:v2","state":"resolved","source_label":"Rank-one converse assuming finite Sha","scope":"Skinner’s converse in the stated semistable family; a proved implication with a finiteness assumption.","source_date":"2020-02-13","observed_on":"2026-10-10","evidence_url":"https://doi.org/10.4007/annals.2020.191.2.1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-3d5701a725a6707f374c","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-one-converse-finite-sha:v2","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"connection","title":"The first starts from analytic rank ≤1; Skinner’s converse starts from algebraic rank one, finite Sha and specified semistable reduction.","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-9f2afb28015cb9f9c24c","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-one-converse-finite-sha:v2","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"milestone","title":"A conditional algebraic-rank-one converse","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-675d3d9bcb8c49c7c857","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-one-converse-finite-sha:v2","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-2d1237476a24d44b3bfd","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-one-converse-finite-sha:v2","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"reading","title":"Read the mathematical argument; inspect its Claim for assessment and scope.","claim":null,"fragment":"provenance","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-242bdfe4c28fe0e238f0","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-one-converse-finite-sha:v2","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"statement","title":"Rank-one converse assuming finite Sha","claim":{"id":"claim-bsd-rank-one-converse-finite-sha","version":3,"slug":"bsd-rank-one-converse-finite-sha","title":"Rank-one converse assuming finite Sha"},"fragment":"claim-bsd-rank-one-converse-finite-sha","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}