> 本文為英文原文的全文譯本。研究主張仍以原文為權威來源；翻譯不代表獨立數學驗證。 # 完美長方體 Radical-FDRS R13 ## 新商閘與歷史 G2E.5 橢圓 Chabauty 覆蓋的 Kummer 扭曲等價性 **系列：** 完美長方體全域閉合 **分支：** Radical-FDRS / 幾何耦合分支 R **階段：** R13 — 商覆蓋辨識與譜系合併 **日期：** 2026-10-05 **狀態：** 精確結構辨識 — 並非完美長方體存在性或不存在性的證明 --- # 0. 執行摘要 R12 對兩個原始平方閘的精確閘交換撓對稱性取商，在 $2$-同源橢圓商上得到一個線性平方值條件。 正規化後，商橢圓曲線恰為歷史上的秩一曲線 $$ \boxed{ E_0: \qquad y^2 = x^3 - 2x^2 + \lambda^2x, } $$ 其中 $$ \boxed{ \lambda = \frac{1352033}{950625}. } $$ R12 線性閘成為 $$ \boxed{ f_{\rm new}(x) = 2x-\lambda^2. } $$ 歷史上的 G2E.5 虧格-$2$ 覆蓋由以下函數控制： $$ \boxed{ f_{\rm old}(x) = 2-x. } $$ 乍看之下，這似乎是同一橢圓曲線上的兩個不同平方值問題。 R13 證明其精確關係。 令 $$ \boxed{ T=(0,0)\in E_0(\mathbb Q)[2]. } $$ 沿 $T$ 平移為 $$ \boxed{ \tau_T(x,y) = \left( \frac{\lambda^2}{x}, - \frac{\lambda^2y}{x^2} \right). } $$ 則 $$ \boxed{ \tau_T^\ast f_{\rm old} = \frac{ f_{\rm new} }{ x }. } $$ 等價地，在橢圓函數體的平方類群中， $$ \boxed{ [f_{\rm new}] = [x]\, [\tau_T^\ast f_{\rm old}]. } $$ 因此，新舊虧格-$2$ 覆蓋在 $E_0$ 上並非字面上相同。 它們相差以下 Kummer 扭曲： $$ \boxed{ [x]. } $$ 這個區別至關重要。 然而，類 $[x]$ 恰為歷史上的 $2$-同源覆蓋所平凡化的非分歧二次 Kummer 類： $$ \boxed{ \phi: E_0'\longrightarrow E_0. } $$ 事實上，在 $E_0'$ 上有 $$ \boxed{ \phi^\ast x=q^2 } $$ 其中 $q$ 為一個明確的有理函數。 因此，基底變換至 $E_0'$ 後，兩個平方值覆蓋變得明確同構。 在拉回模型上定義 $$ \boxed{ q^2=x. } $$ 則 $E_0'$ 具有以下四次表示： $$ \boxed{ w^2 = q^4 - 2q^2 + \lambda^2. } $$ 歷史與新的平方提升成為 $$ \boxed{ r^2 = 2-q^2, } $$ 且 $$ \boxed{ s^2 = 2q^2-\lambda^2. } $$ 明確的撓圖表變換 $$ \boxed{ q' = \frac{\lambda}{q}, } $$ $$ \boxed{ w' = -\frac{\lambda w}{q^2}, } $$ $$ \boxed{ r' = \frac{s}{q} } $$ 將新拉回覆蓋映至舊拉回覆蓋。 其逆映射為 $$ \boxed{ q = \frac{\lambda}{q'}, } $$ $$ \boxed{ w = -\frac{\lambda w'}{q'^2}, } $$ $$ \boxed{ s = \frac{\lambda r'}{q'}. } $$ 因此，先前分開的兩條研究路線，現在正式合併： $$ \boxed{ \text{R12 新商覆蓋} } $$ 且 $$ \boxed{ \text{G2E.5 舊橢圓 Chabauty 覆蓋} } $$ 是同一完美長方體提升障礙的兩個 $2$-撓／Kummer 圖表，此處已拉回至 $E_0'$。 正確結論並不是兩個覆蓋在 $E_0$ 上已經相同。 正確結論是： $$ \boxed{ \text{它們相差同源 Kummer 類 }[x], } $$ 以及： $$ \boxed{ \text{此扭曲在以下曲線上成為平凡：}E_0'. } $$ 因此，R12 沒有產生獨立的新橢圓 Chabauty 問題。 未來首選的算術路線，是使用單一正準覆蓋族，只在能改善局部或計算行為時使用撓圖表。 --- # 1. 歷史正規化橢圓曲線 歷史 G2E.5 橢圓曲線為 $$ \boxed{ E_0: \qquad y^2 = x^3 - 2x^2 + \lambda^2x. } $$ 其中 $$ \boxed{ \lambda = \frac{ 1352033 }{ 950625 }. } $$ 等價地， $$ E_0: \qquad y^2 = x \left( x^2-2x+\lambda^2 \right). $$ 點 $$ \boxed{ T=(0,0) } $$ 是此正規化模型上唯一的非平凡有理 $2$-撓點。 --- # 2. 歷史 G2E.5 平方值覆蓋 舊虧格-$2$ 路線將固定切片的有理點問題化約為： $$ \boxed{ P\in E_0(\mathbb Q) } $$ 使得 $$ \boxed{ 2-x(P)\in\mathbb Q^2. } $$ 定義 $$ \boxed{ f_{\rm old} = 2-x. } $$ 相應的 $2$ 次覆蓋為 $$ \boxed{ \mathcal H_{\rm old}: \qquad r^2 = 2-x. } $$ 其正規化就是用於橢圓 Chabauty／平方值計畫的歷史虧格-$2$ 曲線。 --- # 3. R12 商閘 R12 使用未正規化的 $2$-同源商 $$ \widehat E: \qquad V^2 = U^3 - 2MU^2 + L^2U, $$ 其中 $$ M=950625, $$ 且 $$ L=1352033. $$ 商平方閘為 $$ \boxed{ 2MU-L^2 \in \mathbb Q^2. } $$ 以下式正規化： $$ \boxed{ U=Mx. } $$ 因為 $$ M=975^2 $$ 本身是有理平方， $$ 2MU-L^2 = M^2 \left( 2x-\frac{L^2}{M^2} \right). $$ 因此，平方性等價於 $$ \boxed{ 2x-\lambda^2 \in \mathbb Q^2. } $$ 定義 $$ \boxed{ f_{\rm new} = 2x-\lambda^2. } $$ 因此，R12 覆蓋為 $$ \boxed{ \mathcal H_{\rm new}: \qquad s^2 = 2x-\lambda^2. } $$ --- # 4. 沿有理 $2$-撓點平移 對一條曲線 $$ y^2=x^3+ax^2+bx $$ 具有有理 $2$-撓點 $$ (0,0), $$ 沿此點平移，會將 $$ x \longmapsto \frac{b}{x}. $$ 對於 $$ E_0, $$ 有 $$ b=\lambda^2. $$ 故 $$ \boxed{ \tau_T: (x,y) \longmapsto \left( \frac{\lambda^2}{x}, - \frac{\lambda^2y}{x^2} \right). } $$ 直接代入可驗證 $$ \tau_T^2=1. $$ --- # 5. 舊平方函數的變換 求平移後的舊函數值： $$ \tau_T^\ast f_{\rm old} = 2-\frac{\lambda^2}{x}. $$ 因此 $$ \boxed{ \tau_T^\ast f_{\rm old} = \frac{ 2x-\lambda^2 }{ x }. } $$ 由於 $$ f_{\rm new}=2x-\lambda^2, $$ 得到 $$ \boxed{ f_{\rm new} = x\, \tau_T^\ast f_{\rm old}. } $$ 轉至平方類： $$ \boxed{ [f_{\rm new}] = [x]\, [\tau_T^\ast f_{\rm old}]. } $$ 這是正準的 R13 恆等式。 --- # 6. 兩個覆蓋的精確關係 因此，新舊覆蓋由以下方式聯繫： 1. 沿以下點平移橢圓基底： $$ T=(0,0); $$ 2. 將二次覆蓋的平方類乘以： $$ [x]. $$ 因此，它們並非以下函數體的字面上相同二次擴張： $$ \mathbb Q(E_0). $$ 它們相差一個 Kummer 扭曲。 此扭曲恰為： $$ \boxed{ [x]. } $$ 這修正了「兩個覆蓋在 $E_0$ 上已經相同」這個過強的非正式說法。 --- # 7. Kummer 扭曲的除子 在 $$ E_0, $$ 有理函數 $$ x $$ 具有除子 $$ \boxed{ \operatorname{div}(x) = 2(T)-2(O), } $$ 其中 $$ O $$ 是橢圓單位元。 因此，以下函數的除子： $$ x $$ 是偶的。 因此，添入 $$ \sqrt{x} $$ 會定義橢圓函數體的一個非分歧二次擴張。 這正是 $2$ 次同源覆蓋的函數體形式。 --- # 8. 歷史 $2$-同源覆蓋 回到全 $2$-撓模型 $$ \boxed{ E_0': \qquad Y^2 = X(X-A)(X+B), } $$ 其中 $$ A=448^2, $$ $$ B=1073^2. $$ 令 $$ M=B-A=975^2. $$ 標準的 $2$ 次同源映射為 $$ \phi: E_0' \longrightarrow E_0. $$ 在未正規化的目標上定義 $$ \boxed{ U = \frac{Y^2}{X^2}. } $$ 接著正規化 $$ \boxed{ x = \frac{U}{M}. } $$ 因此 $$ \boxed{ x = \left( \frac{Y}{975X} \right)^2. } $$ 定義 $$ \boxed{ q = \frac{Y}{975X}. } $$ 則 $$ \boxed{ \phi^\ast x=q^2. } $$ 故 Kummer 類 $$ [x] $$ 在以下曲線上成為平凡： $$ E_0'. $$ 這正是新舊覆蓋在拉回後合併的原因。 --- # 9. 同源覆蓋作為 Kummer 平凡化 在函數體層級， $$ \boxed{ \mathbb Q(E_0') = \mathbb Q(E_0) \left( \sqrt{x} \right) } $$ 其中採用正規化同源模型的標準選擇。 因此： $$ \boxed{ [x] = 1 } $$ 在 $$ \mathbb Q(E_0')^\times/ \mathbb Q(E_0')^{\times2}. $$ 拉回 R13 平方類恆等式： $$ [f_{\rm new}] = [x] [\tau_T^\ast f_{\rm old}]. $$ 在 $$ E_0', $$ 此式成為 $$ \boxed{ [\phi^\ast f_{\rm new}] = [ \phi^\ast\tau_T^\ast f_{\rm old} ]. } $$ 因此，兩個二次覆蓋在同源基底變換後成為同構。 --- # 10. 同源拉回的四次模型 因為 $$ x=q^2, $$ 代入 $$ E_0: \qquad y^2 = x^3-2x^2+\lambda^2x. $$ 則 $$ y^2 = q^2 \left( q^4-2q^2+\lambda^2 \right). $$ 定義 $$ \boxed{ w = \frac{y}{q}. } $$ 則 $$ \boxed{ w^2 = q^4 - 2q^2 + \lambda^2. } $$ 這是同源拉回的一個虧格-$1$ 四次模型。 它很方便，因為撓平移在以下座標中成為簡單的倒數變換： $$ q. $$ --- # 11. 撓平移的提升 由於 $$ x=q^2, $$ 基底平移 $$ x \mapsto \frac{\lambda^2}{x} $$ 成為 $$ \boxed{ q \mapsto \frac{\lambda}{q}. } $$ 四次方程在以下變換下保持不變： $$ \boxed{ (q,w) \longmapsto \left( \frac{\lambda}{q}, - \frac{\lambda w}{q^2} \right). } $$ 事實上： $$ \left( \frac{\lambda w}{q^2} \right)^2 = \left( \frac{\lambda}{q} \right)^4 - 2 \left( \frac{\lambda}{q} \right)^2 + \lambda^2. $$ 因此，撓平移成為拉回四次曲線上的一個明確倒數對合。 --- # 12. $q$ 座標中的舊平方閘 歷史閘為 $$ r^2 = 2-x. $$ 由於 $$ x=q^2, $$ 它成為 $$ \boxed{ r^2 = 2-q^2. } $$ 定義舊拉回覆蓋： $$ \boxed{ \widetilde{\mathcal H}_{\rm old}: } $$ $$ w^2 = q^4-2q^2+\lambda^2, $$ $$ r^2 = 2-q^2. $$ --- # 13. $q$ 座標中的新平方閘 R12/R13 閘為 $$ s^2 = 2x-\lambda^2. $$ 因此： $$ \boxed{ s^2 = 2q^2-\lambda^2. } $$ 定義新拉回覆蓋： $$ \boxed{ \widetilde{\mathcal H}_{\rm new}: } $$ $$ w^2 = q^4-2q^2+\lambda^2, $$ $$ s^2 = 2q^2-\lambda^2. $$ --- # 14. 明確的拉回覆蓋同構 定義 $$ \boxed{ q' = \frac{\lambda}{q}, } $$ $$ \boxed{ w' = -\frac{\lambda w}{q^2}, } $$ 且 $$ \boxed{ r' = \frac{s}{q}. } $$ 則： $$ w'^2 = q'^4 - 2q'^2 + \lambda^2. $$ 此外： $$ r'^2 = \frac{ 2q^2-\lambda^2 }{ q^2 } = 2-\frac{\lambda^2}{q^2}. $$ 由於： $$ q'^2 = \frac{\lambda^2}{q^2}, $$ 得到： $$ \boxed{ r'^2 = 2-q'^2. } $$ 因此： $$ \boxed{ (q,w,s) \longmapsto \left( \frac{\lambda}{q}, -\frac{\lambda w}{q^2}, \frac{s}{q} \right) } $$ 將： $$ \widetilde{\mathcal H}_{\rm new} $$ 映至： $$ \widetilde{\mathcal H}_{\rm old}. $$ --- # 15. 明確逆映射 從一個點出發： $$ (q',w',r') $$ 它位於舊拉回覆蓋上，定義： $$ \boxed{ q = \frac{\lambda}{q'}, } $$ $$ \boxed{ w = -\frac{\lambda w'}{q'^2}, } $$ 且 $$ \boxed{ s = \frac{\lambda r'}{q'}. } $$ 則： $$ s^2 = 2q^2-\lambda^2. $$ 將兩個變換合成，得到恆等映射。 因此： $$ \boxed{ \widetilde{\mathcal H}_{\rm new} \cong_{\mathbb Q} \widetilde{\mathcal H}_{\rm old}. } $$ 這是目前可得的最強精確等價陳述。 --- # 16. 同源像上逐點的有理提升等價性 令： $$ P\in E_0(\mathbb Q) $$ 位於以下映射的有理像中： $$ \phi: E_0'(\mathbb Q)\to E_0(\mathbb Q). $$ 則： $$ x(P)=q^2 $$ 對某個： $$ q\in\mathbb Q. $$ 令： $$ P_T=P+T. $$ 則： $$ x(P_T) = \frac{\lambda^2}{q^2} = \left( \frac{\lambda}{q} \right)^2. $$ 此外： $$ \boxed{ f_{\rm old}(P_T) = \frac{ f_{\rm new}(P) }{ q^2 }. } $$ 故： $$ \boxed{ f_{\rm new}(P)\in\mathbb Q^2 \iff f_{\rm old}(P_T)\in\mathbb Q^2. } $$ 因此，在同源像上作撓平移後，新舊有理提升條件等價。 --- # 17. 分歧點關係 舊覆蓋在滿足以下條件的兩個橢圓點上分歧： $$ \boxed{ x=2. } $$ 新覆蓋在滿足以下條件的兩個橢圓點上分歧： $$ \boxed{ x=\frac{\lambda^2}{2}. } $$ 在以下變換下： $$ \tau_T: x\mapsto\frac{\lambda^2}{x}, $$ 有： $$ \boxed{ 2 \longmapsto \frac{\lambda^2}{2}. } $$ 因此，分歧除子由有理 $2$-撓平移交換。 覆蓋間剩餘的差異，是非分歧 Kummer 扭曲： $$ [x]. $$ --- # 18. 為何扭曲是非分歧的 因為 $$ \operatorname{div}(x) = 2(T)-2(O), $$ 類 $$ [x] $$ 具有偶除子。 因此，將二次覆蓋函數乘以 $$ x $$ 不會引入新的分歧點。 它只改變非分歧二次特徵。 因此，新舊虧格-$2$ 覆蓋具有相同的平移後分歧幾何，但相差橢圓 $2$-同源特徵。 這是正確的幾何描述。 --- # 19. 與 R12 線性閘的關係 R12 得到未正規化的商閘 $$ \boxed{ 2MU-L^2 \in \mathbb Q^2. } $$ 使用： $$ U=Mx, $$ 有： $$ 2MU-L^2 = M^2 \left( 2x-\lambda^2 \right). $$ 由於： $$ M^2 $$ 是平方， $$ \boxed{ [ 2MU-L^2 ] = [ f_{\rm new} ]. } $$ 因此，R12 商閘正是 R13 所描述的新撓圖表。 縮放中沒有隱藏任何額外障礙。 --- # 20. 與歷史 G2E.5 閘的關係 G2E.5 使用： $$ \boxed{ f_{\rm old}=2-x. } $$ R13 證明： $$ \boxed{ [f_{\rm new}] = [x] [ \tau_T^\ast f_{\rm old} ]. } $$ 因此，R12 閘與 G2E.5 閘並非兩個分開的研究問題。 它們由以下方式聯繫： $$ \boxed{ \text{撓平移} + \text{同源 Kummer 扭曲}. } $$ 這正式合併了新商路線與歷史橢圓 Chabauty 路線。 --- # 21. 為何此區別重要 若錯誤地聲稱： $$ f_{\rm new} $$ 以及： $$ \tau_T^\ast f_{\rm old} $$ 在以下曲線上已具有相同的平方類： $$ E_0, $$ 就會丟掉以下非平凡類： $$ [x]. $$ 這在一般情形下是錯的。 正確恆等式為： $$ [f_{\rm new}] = [x] [ \tau_T^\ast f_{\rm old} ]. $$ 只有在拉回至以下曲線後： $$ E_0' $$ 以下類才會： $$ [x] $$ 成為平凡。 因此，R13 保留了以下證明安全的區別： - 在以下基底上的等價： $$ E_0; $$ - 經以下次數的 $$ 2 $$ 次同源基底變換後的等價。 --- # 22. Kummer 解讀 類： $$ [x] \in \mathbb Q(E_0)^\times/ \mathbb Q(E_0)^{\times2} $$ 是與以下有理 $2$-撓點相關聯的 Kummer 類： $$ T=(0,0). $$ 同源映射： $$ E_0'\to E_0 $$ 正是消去此類的非分歧二次覆蓋。 因此，R13 恆等式可解讀為： > 新平方值覆蓋，是將舊覆蓋作撓平移後，再以歷史 $2$-同源的核 Kummer 特徵扭曲而得。 這就是概念上的統一。 --- # 23. 函數體圖 相關函數體可組織為： $$ \mathbb Q(E_0) $$ 具有以下 Kummer 擴張： $$ \boxed{ \mathbb Q(E_0') = \mathbb Q(E_0)(\sqrt{x}). } $$ 舊覆蓋為： $$ \boxed{ \mathbb Q(E_0) \left( \sqrt{2-x} \right). } $$ 新覆蓋為： $$ \boxed{ \mathbb Q(E_0) \left( \sqrt{2x-\lambda^2} \right). } $$ 將舊覆蓋沿以下點平移後： $$ T, $$ 其平方函數成為： $$ \frac{ 2x-\lambda^2 }{ x }. $$ 添入以下元素後： $$ \sqrt{x}, $$ 分母的平方類消失。 因此，兩個平移後的擴張在以下函數體上成為同構： $$ \mathbb Q(E_0'). $$ --- # 24. 完美長方體解讀 原始的完美長方體固定纖維構造，已經過 $2$-同源幾何。 因此，相關的有理提升點，並非以下曲線上任意且互不相關的點： $$ E_0. $$ 它們與由以下曲線編碼的同源／Kummer 資料共同出現： $$ E_0'. $$ 在此提升後的幾何上： $$ \boxed{ \text{舊閘} } $$ 以及： $$ \boxed{ \text{新閘} } $$ 是同一算術障礙的兩個撓圖表。 因此，將兩者維持為獨立證明分支，會重複工作。 --- # 25. 未來的正準覆蓋選擇 未來算術工作可以選擇任一圖表。 ## 歷史圖表 $$ \boxed{ r^2=2-x. } $$ 優點： - 已與 G2E.5 相聯； - 已有雙橢圓變換； - 已有 Mordell-Weil 平方值表述； - 已有邊界錨點。 ## 新商圖表 $$ \boxed{ s^2=2x-\lambda^2. } $$ 優點： - 直接來自 R12 閘交換商； - 對商座標為線性； - 自然對齊乘積閘壓縮。 因為兩個拉回在以下曲線上同構： $$ E_0', $$ 所以選擇是計算上的，而非概念上的。 --- # 26. 首選的正準慣例 R13 建議保留： $$ \boxed{ f_{\rm old}=2-x } $$ 作為正準的歷史橢圓 Chabauty 閘，因為舊 G2E.5 基礎設施已圍繞它建立。 R12 閘： $$ f_{\rm new}=2x-\lambda^2 $$ 則應保留為撓對偶圖表。 每當一個圖表在局部不便，就使用下式轉至另一個： $$ x\mapsto\frac{\lambda^2}{x}. $$ Kummer 因子： $$ [x] $$ 必須持續追蹤，除非計算已拉回至： $$ E_0'. $$ --- # 27. 兩個圖表中的邊界錨點 假設： $$ x=1 $$ 是歷史邊界錨點。 則： $$ f_{\rm old}(1)=1. $$ 在撓平移下： $$ x \mapsto \lambda^2. $$ 在該點： $$ f_{\rm new}(\lambda^2) = \lambda^2. $$ 由於： $$ \lambda^2 $$ 是有理平方，因此邊界平方條件保持不變。 因此，邊界錨點會自然地在兩個撓圖表間移動。 這是對此辨識的另一項一致性檢查。 --- # 28. 平方根座標上的對合 在同源拉回上，倒數變換為： $$ \boxed{ q \mapsto \frac{\lambda}{q}. } $$ 新舊閘根變換為： $$ \boxed{ r' = \frac{s}{q}, } $$ 反向則為： $$ \boxed{ s = \frac{\lambda r'}{q'}. } $$ 因此，閘根的有理性精確保持不變。 此變換交換小 $q$ 區域與大 $q$ 區域，因此可能有助於選擇在數值上或 $p$-進意義下有利的圖表。 --- # 29. 與 Radical-FDRS 倒數結構的關係 映射： $$ q\mapsto\frac{\lambda}{q} $$ 是貫穿 Radical-FDRS 計畫的倒數對合的另一種表現。 較早階段產生了： - 倒數四次曲線； - 倒數虧格-$3$ 曲線； - Cayley 對合； - $m\mapsto1/m$ 對稱性； - 閘交換 Möbius 映射。 R13 顯示，即使最終的橢圓 Chabauty 平方值覆蓋，也保留相同的倒數架構。 這強化了以下解讀：倒數對稱性是展平完美長方體狀態的內在性質，而非某一座標系統引入的附帶產物。 --- # 30. 沒有新的獨立虧格-$2$ 障礙 核心策略結論為： $$ \boxed{ \text{R12 沒有產生新的獨立虧格-2 障礙。} } $$ 它在撓對偶 Kummer 圖表中，重新發現歷史 G2E.5 障礙。 因此，未來工作不應從頭分別分類這兩個覆蓋。 它們的算術資訊必須共享。 --- # 31. 合併後的研究譜系 新舊路徑現在合併為： $$ \boxed{ \text{G2E.5} } $$ $$ \longrightarrow $$ $$ \boxed{ E_0: \quad r^2=2-x } $$ 以及： $$ \boxed{ \text{R12} } $$ $$ \longrightarrow $$ $$ \boxed{ E_0: \quad s^2=2x-\lambda^2. } $$ 橋接為： $$ \boxed{ \tau_T + [x]. } $$ 在以下變換後： $$ E_0'\to E_0, $$ 橋接成為明確同構。 因此，兩個譜系正式統一。 --- # 32. 對 R9-R12 有限素數篩的意涵 R9-R12 篩自然是在以下曲線上進行： $$ E_0', $$ 其中 Kummer 類： $$ [x] $$ 已經平凡。 因此，有限素數的雙閘計算，與歷史 G2E.5 平方值條件完全相容。 改變圖表沒有引入矛盾的額外條件。 兩個描述的差異，僅在於呈現同一提升算術狀態的方式。 --- # 33. 對橢圓 Chabauty 的意涵 歷史目標為： $$ \boxed{ P\in E_0(\mathbb Q): \quad 2-x(P)\in\mathbb Q^2. } $$ R13 顯示，新的商目標： $$ \boxed{ P\in E_0(\mathbb Q): \quad 2x(P)-\lambda^2\in\mathbb Q^2 } $$ 是它的撓／Kummer 伴隨。 因此，橢圓 Chabauty 實作可以選擇具有以下優勢的覆蓋： - 更簡單的局部分裂； - 更好的基點； - 更小的係數； - 在所選素數處更好的約化。 計入同源 Kummer 類後，結果可在圖表間轉移。 --- # 34. R13 定理套件 ## 定理 A — 撓平移 在： $$ E_0, $$ 沿以下點平移： $$ T=(0,0) $$ 為： $$ \boxed{ (x,y) \mapsto \left( \frac{\lambda^2}{x}, - \frac{\lambda^2y}{x^2} \right). } $$ ## 定理 B — Kummer 扭曲恆等式 $$ \boxed{ [f_{\rm new}] = [x] [ \tau_T^\ast f_{\rm old} ]. } $$ ## 定理 C — 同源平凡化 對於： $$ \phi:E_0'\to E_0, $$ $$ \boxed{ \phi^\ast x=q^2. } $$ 故： $$ \boxed{ [\phi^\ast f_{\rm new}] = [ \phi^\ast\tau_T^\ast f_{\rm old} ]. } $$ ## 定理 D — 明確的拉回覆蓋同構 $$ \boxed{ (q,w,s) \mapsto \left( \frac{\lambda}{q}, -\frac{\lambda w}{q^2}, \frac{s}{q} \right) } $$ 將新拉回覆蓋映至舊拉回覆蓋。 --- # 35. 證明安全邊界 R13 不主張： $$ \mathcal H_{\rm old} $$ 以及： $$ \mathcal H_{\rm new} $$ 作為以下曲線的覆蓋，它們已經在 $\mathbb Q$ 上同構： $$ E_0. $$ 精確陳述為： $$ \boxed{ \text{它們相差非平凡的 Kummer 類 }[x]. } $$ 它們在拉回至以下 $2$-同源覆蓋後成為同構： $$ E_0'. $$ 任何形式化證明都必須保留這個區別。 --- # 36. 擬議的 R14 計畫 R14 應停止重複新舊虧格-$2$ 算術，並使用合併後的覆蓋結構。 ## R14-A — 選擇最佳橢圓 Chabauty 圖表 比較： $$ r^2=2-x $$ 以及： $$ s^2=2x-\lambda^2 $$ 在有用的素數處比較。 選擇局部剩餘圓盤較簡單、數值係數增長較小的圖表。 ## R14-B — 轉移 R9-R12 剩餘類 將存活的： $$ E_0' $$ Mordell-Weil 剩餘類映至所選的： $$ E_0 $$ 覆蓋。 精確辨識哪些虧格-$2$ 剩餘圓盤仍存留。 ## R14-C — 橢圓 Chabauty／Mordell-Weil 篩 使用已認證的秩一群： $$ E_0(\mathbb Q) $$ 並在所選虧格-$2$ 覆蓋上分類有理提升。 R9-R12 有限素數條件應從一開始就施加，以將搜尋縮減至邊界管。 ## R14-D — 對偶圖表交叉檢查 一個圖表中的任何存活候選，經 Kummer／同源變換後，都必須映至撓對偶圖表中的候選。 以此作為獨立的精確一致性檢驗。 ## R14-E — 固定切片定理目標 首選定理仍是： > 每個滿足完整固定切片相容性的有理提升，都是邊界。 若得證，則： $$ \boxed{ n=\frac7{32} } $$ 不含非退化完美長方體點。 --- # 37. 最終結論 R13 辨識了 R12 商平方閘與歷史 G2E.5 橢圓 Chabauty 閘之間的精確關係。 舊函數為： $$ \boxed{ f_{\rm old}=2-x. } $$ 新函數為： $$ \boxed{ f_{\rm new}=2x-\lambda^2. } $$ 它們滿足： $$ \boxed{ [f_{\rm new}] = [x] [ \tau_T^\ast f_{\rm old} ]. } $$ 因子： $$ [x] $$ 是以下有理 $2$-撓點的 Kummer 類： $$ T=(0,0). $$ 歷史 $2$-同源映射： $$ E_0'\to E_0 $$ 恰好平凡化此類，因為： $$ x=q^2 $$ 在拉回上成立。 因此，兩個虧格-$2$ 平方值問題，在同源覆蓋上成為明確同構。 R12 與 G2E.5 並非獨立障礙。 它們是同一完美長方體提升條件的兩個撓／Kummer 圖表。 這正式合併了 Radical-FDRS 商路線與歷史橢圓 Chabauty 路線。 這是 R14 的正準起點。