# GERES P11：Selmer Cover Completion 與 Elliptic-Chabauty 執行包

**Selmer Cover Completion and Elliptic-Chabauty Execution Package**

版本：v0.1  
系列：GERES — Global Equivalence Reconstruction and Scaling  
階段：P11  
性質：Final exact pre-Chabauty reduction／modular cage／external proof-computation package  
主要 fibers：$r=3/5$、$s=4/7$  
Canonical source：UTF-8 Markdown

---

## 摘要

P10 已把兩條 G2 genus-$5$ fibers 壓成有限 structural squareclass covers，並把 open quartics分解到二次域：

$$
K_r=\mathbb Q(\sqrt{161}),
$$

$$
K_s=\mathbb Q(\sqrt{2047}).
$$

P11 的目標原本是直接完成：

$$
\text{Selmer}
\rightarrow
\text{Mordell-Weil}
\rightarrow
\text{Elliptic Chabauty}.
$$

本輪首先檢查實際 runtime。

目前可使用：

- Python exact integer arithmetic；
- exact rational arithmetic；
- SymPy。

目前**不可使用**：

- Sage；
- PARI/GP；
- mwrank；
- Magma。

因此 P11 不把外部 CAS bridge 誤寫成已執行證明。

本階段完成兩件可立即 exact 驗證的工作：

1. 將 surviving cover classes進一步組成 height-independent modular cages；
2. 產生一個不含模糊步驟的 Sage/Magma final execution package，明確指定 Selmer、rank、generators、elliptic Chabauty 與 lift-back verification 的 proof obligations。

所以 P11 的狀態是：

$$
\boxed{
\text{all pre-CAS exact reduction packaged}
}
$$

而不是：

$$
\boxed{
\text{full fixed-fiber classification completed}.
}
$$

---

# 1. Fixed-$r$ 的 Final Structural Covers

P10 已證：

$$
\delta
\in
\{1,34\}.
$$

cover equations：

$$
9p^2+25q^2
=
\delta u^2,
$$

$$
25p^2+9q^2
=
\delta v^2.
$$

最後 open gate：

$$
w^2
=
225(p^4+q^4)-194p^2q^2.
$$

其中：

$$
0<p<q,
$$

$$
\gcd(p,q)=1.
$$

---

# 2. Fixed-$r$, $\delta=1$ Modular Cage

P10 的 exact projective local tests在：

$$
\ell
\in
\{7,13,19,59\}
$$

都只允許：

$$
x=0
$$

或：

$$
x=\infty.
$$

對：

$$
x=\frac pq
$$

這表示每一個上述 prime都必須滿足：

$$
\ell\mid p
\quad\text{or}\quad
\ell\mid q.
$$

因：

$$
\gcd(p,q)=1,
$$

每一個 prime只能分配到其中一邊。

因此：

$$
7\cdot13\cdot19\cdot59
\mid
pq.
$$

即：

$$
\boxed{
102011\mid pq.
}
$$

因：

$$
0<p<q,
$$

有：

$$
pq<q^2.
$$

所以：

$$
q^2>102011,
$$

因此：

$$
\boxed{
q\ge320.
}
$$

這只是由目前四個 rigid primes得到的 global lower bound；它不依賴任何 search height。

---

# 3. Fixed-$r$, $\delta=34$ Modular Cage

對：

$$
\ell
\in
\{7,19,31,43\},
$$

exact local condition只有：

$$
x=\pm1.
$$

因此：

$$
p\equiv\pm q
\pmod{\ell},
$$

所以：

$$
\ell\mid(q^2-p^2).
$$

乘起來：

$$
\boxed{
177289
\mid
(q^2-p^2).
}
$$

因：

$$
0<p<q,
$$

$$
0<q^2-p^2<q^2.
$$

所以：

$$
\boxed{
q\ge422.
}
$$

---

# 4. Fixed-$s$ 的 Final Structural Covers

P10 已把：

$$
16
$$

個 structural squareclasses縮到：

$$
\boxed{
\delta
\in
\{1,65,165,429\}.
}
$$

cover equations：

$$
16p^2+49q^2
=
\delta u^2,
$$

$$
49p^2+16q^2
=
\delta v^2.
$$

open gate：

$$
w^2
=
784(p^4+q^4)-479p^2q^2.
$$

---

# 5. Fixed-$s$, $\delta=1$

rigid boundary primes：

$$
3,17,19,31,43.
$$

因此：

$$
3\cdot17\cdot19\cdot31\cdot43
\mid pq.
$$

即：

$$
\boxed{
1291677
\mid pq.
}
$$

所以：

$$
\boxed{
q\ge1137.
}
$$

---

# 6. Fixed-$s$, $\delta=65$

rigid：

$$
x=\pm1
$$

primes：

$$
3,19,53.
$$

因此：

$$
\boxed{
3021
\mid(q^2-p^2).
}
$$

所以：

$$
\boxed{
q\ge55.
}
$$

---

# 7. Fixed-$s$, $\delta=165$

boundary primes：

$$
31,43,
$$

給：

$$
1333\mid pq.
$$

另外：

$$
19\mid(q^2-p^2).
$$

所以由目前 cage：

$$
\boxed{
q\ge37.
}
$$

---

# 8. Fixed-$s$, $\delta=429$

boundary：

$$
17,19,
$$

因此：

$$
323\mid pq.
$$

另外：

$$
53\mid(q^2-p^2).
$$

所以：

$$
\boxed{
q\ge18.
}
$$

---

# 9. Modular Cage 的真正用途

這些下界本身沒有超過 P9 的：

$$
H=10000
$$

bounded scan。

所以它們不是用來說：

> 我們已經比 H10000 更遠。

它們真正的價值是：

$$
\boxed{
\text{它們作用於任意 arithmetic height。}
}
$$

也就是任何未來由 elliptic group law生成的巨大 rational point，都必須落進同一組 congruence cages。

因此它們可直接作：

- Mordell-Weil sieve filters；
- Selmer twist filters；
- Chabauty output sanity checks。

---

# 10. P11 的 Selmer-Cover State

fixed-$r$：

$$
\boxed{
\delta_1
\in
\{1,34\}.
}
$$

fixed-$s$：

$$
\boxed{
\delta_1
\in
\{1,65,165,429\}.
}
$$

open factors分別位於：

$$
K_r
=
\mathbb Q(\sqrt{161}),
$$

$$
K_s
=
\mathbb Q(\sqrt{2047}).
$$

P11 尚缺：

$$
\boxed{
\delta_2
\text{ 的完整 Selmer twist set}.
}
$$

這一步需要 number-field unit/class group、local solubility與 isogeny-Selmer routines。

---

# 11. 為什麼不能用「找到幾個 twists」代替 Selmer Completion

要宣稱 covering collection完整，必須證明：

> 每一個 rational point都 lift 到列出的 finite set of twists之一。

這不是單純搜尋某些小：

$$
\delta_2.
$$

所以 P11 不用 heuristic twist list取代：

$$
\operatorname{Selmer}.
$$

---

# 12. Mordell-Weil Gate

對每個 surviving genus-$1$ cover，elliptic Chabauty至少需要足夠的：

- rank information；
- finite-index Mordell-Weil subgroup；
- number-field embeddings；
- good primes。

如果只知道幾個 visible rational points，不能把它們當完整 generator set。

---

# 13. Current Runtime Audit

本輪實際檢查：

```text
sage    = unavailable
gp      = unavailable
pari-gp = unavailable
mwrank  = unavailable
cypari2 = unavailable
SymPy   = available
```

SymPy目前不實作一般 elliptic Mordell-Weil rank computation。

所以 P11 在此環境不能誠實完成 full rank gate。

---

# 14. External CAS Bridge 的地位

本 bundle附：

- `p11_execute_in_magma.m`
- `p11_execute_in_sage.sage`

它們是：

$$
\boxed{
\text{execution specification}.
}
$$

不是：

$$
\boxed{
\text{executed certificate}.
}
$$

這個 distinction寫進 canonical manifest。

---

# 15. Rational Elliptic Factors

需要首先取得 rigorous data：

### Fixed-$r$

$$
E_{\mathrm{body},r}:
Y^2
=
X^3+706X^2-202500X-142965000,
$$

$$
E_{\mathrm{open},r}:
Y^2
=
X^3-194X^2-202500X+39285000.
$$

### Fixed-$s$

$$
E_{\mathrm{body},s}:
Y^2
=
X^3+2657X^2-2458624X-6532563968,
$$

$$
E_{\mathrm{open},s}:
Y^2
=
X^3-479X^2-2458624X+1177680896.
$$

注意最後一條 constant term在 P10 已校正。

---

# 16. Remaining Three Rational Elliptic Quotients

Fixed-$r$：

$$
E_{\mathrm{even},r}:
Y^2
=
(225U^2+706U+225)
(225U^2-194U+225),
$$

$$
E_{+,r}:
Y^2
=
(225T^2+256)
(225T^2-644),
$$

$$
E_{-,r}:
Y^2
=
(225S^2+1156)
(225S^2+256).
$$

Fixed-$s$：

$$
E_{\mathrm{even},s}:
Y^2
=
(784U^2+2657U+784)
(784U^2-479U+784),
$$

$$
E_{+,s}:
Y^2
=
(784T^2+1089)
(784T^2-2047),
$$

$$
E_{-,s}:
Y^2
=
(784S^2+4225)
(784S^2+1089).
$$

---

# 17. Final Cover Equations over $K_r$

structural quadratics：

$$
9x^2+25,
$$

$$
25x^2+9.
$$

open quadratics：

$$
15x^2+2\sqrt{161}\,x+15,
$$

$$
15x^2-2\sqrt{161}\,x+15.
$$

對 Selmer-surviving twists：

$$
\delta_1,\delta_2,
$$

典型 genus-$1$ quotient：

$$
\boxed{
\delta_1\delta_2Y^2
=
(9x^2+25)
(15x^2+2\sqrt{161}\,x+15).
}
$$

其他 sign / structural-factor pairing同理。

---

# 18. Final Cover Equations over $K_s$

典型：

$$
\boxed{
\delta_1\delta_2Y^2
=
(16x^2+49)
(28x^2+\sqrt{2047}\,x+28).
}
$$

以及其他 pairing。

最終只接受：

$$
x\in\mathbb Q.
$$

---

# 19. Elliptic Chabauty Target

對每個 surviving number-field genus-$1$ cover：

$$
H/K,
$$

計算：

$$
\boxed{
\left\{
P\in H(K):
x(P)\in\mathbb Q
\right\}.
}
$$

這才是我們需要的 set。

並不是全部：

$$
H(K).
$$

---

# 20. Lift-Back Gate

Chabauty 返回的每個：

$$
x
$$

必須回到原始 twin quartics：

$$
z^2=x^4+Ax^2+1,
$$

$$
w^2=x^4+(A-4)x^2+1.
$$

再 exact 驗證：

$$
0<x<1.
$$

只有 nondegenerate rational $x$ 才對應 Perfect fixed-fiber candidate。

---

# 21. Rational-Point Classification Certificate

若最後得到 set：

$$
X_\rho
=
\{x_1,\ldots,x_n\},
$$

P11/P12 的正式證書至少需要：

1. Selmer cover completeness；
2. 每個 cover的 rank / MW subgroup certificate；
3. Chabauty prime與 computation trace；
4. all returned rational base parameters；
5. lift-back exact equations；
6. boundary / degenerate classification。

---

# 22. 如果只剩 Boundary Points

若完整流程最後給：

$$
x\in\{0,\pm1,\infty\}
$$

或其 chart-equivalent boundary points，

則才可寫：

$$
\boxed{
\text{該 fixed G2 fiber沒有 nondegenerate rational Perfect closure。}
}
$$

這將是第一個真正 whole-fiber theorem。

---

# 23. 若出現 Nondegenerate Point

如果得到：

$$
0<x<1
$$

且 twin squares exact成立，

則：

1. reconstruct normalized world；
2. denominator clearing；
3. produce integer seven-tuple；
4. exact verify四條 Perfect Cuboid equations。

如果成功，

才得到真正 Perfect Cuboid witness。

---

# 24. Literature Alignment

Chabauty–Coleman方法的目標正是對 genus：

$$
g\ge2
$$

曲線求 rational points；當 Jacobian rank條件不適合 classical Chabauty時，covering collections、elliptic Chabauty與更高階 Chabauty方法是自然替代。

已有 genus-$5$ Diophantine problems使用 quadratic-field covering與 elliptic-Chabauty 類方法完成 rational-point determination。

所以 GERES 到 P11 已經和成熟 arithmetic-geometry toolkit真正接軌。

---

# 25. P11 新增的 Exact 結果

### P11-R1

fixed-$r$, $\delta=1$：

$$
102011\mid pq.
$$

### P11-R2

fixed-$r$, $\delta=34$：

$$
177289\mid(q^2-p^2).
$$

### P11-R3

fixed-$s$, $\delta=1$：

$$
1291677\mid pq.
$$

### P11-R4

fixed-$s$, $\delta=65$：

$$
3021\mid(q^2-p^2).
$$

### P11-R5

fixed-$s$, $\delta=165$：

$$
1333\mid pq,
$$

$$
19\mid(q^2-p^2).
$$

### P11-R6

fixed-$s$, $\delta=429$：

$$
323\mid pq,
$$

$$
53\mid(q^2-p^2).
$$

這些都是由已驗證 local gates組合出的 global necessary congruence cages。

---

# 26. P11 沒有完成的 Gate

截至此版本：

$$
\boxed{
\text{Selmer twist set incomplete}
}
$$

$$
\boxed{
\text{Mordell-Weil groups incomplete}
}
$$

$$
\boxed{
\text{Elliptic Chabauty unexecuted}
}
$$

因此：

$$
\boxed{
\text{No whole-fiber exclusion claim.}
}
$$

---

# 27. 為何這仍然是「完成」的一個階段

P11 的完成定義不是假裝完成數學 proof。

而是：

> 所有在目前 runtime 可以 exact 完成的 pre-Chabauty reduction 已 canonicalized；所有需要專用 arithmetic CAS 的 proof obligations 已封裝成可直接執行的 deterministic bridge。

因此此階段是：

$$
\boxed{
\text{local exact closure + proof-computation handoff complete}.
}
$$

---

# 28. 下一階段

**GERES P12 — External-CAS Result Ingestion and Whole-Fiber Closure**

P12 只在取得實際 Sage/Magma output後啟動。

輸入必須包括：

- exact software/version；
- curve models；
- Selmer results；
- rank bounds；
- generators；
- Chabauty outputs；
- proof flags。

P12 不重新相信文字摘要，而會把外部 result重新 ingest、cross-check、lift-back。

如果沒有外部 CAS result，就不假造 P12 conclusion。

---

# 29. 結論

從 P0 到 P11，原問題已從：

$$
\text{巨大 integer tuple search}
$$

轉換成：

$$
\text{world surface}
$$

再到：

$$
\text{elliptic structural fiber}
$$

再到：

$$
\text{genus-5 Perfect fiber}
$$

再到：

$$
\text{finite squareclass covers}
$$

最後到：

$$
\boxed{
\text{quadratic-field genus-1 covers + rational-base elliptic Chabauty}.
}
$$

現在真正剩下的不是「不知道要算什麼」。

而是非常具體的：

$$
\boxed{
\text{把有限 cover 的 Mordell-Weil / Selmer / Chabauty 證書算出來。}
}
$$

這是 P11 能誠實到達的最前沿。

---

## References

- W. McCallum and B. Poonen, *The Method of Chabauty and Coleman*.
- E. González-Jiménez and X. Xarles, *On a Conjecture of Rudin on Squares in Arithmetic Progressions*.
- E. González-Jiménez and X. Xarles, *Five Squares in Arithmetic Progression over Quadratic Fields*.
- N. Bruin, work on Prym varieties, coverings, and Chabauty-type calculations for higher-genus curves.