> 本文為英文原文的全文譯本。研究主張仍以原文為權威來源；翻譯不代表獨立數學驗證。 # 完美長方體 Radical-FDRS R9 ## $n=7/32$ 纖維上的精確雙閘 Mordell-Weil 篩與邊界管強制約束 **系列：** 完美長方體全域閉合 **分支：** Radical-FDRS／幾何耦合分支 R **階段：** R9 — 精確局部算術篩 **日期：** 2026-10-04 **狀態：** 歷史固定切片的證明安全必要條件定理 — 並非完美長方體存在或不存在的證明 --- # 0. 執行摘要 R8 將以下歷史固定切片的完美長方體問題 $$ n=\frac7{32} $$ 約化為秩一橢圓曲線上的雙平方值問題 $$ \boxed{ E_0': \qquad Y^2 = X(X-448^2)(X+1073^2). } $$ 定義 $$ A=448^2=200704, $$ $$ B=1073^2=1151329, $$ $$ M=B-A=950625=975^2, $$ 且 $$ L=A+B=1352033. $$ 兩個 R8 平方閘為 $$ \boxed{ \mathcal R_1(P) = \frac{2X(P)+M}{L}, } $$ 且 $$ \boxed{ \mathcal R_2(P) = L\,X(P)\left(MX(P)-2AB\right). } $$ 完整虧格為 $5$ 的固定纖維上的非邊界有理點，必須映射到一個有理點 $$ P\in E_0'(\mathbb Q) $$ 使以下兩者 $$ \mathcal R_1(P) $$ 且 $$ \mathcal R_2(P) $$ 皆為有理平方。 精確秩定理給出 $$ \operatorname{rank}E_0'(\mathbb Q)=1. $$ 使用已知的奇數指數 Mordell-Weil 替代點 $$ \boxed{ G_0 = (480704,-468686400). } $$ 此前完整的 $2$-下降證明，$G_0$ 在原始自由秩一子群中具有奇數指數，這是在模有理 $2$-撓結構的意義下。 R9 在此前已認證、且不超過以下界限的每個好約化素數，同時施加兩個 R8 平方閘 $$ p\le5{,}000{,}000 $$ 其中約化群為二的冪階群。 最終必要條件極為狹窄。 令 $$ G $$ 為原始生成元，並寫成 $$ G_0=dG+T_0 $$ 其中以下數為奇數 $$ d $$ 且 $$ T_0\in E_0'[2]. $$ 對任何全域有理點，寫成 $$ P=nG+T. $$ 定義正規化的 $2$-進係數 $$ \boxed{ c=n\,d^{-1}\in\mathbb Z_2. } $$ 則每個滿足兩個平方閘的有理點都必須滿足 $$ \boxed{ c\equiv\pm1\pmod{2^{14}}, } $$ 且其固定的有效撓陪集，必須是恰好兩個類中的一個： $$ \boxed{ S\in \left\{ (A,0), (-B,0) \right\}. } $$ 另外兩個有理 $2$-撓陪集被排除。 等價地，相對於原始生成元， $$ \boxed{ n\equiv\pm d\pmod{2^{14}}. } $$ 四個中心點具有 $$ c=\pm1 $$ 以及兩個存留撓陪集，且在全域上滿足兩個平方閘。 它們恰好是已知的幾何邊界點。 所以，R9 將每個假設性非邊界解，強制約束在四個極薄的 $2$-進管之一內；其中心位於已知邊界軌跡。 這是此階段的主要結果。 --- # 1. 橢圓核心 使用 $$ \boxed{ E: \qquad Y^2=X(X-A)(X+B), } $$ 其中 $$ A=200704, $$ 且 $$ B=1151329. $$ 展開後： $$ Y^2 = X^3 + MX^2 - ABX, $$ 其中 $$ M=950625. $$ 有理 $2$-撓子群為 $$ \boxed{ E(\mathbb Q)[2] = \{ O, T_0^{(x)}, T_A, T_{-B} \}, } $$ 其中 $$ T_0^{(x)}=(0,0), $$ $$ T_A=(A,0), $$ 且 $$ T_{-B}=(-B,0). $$ 撓群為 $$ \boxed{ E(\mathbb Q)_{\rm tors} \cong (\mathbb Z/2\mathbb Z)^2. } $$ --- # 2. 秩一定理 精確的完整 $2$-下降確立 $$ \boxed{ \operatorname{rank}E(\mathbb Q)=1. } $$ 明確的非撓點為 $$ \boxed{ G_0 = (480704,-468686400). } $$ 其 Kummer 類為 $$ \boxed{ (7511,7,1073). } $$ 此類獨立於有理 $2$-撓結構的像。 精確 Selmer 維度顯示，$G_0$ 在原始秩一自由子群中具有奇數指數，這是在模撓結構的意義下。 所以，存在 $$ G\in E(\mathbb Q), $$ 奇數 $$ d, $$ 且 $$ T_\ast\in E[2] $$ 使得 $$ \boxed{ G_0=dG+T_\ast. } $$ R9 不假定 $$ d=1. $$ --- # 3. 為何二冪約化素數消除奇數指數的不確定性 令 $$ p $$ 為好約化素數，使得 $$ \#E(\mathbb F_p) $$ 為二的冪。 因為 $$ d $$ 為奇數，因此以下倍乘 $$ d $$ 是下列有限 $2$-群的自同構 $$ E(\mathbb F_p). $$ 因此 $$ \boxed{ \langle G_0,E[2]\rangle = \langle G,E[2]\rangle } $$ 這是在約化群內。 故 $G_0$ 在每個這類素數處，都是證明安全的原始生成元替代點。 不需要全域飽和假設。 --- # 4. 全域 $2$-進係數 將一個有理點寫成 $$ P=nG+T. $$ 由於 $$ d $$ 為奇數，定義 $$ \boxed{ c=n\,d^{-1}\in\mathbb Z_2. } $$ 在以下約化處取模 $$ \operatorname{ord}(G_0)=2^e, $$ 自由係數為 $$ c\bmod2^e. $$ 一旦固定奇偶性，有效撓項就在全域上固定。 事實上， $$ P = [c]G_0 + \left( T-[c]T_\ast \right). $$ 因為 $$ T_\ast $$ 具有二階，因此只有下列係數的奇偶性 $$ c $$ 會影響撓修正。 因此，可在不同二冪約化素數處，對係數／撓條件取交集。 --- # 5. R8 雙平方閘 對於 $$ P=(X,Y)\in E(\mathbb Q), $$ 定義 $$ \boxed{ \mathcal R_1(P) = \frac{2X+M}{L}, } $$ 其中 $$ L=1352033, $$ 且 $$ \boxed{ \mathcal R_2(P) = L\,X(MX-2AB). } $$ 精確的 R8 定理陳述，在有限座標圖邊界集合之外， $$ P $$ 提升到完整的虧格為 $5$ 的完美長方體纖維，若且唯若 $$ \boxed{ \mathcal R_1(P)\in\mathbb Q^2, } $$ 且 $$ \boxed{ \mathcal R_2(P)\in\mathbb Q^2. } $$ R9 僅使用這兩個精確條件的必要局部推論。 --- # 6. 有限體平方條件 對好約化的奇素數 $$ p\nmid L, $$ 有理平方在取模後約化為零或二次剩餘，其模為 $$ p. $$ 因此，一個必要局部條件為 $$ \boxed{ \mathcal R_1(P\bmod p) \in \mathbb F_p^{\,2}, } $$ 且 $$ \boxed{ \mathcal R_2(P\bmod p) \in \mathbb F_p^{\,2}. } $$ 這裡 $$ 0 $$ 也被允許為平方。 這對每個約化 Mordell-Weil 點給出精確的有限檢驗。 --- # 7. 使用的二冪素數 此前已認證的點計數掃描，截至 $$ p\le5{,}000{,}000 $$ 包含以下有用的好約化素數。 三元組為 $$ \left( p,\#E(\mathbb F_p),\operatorname{ord}(G_0\bmod p) \right). $$ R9 使用： $$ \boxed{ (11,16,8), } $$ $$ \boxed{ (23,32,16), } $$ $$ \boxed{ (61,64,32), } $$ $$ \boxed{ (109,128,32), } $$ $$ \boxed{ (113,128,32), } $$ $$ \boxed{ (233,256,16), } $$ $$ \boxed{ (1049,1024,128), } $$ $$ \boxed{ (2087,2048,1024), } $$ $$ \boxed{ (4027,4096,2048), } $$ $$ \boxed{ (4049,4096,512), } $$ $$ \boxed{ (4219,4096,2048), } $$ $$ \boxed{ (16477,16384,8192), } $$ $$ \boxed{ (32647,32768,16384), } $$ $$ \boxed{ (33013,32768,16384), } $$ $$ \boxed{ (65269,65536,4096), } $$ $$ \boxed{ (65657,65536,16384), } $$ 且 $$ \boxed{ (523357,524288,65536). } $$ 較小的二冪素數 $$ 3, 5, 13 $$ 未用於新的雙閘篩，因為它們整除特殊化閘函數中的係數，須另外處理函數的不良約化。 --- # 8. 精確有限枚舉程序 對每個可用素數 $$ p, $$ 令 $$ o_p = \operatorname{ord}(G_0\bmod p). $$ 對每個 $$ 0\le k 在同一邊界管內，任一平方條件是否可對一個非零形式位移 $u$ 成立？ 這是一個形式群／$2$-進平方提升問題。 --- # 23. 邊界中心的對稱性 由於兩個平方函數都只依賴： $$ X, $$ 橢圓曲線上的取負： $$ (X,Y)\mapsto(X,-Y) $$ 不會改變任一閘。 因此，兩個中心： $$ P_{+,A}, \qquad P_{-,A} $$ 在納入局部橢圓參數的符號變換之後，具有相同的平方函數展開。 下列兩者也同樣如此： $$ P_{+,-B}, \qquad P_{-,-B}. $$ 所以，僅須分析兩種本質上的 $X$ 中心類型： $$ \boxed{ X_A = \frac{731150784}{625}, } $$ 以及： $$ \boxed{ X_{-B} = -\frac{300440000}{1521}. } $$ 這將形式局部工作量減半。 --- # 24. 第一中心具有倒數閘根 在下列： $$ T_A $$ 中心， $$ \mathcal R_1 = \left( \frac{39}{25} \right)^2. $$ 在下列： $$ T_{-B} $$ 中心， $$ \mathcal R_1 = \left( \frac{25}{39} \right)^2. $$ 兩個根互為倒數。 這與 Radical-FDRS／Cayley 參數化的倒數對稱性一致。 它也為下一次局部展開提供有用的正規化。 --- # 25. 與舊的乾淨素數定理之關係 歷史雙商篩，將任何虧格為 $3$ 的有理點強制約束至以下邊界剩餘圓盤 $$ h=0, \quad 1, \quad -1, \quad \infty $$ 這是在若干乾淨素數處。 R9 從不同表示達到同樣性質的邊界強制約束： $$ \boxed{ c\equiv\pm1\pmod{2^{14}} } $$ 恰好帶有兩個撓陪集，其全域中心映射到那四個邊界 $h$ 值。 所以，舊的雙商篩與新的雙平方橢圓篩彼此一致。 --- # 26. 更強的概念壓縮 歷史固定切片算術目前已經過以下鏈： $$ \boxed{ \text{虧格為5的同時四次式} } $$ $$ \longrightarrow $$ $$ \boxed{ \text{下列曲線的雙二次覆蓋：}E_0' } $$ $$ \longrightarrow $$ $$ \boxed{ \text{秩一Mordell-Weil軌道} } $$ $$ \longrightarrow $$ $$ \boxed{ \text{四個 }2\text{-進邊界管}. } $$ 這是 Radical-FDRS 分支目前得到的最強約化。 --- # 27. R9 定理套件 R9 對下列歷史： $$ n=\frac7{32} $$ 纖維確立以下證明安全陳述。 ## 定理 A — 兩個撓陪集存留 任何有理雙平方點都必須位於以下有效撓類： $$ \boxed{ T_A } $$ 或： $$ \boxed{ T_{-B}. } $$ ## 定理 B — 係數強制約束 其正規化的 $2$-進係數滿足： $$ \boxed{ c\equiv\pm1\pmod{2^{14}}. } $$ ## 定理 C — 邊界中心辨識 具有下式的精確全域點： $$ c=\pm1 $$ 是四個已知邊界像，對應於： $$ \boxed{ h=0, \quad h=1, \quad h=-1, \quad h=\infty. } $$ ## 定理 D — 全域的高度獨立性 限制來自 Mordell-Weil 約化，因此不依賴有理高度而適用。 --- # 28. 仍未決的事項 剩餘問題不再是在下列群上的廣泛搜尋： $$ E_0'(\mathbb Q). $$ 它是： $$ \boxed{ \text{任一雙平方覆蓋是否在四個邊界管之一內具有非邊界點？} } $$ 等價地： $$ \boxed{ c = \pm1 + 2^{14}u, \qquad u\ne0, } $$ 並帶有適當的撓陪集。 這是一個高度局部化的 $2$-進問題。 --- # 29. 擬議的 R10 方案 R10 應從有限體約化轉向下列曲線的形式群： $$ E_0' $$ 其底域為： $$ \mathbb Q_2. $$ ## R10-A — 每個邊界中心的形式參數 選擇標準局部參數，例如： $$ z=-\frac{X-X_\ast}{Y} $$ 或經平移的形式群座標。 將以下座標： $$ X(z), \qquad Y(z) $$ 表成收斂的 $2$-進級數。 ## R10-B — 展開兩個平方閘 計算： $$ \mathcal R_1(P_\ast+Q) $$ 以及： $$ \mathcal R_2(P_\ast+Q) $$ 表成以下點的形式參數之 $2$-進冪級數： $$ Q=[2^{14}u]G_0. $$ 提出已知邊界平方因子。 ## R10-C — 平方單位判準 對奇的 $2$-進單位： $$ v\in\mathbb Z_2^\times, $$ 使用： $$ v\in\mathbb Q_2^2 \iff v\equiv1\pmod8. $$ 追蹤兩個閘展開的賦值與單位部。 ## R10-D — 邊界隔離目標 理想結果為： > 若兩個閘級數在 $\mathbb Q_2$ 中皆為平方，則 $u=0$。 這將在其 $2$-進管內隔離出邊界中心。 結合 R9，將證明下列： $$ n=\frac7{32} $$ 固定纖維上不存在非邊界有理點。 ## R10-E — 若隔離失敗 若非零 $2$-進分支存留，將其精確剩餘類計算至更高精度，並與奇素數 Mordell-Weil 篩結合。 下一個篩將只針對這些明確局部分支，而非完整秩一群。 --- # 30. 最終結論 R9 開始了 R8 所承諾的算術階段。 在此前已認證的完整有用二冪約化素數集合上，同時 R8 平方閘被精確檢驗。 結果尚不是固定切片的不存在定理。 它是一個強的全域必要條件： $$ \boxed{ c\equiv\pm1\pmod{2^{14}}, } $$ 其中僅有： $$ \boxed{ T_A, \quad T_{-B} } $$ 在四個有理 $2$-撓陪集中存留。 精確中心： $$ c=\pm1 $$ 並非神祕的存留者。 它們正是四個已知的幾何邊界點。 因此，每個假設性非邊界有理點，都被強制約束至邊界的一個極小 $2$-進鄰域。 下一個數學上自然的步驟，並不是另一次廣泛的整數搜尋或一般高虧格約化。 它是對這些邊界管進行形式群分析。 這是 R10 的典範起點。