P5 Rank-2 Scalar Collapse and Archimedean Comparison Boundary

導入 01 篇的 Sha[11^∞]=0 之後,強 BSD 首項公式的算術側(Sha、Tamagawa、torsion)11-primary 貢獻全部平凡,問題因此收斂成一個實數量:B_∞(E) := [L''(E,1)/2!] / [Ω_E·Reg^NT(E)]。文件證明 Proposition 2.1:一旦 B_∞(E) 有一個 canonical 有理實現,強 BSD 的 11-primary 賦值命題就等價於 v_11(B_∞(E))=0。但接著指出更根本的問題——B_∞(E) 一開始只是一個實數,對一般實數沒有 canonical 的 v_11 運算,所以命題必須先過「有理性」關卡(P5-RAT: B_∞(E)∈ℚ×)才輪到「賦值」關卡(P5-VAL11)。文件逐一審計四條可能捷徑(Burns-Kurihara-Sano 的 Generalized Perrin-Riou、Castella-Hsieh 的 rank-2 Kato classes、Chan-Ho Kim 的 higher Gross-Zagier、Kim-Pollack 的精細 Tamagawa 猜想),結論是它們都提供了強大的 Selmer/離散側工具,但沒有一個提供缺失的「複數高階導數 → 古典 Néron-Tate 行列式」archimedean 比較。用 LMFDB 顯示數值算出 B_∞^disp(E)≈1.0000000000000000000003,自然候選是 B_∞(E)=1,但文件明確強調這不是證明——任意強的實數近似不蘊含精確相等,除非有離散性/有理性定理。文件給出一條具體逃逸路線(Lemma 7.1):若能證明 B_∞(E)=a/b 且分母界 B,再配合足夠精細的區間計算 |B_∞(E)-1|<1/(2B²),就能用有理分離嚴格逼出等式。