> 本文為英文原文的全文譯本。研究主張仍以原文為權威來源；翻譯不代表獨立數學驗證。 # 完美長方體 Radical-FDRS R19 ## 自製 Mazur–Tate $11$-進高度與雙橢圓二次 Chabauty 函數的校準 **系列：** 完美長方體全域閉合 **分支：** Radical-FDRS / 幾何耦合分支 R **階段：** R19 — 全域 $11$-進高度層 **日期：** 2026-10-05 **狀態：** 自製 sigma／高度計算 + 精確雙橢圓 QC 校準；有限壞素數值集合與認證根孤立，仍留待下一階段 --- # 0. 執行摘要 R18 不使用 Sage 或 PARI，直接構造了 $11$-進 Mordell-Weil 對數後端。 二次 Chabauty 剩餘的要素，是全域分圓 $11$-進高度。 R19 使用 Mazur–Tate $p$-進 sigma 函數實作此層。 對定義在 $\mathbb Q$ 上的普通橢圓曲線，以及有理點 $P$，若其位於 $p$ 處的形式群與所有壞素數的連通分量中，Mazur–Stein–Tate 公式為 $$ \boxed{ h_p(P) = \frac1p \log_p \left( \frac{\sigma_p(P)}{d(P)} \right). } $$ 任意 Mordell-Weil 點的高度，接著由二次律得到： $$ \boxed{ h_p([n]P)=n^2h_p(P). } $$ R19 從定義微分方程重建正準 $11$-進 sigma 函數，而非匯入套件結果。 對具有不變微分 $\omega$ 的 Weierstrass 模型，sigma 函數是唯一的奇級數 $$ \boxed{ \sigma(t) = t+\cdots \in t\mathbb Z_{11}[[t]] } $$ 對此級數，存在正準常數 $$ c_{11}\in\mathbb Z_{11} $$ 滿足 $$ \boxed{ x(t)+c_{11} = - \frac{d}{\omega} \left[ \frac1{\sigma} \frac{d\sigma}{\omega} \right]. } $$ sigma 係數的整性，逐位決定 $c_{11}$。 此程序分別對兩個歷史秩一橢圓因子獨立進行。 --- ## $E_0$ 上的主要結果 使用全域整數模型 $$ \boxed{ E_{0,\min}: \qquad Y^2 = X^3 - 2MX^2 + L^2X, } $$ 其中 $$ \boxed{ M=950625, \qquad L=1352033. } $$ 正準點為 $$ \boxed{ Q_{\min} = (M,937372800). } $$ sigma 常數為 $$ \boxed{ c_{11,E_0} \equiv 4997 \pmod{11^4}. } $$ 等價地， $$ \boxed{ c_{11,E_0} = 3 + 3\cdot11 + 8\cdot11^2 + 3\cdot11^3 + O(11^4). } $$ 相應的 Katz/Mazur–Tate 權重-$2$ 值為 $$ \boxed{ E_2(E_0,\omega) = -12c_{11,E_0}+4a_2, } $$ 並滿足 $$ \boxed{ E_2(E_0,\omega) \equiv 6920 \pmod{11^4}. } $$ 點 $Q$ 的階為 $8$，此處模 $11$。 倍點 $$ [8]Q_{\min} $$ 位於形式群與全域高度公式所需的連通分量中。 其分母 $d(8Q)$ 滿足 $$ \boxed{ v_{11}(d(8Q))=1. } $$ sigma 商給出 $$ \boxed{ \log_{11} \left( \frac{\sigma_{11}(8Q)}{d(8Q)} \right) = 10\cdot11 + 6\cdot11^2 + 3\cdot11^3 + 8\cdot11^4 + 4\cdot11^5 + O(11^6). } $$ 因此 $$ \boxed{ h_{11}(Q) = \frac1{64} \frac1{11} \log_{11} \left( \frac{\sigma_{11}(8Q)}{d(8Q)} \right), } $$ 且所得全域分圓高度為 $$ \boxed{ h_{11}(Q) \equiv 58966 \pmod{11^5}. } $$ 以 $11$ 為底， $$ \boxed{ h_{11}(Q) = 6 + 3\cdot11 + 3\cdot11^2 + 0\cdot11^3 + 4\cdot11^4 + O(11^5). } $$ --- ## $E_-$ 上的主要結果 使用歷史整數模型 $$ \boxed{ E_-: \qquad y^2 = (x-e_1)(x-e_2)(x-e_3), } $$ 其中 $$ e_1=-8195043371142, $$ $$ e_2=8256895726659, $$ $$ e_3=-61852355517. $$ 展開後， $$ \boxed{ y^2 = x^3 + a_4x + a_6, } $$ 其中 $$ \boxed{ a_4 = -67669444304850546481011867, } $$ 且 $$ \boxed{ a_6 = -4185277897366249205812702665319946826. } $$ 使用歷史非撓奇指數替代點 $$ \boxed{ P_- = \left( \frac{5132247118878268203}{606841}, \frac{2520702383000286338446320000}{472729139} \right). } $$ sigma 常數為 $$ \boxed{ c_{11,E_-} \equiv 967 \pmod{11^4}. } $$ 等價地， $$ \boxed{ c_{11,E_-} = 10 + 10\cdot11 + 7\cdot11^2 + 0\cdot11^3 + O(11^4). } $$ 由於 $a_2=0$， $$ \boxed{ E_2(E_-,\omega) = -12c_{11,E_-}, } $$ 且 $$ \boxed{ E_2(E_-,\omega) \equiv 3037 \pmod{11^4}. } $$ 乘以 $16$ 後，位於 $11$ 處的形式群中，並消去所有壞素數處所需的分量類。 sigma 商給出 $$ \boxed{ \log_{11} \left( \frac{\sigma_{11}(16P_-)}{d(16P_-)} \right) = 8\cdot11 + 1\cdot11^2 + 8\cdot11^3 + 0\cdot11^4 + 9\cdot11^5 + O(11^6). } $$ 故 $$ \boxed{ h_{11}(P_-) = \frac1{256} \frac1{11} \log_{11} \left( \frac{\sigma_{11}(16P_-)}{d(16P_-)} \right), } $$ 且 $$ \boxed{ h_{11}(P_-) \equiv 3035 \pmod{11^5}. } $$ 以 $11$ 為底， $$ \boxed{ h_{11}(P_-) = 10 + 0\cdot11 + 3\cdot11^2 + 2\cdot11^3 + 0\cdot11^4 + O(11^5). } $$ --- R18 對數為 $$ \boxed{ \log_{11,E_0}(Q) = 11U_0 + O(11^{11}), } $$ 其中 $$ \boxed{ U_0 \equiv 9284831103 \pmod{11^{10}}, } $$ 且 $$ \boxed{ \log_{11,E_-}(P_-) = 11U_- + O(11^{11}), } $$ 其中 $$ \boxed{ U_- \equiv 1708957869 \pmod{11^{10}}. } $$ 定義歷史秩一二次常數 $$ \boxed{ \alpha_{0} = \frac{h_{11}(Q)} {\log_{11,E_0}(Q)^2}, } $$ 且 $$ \boxed{ \alpha_{-} = \frac{h_{11}(P_-)} {\log_{11,E_-}(P_-)^2}. } $$ 兩者的 $11$-進賦值皆為 $-2$。 寫成 $$ \boxed{ \beta_0=11^2\alpha_0, \qquad \beta_-=11^2\alpha_-, } $$ 給出 $$ \boxed{ \beta_0 \equiv 151114 \pmod{11^5}, } $$ 且 $$ \boxed{ \beta_- \equiv 48076 \pmod{11^5}. } $$ 其以 $11$ 為底的展開為 $$ \boxed{ \beta_0 = 7 + 9\cdot11 + 5\cdot11^2 + 3\cdot11^3 + 10\cdot11^4 + O(11^5), } $$ 且 $$ \boxed{ \beta_- = 6 + 3\cdot11 + 1\cdot11^2 + 3\cdot11^3 + 3\cdot11^4 + O(11^5). } $$ 因此，全域秩一高度層現已明確。 R19 的後半部，將正準偶六次曲線，匹配至標準明確雙橢圓二次 Chabauty 形式體系。 寫成 $$ \boxed{ \mathcal H: \qquad \mathcal Y^2 = a_6r^6 + a_4r^4 + a_2r^2 + a_0, } $$ 其中 $$ \boxed{ a_6=-M^2, } $$ $$ \boxed{ a_4=4M^2, } $$ $$ \boxed{ a_2=-(4M^2+L^2), } $$ 且 $$ \boxed{ a_0=2L^2. } $$ 對此形式的一般偶六次曲線，標準雙橢圓商為 $$ \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. } $$ 映射為 $$ \boxed{ \varphi_1(r,\mathcal Y) = (a_6r^2,a_6\mathcal Y), } $$ 且 $$ \boxed{ \varphi_2(r,\mathcal Y) = (a_0r^{-2},a_0\mathcal Yr^{-3}). } $$ 對我們的係數， $$ \boxed{ E_1: \quad y_1^2 = x_1^3 + 4M^2x_1^2 + M^2(4M^2+L^2)x_1 + 2L^2M^4. } $$ 此曲線直接在 $\mathbb Q$ 上同構於歷史 $E_0$ 極小模型。 令 $$ \boxed{ E_{0,\min}: \quad Y_0^2 = X_0^3 - 2MX_0^2 + L^2X_0. } $$ 則 $$ \boxed{ X_0 = \frac{x_1+2M^2}{M}, } $$ 且 $$ \boxed{ Y_0 = -\frac{y_1}{975^3}. } $$ 不變微分滿足 $$ \boxed{ F_1^\ast \left( \frac{dX_0}{2Y_0} \right) = -975 \frac{dx_1}{2y_1}. } $$ 等價地，相對於以下曲線上的正規化歷史微分： $$ E_0: \quad y^2=x^3-2x^2+\lambda^2x, $$ 有 $$ \boxed{ \log_{E_1} = -\frac1M \log_{E_0}. } $$ 邊界處相應的秩一點為 $$ \boxed{ P_1 = (-M^2,-M^2\cdot961408). } $$ 它映至 $$ \boxed{ Q_{\min} = (M,937372800). } $$ 第二個定理商為 $$ \boxed{ E_2: \quad y_2^2 = x_2^3 - (4M^2+L^2)x_2^2 + 8M^2L^2x_2 - 4M^2L^4. } $$ 令 $$ \boxed{ u=x_2-L^2. } $$ 則 $$ \boxed{ y_2^2 = u^3 + (2L^2-4M^2)u^2 + L^4u. } $$ 這恰為 R16 同源映射之前的三次曲線。 此定理商上的一個有理非撓點為 $$ \boxed{ u_C = \frac{ 4038403833577153474281 }{ 92774458921 }, } $$ $$ \boxed{ \eta_C = - \frac{ 10783196677393640046484856536800000 }{ 28258079668288469 }. } $$ 因此，在未平移的定理模型上， $$ \boxed{ P_2 = \left( u_C+L^2, \eta_C \right). } $$ 此曲線的標準 $2$ 次同源映射，接著經精確 R16 同構，將 $P_2$ 映至 $$ \boxed{ [2]P_- } $$ 位於歷史整數曲線 $E_-$ 上。 合成同源映射的微分關係為 $$ \boxed{ \psi^\ast \left( \frac{dx_-}{2y_-} \right) = -\frac23 \frac{du}{2\eta}. } $$ 所以， $$ \boxed{ \log_{E_2}(P_2) = -3 \log_{E_-}(P_-). } $$ 依正準分圓高度在 $2$ 次同源映射下的函子性， $$ \boxed{ h_{11,E_2}(P_2) = 2h_{11,E_-}(P_-). } $$ 因此，明確雙橢圓二次 Chabauty 定理所需的二次常數，可不經第二次獨立高度實作而得到。 定義 $$ \boxed{ \alpha_1 = \frac{ h_{11,E_1}(P_1) }{ \log_{E_1}(P_1)^2 }, } $$ 且 $$ \boxed{ \alpha_2 = \frac{ h_{11,E_2}(P_2) }{ \log_{E_2}(P_2)^2 }. } $$ 則 $$ \boxed{ \alpha_1 = M^2\alpha_0, } $$ 且 $$ \boxed{ \alpha_2 = \frac29\alpha_-. } $$ 寫成 $$ \boxed{ \beta_1=11^2\alpha_1, \qquad \beta_2=11^2\alpha_2, } $$ 得到 $$ \boxed{ \beta_1 \equiv 142823 \pmod{11^5}, } $$ 且 $$ \boxed{ \beta_2 \equiv 153840 \pmod{11^5}. } $$ 以 $11$ 為底， $$ \boxed{ \beta_1 = 10 + 3\cdot11 + 3\cdot11^2 + 8\cdot11^3 + 9\cdot11^4 + O(11^5), } $$ 且 $$ \boxed{ \beta_2 = 5 + 4\cdot11 + 6\cdot11^2 + 5\cdot11^3 + 10\cdot11^4 + O(11^5). } $$ 因此，明確雙橢圓二次 Chabauty 函數中的兩個全域二次係數，現已校準。 現代明確雙橢圓方法，給出以下形狀的局部解析函數： $$ \boxed{ \rho(z) = \lambda_{11}(\varphi_1(z)) - \lambda_{11}(\varphi_2(z)) - 2\log_{11}(r(z)) - \alpha_1 \Log_1(\varphi_1(z))^2 + \alpha_2 \Log_2(\varphi_2(z))^2. } $$ 其中： - $\lambda_{11}$ 表示適當橢圓商上的局部 Mazur–Tate $11$-進高度函數； - $\Log_i$ 表示相應橢圓對數； - $r=0,\infty$ 處的表面奇點，在完整曲線上具有解析延拓。 對有理點，定理產生有限集合 $$ \boxed{ \Omega\subset\mathbb Q_{11} } $$ 使得 $$ \boxed{ \rho(\mathcal H(\mathbb Q)) \subseteq \Omega. } $$ 正準六次曲線具有 $$ a_6=-M^2, $$ 且 $$ a_0=2L^2. $$ 因此，進入壞素數有限集合的明確係數相依對數範圍，已經得知。 對 $a_6$ 或 $a_0$ 具有非零賦值的素數： ### 在 $q=2$ 處 $$ \operatorname{ord}_2(a_6)=0, \qquad \operatorname{ord}_2(a_0)=1. $$ 偶整數範圍只貢獻 $$ \boxed{ n=0. } $$ ### 在 $q=3$ 處 $$ \operatorname{ord}_3(a_6)=4, \qquad \operatorname{ord}_3(a_0)=0. $$ 因此 $$ \boxed{ n\in\{-4,-2,0\}. } $$ ### 在 $q=5$ 處 $$ \operatorname{ord}_5(a_6)=8, \qquad \operatorname{ord}_5(a_0)=0. $$ 因此 $$ \boxed{ n\in\{-8,-6,-4,-2,0\}. } $$ ### 在 $q=13$ 處 $$ \operatorname{ord}_{13}(a_6)=4, \qquad \operatorname{ord}_{13}(a_0)=0. $$ 因此 $$ \boxed{ n\in\{-4,-2,0\}. } $$ ### 在 $q=73$ 處 $$ \operatorname{ord}_{73}(a_6)=0, \qquad \operatorname{ord}_{73}(a_0)=2. $$ 因此 $$ \boxed{ n\in\{0,2\}. } $$ ### 在 $q=18521$ 處 $$ \operatorname{ord}_{18521}(a_6)=0, \qquad \operatorname{ord}_{18521}(a_0)=2. $$ 因此 $$ \boxed{ n\in\{0,2\}. } $$ 在 $$ q=7,29,37, $$ 係數範圍本身只貢獻 $$ n=0, $$ 但仍可能出現非平凡局部橢圓高度集合，因為橢圓商在該處具有壞約化。 因此，剩餘精確全域任務，現在化約至兩個具體計算： 1. 確定有限局部高度值集合 $$ W_q^{E_1}, \qquad W_q^{E_2} $$ 在有限多個壞素數處； 2. 求值並孤立根： $$ \rho(z)-\omega $$ 在單一 R17 原型 $11$-進剩餘圓盤中，對每個 $$ \omega\in\Omega. $$ 因此，目前階段跨越了全域高度障礙。 缺失步驟不再是 $p$-進高度的構造。 而是有限壞素數修正集合，以及最後的解析根孤立。 --- # 1. 定理形式的正準偶六次曲線 展開正準虧格-$2$ 方程： $$ \mathcal Y^2 = (2-r^2) \left( M^2r^4 - 2M^2r^2 + L^2 \right). $$ 這給出 $$ \boxed{ \mathcal Y^2 = -M^2r^6 + 4M^2r^4 - (4M^2+L^2)r^2 + 2L^2. } $$ 因此： $$ \boxed{ a_6=-M^2, } $$ $$ \boxed{ a_4=4M^2, } $$ $$ \boxed{ a_2=-(4M^2+L^2), } $$ 且 $$ \boxed{ a_0=2L^2. } $$ 這正是明確雙橢圓二次 Chabauty 方法所使用的一般偶六次形狀。 --- # 2. R19 所使用的外部定理 對一條偶六次曲線 $$ X: \quad y^2 = a_6x^6+a_4x^4+a_2x^2+a_0, $$ 標準橢圓商為 $$ E_1: \quad y^2 = x^3+a_4x^2+a_2a_6x+a_0a_6^2, $$ 且 $$ E_2: \quad y^2 = x^3+a_2x^2+a_4a_0x+a_6a_0^2. $$ $2$ 次映射為 $$ \boxed{ \varphi_1(x,y) = (a_6x^2,a_6y), } $$ 且 $$ \boxed{ \varphi_2(x,y) = (a_0x^{-2},a_0yx^{-3}). } $$ 當兩個橢圓商皆為秩一，且 $p$ 是適當好素數時，其局部 $p$-進高度與對數，構成明確二次 Chabauty 函數。 R19 以以下素數使用此形式體系： $$ p=11. $$ --- # 3. 為何非首一的首項係數不構成障礙 我們的首項係數為 $$ a_6=-M^2. $$ 它不等於 $1$。 現代明確雙橢圓定理，以一般整係數表述： $$ a_6,a_4,a_2,a_0. $$ 因此，不須先正規化為首一六次曲線。 這很有利，因為它保留正準邊界座標 $$ r=\pm1. $$ --- # 4. $E_0$ 的全域極小模型 正規化歷史方程為 $$ y^2 = x^3 - 2x^2 + \lambda^2x, $$ 其中 $$ \lambda=L/M. $$ 全域 sigma 高度計算使用 $$ \boxed{ E_{0,\min}: \quad Y^2 = X^3 - 2MX^2 + L^2X. } $$ 正準點為 $$ \boxed{ Q_{\min} = (M,937372800). } $$ 與正規化曲線的有理座標關係為 $$ \boxed{ X=Mx, } $$ 且相容的 $Y$ 縮放為 $$ \boxed{ Y=975^3y. } $$ --- # 5. $E_{0,\min}$ 的壞約化 極小判別式分解為 $$ \boxed{ 2^{20} 7^2 29^2 37^2 73^4 18521^4. } $$ 在 $$ 7,29,37 $$ 約化為乘法型，類型為 $$ I_2. $$ 在 $$ 73,18521 $$ 它為乘法型，類型為 $$ I_4. $$ 在 $$ 2 $$ 約化為加法型。 分量指數皆整除 $4$。 因此，乘以 $$ 8 $$ 會將 $Q$ 放入所有所需連通分量，並同時消去其模 $11$ 約化。 --- # 6. $E_0$ 上的 sigma 常數 整性遞迴給出逐次剩餘值： $$ \boxed{ c \equiv 3 \pmod{11}, } $$ $$ \boxed{ c \equiv 36 \pmod{11^2}, } $$ $$ \boxed{ c \equiv 1004 \pmod{11^3}, } $$ 且 $$ \boxed{ c \equiv 4997 \pmod{11^4}. } $$ 因此： $$ \boxed{ c_{11,E_0} = 4997 + O(11^4). } $$ 整奇 sigma 級數的唯一性，正準地決定這些數位。 --- # 7. $E_0$ 上的初始 sigma 係數 使用代表值 $$ c=4997, $$ sigma 級數的開頭為 $$ \boxed{ \sigma(t) = t - \frac{1906247}{2}t^3 + \frac{50945778950917}{24}t^5 - \frac{1425360169441144340633}{240}t^7 + \cdots. } $$ 雖然所展示的有理係數具有普通分母，其 $11$-進賦值皆非負。 高度計算所使用的完整截斷級數，在以下環中是整的： $$ \mathbb Z_{11}[[t]]. $$ --- # 8. $Q$ 的全域高度 取 $$ P=[8]Q. $$ 形式參數 $$ t(P)=-X(P)/Y(P) $$ 具有精確賦值 $$ \boxed{ v_{11}(t(P))=1. } $$ $x$-座標分母為平方 $$ d(P)^2, $$ 其中 $$ \boxed{ v_{11}(d(P))=1. } $$ sigma 公式給出執行摘要中展示的對數。 除以 $$ 8^2 $$ 產生全域高度 $$ \boxed{ h_{11}(Q) \equiv58966 \pmod{11^5}. } $$ --- # 9. $E_-$ 的歷史整數模型 根滿足 $$ e_1+e_2+e_3=0, $$ 因此，方程沒有二次項： $$ \boxed{ y^2 = x^3+a_4x+a_6. } $$ 精確係數為： $$ \boxed{ a_4 = -67669444304850546481011867, } $$ $$ \boxed{ a_6 = -4185277897366249205812702665319946826. } $$ --- # 10. $E_-$ 的壞約化 判別式分解為 $$ \boxed{ 2^{32} 3^{20} 5^{16} 7^4 13^8 29^4 37^4 73^4 18521^4. } $$ 在每個列出的、不小於 $5$ 的壞素數處，約化為乘法型： - $5$：類型 $I_{16}$； - $7$：類型 $I_4$； - $13$：類型 $I_8$； - $29,37,73,18521$：類型 $I_4$。 在 $2$ 與 $3$ 處，約化為加法型。 點 $P_-$ 在除 $18521$ 外的全部這些壞素數處，其特殊纖維上都是奇異的。 乘以 $$ 16 $$ 會消去全部相關分量類，也消去模 $11$ 約化。 --- # 11. $E_-$ 上的 sigma 常數 sigma 整性遞迴給出： $$ \boxed{ c \equiv10 \pmod{11}, } $$ $$ \boxed{ c \equiv120 \pmod{11^2}, } $$ $$ \boxed{ c \equiv967 \pmod{11^3}, } $$ 且以 $11$ 為底的第四數位為零： $$ \boxed{ c \equiv967 \pmod{11^4}. } $$ 因此： $$ \boxed{ c_{11,E_-} = 967+O(11^4). } $$ --- # 12. $P_-$ 的全域高度 使用： $$ P=[16]P_-. $$ 此點位於 $11$ 處的形式子群中，以及 $11$ 之外所有所需的連通分量中。 Mazur–Tate sigma 公式接著給出： $$ \boxed{ h_{11}(P_-) \equiv3035 \pmod{11^5}. } $$ 這是雙橢圓二次 Chabauty 構造所需的第二個全域秩一高度。 --- # 13. 歷史二次常數 由 R18： $$ \log_{11,E_0}(Q) = 11U_0, $$ 以及： $$ \log_{11,E_-}(P_-) = 11U_-, $$ 達到所展示精度。 故： $$ \alpha_0 = 11^{-2} \frac{h_{11}(Q)}{U_0^2}, $$ 以及： $$ \alpha_- = 11^{-2} \frac{h_{11}(P_-)}{U_-^2}. $$ 單位部分為： $$ \boxed{ 11^2\alpha_0 \equiv151114 \pmod{11^5}, } $$ 以及： $$ \boxed{ 11^2\alpha_- \equiv48076 \pmod{11^5}. } $$ --- # 14. 第一定理商與 $E_0$ 代入我們的係數，給出 $$ E_1: \quad y_1^2 = x_1^3 + 4M^2x_1^2 + M^2(4M^2+L^2)x_1 + 2L^2M^4. $$ 定義 $$ X_0 = \frac{x_1+2M^2}{M}, $$ $$ Y_0 = -\frac{y_1}{975^3}. $$ 則： $$ \boxed{ Y_0^2 = X_0^3 - 2MX_0^2 + L^2X_0. } $$ 因此： $$ \boxed{ E_1 \cong_{\mathbb Q} E_{0,\min}. } $$ --- # 15. $E_1$ 上的微分縮放 令： $$ \omega_1 = \frac{dx_1}{2y_1}, $$ 以及： $$ \omega_0 = \frac{dX_0}{2Y_0}. $$ 則： $$ \boxed{ F_1^\ast\omega_0 = -975\,\omega_1. } $$ 相對於正規化的歷史 $E_0$ 微分，這成為： $$ \boxed{ \log_{E_1} = -\frac1M \log_{E_0}. } $$ 因此： $$ \boxed{ \alpha_1 = M^2\alpha_0. } $$ --- # 16. 第二定理商與 R16 同源前曲線 第二商為： $$ E_2: \quad y_2^2 = x_2^3 - (4M^2+L^2)x_2^2 + 8M^2L^2x_2 - 4M^2L^4. $$ 令： $$ u=x_2-L^2. $$ 則： $$ \boxed{ y_2^2 = u^3 + (2L^2-4M^2)u^2 + L^4u. } $$ 這恰為 R16 曲線，在 $2$ 次同源映射至歷史 $E_-$ 之前。 --- # 17. $E_2$ 上的明確非撓點 $P_-$ 的對偶同源像給出： $$ \boxed{ u_C = \frac{ 4038403833577153474281 }{ 92774458921 }, } $$ 以及： $$ \boxed{ \eta_C = - \frac{ 10783196677393640046484856536800000 }{ 28258079668288469 }. } $$ 故在定理模型上： $$ \boxed{ P_2 = \left( \frac{ 173629486944658561911250 }{ 92774458921 }, \eta_C \right). } $$ 直接代入驗證： $$ P_2\in E_2(\mathbb Q). $$ --- # 18. $P_2$ 的同源像 R16 $2$ 次同源映射與歷史同構，將： $$ P_2 $$ 映至： $$ \boxed{ [2]P_- } $$ 位於 $E_-$ 上。 此等式已以有理算術精確檢查，包含 $x$ 與 $y$ 兩個座標。 --- # 19. $E_2$ 上的微分縮放 令： $$ \omega_2 = \frac{du}{2\eta}. $$ 對合成的 $2$ 次同源映射： $$ \psi: E_2 \longrightarrow E_-, $$ 有： $$ \boxed{ \psi^\ast \left( \frac{dx_-}{2y_-} \right) = -\frac23\,\omega_2. } $$ 由於： $$ \psi(P_2)=2P_-, $$ 得到： $$ 2\log_{E_-}(P_-) = -\frac23 \log_{E_2}(P_2). $$ 因此： $$ \boxed{ \log_{E_2}(P_2) = -3\log_{E_-}(P_-). } $$ --- # 20. $E_2$ 上的高度縮放 正準分圓高度在同源映射下具有函子性。 對一個 $2$ 次同源映射： $$ h_{E_-}(\psi(P)) = 2h_{E_2}(P). $$ 在： $$ P=P_2, $$ 左側為： $$ h_{E_-}(2P_-) = 4h_{E_-}(P_-). $$ 因此： $$ \boxed{ h_{E_2}(P_2) = 2h_{E_-}(P_-). } $$ 故： $$ \boxed{ \alpha_2 = \frac29\alpha_-. } $$ --- # 21. 定理二次常數 結合前面各節： $$ \boxed{ \alpha_1=M^2\alpha_0, } $$ 以及： $$ \boxed{ \alpha_2=\frac29\alpha_-. } $$ 因此： $$ \boxed{ 11^2\alpha_1 \equiv142823 \pmod{11^5}, } $$ 以及： $$ \boxed{ 11^2\alpha_2 \equiv153840 \pmod{11^5}. } $$ 這是明確雙橢圓 QC 函數在所述精度下，所需的精確秩一校準常數。 --- # 22. 明確二次 Chabauty 函數 使用定理商映射： $$ \varphi_1, \qquad \varphi_2, $$ 定義： $$ \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. } $$ 局部高度正規化，必須與定義以下常數時使用的全域 Mazur–Tate 高度正規化一致： $$ \alpha_1, \alpha_2. $$ 此函數可跨越表面的 $r=0,\infty$ 奇點作解析延拓。 --- # 23. 有限全域目標集合 對每個有理點： $$ z\in\mathcal H(\mathbb Q), $$ 明確雙橢圓定理給出： $$ \boxed{ \rho(z)\in\Omega, } $$ 其中： $$ \Omega\subset\mathbb Q_{11} $$ 是一個由有限多個壞素數處的局部高度值組成的有限集合。 因此，有理點問題成為： $$ \boxed{ \rho(z)=\omega, \qquad \omega\in\Omega, } $$ 位於單一 R17 原型剩餘圓盤內。 --- # 24. QC 定理的壞素數支撐 正準六次式判別式給出壞素數支撐： $$ \boxed{ \{ 2,3,5,7,13,29,37,73,18521 \}. } $$ 明確係數賦值不增加新素數。 所選 Chabauty 素數： $$ 11 $$ 是好且普通型的。 --- # 25. 係數對數範圍：$q=2$ 由於： $$ a_6=-M^2 $$ 是 $2$-進單位，且： $$ a_0=2L^2 $$ 具有賦值 $1$， 定理的偶整數範圍為： $$ \boxed{ n=0. } $$ --- # 26. 係數對數範圍：$q=3$ 由於： $$ \operatorname{ord}_3(a_6)=4, $$ 以及： $$ \operatorname{ord}_3(a_0)=0, $$ 允許的偶整數為： $$ \boxed{ -4,-2,0. } $$ --- # 27. 係數對數範圍：$q=5$ 由於： $$ \operatorname{ord}_5(a_6)=8, $$ 以及： $$ \operatorname{ord}_5(a_0)=0, $$ 允許的偶整數為： $$ \boxed{ -8,-6,-4,-2,0. } $$ --- # 28. 係數對數範圍：$q=13$ 允許的偶整數為： $$ \boxed{ -4,-2,0. } $$ --- # 29. 係數對數範圍：$q=73$ 由於： $$ \operatorname{ord}_{73}(a_0)=2, $$ 以及： $$ \operatorname{ord}_{73}(a_6)=0, $$ 允許的偶整數為： $$ \boxed{ 0,2. } $$ --- # 30. 係數對數範圍：$q=18521$ 同樣地： $$ \boxed{ n\in\{0,2\}. } $$ --- # 31. 剩餘判別式素數 在： $$ 7,29,37, $$ 兩者： $$ a_0 $$ 以及： $$ a_6 $$ 皆為單位。 故係數相依的整數範圍，只貢獻： $$ \boxed{ n=0. } $$ 仍可能出現非平凡的有限局部高度集合，因為商橢圓曲線在該處具有壞約化。 --- # 32. $\Omega$ 尚缺什麼 對每個壞素數： $$ q\ne11, $$ 仍須有限局部 Néron 高度值集合： $$ \boxed{ W_q^{E_1}, \qquad W_q^{E_2}. } $$ 一旦得知這些集合，定理就給出精確有限集合： $$ \boxed{ \Omega. } $$ 這現在是一個有限約化理論問題。 沒有額外缺失的全域 Mordell-Weil 高度。 --- # 33. 為何不能盲目複製歷史約化類型 定理商： $$ E_1 $$ 同構於歷史： $$ E_0, $$ 以及： $$ E_2 $$ 與歷史曲線有 $2$ 次同源映射： $$ E_-. $$ 然而，局部 Néron 高度集合，依賴精確的商曲線與模型正規化。 因此，R19 **不會**直接將歷史 $E_-$ 約化表，代入： $$ W_q^{E_2}. $$ 局部集合必須經同源映射轉移，或直接重算。 這被保留為證明安全邊界。 --- # 34. 與 R18 係數曲線的關係 R18 產生局部解析關係： $$ \nu_- = \Phi_{11}(\nu_0-1) $$ 精度達： $$ 11^5. $$ R19 新增全域二次資料： $$ \alpha_1, \qquad \alpha_2. $$ 因此，以下函數中的秩一二次部分： $$ \rho $$ 現在可在同一個單變數原型圓盤中明確寫出。 剩餘非平凡解析項，是兩個局部 Mazur–Tate 高度函數之差，加上： $$ -2\log_{11}(r). $$ R19 所構造的 sigma 後端，也是此計算所需的局部工具。 --- # 35. R19 之後的原生後端狀態 目前執行環境，現具有以下證明安全的自製演算法： - 精確橢圓群律； - $2$-初級與 $11$-初級飽和證書； - 形式橢圓對數； - 正準 $11$-進 sigma 常數； - 秩一生成元的全域分圓 $11$-進高度； - 經商同構／同源映射轉移二次高度常數； - 明確雙橢圓 QC 定理座標。 因此，外部算術幾何依賴已大幅減少。 --- # 36. 目前精確常數 為便於交接： ## 歷史 $E_0$ $$ \boxed{ h_{11}(Q) \equiv58966 \pmod{11^5}, } $$ $$ \boxed{ 11^2\alpha_0 \equiv151114 \pmod{11^5}. } $$ ## 歷史 $E_-$ $$ \boxed{ h_{11}(P_-) \equiv3035 \pmod{11^5}, } $$ $$ \boxed{ 11^2\alpha_- \equiv48076 \pmod{11^5}. } $$ ## 定理商 $E_1$ $$ \boxed{ 11^2\alpha_1 \equiv142823 \pmod{11^5}. } $$ ## 定理商 $E_2$ $$ \boxed{ 11^2\alpha_2 \equiv153840 \pmod{11^5}. } $$ --- # 37. 交叉檢查 已進行以下獨立一致性檢查： 1. sigma 常數由逐次整性條件得到，而非一次直接求解； 2. 形式 sigma 級數，在所需階數下是 $11$-整的； 3. 高度計算，使用位於形式子群與連通壞素數分量中的倍點； 4. R18 對數計算，在提高截斷深度下保持穩定； 5. 定理 $E_1$ 方程精確變換為歷史 $E_0$ 模型； 6. 定理 $E_2$ 方程精確平移為 R16 同源前的三次曲線； 7. 明確點 $P_2$ 恰位於 $E_2$ 上； 8. $P_2$ 的同源像恰為 $[2]P_-$； 9. 微分縮放已作符號檢查。 --- # 38. 證明安全狀態 R19 尚未主張完整的有理點分類。 特別地，以下項目尚未認證： - 完整有限集合： $$ \Omega; $$ - 以下函數的局部解析展開： $$ \rho $$ 達根孤立精度； - 完整零點集： $$ \{z:\rho(z)\in\Omega\}; $$ - 對任何偽有理點的最後 Mordell-Weil 篩； - 固定切片不存在性。 此階段確立全域高度常數，以使上述步驟有意義。 --- # 39. 文獻正規化 本階段使用的外部要素為： 1. Mazur–Tate $p$-進 sigma 理論； 2. Mazur–Stein–Tate 以下式計算分圓 $p$-進高度： $$ h_p(P) = \frac1p \log_p \left( \frac{\sigma_p(P)}{d(P)} \right); $$ 3. 秩-$2$ Jacobian 偶六次曲線的明確雙橢圓二次 Chabauty，由 Balakrishnan–Dogra 發展，並在 Bianchi–Padurariu 框架中作計算上的明確化。 正準曲線滿足所需的秩一／秩一分裂。 --- # 40. 擬議的 R20 計畫 R20 應完成有限的非 $11$ 處局部修正層。 ## R20-A — 定理 $E_1,E_2$ 的極小模型 對每個壞素數： $$ 2,3,5,7,13,29,37,73,18521, $$ 確定定理商的精確約化類型。 ## R20-B — 局部 Néron 值集合 計算： $$ W_q^{E_1}, \qquad W_q^{E_2}. $$ 對乘法約化，可從分量指標與 Bernoulli 局部高度公式進行。 對加法素數，使用精確分量表。 ## R20-C — 組裝 $\Omega$ 建立精確有限集合： $$ \boxed{ \Omega. } $$ 將其模以下素數的有用冪次約化： $$ 11 $$ 並合併重複值。 ## R20-D — 局部 QC 級數 使用新 sigma 後端計算： $$ \rho(1+11u) $$ 達到充分精度。 ## R20-E — 根孤立 對每個： $$ \omega\in\Omega, $$ 求解： $$ \rho(1+11u)=\omega. $$ 使用 Strassmann／Newton 多邊形論證，認證以下集合中的根數： $$ u\in\mathbb Z_{11}. $$ ## R20-F — 辨識與最後篩 辨識邊界根： $$ u=0. $$ 任何額外的 $11$-進根，都成為偽有理點，送至既有 R11/R16 Mordell-Weil 篩。 --- # 41. 最終結論 R19 跨越了 R18 之後剩餘的全域高度障礙。 正準 Mazur–Tate sigma 函數，已對兩個歷史秩一橢圓因子直接重建。 所得全域分圓 $11$-進高度為： $$ \boxed{ h_{11}(Q) \equiv58966 \pmod{11^5}, } $$ 以及： $$ \boxed{ h_{11}(P_-) \equiv3035 \pmod{11^5}. } $$ 這些高度與 R18 對數結合，確定明確雙橢圓二次 Chabauty 所需的二次常數。 精確轉移至定理的兩個自然橢圓商後： $$ \boxed{ 11^2\alpha_1 \equiv142823 \pmod{11^5}, } $$ 以及： $$ \boxed{ 11^2\alpha_2 \equiv153840 \pmod{11^5}. } $$ 因此，缺失的二次 Chabauty 函數，現已在全域上校準。 剩餘任務是有限且局部的： $$ \boxed{ \text{壞素數局部高度集合} \longrightarrow \Omega \longrightarrow 11\text{-進根孤立}. } $$ R20 應針對此層。