> 本文為英文原文的全文譯本。研究主張仍以原文為權威來源；翻譯不代表獨立數學驗證。 # 完美長方體 Radical-FDRS R15 ## 正準覆蓋 Mordell-Weil 篩、高階素數飽和與橢圓 Chabauty 交接 **系列：** 完美長方體全域閉合 **分支：** Radical-FDRS / 幾何耦合分支 R **階段：** R15 — 正準覆蓋有限素數篩 **日期：** 2026-10-05 **狀態：** 精確計算檢查點與正準橢圓 Chabauty 交接 — 並非完美長方體存在性或不存在性的證明 --- # 0. 執行摘要 R14 將最強的 Radical-FDRS Mordell-Weil 剩餘類資料，轉移至一個正準歷史平方值覆蓋。 橢圓基底為 $$ \boxed{ E_0: \qquad y^2 = x^3 - 2x^2 + \lambda^2x, } $$ 其中 $$ \boxed{ \lambda = \frac{1352033}{950625}. } $$ 正準平方閘為 $$ \boxed{ 2-x\in\mathbb Q^2. } $$ 已知奇指數 Mordell-Weil 替代點為 $$ \boxed{ Q = \left( 1, \frac{961408}{950625} \right). } $$ R14 證明，兩個存活的來源撓陪集，在同源映射與撓圖表正規化後消失。 因此，每個假設存在的固定切片解，在正準歷史軌道上，都由一個正規化 $2$-進係數表示： $$ c $$ 其中 $$ \boxed{ c\bmod2^{18} \in \mathcal C_{18}, } $$ 其中 $$ \boxed{ \mathcal C_{18} = \pm \{ 1, 16385, 114687, 131071 \}. } $$ R15 直接將正準平方閘施加於此封包。 歷史乾淨素數 $$ 11, 59, 181, 197, 1669 $$ 不會細化此封包。 它們的投影 $Q$ 階太小： $$ 2^3, 2^2, 2^3, 2^1, 2^2. $$ 在這些模數下，每個 R11 類都約化為已知邊界符號類之一。 接著，R15 直接在正準曲線上，對較大投影階的素數進行新的精確搜尋。 找到兩個有用素數： $$ \boxed{ p_1=11{,}532{,}251, } $$ 且 $$ \boxed{ p_2=15{,}721{,}883. } $$ 獨立的完整有限體點計數給出 $$ \boxed{ \#E_0(\mathbb F_{p_1}) = 11\cdot2^{20}, } $$ 且 $$ \boxed{ \#E_0(\mathbb F_{p_2}) = 15\cdot2^{20}. } $$ 經奇數餘因子投影後， $$ \boxed{ \operatorname{ord}([11]Q)=2^{19} } $$ 在 $p_1$ 處成立，且 $$ \boxed{ \operatorname{ord}([15]Q)=2^{19} } $$ 在 $p_2$ 處成立。 因此，兩個素數都能看見超出 R11 模數的一個係數位元。 對每個素數，八個 R11 類從以下模數提升： $$ 2^{18} $$ 至以下模數的全部十六個類： $$ 2^{19}. $$ 平方閘依證明安全的順序檢驗： 1. 重建投影 Mordell-Weil 類的所有奇初級原像； 2. 檢驗： $$ 2-x $$ 在原像上的值； 3. 若至少一個原始原像滿足平方閘，就保留該投影類。 在： $$ p_1, $$ 奇核的階為： $$ 11. $$ 每個係數提升都具有二至七個平方閘容許的奇初級原像，共十六個提升，皆如此。 在： $$ p_2, $$ 奇核的階為： $$ 15. $$ 每個係數提升都具有五至十二個平方閘容許的奇初級原像，共十六個提升，皆如此。 因此： $$ \boxed{ \text{兩個素數都未排除任何 R11 係數類。} } $$ 這不是轉移失敗。 它揭示，**單一正準覆蓋太寬，無法僅靠這些有限素數條件繼續收緊 R11 封包**。 下一步具有決定性的算術資訊，必須使用以下其中之一： - 虧格-$2$ 覆蓋的互補橢圓商； - 橢圓 Chabauty； - 對偶 Mordell-Weil 相容性篩； - 或更高的完美長方體提升。 因此，R15 結束有限素數單覆蓋階段，準備正準橢圓 Chabauty 交接。 --- # 1. 正準橢圓基底 令 $$ \boxed{ M=950625, } $$ 且 $$ \boxed{ L=1352033. } $$ 則 $$ \boxed{ \lambda=\frac LM. } $$ 正準橢圓曲線為 $$ \boxed{ E_0: \qquad y^2 = x^3 - 2x^2 + \lambda^2x. } $$ 其有理 $2$-撓點為 $$ \boxed{ T=(0,0). } $$ 精確 Mordell-Weil 秩為 $$ \boxed{ \operatorname{rank}E_0(\mathbb Q)=1. } $$ --- # 2. 正準奇指數替代點 取 $$ \boxed{ Q = \left( 1, \frac{961408}{950625} \right). } $$ R14 藉模 $17$ 約化證明，$Q$ 的自由格係數為奇數。 因此，$Q$ 在每個 $2$-初級 Mordell-Weil 篩中，都是本原自由生成元的證明安全替代點。 不須主張 $Q$ 是全域本原的。 --- # 3. 正準平方值覆蓋 歷史平方值覆蓋為 $$ \boxed{ r^2=2-x. } $$ 相應的正準虧格-$2$ 模型為 $$ \boxed{ \mathcal H_{\rm can}: \qquad \mathcal Y^2 = (2-r^2) \left( M^2r^4 - 2M^2r^2 + L^2 \right). } $$ 至橢圓基底的映射為 $$ \boxed{ x=2-r^2, } $$ $$ \boxed{ y=\frac{\mathcal Y}{M}. } $$ 邊界點為 $$ \boxed{ r=\pm1, } $$ 映至 $$ \boxed{ Q \quad\text{且}\quad -Q. } $$ 位於橢圓層級。 --- # 4. 轉移後的係數封包 R11 封包為 $$ \boxed{ \mathcal C_{18} = \{ 1, 16385, 114687, 131071, 131073, 147457, 245759, 262143 \}. } $$ 等價地， $$ \boxed{ \mathcal C_{18} = \pm \{ 1, 16385, 114687, 131071 \} \pmod{2^{18}}. } $$ 每個假設存在的固定切片解，都必須映至正準軌道，其正規化係數滿足 $$ \boxed{ c\bmod2^{18}\in\mathcal C_{18}. } $$ 不再有有理 $2$-撓標記。 --- # 5. 第一覆蓋層級的符號對稱性 平方值函數 $$ 2-x $$ 只依賴橢圓 $x$-座標。 因此 $$ \boxed{ 2-x(P) = 2-x(-P). } $$ 因此： $$ c $$ 以及： $$ -c $$ 在第一平方值層級無法區分。 八個 R11 剩餘類形成四個符號軌道。 更高的完美長方體提升可能區分橢圓符號，因此，此商僅用於正準虧格-$2$ 階段。 --- # 6. 歷史乾淨素數 歷史雙商工作使用以下乾淨素數： $$ \boxed{ 11, 59, 181, 197, 1669. } $$ R15 重新計算它們在正準曲線上的資料。 精確群階與投影 $Q$ 階為： | $p$ | $\#E_0(\mathbb F_p)$ | 奇數餘因子 | $\operatorname{ord}([m]Q)$ | |---:|---:|---:|---:| | $11$ | $16$ | $1$ | $8$ | | $59$ | $56$ | $7$ | $4$ | | $181$ | $160$ | $5$ | $8$ | | $197$ | $176$ | $11$ | $2$ | | $1669$ | $1664$ | $13$ | $4$ | 因此，這五個素數中最大的投影係數模數，僅為 $$ \boxed{ 2^3. } $$ --- # 7. 為何歷史乾淨素數無法切去 $\mathcal C_{18}$ 以下集合中的每個剩餘類： $$ \mathcal C_{18} $$ 都同餘於 $$ \pm1 $$ 模任何不超過下列數值的二次冪時皆如此： $$ 2^{14}. $$ 特別地，模以下投影階： $$ 2, 4, 8, $$ 整個封包都收縮為邊界符號類。 邊界類是真正的有理平方值點。 因此，它們必然存活。 R15 明確驗證，所有轉移後的 R11 類，在五個歷史乾淨素數處，都通過舊覆蓋檢驗。 因此，這些素數對舊的**雙商**相容性問題仍有用，但無法在單一正準覆蓋上，細化目前的高位元係數封包。 --- # 8. 第一個新高階素數 在正準橢圓曲線上的新精確搜尋找到 $$ \boxed{ p_1=11{,}532{,}251. } $$ 完整的特徵平方點計數給出 $$ \boxed{ \#E_0(\mathbb F_{p_1}) = 11{,}534{,}336. } $$ 因數分解： $$ \boxed{ 11{,}534{,}336 = 11\cdot2^{20}. } $$ 因此，奇數餘因子為 $$ \boxed{ m_1=11. } $$ --- # 9. $p_1$ 處的投影階 定義 $$ \boxed{ Q_1=[11]Q. } $$ 精確的反覆倍點給出 $$ \boxed{ \operatorname{ord}(Q_1)=2^{19}. } $$ 因此，此素數能區分模以下數值的係數類： $$ 2^{19}. $$ 這比 R11 封包模數多一個位元。 --- # 10. $p_1$ 處的奇初級核 奇初級子群的階為 $$ 11. $$ 一個明確的 $11$ 階點為 $$ \boxed{ R_{11} = (10164389,10798185) \in E_0(\mathbb F_{p_1}). } $$ 它滿足 $$ \boxed{ [11]R_{11}=O. } $$ 對一個投影狀態 $$ S, $$ 在倍乘以下數值之下的十一個原像： $$ 11 $$ 為 $$ \boxed{ P_0+jR_{11}, \qquad 0\le j<11, } $$ 其中 $P_0$ 是 $2$-初級子群中的唯一原像。 --- # 11. R11 封包的模 $2^{19}$ 提升 每個係數 $$ c_0\in\mathcal C_{18} $$ 在以下模數下有兩個提升： $$ 2^{19}: $$ $$ c_0, $$ 且 $$ c_0+2^{18}. $$ 因此，R15 檢驗十六個係數類： $$ \boxed{ \mathcal C_{19}^{\rm lift}. } $$ 對每個類： 1. 形成其投影點： $$ [c]Q_1; $$ 2. 將倍乘以下數值的映射求逆： $$ 11 $$ 在 $2$-初級子群上進行； 3. 枚舉全部十一個奇初級原像； 4. 檢驗： $$ 2-x $$ 是否為二次剩餘。 --- # 12. $p_1$ 處的結果 十六個係數提升中，每個都具有至少一個平方值原像。 容許的奇初級原像精確數量，範圍從 $$ \boxed{ 2 } $$ 至 $$ \boxed{ 7. } $$ 因此 $$ \boxed{ p_1 \text{ 未排除任何 R11 係數類}. } $$ 這是一個精確有限體結果。 --- # 13. 第二個新高階素數 繼續精確素數搜尋，得到 $$ \boxed{ p_2=15{,}721{,}883. } $$ 第二次獨立完整點計數給出 $$ \boxed{ \#E_0(\mathbb F_{p_2}) = 15{,}728{,}640. } $$ 因數分解： $$ \boxed{ 15{,}728{,}640 = 15\cdot2^{20}. } $$ 因此 $$ \boxed{ m_2=15. } $$ --- # 14. $p_2$ 處的投影階 定義 $$ \boxed{ Q_2=[15]Q. } $$ 精確倍點給出 $$ \boxed{ \operatorname{ord}(Q_2)=2^{19}. } $$ 此素數同樣能看見超出 R11 的一個係數位元。 --- # 15. $p_2$ 處的奇初級核 奇初級子群的階為 $$ 15. $$ 一個明確的 $15$ 階點為 $$ \boxed{ R_{15} = (4692854,429598) \in E_0(\mathbb F_{p_2}). } $$ 它滿足 $$ \boxed{ [15]R_{15}=O. } $$ 因此，每個投影狀態都有十五個奇初級原像。 --- # 16. $p_2$ 處的結果 檢驗了相同的十六個模 $2^{19}$ 係數提升。 每個都至少有一個原始原像滿足 $$ 2-x \in \mathbb F_{p_2}^{\,2}. $$ 平方閘容許的奇初級原像數量，範圍從 $$ \boxed{ 5 } $$ 至 $$ \boxed{ 12. } $$ 因此 $$ \boxed{ p_2 \text{ 也未排除任何 R11 係數類}. } $$ --- # 17. 獨立計數驗證 兩個新素數處的群階，皆以兩種獨立精確方法驗證： 1. Hasse 窗橢圓小步／大步點計數，帶有超過以下數值的點階證書： $$ 4\sqrt p; $$ 2. 完整的有限體平方特徵點枚舉。 兩種方法均返回： $$ \boxed{ \#E_0(\mathbb F_{11,532,251}) = 11\cdot2^{20}, } $$ 且 $$ \boxed{ \#E_0(\mathbb F_{15,721,883}) = 15\cdot2^{20}. } $$ 因此，所報告的素數資料，並不依賴單一計數演算法。 --- # 18. 正確的混合階篩規則 新素數具有非平凡奇數餘因子。 因此，平方值閘必須在 Sylow-$2$ 投影**之前**檢驗。 正確順序為： $$ \boxed{ \text{原始原像} \longrightarrow \text{平方值檢驗} \longrightarrow \text{奇數餘因子投影} \longrightarrow \text{Mordell-Weil 比較}. } $$ 不可只在投影之後求 $$ 2-x $$ 的值。 投影會改變橢圓點，因此也改變 $x$。 R15 遵循證明安全的次序。 --- # 19. 高階單覆蓋飽和檢查點 在投影係數解析度層級，兩個新素數明顯強於歷史乾淨素數。 兩者皆有： $$ \boxed{ \operatorname{ord}([m]Q)=2^{19}. } $$ 然而，十六個提升後的 R11 類中，兩者連一個也未排除。 因此，沒有細化並不只是係數精度不足所致。 單一舊覆蓋 $$ r^2=2-x $$ 在這些素數處，每個目前係數分支上方，都有大量有限體提升。 這是強而有力的證據，表明進一步進展應利用額外的全域相容性，而非僅靠單一覆蓋。 這是一個計算檢查點，而非對所有素數成立的普遍定理。 --- # 20. 搜尋區間檢查點 直接投影階搜尋，在第一次新命中之後仍持續進行。 所掃描區域約從 $$ 8.26\times10^6 $$ 一直延伸至超過 $$ 2.1\times10^7. $$ 所報告的兩個素數，是在已完成掃描部分中，遇到的有用 $2^{19}$ 投影階命中。 對素數密度或未掃描區間，不提出任何主張。 搜尋的目的，是檢驗明顯更強的投影階，是否會立即切去現有封包。 對兩個已檢驗的精確命中而言，不會。 --- # 21. 為何橢圓 Chabauty 現在是正確的升級 正準虧格-$2$ 覆蓋，是秩一橢圓曲線的 $2$ 次覆蓋。 有限素數單覆蓋篩，已將候選集中至一個小 Mordell-Weil 封包，但高投影階素數仍使目前所有分支局部可解。 這正是橢圓 Chabauty 或虧格-$2$ 曲線上的完整 Mordell-Weil 篩，比繼續單獨二次剩餘檢驗更適合的情境。 剩餘問題並不是： > 某個剩餘類是否包含局部平方點？ 而是： > 該 Mordell-Weil 圓盤中，是否存在全域有理的虧格-$2$ 點？ 此區別現在具有決定性。 --- # 22. 互補橢圓商 正準六次曲線 $$ \mathcal H_{\rm can}: \qquad \mathcal Y^2 = (2-r^2) \left( M^2r^4 - 2M^2r^2 + L^2 \right) $$ 是雙橢圓的。 第一個商是正準的 $$ E_0 $$ 映射： $$ x=2-r^2. $$ 第二個非超橢圓對合，由以下對合 $$ r\mapsto-r $$ 與超橢圓對合合成而得。 其橢圓商位於歷史 $$ E_- $$ 同源類。 因此，下一個篩可要求與兩個已認證的秩一橢圓因子同時相容： $$ \boxed{ E_0 \quad\text{且}\quad E_-. } $$ 這恢復了單覆蓋檢驗中缺失的資訊。 --- # 23. 為何舊乾淨素數仍然相關 歷史乾淨素數之所以強大，是因為它們並非僅檢驗 $$ 2-x $$ 的平方性。 它們檢驗同一較高虧格點，與兩個獨立秩一橢圓商像的相容性。 該雙重條件迫使點位於邊界剩餘圓盤。 R15 確認了為何只轉移 $E_0$ 平方閘，會損失部分強度。 因此，舊乾淨素數架構應在**正準虧格-$2$ 雙商層級**重用，而非作為單閘過濾器。 --- # 24. 正準橢圓 Chabauty 輸入封包 下一階段的精確資料現在為： ## 橢圓基底 $$ \boxed{ E_0: \quad y^2=x^3-2x^2+\lambda^2x. } $$ ## 參數 $$ \boxed{ \lambda=\frac{1352033}{950625}. } $$ ## 奇指數替代點 $$ \boxed{ Q= \left( 1, \frac{961408}{950625} \right). } $$ ## 平方值覆蓋 $$ \boxed{ r^2=2-x. } $$ ## 正準虧格-$2$ 曲線 $$ \boxed{ \mathcal Y^2 = (2-r^2) \left( 950625^2r^4 - 2\cdot950625^2r^2 + 1352033^2 \right). } $$ ## 邊界點 $$ \boxed{ r=\pm1. } $$ ## 係數封包 $$ \boxed{ c\bmod2^{18} \in \pm \{ 1, 16385, 114687, 131071 \}. } $$ ## 第一覆蓋符號軌道 $$ \boxed{ 4 } $$ 個模去橢圓取負的係數類。 --- # 25. 係數封包的證明安全解讀 此剩餘類封包是 $2$-進的。 不可將其解讀為模任意奇因子的完整整數係數。 在混合階素數處，必須保留所有與投影係數相符的奇初級原像。 這正是兩個新素數以完整奇核枚舉檢驗的原因。 未來任何橢圓 Chabauty 或 Mordell-Weil 實作，都必須保留此區別。 --- # 26. R15 定理套件 ## 定理 A — 正準轉移 每個 R11 存活者，在歷史覆蓋上皆由以下點表示： $$ \boxed{ [c]Q } $$ 沒有撓歧義。 ## 定理 B — 歷史乾淨素數解析度界 對於 $$ 11,59,181,197,1669, $$ 投影 $Q$ 階至多為 $$ 2^3. $$ 因此，這些素數無法在單一正準覆蓋上，區分高位元 R11 封包。 ## 定理 C — 新素數 $p_1$ $$ \boxed{ \#E_0(\mathbb F_{11,532,251}) = 11\cdot2^{20}, } $$ 且 $$ \boxed{ \operatorname{ord}([11]Q)=2^{19}. } $$ 全部十六個 R11 提升都通過單平方閘。 ## 定理 D — 新素數 $p_2$ $$ \boxed{ \#E_0(\mathbb F_{15,721,883}) = 15\cdot2^{20}, } $$ 且 $$ \boxed{ \operatorname{ord}([15]Q)=2^{19}. } $$ 全部十六個提升同樣存活。 ## 定理 E — 單覆蓋篩檢查點 已檢驗的正準有限素數平方值篩，未細化 R11 封包，即使投影係數解析度已提高至 $$ 2^{19}. $$ --- # 27. R15 沒有證明什麼 R15 沒有證明，未來任何素數都無法細化此封包。 它沒有證明，非邊界係數分支包含有理虧格-$2$ 點。 它沒有分類 $$ \mathcal H_{\rm can}(\mathbb Q). $$ 它不取代更高的完美長方體提升。 它確立：在歷史素數與新找到的高階素數處檢驗的單一平方值覆蓋，尚未帶來進一步排除。 這為升級至更強的全域方法提供理由。 --- # 28. 擬議的 R16 計畫 R16 應使用正準虧格-$2$ 覆蓋的完整雙橢圓結構。 ## R16-A — 正準座標中的明確第二商 直接從 $$ \mathcal H_{\rm can}. $$ 寫出第二橢圓商，產生一個簡潔的 Weierstrass 模型與明確有理映射。 將其辨識為歷史 $$ E_- $$ 同源類。 ## R16-B — 第二商上的奇指數替代點 將以下曲線上歷史已認證的非撓點： $$ E_- $$ 轉移至正準第二商。 記錄一個證明安全的奇指數替代點。 ## R16-C — 使用 R11 封包的雙商篩 對以下曲線上每個轉移後的係數圓盤： $$ E_0, $$ 枚舉好素數模下可能的虧格-$2$ 提升，並要求與第二商的秩一子群同時相容。 這應在新的正準座標中，恢復並強化歷史乾淨素數方法。 ## R16-D — 橢圓 Chabauty 實作 若雙有限素數篩停止縮減，就在以下映射上執行橢圓 Chabauty： $$ \mathcal H_{\rm can} \to E_0. $$ 從一開始就使用 R11 剩餘類封包限制 Mordell-Weil 圓盤。 ## R16-E — 精確完成目標 分類正準虧格-$2$ 覆蓋上，允許的 Mordell-Weil 圓盤中的所有有理點。 接著檢驗剩餘的更高完美長方體提升。 --- # 29. 最終結論 R15 完成了正準橢圓 Chabauty 問題的實務準備。 目前所有 Radical-FDRS 剩餘類資訊，都已轉移至單一歷史軌道 $$ [c]Q. $$ 舊五個乾淨素數的解析度太低，無法在單覆蓋上細化高位元封包。 兩個新發現且獨立認證的素數，投影階為 $$ 2^{19} $$ 在正確處理奇初級原像後，同樣未能排除任何目前係數分支。 因此，限制問題不再只是係數解析度。 單一平方值覆蓋具有過多的局部有限體彈性。 下一項有用資訊，必須來自**第二橢圓商或橢圓 Chabauty 本身**。 正準虧格-$2$ 曲線、邊界點、秩一替代點與剩餘類封包，現已固定且具證明安全性。 這是 R16 的正準起點。