← P5 / 04 · IMC 閉合與 GPR 橋接
本篇的主結果是把「(389.a1,11) 的完整 cyclotomic Iwasawa 主猜想不再是 open 閘門」——Burungale-Castella-Skinner 定理適用於 p>3 好序約化、殘餘不可約的橢圓曲線,但需要一個額外的像條件:存在 σ 固定 ℚ(μ_p^∞) 使 T/(σ-1)T≅ℤ_p。文件用最大 11-adic 像(GL₂(ℤ₁₁))顯式構造么冪元素 u=[[1,1],[0,1]] 驗證此條件——由 Weil 配對推出 det u=1 意味著對應的 σ 固定整個 cyclotomic 擴張,再直接算 (u-1)T=ℤ₁₁e₁ 得 T/(u-1)T≅ℤ₁₁,證畢。結合前面已閉合的 Sha[11^∞]=0、rank=2>0、殘餘不可約自動滿足 BKS 標準假設包,文件推出 P5-ALG₁₁=CLOSED UP TO UNIT(代數 Iwasawa-to-Bockstein 關係閉合到一個 11-adic 單位)。文件同時清楚劃出兩個不能混淆的導數方向——cyclotomic p-adic 導數 D²_cyc L₁₁(E) 與複數譜參數導數 d²/ds² L(E,s)|_{s=1}——任何 Kurihara 導數或 Iwasawa characteristic element 都不會自動識別這兩者,這正是缺失的 rank-2 Generalized Perrin-Riou(GPR)比較,文件標記 P5-GPR11=OPEN,是目前主要的概念性障礙。另外分離出一個純有限計算的 Bockstein 非零閘門 P5-BOC-NZ11,包內附的 SageMath 腳本因執行環境沒有 SageMath 而誠實標記為 PENDING_LOCAL_SAGE_REPLAY,不冒充已完成。
跟其他文件的關係,盡量用它自己文件裡的話,不是我的解讀。
「A nonzero Kurihara derivative, a Mazur-Tate augmentation coefficient, or an Iwasawa characteristic element does not by itself identify these two derivatives。」— 摘自本文「6.2 兩個導數方向必須不被混淆」。
載入中…