← BSD 猜想 · P5
單一質數強 BSD 首項公式 · 2026-08-14 · 進度到行列式 Kurihara 半局部閉合,核心比較仍 OPEN
Rank-2 曲線 389.a1 在單一質數 p=11 的強 BSD 首項公式研究。不宣稱證明 BSD,也不把數值吻合當證明。 這條子線從 Rank-Uniform Zeta-Primitivity Bridge 的架構定義出發, 經精確有限體計算(Manin symbols、Hecke 本徵空間、Kurihara witness)閉合 Sha(E/ℚ)[11^∞]=0, 逐步把「證明強 BSD」壓縮成「證明 uGPR11 = P5-INT11 ∧ P5-PRIM11 兩個位元」, 再從 397、991 兩個異常質數的局域化角度切入,目前進度到行列式 Kurihara 半局部閉合—— 核心的複數首項/正則子比較(P5-CANON-BocID、P5-CPLX-GPR)仍是 OPEN。
十篇文件依序而讀——每一篇是下一篇的前提,建議照順序看。編號延用文件內部的版本號跳躍 (v0.6 之後直接接 v0.8,是套件本身沒有獨立打包 v0.7,原文引用可在 06 篇正文找到)。 2026-09-08 有一份針對本系列的獨立壓力測試,修復了 09 篇留下的 primitive 前提缺口, 並為手定義的範數矩陣找到真正的上同調來源——核心的 P5-CANON-BocID、P5-CPLX-GPR 仍 OPEN。