> 本文為英文原文的全文譯本。研究主張仍以原文為權威來源；翻譯不代表獨立數學驗證。 # 完美長方體 Radical-FDRS R16 ## 明確的正準第二橢圓商、與歷史 $E_-$ 的精確辨識，以及雙篩飽和 **系列：** 完美長方體全域閉合 **分支：** Radical-FDRS / 幾何耦合分支 R **階段：** R16 — 正準第二商與雙重相容性 **日期：** 2026-10-05 **狀態：** 精確商映射定理 + 有限素數雙篩檢查點 — 並非完美長方體存在性或不存在性的證明 --- # 0. 執行摘要 R15 固定了一條正準歷史虧格-$2$ 曲線： $$ \boxed{ \mathcal H_{\rm can}: \qquad \mathcal Y^2 = (2-r^2) \left( M^2r^4 - 2M^2r^2 + L^2 \right), } $$ 其中 $$ \boxed{ M=950625, } $$ 且 $$ \boxed{ L=1352033. } $$ 其第一橢圓商是歷史秩一曲線 $$ \boxed{ E_0: \qquad y^2 = x^3 - 2x^2 + \left( \frac LM \right)^2x, } $$ 透過 $$ \boxed{ x=2-r^2, \qquad y=\frac{\mathcal Y}{M}. } $$ R16 使互補橢圓商完全明確化。 第二個非超橢圓對合為 $$ \boxed{ (r,\mathcal Y) \longmapsto (-r,-\mathcal Y). } $$ 其不變座標為 $$ \boxed{ z=r^2, \qquad W=r\mathcal Y. } $$ 商為虧格-$1$ 四次曲線 $$ \boxed{ W^2 = z(2-z) \left( M^2z^2 - 2M^2z + L^2 \right). } $$ 此四次曲線具有以下直接雙有理三次模型： $$ \boxed{ \eta^2 = (\xi-L^2) \left( \xi^2 - 4M^2\xi + 4L^2M^2 \right), } $$ 使用 $$ \boxed{ \xi = \frac{2L^2}{z}, } $$ 且 $$ \boxed{ \eta = \frac{2L^2W}{z^2}. } $$ 平移 $$ u=\xi-L^2. $$ 則 $$ \boxed{ \eta^2 = u \left[ u^2 + (2L^2-4M^2)u + L^4 \right]. } $$ 以以下點為核的標準 $2$-同源映射： $$ (0,0) $$ 給出具有全 $2$-撓的曲線 $$ \boxed{ v^2 = U (U-16AB) (U+4M^2), } $$ 其中 $$ A=448^2, \qquad B=1073^2. $$ 同源映射為 $$ \boxed{ U = \frac{\eta^2}{u^2}, } $$ $$ \boxed{ v = \frac{ \eta(L^4-u^2) }{ u^2 }. } $$ 此曲線不只是位於歷史 $E_-$ 同源類中。 它直接在 $\mathbb Q$ 上同構於精確的歷史整數全 $2$-撓模型 $$ \boxed{ E_-: \qquad y_-^2 = (x_--e_1) (x_--e_2) (x_--e_3), } $$ 其中 $$ e_1=-8195043371142, $$ $$ e_2=8256895726659, $$ 且 $$ e_3=-61852355517. $$ 精確同構為 $$ \boxed{ x_- = e_3+\frac94U, } $$ $$ \boxed{ y_- = \frac{27}{8}v. } $$ 根的對應為： $$ \boxed{ U=-4M^2 \longmapsto e_1, } $$ $$ \boxed{ U=16AB \longmapsto e_2, } $$ 且 $$ \boxed{ U=0 \longmapsto e_3. } $$ 等價地， $$ \boxed{ e_1=e_3-9M^2, } $$ 且 $$ \boxed{ e_2=e_3+36AB. } $$ 因為 $$ L^2-M^2=4AB, $$ 還有 $$ \boxed{ e_2=e_1+9L^2, } $$ 且 $$ \boxed{ e_3=e_1+9M^2. } $$ 合成每一步，得到一個直接正準映射 $$ \boxed{ \pi_-: \mathcal H_{\rm can} \longrightarrow E_-. } $$ 在原始正準座標中，它為： $$ \boxed{ x_- = e_1 + \frac{ 9L^2 }{ r^2(2-r^2) }, } $$ 且 $$ \boxed{ y_- = \frac{ 27L^2\mathcal Y(r^2-1) }{ r^3(2-r^2)^2 }. } $$ 由於 $$ x=2-r^2, $$ $x_-$ 公式也可寫成： $$ \boxed{ x_- = e_1 + \frac{ 9L^2 }{ x(2-x) }. } $$ 因此，一個正準虧格-$2$ 點，現在可立即產生其兩個秩一橢圓像： $$ \boxed{ P_0\in E_0(\mathbb Q), } $$ 且 $$ \boxed{ P_-\in E_-(\mathbb Q), } $$ 而不須回到較舊的 $h,t,s$ 座標鏈。 邊界錨點 $$ x=1 $$ 或 $$ r=\pm1 $$ 映至 $$ \boxed{ (e_2,0)\in E_-(\mathbb Q)[2]. } $$ 因此，邊界同時是： - 點： $$ x=1 $$ 位於 $E_0$ 上； - 以及有理 $2$-撓點： $$ (e_2,0) $$ 位於 $E_-$ 上。 接著，R16 在 R15 所找到的兩個最強高階素數處，檢驗新明確化的雙商： $$ p_1=11{,}532{,}251, $$ 且 $$ p_2=15{,}721{,}883. $$ 對歷史 $E_-$ 曲線，精確的 Hasse 認證點計數給出： $$ \boxed{ \#E_-(\mathbb F_{p_1}) = 11{,}533{,}200 = 2^4 \cdot3 \cdot5^2 \cdot7 \cdot1373, } $$ 且 $$ \boxed{ \#E_-(\mathbb F_{p_2}) = 15{,}728{,}976 = 2^4 \cdot3^2 \cdot109229. } $$ 因此，在兩個素數處，Sylow-$2$ 子群的階皆為 $$ 16. $$ 歷史奇指數非撓替代點 $$ \boxed{ P_- = \left( \frac{5132247118878268203}{606841}, \frac{2520702383000286338446320000}{472729139} \right) } $$ 與有理撓子群一起 $$ \boxed{ E_-(\mathbb Q)_{\rm tors} \cong \mathbb Z/2\mathbb Z \times \mathbb Z/4\mathbb Z } $$ 投影至一個子群，恰有 $$ \boxed{ 8 } $$ 個點，位於各自的 $16$ 點 Sylow-$2$ 群內。 因此，第二商在局部是非平凡的：$2$-初級橢圓群的一半，被全域 Mordell-Weil 相容性排除。 然而，在正確枚舉 $E_0$ 上 R11/R15 係數狀態的奇初級原像後，施加平方閘 $$ 2-x\in\mathbb F_p^2, $$ 將每個提升經精確 R16 公式映至 $E_-$，再投影至 $E_-$ 的 Sylow-$2$ 子群，全部十六個模 $2^{19}$ 係數提升，在兩個素數處仍相容。 更強地說，在這兩個素數處，每個通過第一平方閘的奇初級分支，也都落在允許的投影 $E_-$ Mordell-Weil 像中。 故： $$ \boxed{ \text{R16 雙有限素數篩在以下素數處沒有新增排除：}p_1,p_2. } $$ 這是一個重要的飽和檢查點。 障礙不再是缺失的幾何、隱含的商，或過大的局部 Mordell-Weil 子群。 相關局部分支本身，在這些素數處，同時與兩個秩一橢圓像相容。 因此，下一次真正的升級是： $$ \boxed{ \text{橢圓 Chabauty／二次 Chabauty／全域高度相容性}. } $$ --- # 1. 正準虧格-$2$ 曲線 取 $$ \boxed{ \mathcal H_{\rm can}: \qquad \mathcal Y^2 = (2-r^2) \left( M^2r^4 - 2M^2r^2 + L^2 \right). } $$ 常數為 $$ M=950625, $$ 且 $$ L=1352033. $$ 此曲線對以下變數為偶： $$ r. $$ 因此，它具有對合： $$ \iota_0: (r,\mathcal Y) \mapsto (-r,\mathcal Y), $$ $$ \iota_h: (r,\mathcal Y) \mapsto (r,-\mathcal Y), $$ 且 $$ \iota_-: (r,\mathcal Y) \mapsto (-r,-\mathcal Y). $$ 第一個與第三個是兩個非超橢圓對合。 --- # 2. 第一橢圓商 對以下對合取商： $$ \iota_0 $$ 使用 $$ r^2=2-x. $$ 映射為 $$ \boxed{ x=2-r^2, } $$ $$ \boxed{ y=\frac{\mathcal Y}{M}. } $$ 它落在 $$ \boxed{ E_0: \qquad y^2 = x^3 - 2x^2 + \left( \frac LM \right)^2x. } $$ 精確秩定理給出 $$ \boxed{ \operatorname{rank}E_0(\mathbb Q)=1. } $$ --- # 3. 第二橢圓商座標 對以下對合的商： $$ \iota_-, $$ 定義 $$ \boxed{ z=r^2, } $$ 且 $$ \boxed{ W=r\mathcal Y. } $$ 兩者在以下變換下均不變： $$ (r,\mathcal Y) \mapsto (-r,-\mathcal Y). $$ 商方程為 $$ \boxed{ W^2 = z(2-z) \left( M^2z^2 - 2M^2z + L^2 \right). } $$ 這是一條虧格-$1$ 四次曲線。 --- # 4. 四次至三次映射 四次曲線具有有理點 $$ (z,W)=(0,0). $$ 定義 $$ \boxed{ \xi = \frac{2L^2}{z}, } $$ 且 $$ \boxed{ \eta = \frac{2L^2W}{z^2}. } $$ 直接代入則給出 $$ \boxed{ \eta^2 = (\xi-L^2) \left( \xi^2 - 4M^2\xi + 4L^2M^2 \right). } $$ 這是第二商的第一個簡潔三次模型。 --- # 5. 平移有理 $2$-撓點 令 $$ \boxed{ u=\xi-L^2. } $$ 則： $$ \boxed{ \eta^2 = u \left[ u^2 + (2L^2-4M^2)u + L^4 \right]. } $$ 點： $$ \boxed{ (u,\eta)=(0,0) } $$ 是有理 $2$-撓點。 --- # 6. 標準 $2$-同源映射 對一條曲線： $$ \eta^2 = u(u^2+au+b), $$ 以以下集合為核的標準 $2$-同源映射： $$ \{O,(0,0)\} $$ 為： $$ \boxed{ U = \frac{\eta^2}{u^2}, } $$ $$ \boxed{ v = \frac{ \eta(b-u^2) }{ u^2 }. } $$ 其中： $$ a=2L^2-4M^2, $$ 以及： $$ b=L^4. $$ 目標曲線為： $$ v^2 = U^3 - 2aU^2 + (a^2-4b)U. $$ --- # 7. 同源目標曲線的因數分解 使用： $$ L^2-M^2=4AB, $$ 得到： $$ \boxed{ a^2-4b = -64ABM^2. } $$ 目標曲線精確分解為： $$ \boxed{ v^2 = U (U-16AB) (U+4M^2). } $$ 因此，$2$-同源第二商具有全有理 $2$-撓。 其三個根為： $$ \boxed{ -4M^2, \qquad 0, \qquad 16AB. } $$ --- # 8. 歷史整數 $E_-$ 精確歷史模型為： $$ \boxed{ E_-: \qquad y_-^2 = (x_--e_1) (x_--e_2) (x_--e_3), } $$ 其中： $$ \boxed{ e_1=-8195043371142, } $$ $$ \boxed{ e_2=8256895726659, } $$ 以及： $$ \boxed{ e_3=-61852355517. } $$ 歷史根差為： $$ \boxed{ e_2-e_1 = 4056099^2, } $$ $$ \boxed{ e_3-e_1 = 2851875^2, } $$ 以及： $$ \boxed{ e_2-e_3 = 2884224^2. } $$ --- # 9. 根差匹配 新的全 $2$-撓模型具有以下差值： $$ 16AB, $$ $$ 4M^2, $$ 以及： $$ 4L^2. $$ 其平方根為： $$ 4\sqrt{AB} = 1922816, $$ $$ 2M = 1901250, $$ 以及： $$ 2L = 2704066. $$ 將每個乘以： $$ \frac32 $$ 得到： $$ 2884224, $$ $$ 2851875, $$ 以及： $$ 4056099. $$ 它們恰為歷史根差的平方根。 因此，$x$-縮放因子為： $$ \boxed{ \left( \frac32 \right)^2 = \frac94. } $$ --- # 10. 精確歷史根恆等式 歷史根滿足： $$ \boxed{ e_1=e_3-9M^2, } $$ 以及： $$ \boxed{ e_2=e_3+36AB. } $$ 等價地： $$ \boxed{ e_2=e_1+9L^2, } $$ 以及： $$ \boxed{ e_3=e_1+9M^2. } $$ 這些恆等式是精確整數等式。 --- # 11. 至歷史 $E_-$ 的直接同構 定義： $$ \boxed{ x_- = e_3+\frac94U, } $$ 以及： $$ \boxed{ y_- = \frac{27}{8}v. } $$ 則： $$ U=-4M^2 $$ 映至： $$ e_1, $$ $$ U=0 $$ 映至： $$ e_3, $$ 以及： $$ U=16AB $$ 映至： $$ e_2. $$ 三次方程精確成為： $$ \boxed{ y_-^2 = (x_--e_1) (x_--e_2) (x_--e_3). } $$ 因此，全 $2$-撓同源商，在 $\mathbb Q$ 上同構於歷史整數曲線： $$ E_-. $$ 這將較舊的 G2E.5 陳述，由： $$ \text{同一同源類} $$ 提升為以下步驟的明確合成： 1. 取商； 2. 雙有理三次轉換； 3. $2$ 次同源映射； 4. 有理同構。 --- # 12. 直接合成映射：$x_-$ 現在消去全部中間座標。 回顧： $$ z=r^2. $$ 同源座標滿足： $$ \boxed{ U = \frac{ 4 \left( M^2z^2 - 2M^2z + L^2 \right) }{ z(2-z) }. } $$ 使用： $$ L^2-M^2=4AB, $$ 歷史座標簡化為： $$ \boxed{ x_- = e_1 + \frac{ 9L^2 }{ z(2-z) }. } $$ 由於： $$ z=r^2, $$ 得到： $$ \boxed{ x_- = e_1 + \frac{ 9L^2 }{ r^2(2-r^2) }. } $$ --- # 13. 直接合成映射：$y_-$ 完整的 $y$-座標簡化為： $$ \boxed{ y_- = \frac{ 27L^2\mathcal Y(r^2-1) }{ r^3(2-r^2)^2 }. } $$ 因此，正準第二商映射為： $$ \boxed{ \pi_-(r,\mathcal Y) = \left( e_1+ \frac{ 9L^2 }{ r^2(2-r^2) }, \; \frac{ 27L^2\mathcal Y(r^2-1) }{ r^3(2-r^2)^2 } \right). } $$ 此映射定義於分母非零的自然仿射開集上。 有限例外點則在射影正規化上處理。 --- # 14. 直接的 $E_0$ 至 $E_-$ 的 $x$ 關係 因為： $$ x=2-r^2, $$ 有： $$ r^2=2-x. $$ 因此： $$ \boxed{ x_- = e_1 + \frac{ 9L^2 }{ x(2-x) }. } $$ 這是整個固定切片計畫中最簡單的公式之一。 正準平方值覆蓋上的一個點，透過第一橢圓 $x$-座標的一個有理函數，確定第二橢圓 $x$-座標。 --- # 15. 直接映射的因子證明 令： $$ z=r^2, $$ 以及： $$ x=2-z. $$ 則： $$ x_--e_1 = \frac{ 9L^2 }{ z(2-z) }. $$ 此外： $$ \boxed{ x_--e_2 = \frac{ 9L^2(z-1)^2 }{ z(2-z) }. } $$ 最後： $$ \boxed{ x_--e_3 = \frac{ 9\mathcal Y^2 }{ z(2-z)^2 }. } $$ 因此： $$ (x_--e_1) (x_--e_2) (x_--e_3) $$ 恰為： $$ \boxed{ \left[ \frac{ 27L^2\mathcal Y(z-1) }{ z^{3/2}(2-z)^2 } \right]^2, } $$ 也就是： $$ y_-^2. $$ 這直接驗證了合成映射。 --- # 16. 邊界同步 在歷史邊界： $$ r=\pm1. $$ 則： $$ x=1. $$ 第二商給出： $$ \boxed{ x_- = e_1+9L^2 = e_2. } $$ 此外： $$ \boxed{ y_-=0. } $$ 因此： $$ \boxed{ r=\pm1 \longmapsto (e_2,0). } $$ 正準邊界是： - $E_0$ 上的非撓秩一錨點； - 但為有理 $2$-撓錨點，位於 $E_-$ 上。 此不對稱性對局部相容性計算有用。 --- # 17. $E_-$ 上的秩與撓資料 歷史精確結果為： $$ \boxed{ \operatorname{rank}E_-(\mathbb Q)=1, } $$ 以及： $$ \boxed{ E_-(\mathbb Q)_{\rm tors} \cong \mathbb Z/2\mathbb Z \times \mathbb Z/4\mathbb Z. } $$ 一個明確的 $4$ 階點為： $$ \boxed{ Q_- = ( 19955593808835, 81192743369781982848 ), } $$ 其中： $$ \boxed{ 2Q_-=(e_2,0). } $$ 因此，邊界的第二商像，正是歷史有理 $4$ 階撓點的倍點。 --- # 18. $E_-$ 上的奇指數自由替代點 使用歷史非撓點： $$ \boxed{ P_- = \left( \frac{ 5132247118878268203 }{ 606841 }, \frac{ 2520702383000286338446320000 }{ 472729139 } \right). } $$ 其 Kummer 類為： $$ \boxed{ (1,406,406). } $$ 精確下降與 Cassels 配對計算，證明此類張成模 $2$ 的自由 Mordell-Weil 方向。 因此，$P_-$ 與本原自由生成元的差異，只有奇指數與撓部分。 它是所有 Sylow-$2$ Mordell-Weil 相容性檢驗的證明安全替代點。 --- # 19. 正準雙商條件 一個有理點： $$ R\in\mathcal H_{\rm can}(\mathbb Q) $$ 產生： $$ \boxed{ \pi_0(R)\in E_0(\mathbb Q), } $$ 以及： $$ \boxed{ \pi_-(R)\in E_-(\mathbb Q). } $$ 在一個好素數： $$ p, $$ 寫成： $$ \#E_0(\mathbb F_p) = 2^{s_0}m_0, $$ 以及： $$ \#E_-(\mathbb F_p) = 2^{s_-}m_-, $$ 其中： $$ m_0, m_- $$ 為奇數。 一個必要條件是同時屬於以下集合： $$ \boxed{ [m_0]\pi_0(R) \in \langle [m_0]Q, E_0(\mathbb Q)_{\rm tors} \rangle, } $$ 以及： $$ \boxed{ [m_-]\pi_-(R) \in \langle [m_-]P_-, E_-(\mathbb Q)_{\rm tors} \rangle. } $$ 候選點本身，必須以相同映射投影。 --- # 20. R15 高階素數 $p_1$ 使用： $$ \boxed{ p_1=11{,}532{,}251. } $$ R15 確立： $$ \boxed{ \#E_0(\mathbb F_{p_1}) = 11\cdot2^{20}, } $$ 以及： $$ \boxed{ \operatorname{ord}([11]Q)=2^{19}. } $$ 對第二商，精確 Hasse 認證計數給出： $$ \boxed{ \#E_-(\mathbb F_{p_1}) = 11{,}533{,}200. } $$ 其因數分解為： $$ \boxed{ 11{,}533{,}200 = 2^4 \cdot3 \cdot5^2 \cdot7 \cdot1373. } $$ 故： $$ \boxed{ \#E_-(\mathbb F_{p_1})[2^\infty] = 16. } $$ --- # 21. 精確 $E_-$ 計數證書：$p_1$ 處 點： $$ \boxed{ (2,9036800) \in E_-(\mathbb F_{p_1}) } $$ 具有精確階： $$ \boxed{ 5{,}766{,}600. } $$ Hasse 區間長度小於： $$ 4\sqrt{p_1} < 13{,}584. $$ 因為： $$ 5{,}766{,}600 > 4\sqrt{p_1}, $$ 在 Hasse 區間內，已認證點階的倍數至多只有一個。 所展示的群階，就是該唯一倍數。 因此： $$ \#E_-(\mathbb F_{p_1}) = 11{,}533{,}200 $$ 是精確的。 --- # 22. 投影 $E_-$ Mordell-Weil 像：$p_1$ 處 奇數餘因子為： $$ \boxed{ m_-=720825. } $$ 將： $$ P_- $$ 以下式投影： $$ [m_-]. $$ 其投影階為： $$ \boxed{ 2. } $$ 與八個有理撓約化一起，投影全域 Mordell-Weil 像恰包含： $$ \boxed{ 8 } $$ 個點。 因此，它是一個真指數-$2$ 子群，位於 $16$ 點 Sylow-$2$ 群中。 因此，第二商在此素數處，提供真正的局部相容性限制。 --- # 23. $p_1$ 處的雙重檢驗 R11 封包在以下模數下有八個類： $$ 2^{18}. $$ 將其提升至以下模數下的全部十六個類： $$ 2^{19}. $$ 對每個係數類： 1. 重建以下曲線上全部十一個奇初級原像： $$ E_0(\mathbb F_{p_1}); $$ 2. 保留滿足以下條件的原像： $$ 2-x\in\mathbb F_{p_1}^2; $$ 3. 選取兩個平方根： $$ r=\pm\sqrt{2-x}; $$ 4. 將每個提升經以下映射轉移： $$ \pi_-; $$ 5. 將結果投影至： $$ E_-(\mathbb F_{p_1})[2^\infty]; $$ 6. 要求屬於八點投影全域 Mordell-Weil 子群。 結果為： $$ \boxed{ \text{全部十六個係數提升皆存活}. } $$ --- # 24. $p_1$ 處的更強陳述 在此素數處，通過第一平方閘的奇初級 $E_0$ 分支數量，範圍從： $$ 2 $$ 至： $$ 7 $$ 每個係數狀態皆如此。 施加第二橢圓商相容性後，數量不變。 因此： $$ \boxed{ \text{每個第一閘分支已滿足投影後的 }E_-\text{ 條件}. } $$ 這比僅說每個係數類有一個存活分支更強。 --- # 25. R15 高階素數 $p_2$ 使用： $$ \boxed{ p_2=15{,}721{,}883. } $$ R15 確立： $$ \boxed{ \#E_0(\mathbb F_{p_2}) = 15\cdot2^{20}, } $$ 以及： $$ \boxed{ \operatorname{ord}([15]Q)=2^{19}. } $$ 對於： $$ E_-, $$ 精確 Hasse 認證計數給出： $$ \boxed{ \#E_-(\mathbb F_{p_2}) = 15{,}728{,}976. } $$ 因數分解： $$ \boxed{ 15{,}728{,}976 = 2^4 \cdot3^2 \cdot109229. } $$ 再次得到： $$ \boxed{ \#E_-(\mathbb F_{p_2})[2^\infty] = 16. } $$ --- # 26. 精確 $E_-$ 計數證書：$p_2$ 處 點： $$ \boxed{ (5,14406551) \in E_-(\mathbb F_{p_2}) } $$ 具有精確階： $$ \boxed{ 7{,}864{,}488. } $$ Hasse 區間長度小於： $$ 4\sqrt{p_2} < 15{,}861. $$ 因為： $$ 7{,}864{,}488 > 4\sqrt{p_2}, $$ 群階在 Hasse 區間內被唯一確定。 故： $$ \boxed{ \#E_-(\mathbb F_{p_2}) = 15{,}728{,}976 } $$ 是精確的。 --- # 27. 投影 $E_-$ Mordell-Weil 像：$p_2$ 處 奇數餘因子為： $$ \boxed{ m_-=983061. } $$ 投影非撓替代點的階為： $$ \boxed{ 2. } $$ 與有理撓部分一起，投影全域 Mordell-Weil 像同樣恰有： $$ \boxed{ 8 } $$ 個點，位於一個 $16$ 點 Sylow-$2$ 群內。 因此，局部第二商條件，同樣真正非平凡。 --- # 28. $p_2$ 處的雙重檢驗 重複精確的 R11 至 $2^{19}$ 提升枚舉。 第一橢圓商上的奇初級核，其階為： $$ 15. $$ 對全部十六個係數提升中的每一個： - 至少一個奇初級原像滿足： $$ 2-x\in\mathbb F_{p_2}^2; $$ - 每個這樣的第一閘分支，都映至允許的投影： $$ E_- $$ Mordell-Weil 像。 因此： $$ \boxed{ \text{全部十六個係數提升皆存活}. } $$ --- # 29. $p_2$ 處的更強陳述 第一閘容許的奇初級分支數量，範圍從： $$ 5 $$ 至： $$ 12. $$ 雙 $E_-$ 相容性檢驗保留相同數量。 因此，第二商同樣產生： $$ \boxed{ \text{零個分支層級排除}. } $$ 在此素數處。 --- # 30. 雙篩飽和的意義 第二商在全域上並非空泛。 在兩個新素數處，其投影 Mordell-Weil 像只佔局部 Sylow-$2$ 群的一半。 然而，從正準平方值覆蓋產生的特定局部分支，都落在該允許的一半中。 因此，目前未能排除候選，不是由以下原因所致： - 缺失明確的商； - 有理撓群過大； - 局部 Mordell-Weil 像是全群； - 或係數解析度不足。 原因是存活分支真正的局部相容性。 這是明顯強於 R15 的飽和陳述。 --- # 31. 重新審視歷史乾淨素數 在歷史乾淨素數處： $$ 11, 59, 181, 197, 1669, $$ 以下點的投影 $E_0$ 階： $$ Q $$ 至多為： $$ 2^3. $$ 因此，所有 R11 係數類，在第一商上都收縮至邊界符號類。 邊界虧格-$2$ 提升映至： $$ (e_2,0) $$ 位於第二商上。 由於此點為有理撓點，它自動位於投影全域 Mordell-Weil 像中。 因此，僅靠正準虧格-$2$ 雙商，無法使用那些低階素數解析 R11 封包的高位元。 較早的乾淨素數強度，來自較大的虧格-$3$ 相容性架構，而非僅來自此單一虧格-$2$ 商對。 --- # 32. 正準雙橢圓圖 完整的正準虧格-$2$ 圖像現在為： $$ \boxed{ \mathcal H_{\rm can} } $$ 其中： $$ \boxed{ \pi_0: \mathcal H_{\rm can} \to E_0, } $$ 以及： $$ \boxed{ \pi_-: \mathcal H_{\rm can} \to E_-. } $$ Jacobian 分裂為： $$ \boxed{ \operatorname{Jac} (\mathcal H_{\rm can}) \sim_{\mathbb Q} E_0 \times E_-. } $$ 兩個因子的精確秩皆為： $$ \boxed{ 1. } $$ 因此： $$ \boxed{ \operatorname{rank} \operatorname{Jac} (\mathcal H_{\rm can})(\mathbb Q) = 2 = g(\mathcal H_{\rm can}). } $$ 普通 Chabauty 無法直接適用。 --- # 33. 二次 Chabauty 判準 兩個橢圓因子，作為歷史分解中所命名的不同因子，是非同源的。 因此，Néron-Severi 秩至少滿足： $$ \boxed{ \rho \left( \operatorname{Jac} (\mathcal H_{\rm can}) \right) \ge2. } $$ 故： $$ g+\rho-1 \ge 2+2-1 = 3. $$ 由於： $$ r=2, $$ 有： $$ \boxed{ r