Авторский контракт композиции «Birch and Swinnerton-Dyer» Arxo

ru · unofficial · sha256:a99b19ee5c898bf8d9d07cccb7178740a4c5e111591d16603f16f0ae51d6cfe7

Авторский контракт композиции «Birch and Swinnerton-Dyer» Arxo, версия 0.1.0. Пакет связывает записи разных владельцев (cmi.bsd, modularity.bcdt_taylor_wiles_2001, gross_zagier.heegner_points_1986, kolyvagin.euler_systems_1988, tunnell.congruent_numbers_1983) через общий словарь arxo.elliptic_curves/arxo.math_claims, не создавая собственных фактов взамен чужих. bsd_formulation_from(c, src) — производное соединение уже заявленных identifies_bsd и source_asserts, не новый факт от имени источника. established_results_summary(claim, label) — соединение established_by_source набора в единый обзор, без выбора одного результата вместо другого. ranks_agree(e, r) — согласие algebraic_rank и analytic_rank ТОЛЬКО на одном и том же значении r: разные значения (или отсутствие одного из двух заявленных рангов) не унифицируются и никакого established_* не производят. Численная гипотеза о ранге (numerical_rank_hypothesis) в этом правиле не участвует ни в каком качестве. Ни established_by_source, ни established_under_assumption для самих формулировок BSD (cmi.bsd::BsdBasicFormalStatement, базовая версия через Taylor-разложение L(C,s), и cmi.bsd::BsdRefinedFormalStatement, уточнённая версия через Sha_C/регулятор/периоды/числа Тамагавы) не появляются нигде в наборе: ни один пакет не заявляет source_proves ни для одной из двух — задача остаётся открытой для обеих формулировок разом. Kolyvagin применяется только при analytic rank 0 или 1 на модулярной кривой (rank 2 — задокументированная граница метода, не подгонка). Критерий Таннелла разделён на безусловное необходимое направление и условное достаточное, держащееся только при assumed_in_scenario допущения слабой BSD.

Ссылаются нормы: CollectBsdFormulation, CollectEstablishedResult, RanksAgree, bsd_formulation_from, established_results_summary, ranks_agree