> 本文為英文原文的全文譯本。研究主張仍以原文為權威來源；翻譯不代表獨立數學驗證。 # 完美長方體 G2E.6 — 本機精確驗證交接 ## 完全 $2$ 下降、全域相容覆蓋的隔離，以及最終同時四次式目標 **系列：** 完美長方體全域閉合 **主線：** 幾何分支 G **驗證線：** 本機精確驗證 **階段：** G2E.6 **狀態：** 本機計算交接／從暫定至認證的轉換 **日期：** 2026-09-30 --- # 0. 目的 本原文是用於在本機繼續目前固定切片完美長方體研究的典範交接文件。 網頁端任務現在限於： - 推導精確方程式； - 證明符號歸約； - 定義有限驗證目標； - 區分已認證與暫定的結果。 本機端任務為： - 獨立重算所有繁重的有限搜尋； - 可用時進行 Sage／PARI／mwrank／Magma 檢查； - 驗證下降空間； - 驗證局部可解性； - 認證存活的全域覆蓋類； - 獨立重新檢查每個候選。 目前的固定切片為： $$ \boxed{ k=\frac7{32}. } $$ --- # 1. 目前的證明架構 固定切片問題已經由以下鏈歸約： $$ \text{完美長方體固定切片} $$ $$ \Downarrow $$ $$ \text{虧格-5 同時雙平方曲線} $$ $$ \Downarrow $$ $$ \text{虧格-3 中間曲線} $$ $$ \Downarrow $$ $$ \text{虧格-2 雙橢圓平方值曲線} $$ $$ \Downarrow $$ $$ \text{完全-}2\text{ 下降覆蓋} $$ $$ \Downarrow $$ $$ \text{一個或極少數全域相容覆蓋} $$ $$ \Downarrow $$ $$ \text{同時四次式平方系統}. $$ 眼前的本機目標，是將其餘暫定歸約轉換為獨立的精確證書。 --- # 2. 虧格 $2$ 平方值曲線 令： $$ w\in\mathbb Q. $$ 虧格 $2$ 曲線可寫為： $$ \boxed{ Y^2= (2-w^2) \left( w^2+\frac{2146}{975}w+\frac{1352033}{950625} \right) \left( w^2-\frac{2146}{975}w+\frac{1352033}{950625} \right). } $$ 等價地，令： $$ w=\frac uv, \qquad \gcd(u,v)=1, $$ 定義： $$ F_1(u,v) = 2v^2-u^2, $$ $$ F_2(u,v) = 950625u^2 + 2092350uv + 1352033v^2, $$ $$ F_3(u,v) = 950625u^2 - 2092350uv + 1352033v^2. $$ 則有理點要求： $$ \boxed{ F_1F_2F_3 \in \mathbb Z^2. } $$ --- # 3. 完全 $2$ 下降的表述 寫成： $$ F_1=d_1X_1^2, $$ $$ F_2=d_2X_2^2, $$ $$ F_3=d_3X_3^2, $$ 其中： $$ d_1,d_2,d_3 $$ 為無平方因子的平方類代表元。 由於： $$ F_1F_2F_3 $$ 為平方數，必須有： $$ d_1d_2d_3 \in \mathbb Q^{\times2}. $$ 預期平方類的支撐位於： $$ \boxed{ S= \{ -1, 2, 3, 5, 7, 13, 29, 37, 73, 18521 \}. } $$ 此支撐來自三個二次因子的判別式及兩兩結式。 --- # 4. 第一個本機端驗證目標 獨立重算完全 $2$ 下降。 **不要**假設先前網頁端的暫定計數。 本機程式應： 1. 枚舉所有支撐在 $S$ 上的平方類配對； 2. 施加 $$ d_3=d_1d_2 $$ 在模去平方的意義下； 3. 在以下位置測試局部可解性： $$ p=\infty $$ 以及 $S$ 中的每個質數； 4. 按需要使用逐漸增高的冪： $$ p,\ p^2,\ p^3,\ldots $$ ； 5. 記錄精確的存活平方類三元組。 網頁端的暫定預期為： $$ 1048576 \longrightarrow 8 $$ 個正的局部可容許類。 此數目必須獨立重算。 --- # 5. 重要的暫定結構觀察 在逾時的網頁端執行中，所有存活的正類看起來都滿足： $$ \boxed{ d_1=1. } $$ 若經獨立確認，則每個有理點都必須滿足： $$ \boxed{ 2-w^2\in\mathbb Q^2. } $$ 這尤其重要，因為： $$ x=2-w^2 $$ 是 G2E.5 使用的橢圓商座標。 因此，虧格 $2$ 的完全 $2$ 下降會自動迫使額外的虧格 $3$ 提升閘門成立。 在本機重算確認完整下降之前，此敘述**尚不提升為定理**。 --- # 6. 已知邊界下降類 已知的有理邊界點： $$ w=\pm1 $$ 給出： $$ F_1=1, $$ 且兩個範數因子的平方類為： $$ 1073. $$ 因此，邊界類為： $$ \boxed{ (d_1,d_2,d_3) = (1,1073,1073). } $$ 此類在全域上可解。 --- # 7. 重要的競爭暫定類 逾時分析期間觀察到的第二個平方類為： $$ \boxed{ d = 1073\cdot1352033. } $$ 以數值表示： $$ \boxed{ d=1450731409. } $$ 先前已知的乾淨質數： $$ 11,\ 59,\ 181,\ 197,\ 1669 $$ 並不會自動區分： $$ 1073 $$ 與： $$ 1073\cdot1352033 $$ 若採用暫定分析中使用的簡單二次特徵測試。 因此，本機計算**不應**假設邊界類已經唯一。 --- # 8. 全域相容覆蓋的隔離 重算局部可解的下降類之後，套用修正後的雙商 Mordell–Weil 相容性篩法。 修正後的 Sylow-$2$ 投影規則為： 若： $$ \#E(\mathbb F_p) = 2^s m, \qquad m\text{ 為奇數}, $$ 則候選點與已知的 Mordell–Weil 子群，都必須由同一映射投影： $$ [m]. $$ 正確的成員資格測試為： $$ \boxed{ [m]P_{\rm candidate} \in \left\langle [m]G,\, [m]E(\mathbb Q)_{\rm tors} \right\rangle. } $$ 不要只投影子群。 --- # 9. 先前重新驗證的乾淨質數 修正投影實作之後，以下質數仍是有效的乾淨質數： $$ \boxed{ 11,\ 59,\ 181,\ 197,\ 1669. } $$ 在這些質數的每一處，兩個橢圓商的同時相容性迫使虧格 $3$ 參數落入邊界剩餘類。 這些質數可再用作獨立的局部篩選，但所有覆蓋類結論都必須由實際的局部平方類像重算。 --- # 10. 建議的乾淨質數搜尋 對每個存活的非邊界下降類： $$ (1,d,d), $$ 搜尋一個符合修正規則的乾淨質數 $p$，使其滿足： 1. 兩個橢圓商映射在相關剩餘類中皆有定義； 2. 雙商 Mordell–Weil 相容性只留下邊界剩餘類； 3. 相對平方類由以下條件偵測： $$ \boxed{ \left( \frac{d/1073}{p} \right) = -1. } $$ 若存在這樣的質數，則該覆蓋類不可能含有與邊界 Mordell–Weil 像相容的全域有理點。 重複此步驟，直到每個非邊界覆蓋都被排除，或明確地存活。 --- # 11. 下降階段所欲的定理目標 所欲的最強結果為： $$ \boxed{ \text{唯一全域相容的下降類為 } (1,1073,1073). } $$ 在所有其他局部可解類都已被獨立排除之前，**不得**聲稱此結果。 若第二個類在全域上存活，則另行繼續處理該類。 --- # 12. 邊界類的參數化 假設正在研究的類為： $$ \boxed{ (1,1073,1073) } $$ 。 則： $$ F_2 = 1073A^2, $$ $$ F_3 = 1073B^2, $$ 以及： $$ F_1 = C^2. $$ 從以下方程式開始： $$ F_2 = 1073A^2. $$ 此二次曲線具有有理點： $$ \boxed{ (w,A)=(1,64). } $$ 使用直線： $$ A = 64 + m(w-1). $$ 第二個交點給出精確的有理參數化： $$ \boxed{ w(m) = \frac{ 1073m^2 - 137344m + 3042975 }{ 1073m^2 - 950625 }. } $$ 此公式應經獨立的符號驗證。 --- # 13. 剩餘的 $F_3$ 平方閘門 將： $$ w=w(m) $$ 代入： $$ F_3 $$ 得到： $$ \frac{F_3}{1073} = \frac{ 4A_4(m) }{ (1073m^2-950625)^2 }. $$ 因此： $$ F_3=1073B^2 $$ 等價於： $$ \boxed{ A_4(m)\in\mathbb Q^2, } $$ 其中： $$ \boxed{ A_4(m) = 56415121m^4 + 6561609600m^3 + 3887248218750m^2 } $$ $$ \boxed{ \qquad - 248783886000000m + 3745786306640625. } $$ --- # 14. 剩餘的 $F_1$ 平方閘門 第一個因子變為： $$ 2-w(m)^2 = \frac{ B_4(m) }{ (1073m^2-950625)^2 }. $$ 因此： $$ F_1=C^2 $$ 等價於： $$ \boxed{ B_4(m)\in\mathbb Q^2, } $$ 其中： $$ \boxed{ B_4(m) = 1151329m^4 + 294740224m^3 - 29473681186m^2 } $$ $$ \boxed{ \qquad + 835868716800m - 7452321069375. } $$ --- # 15. 最終的同時四次式系統 在邊界覆蓋類下，固定切片問題變成： $$ \boxed{ m\in\mathbb Q } $$ 使得： $$ \boxed{ Y^2=A_4(m), } $$ 以及： $$ \boxed{ Z^2=B_4(m). } $$ 明確地： $$ \boxed{ Y^2 = 56415121m^4 + 6561609600m^3 + 3887248218750m^2 - 248783886000000m + 3745786306640625, } $$ 以及： $$ \boxed{ Z^2 = 1151329m^4 + 294740224m^3 - 29473681186m^2 + 835868716800m - 7452321069375. } $$ 這是下一階段的典範本機計算系統。 --- # 16. 已知邊界解 已知以下有理數值滿足兩個四次式平方方程式，並對應於退化的邊界幾何： $$ \boxed{ m=25, } $$ $$ \boxed{ m=39, } $$ 以及： $$ \boxed{ m=\frac{31200}{1073}. } $$ 這些應經獨立驗證。 對於： $$ m=25, $$ 先前的符號歸約給出： $$ A_4(25) = 8960000^2, $$ 以及： $$ B_4(25) = 280000^2. $$ 對於： $$ m=39, $$ 先前的符號歸約給出： $$ A_4(39) = 21805056^2, $$ 以及： $$ B_4(39) = 681408^2. $$ 對於： $$ m=\frac{31200}{1073}, $$ 先前的符號歸約給出： $$ A_4(m) = \left( \frac{326064375}{1073} \right)^2, $$ 以及： $$ B_4(m) = \left( \frac{46580625}{1073} \right)^2. $$ 發布之前，這些全部都必須在本機獨立重新檢查。 --- # 17. 本機端建議工作流程 ## 階段 A — 下降重算 對以下乘積重算完全 $2$ 下降： $$ F_1F_2F_3. $$ 輸出： - 精確的平方類支撐； - 精確的局部覆蓋方程式； - 局部可解類； - 局部見證； - 局部障礙。 ## 階段 B — 全域覆蓋排除 對每個存活的類： - 套用修正後的雙商 Mordell–Weil 相容性； - 搜尋乾淨質數； - 記錄 Legendre 符號分離； - 認證該類在全域上不可能成立，或仍存活。 ## 階段 C — 唯一覆蓋歸約 若僅有： $$ (1,1073,1073) $$ 存活，則獨立驗證有理參數化： $$ w(m). $$ ## 階段 D — 同時四次式分析 研究： $$ Y^2=A_4(m), $$ $$ Z^2=B_4(m). $$ 建議工具： - Sage `HyperellipticCurve`； - Magma `RankBounds`, `TwoCoverDescent`, `Chabauty`； - PARI/GP； - 顯式橢圓 Jacobian 轉換； - 結式； - 局部可解性； - Mordell–Weil 篩法； - 橢圓 Chabauty； - 必要時使用二次 Chabauty。 ## 階段 E — 證書生成 若所有有理同時解皆為邊界： $$ \boxed{ \text{固定切片 } k=\frac7{32} \text{ 不含非退化的完美長方體點}. } $$ 若找到非邊界有理解，則重建： $$ w, $$ 接著重建虧格 $2$ 點、虧格 $3$ 點、完整雙平方狀態，最後重建完美長方體的有理數／整數見證。 --- # 18. 哪些內容已認證，哪些仍屬暫定 ## 本次交接之前已認證 - CARCE 等價性； - 巢狀 X 雙平方歸約； - 固定 $k$ 的虧格 $5$ 結構； - 橢圓秩： $$ r_f=r_0=r_-=1; $$ - 修正後的雙商乾淨質數： $$ 11,59,181,197,1669; $$ - 精確的有限高度虧格 $3$ 排除，分母範圍直到： $$ 20000. $$ ## 暫定，且必須在本機重新驗證 - 完全 $2$ 虧格 $2$ 下降的存活類計數： $$ 8; $$ - 所有存活的正類都具有： $$ d_1=1; $$ - 以下類的全域唯一性： $$ (1,1073,1073); $$ - 顯式的四次式係數 $A_4,B_4$； - 所列的有理邊界 $m$ 解。 任何暫定項目都不應在未經獨立精確重跑的情況下提升。 --- # 19. 典範的本機定理目標 首選的最終本機定理為： > 對固定切片 $k=7/32$，虧格 $2$ 平方值曲線上的每個有理點都屬於唯一的下降類 $(1,1073,1073)$，且所得同時四次式系統的每個有理解皆為退化。 以符號表示： $$ \boxed{ Y^2=A_4(m), \qquad Z^2=B_4(m) } $$ 只有已知的邊界有理解。 若證明成立，則： $$ \boxed{ k=\frac7{32} } $$ 可在全域上排除為非退化完美長方體的第一通道切片。 --- # 20. 單行交接 $$ \boxed{ \text{重算完全 }2\text{ 下降} \rightarrow \text{隔離全域覆蓋} \rightarrow \text{求解 } Y^2=A_4(m),\; Z^2=B_4(m) \text{，於 }\mathbb Q. } $$ --- **G2E.6 本機驗證交接結束**