> 本文為英文原文的全文譯本。研究主張仍以原文為權威來源；翻譯不代表獨立數學驗證。 # 完美長方體 Radical-FDRS R18 ## $11$-飽和、自製形式橢圓對數與阿代爾 Mordell-Weil 係數曲線 **系列：** 完美長方體全域閉合 **分支：** Radical-FDRS / 幾何耦合分支 R **階段：** R18 — 自製 $11$-進 Mordell-Weil 後端 **日期：** 2026-10-05 **狀態：** 精確飽和證書 + 明確 $11$-進對數座標關係 — 尚非最後的二次 Chabauty 高度計算 --- # 0. 執行摘要 R17 將歷史固定切片完美長方體問題，化約至以下素數處的一個原型剩餘圓盤： $$ \boxed{ p=11. } $$ 正準虧格-$2$ 曲線為 $$ \boxed{ \mathcal H: \qquad \mathcal Y^2 = (2-r^2) \left( M^2r^4 - 2M^2r^2 + L^2 \right), } $$ 其中 $$ \boxed{ M=950625, \qquad L=1352033. } $$ 兩個秩一橢圓商為 $$ \boxed{ \pi_0:\mathcal H\to E_0, } $$ 且 $$ \boxed{ \pi_-:\mathcal H\to E_-. } $$ R17 顯示，每個全域合法的有理點，都位於模 $11$ 的四個邊界剩餘圓盤之一，而這四個圓盤形成一個對稱軌道。 R18 消除下一項外部軟體依賴。 目前執行環境不包含 Sage、PARI/GP、cypari2、mwrank，或內建 p-進高度套件。 然而，任何 p-進高度計算之前所需的兩項要素，可直接構造： 1. 兩個秩一橢圓商上 $11$-飽和的 Mordell-Weil 座標； 2. 明確 $11$-進橢圓對數，以及其在原型虧格-$2$ 圓盤上誘導的解析係數關係。 對第一商，使用 $$ \boxed{ Q = \left( 1, \frac{961408}{950625} \right) \in E_0(\mathbb Q). } $$ R14 已證明，其自由格指數為奇數。 R18 證明，此指數也與 $11$ 互質。 在好素數 $$ 47, $$ 有 $$ \boxed{ \#E_0(\mathbb F_{47})=44. } $$ $Q$ 的約化為 $$ \boxed{ Q\bmod47=(1,39), } $$ 且 $$ \boxed{ [4]Q=(6,39)\ne O. } $$ 若 $Q$ 在全域上可被 $11$ 整除，則 $$ [4]Q=[44]R=O $$ 模 $47$ 約化後，產生矛盾。 故 $$ \boxed{ Q\notin[11]E_0(\mathbb Q). } $$ 因此，$Q$ 的自由格指數，不能被 $11$ 整除。 對第二商，使用歷史奇指數替代點 $$ \boxed{ P_- = \left( \frac{5132247118878268203}{606841}, \frac{2520702383000286338446320000}{472729139} \right) \in E_-(\mathbb Q). } $$ 在好素數 $$ 107, $$ 有 $$ \boxed{ \#E_-(\mathbb F_{107})=88. } $$ 約化為 $$ \boxed{ P_-\bmod107=(105,58), } $$ 且 $$ \boxed{ [8]P_-=(15,79)\ne O. } $$ 若 $P_-$ 在全域上可被 $11$ 整除，則 $$ [8]P_-=[88]R=O, $$ 矛盾。 因此 $$ \boxed{ P_-\notin[11]E_-(\mathbb Q). } $$ 由於兩條橢圓曲線的有理撓群階皆與 $11$ 互質，這些證書證明：已知自由替代點與本原生成元，生成相同的 $\mathbb Z_{11}$ Mordell-Weil 閉包。 接著，R18 直接實作橢圓形式對數。 對一個廣義短 Weierstrass 方程 $$ \boxed{ E: \qquad y^2 = x^3 + a_2x^2 + a_4x + a_6, } $$ 使用標準局部參數 $$ \boxed{ t_E=-\frac{x}{y}, } $$ 並令 $$ \boxed{ u_E=\frac1x. } $$ 則 $$ \boxed{ u_E = t_E^2 \left( 1+a_2u_E+a_4u_E^2+a_6u_E^3 \right). } $$ Néron 微分為 $$ \boxed{ \omega_E = \frac{dx}{2y}. } $$ 在形式參數中， $$ \boxed{ \omega_E = \frac{t_E}{2} \frac{u_E'}{u_E} \,dt_E. } $$ 故形式橢圓對數可由直接冪級數積分得到： $$ \boxed{ \log_E(t_E) = \int \frac{t_E}{2} \frac{u_E'}{u_E} \,dt_E. } $$ 此步驟不須外部算術幾何套件。 在 $p=11$ 處： $$ \boxed{ \operatorname{ord} (Q\bmod11)=8, } $$ 且 $$ \boxed{ \operatorname{ord} (P_-\bmod11)=4. } $$ 因此 $$ [8]Q $$ 且 $$ [4]P_- $$ 位於形式群中。 兩者的形式參數，皆具有以下精確 $11$-進賦值： $$ \boxed{ 1. } $$ 求形式對數值，給出以下認證展開，精度達 $O(11^{11})$。 對 $E_0$： $$ \boxed{ \log_{11,E_0}(Q) = 11U_0 + O(11^{11}), } $$ 其中 $$ \boxed{ U_0 = 9 + 3\cdot11 + 5\cdot11^3 + 5\cdot11^4 + 5\cdot11^6 + 3\cdot11^7 + 10\cdot11^8 + 3\cdot11^9. } $$ 等價地， $$ \boxed{ U_0 \equiv 9284831103 \pmod{11^{10}}. } $$ 對 $E_-$： $$ \boxed{ \log_{11,E_-}(P_-) = 11U_- + O(11^{11}), } $$ 其中 $$ \boxed{ U_- = 3 + 8\cdot11 + 3\cdot11^2 + 11^3 + 3\cdot11^4 + 7\cdot11^5 + 7\cdot11^6 + 10\cdot11^7 + 7\cdot11^8. } $$ 等價地， $$ \boxed{ U_- \equiv 1708957869 \pmod{11^{10}}. } $$ $U_0$ 與 $U_-$ 皆為 $11$-進單位。 因此，兩個已知全域秩一點，提供完整 $\mathbb Z_{11}$ Mordell-Weil 閉包上的有效解析座標。 現在回到 R17 原型邊界圓盤 $$ \boxed{ P_\ast=(1,961408). } $$ 寫成 $$ \boxed{ r=1+t, } $$ 且由於這是模 $11$ 的剩餘圓盤，進一步寫成 $$ \boxed{ t=11u, \qquad u\in\mathbb Z_{11}. } $$ 定義正規化 $11$-進 Mordell-Weil 係數函數 $$ \boxed{ \nu_0(P) = \frac{ \log_{11,E_0}(\pi_0(P)) }{ \log_{11,E_0}(Q) }, } $$ 且 $$ \boxed{ \nu_-(P) = \frac{ \log_{11,E_-}(\pi_-(P)) }{ \log_{11,E_-}(P_-) }. } $$ 在邊界中心： $$ \boxed{ \nu_0(P_\ast)=1, } $$ 且因為 $$ \pi_-(P_\ast)=(e_2,0) $$ 是撓點， $$ \boxed{ \nu_-(P_\ast)=0. } $$ 使用標準 Néron 微分 $$ \frac{dx}{2y} $$ 且 $$ \frac{dx_-}{2y_-}, $$ 商拉回為 $$ \boxed{ \pi_0^\ast \left( \frac{dx}{2y} \right) = -M \frac{r\,dr}{\mathcal Y}, } $$ 且 $$ \boxed{ \pi_-^\ast \left( \frac{dx_-}{2y_-} \right) = \frac23 \frac{dr}{\mathcal Y}. } $$ 在原型圓盤中展開，並以兩個全域橢圓對數正規化，給出明確解析座標級數。 模 $$ 11^5=161051, $$ 得到 $$ \boxed{ \nu_0 = 1 + 8042u + 88462u^2 + 30855u^3 + 103818u^4 + 146410u^5 \pmod{11^5}, } $$ 且 $$ \boxed{ \nu_- = 158261u + 145706u^2 + 18997u^3 + 71874u^4 + 146410u^5 \pmod{11^5}. } $$ 由於 $\nu_0-1$ 的線性係數，是 $11$-進單位，此級數可以求逆。 令 $$ \boxed{ N=\nu_0-1. } $$ 消去局部圓盤參數 $u$，給出直接 Mordell-Weil 係數關係 $$ \boxed{ \nu_- \equiv 32322N + 60357N^2 + 87725N^3 + 69212N^4 + 43923N^5 \pmod{11^5}. } $$ 前兩項較低精度的推論尤其清楚。 模 $11$： $$ \boxed{ \nu_- \equiv 4(\nu_0-1) \pmod{11}. } $$ 模 $11^2$： $$ \boxed{ \nu_- \equiv 15(\nu_0-1) + 99(\nu_0-1)^2 \pmod{121}. } $$ 因此，原型虧格-$2$ 圓盤，現已明確表示為兩個秩一 $11$-進 Mordell-Weil 閉包乘積中的一維解析曲線。 這正是二次 Chabauty 必須與全域高度條件取交集的精確 p-進係數幾何。 R18 也建立了與先前 R11 係數篩之間，第一座明確阿代爾橋接。 令 $$ H_0 $$ 是 $E_0(\mathbb Q)$ 自由部分的一個本原生成元。 寫成 $$ Q=d_0H_0+T_0, $$ 其中 $$ d_0 $$ 為自由格指數。 R14 證明 $$ 2\nmid d_0. $$ R18 證明 $$ 11\nmid d_0. $$ 因此 $$ \boxed{ d_0\in\mathbb Z_2^\times \cap \mathbb Z_{11}^\times. } $$ 對任一有理橢圓像 $$ P=nH_0+T, $$ 定義全域正規化有理係數 $$ \boxed{ c_{\rm glob} = \frac{n}{d_0}. } $$ 則： - 其 $2$-進局部化，恰為 R9-R16 所使用的正規化係數； - 其 $11$-進局部化，恰為： $$ \boxed{ \nu_0(P). } $$ 因此，R11 同餘封包 $$ \boxed{ c_{\rm glob} \bmod2^{18} \in \pm \{ 1, 16385, 114687, 131071 \} } $$ 與 R18 $11$-進解析係數關係，指的是**同一全域有理 Mordell-Weil 係數**。 這是高精度 $2$-初級篩，與 $11$-進二次 Chabauty 座標系統的第一項明確阿代爾同步。 剩餘缺失要素，現在比 R17 中更窄： $$ \boxed{ \text{明確解析係數曲線上的全域 p-進高度關係：}(\nu_0,\nu_-). } $$ --- # 1. 為何 $11$-飽和很重要 假設秩一橢圓曲線上的一個已知非撓點為 $$ Q=dH+T, $$ 其中 $$ H $$ 在自由部分中為本原。 若 $$ 11\mid d, $$ 則 $Q$ 不會生成同樣的 $\mathbb Z_{11}$ 閉包，此閉包原由 $H$ 生成。 任何商 $$ \frac{\log(P)}{\log(Q)} $$ 都會引入一個隱藏的 $11^{-1}$ 因子。 因此，證明安全的 $11$-進係數系統要求： $$ \boxed{ 11\nmid d. } $$ R18 分別對兩條商曲線認證此事。 --- # 2. $11$-飽和證書：$Q$，曲線 $E_0$ 使用正準點 $$ \boxed{ Q = \left( 1, \frac{961408}{950625} \right). } $$ 在好素數 $$ \boxed{ 47, } $$ 精確有限體枚舉給出 $$ \boxed{ \#E_0(\mathbb F_{47})=44. } $$ 點約化至 $$ \boxed{ Q_{47}=(1,39). } $$ 其精確階為 $$ \boxed{ 22. } $$ 特別地， $$ \boxed{ [4]Q_{47} = (6,39) \ne O. } $$ 反證假設 $$ Q=[11]R $$ 對某個 $$ R\in E_0(\mathbb Q). $$ 模 $47$ 約化後： $$ [4]Q = [44]R = O, $$ 因為完整有限群的階為 $44$。 這與上方明確的非零值矛盾。 故 $$ \boxed{ Q\notin[11]E_0(\mathbb Q). } $$ --- # 3. 為何此證明自由指數與 $11$ 互質 $E_0$ 的有理撓部分，其階為 $$ 4. $$ 因此，乘以 $11$ 是撓子群上的自同構。 若 $Q$ 的自由指數可被 $11$ 整除，則撓分量可吸收到一個 $11$ 倍中，而 $Q$ 本身會位於 $$ [11]E_0(\mathbb Q). $$ 前一節排除了此情形。 因此： $$ \boxed{ 11\nmid [E_0(\mathbb Q)_{\rm free}:\mathbb Z Q_{\rm free}]. } $$ 與先前奇指數定理一起，得到： $$ \boxed{ \gcd(d_0,22)=1. } $$ --- # 4. $11$-飽和證書：$P_-$ 使用歷史非撓點 $$ \boxed{ P_- = \left( \frac{5132247118878268203}{606841}, \frac{2520702383000286338446320000}{472729139} \right). } $$ 在好素數 $$ \boxed{ 107, } $$ 精確有限體枚舉給出 $$ \boxed{ \#E_-(\mathbb F_{107})=88. } $$ 點約化至 $$ \boxed{ P_-\bmod107 = (105,58). } $$ 其精確階為 $$ \boxed{ 22. } $$ 此外， $$ \boxed{ [8]P_- = (15,79) \ne O. } $$ 若 $$ P_-=[11]R $$ 在全域上成立，則模 $107$： $$ [8]P_- = [88]R = O. $$ 矛盾。 因此： $$ \boxed{ P_-\notin[11]E_-(\mathbb Q). } $$ --- # 5. 對 $P_-$ 的自由指數推論 有理撓子群為 $$ \boxed{ E_-(\mathbb Q)_{\rm tors} \cong \mathbb Z/2\mathbb Z \times \mathbb Z/4\mathbb Z. } $$ 其階為 $$ 8, $$ 與 $11$ 互質。 因此，乘以 $11$ 是撓部分上的自同構。 不可整除證書意味： $$ \boxed{ 11\nmid [E_-(\mathbb Q)_{\rm free}:\mathbb Z(P_-)_{\rm free}]. } $$ 歷史下降已顯示，此指數為奇數。 因此，$P_-$ 也是有效的 $\mathbb Z_{11}$ Mordell-Weil 替代點。 --- # 6. 一般形式對數演算法 考慮 $$ \boxed{ E: \qquad y^2 = x^3 + a_2x^2 + a_4x + a_6. } $$ 取 $$ \boxed{ t_E=-\frac{x}{y}, } $$ 以及： $$ \boxed{ u_E=\frac1x. } $$ 則： $$ t_E^2 = \frac{ u_E }{ 1+a_2u_E+a_4u_E^2+a_6u_E^3 }. $$ 等價地： $$ \boxed{ u_E = t_E^2 \left( 1+a_2u_E+a_4u_E^2+a_6u_E^3 \right). } $$ 此方程遞迴確定： $$ u_E $$ 作為以下變數的形式冪級數： $$ t_E. $$ --- # 7. 形式參數中的 Néron 微分 標準不變微分為 $$ \boxed{ \omega_E = \frac{dx}{2y}. } $$ 由於： $$ x=u_E^{-1}, $$ 以及： $$ y=-\frac1{u_Et_E}, $$ 得到： $$ \boxed{ \omega_E = \frac{t_E}{2} \frac{u_E'}{u_E} \,dt_E. } $$ 因此： $$ \boxed{ \log_E(t_E) = \int_0^{t_E} \frac{s}{2} \frac{u_E'(s)}{u_E(s)} \,ds. } $$ 這是 R18 所使用的形式對數。 --- # 8. 首批形式對數係數 寫成： $$ u_E = t_E^2 + a_2t_E^4 + (a_2^2+a_4)t_E^6 + \cdots, $$ 形式對數的開頭為： $$ \boxed{ \log_E(t_E) = t_E + \frac{a_2}{3}t_E^3 + \frac{ a_2^2+2a_4 }{ 5 }t_E^5 + \cdots. } $$ 在一個好素數： $$ p, $$ 全部曲線係數皆為 $p$-整，此級數在以下條件下收斂： $$ v_p(t_E)>0. $$ --- # 9. $p=11$ 處的約化階 對於： $$ Q\in E_0(\mathbb Q), $$ 有： $$ \boxed{ \operatorname{ord} (Q\bmod11)=8. } $$ 因此： $$ [8]Q $$ 位於形式子群： $$ E_0^1(\mathbb Q_{11}). $$ 對於： $$ P_-\in E_-(\mathbb Q), $$ 有： $$ \boxed{ \operatorname{ord} (P_-\bmod11)=4. } $$ 因此： $$ [4]P_- $$ 位於： $$ E_-^1(\mathbb Q_{11}). $$ --- # 10. 全域替代點的形式參數 令： $$ t_0 = -\frac{x([8]Q)}{y([8]Q)}. $$ 精確有理算術給出： $$ \boxed{ v_{11}(t_0)=1. } $$ 同樣地，令： $$ t_- = -\frac{x([4]P_-)}{y([4]P_-)}. $$ 則： $$ \boxed{ v_{11}(t_-)=1. } $$ 因此，兩個形式對數，皆始於精確的 $11$-進賦值一。 --- # 11. 全域橢圓對數的定義 因為： $$ 8 $$ 是 $11$-進單位，定義： $$ \boxed{ \log_{11,E_0}(Q) = \frac18 \log_{E_0}(t_0). } $$ 同樣地： $$ \boxed{ \log_{11,E_-}(P_-) = \frac14 \log_{E_-}(t_-). } $$ 這些定義與所選約化階倍數無關，因為形式對數是形式子群上的群同態。 --- # 12. $11$-進對數：$Q$ 直接形式級數求值給出： $$ \boxed{ \log_{11,E_0}(Q) = 11U_0 + O(11^{11}), } $$ 其中： $$ \boxed{ U_0 \equiv 9284831103 \pmod{11^{10}}. } $$ 以 $11$ 為底： $$ \boxed{ U_0 = 9 + 3\cdot11 + 0\cdot11^2 + 5\cdot11^3 + 5\cdot11^4 + 0\cdot11^5 + 5\cdot11^6 + 3\cdot11^7 + 10\cdot11^8 + 3\cdot11^9 + O(11^{10}). } $$ 首位數位為： $$ 9, $$ 因此： $$ \boxed{ U_0\in\mathbb Z_{11}^\times. } $$ --- # 13. $11$-進對數：$P_-$ 同樣地： $$ \boxed{ \log_{11,E_-}(P_-) = 11U_- + O(11^{11}), } $$ 其中： $$ \boxed{ U_- \equiv 1708957869 \pmod{11^{10}}. } $$ 以 $11$ 為底： $$ \boxed{ U_- = 3 + 8\cdot11 + 3\cdot11^2 + 1\cdot11^3 + 3\cdot11^4 + 7\cdot11^5 + 7\cdot11^6 + 10\cdot11^7 + 7\cdot11^8 + 0\cdot11^9 + O(11^{10}). } $$ 故： $$ \boxed{ U_-\in\mathbb Z_{11}^\times. } $$ --- # 14. 獨立截斷穩定性 形式對數以多個截斷深度求值。 模以下數值的值： $$ 11^{10} $$ 對於： $$ U_0 $$ 以及： $$ U_- $$ 當形式遞迴逐次延伸至更高項，對應冪次約達以下數值時，保持不變： $$ t_E^{29}, \quad t_E^{33}, \quad t_E^{37}, \quad t_E^{41}, \quad t_E^{45}. $$ 由於： $$ v_{11}(t_E)=1, $$ 這遠超過所展示的以下精度對數所需的精度： $$ O(11^{11}) $$ 如上式。 --- # 15. 兩個全域對數單位的比 單位比為： $$ \boxed{ \kappa = \frac{ U_- }{ U_0 } \in \mathbb Z_{11}^\times. } $$ 模： $$ 11^{10}, $$ $$ \boxed{ \kappa \equiv 4151769043. } $$ 其以 $11$ 為底的展開為： $$ \boxed{ \kappa = 4 + 9\cdot11 + 5\cdot11^2 + 4\cdot11^3 + 2\cdot11^4 + 6\cdot11^5 + 0\cdot11^6 + 4\cdot11^7 + 8\cdot11^8 + 1\cdot11^9 + O(11^{10}). } $$ 此常數是兩個秩一 Mordell-Weil 座標間解析轉換的一部分。 --- # 16. 原型虧格-$2$ 圓盤 選取： $$ \boxed{ P_\ast=(1,961408). } $$ 令： $$ \boxed{ r=1+t. } $$ 相關剩餘圓盤為： $$ t\in11\mathbb Z_{11}. $$ 因此寫成： $$ \boxed{ t=11u, \qquad u\in\mathbb Z_{11}. } $$ 使用滿足以下條件的解析平方根分支： $$ \boxed{ \mathcal Y(0)=961408. } $$ --- # 17. 局部平方根級數 此分支的精確開頭為： $$ \boxed{ \mathcal Y = 961408 - 961408t + \frac{ 441535219393 }{ 480704 }t^2 - 961408t^3 + O(t^4). } $$ 倒數級數的開頭為： $$ \boxed{ \frac1{\mathcal Y} = \frac1{961408} + \frac1{961408}t + \frac{ 20617451839 }{ 444317275343814656 }t^2 + O(t^3). } $$ 這些係數，足以開始商對數的展開。 --- # 18. 標準商微分 R17 以下式表述商微分： $$ dx/y. $$ 對標準 Néron 微分： $$ dx/(2y), $$ 第一商滿足： $$ \boxed{ \pi_0^\ast \left( \frac{dx}{2y} \right) = -M \frac{r\,dr}{\mathcal Y}. } $$ 第二商滿足： $$ \boxed{ \pi_-^\ast \left( \frac{dx_-}{2y_-} \right) = \frac23 \frac{dr}{\mathcal Y}. } $$ 這是正規化 Mordell-Weil 對數座標所使用的微分。 --- # 19. 正規化 $11$-進係數函數 定義： $$ \boxed{ \nu_0(P) = \frac{ \log_{11,E_0}(\pi_0(P)) }{ \log_{11,E_0}(Q) }. } $$ 定義： $$ \boxed{ \nu_-(P) = \frac{ \log_{11,E_-}(\pi_-(P)) }{ \log_{11,E_-}(P_-) }. } $$ 由於兩個分母對數的精確賦值均為一，且首因子為單位，因此，它們是原型圓盤上良定義的解析函數。 在： $$ P_\ast, $$ $$ \boxed{ \nu_0=1, } $$ 因為： $$ \pi_0(P_\ast)=Q. $$ 此外： $$ \boxed{ \nu_-=0, } $$ 因為： $$ \pi_-(P_\ast)=(e_2,0) $$ 是撓點，而橢圓對數會消去撓部分。 --- # 20. 一階係數關係 以下函數的一階導數： $$ \nu_0 $$ 對以下變數求導： $$ u=t/11 $$ 是單位。 模： $$ 11, $$ 得到： $$ \boxed{ \nu_0 \equiv 1+u \pmod{11}. } $$ 對第二商： $$ \boxed{ \nu_- \equiv 4u \pmod{11}. } $$ 消去： $$ u, $$ 得到： $$ \boxed{ \nu_- \equiv 4(\nu_0-1) \pmod{11}. } $$ 這是虧格-$2$ 像，在兩個秩一 Mordell-Weil 閉包乘積中的切線。 --- # 21. 模 $11^2$ 的係數級數 保留下一項，給出： $$ \boxed{ \nu_0 \equiv 1 + 56u + 11u^2 \pmod{121}, } $$ 以及： $$ \boxed{ \nu_- \equiv 114u + 22u^2 \pmod{121}. } $$ 消去： $$ u $$ 得到： $$ \boxed{ \nu_- \equiv 15(\nu_0-1) + 99(\nu_0-1)^2 \pmod{121}. } $$ 因此，解析係數曲線在第二個 $11$-進數位，已明顯呈非線性。 --- # 22. 模 $11^5$ 的完整係數級數 模： $$ 11^5=161051, $$ 第一個正規化係數為： $$ \boxed{ \nu_0 = 1 + 8042u + 88462u^2 + 30855u^3 + 103818u^4 + 146410u^5 \pmod{161051}. } $$ 第二個為： $$ \boxed{ \nu_- = 158261u + 145706u^2 + 18997u^3 + 71874u^4 + 146410u^5 \pmod{161051}. } $$ 次數大於五的項，只在所展示精度之外作出貢獻，因為： $$ t=11u. $$ --- # 23. 消去局部參數 令： $$ \boxed{ N=\nu_0-1. } $$ 以下函數的線性係數： $$ N(u) $$ 是 $11$-進單位。 因此，此級數在以下環中有唯一形式逆： $$ \mathbb Z_{11}[[N]]. $$ 代入： $$ \nu_-(u) $$ 給出： $$ \boxed{ \nu_- \equiv 32322N + 60357N^2 + 87725N^3 + 69212N^4 + 43923N^5 \pmod{161051}. } $$ 這是 R18 局部 Mordell-Weil 係數曲線。 --- # 24. 精度檢查 約化前述關係，得到： ## 模 $11$ $$ \boxed{ \nu_- \equiv 4N. } $$ ## 模 $11^2$ $$ \boxed{ \nu_- \equiv 15N + 99N^2. } $$ ## 模 $11^3$ $$ \boxed{ \nu_- \equiv 378N + 462N^2 + 1210N^3. } $$ 這些約化，與各精度下的直接重算相符。 --- # 25. 幾何意義 映射： $$ \mathcal H(\mathbb Q_{11}) \longrightarrow E_0(\mathbb Q_{11}) \times E_-(\mathbb Q_{11}) $$ 將原型圓盤送至兩個一維 Mordell-Weil 閉包的乘積。 除以兩個全域對數後，R18 將其像辨識為解析函數圖： $$ \boxed{ \nu_- = \Phi_{11}(\nu_0-1), } $$ 其中以下函數的開頭： $$ \Phi_{11} $$ 已明確得知，精度達： $$ 11^5. $$ 因此，局部虧格-$2$ 幾何，現已直接以 Mordell-Weil 係數座標表示。 --- # 26. 全域正規化係數 令： $$ H_0 $$ 是以下群的本原生成元： $$ E_0(\mathbb Q)_{\rm free}. $$ 寫成： $$ \boxed{ Q=d_0H_0+T_Q. } $$ R14 證明： $$ 2\nmid d_0. $$ R18 證明： $$ 11\nmid d_0. $$ 故： $$ \boxed{ \gcd(d_0,22)=1. } $$ 令一個全域有理候選的第一商為： $$ P_0=nH_0+T. $$ 定義： $$ \boxed{ c_{\rm glob} = \frac{n}{d_0}. } $$ 則： $$ c_{\rm glob} $$ 具有與以下數值互質的分母： $$ 22. $$ --- # 27. $2$-進與 $11$-進係數的辨識 R9-R16 正規化係數，恰為以下全域係數的 $2$-進局部化： $$ c_{\rm glob}. $$ 因為橢圓對數會消去撓部分： $$ \frac{ \log_{11,E_0}(P_0) }{ \log_{11,E_0}(Q) } = \frac{ n }{ d_0 }. $$ 因此： $$ \boxed{ \nu_0(P) = c_{\rm glob} \quad \text{在以下體內：} \mathbb Q_{11}. } $$ 因此： $$ \boxed{ c_{\rm R11} = (c_{\rm glob})_2, } $$ 以及： $$ \boxed{ \nu_0 = (c_{\rm glob})_{11}. } $$ 它們是同一全域有理數的兩個局部化。 --- # 28. 阿代爾同步定理 ## 定理 對完整歷史固定切片問題中，每個通過 R11-R17 的有理點，存在一個全域有理正規化 Mordell-Weil 係數： $$ \boxed{ c_{\rm glob}\in\mathbb Q, } $$ 其分母與以下數值互質： $$ 22, $$ 使得： 1. 其 $2$-進局部化滿足： $$ \boxed{ c_{\rm glob} \bmod2^{18} \in \pm \{ 1, 16385, 114687, 131071 \}; } $$ 2. 其 $11$-進局部化為： $$ \boxed{ \nu_0; } $$ 3. 正規化第二商係數： $$ \nu_- $$ 位於明確解析函數圖上： $$ \boxed{ \nu_- = \Phi_{11}(c_{\rm glob}-1). } $$ 因此，高精度 $2$-初級篩，與 $11$-進 Chabauty 座標，現已附著於同一共同全域係數。 --- # 29. 第二商正規化係數 令： $$ H_- $$ 在以下群中為本原： $$ E_-(\mathbb Q)_{\rm free}, $$ 並寫成： $$ P_- = d_-H_-+T_-. $$ 歷史下降證明： $$ 2\nmid d_-. $$ R18 證明： $$ 11\nmid d_-. $$ 因此： $$ \boxed{ \gcd(d_-,22)=1. } $$ 對第二商的自由係數為以下數值的有理虧格-$2$ 點： $$ m, $$ 定義： $$ \boxed{ b_{\rm glob} = \frac{m}{d_-}. } $$ 則： $$ \boxed{ \nu_- = (b_{\rm glob})_{11}. } $$ 因此，R18 的解析關係，是兩個全域有理正規化 Mordell-Weil 係數間，明確的 $11$-進關係。 --- # 30. 為何這尚不是有理點證明 條件： $$ \nu_- = \Phi_{11}(\nu_0-1) $$ 是局部的。 整數與有理係數在以下環中稠密： $$ \mathbb Z_{11}. $$ 因此，單憑解析函數圖，無法孤立邊界點。 這是係數座標中的秩等於維數障礙。 仍須一個全域高度方程。 二次 Chabauty 正是新增這樣一個第二全域條件。 --- # 31. 缺失高度關係的形狀 因為兩個商的 Mordell-Weil 群均為秩一，其全域 p-進高度，限制為正規化自由係數上的二次型。 示意地： $$ \boxed{ h_{11,0} \sim \alpha_0\nu_0^2 + \text{局部修正}, } $$ 以及： $$ \boxed{ h_{11,-} \sim \alpha_-\nu_-^2 + \text{局部修正}. } $$ 精確虧格-$2$ 對應，提供這兩個高度所依據的除子類之間的關係。 代入下式後： $$ \nu_- = \Phi_{11}(\nu_0-1), $$ 最後的二次 Chabauty 函數，成為原型圓盤上的單變數 $11$-進解析函數。 R18 現已提供此構造的每項對數要素。 剩餘未知資料，是 p-進高度常數與壞素數局部高度修正。 --- # 32. 自製後端的優勢 R18 之前，未來算術交接的下列兩項，皆須外部系統： - Mordell-Weil p-進座標； - p-進高度。 R18 之後，只有第二項仍是外部的。 以下項目現已在內部計算： - 以下點的 $11$-飽和： $$ Q; $$ - 以下點的 $11$-飽和： $$ P_-; $$ - 形式群參數； - 形式橢圓對數； - 正規化 Mordell-Weil 座標； - 局部係數曲線消去。 因此，自製二次 Chabauty 實作，不再須一般橢圓對數子系統。 --- # 33. 可供機器使用的遞迴 對任一橢圓商，實作： $$ u=t^2 \left( 1+a_2u+a_4u^2+a_6u^3 \right). $$ 模以下冪次迭代此恆等式： $$ t^N $$ 得到： $$ u(t). $$ 接著計算： $$ \boxed{ \omega = \frac{t}{2} \frac{u'(t)}{u(t)} dt. } $$ 逐係數積分，得到： $$ \log_E(t). $$ 對一個有理點： $$ P $$ 其約化階為： $$ m $$ 且與 $11$ 互質，計算： $$ t([m]P), $$ 並返回： $$ \boxed{ \log_{11,E}(P) = m^{-1} \log_E(t([m]P)). } $$ 這是 R18 所使用的完整形式對數演算法。 --- # 34. 自製對數的證明安全檢查 R18 計算僅使用： - 精確有理群律； - 精確有理冪級數係數； - 模 $11$ 的冪次的模算術； - 在以下集合內的形式群收斂： $$ 11\mathbb Z_{11}. $$ 沒有使用浮點近似。 所展示的剩餘值，在多個獨立截斷深度下皆穩定。 形式對數積分中出現的分母素數，依其精確 $11$-進賦值處理。 因此，所報告的對數剩餘值，在所述精度下是精確的。 --- # 35. 目前算術狀態 歷史固定切片問題，現在同時受到以下限制： ## 在 $p=2$ 處 $$ \boxed{ c_{\rm glob} \bmod2^{18} \in \pm \{ 1, 16385, 114687, 131071 \}. } $$ ## 在 $p=11$ 處 所有有理候選，位於單一對稱原型圓盤中，並滿足： $$ \boxed{ \nu_0=(c_{\rm glob})_{11}, } $$ 以及： $$ \boxed{ \nu_- = 32322(\nu_0-1) + 60357(\nu_0-1)^2 + 87725(\nu_0-1)^3 + 69212(\nu_0-1)^4 + 43923(\nu_0-1)^5 \pmod{11^5}. } $$ 這是目前得到的最強明確阿代爾描述。 --- # 36. 首選 R19 目標 R19 應實作缺失的 p-進高度層，而非推導另一個幾何商。 最小必要任務為： 1. 構造以下曲線上的普通 $11$-進 sigma 或 Coleman-Gross 高度： $$ E_0; $$ 2. 在以下曲線上構造相應高度： $$ E_-; $$ 3. 以下列點校準每個秩一二次係數： $$ Q $$ 與： $$ P_-; $$ 4. 只在以下素數處計算壞素數局部修正： $$ \{ 2,3,5,7,13,29,37,73,18521 \}; $$ 5. 將兩個高度拉回至： $$ \mathcal H; $$ 6. 代入明確 R18 係數曲線； 7. 得到一個單變數解析函數： $$ \rho_{11}(u); $$ 8. 在以下範圍孤立其零點： $$ u\in\mathbb Z_{11}. $$ 期望輸出是一項嚴格陳述：原型圓盤中，對應全域有理點的唯一零點為： $$ \boxed{ u=0. } $$ 依對稱性，這將孤立全部四個邊界圓盤。 --- # 37. 另一條 R19 路線 若實作完整 p-進高度成本太高，使用 R18 係數曲線，作為混合素數 Mordell-Weil 篩的輸入。 在額外好素數處： 1. 枚舉同時 $E_0/E_-$ 商像； 2. 記錄相容的自由係數對： $$ (c_{\rm glob},b_{\rm glob}); $$ 3. 將那些同餘與下式結合： $$ b_{\rm glob} = \Phi_{11}(c_{\rm glob}-1) \pmod{11^k}; $$ 4. 施加中國剩餘定理與高度界。 此路線最終仍須一個全域大小界，但 R18 係數關係嚴格縮減二維係數搜尋。 --- # 38. R18 定理套件 ## 定理 A — $11$-飽和：$Q$ $$ \boxed{ Q\notin[11]E_0(\mathbb Q). } $$ ## 定理 B — $11$-飽和：$P_-$ $$ \boxed{ P_-\notin[11]E_-(\mathbb Q). } $$ ## 定理 C — 形式對數單位 $$ \boxed{ v_{11} \left( \log_{11,E_0}(Q) \right) = 1, } $$ 以及： $$ \boxed{ v_{11} \left( \log_{11,E_-}(P_-) \right) = 1. } $$ ## 定理 D — 原型切線關係 $$ \boxed{ \nu_- \equiv 4(\nu_0-1) \pmod{11}. } $$ ## 定理 E — 明確解析係數函數圖 其中： $$ N=\nu_0-1, $$ $$ \boxed{ \nu_- \equiv 32322N + 60357N^2 + 87725N^3 + 69212N^4 + 43923N^5 \pmod{11^5}. } $$ ## 定理 F — 阿代爾係數同步 R11 的 $2$-進係數與 R18 的 $11$-進係數，是同一全域有理正規化 Mordell-Weil 係數的局部化： $$ \boxed{ c_{\rm glob}. } $$ --- # 39. R18 沒有證明什麼 R18 尚未計算： - Coleman-Gross 高度； - Mazur-Tate p-進高度； - 二次 Chabauty 函數； - 原型圓盤中的最終零點集。 它不主張： $$ u=0 $$ 是唯一有理解。 它證明，缺失的全域高度步驟，現在可在具有飽和秩一座標的明確單變數 $11$-進係數曲線上表述。 --- # 40. 最終結論 R18 將 R17 可供機器使用的交接，轉化為部分原生 p-進實作。 兩個秩一橢圓替代點，現已認證為 $11$-飽和。 其 $11$-進橢圓對數，已由形式群遞迴直接計算。 原型虧格-$2$ 剩餘圓盤，已明確嵌入兩個 Mordell-Weil 閉包的乘積。 所得正規化係數關係的開頭為： $$ \boxed{ \nu_- \equiv 4(\nu_0-1) \pmod{11}, } $$ 且已知精度達： $$ \boxed{ 11^5. } $$ 最重要的是，R11 的 $2$-進係數封包，與 R18 的 $11$-進係數，現已證明是同一全域有理 Mordell-Weil 係數的兩個局部化。 因此，剩餘障礙不再是 p-進對數基礎設施。 而恰為二次 Chabauty 所需的全域 p-進高度方程。 這是 R19 的正準起點。