{"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. 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@annals-191-2-2020","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":"annals-191-2-2020","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-03-01","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:v1","source_version_id":"skinner-annals-2020@annals-191-2-2020","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:v1","source_version_id":"skinner-annals-2020@annals-191-2-2020","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":3}],"selected_version_id":"skinner-annals-2020@annals-191-2-2020","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-62f7159b28cda111e610","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-analytic-rank-at-most-one:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":3},"kind":"assessment","title":"Rank equality at analytic rank 0 or 1","claim":{"id":"claim-bsd-analytic-rank-at-most-one","version":1,"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:v1:report","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-analytic-rank-at-most-one:v1","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-03-01","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-3e8e7a3ebf47c4de1af3","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-analytic-rank-at-most-one:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":3},"kind":"question","title":"Birch and Swinnerton-Dyer conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-34a5cffea628b07fba29","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-analytic-rank-at-most-one:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":3},"kind":"statement","title":"Rank equality at analytic rank 0 or 1","claim":{"id":"claim-bsd-analytic-rank-at-most-one","version":1,"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-6fd6e83bb868c43c3b45","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-one-converse-finite-sha:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":3},"kind":"assessment","title":"Rank-one converse assuming finite Sha","claim":{"id":"claim-bsd-rank-one-converse-finite-sha","version":1,"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:v1:report","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-one-converse-finite-sha:v1","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-03-01","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-05f285a78d1357b20632","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-one-converse-finite-sha:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":3},"kind":"question","title":"Birch and Swinnerton-Dyer conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-ea2c5c4a4d75929929f6","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-rank-one-converse-finite-sha:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":3},"kind":"statement","title":"Rank-one converse assuming finite Sha","claim":{"id":"claim-bsd-rank-one-converse-finite-sha","version":1,"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":[]}}