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

# RCHM × Hodge 猜想 — 研究回合 7
## 以光滑四次曲面上的扭三次曲線進行閉環載體重建實驗

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

---

# 0. 回合 7 目標

前序回合發展出愈來愈完整的載體推論架構：

$$
\text{關係}
\to
\text{特徵}
\to
\text{逆向載體纖維}
\to
\text{幾何可實現性}
\to
\text{經核驗的見證}.
$$

回合 7 測試此架構能否完成一個具體的閉環。

實驗使用一條扭三次曲線：

$$
T\subset\mathbb P^3
$$

它包含於一個光滑四次曲面：

$$
X\subset\mathbb P^3.
$$

這個選擇是刻意的。

對於包含在光滑四次曲面中的扭三次曲線 $T$，其曲面為 $X$，Cifani--Pirola--Schlesinger 證明，$T$ 在概形論上由其本原類所關聯 Hodge 零化子理想中的二次式切出。因此：

$$
\boxed{
I_{\alpha(T,X),2}
=
I_{T,2}.
}
$$

這讓我們能單獨測試流程中的逆向重建部分，而不假裝本回合獨立重算了超越週期積分。

---

# 1. 標準扭三次曲線

使用齊次座標：

$$
[x:y:z:w]
$$

所在空間為：

$$
\mathbb P^3.
$$

定義：

$$
q_1
=
xz-y^2,
$$

$$
q_2
=
xw-yz,
$$

$$
q_3
=
yw-z^2.
$$

於是：

$$
\boxed{
I_T
=
(q_1,q_2,q_3).
}
$$

這些是下列矩陣的 $2\times2$ 子式：

$$
M
=
\begin{pmatrix}
x&y&z\\
y&z&w
\end{pmatrix}.
$$

標準參數化為：

$$
\nu_3:
\mathbb P^1
\to
\mathbb P^3,
$$

$$
[s:t]
\mapsto
[s^3:s^2t:st^2:t^3].
$$

代入得到：

$$
q_i\circ\nu_3=0
$$

對於：

$$
i=1,2,3.
$$

因此，載體類型為：

$$
\boxed{
\text{光滑有理正規三次曲線}.
}
$$

---

# 2. 構造包含 $T$ 的明確四次曲面

選取三個二次型：

$$
\begin{aligned}
Q_1={}&
-2w^2-wx-2wy-2wz
+2x^2-xy+2xz+y^2-yz,
\end{aligned}
$$

$$
\begin{aligned}
Q_2={}&
w^2-2wx-wz
-2x^2-xy+2xz
+2y^2-2yz+z^2,
\end{aligned}
$$

以及：

$$
\begin{aligned}
Q_3={}&
-2w^2-2wx+wy-2wz
+2x^2-xy-xz
+2y^2-2yz-2z^2.
\end{aligned}
$$

定義四次多項式：

$$
\boxed{
f
=
q_1Q_1+q_2Q_2+q_3Q_3.
}
$$

令：

$$
X=V(f)\subset\mathbb P^3.
$$

由於：

$$
f\in I_T,
$$

立即有：

$$
\boxed{
T\subset X.
}
$$

這部分是精確且符號性的。

---

# 3. 光滑性核驗

因為 $f$ 是特徵零之上的齊次多項式，射影奇異點必須是下列偏導數的一個非零共同零點：

$$
\frac{\partial f}{\partial x},
\qquad
\frac{\partial f}{\partial y},
\qquad
\frac{\partial f}{\partial z},
\qquad
\frac{\partial f}{\partial w}.
$$

為排除所有非零的射影解，以四個仿射座標圖覆蓋：

$$
\mathbb P^3
$$

其座標圖為：

$$
x=1,
\qquad
y=1,
\qquad
z=1,
\qquad
w=1.
$$

對每個座標圖變數 $u$，計算下列理想的 Gröbner 基：

$$
J_u
=
\left(
f_x,f_y,f_z,f_w,u-1
\right).
$$

本回合所附的可重現 SymPy 計算，在所有四個座標圖中都回傳單位理想：

$$
J_x=(1),
$$

$$
J_y=(1),
$$

$$
J_z=(1),
$$

$$
J_w=(1).
$$

因此，不存在非零的射影梯度零點。

所以：

$$
\boxed{
X\text{ 是光滑四次曲面。}
}
$$

這是精確的有理符號計算，不是浮點數測試。

---

# 4. 已知真值載體

因此，已知真值見證為：

$$
T\subset X,
$$

且：

$$
T
=
V(q_1,q_2,q_3).
$$

現在，我們在概念上隱藏此載體，只保留重建定理所需的 Hodge 類側特徵。

---

# 5. 文獻支持的 Hodge 重建步驟

令：

$$
\alpha(T,X)
$$

為與曲線 $T$ 在四次曲面 $X$ 中相關的本原 Hodge 類。

Cifani--Pirola--Schlesinger 證明，扭三次曲線是 ACM 曲線，且有：

$$
s(T)=2,
\qquad
e(T)=-1,
$$

並且當這類曲線位於光滑四次曲面上時，在概形論上由下列理想中的二次式切出：

$$
I_{\alpha(T,X)}.
$$

故：

$$
\boxed{
I_{\alpha(T,X),2}
=
I_{T,2}.
}
$$

對我們的標準載體：

$$
I_{T,2}
=
\operatorname{span}
\{q_1,q_2,q_3\}.
$$

這是閉環中由定理提供，而不是新重算週期積分的那一步。

---

# 6. 提供給逆向求解器的特徵

提供給逆向求解器的深度 $2$ 載體特徵為：

$$
\boxed{
U
=
\operatorname{span}
\left\{
xz-y^2,\;
xw-yz,\;
yw-z^2
\right\}
\subset
S_2.
}
$$

其維度為：

$$
\dim U=3.
$$

逆問題現在是：

> 僅給定三維二次式子空間 $U$，重建載體。

---

# 7. 恢復行列式結構

三個二次式可被辨識為：

$$
2\times2
$$

子式，所屬矩陣為：

$$
M
=
\begin{pmatrix}
x&y&z\\
y&z&w
\end{pmatrix}.
$$

明確地：

$$
\det
\begin{pmatrix}
x&y\\
y&z
\end{pmatrix}
=
xz-y^2
=
q_1,
$$

$$
\det
\begin{pmatrix}
x&z\\
y&w
\end{pmatrix}
=
xw-yz
=
q_2,
$$

以及：

$$
\det
\begin{pmatrix}
y&z\\
z&w
\end{pmatrix}
=
yw-z^2
=
q_3.
$$

因此，逆向特徵辨識出 Hankel 矩陣 $M$ 的秩一軌跡。

---

# 8. 恢復參數化

秩一表示兩行成比例。

所得射影軌跡為三次 Veronese 像：

$$
[s:t]
\mapsto
[s^3:s^2t:st^2:t^3].
$$

故重建後的載體為：

$$
\boxed{
T_{\mathrm{rec}}
=
V(U)
=
\nu_3(\mathbb P^1).
}
$$

因此：

$$
\boxed{
T_{\mathrm{rec}}
=
T.
}
$$

逆向纖維已縮減為預期的載體概形。

---

# 9. 本實驗中的載體可辨識深度

使用回合 6 的語言：

### 僅有類的深度

此處並未將本原類本身視為可直接解碼的幾何方程。

因此：

$$
|\mathfrak F_0|
$$

並不假設為一。

### 二次零化子深度

定理給出：

$$
I_{\alpha(T,X),2}
=
I_{T,2}.
$$

次數為 $2$ 的部分生成扭三次曲線的理想。

因此：

$$
\boxed{
\mathfrak F_2
=
\{[T]\}.
}
$$

對於此處選用的特徵階層：

$$
\boxed{
\iota(T)\le2.
}
$$

確切的數值標籤取決於特徵層級如何編號，但結構性敘述不變：

> 二次 Hodge 零化子資料已足以唯一重建載體概形。

---

# 10. 幾何純粹性

重建成功，是因為相關的二次零化子部分具有足夠的幾何純粹性，可與實際的二次載體理想一致：

$$
I_{\alpha(T,X),2}
=
I_{T,2}.
$$

這比僅有下列包含關係更強：

$$
I_{T,2}
\subseteq
I_{\alpha(T,X),2}.
$$

因此，扭三次曲線情形校準了有利範圍：

$$
\boxed{
\text{可辨識}
+
\text{可實現}
+
\text{在重建次數上幾何純粹}.
}
$$

---

# 11. 閉環核驗

完整的環為：

$$
\boxed{
T
\to
[T]
\to
\alpha(T,X)
\to
I_{\alpha(T,X),2}
\to
V(I_{\alpha(T,X),2})
\to
T_{\mathrm{rec}}.
}
$$

對本實驗：

$$
\boxed{
T_{\mathrm{rec}}=T.
}
$$

將此環拆分為不同證據類型：

### 本回合以計算核驗

$$
T\subset X,
$$

$$
X\text{ 光滑},
$$

$$
\dim I_{T,2}=3,
$$

且三個二次式具有扭三次曲線的行列式形式。

### 由既有重建理論提供

$$
I_{\alpha(T,X),2}=I_{T,2}.
$$

### 標準代數幾何辨識

$$
V(I_{T,2})
=
\text{標準扭三次曲線}.
$$

各步驟刻意保持區分。

---

# 12. 為何這真正測試了 RCHM 的逆向架構

此實驗刻意保持簡單。

它沒有解決 Hodge 猜想的新情形。

它的作用是測試回合 6 的載體逆向架構，是否具有一個所有階段皆可閉合的非平凡域。

確實具有。

程序為：

$$
\boxed{
\text{Hodge 特徵}
\to
\text{候選理想}
\to
\text{載體類型}
\to
\text{實際載體}
\to
\text{符號核驗}.
}
$$

因此，此架構至少在已知可重建範圍內具有操作意義。

---

# 13. 陰性對照：光滑有理四次曲線

有效的重建框架也需要一個失敗情形。

Cifani--Pirola--Schlesinger 證明，對於光滑有理四次曲線：

$$
C\subset S,
$$

其中：

$$
S\subset\mathbb P^3
$$

是光滑四次曲面，仍有：

$$
\boxed{
I_{\alpha(C),2}
=
I_{C,2}.
}
$$

然而，該類在層級 $3$ 並不完美。

因此：

$$
\boxed{
\text{正確的低次重建}
\not\Rightarrow
\text{完整特徵理想具有幾何純粹性}.
}
$$

這是針對樸素單調性假設所需的陰性對照。

---

# 14. 陽性與陰性校準對

因此，兩種載體族給出：

## 扭三次曲線

$$
\boxed{
\text{二次特徵}
\to
\text{載體重建}
}
$$

並伴隨 ACM 曲線的強完美性行為。

## 有理四次曲線

$$
\boxed{
\text{二次特徵}
\to
\text{部分載體重建},
}
$$

但：

$$
\boxed{
\text{更高層特徵}
\not\to
\text{以樸素方式得到更純粹的載體理想}.
}
$$

它們共同校準了回合 6 的兩個獨立軸：

$$
\boxed{
\text{可辨識性}
\neq
\text{幾何純粹性}.
}
$$

---

# 15. 重建憑證

對 AMRAL，成功的逆向重建應產生一份憑證。

對本實驗：

```text
carrier_certificate:
  ambient_space: P3
  ambient_surface_degree: 4
  surface_smooth: true
  carrier_type: twisted_cubic
  carrier_degree: 3
  carrier_genus: 0
  reconstruction_level: 2
  signature_dimension: 3
  carrier_generators:
    - x*z - y^2
    - x*w - y*z
    - y*w - z^2
  containment_verified: true
  reconstruction_theorem: CPS_Theorem_1_1 / Remark_4_2
  symbolic_verification: true
```

憑證區分定理支持的連結與新計算的連結。

---

# 16. 可重現的四次測試曲面

曲面的典範表示為：

$$
f=q_1Q_1+q_2Q_2+q_3Q_3.
$$

就來源沿革而言，此表示比完全展開的四次式更合適，因為它使得：

$$
T\subset X
$$

立即可知。

所附 Python 驗證器也在內部展開 $f$，並測試所有四個射影座標圖。

---

# 17. 精確核驗協定

附帶腳本執行：

### V1 — 扭三次曲線參數化

檢查：

$$
q_i(s^3,s^2t,st^2,t^3)=0.
$$

### V2 — 載體生成元的秩

檢查：

$$
q_1,q_2,q_3
$$

在 $S_2$ 中線性獨立。

### V3 — 曲面包含關係

檢查：

$$
f\circ\nu_3=0.
$$

### V4 — 齊次性

檢查：

$$
\deg f=4.
$$

### V5 — 光滑性

對每個：

$$
u\in\{x,y,z,w\},
$$

檢查：

$$
1\in(f_x,f_y,f_z,f_w,u-1).
$$

### V6 — 行列式重建

檢查三個二次式與下列矩陣的子式一致：

$$
M.
$$

---

# 18. 未計算的內容

為避免過度聲稱，本回合**沒有**以數值方式計算：

- 此明確四次曲面的週期；
- 定義 Hodge 特徵的超越積分；
- Picard 秩；
- 完整 Hodge 格；
- 扭三次曲線重建定理的新證明。

本回合改以定理支持的特徵等式，測試逆向載體重建流程。

這個區別是 X 層來源沿革完備性的一部分。

---

# 19. 新的 RCHM 原則：定理橋接的閉環

計算實驗可以包含一個形式上已辨識的定理橋梁。

寫成：

$$
A
\xrightarrow{\mathrm{compute}}
B
\xrightarrow{\mathrm{theorem}}
C
\xrightarrow{\mathrm{compute}}
D.
$$

若橋接定理的來源已明確列出，且其假設已核驗，則完整流程仍然有效。

因此：

$$
\boxed{
\text{閉環}
\neq
\text{每條箭頭都必須重新以數值計算}.
}
$$

重要的是每條箭頭都有具型別的證據來源。

---

# 20. 證據定型的邊

本回合的圖至少包含四種邊類型：

$$
\operatorname{SymbolicallyVerified},
$$

$$
\operatorname{TheoremGuaranteed},
$$

$$
\operatorname{StandardIdentification},
$$

$$
\operatorname{ConstructedByDesign}.
$$

這正是圖原生數學應保留邊類型的原因。

單純的箭頭：

$$
A\to B
$$

會抹去這些步驟之間的認知狀態差異。

---

# 21. 下一步實驗升級

扭三次曲線是有利情形。

下一批有用的實驗應分階段提高難度。

### 階段 A — 有理四次曲線陰性對照

測試在幾何純粹性失敗前，正確的二次重建能維持到何種程度。

### 階段 B — 載體別名

使用一階特徵模仿另一載體類型的虛假線性循環範圍。

### 階段 C — 載體轉化

從一個由某類載體表示的類開始，變形成另一種見證載體。

### 階段 D — 未知見證範圍

只有在重建機制通過 A--C 後，才應將它作為搜尋啟發式，用於代數見證未知的 Hodge 猜想情形。

---

# 22. 回合 7 結論

回合 7 完成首個明確的 RCHM 載體重建閉環。

實驗構造了一個光滑四次曲面：

$$
X\subset\mathbb P^3
$$

包含一條標準扭三次曲線：

$$
T\subset X.
$$

已知的 Hodge 重建理論給出：

$$
I_{\alpha(T,X),2}
=
I_{T,2}.
$$

二次特徵為：

$$
\operatorname{span}
\left\{
xz-y^2,
xw-yz,
yw-z^2
\right\}.
$$

其共同零點軌跡重建出行列式扭三次曲線：

$$
\boxed{
T_{\mathrm{rec}}=T.
}
$$

因此，載體逆向架構不僅僅是描述性的。

它在一個已知可重建情形中，支持完整的定理橋接計算閉環。

關鍵的方法論成果是：

$$
\boxed{
\text{特徵}
\to
\text{具型別的逆向纖維}
\to
\text{可實現性}
\to
\text{符號載體憑證}.
}
$$

陰性對照的有理四次曲線結果，同時確認：

$$
\boxed{
\text{成功的低次辨識}
\not\Rightarrow
\text{不受限制的幾何純粹性}.
}
$$

這是回合 7 的主要閉合。

---

# 參考文獻

1. Maria Gioia Cifani、Gian Pietro Pirola、Enrico Schlesinger，**從 Hodge 類重建曲線**，Rendiconti del Circolo Matematico di Palermo Series 2，72（2023），945--958。  
   arXiv: https://arxiv.org/abs/2104.05576  
   DOI: https://doi.org/10.1007/s12215-021-00704-9

2. Hossein Movasati、Emre Can Sertöz，**從週期重建子簇**，Rendiconti del Circolo Matematico di Palermo Series 2，70（2021），1441--1457。  
   arXiv: https://arxiv.org/abs/1908.03221  
   DOI: https://doi.org/10.1007/s12215-020-00562-x