← 完美長方體:從連續世界、進位表示到算術自由度 / G2E.5 與 G2E.6 · 雙橢圓約化與交接

完美長方體:從連續世界、進位表示到算術自由度 G2E.5 與 G2E.6 · 雙橢圓約化與交接 原文未署名

雙橢圓虧格 2 約化與局部精確驗證交接:精確對合、明確的橢圓商、更正後的對偶商篩、完全 2-下降與最後的聯立四次式目標

虧格 3 層映到一條有明確雙橢圓對合 τ 的虧格 2 曲線 H_2,商 E_+ = E_0,所以 Jac(H_2) ~ E_0 × E_−,問題變成:找 E_0(Q) 上使 2 − x 為有理平方的點;並更正 G2E.4 檢查程式裡一個不對稱的 [m]-投影錯誤(乾淨質數不變)。交接檔把固定切片 k = 7/32 交給本地計算:虧格 2 平方值曲線的完全 2-下降、覆蓋類 (1, 1073, 1073) 的孤立,然後是聯立四次式 Y² = A4(m)、Z² = B4(m),已知的解只有邊界(m = 25, 39, 31200/1073);已認證與暫定的項目分開列出。

精確的結構定理加上一份誠實的交接:「沒有任何暫定項目可以在沒有獨立精確重跑的情況下被升格」;「若已證,則 k = 7/32 作為非退化完美長方體的第一通道切片被全域排除」是條件式。 這一頁是 G 線的終點:套件裡沒有任何地方宣稱固定切片已被排除,更沒有宣稱完美長方體不存在;即使 k = 7/32 被排除,k 仍可變動。G2E.6 第 482 行寫「在所有其他局部可解的類都被獨立排除之前,不得宣稱這件事」。上架前的通讀重驗了 τ 恆等式、E_+ = E_0 與 m = 25, 39, 31200/1073 的 w = ±1。

連接 · Connections

本文提供英文原文的全文譯本;原文仍是研究主張的權威來源。翻譯不代表獨立數學驗證,也不提升原有證據層級。

載入中…