← 壓力測試 / 07 · 下一輪義務

BSD 壓力測試 07 · 下一輪義務 2026-09-08

下一輪精確義務與驗收條件

列出四項具體下一步。第一優先:補回指定 Kurihara 證書(P¹(F389) 的 390 個生成元、關係矩陣、rank 325、Hecke 作用與 plus 包涵定義、eigenspace 維數 1 證書、路徑分解與 δ=6 的可逐段重播求和)。數學前沿:指定 filtered Selmer complex 與到環境 Galois 複形的 morphism、Bockstein square 交換性、增廣次數對接。複數 GPR 保持獨立:若採有理重建,需先獨立於 BSD 的有理性與分母上界。低秩分支(696.e1)的獨立交付。最後明確列出重啟與停止條件:只增加 L 值精度、把 mixed line 改名、換同類曲線的素數、把 IMC 重述為另一個未證比較,若連續三輫只有這些變化,立即停止該路線。

四項具體下一輪義務:補回指定 Kurihara 證書、指定 filtered Selmer complex morphism、複數 GPR 保持獨立、696.e1 分支獨立交付;並明確定義三輫只增精度或改名即停止的重啟條件 未宣稱證明或否證 BSD,未宣稱任何實際 GLM 供應商執行——文中明確要求不得先把這三項當成自己輸入來驗證自己。2026-09-10 補充:第一優先項目已有後續,見第十二篇〈有限 Kurihara 證書〉;本篇原始四項義務清單維持原樣,不因此追溯修改。

連接 · Connections

載入中…