> 本文為英文原文的全文譯本。研究主張仍以原文為權威來源；翻譯不代表獨立數學驗證。

# 完美長方體 Radical-FDRS R10

## $2$-進局部開放性、銳利的邊界鄰域，以及純形式群隔離的失效

**系列：** 完美長方體全域閉合  
**分支：** Radical-FDRS／幾何耦合分支 R  
**階段：** R10 — 局部邊界分析  
**日期：** 2026-10-04  
**狀態：** 精確局部定理與策略修正 — 並非完美長方體存在或不存在的證明

---

# 0. 執行摘要

R9 將以下歷史固定纖維上的每個假設性有理點

$$
n=\frac7{32}
$$

強制約束在四個薄的 $2$-進 Mordell-Weil 管內，其中心是已知幾何邊界點。

擬議的 R10 目標，是利用下列域上的形式群

$$
\mathbb Q_2
$$

證明在這些管內，滿足兩個平方閘的點只有邊界中心本身。

R10 證明，這個目標不可能僅靠局部平方性論證達成。

原因是結構性的。

在每個邊界中心，兩個平方閘在下列域中都取非零平方值

$$
\mathbb Q_2.
$$

子群

$$
\mathbb Q_2^{\times2}
$$

在下列群中是開的

$$
\mathbb Q_2^\times.
$$

因此，每個這類邊界點都有一個非平凡的 $2$-進鄰域，在其中兩個閘仍為平方。

這不只是定性的拓撲陳述。

使用一維固定纖維座標

$$
m,
$$

R10 計算出明確且銳利的充分鄰域。

令

$$
\boxed{
Q_1(m)
=
(1024m^2+49)(49m^2+1024),
}
$$

且

$$
\boxed{
Q_2(m)
=
\left[
1073(m^2+1)-1950m
\right]
\left[
1073(m^2+1)+1950m
\right].
}
$$

完美長方體固定纖維的平方條件恰好是

$$
Q_1(m)\in\mathbb Q^2,
$$

且

$$
Q_2(m)\in\mathbb Q^2.
$$

在下列域上

$$
\mathbb Q_2,
$$

下列陳述成立。

### 邊界 $m=0$

若

$$
\boxed{
v_2(m)\ge7,
}
$$

則以下兩者

$$
Q_1(m),
\qquad
Q_2(m)
$$

皆為 $2$-進平方。

此門檻對第一閘是銳利的，意即

$$
v_2(m)=6
$$

迫使

$$
Q_1(m)
$$

為非平方。

### 邊界 $m=\infty$

由倒數對稱性，若

$$
\boxed{
v_2(1/m)\ge7,
}
$$

則兩個閘皆為 $2$-進平方。

### 邊界 $m=\pm1$

若

$$
\boxed{
v_2(m-1)\ge8
}
$$

或

$$
\boxed{
v_2(m+1)\ge8,
}
$$

則兩個閘皆為 $2$-進平方。

此門檻對第二閘是銳利的，意即

$$
v_2(m\mp1)=7
$$

迫使

$$
Q_2(m)
$$

為非平方。

所以，四個幾何邊界點是真正正半徑 $2$-進解管的中心。

因此，R9 的同餘條件

$$
c\equiv\pm1\pmod{2^{14}}
$$

不能提升為

$$
c=\pm1
$$

僅靠局部平方單位分析無法達成。

正確的下一階段必須使用全域算術：

- 多素數 Mordell-Weil 相容性；
- 一個虧格為 $2$ 的覆蓋上的橢圓 Chabauty；
- 同時覆蓋下降；
- 或全域高度／對數論證。

因此，R10 的主要結論是一項嚴格的策略修正：

$$
\boxed{
\text{純粹的 }\mathbb Q_2\text{ 邊界隔離不可能。}
}
$$

---

# 1. 固定纖維平方閘

對於

$$
n=\frac7{32},
$$

第一個 Twin-Psi 四次式在相差一個有理平方分母的意義下為

$$
\boxed{
Q_1(m)
=
(1024m^2+49)(49m^2+1024).
}
$$

展開：

$$
\boxed{
Q_1(m)
=
50176m^4
+
1050977m^2
+
50176.
}
$$

第二個平方閘為

$$
\boxed{
Q_2(m)
=
\left[
1073(m^2+1)-1950m
\right]
\left[
1073(m^2+1)+1950m
\right].
}
$$

展開：

$$
\boxed{
Q_2(m)
=
1151329m^4
-
1499842m^2
+
1151329.
}
$$

從正規化的 Twin-Psi 方程轉換到下式時移除的分母

$$
Q_1,
\qquad
Q_2
$$

皆為有理平方。

因此，平方性保持不變。

---

# 2. 邊界值

當

$$
m=0,
$$

有

$$
\boxed{
Q_1(0)
=
50176
=
224^2,
}
$$

且

$$
\boxed{
Q_2(0)
=
1151329
=
1073^2.
}
$$

當

$$
m=1,
$$

有

$$
\boxed{
Q_1(1)
=
1151329
=
1073^2,
}
$$

且

$$
\boxed{
Q_2(1)
=
802816
=
896^2.
}
$$

由於兩個四次式皆為偶式：

$$
Q_i(-1)=Q_i(1).
$$

由於兩個四次式皆為倒數式：

$$
m^4Q_i(1/m)=Q_i(m),
$$

以下邊界

$$
m=\infty
$$

等價於以下邊界

$$
m=0.
$$

所以，所有四個幾何邊界點的兩個閘值，皆等於非零有理平方。

---

# 3. 一般 $2$-進開放性引理

令

$$
f
$$

為有理函數，定義於

$$
x_0\in\mathbb Q_2,
$$

並假定

$$
f(x_0)\in\mathbb Q_2^{\times2}.
$$

因為

$$
f
$$

連續，且

$$
\mathbb Q_2^{\times2}
$$

是下列群的開子群，

$$
\mathbb Q_2^\times,
$$

存在一個開鄰域

$$
U
$$

其中心為

$$
x_0
$$

使得

$$
\boxed{
f(U)\subseteq\mathbb Q_2^{\times2}.
}
$$

對有限多個函數

$$
f_1,\ldots,f_r
$$

它們在下列點取非零平方值

$$
x_0,
$$

相應鄰域的交集仍然是開的。

因此，同時非零平方性在局部穩定。

這已經推出：在兩個 R8 閘皆為非零平方的邊界點，不能僅靠局部平方性將它隔離。

其餘各節將把鄰域寫得明確。

---

# 4. 奇 $2$-進單位的平方判準

對於

$$
u\in\mathbb Z_2^\times,
$$

標準判準為

$$
\boxed{
u\in\mathbb Q_2^2
\iff
u\equiv1\pmod8.
}
$$

更一般地，非零的

$$
q\in\mathbb Q_2
$$

為平方，若且唯若

1. 其賦值為偶數；

2. 其奇單位部同餘於

$$
1\pmod8.
$$

因此，若

$$
q_0
$$

已是非零平方，且

$$
\frac q{q_0}
\in
1+8\mathbb Z_2,
$$

則

$$
q
$$

為平方。

這是以下使用的判準。

---

# 5. $m=0$ 的鄰域：第一閘

寫成

$$
m=\delta.
$$

以邊界平方正規化：

$$
Q_1(0)=224^2.
$$

則

$$
\boxed{
\frac{Q_1(\delta)}{224^2}
=
1
+
\frac{1050977}{50176}\delta^2
+
\delta^4.
}
$$

現在

$$
\boxed{
v_2(50176)=10,
}
$$

且

$$
1050977
$$

為奇數。

故

$$
\boxed{
v_2
\left(
\frac{1050977}{50176}
\right)
=
-10.
}
$$

若

$$
v_2(\delta)=k,
$$

第一個修正項的賦值為

$$
2k-10.
$$

四次修正項的賦值為

$$
4k.
$$

因此，若

$$
k\ge7,
$$

則

$$
2k-10\ge4.
$$

所以

$$
\boxed{
\frac{Q_1(\delta)}{224^2}
\in
1+16\mathbb Z_2
\subset
1+8\mathbb Z_2.
}
$$

故：

$$
\boxed{
v_2(m)\ge7
\Longrightarrow
Q_1(m)\in\mathbb Q_2^2.
}
$$

---

# 6. $m=0$ 處的銳利性

假設

$$
v_2(m)=6.
$$

則

$$
2v_2(m)-10=2.
$$

四次修正項的賦值為

$$
24.
$$

因此，下列值的第一個非零修正項

$$
Q_1(m)/224^2
$$

具有精確賦值

$$
2.
$$

其係數為奇數。

因此

$$
\boxed{
\frac{Q_1(m)}{224^2}
\equiv
5
\pmod8.
}
$$

因此：

$$
\boxed{
v_2(m)=6
\Longrightarrow
Q_1(m)\notin\mathbb Q_2^2.
}
$$

所以，半徑

$$
2^7\mathbb Z_2
$$

對第一閘的第一個過渡殼而言是銳利的。

---

# 7. $m=0$ 的鄰域：第二閘

以下式正規化：

$$
Q_2(0)=1073^2.
$$

則

$$
\boxed{
\frac{Q_2(\delta)}{1073^2}
=
1
-
\frac{1499842}{1151329}\delta^2
+
\delta^4.
}
$$

現在

$$
1151329
$$

為奇數，且

$$
\boxed{
v_2(1499842)=1.
}
$$

因此：

$$
\boxed{
v_2
\left(
\frac{1499842}{1151329}
\right)
=
1.
}
$$

若

$$
v_2(\delta)\ge1,
$$

二次修正項的賦值已至少為

$$
3.
$$

所以，第二閘在下列點附近的局部限制

$$
m=0
$$

遠弱於第一閘。

特別是：

$$
\boxed{
v_2(m)\ge7
\Longrightarrow
Q_2(m)\in\mathbb Q_2^2.
}
$$

結合前一節：

$$
\boxed{
v_2(m)\ge7
\Longrightarrow
Q_1(m),Q_2(m)\in\mathbb Q_2^2.
}
$$

---

# 8. $m=\infty$ 的鄰域

因為：

$$
\boxed{
m^4Q_i(1/m)=Q_i(m),
}
$$

以及：

$$
m^4
$$

為平方，所以下列參數的平方性

$$
m
$$

等價於下列參數的平方性

$$
1/m.
$$

因此，零點處的結果立即給出：

$$
\boxed{
v_2(1/m)\ge7
\Longrightarrow
Q_1(m),Q_2(m)\in\mathbb Q_2^2.
}
$$

第一個過渡殼同樣由第一閘給出銳利性。

所以，無窮遠邊界也具有真正開的平方解鄰域。

---

# 9. $m=1$ 的鄰域：第一閘

寫成

$$
m=1+\delta.
$$

精確因式分解給出：

$$
\boxed{
\frac{Q_1(1+\delta)}{1073^2}
=
1
+
\frac{
\delta(\delta+2)
\left(
50176\delta^2
+
100352\delta
+
1151329
\right)
}{
1151329
}.
}
$$

若

$$
v_2(\delta)=k\ge2,
$$

則：

$$
v_2(\delta+2)=1,
$$

且最後括號內的值為奇數。

因此，修正項的賦值為

$$
k+1.
$$

故當

$$
k\ge2,
$$

修正項屬於

$$
8\mathbb Z_2.
$$

所以：

$$
\boxed{
v_2(m-1)\ge2
\Longrightarrow
Q_1(m)\in\mathbb Q_2^2.
}
$$

在此邊界附近，第一閘同樣不是限制較強者。

---

# 10. $m=1$ 的鄰域：第二閘

以下式正規化

$$
Q_2(1)=896^2.
$$

精確因式分解給出：

$$
\boxed{
\frac{Q_2(1+\delta)}{896^2}
=
1
+
\frac{
\delta(\delta+2)
\left(
1151329\delta^2
+
2302658\delta
+
802816
\right)
}{
802816
}.
}
$$

相關賦值為：

$$
\boxed{
v_2(802816)=14,
}
$$

$$
\boxed{
v_2(2302658)=1,
}
$$

以及：

$$
1151329
$$

為奇數。

令：

$$
v_2(\delta)=k.
$$

對於：

$$
k\ge8,
$$

有：

$$
v_2(\delta+2)=1.
$$

最後括號內三項的賦值為：

$$
2k,
$$

$$
k+1,
$$

以及：

$$
14.
$$

當：

$$
k=8,
$$

最小值為：

$$
9.
$$

因此，整個分子修正項的賦值至少為：

$$
8+1+9=18.
$$

除以下列賦值的邊界值之後：

$$
14,
$$

相對修正項的賦值至少為：

$$
4.
$$

故：

$$
\boxed{
v_2(m-1)\ge8
\Longrightarrow
Q_2(m)\in\mathbb Q_2^2.
}
$$

結合兩個閘：

$$
\boxed{
v_2(m-1)\ge8
\Longrightarrow
Q_1(m),Q_2(m)\in\mathbb Q_2^2.
}
$$

---

# 11. $m=1$ 處的銳利性

假設：

$$
v_2(m-1)=7.
$$

則下式展開中的二次項：

$$
Q_2(1+\delta)-Q_2(1)
$$

具有精確賦值：

$$
16,
$$

而：

$$
v_2(Q_2(1))=14.
$$

所有其他競爭項的賦值都嚴格更大。

因此：

$$
\boxed{
\frac{Q_2(1+\delta)}{Q_2(1)}
\equiv
5
\pmod8.
}
$$

故：

$$
\boxed{
v_2(m-1)=7
\Longrightarrow
Q_2(m)\notin\mathbb Q_2^2.
}
$$

所以，半徑：

$$
m\in1+2^8\mathbb Z_2
$$

對第二閘的第一個過渡殼而言是銳利的。

---

# 12. $m=-1$ 的鄰域

由於兩個四次式皆為偶式：

$$
Q_i(-m)=Q_i(m),
$$

在下列點的分析：

$$
m=-1
$$

完全相同。

因此：

$$
\boxed{
v_2(m+1)\ge8
\Longrightarrow
Q_1(m),Q_2(m)\in\mathbb Q_2^2.
}
$$

以及：

$$
\boxed{
v_2(m+1)=7
\Longrightarrow
Q_2(m)\notin\mathbb Q_2^2.
}
$$

---

# 13. 明確的局部解管

因此，歷史固定纖維的雙平方方程，具有以下完整的開 $2$-進解鄰域：

## $m=0$ 周圍的管

$$
\boxed{
m\in2^7\mathbb Z_2.
}
$$

## $m=\infty$ 周圍的管

$$
\boxed{
m^{-1}\in2^7\mathbb Z_2.
}
$$

## $m=1$ 周圍的管

$$
\boxed{
m\in1+2^8\mathbb Z_2.
}
$$

## $m=-1$ 周圍的管

$$
\boxed{
m\in-1+2^8\mathbb Z_2.
}
$$

每個所展示的局部鄰域內，每個點都在下列域上滿足兩個固定纖維平方方程：

$$
\mathbb Q_2.
$$

這些是真正的解析族，而非孤立點。

---

# 14. 對 R9 邊界管的影響

R9 證明了一個全域必要的 Mordell-Weil 係數條件：

$$
\boxed{
c\equiv\pm1\pmod{2^{14}},
}
$$

僅帶有兩個撓陪集。

中心點對應於：

$$
m=0,
\quad
1,
\quad
-1,
\quad
\infty.
$$

R10 展示，局部雙平方覆蓋已在這四個邊界點周圍包含開鄰域。

因此，下列形式的論證不能閉合固定切片：

> 提高邊界周圍的 $2$-進精度，等待直到只剩中心存留。

這不可能僅由局部平方性發生。

局部解集合具有正的 $2$-進半徑。

---

# 15. 形式群解讀

令：

$$
P_\ast
$$

為下列曲線上四個 R9 邊界中心之一：

$$
E_0'.
$$

對足夠深入的：

$$
Q
$$

這是在局部橢圓形式群中，函數：

$$
\mathcal R_1(P_\ast+Q)
$$

以及：

$$
\mathcal R_2(P_\ast+Q)
$$

仍處於與下式相同的非零平方類：

$$
\mathcal R_1(P_\ast),
$$

以及：

$$
\mathcal R_2(P_\ast).
$$

由於中心值是非零平方，存在一個開的形式子群鄰域：

$$
\mathcal U_\ast
$$

使得：

$$
\boxed{
P\in P_\ast+\mathcal U_\ast
\Longrightarrow
\mathcal R_1(P),\mathcal R_2(P)
\in\mathbb Q_2^2.
}
$$

所以，形式群平方條件不能迫使：

$$
Q=0.
$$

---

# 16. 一般不可能性定理

## 定理 — 局部平方性不能隔離一個未分歧的邊界點

令：

$$
E/\mathbb Q_p
$$

為光滑橢圓曲線。

令：

$$
f_1,\ldots,f_r
\in
\mathbb Q_p(E)^\times
$$

為有理函數，於下列點定義且非零：

$$
P_\ast\in E(\mathbb Q_p).
$$

假設：

$$
f_i(P_\ast)\in\mathbb Q_p^{\times2}
$$

對每個：

$$
i.
$$

則存在一個 $p$-進開鄰域：

$$
U
$$

其中心為：

$$
P_\ast
$$

使得：

$$
\boxed{
f_i(P)\in\mathbb Q_p^{\times2}
}
$$

對每個：

$$
P\in U
$$

以及每個：

$$
i.
$$

因此，同時局部平方性不能隔離：

$$
P_\ast.
$$

R10 是此定理直接應用於兩個 R8 閘的結果。

---

# 17. 何時局部隔離可能奏效

只有存在某種額外結構時，局部平方條件才可能具有隔離作用，例如：

- 平方函數在中心消失；
- 平方函數具有極點；
- 分歧迫使奇數賦值；
- 兩個局部解析分支必須滿足獨立方程；
- 全域 Mordell-Weil 條件與局部分支離散地相交；
- 除平方性之外，還施加一個 $p$-進對數條件。

四個 R9 邊界中心中，沒有任何一個僅靠兩個非零平方值就能隔離。

因此，R10 必須改變策略。

---

# 18. 為何這不削弱 R9

R9 仍是一個強的全域定理。

它使用多個有限約化，將每個全域有理候選強制約束至四個薄 $2$-進管。

R10 只證明，最後一步

$$
\text{管}
\longrightarrow
\text{中心}
$$

不能僅從局部平方單位判準得到。

正確的解讀為：

$$
\boxed{
\text{R9 執行全域集中；}
}
$$

$$
\boxed{
\text{R10 辨識此集中內真正的局部分支。}
}
$$

剩餘障礙是全域的，而非局部的。

---

# 19. 為何僅加入更高 $2$-進精度仍不足

假設邊界點具有一個開鄰域

$$
U
$$

在其中兩個閘值皆為平方。

則對每個足夠大的：

$$
k,
$$

存在非中心點滿足：

$$
P\equiv P_\ast\pmod{2^k}
$$

它們位於局部覆蓋內。

因此，同一處更深的同餘條件不會自動產生矛盾。

問題並非精度不足。

而是真實存在一個 $2$-進解析分支。

---

# 20. 正確的剩餘問題

剩餘的固定切片問題現在是：

> 這些局部 $2$-進分支上的任何非邊界點，是否也屬於全域有理 Mordell-Weil 群，並滿足所有全域算術相容條件？

本質上，這是一個局部—全域交集問題。

相關對象為：

$$
\boxed{
E_0'(\mathbb Q)
}
$$

位於

$$
\boxed{
E_0'(\mathbb Q_2),
}
$$

再連同兩個二次覆蓋分支。

---

# 21. R10 之後較佳的全域方法

最合適的下一批方法為：

1. **虧格為 $2$ 的平方覆蓋上的橢圓 Chabauty；**
2. **使用多個奇素數的 Mordell-Weil 篩；**
3. **同時覆蓋下降；**
4. **涉及全域生成元的 $p$-進橢圓對數關係；**
5. **高度界加上局部剩餘類限制。**

下列素數處的純形式平方展開：

$$
p=2
$$

不再是較佳路線。

---

# 22. 回到兩個虧格為 $2$ 的視窗

R7 與 R8 產生了兩個互補的虧格為 $2$ 的視窗。

新視窗具有：

$$
\boxed{
\operatorname{Jac}(G)
\sim
E_f\times E_0.
}
$$

歷史視窗具有：

$$
\boxed{
\operatorname{Jac}(H_2)
\sim
E_0\times E_-.
}
$$

所有三個互異橢圓因子的已認證秩皆為：

$$
1.
$$

R10 提示，這兩個虧格為 $2$ 的視窗之間的全域相容性，比局部形式隔離是更強的下一個目標。

---

# 23. 共用 $E_0$ 的策略

兩個虧格為 $2$ 的視窗都映射到同一個秩一的：

$$
E_0.
$$

原始虧格為 $5$ 的纖維上的有理點，必須在共同 Mordell-Weil 軌道上滿足兩個不同的二次提升條件。

所以，自然的全域問題是：

$$
\boxed{
P\in E_0(\mathbb Q)
}
$$

使兩個獨立有理函數同時為平方。

這恰好是 R8 雙平方約化的全域解讀。

局部管是這些覆蓋的 $2$-進實現。

---

# 24. 建議的有限素數續行

在任意好約化的奇素數：

$$
p,
$$

不應要求整個約化群皆為二冪階群。

應採以下方式：

1. 枚舉滿足兩個平方閘的約化點；
2. 將這些點投影到 Sylow-$2$ 子群；
3. 以同一奇數餘因子投影已知的奇數指數 Mordell-Weil 替代點；
4. 比較投影候選像與投影 Mordell-Weil 子群；
5. 在全域上對所得係數約束取交集。

這是較早的雙商篩已成功使用的證明安全思路。

關鍵規則是：

$$
\boxed{
\text{以同一映射投影候選與 Mordell-Weil 資料。}
}
$$

---

# 25. 為何這能改進 R9

R9 限制自己使用下列情況的素數：

$$
\#E(\mathbb F_p)
$$

已是二的冪。

這使係數追蹤格外清楚。

然而，許多額外的好約化素數即使總群階帶有奇數因子，也具有大型 Sylow-$2$ 子群。

R9 並未使用這些素數。

同步的 Sylow-$2$ 投影，可能增加獨立的係數限制，而不必對未知奇數飽和指數作任何假設。

所以，在 R8 雙閘表示中，仍有大量尚未使用的全域有限素數資訊。

---

# 26. 策略修正

原初擬議的 R10 目標為：

$$
\boxed{
\text{證明 }u=0
\text{ 在每個 }2\text{-進邊界管內}.
}
$$

R10 證明，這不能僅從局部平方性推出。

修正後的目標成為：

$$
\boxed{
\text{展示局部分支上沒有任何非中心點在全域上相容}.
}
$$

這是一個更強的局部—全域陳述，需要下列域以外的資訊：

$$
\mathbb Q_2.
$$

---

# 27. R10 定理套件

## 定理 A — 局部開放性

四個邊界點中的每一個都有非平凡的開：

$$
\mathbb Q_2
$$

鄰域，在其中兩個固定纖維閘皆保持為平方。

## 定理 B — 明確半徑

下列條件充分：

$$
\boxed{
v_2(m)\ge7,
}
$$

$$
\boxed{
v_2(1/m)\ge7,
}
$$

$$
\boxed{
v_2(m-1)\ge8,
}
$$

以及：

$$
\boxed{
v_2(m+1)\ge8.
}
$$

## 定理 C — 銳利的第一個過渡殼

若：

$$
v_2(m)=6,
$$

第一閘是非平方。

若：

$$
v_2(m\mp1)=7,
$$

第二閘是非平方。

## 定理 D — 純局部隔離的失效

任何僅依賴足夠深的 $2$-進平方單位展開的論證，都不能證明 R9 的管只包含各自的邊界中心。

---

# 28. R11 擬議方案

R11 應在理解 R10 局部障礙之後，回到全域算術。

## R11-A — 一般 Sylow-$2$ 雙閘篩

將 R9 從二冪約化群推廣至任意好約化素數。

對每個素數：

$$
\#E(\mathbb F_p)
=
2^sm,
$$

其中：

$$
m
$$

為奇數，施行：

$$
[m]
$$

同時作用於候選點與 Mordell-Weil 資料。

建立所得正規化係數限制。

## R11-B — 搜尋更高的 $2$-冪係數強制約束

針對投影 Mordell-Weil 方向具有較大階的素數：

$$
2^s.
$$

確定 R9 條件：

$$
c\equiv\pm1\pmod{2^{14}}
$$

是否能在全域上強化。

## R11-C — 虧格為 $2$ 的 Mordell-Weil 篩

對兩個虧格為 $2$ 的視窗，同時施行局部約化：

$$
G,
\qquad
H_2.
$$

使用其共同的：

$$
E_0
$$

像作為同步座標。

## R11-D — 橢圓 Chabauty 的實作目標

在下列曲線的任一 $2$ 次覆蓋上：

$$
E_0,
$$

分類秩一 Mordell-Weil 群的有理提升。

由於覆蓋的虧格為：

$$
2,
$$

且橢圓底層的秩為：

$$
1,
$$

這是自然的橢圓 Chabauty 情形。

## R11-E — 邊界分支交集

使用 R10 的局部半徑，辨識每個 $p$-進實作中必須保留的精確局部圓盤。

不要在 R9 已排除的圓盤上浪費計算。

---

# 29. 最終結論

R10 並未產生所期望的局部不存在定理。

它反而證明了一項在策略上重要的事項：

$$
\boxed{
\text{所期望的定理不能來自純粹的 }\mathbb Q_2\text{ 平方性。}
}
$$

四個 R9 邊界中心不是孤立的 $2$-進解。

它們位於真正的局部同時平方解之開族內。

對歷史固定纖維，明確鄰域為：

$$
m\in2^7\mathbb Z_2,
$$

$$
m^{-1}\in2^7\mathbb Z_2,
$$

$$
m\in1+2^8\mathbb Z_2,
$$

以及：

$$
m\in-1+2^8\mathbb Z_2.
$$

所以，R9 邊界管代表真實的局部幾何，而非不完整的數值精度。

剩餘工作是全域的：

$$
\boxed{
\text{將這些局部分支與全域秩一 Mordell-Weil 軌道取交集。}
}
$$

這是 R11 的典範起點。
