结果族 002：The full BSD formula from low Selmer corank · 学科：Number theory · 验证状态：暂无形式化证明，请以社区核验为准
鉴定一件古董，正规做法是”看证书”（解析侧的 L 函数）推断实物（曲线上的有理点）。这篇论文反着来：只看实物这边的粗略盘点表——某个素数处的 Selmer 余秩是 0 还是 1——就能断定证书上必然写着什么，对任何素数、任何椭圆曲线都灵。顺手还解决了一类素数的”两块立方体积木拼图”问题。
关键词卡片
@@M@@y^2=x^3+ax+b@@ 形状的曲线，其有理点可做加法、构成群。@@M@@L@@ 函数在中心点的正负号，决定零点个数的奇偶。看个具体例子
把主定理代入素数 @@M@@\ell=7@@（满足 @@M@@\ell\equiv 7\pmod 9@@）：三次曲线 @@M@@X^3+Y^3=7Z^3@@ 的秩为 1、误差项有限，故必有有理解。7 这一个体例子肉眼可凑，如下方拼图：
7 的分解一眼可见，单靠定理并不稀奇；稀奇的是它对所有 @@M@@\ell\equiv4,7,8\pmod 9@@ 的素数一律成立——包括在最难的”加性素数 3”上运用定理推出的那些。
为什么值得关心
它一举解决了 Sylvester 立方和问题的一整类情形（哪些素数是两个有理立方数之和），而且对约化类型、复乘、剩余表示一概零假设。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的”古董鉴定”里，实物是椭圆曲线及其有理点，证书是曲线的 L 函数；经典方法从证书读出实物的性质，本文反着走：只看实物一侧的粗略盘点表——某个素数处的 Selmer 余秩是 0 还是 1——就断定证书上必然写着什么。导读的”立方体积木拼图”则是这条逆命题落到具体三次曲线上的一枚应用。
第二级台阶
精确化概念：全 p-幂 Selmer 群由局部 Kummer 条件从伽罗瓦上同调切出，经正合列同时装着”有理点张成的部分”与 Tate–Shafarevich 群的可除 p-部分，其 ℤ_p-余秩 s_p 是代数侧的盘点读数；解析秩 a 是 L 函数在中心点 s=1 的零点阶；根数则是中心点符号，决定零点个数的奇偶。
第三级台阶
定理（无限制 Selmer 逆命题）陈述在模态定理给出 L 函数解析延拓的语境下：对任意椭圆曲线、任意素数 p，只要 s_p 为 0 或 1，就同时挡住两件麻烦——有理点秩超过读数、Sha 中藏着无限的可除 p-部分；且不需要任何好约化、普通性、剩余表示不可约假设。结论是解析秩与 Mordell–Weil 秩都恰等于该读数，而且整个 Sha（不止 p-部分）有限。在加性素数 3 处用它配合 Satgé 下降与根数符号，即得每个 ℓ≡4,7,8 (mod 9) 都是两个有理立方数之和。
对 @@M@@\mathbb{Q}@@ 上任意椭圆曲线与任意素数 @@M@@p@@：只要全 @@M@@p@@ 幂 Selmer 群的 @@M@@\mathbb{Z}_p@@-余秩为 @@M@@0@@ 或 @@M@@1@@，则 @@M@@L@@-函数的解析秩与 Mordell–Weil 秩都恰等于它，且整个 Tate–Shafarevich 群有限；由此统一推出每个素数 @@M@@\ell\equiv4,7,8\pmod9@@ 都是两个有理立方数之和。
Birch 与 Swinnerton-Dyer 的猜想（BSD）断言：椭圆曲线 @@M@@L@@-函数在中心点 @@M@@s=1@@ 的消没阶等于有理点群（Mordell–Weil 群）的秩。经典成果都是从解析侧推向算术侧：Coates–Wiles 处理复乘（CM）情形，Gross–Zagier 公式与 Kolyvagin 的 Euler 系统证明解析秩至多为一时秩相等且 @@M@@\mathrm{Sha}@@ 有限。反方向的”Selmer 逆命题”（Selmer converse，又称 @@M@@p@@-converse）则问：若某素数 @@M@@p@@ 处的全 @@M@@p@@ 幂 Selmer 群 @@M@@\Sel_{p^\infty}@@ 余秩为 @@M@@0@@ 或 @@M@@1@@，能否反推解析秩与代数秩恰好等于它？此前最强的结果——Skinner–Urban、Skinner、张伟以及 Burungale–Castella–Skinner、Keller–Yin、Castella–Wan、Burungale–Tian 等的系列推进——总要附加条件：@@M@@p@@ 是好普通（ordinary）素数、剩余表示（residual representation）不可约、附加分歧假设、半稳定或 CM 等。本文把这些限制一次性全部去掉。
主定理（无限制低余秩 Selmer 逆命题）：对每条椭圆曲线 @@M@@A_0/\mathbb{Q}@@、每个素数 @@M@@p@@ 与每个 @@M@@r\in\{0,1\}@@，若全 @@M@@p@@ 幂 Selmer 群的 @@M@@\mathbb{Z}_p@@-余秩 @@M@@s_p(A_0)=r@@，则解析秩 @@M@@a(A_0)=\ord_{s=1}L(A_0,s)@@ 与 Mordell–Weil 秩都等于 @@M@@r@@，且整个 Tate–Shafarevich 群 @@M@@\#\mathrm{Sha}(A_0/\mathbb{Q})<\infty@@。对约化类型、复乘、剩余 Galois 表示、有理挠与有理同源（isogeny）一概不作假设。由 Kummer 正合列
@@M@@D0\to A_0(\mathbb{Q})\otimes\mathbb{Q}_p/\mathbb{Z}_p\to\Sel_{p^\infty}(A_0/\mathbb{Q})\to\mathrm{Sha}(A_0/\mathbb{Q})[p^\infty]\to0@@
余秩同时探测 Mordell–Weil 秩与 @@M@@\mathrm{Sha}@@ 的可除部分，故这里的有限性覆盖全部素数部分；但定理不给出精细 BSD 公式的首项系数——那是同族姊妹篇的任务。
应用（Sylvester 立方和问题）：对每个素数 @@M@@\ell\equiv4,7,8\pmod9@@，三次曲线 @@M@@E_\ell:X^3+Y^3=\ell Z^3@@ 的解析秩与 Mordell–Weil 秩均为 @@M@@1@@，且 @@M@@\mathrm{Sha}(E_\ell/\mathbb{Q})@@ 有限；特别地存在有理数 @@M@@x,y@@ 使 @@M@@x^3+y^3=\ell@@。关键在于结论在 @@M@@p=3@@——这些曲线的加性约化（additive reduction）素数——上使用定理，而这正是带普通性假设的旧方法覆盖不了之处。
固定奇素数 @@M@@p@@（@@M@@p=2@@ 直接引用配套论文已确立的逆命题）并设 @@M@@s_p(A_0)\in\{0,1\}@@。先做算术归约：用配套的解析扭密度定理选取互素的基本判别式 @@M@@D,D'@@，使虚二次域 @@M@@K=\mathbb{Q}(\sqrt D)@@ 与双二次 CM 场 @@M@@L=\mathbb{Q}(\sqrt D,\sqrt{D'})@@ 满足 Heegner 假设，且三条二次扭的解析秩都取根数（root number）允许的最小值；于是 @@M@@A_0@@ 及其辅助扭在 @@M@@K@@ 上的紧 Selmer 空间都是一维，后者由非挠点生成。问题化为：只要导子 @@M@@1@@ 的 Heegner 迹 @@M@@y\in A_0(K)@@ 非挠，Gross–Zagier 加 Kolyvagin 立即完成。反设 @@M@@y@@ 挠，去制造 Selmer 假设容不下的多余 Galois 扩张。
再证上界。取一列在 @@M@@L@@ 中完全分裂的辅助素数 @@M@@q_i@@ 与环类群（ring class group）的循环 @@M@@p@@ 商，经 @@M@@p@@ 进超滤极限得到取值于截断幂级数环 @@M@@R_b=k[t]/(t^b)@@、模 @@M@@t@@ 余 @@M@@1@@ 的驯特征 @@M@@\psi@@，并以”可容许上链”（admissible cochains）定义上同调。在 @@M@@p@@ 的一个赋值处取全局部条件、其共轭处取零条件，得单侧 Greenberg 群 @@M@@\mathcal H_b@@：若 Selmer 线在 @@M@@p@@ 处局部化非零则 @@M@@\mathcal H_b=0@@；否则为”严格情形”，用 Heisenberg 交换子构造非零的一阶提升障碍，配合系数正合列把一切类压进最高 @@M@@t@@-层，得 @@M@@\length_{R_b}\mathcal H_b\le2@@。两种情形都严格小于 @@M@@b_*@@（分别取 @@M@@1,3@@）。同时 @@M@@y@@ 挠的假设迫使加权 Heegner 对数（环类 Heegner 点局部对数的驯特征加权和）的前 @@M@@b_*@@ 个系数 @@M@@p@@ 进赋值趋于零。
然后是自守部分。在 @@M@@L@@ 的极大实子域的两个实赋值处、签名 @@M@@(3,1)@@ 的酉群上，用 Weil 振子表示与 Kudla–Rallis 的 theta 框架构造全纯 theta 族；代数平方恒等式把常项与环面周期（toric periods）挂钩，其中一个特例正是上述 Heegner 对数（循 Bertolini–Darmon–Prasanna 的逆微分算子方法）；一致积分矩估计使常项很小，一个正 Fourier–Jacobi 系数除性有界，防整个级数消失。几何输入是目标 PEL 模空间的普通轨迹（ordinary locus），而非 @@M@@A_0@@ 自身的好约化：借 Lan 与 Katz 的紧致化与普通形变框架，把 theta 提升为模 @@M@@p@@ 各次幂的真尖点形式，且积分系数格与 Hecke 迹保持整个截断驯环——只在单个特征处取同余，会丢掉测量长度的幂零参数 @@M@@t@@。
最后提下界。承 Ribet–Wiles 与 Castella–Liu–Wan 的 @@M@@\mathrm{GU}(3,1)@@ 构造，从尖点同余得四维特征零 Galois 表示，极限迹分离为 @@M@@V=T_pA_0\otimes\mathbb{Q}_p@@ 的二维扭曲与两个特征；用极限矩阵代数的角模（corner modules，承 Bellaïche–Chenevier 广义矩阵代数思想）记录成分间的扩张。两个关键：利用 @@M@@L@@ 单位秩为一排除多余分圆扩张商；在整个 Artin 环上验证严格局部条件。Fitting 理想计算给出 @@M@@\length_{R_{b_*}}\mathcal H_{b_*}\ge b_*@@，与上界矛盾，故 @@M@@y@@ 非挠。
Sylvester 应用的推导很短：Satg'e 的一对三次同源下降保留 @@M@@\mathrm{Sha}@@ 项，把 @@M@@E_\ell@@ 的全 @@M@@3@@ 幂 Selmer 余秩压到至多 @@M@@1@@；根数 @@M@@-1@@ 排除解析秩零，定理即给出秩 @@M@@1@@ 与 @@M@@\mathrm{Sha}@@ 有限，而非挠点 @@M@@Z@@ 坐标非零，除以 @@M@@Z^3@@ 便得立方和表示。
本文是 OpenAI 于 2026 年 9 月发布的预印本，主结果暂无 Lean 形式化证明；按 OpenAI 官方声明，未经形式化的结果可能存在问题，请以社区核验为准。证明以同项目配套论文（Goldfeld 密度方向）的两个定理为输入（@@M@@p=2@@ 的逆命题与解析扭密度），环环相扣；同族姊妹篇《Exact Birch–Swinnerton-Dyer Formula from Low Selmer Corank》在本文的秩相等与 @@M@@\mathrm{Sha}@@ 有限之上补全含全部素因子的 BSD 首项公式，《The two-primary Birch–Swinnerton-Dyer formula in Selmer corank at most one》专攻 @@M@@2@@ 部分主公式，三篇互相支撑构成结果族 002。另外，Sylvester 立方和的这些情形此前已由 Yin 与 Burungale–Tian 以直接 Heegner 点方法独立证得，与本文结论互为交叉印证。
问 1：证明里最关键、最脆弱的一步是什么？
答：第 1.2 节”两个不相容的长度”。上界用 Heisenberg 交换子与系数正合列把单侧 Greenberg 群压进最高 t-层，得长度不超过 2；下界经 Ribet–Wiles 式尖点同余与 Fitting 理想计算得长度至少为 b_*（1 或 3），矛盾推出 Heegner 迹非挠。整条链要在截断幂级数环上保精度——”只在单个特征处取同余，会丢掉测量长度的幂零参数 t”——这是全文最独特的也是最容易出错的承诺。
问 2：为什么读数必须限定 0 或 1？为什么整个 Sha 有限而不只是 p-部分？
答：论证骨架是”Gross–Zagier 加 Kolyvagin”，只在解析秩至多一时给出秩等式与有限性，读数更高时归约本身失效。至于有限性：定理先证秩等式，Kummer 正合列随即迫使一切素数幂处的 Selmer 余秩都等于同一秩，故可除部分处处消失，整个 Sha 有限——有限性是传导出来的，不是逐素数硬证的。
问 3：与 Skinner–Urban、Skinner、张伟等前人相比，新意究竟在哪？
答：去掉了全部旧门槛：好普通素数、剩余表示不可约、附加分歧假设（第 1.1 节逐一列举）。技术关键有二：几何输入改用目标 PEL 模空间的普通轨迹而非曲线自身的好约化；驯顺变量族让剩余表示可约、约化最坏时仍能测试剩余上同调。这两点在既有 p-converse 文献中均未出现。
问 4：论文对外部输入的依赖有多深？
答：很深。p=2 的逆命题与解析扭密度定理直接取自配套的 Goldfeld 密度论文（第 1.1 节末），自守部分靠 Labesse 基变换与一个非标准轨道积分的换特征原理（附录）。这些配套结果若有缺口，主定理随之失效——审稿必须连带核验。
问 5：这类 AI 生成的证明最可能在哪里出错？
答：精度衔接处。超滤极限给出的”可容许上链”只在一致增长的精度上满足恒等式；θ 提升声称模 p 各次幂保持整个截断驯环；酉群表示需在两个实赋值处同时验证符号性质。每一处都是”逐阶段成立、极限处差一档精度”型错误的温床，正是 AI 长证明的典型死法。
问 6：Sylvester 立方和是首次解决吗？谁会用到主定理？
答：不是首次：引言明说这些情形已由 Yin 与 Burungale–Tian 用直接 Heegner 点方法证得，此处只是交叉印证。真正的用户是同族姊妹篇——本文的秩等式与 Sha 有限性正是《Exact BSD Formula》补全首项公式的输入，三者合起来才是完全 BSD。
总评
这是 p-converse 问题的无限制解，若成立则一举终结该方向十余年的条件削减竞赛，并为完全 BSD 铺路；但它站在两篇配套论文与一个未形式化的非标准转移appendix之上，精度衔接处的任何一档滑动都会让整个矛盾论证失效，分量与风险同样巨大。