← P5 / 00 · Rank-Uniform Zeta-Primitivity Bridge

P5 · 00 v0.1 2026-08-14 奠基文件

BSD 的全域壓縮與高秩不可約前線:Rank-Uniform Zeta Primitivity Reduction

整條 P5(乃至後續 BSD 高秩研究)的架構起點。文件先把 BSD 拆成三層不可偷換的命題:BSD-W(秩相等 r_alg=r_an)、BSD-F(Sha 有限)、BSD-S(首項係數公式)。接著證明兩個方法論 no-go:第一,把「BSD 對所有曲線成立」寫成單一非負全域量(faithful positive atomic compression)雖然邏輯上等價,但「缺陷量為零」本身仍需要全新的算術消失機制,量詞壓縮不是證明複雜度崩塌;第二,格點化或函數列極限不保零點重數(給出顯式反例 f_a(z)=z(z+a)→z²,序方重數從 1 跳到 2),因此任何從格點/離散 L-function 直接取極限推出 BSD 的路線,都必須另證 multiplicity stabilization theorem——這正是文件稍後(見 05 篇)否決 Neo.K 舊「格點秩收斂」主張的理論依據來源。正向部分,文件定義證書階梯 C0(身分)到 C10(family 定理),並提出 Rank-Uniform Global Zeta-Primitivity Bridge(RUGZPB,R1-R8 八個條件),證明條件式定理 13.1:若 RUGZPB 對某曲線成立,則該曲線的完整 BSD(BSD-W+BSD-F+BSD-S)同時成立。文件明確聲明這不是 BSD 證明——RUGZPB 本身仍是 open 的 candidate theorem target,定理 13.1 只是把散落的高秩義務壓縮成一個可逐條攻擊、可形式化、可失敗的介面。文件最後選定 389.a1(rank 2)為 wall probe,並留下 P1-P7 七項後續證明義務,其中 P4(單一質數 rank-2 closure)正是後續 v0.2 RUGZPB 更新與整條 P5 v0.3-v1.3 系列的直接起點。

定理 13.1:∀E/ℚ, RUGZPB(E) ⟹ BSD(E)——條件式歸約,不是 BSD 證明 — 包內文件自陳的階段性狀態,原樣照登。

連接 · Connections

跟其他文件的關係,盡量用它自己文件裡的話,不是我的解讀。

P5 進度1 / 10
「本文的最終裁決不是:BSD solved。而是:BSD 的當前高秩全域前線,可被壓縮為 rank-uniform analytic-to-integral zeta-primitivity bridge。」— 摘自本文「26. 結論」。

載入中…