002 · 论文讲解 · 中文旁白

BSD:从两个秩,到一个完整公式

The full BSD formula from low Selmer corank

椭圆曲线的有理点,与 L 函数有怎样的联系?
00:00 / 01:35

正在加载画面…

对应的是 002 系列的哪篇论文

本片选用 2026 年 10 月 3 日的 Exact Birch–Swinnerton-Dyer Formula from Low Selmer Corank。论文的定理 1.1 假设:对有理数域上的椭圆曲线 E,存在素数 q,使完整 q 幂 Selmer 群的 ℤq 余秩属于 {0,1}。在此条件下,论文给出秩的相等、Sha 群的有限性,以及包含所有素数因子的完整 BSD 首项公式。

原文第 3 页特别强调:不能把这个条件直接换成 Mordell–Weil 秩为 0 或 1。周期、调整子及局部因子的规范也按该页定义。目录目前没有将本篇标记为附有 Lean 形式化。

逐句文字稿与章节跳转

原文、图示和术语

  • 原论文 PDF ↗:共 94 页;本片依据摘要、pp.2–5,尤其定理 1.1、式 (1.2) 和 §1.3 的素数差异比较。
  • 002 系列的三篇论文 ↗:完整首项公式、Selmer 逆向结论及二部分公式。
  • 图示曲线为 y² = x³ − x + 1,(0,1)、(3,5) 确实满足方程。它只解释“有理点”,未计算该曲线的秩或 L 函数;右侧函数图是局部形状示意。
  • 专业术语依据指定词典:Selmer group → 塞尔默群;corank → 余秩;analytic rank → 解析秩;regulator → 调整子;Tamagawa number → 玉河数。Sha 的中文采用词典中完整的 Shafarevich–Tate group 条目:“沙法列维奇–泰特群”。

本站制作的非官方论文解读,不构成独立证明核验。中文旁白为合成语音。来源 openai/math(Apache-2.0),版本 adc7f12。查看本片源码 ↗