结果族 002：The full BSD formula from low Selmer corank · 学科：Number theory · 验证状态：暂无形式化证明，请以社区核验为准
把椭圆曲线想成一张能无限拉长的会员名单：名单上的”有理点”可以做加法，像一个隐形俱乐部。BSD 猜想说，只看这张名单的”心电图”（L 函数在 s=1 处的表现），就能数出会员人数，还能算出心跳的精确幅度。这篇论文在”会员极少（零个或一个骨干）”的情形下，把心跳幅度精确到了每一个素因子——一步不差。
关键词卡片
@@M@@y^2=x^3+ax+b@@ 的曲线，其上的有理点可以”相加”，构成一个群。@@M@@L@@ 函数在 @@M@@s=1@@ 的首项系数，恰由周期、高度、Tamagawa 数、挠点与 Tate–Shafarevich 群之阶拼出的有理数。@@M@@L@@ 函数零点阶与有理点群的秩，定理证明两者相等。看个具体例子
公式卡（取最干净的特例 @@M@@r=0@@，即”零会员”曲线）：
@@M@@DL(E,1)=\frac{\Omega_E\cdot\#\mathrm{Sha}(E/\mathbb{Q})\cdot\prod_\ell c_\ell(E)}{\#E(\mathbb{Q})_{\mathrm{tors}}^2}@@
若误差项平凡（@@M@@\#\mathrm{Sha}=1@@）、无挠点、各 Tamagawa 数全为 1，它就缩成 @@M@@L(E,1)=\Omega_E@@——”心跳幅度恰等于周期”。定理的分量在于：只要某个素数 @@M@@q@@ 处 Selmer 余秩是 0 或 1，这个等式就无条件成立，连每个素因子的幂次都完全吻合；而以往同类结果总要附加好约化、剩余表示不可约等条件。
为什么值得关心
千禧年七大难题之一，首次在一大类椭圆曲线上无附加条件地兑现”含全部素因子”的精确公式。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里那张”能做加法的会员名单”，对象是椭圆曲线上全体有理点，操作是弦切规则下的加法；”心电图”是把曲线在每个素数处的信息打包成一个无穷乘积后，观察它在中心点的性态。”数出会员人数”就是把心电图零点的阶与名单的秩对应，”心跳幅度”则是零点处展开的首项系数。
第二级台阶
精确化三个概念：椭圆曲线的有理点群是有限生成阿贝尔群，其自由部分维数称代数秩；L 函数在中心点 s=1 的零点阶称解析秩；全 p-幂 Selmer 群是用局部 Kummer 条件从伽罗瓦上同调中切出的交换群，其 ℤ_p-余秩是衡量”找有理点难度”的代数仪表。BSD 公式断言首项系数恰由周期、高差体积、Tamagawa 数、挠点平方与 Tate–Shafarevich 群之阶拼出。
第三级台阶
定理 1.1 陈述于模态定理（保证 L 函数解析延拓）的语境下，唯一假设是某素数 q 处 Selmer 余秩为 0 或 1——它同时挡住高秩失控与 Tate–Shafarevich 群不有限的麻烦，并代替了以往必需的剩余表示不可约、好约化等全部局部条件。结论是代数秩等于解析秩等于该余秩、Tate–Shafarevich 群有限，且首项公式精确到每个素因子的幂次。导读说的”会员极少时一步不差”，正是这唯一门槛无条件兑现含全部素因子的积分 BSD 等式。
对 @@M@@\mathbb{Q}@@ 上任意椭圆曲线，只要某个素数 @@M@@q@@ 处的全 @@M@@q@@-幂 Selmer 群余秩为 @@M@@0@@ 或 @@M@@1@@，就证明了解析秩与 Mordell–Weil 秩都等于该余秩、Tate–Shafarevich 群有限，且含全部素因子的完全 BSD 首项公式无条件成立。
BSD 猜想（Birch–Swinnerton-Dyer conjecture）断言：椭圆曲线 @@M@@L@@-函数在中心点 @@M@@s=1@@ 的首非零泰勒系数由实周期、Mordell–Weil 群的高差体积（regulator）、Tamagawa 数（Tamagawa number）、挠子群与 Tate–Shafarevich 群之阶共同给出。Gross–Zagier 公式与 Kolyvagin 欧拉系统早已给出解析秩至多一时的秩等式与 @@M@@\mathrm{Sha}@@ 有限性，但零点阶数加有限性并不能确定首项系数本身：还需逐素数比较整系数信息，这就是”积分 BSD”难题。此前的整系数结果——Rubin 的 CM 主猜想、Kato 的 zeta 元素、Skinner–Urban、Jetchev–Skinner–Wan 等——都附加剩余表示不可约、半稳定或好约化等条件，无法对所有曲线、所有素数同时给出精确公式。本文以”某个全 Selmer 群余秩低”为唯一门槛，去掉了全部附加假设。
设 @@M@@\Sel_{p^\infty}(E/\mathbb{Q})@@ 为全 @@M@@p@@-幂 Selmer 群（Selmer group），记 @@M@@s_q(E)=\corank_{\mathbb{Z}_q}\Sel_{q^\infty}(E/\mathbb{Q})@@，@@M@@a(E)=\ord_{s=1}L(E,s)@@，@@M@@r(E)=\rank E(\mathbb{Q})@@。主定理（定理 1.1）：若对某素数 @@M@@q@@ 有 @@M@@s_q(E)\in\{0,1\}@@，则
@@M@@Dr(E)=a(E)=s_q(E),\qquad \#\mathrm{Sha}(E/\mathbb{Q})<\infty,@@
且以含两个实连通分支的周期 @@M@@\Omega_E@@、全格 @@M@@\Reg_E@@、全部有限素处的分量数 @@M@@c_\ell(E)@@ 归一化后，
@@M@@D\frac{L^{(r)}(E,1)}{r!}=\frac{\Omega_E\,\Reg_E\,\#\mathrm{Sha}(E/\mathbb{Q})\prod_{\ell}c_\ell(E)}{\#E(\mathbb{Q})_{\rm tors}^{2}}.@@
公式对约化类型、有理挠子群、同源、复乘（complex multiplication）与剩余伽罗瓦表示均无附加假设。秩与有限性部分由同族”Selmer 逆定理”篇供给，@@M@@2@@-进部分由”二进 BSD”篇供给，本文新证的是一切奇素数处的精确赋值。
固定奇素数 @@M@@p@@，令 @@M@@Q_E@@ 为把上式右边移到左边后的归一化商，定义偏差 @@M@@X_p(E)=v_p(Q_E)-v_p(\#\mathrm{Sha}(E/\mathbb{Q}))@@，目标是在每个奇素数处证明 @@M@@X_p(E)=0@@。证明拆成两个互补输出。
第一步（第 5 节）证单边不等式：非复乘曲线若 @@M@@a(E)\le1@@ 则 @@M@@X_p(E)\ge0@@。先按 Kato 的构造，在带独立挠点的模曲线 @@M@@Y(n_1,n_2)@@ 上用他的 Siegel 型单元函数造出整体上同调类，经相对上同调的整格引理推入 @@M@@T_pE@@ 系数的伽罗瓦上同调；这些类活在整环 @@M@@R=\mathbb{Z}_p[[t,u_1,\dots,u_m]]@@ 上的有限自由复形模型里，@@M@@t@@ 为分圆变量，@@M@@u_i@@ 为”移动素数”引入的驯顺变量。再用 Chebotarev 选取 Frobenius 趋于幂单矩阵的辅助素数，以欧拉系统导子类做”线性切换”，证得归一化行列式坐标 @@M@@U\in R@@。中心值的识别分两种情形：秩零用对偶指数映射与周期公式（坐标正比于 @@M@@L(f,\nu,1)/\Omega_0@@）；秩一用一条精确的驯顺高差（tame height）对数比较，配合谱恒等式与 Gross–Zagier 公式完成。最后由整 Poitou–Tate 正合列逐项装配，被省略的 Euler 因子恰与局部 Haar 恒等式抵消，得 @@M@@X_p(E)=v_p(U(0))\ge0@@。
第二步（第 6–10 节）证配对恒等式。用挠曲线密度定理选虚二次域 @@M@@K=\mathbb{Q}(\sqrt D)@@，使 @@M@@E@@ 与其虚二次挠 @@M@@E^D@@ 的解析秩互补（和为 1）。设 @@M@@p=w\bar w@@ 在 @@M@@K@@ 中分裂，令 @@M@@L_w@@ 为”@@M@@w@@ 处取严格零条件、@@M@@\bar w@@ 处取全条件”的 Selmer 复形之行列式，@@M@@B_w@@ 为由普通（ordinary）模曲线上构造的整对数原函数沿环类域 CM 点做类群求和所得的有界解析级数，商 @@M@@U_w=B_w/L_w@@。先在高特征标处做局部比较与水平切换证可除性，经 Weierstrass 除法得 @@M@@U_w\in R@@；再以 Chai–Hida 刚性定理与 Zarhin 同源定理导出的单塑性（monodromy）论证证 @@M@@p\nmid B_w@@。剩余的水平因子由 @@M@@\theta@@ 级数排除：在特征零除子处，@@M@@\theta@@ 级数与尖点形式的比较产生满足单边严格条件的非零上同调类，配合非增广特征测试与乘积特征论证，证得两个商的主理想相等；继而添加足够多的新驯顺变量，使可能的同时严格跳跃余维至少为 2，而商的除子余维只能为 1，故无除子残留，@@M@@U_w@@ 成为单位。最后第 10 节在中心点计算严格复形的行列式体积，得到把 Heegner 点指标、挠群与全部 Tamagawa 数装配起来的精确等式，代入由限制纯量分解 @@M@@\mathrm{Res}_{K/\mathbb{Q}}E\sim E\times E^D@@ 与 Gross–Zagier 高度公式导出的实恒等式，得 @@M@@X_p(E)+X_p(E^D)=0@@。两个非负数之和为零，故 @@M@@X_p(E)=0@@；复乘曲线秩零时援引 Burungale–Flach 定理，秩一经配对归结为秩零。于是 @@M@@Q_E/\#\mathrm{Sha}@@ 是所有素数处赋值皆零的正有理数，只能等于 1，公式得证。
本文主结果暂无形式化证明，请以社区核验为准。它与同族两篇姊妹篇互相咬合：”Selmer 逆定理”篇提供任意素数处低余秩的秩等式与 @@M@@\mathrm{Sha}@@ 有限性，”二进 BSD”篇提供 @@M@@p=2@@ 的首项等式，本文补齐全部奇素数，三者相加才是完整公式；再配合 Selmer 分布的密度结果，可对每条固定曲线的密度一二次挠族给出完全 BSD。作者也强调低 Selmer 余秩假设不可简单换成 Mordell–Weil 秩假设。按 OpenAI 官方声明，未经形式化的结果可能有问题，且本文论证链条极长，宜以社区核验为准。
问 1：证明里最脆弱的一环在哪里？
答：配对恒等式 X_p(E)+X_p(E^D)=0（第 1.3 节）。单边不等式只需商是整元素，配对一步却要求 U_w 是环 R 的单位：必须先用 θ 级数比较排除水平除子，再添加新驯顺变量使”同时严格跳跃”余维至少为 2，而除子余维只能为 1（第 1.4 节流程图）。这一步组合性最强、链条最长，是审稿最该用力处。
问 2：为什么假设必须是”某素数 q 处 Selmer 余秩为 0 或 1”，不能换成 Mordell–Weil 秩低？
答：第 1.1 节明确声明该假设不可由 Mordell–Weil 秩假设替代。整个论证以 Selmer 复形在 R=ℤ_p[[t,u_1,…,u_m]] 上的有限自由模型为骨架，驯顺变量切换与剩余上同调测试都在 Selmer 层面操作；秩条件只控制有理点，不控制挠上同调，无从启动这些积分比较。
问 3：与 Kato、Skinner–Urban、Jetchev–Skinner–Wan 相比真正的新意是什么？
答：无条件的奇素数精确赋值。此前整系数结果分别需要剩余表示不可约或半稳定好素数（第 1.2 节），且 Kato 元素只给整除性；本文把比较提升为精确等式，并发明驯顺变量下的剩余测试与非增广 θ 测试（允许 p-水平增长）这些新工具（第 1.4 节）。
问 4：秩等式与 Sha 有限性是本文自证的吗？
答：不是。第 1.1 节写明二者来自同族姊妹篇：任意素数低余秩逆定理给秩与有限性，二进 BSD 篇给 p=2 首项；本文新证的只是一切奇素数处赋值。三篇咬合方成完整公式——姊妹篇若有误则本文随之失效，单独核验本文并不足够。
问 5：这类 AI 生成的超长证明最可能出错的模式是什么？
答：”引用即成立”式断言：Chai–Hida 刚性推论的适用范围、p-水平增长时位置切割矩的一致界（第 7–8 节）是否真落在所引定理的结论范围内，论文未逐条复核。局部引理各自貌似合理、拼装处差一个指标或一个可除性方向，是此类证明的典型死法。
问 6：谁会用到这个结果？
答：BSD 方向的直接下游：配合 Smith 的 Selmer 分布与挠曲线密度定理，可对每条固定曲线的密度一二次挠族给出完全 BSD（摘要）；CM 情形则援引 Burungale–Flach 的秩零公式补齐（第 1.2 节）。它也是千禧年问题在”无条件”方向上的实质收窄。
总评
若核验通过，这是 BSD 猜想首个在一大类椭圆曲线上无附加条件的完全首项公式，分量极重；但它横跨欧拉系统、刚性定理与 θ 级数矩估计，且依赖两篇姊妹篇，θ-单位论证与矩估计处最易藏错，社区逐节核验前宜保持谨慎。