> 本文為英文原文的全文譯本。研究主張仍以原文為權威來源；翻譯不代表獨立數學驗證。 # 完美長方體 Radical-FDRS R20 ## 精確壞素數局部高度集合、粗 $\Omega$ 飽和與耦合局部像更正 **系列：** 完美長方體全域閉合 **分支：** Radical-FDRS / 幾何耦合分支 R **階段：** R20 — 壞素數局部高度層 **日期：** 2026-10-05 **狀態：** 精確局部約化表與定理層級 $\Omega$ 計算；根孤立尚未閉合 --- # 0. 執行摘要 R19 跨越全域 $11$-進高度障礙，校準明確雙橢圓二次 Chabauty 所需的兩個秩一橢圓方向。 剩餘任務是確定有限壞素數值集合 $$ \Omega $$ 出現在明確定理中，接著求解 $$ \rho(z)=\omega, \qquad \omega\in\Omega $$ 在單一原型 $11$-進剩餘圓盤內進行。 R20 計算完整的定理層級壞素數資料。 正準虧格-$2$ 曲線為 $$ \boxed{ \mathcal H: \qquad \mathcal Y^2 = a_6r^6+a_4r^4+a_2r^2+a_0, } $$ 其中 $$ \boxed{ a_6=-M^2, \qquad a_4=4M^2, } $$ $$ \boxed{ a_2=-(4M^2+L^2), \qquad a_0=2L^2, } $$ 其中 $$ M=950625, \qquad L=1352033. $$ 明確雙橢圓商曲線為 $$ \boxed{ E_1: \quad y_1^2 = x_1^3+a_4x_1^2+a_2a_6x_1+a_0a_6^2, } $$ 且 $$ \boxed{ E_2: \quad y_2^2 = x_2^3+a_2x_2^2+a_4a_0x_2+a_6a_0^2. } $$ 對一個壞素數 $$ q\ne11, $$ 明確雙橢圓二次 Chabauty 定理，給出有限上界集合 $$ \boxed{ \Omega_q = \left( -W_q^{E_1} + W_q^{E_2} + \{ -n\log q \} \right) \cup \left( \log|a_0|_q-W_q^{E_1} \right) \cup \left( -\log|a_6|_q+W_q^{E_2} \right), } $$ 其中第一項的整數範圍為 $$ \boxed{ -v_q(a_6) \le n \le v_q(a_0), \qquad n\equiv0\pmod2. } $$ 全域有限目標接著為 $$ \boxed{ \Omega = \left\{ \sum_{q\ {\rm bad}} \omega_q : \omega_q\in\Omega_q \right\}. } $$ R20 精確計算每個局部集合 $$ W_q^{E_1}, \qquad W_q^{E_2} $$ 如上式。 主要技術工具，是直接實作 Tate 演算法，並使用有限局部 Néron 高度公式。 對極小分裂乘法型纖維，類型為 $$ I_n, $$ 有限局部值為 $$ \boxed{ -\frac{j(n-j)}{n}\log q, \qquad j=0,\ldots,n-1. } $$ 對非極小整數模型，局部集合會依判別式比修正而平移並擴大。 精確約化表為： | $q$ | $E_1$ 極小類型 | $v_q(\delta_1)$ | $E_2$ 極小類型 | $v_q(\delta_2)$ | |---:|---|---:|---|---:| | $2$ | 分裂 $I_8$ | $12$ | 分裂 $I_{10}$ | $12$ | | $3$ | 好約化 | $12$ | 非分裂 $I_4$ | $0$ | | $5$ | 好約化 | $24$ | 分裂 $I_8$ | $0$ | | $7$ | 分裂 $I_2$ | $0$ | 分裂 $I_2$ | $0$ | | $13$ | 好約化 | $12$ | 分裂 $I_4$ | $0$ | | $29$ | 分裂 $I_2$ | $0$ | 分裂 $I_2$ | $0$ | | $37$ | 分裂 $I_2$ | $0$ | 分裂 $I_2$ | $0$ | | $73$ | 分裂 $I_4$ | $0$ | 分裂 $I_8$ | $0$ | | $18521$ | 分裂 $I_4$ | $0$ | 分裂 $I_8$ | $0$ | 其中 $$ \delta_i = \frac{\Delta(E_i)} {\Delta(E_{i,\min})}. $$ 所得精確有限局部高度集合，以下列量的有理係數寫成： $$ \log q, $$ 列於下方。 --- # 1. 局部高度集合：$E_1$，$q=2$ 處 極小纖維為分裂 $$ I_8. $$ 極小模型值為 $$ \boxed{ \left\{ 0, -\frac78, -\frac32, -\frac{15}{8}, -2 \right\}. } $$ 原始定理模型具有 $$ v_2(\delta_1)=12. $$ 經非極小模型修正後， $$ \boxed{ W_2^{E_1} = \left\{ 0, -2, -\frac{23}{8}, -\frac72, -\frac{31}{8}, -4 \right\}\log2. } $$ --- # 2. 局部高度集合：$E_2$，$q=2$ 處 極小纖維為分裂 $$ I_{10}. $$ 其極小值為 $$ \boxed{ \left\{ 0, -\frac9{10}, -\frac85, -\frac{21}{10}, -\frac{12}{5}, -\frac52 \right\}. } $$ 其中 $$ v_2(\delta_2)=12, $$ 定理模型集合為 $$ \boxed{ W_2^{E_2} = \left\{ 0, -2, -\frac{29}{10}, -\frac{18}{5}, -\frac{41}{10}, -\frac{22}{5}, -\frac92 \right\}\log2. } $$ --- # 3. 素數 $q=3$ 對於 $$ E_1, $$ 定理模型在以下判別式比指數後，成為好約化： $$ 12. $$ 因此 $$ \boxed{ W_3^{E_1} = \{0,-2\}\log3. } $$ 對於 $$ E_2, $$ 極小纖維為非分裂 $$ I_4 $$ 其有理分量群的階為 $$ 2. $$ 因此 $$ \boxed{ W_3^{E_2} = \{0,-1\}\log3. } $$ --- # 4. 素數 $q=5$ 對於 $$ E_1, $$ 極小模型具有好約化，且 $$ v_5(\delta_1)=24. $$ 故 $$ \boxed{ W_5^{E_1} = \{0,-2,-4\}\log5. } $$ 對於 $$ E_2, $$ 纖維為分裂 $$ I_8. $$ 因此 $$ \boxed{ W_5^{E_2} = \left\{ 0, -\frac78, -\frac32, -\frac{15}{8}, -2 \right\}\log5. } $$ --- # 5. 素數 $q=7$ 兩條商曲線皆具有分裂 $$ I_2 $$ 約化。 因此： $$ \boxed{ W_7^{E_1} = W_7^{E_2} = \left\{ 0,-\frac12 \right\}\log7. } $$ --- # 6. 素數 $q=13$ 對於 $$ E_1, $$ 極小模型具有好約化，且 $$ v_{13}(\delta_1)=12. $$ 因此 $$ \boxed{ W_{13}^{E_1} = \{0,-2\}\log13. } $$ 對於 $$ E_2, $$ 纖維為分裂 $$ I_4. $$ 故 $$ \boxed{ W_{13}^{E_2} = \left\{ 0,-\frac34,-1 \right\}\log13. } $$ --- # 7. 素數 $q=29$ 與 $q=37$ 兩條商曲線在兩個素數處皆具有分裂 $$ I_2 $$ 約化。 因此： $$ \boxed{ W_{29}^{E_1} = W_{29}^{E_2} = \left\{ 0,-\frac12 \right\}\log29, } $$ 以及： $$ \boxed{ W_{37}^{E_1} = W_{37}^{E_2} = \left\{ 0,-\frac12 \right\}\log37. } $$ --- # 8. 素數 $q=73$ 對於 $$ E_1, $$ 纖維為分裂 $$ I_4, $$ 因此： $$ \boxed{ W_{73}^{E_1} = \left\{ 0,-\frac34,-1 \right\}\log73. } $$ 對於 $$ E_2, $$ 纖維為分裂 $$ I_8, $$ 因此： $$ \boxed{ W_{73}^{E_2} = \left\{ 0, -\frac78, -\frac32, -\frac{15}{8}, -2 \right\}\log73. } $$ --- # 9. 素數 $q=18521$ 約化模式與 $q=73$ 情形相同。 因此： $$ \boxed{ W_{18521}^{E_1} = \left\{ 0,-\frac34,-1 \right\}\log18521, } $$ 以及： $$ \boxed{ W_{18521}^{E_2} = \left\{ 0, -\frac78, -\frac32, -\frac{15}{8}, -2 \right\}\log18521. } $$ --- # 10. 定理層級 $\Omega_2$ 乘以下列對數的精確係數集合： $$ \log2 $$ 為 $$ \boxed{ \left\{ -\frac92, -\frac{22}{5}, -\frac{41}{10}, -\frac{18}{5}, -\frac{29}{10}, -\frac52, -\frac{12}{5}, -\frac{21}{10}, -2, -\frac{13}{8}, -\frac85, -\frac{61}{40}, -\frac{49}{40}, -1, -\frac9{10}, -\frac{29}{40}, -\frac58, -\frac35, -\frac{21}{40}, -\frac12, -\frac25, -\frac9{40}, -\frac1{10}, -\frac1{40}, 0, \frac{11}{40}, \frac25, \frac35, \frac78, \frac{39}{40}, 1, \frac{11}{10}, \frac32, \frac{15}{8}, 2, \frac52, \frac{23}{8}, 3, \frac72, \frac{31}{8}, 4 \right\}. } $$ 因此： $$ \boxed{ |\Omega_2|=41. } $$ --- # 11. 定理層級 $\Omega_3$ 係數集合為 $$ \boxed{ \{-1,0,1,2,3,4,5,6\}. } $$ 故： $$ \boxed{ |\Omega_3|=8. } $$ --- # 12. 定理層級 $\Omega_5$ 係數集合為 $$ \boxed{ \left\{ -2, -\frac{15}{8}, -\frac32, -\frac78, 0, \frac18, \frac12, \frac98, 2, \frac{17}{8}, \frac52, \frac{25}{8}, 4, \frac{33}{8}, \frac92, \frac{41}{8}, 6, \frac{49}{8}, \frac{13}{2}, \frac{57}{8}, 8, \frac{65}{8}, \frac{17}{2}, \frac{73}{8}, 10, \frac{81}{8}, \frac{21}{2}, \frac{89}{8}, 12 \right\}. } $$ 因此： $$ \boxed{ |\Omega_5|=29. } $$ --- # 13. 定理層級 $\Omega_7$ 係數集合為 $$ \boxed{ \left\{ -\frac12, 0, \frac12 \right\}. } $$ 故： $$ \boxed{ |\Omega_7|=3. } $$ --- # 14. 定理層級 $\Omega_{13}$ 係數集合為 $$ \boxed{ \left\{ -1, -\frac34, 0, 1, \frac54, 2, 3, \frac{13}{4}, 4, 5, \frac{21}{4}, 6 \right\}. } $$ 故： $$ \boxed{ |\Omega_{13}|=12. } $$ --- # 15. 定理層級 $\Omega_{29}$ 與 $\Omega_{37}$ 對以下每個素數： $$ q=29, \qquad q=37, $$ 係數集合為 $$ \boxed{ \left\{ -\frac12, 0, \frac12 \right\}. } $$ 因此： $$ \boxed{ |\Omega_{29}| = |\Omega_{37}| = 3. } $$ --- # 16. 定理層級 $\Omega_{73}$ 係數集合為 $$ \boxed{ \left\{ -4, -\frac{31}{8}, -\frac72, -\frac{13}{4}, -\frac{25}{8}, -3, -\frac{23}{8}, -\frac{11}{4}, -\frac52, -\frac{17}{8}, -2, -\frac{15}{8}, -\frac32, -\frac54, -\frac98, -1, -\frac78, -\frac34, -\frac12, -\frac18, 0, \frac18, \frac34, 1 \right\}. } $$ 故： $$ \boxed{ |\Omega_{73}|=24. } $$ --- # 17. 定理層級 $\Omega_{18521}$ 係數集合與 $q=73$ 的集合相同： $$ \boxed{ |\Omega_{18521}|=24. } $$ --- # 18. 係數賦值範圍 定理層級偶整數範圍為： | $q$ | $v_q(a_6)$ | $v_q(a_0)$ | 允許的偶數 $n$ | |---:|---:|---:|---| | $2$ | $0$ | $1$ | $\{0\}$ | | $3$ | $4$ | $0$ | $\{-4,-2,0\}$ | | $5$ | $8$ | $0$ | $\{-8,-6,-4,-2,0\}$ | | $7$ | $0$ | $0$ | $\{0\}$ | | $13$ | $4$ | $0$ | $\{-4,-2,0\}$ | | $29$ | $0$ | $0$ | $\{0\}$ | | $37$ | $0$ | $0$ | $\{0\}$ | | $73$ | $0$ | $2$ | $\{0,2\}$ | | $18521$ | $0$ | $2$ | $\{0,2\}$ | 此表是正準六次曲線係數的精確推論。 --- # 19. 全域定理層級 $\Omega$：模 $11^5$ 將每個局部值嵌入： $$ \mathbb Q_{11} $$ 使用 Iwasawa 對數。 形成精確 Minkowski 和： $$ \boxed{ \Omega_{\rm coarse} = \sum_{q\ {\rm bad}} \Omega_q. } $$ 模以下數值約化： $$ \boxed{ 11^5=161051. } $$ 因為每個： $$ \log_{11}(q) $$ 對於： $$ q\ne11 $$ 位於： $$ 11\mathbb Z_{11}, $$ 每個以下集合中的元素： $$ \Omega_{\rm coarse} $$ 皆可被以下數值整除： $$ 11. $$ 精確動態規劃加總給出： $$ \boxed{ |\Omega_{\rm coarse}\bmod11^5| = 14641 = 11^4. } $$ 但恰有： $$ 11^4 $$ 個以下數值的倍數： $$ 11 $$ 模： $$ 11^5. $$ 因此： $$ \boxed{ \Omega_{\rm coarse} \bmod11^5 = 11\mathbb Z_{11} /11^5\mathbb Z_{11}. } $$ 這是 R20 的核心結果。 --- # 20. 推論：定理層級獨立上界已飽和 一般有限集合： $$ \Omega_q $$ 在每個壞素數處，是將以下項目獨立組合而成： - 來自以下曲線的一個局部值： $$ E_1; $$ - 來自以下曲線的一個局部值： $$ E_2; $$ - 以下座標的一個允許賦值： $$ r. $$ 這刻意忽略了三項要素都來自同一局部虧格-$2$ 點。 對目前曲線，耦合損失大到使全域獨立 Minkowski 和，填滿以下數值的每個可能倍數： $$ 11 $$ 模： $$ 11^5. $$ 因此，粗定理層級集合，無法區分以下函數的任何候選值： $$ \rho $$ 在此精度下，除了以下平凡條件： $$ \boxed{ \rho\in11\mathbb Z_{11}. } $$ 單憑此粗集合，無法得到嚴格根孤立。 --- # 21. 這不是二次 Chabauty 的失敗 對一個實際局部點： $$ z_q\in\mathcal H(\mathbb Q_q), $$ 三個局部量是耦合的。 定義真正的局部貢獻： $$ \boxed{ w_q(z_q) = -\lambda_q^{E_1}(\varphi_1(z_q)) + \lambda_q^{E_2}(\varphi_2(z_q)) + 2\log|r(z_q)|_q. } $$ 實際局部像集合為： $$ \boxed{ \Omega_q^{\rm exact} = \{ w_q(z_q): z_q\in\mathcal H(\mathbb Q_q) \}. } $$ 必然有： $$ \boxed{ \Omega_q^{\rm exact} \subseteq \Omega_q. } $$ 定理層級集合： $$ \Omega_q $$ 只是一個獨立上界。 R20 證明，對此問題，獨立化造成的資訊損失太大，無法完成計算。 因此，正確下一步是計算： $$ \boxed{ \Omega_q^{\rm exact}. } $$ --- # 22. 為何精確局部像應更小 第一與第二商座標，是同一局部參數的明確有理函數： $$ r. $$ 因此，其分量群類無法獨立變化。 例如，在正準虧格-$2$ 曲線上： $$ x_0 = 2-r^2, $$ 而： $$ x_- = e_1 + \frac{ 9L^2 }{ r^2(2-r^2) }. $$ 以下量的賦值與分量類： $$ x_0, \qquad x_-, \qquad r $$ 因此相互聯繫。 獨立集合： $$ -W_q^{E_1} + W_q^{E_2} + 2\log|r|_q $$ 包含任何局部虧格-$2$ 點都無法實現的組合。 去除這些不可能組合，是自然的 R21 目標。 --- # 23. R19 極小模型更正 R19 將以下方程： $$ \boxed{ Y^2 = X^3 - 2MX^2 + L^2X } $$ 稱為以下曲線的全域極小模型： $$ E_0. $$ R20 Tate 審計顯示，此措辭不正確。 在： $$ q=2, $$ 此模型具有： $$ v_2(\Delta)=20, $$ 而極小化之後，判別式賦值為： $$ \boxed{ 8. } $$ 極小纖維為分裂： $$ \boxed{ I_8. } $$ 因此，所展示的整數方程很方便，且是 $11$-整的，但不是全域極小。 此更正不影響： - $p=11$ 形式群； - 作為局部對象的 $11$-進 sigma 常數； - R18 形式對數。 然而，這確實意味：任何使用 Mazur–Tate sigma 公式的**全域**高度正規化，都必須依壞素數處的極小模型修正作審計。 因此，R19 值： $$ h_{11}(Q), \qquad h_{11}(P_-), $$ 與所導出的： $$ \alpha_1, \qquad \alpha_2 $$ 應視為： $$ \boxed{ \text{暫定全域校準，待壞素數／極小模型審計}. } $$ 局部 $11$-進 sigma／對數計算本身仍有效。 --- # 24. 為何此更正重要 Mazur–Tate sigma 級數，本質上是以下素數處的局部對象： $$ p=11. $$ 其構造，只須在以下環上具有好整模型： $$ \mathbb Z_{11}. $$ 因此，R19 sigma 遞迴，不會因以下素數處模型非極小而失效： $$ q=2. $$ 潛在問題出現在透過所有壞素數處的分母與連通分量修正，將局部 sigma 求值轉為全域分圓高度時。 故更正局限於全域正規化層。 R20 明確記錄此事，而非默默沿用 R19 較強措辭。 --- # 25. 定理 $E_1$ 的精確約化審計 為便於使用： | $q$ | 原始 $v_q(\Delta)$ | 極小 $v_q(\Delta)$ | 類型 | |---:|---:|---:|---| | $2$ | $20$ | $8$ | 分裂 $I_8$ | | $3$ | $12$ | $0$ | 好約化 | | $5$ | $24$ | $0$ | 好約化 | | $7$ | $2$ | $2$ | 分裂 $I_2$ | | $13$ | $12$ | $0$ | 好約化 | | $29$ | $2$ | $2$ | 分裂 $I_2$ | | $37$ | $2$ | $2$ | 分裂 $I_2$ | | $73$ | $4$ | $4$ | 分裂 $I_4$ | | $18521$ | $4$ | $4$ | 分裂 $I_4$ | 此表是未來精確高度修正的正準局部約化輸入。 --- # 26. 定理 $E_2$ 的精確約化審計 | $q$ | 原始 $v_q(\Delta)$ | 極小 $v_q(\Delta)$ | 類型 | |---:|---:|---:|---| | $2$ | $22$ | $10$ | 分裂 $I_{10}$ | | $3$ | $4$ | $4$ | 非分裂 $I_4$ | | $5$ | $8$ | $8$ | 分裂 $I_8$ | | $7$ | $2$ | $2$ | 分裂 $I_2$ | | $13$ | $4$ | $4$ | 分裂 $I_4$ | | $29$ | $2$ | $2$ | 分裂 $I_2$ | | $37$ | $2$ | $2$ | 分裂 $I_2$ | | $73$ | $8$ | $8$ | 分裂 $I_8$ | | $18521$ | $8$ | $8$ | 分裂 $I_8$ | 這確認，第二定理商所攜帶的壞素數分量資訊，明顯多於第一商。 --- # 27. 所使用的局部有限高度公式 對分裂乘法約化： $$ I_n, $$ 分量指標貢獻為： $$ \boxed{ -\frac{ j(n-j) }{ n } \log q. } $$ 對非分裂： $$ I_4 $$ 其有理分量群的階為： $$ 2, $$ 有理局部值為： $$ \boxed{ \{0,-1\}\log q. } $$ 對非極小定理模型，有限局部集合，從極小模型集合經精確判別式比修正得到。 這些公式重現第 1–9 節列出的全部集合。 --- # 28. 全域二次 Chabauty 函數的目前狀態 以下素數處的局部解析側： $$ p=11 $$ 仍維持 R18-R19 形式： $$ \boxed{ \rho(z) = \lambda_{11}(\varphi_1(z)) - \lambda_{11}(\varphi_2(z)) - 2\log_{11}(r(z)) } $$ $$ \boxed{ \qquad - \alpha_1\Log_1(\varphi_1(z))^2 + \alpha_2\Log_2(\varphi_2(z))^2. } $$ 有限全域目標集合，尚無法由小型精確列表取代，因為定理層級獨立上界已飽和。 因此，根孤立必須等待： $$ \Omega_q^{\rm exact} $$ 或等價的更強局部—全域耦合計算。 --- # 29. 首選 R21 計畫 R21 應計算**耦合**局部像，而非細化獨立集合。 對每個壞素數： $$ q\in \{ 2,3,5,7,13,29,37,73,18521 \}, $$ 定義： $$ \boxed{ \Omega_q^{\rm exact} = \{ -\lambda_q^{E_1}(\varphi_1(z)) + \lambda_q^{E_2}(\varphi_2(z)) + 2\log|r(z)|_q : z\in\mathcal H(\mathbb Q_q) \}. } $$ 則： 1. 將： $$ \mathcal H(\mathbb Q_q) $$ 依以下量分層： $$ v_q(r), \quad v_q(2-r^2), \quad \text{分量類}; $$ 2. 使用明確商關係，同時確定兩個橢圓分量指標； 3. 只記錄可實現的三元組； 4. 計算： $$ \Omega_q^{\rm exact}; $$ 5. 形成： $$ \Omega^{\rm exact} = \sum_q \Omega_q^{\rm exact}; $$ 6. 約化： $$ \Omega^{\rm exact} \pmod{11^k}; $$ 7. 只有此後，才進行原型圓盤根孤立。 --- # 30. 另一種 R21 實作 第二條路線，是在 Sage 環境中使用明確雙橢圓二次 Chabauty 的官方實作。 可供機器使用的輸入，已經得知： - 偶六次曲線係數； - 兩條商曲線； - 秩一點； - $p=11$; - 邊界剩餘圓盤； - R11 係數封包。 該實作會在內部計算，R21 擬手動推導的相同局部修正資料。 --- # 31. R20 定理套件 ## 定理 A — 精確局部約化表 定理商的極小約化類型與判別式比指數： $$ E_1, \qquad E_2 $$ 在每個壞素數處，均已明確確定。 ## 定理 B — 精確有限局部高度集合 每個集合： $$ W_q^{E_1}, \qquad W_q^{E_2} $$ 皆已明確計算。 ## 定理 C — 精確定理層級局部上界 每個： $$ \Omega_q $$ 皆已明確計算。 ## 定理 D — 粗全域飽和 模： $$ 11^5, $$ $$ \boxed{ \Omega_{\rm coarse} = 11\mathbb Z_{11}/11^5\mathbb Z_{11}. } $$ ## 定理 E — 耦合局部像的必要性 獨立的定理層級 Minkowski 上界，在目前精度下，無法支持根孤立。 下一個精確對象，必須保留來自一個局部虧格-$2$ 點的兩個商像之耦合。 --- # 32. R20 沒有證明什麼 R20 沒有計算： $$ \Omega_q^{\rm exact}. $$ 它沒有產生最終精確的： $$ \Omega. $$ 它沒有孤立以下函數的根： $$ \rho(z)-\omega. $$ 它沒有證明原型圓盤只含邊界點。 在發現以下素數處非極小模型問題後，它也不將 R19 全域高度常數視為完全認證： $$ q=2. $$ 這些常數須專門的正規化審計。 --- # 33. 策略解讀 R19 看似只留下： $$ \Omega \longrightarrow \text{根孤立}. $$ R20 顯示，微妙處不在壞素數數量。 而在以下兩者的區別： $$ \boxed{ \text{獨立局部上界} } $$ 以及： $$ \boxed{ \text{實際耦合局部像}. } $$ 對此完美長方體切片，此區別非常巨大。 獨立上界填滿每個可能的： $$ 11 $$ 倍數，模： $$ 11^5. $$ 因此，最後閉合問題成為： > 精確確定哪些局部高度組合，能來自同一個局部虧格-$2$ 點。 這現在是一個有限、但真正耦合的局部算術問題。 --- # 34. 最終結論 R20 完成壞素數約化審計，並計算完整的定理層級局部高度上界。 每個壞素數局部 Néron 集合，現已明確。 每個定理層級的： $$ \Omega_q $$ 皆已明確。 但全域 Minkowski 和是極度粗的： $$ \boxed{ \Omega_{\rm coarse} \bmod11^5 = 11\mathbb Z_{11}/11^5\mathbb Z_{11}. } $$ 因此，單憑獨立上界，無法作有意義的 $11$-進根孤立。 這不是二次 Chabauty 策略的失敗。 它精確辨識了下一項缺失資訊： $$ \boxed{ \Omega_q^{\rm exact} } $$ 對每個壞素數，保留以下項目之間的耦合： - 第一橢圓商； - 第二橢圓商； - 以下座標的局部賦值： $$ r. $$ R20 也記錄了一項重要的證明安全更正： R19 所使用的方便整數 $E_0$ 模型，在以下素數處不是全域極小： $$ q=2. $$ 局部 $p=11$ sigma／對數計算仍有效，但在將 R19 校準常數視為最終值前，必須審計全域高度正規化。 因此，R21 的正準起點為： $$ \boxed{ \text{耦合壞素數局部像} \longrightarrow \Omega^{\rm exact} \longrightarrow 11\text{-進根孤立}. } $$