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

# RCHM × Hodge 猜想 — 研究回合 12
## 從已發表週期特徵進行盲重建：恢復一對雙切二次曲線

**狀態：** 內部研究筆記 + 可重現精確代數實驗  
**版本：** 回合 12 / v1.2  
**日期：** 2026-09-17  
**方法論基礎：** RCHM；具型別的關係與約束代數；X 層數學完備性；圖原生數學  
**前序回合：** RCHM × Hodge 猜想 — 回合 1–11  
**典範來源：** UTF-8 Markdown

---

# 0. 回合 12 目標

先前的閉環實驗，在構造時我們已知其載體的真值幾何，並使用了定理支持的 Hodge 特徵。

回合 12 進行更嚴格的盲測基準。

輸入取自已發表的週期重建計算：

1. 一個光滑四次曲面；
2. 一個由週期導出的線性型，張成二次曲線類在次數 $1$ 的零化子；
3. 該線性型中代數係數的最小多項式。

二次曲線方程本身**不**作為輸入。

目標是判定 RCHM 閘門流程，能否從下列資料重建幾何見證：

$$
\boxed{
\text{已發表的 Hodge／週期特徵}
+
\text{環境方程}.
}
$$

可以。

---

# 1. 已發表的四次曲面

考慮：

$$
\boxed{
X
=
V
\left(
5x^4
-4x^2zw
+8y^4
-5z^4
+4zw^3
\right)
\subset
\mathbb P^3.
}
$$

Movasati--Sertöz 證明，此四次曲面的 Picard 數為 $14$，包含 $102$ 條二次曲線與 $4$ 條直線，且二次曲線所在的平面分成數個 Galois 軌道。

其中一個軌道由三個平面組成：

$$
\boxed{
h_a=z+aw=0,
}
$$

其中：

$$
\boxed{
25a^3+4a+20=0.
}
$$

每個這樣的平面都包含一對雙切二次曲線。

對此基準，僅將：

$$
X,
\qquad
h_a,
\qquad
m(a)=25a^3+4a+20
$$

視為輸入。

二次曲線方程對重建流程隱藏。

---

# 2. 資訊模式

可用資訊為：

$$
\boxed{
\text{週期特徵模式}.
}
$$

週期計算已產生次數 $1$ 的零化子方向：

$$
\widetilde I_{\delta,1}
=
\langle h_a\rangle.
$$

因此，第一個載體安全的幾何包絡為：

$$
\boxed{
E_1
=
X\cap V(h_a).
}
$$

這是一條平面四次曲線。

在此階段，流程**不**假設：

- 可約性；
- 分支數量；
- 二次曲線載體類型；
- 分支方程；
- 相切行為。

這些都必須重建。

---

# 3. 將環境四次曲面限制至週期平面

由：

$$
h_a=z+aw=0,
$$

我們令：

$$
z=-aw.
$$

代入四次方程得到：

$$
\begin{aligned}
F_a(x,y,w)
={}&
5x^4
+4a x^2w^2
+8y^4\\
&-5a^4w^4
-4aw^4.
\end{aligned}
$$

係數 $a$ 滿足：

$$
25a^3+4a+20=0.
$$

將此關係乘以 $a$，得到：

$$
25a^4+4a^2+20a=0,
$$

故：

$$
-5a^4-4a
=
\frac45a^2.
$$

因此：

$$
\boxed{
F_a
=
5x^4
+4a x^2w^2
+8y^4
+\frac45a^2w^4.
}
$$

乘以 $5$：

$$
\boxed{
5F_a
=
25x^4
+20a x^2w^2
+40y^4
+4a^2w^4.
}
$$

因此：

$$
\boxed{
5F_a
=
(5x^2+2aw^2)^2
+
40y^4.
}
$$

此恆等式僅從環境四次曲面及已發表的週期平面特徵導出。

---

# 4. 最小分裂擴張

引入：

$$
b
$$

滿足：

$$
\boxed{
b^2=-10.
}
$$

則：

$$
40y^4
=
-(2by^2)^2.
$$

因此：

$$
\boxed{
5F_a
=
C_+C_-,
}
$$

其中：

$$
\boxed{
C_\pm
=
5x^2+2aw^2
\pm
2by^2.
}
$$

因此，隱藏的載體被重建為週期平面中的兩條二次曲線：

$$
\boxed{
\mathcal C_\pm
=
V
\left(
z+aw,\;
5x^2+2aw^2\pm2by^2
\right).
}
$$

載體方程並非輸入。

它們來自安全重建包絡的精確因式分解。

---

# 5. 定義體層

週期平面定義於：

$$
\boxed{
K=\mathbb Q(a),
}
$$

其中：

$$
25a^3+4a+20=0.
$$

兩條個別二次曲線定義於：

$$
\boxed{
L=K(b),
\qquad
b^2=-10.
}
$$

對合：

$$
b\mapsto-b
$$

交換：

$$
\mathcal C_+
\leftrightarrow
\mathcal C_-.
$$

因此，無序對：

$$
\boxed{
\{\mathcal C_+,\mathcal C_-\}
}
$$

即使個別分支需要二次擴張，仍定義於較小的體 $K$。

這是 RCHM 定義體層的一個明確實例。

---

# 6. 重建二次曲線的光滑性

在座標為下列形式的平面內：

$$
[x:y:w],
$$

二次曲線方程為：

$$
C_\pm
=
5x^2
\pm2by^2
+2aw^2.
$$

其梯度為：

$$
\nabla C_\pm
=
(10x,\;\pm4by,\;4aw).
$$

因為：

$$
a\neq0
$$

以及：

$$
b\neq0,
$$

三個偏導數只能在下列情況同時為零：

$$
x=y=w=0.
$$

這不是射影點。

因此：

$$
\boxed{
\mathcal C_+
\text{ 與 }
\mathcal C_-
\text{ 是光滑二次曲線}.
}
$$

---

# 7. 精確的雙切重建

兩條二次曲線在下列條件成立處相交：

$$
C_+=C_-=0.
$$

相減得到：

$$
4by^2=0.
$$

由於：

$$
b\neq0,
$$

得到：

$$
y=0.
$$

接著：

$$
5x^2+2aw^2=0.
$$

在代數閉包上，這給出兩個射影交點。

在任一交點：

$$
y=0,
$$

故：

$$
\nabla C_+
=
(10x,0,4aw),
$$

以及：

$$
\nabla C_-
=
(10x,0,4aw).
$$

因此，兩條切線在兩個交點都重合。

因此：

$$
\boxed{
\mathcal C_+
\text{ 與 }
\mathcal C_-
\text{ 互為雙切}.
}
$$

這個相切性質不是從文獻敘述直接放入的。

它是從重建的方程恢復而來。

---

# 8. 交點重數

兩條平面二次曲線的總 Bézout 交數為：

$$
2\cdot2=4.
$$

重建的二次曲線具有兩個不同交點。

每個交點處，它們的切線重合。

因此，每個交點貢獻的重數至少為 $2$。

由於總數為 $4$，兩個重數都恰好是：

$$
2.
$$

因此：

$$
\boxed{
I_p(\mathcal C_+,\mathcal C_-)=2
}
$$

在兩個交點的每一點成立。

這給出精確的雙切結構。

---

# 9. Hodge 類的數值校準

已發表的週期計算，在 Hodge 格中找到類：

$$
\delta
$$

它們滿足：

$$
\delta^2=-2,
$$

以及：

$$
h\cdot\delta=2.
$$

這些是四次 K3 曲面上光滑二次曲線預期的數值不變量：

$$
\deg C=2,
$$

且由伴隨公式：

$$
C^2=-2.
$$

因此，重建的載體類型通過完整類數值閘門。

---

# 10. 逐閘門重建

此盲重建現在可完全寫成 RCHM 閘門。

## G0 — Hodge 格候選

輸入類滿足：

$$
\delta^2=-2,
\qquad
h\cdot\delta=2.
$$

候選載體類型：

$$
\text{次數為 2 的有理曲線}.
$$

---

## G1 — 週期零化子

週期計算產生：

$$
\widetilde I_{\delta,1}
=
\langle z+aw\rangle.
$$

這給出載體包絡：

$$
E_1=X\cap V(z+aw).
$$

---

## G2 — 精確係數重建

係數滿足：

$$
25a^3+4a+20=0.
$$

所以，數值週期輸出已經以代數方式重建。

---

## G3 — 環境限制

計算：

$$
X|_{z=-aw}.
$$

不假設任何載體方程。

---

## G4 — 因式分解

使用 $a$ 的最小多項式：

$$
5F_a
=
(5x^2+2aw^2)^2+40y^4.
$$

---

## G5 — 最小體擴張

引入：

$$
b^2=-10.
$$

分解：

$$
5F_a=C_+C_-.
$$

---

## G6 — 幾何可實現性

每個：

$$
\mathcal C_\pm
$$

都自動包含於：

$$
X
$$

因為它是精確環境限制的一個分支。

---

## G7 — 載體核驗

核驗：

- 次數 $2$；
- 光滑性；
- 有理性；
- 兩者互為雙切；
- 預期的 K3 數值不變量。

見證已重建。

---

# 11. 真值分離

本回合只將文獻中「平面包含一對雙切二次曲線」的敘述，作為外部驗證目標。

重建演算法本身僅獲得：

$$
\boxed{
X,
\quad
h_a,
\quad
m(a).
}
$$

它藉精確代數導出：

$$
\boxed{
C_\pm
}
$$

。

因此，相對於已發表的週期特徵，這是真正的**盲載體重建基準**。

---

# 12. 從週期到載體的壓縮

已發表的計算路徑為：

$$
X
\to
\text{週期矩陣}
\to
\text{Hodge 格}
\to
\delta
\to
\widetilde I_{\delta,1}.
$$

回合 12 從最後一個物件開始：

$$
\widetilde I_{\delta,1}.
$$

從該處開始，RCHM 閘門流程給出：

$$
\boxed{
\widetilde I_{\delta,1}
\to
\text{平面包絡}
\to
\text{環境限制}
\to
\text{因式分解}
\to
\text{二次曲線見證}.
}
$$

因此，高成本的超越步驟與低成本的精確幾何步驟清楚分開。

---

# 13. 證據定型的邊鏈

證明圖包含：

$$
X
\xrightarrow{\text{已發表的週期計算}}
h_a,
$$

$$
h_a
\xrightarrow{\text{精確代入}}
F_a,
$$

$$
(F_a,m(a))
\xrightarrow{\text{精確約化}}
(5x^2+2aw^2)^2+40y^4,
$$

$$
b^2=-10
\xrightarrow{\text{精確因式分解}}
C_+C_-,
$$

$$
C_\pm
\xrightarrow{\text{精確梯度檢驗}}
\text{光滑二次曲線},
$$

$$
(C_+,C_-)
\xrightarrow{\text{精確切線檢驗}}
\text{雙切曲線對}.
$$

不同的證據類別持續明確定型。

---

# 14. 未重算的內容

回合 12 未獨立重算：

- 5000 位數的週期矩陣；
- Hodge 格；
- Picard 秩 $14$；
- 週期平面係數的 LLL 重建；
- $102$ 條二次曲線的完整集合。

那些是已發表的結果。

新的計算從已發表、由週期導出的線性型開始，並精確重建載體對。

---

# 15. 新區別：特徵體與載體體

週期特徵平面定義於：

$$
K=\mathbb Q(a).
$$

但個別載體需要：

$$
L=K(\sqrt{-10}).
$$

因此：

$$
\boxed{
\text{特徵的體}
\neq
\text{個別見證的體}.
}
$$

特徵可能定義一個 Galois 穩定的見證集群，而不是單一見證。

這提示了一個細化的見證類型：

$$
\boxed{
\operatorname{WitnessEnsemble}
(
K,
\{W_i\},
\operatorname{Gal}(L/K)
).
}
$$

---

# 16. 見證集群

定義：

$$
\mathcal E
=
\{\mathcal C_+,\mathcal C_-\}.
$$

Galois 對合：

$$
b\mapsto-b
$$

置換下列集合的元素：

$$
\mathcal E.
$$

所以：

$$
\mathcal E
$$

即使其個別成員不在 $K$ 上定義，此集群仍在該體上定義。

這比強迫 Hodge 特徵在特徵體上重建單一載體更忠實。

因此：

$$
\boxed{
\text{一個 Hodge 特徵}
\to
\text{一個見證集群}
}
$$

可能是正確的逆向輸出。

---

# 17. 集群層級的可辨識性

回合 6 定義了載體可辨識深度。

回合 12 顯示，可辨識性必須相對於所需的物件。

次數 $1$ 的特徵，可能在 $K$ 上唯一辨識**無序二次曲線對**，即使它沒有在 $K$ 上定義任一條個別二次曲線。

因此，定義：

$$
\boxed{
\iota_{\mathrm{ens}}
}
$$

以表示見證集群的可辨識性。

可能有：

$$
\boxed{
\iota_{\mathrm{ens}}
<
\iota_{\mathrm{individual}}.
}
$$

這是對體敏感的可辨識性形式。

---

# 18. 與見證載體轉化的關係

此二次曲線對不是回合 2 意義下的載體轉化。

它展示的反而是**載體分裂**：

$$
\boxed{
\text{一個週期平面特徵}
\to
\text{兩個共軛載體分支}.
}
$$

因此，逆向重建可以分支。

圖必須允許：

$$
\text{特徵節點}
\to
\text{見證集群節點}
\to
\text{個別載體節點}.
$$

---

# 19. AMRAL 表示

建議特徵物件：

```text
period_signature:
  ambient_variety_ref
  hodge_class_ref
  degree: 1
  linear_form: z + a*w
  coefficient_field:
    generator: a
    minimal_polynomial: 25*a^3 + 4*a + 20
```

建議集群：

```text
witness_ensemble:
  base_field: Q(a)
  splitting_field: Q(a,b)
  extension_relation: b^2 + 10 = 0
  members:
    - 5*x^2 + 2*a*w^2 + 2*b*y^2
    - 5*x^2 + 2*a*w^2 - 2*b*y^2
  galois_action:
    b -> -b
  ensemble_verified: true
```

建議關係：

```text
carrier_relation:
  type: bitangent_pair
  intersection_points: 2
  local_intersection_multiplicity: 2
```

---

# 20. 可重現的精確核驗

附帶 Python 腳本以符號方式檢查：

1. 最小多項式約化：
   $$-5a^4-4a=\frac45a^2;$$
2. 限制後的四次式恆等式；
3. 添加 $b^2=-10$ 後的因式分解；
4. 由 $a$ 與 $b$ 的定義方程得到的非零性；
5. 重建二次曲線的光滑性；
6. 交集方程；
7. 兩個交點的切線梯度相等；
8. 次數及 K3 數值校準。

腳本使用模掉下列多項式的多項式約化：

$$
25a^3+4a+20
$$

以及：

$$
b^2+10.
$$

不需要浮點數運算。

---

# 21. 新原則

## 原則 A — 已發表特徵的盲重建

週期／Hodge 輸出可視為具型別的外部邊，之後載體重建可獨立且精確地進行。

---

## 原則 B — 特徵體與載體體分離

$$
\boxed{
K_{\mathrm{signature}}
\subsetneq
K_{\mathrm{carrier}}
}
$$

可能自然發生。

---

## 原則 C — 見證集群原則

Hodge 特徵正確的逆像，可能是 Galois 穩定集群，而不是單一載體。

---

## 原則 D — 載體分裂

安全重建的包絡，可能分解為多個有效的見證分支。

逆向圖應允許分支，而不是強迫唯一輸出。

---

## 原則 E — 集群可辨識性

即使個別成員需要體擴張，見證集群仍可能在特徵體上唯一重建。

---

# 22. 回合 12 結論

回合 12 使用已發表、由週期導出的特徵，完成了 RCHM Hodge 系列中首個真正的盲載體重建。

輸入：

$$
\boxed{
X:
5x^4-4x^2zw+8y^4-5z^4+4zw^3=0,
}
$$

$$
\boxed{
h_a=z+aw,
}
$$

$$
\boxed{
25a^3+4a+20=0.
}
$$

未將任何二次曲線方程作為輸入。

精確重建給出：

$$
\boxed{
5X|_{h_a}
=
\left(
5x^2+2aw^2+2by^2
\right)
\left(
5x^2+2aw^2-2by^2
\right),
}
$$

其中：

$$
\boxed{
b^2=-10.
}
$$

因此，兩個隱藏的見證為：

$$
\boxed{
\mathcal C_\pm:
\begin{cases}
z+aw=0,\\
5x^2+2aw^2\pm2by^2=0.
\end{cases}
}
$$

它們是光滑二次曲線。

它們相交於兩點。

在兩點處，它們都具有相同切線。

故它們形成一對雙切曲線，精確匹配已發表的幾何結論。

重建鏈為：

$$
\boxed{
\text{週期特徵}
\to
\text{安全平面包絡}
\to
\text{精確環境限制}
\to
\text{體擴張}
\to
\text{見證集群}
\to
\text{雙切核驗}.
}
$$

這是回合 12 的主要閉合。

---

# 參考文獻

1. Hossein Movasati、Emre Can Sertöz，**從週期重建子簇**，Rendiconti del Circolo Matematico di Palermo Series 2，70（2021），1441--1457。  
   DOI: https://doi.org/10.1007/s12215-020-00562-x  
   相關內容：第 3.1 節，尤其是命題 3.2 及二次曲線平面的重建。

2. Emre Can Sertöz，**PeriodSuite**，用於超曲面週期計算與 Hodge 格重建的公開軟體實作。  
   儲存庫：https://github.com/emresertoz/PeriodSuite