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

# RCHM × Hodge 猜想 — 研究第 21 回合
## Küchle $c5$ 祖源正規化：本原整係數繼承，以及 $K3^{[2]}$ 橋輪廓的重新出現

**狀態：** 內部研究筆記 + 精確結構驗證器  
**版本：** 第 21 回合 / v2.1  
**日期：** 2026-09-17  
**方法論基礎：** RCHM；X 層數學完備性；橋搜尋編譯器；祖源化約  
**前序回合：** RCHM × Hodge 猜想 — 第 1–20 回合  
**典範來源：** UTF-8 Markdown

---

# 0. 第 21 回合的目標

第 20 回合分離出一個操作性的秩 $24$ 塊，位於 Küchle $c5$ 四維簇之中，方法是只移除從環境 Grassmann 簇繼承、最明顯的兩個餘維二 Schubert 類。

這有助於建立 OG10 偽陽性回歸測試，但祖源資訊並不完備。

第 21 回合納入 Küchle $c5$ 五維簇的完整幾何：

$$
X^5_{\lambda,\mu},
$$

其四維簇：

$$
X^4_{\lambda,\mu,\nu}
$$

是一個光滑超平面截面。

Kuznetsov 證明，五維簇的**整係數 Chow 動機**為：

$$
\boxed{
M(X^5)
=
\mathbf 1
\oplus
\mathbf L
\oplus
(\mathbf L^2)^{\oplus4}
\oplus
(\mathbf L^3)^{\oplus4}
\oplus
\mathbf L^4
\oplus
\mathbf L^5.
}
$$

因此：

$$
\boxed{
H^4(X^5,\mathbb Z)
\simeq
\mathbb Z^4
}
$$

且四個方向全部都是 Tate／Hodge $(2,2)$ 型。

由於四維簇是超平面截面，整係數弱 Lefschetz 定理使它們在 $H^4(X^4,\mathbb Z)$ 中的像成為本原的秩 $4$ 子格。

因此，經祖源正規化的新中間塊，秩為 $22$ 而非 $24$。

---

# 1. 五維簇的動機

Kuznetsov 的定理 5.3 給出：

$$
M(X^5)
=
\mathbf 1
\oplus
\mathbf L
\oplus
(\mathbf L^2)^{\oplus4}
\oplus
(\mathbf L^3)^{\oplus4}
\oplus
\mathbf L^4
\oplus
\mathbf L^5.
$$

因此，Betti 秩為：

$$
b_0=b_2=b_8=b_{10}=1,
$$

以及：

$$
\boxed{
b_4=b_6=4.
}
$$

推論 5.4 等價地指出：

$$
\boxed{
h^{2,2}(X^5)=h^{3,3}(X^5)=4,
}
$$

其 Hodge 菱形圖為對角型。

Chow 群是自由阿貝爾群，特別是：

$$
\boxed{
CH^2(X^5)\simeq\mathbb Z^4.
}
$$

---

# 2. 超平面截面

Küchle 四維簇為：

$$
\boxed{
X^4
=
X^5\cap H_\nu.
}
$$

對一般的 $\nu$，它是光滑超平面截面。

對下列嵌入應用整係數弱 Lefschetz 定理：

$$
i:X^4\hookrightarrow X^5.
$$

在中間次數：

$$
\boxed{
i^*:
H^4(X^5,\mathbb Z)
\hookrightarrow
H^4(X^4,\mathbb Z)
}
$$

是單射，且餘核無撓。

因此，它的像：

$$
\boxed{
A_{\mathrm{inh}}
=
i^*H^4(X^5,\mathbb Z)
}
$$

是一個**本原整係數子格**，秩為：

$$
\boxed{
4.
}
$$

---

# 3. 四維簇中間上同調的無撓性

我們有短正合列：

$$
0
\to
\mathbb Z^4
\to
H^4(X^4,\mathbb Z)
\to
C
\to0,
$$

其中：

$$
C
$$

是無撓的。

因此：

$$
\boxed{
H^4(X^4,\mathbb Z)
\text{ 是無撓的}.
}
$$

由 Poincaré 對偶性，下列空間上的中間交配對：

$$
H^4(X^4,\mathbb Z)
$$

因此是一個么模整係數格。

這為未來判別形式的計算提供正確的整係數環境。

---

# 4. 完整四維簇的 Hodge 數

Küchle $c5$ 四維簇具有：

$$
\boxed{
h^{3,1}=1,
\qquad
h^{2,2}=24,
\qquad
h^{1,3}=1.
}
$$

因此：

$$
\boxed{
b_4=26.
}
$$

繼承的秩 $4$ 格，完全屬於下列型別：

$$
(2,2).
$$

---

# 5. 祖源正規化的新塊

定義有理正交新塊：

$$
\boxed{
T_{c5}
=
A_{\mathrm{inh},\mathbb Q}^{\perp}
\subset
H^4(X^4,\mathbb Q).
}
$$

因為：

$$
\operatorname{rank}A_{\mathrm{inh}}=4,
$$

我們得到：

$$
\boxed{
\operatorname{rank}T_{c5}
=
26-4
=
22.
}
$$

移除四個 $(2,2)$ 方向後，Hodge 數為：

$$
\boxed{
T_{c5,\mathbb C}:
(1,20,1).
}
$$

這是經祖源正規化的 Hodge 缺陷。

---

# 6. 為何第 20 回合看到秩 24

第 20 回合只移除了：

$$
\boxed{
\operatorname{span}
\{\sigma_2,\sigma_{1,1}\},
}
$$

也就是從下列空間立即可見的兩個餘維二類：

$$
\operatorname{Gr}(3,7).
$$

它們的精確 Gram 矩陣為：

$$
\begin{pmatrix}
20&16\\
16&14
\end{pmatrix},
$$

因此，它們形成真正的秩 $2$ 子格。

然而：

$$
\boxed{
\operatorname{rank}A_{\mathrm{inh}}=4.
}
$$

因此，五維簇幾何中存在另外兩個繼承的 Tate 方向，卻未被最直接的 Grassmann 環境平面所涵蓋。

所以，第 20 回合的秩 $24$ 物件應解讀為：

$$
\boxed{
\text{部分操作性缺陷},
}
$$

而不是完全經祖源正規化的新中間塊。

---

# 7. 不完整祖源造成的偽陽性

這產生了第二種橋的偽陽性。

### 部分視角

$$
26-2=24,
$$

因此：

$$
(1,22,1),
$$

表面上匹配 OG10：

$$
b_2=24.
$$

### 完整繼承視角

$$
26-4=22,
$$

因此：

$$
\boxed{
(1,20,1).
}
$$

所以 OG10 現在已在秩閘門失敗：

$$
\boxed{
22\neq24.
}
$$

先前以二次形式符號差異否決部分模板的結果仍有效，但更強的診斷是：

$$
\boxed{
\text{OG10 警示所依據的祖源並不完整}.
}
$$

---

# 8. 完整中間形式的符號差

對一個緊緻 Kähler 四維簇，若中間次數的 Hodge 數為：

$$
(1,24,1)
$$

則中間杯積形式的符號差為：

$$
\boxed{
(24,2).
}
$$

四個繼承類位於：

$$
H^{2,2}(X^4,\mathbb R).
$$

Hodge--Riemann 雙線性關係使此符號差分解中的實 $(2,2)$ 中間部分成為正定。

因此：

$$
\boxed{
\operatorname{sig}(A_{\mathrm{inh},\mathbb R})
=
(4,0).
}
$$

所以：

$$
\boxed{
\operatorname{sig}(T_{c5})
=
(20,2).
}
$$

使用通常的全域符號反轉，將四次 K3 型結構與權重二 Beauville--Bogomolov 格比較後：

$$
\boxed{
\operatorname{sig}(-T_{c5})
=
(2,20).
}
$$

---

# 9. $K3^{[2]}$ 本原輪廓

對一個下列型別的超凱勒四維簇：

$$
K3^{[2]}
$$

有：

$$
\boxed{
b_2=23.
}
$$

Beauville--Bogomolov 格的符號差為：

$$
\boxed{
(3,20).
}
$$

對極化的射影成員，移除一個正的極化方向後，得到本原格：

$$
H^2_{\mathrm{prim}}
$$

具有：

$$
\boxed{
\operatorname{rank}=22,
}
$$

$$
\boxed{
\operatorname{signature}=(2,20),
}
$$

以及 Hodge 數：

$$
\boxed{
(1,20,1).
}
$$

這正是下列結構的三個經祖源正規化的粗不變量：

$$
-T_{c5}.
$$

---

# 10. 結構閘門表

因此，直接的本原 $K3^{[2]}$ 模板具有：

```text
candidate:
  polarized_K3[2]_primitive_H2

rank_gate:
  PASS
  c5: 22
  K3[2]_prim: 22

Hodge_gate:
  PASS
  c5: [1,20,1]
  K3[2]_prim: [1,20,1]

real_signature_gate:
  PASS
  -c5_cup: [2,20]
  K3[2]_prim_BB: [2,20]

integral_discriminant_gate:
  UNKNOWN

geometric_realization_gate:
  UNKNOWN

algebraic_correspondence_gate:
  UNKNOWN
```

這是一個可行的橋**輪廓**，尚不是橋定理。

---

# 11. 與三次四維簇及 GM 四維簇比較

相同的粗略正規化輪廓也出現在先前的族中。

### 三次四維簇

移除 $h^2$ 後的本原中間塊：

$$
\operatorname{rank}=22,
\qquad
h=(1,20,1),
\qquad
\text{符號反轉後的符號差}=(2,20).
$$

它的典範橋為：

$$
F(X),
$$

一個 $K3^{[2]}$ 型超凱勒四維簇。

### GM 四維簇

移除兩個 Tate 方向後的消沒中間塊：

$$
\operatorname{rank}=22,
\qquad
h=(1,20,1).
$$

它的橋是雙重 EPW 六次簇，同樣屬於：

$$
K3^{[2]}
$$

型。

### Küchle $c5$

移除**完整繼承的秩 $4$ Tate 部分**之後：

$$
\boxed{
\operatorname{rank}=22,
\qquad
h=(1,20,1),
\qquad
\text{符號差}=(2,20).
}
$$

因此，經祖源正規化的編譯器將 $c5$ 放入相同的粗略橋搜尋類別。

---

# 12. 新的搜尋假說

修正後的結構假說為：

$$
\boxed{
\text{搜尋一個極化的 }K3^{[2]}\text{ 型超凱勒四維簇}
}
$$

或與其變形等價的模空間。

這比先前的一般性敘述更精確：

$$
\text{尋找某個超凱勒簇}.
$$

這也符合歷史上的期待：Küchle $c5$ 四維簇上合適的層模空間應是超凱勒的。

這項歷史期待並未被用作證明。

現在，它獲得獨立的、經祖源正規化的 Hodge 特徵支持。

---

# 13. 整係數判別閘門仍開放

僅匹配：

- 秩；
- Hodge 數；
- 實符號差；

並不足夠。

下一個精確閘門是整係數格。

設：

$$
L=H^4(X^4,\mathbb Z),
$$

為么模格。

設：

$$
A=A_{\mathrm{inh}}
$$

為本原的秩 $4$ 繼承格。

設：

$$
T=A^\perp.
$$

因為 $A$ 在么模格 $L$ 中是本原的，判別形式理論給出：

$$
\boxed{
(A_A,q_A)
\simeq
(A_T,-q_T),
}
$$

其中：

$$
A_A=A^\vee/A,
\qquad
A_T=T^\vee/T.
$$

特別是：

$$
\boxed{
|\operatorname{disc}A|
=
|\operatorname{disc}T|.
}
$$

因此，剩餘的整係數問題已化約為計算四個繼承類的 Gram／判別形式。

---

# 14. 為何秩 $2$ 矩陣不夠

第 20 回合計算了一個秩 $2$ 子格：

$$
B
\subset
A
$$

具有：

$$
\boxed{
\operatorname{disc}B=24.
}
$$

但是：

$$
\operatorname{rank}A=4.
$$

因此：

$$
\boxed{
\operatorname{disc}B
\neq
\operatorname{disc}A
}
$$

一般而言成立。

不可將行列式 $24$ 傳遞給新塊。

需要兩個尚缺的繼承生成元及其配對。

這修正了另一種可能的型別抹除錯誤。

---

# 15. 整係數格的研究目標

目前的精確任務是：

1. 為下列群選擇整係數基底：

$$
a_1,\ldots,a_4
$$

所屬群為：

$$
H^4(X^5,\mathbb Z);
$$

2. 計算：

$$
\boxed{
G_{ij}
=
\int_{X^4}
i^*a_i\cup i^*a_j
=
\int_{X^5}
a_i a_j h;
}
$$

3. 確定：

$$
\det G;
$$

4. 計算有限判別群與二次形式；

5. 與已知 $K3^{[2]}$ 格中的本原極化正交補比較。

這現在是一個有限的算術格問題。

---

# 16. 極化 $K3^{[2]}$ 的判別匹配

完整的 $K3^{[2]}$ 格為：

$$
\boxed{
\Lambda_{K3^{[2]}}
=
U^3
\oplus
E_8(-1)^2
\oplus
\langle-2\rangle.
}
$$

本原極化：

$$
v\in\Lambda_{K3^{[2]}}
$$

具有：

- 平方 $v^2=2d$；
- 整除度 $\operatorname{div}(v)$。

它的正交補：

$$
v^\perp
$$

是秩 $22$ 的格，符號差為：

$$
(2,20).
$$

一旦：

$$
T_{c5,\mathbb Z}
$$

已知，橋編譯器便可求解：

$$
\boxed{
T_{c5,\mathbb Z}
\stackrel{?}{\simeq}
v^\perp
}
$$

以搜尋可能的極化型別 $(d,\operatorname{div})$。

這會辨識出離散的超凱勒模空間目標，或否決直接的 $K3^{[2]}$ 格模板。

---

# 17. 更新後的退化詮釋

2026 年的圓錐曲線／二次曲面退化路線仍具高優先序。

但現在應要求它轉運一個秩 $22$ 塊：

$$
\boxed{
T_{c5},
}
$$

而不是部分的秩 $24$ 操作性塊。

因此，關鍵的退化問題變成：

> 特殊纖維的圓錐曲線／偶節點幾何，是否能涵蓋一個秩 $22$ 的 K3 型局部系統？

這更接近三次簇／GM 模式。

---

# 18. 更新後的扭三次曲線／模空間詮釋

歷史上的模空間候選也受到更強限制。

若四維超凱勒模空間：

$$
M
$$

從 $c5$ 上的層或有理曲線構造而來，則應測試：

$$
\boxed{
H^2_{\mathrm{prim}}(M)
\stackrel{?}{\simeq}
T_{c5}(1).
}
$$

若 $M$ 為 $K3^{[2]}$ 型，則秩與實符號差現在自動匹配。

只剩下：

- 整係數格；
- 週期；
- 對應；

這些條件。

---

# 19. Kuga--Satake 成本修正

第 20 回合使用部分的秩 $24$ 缺陷，因此得到：

$$
\dim KS=2^{22}=4,194,304.
$$

經祖源正規化後：

$$
\operatorname{rank}T_{c5}=22.
$$

因此，正確的一般備援維數為：

$$
\boxed{
\dim KS
=
2^{22-2}
=
2^{20}
=
1,048,576.
}
$$

仍然極大，但比祖源不完整的估計小四倍。

---

# 20. 祖源完備性閘門

第 21 回合促成了一個在橋匹配之前必須執行的新閘門：

$$
\boxed{
\textbf{祖源完備性閘門}.
}
$$

在將目標缺陷與外部橋格比較之前，先問：

> 是否已移除來自母幾何的全部繼承代數／Tate 方向？

若尚未：

$$
\boxed{
\text{橋的秩匹配仍是暫定的}.
}
$$

這個閘門應在下列步驟之前執行：

- 超凱勒變形型別匹配；
- Kuga--Satake 維數計算；
- 判別比較；
- 模空間維數啟發式。

---

# 21. 兩類偽陽性

c5 實驗現在展示兩種不同的失敗模式。

## FP-A — 不完整祖源造成的秩混疊

部分扣除給出：

$$
(1,22,1),
\quad
r=24,
$$

產生 OG10 警示。

完整的祖源扣除給出：

$$
(1,20,1),
\quad
r=22.
$$

候選在秩閘門被否決。

---

## FP-B — 二次形式混疊

即使在祖源修正之前，部分的秩 $24$ 塊，其實符號差也與 OG10 不相容。

因此，候選也在二次形式閘門被否決。

同一個錯誤候選因此可能有多份相互獨立的否決證書。

這是有價值的圖資訊。

---

# 22. 橋搜尋前沿 v2

經祖源正規化後：

## 活躍候選 A — $K3^{[2]}$ 本原橋

```text
rank: PASS
Hodge: PASS
real_signature: PASS
integral_lattice: UNKNOWN
geometry: UNKNOWN
correspondence: UNKNOWN
priority: HIGH
```

## 活躍候選 B — 退化／偶節點

```text
target_rank: 22
special_fiber_geometry: ACTIVE
monodromy: UNKNOWN
invariant_cycles: UNKNOWN
hyperkahler_endpoint: UNKNOWN
priority: HIGH
```

## 活躍候選 C — 層／曲線模空間

```text
expected_dimension: 4 candidate desired
K3[2]_type: plausible target
actual_construction: UNKNOWN
Abel-Jacobi/Hodge map: UNKNOWN
priority: HIGH
```

## 支架 — Lagrange Grassmann 簇

```text
birational_geometry: PASS
new_block_transfer: UNKNOWN
priority: MEDIUM
```

## 備援 — Kuga--Satake

```text
dimension: 1048576
correspondence: UNKNOWN
priority: LOW
```

---

# 23. 第 21 回合結論

第 21 回合修正了 Küchle $c5$ 的第一版格正規化。

關鍵的已發表輸入是五維簇的整係數動機：

$$
\boxed{
M(X^5)
=
1
\oplus L
\oplus(L^2)^4
\oplus(L^3)^4
\oplus L^4
\oplus L^5.
}
$$

因此：

$$
\boxed{
H^4(X^5,\mathbb Z)\simeq\mathbb Z^4
}
$$

且完全由 Tate 類組成。

由於四維簇是光滑超平面截面，整係數弱 Lefschetz 定理給出本原嵌入：

$$
\boxed{
\mathbb Z^4
\hookrightarrow
H^4(X^4,\mathbb Z).
}
$$

因此，經祖源正規化的新塊具有：

$$
\boxed{
\operatorname{rank}=22,
}
$$

$$
\boxed{
h=(1,20,1),
}
$$

以及符號反轉後的實符號差：

$$
\boxed{
(2,20).
}
$$

這在秩閘門排除了 OG10 直接模板。

同時，它啟用一個更強的候選輪廓：

$$
\boxed{
T_{c5}(1)
\sim
H^2_{\mathrm{prim}}
(\text{極化的 }K3^{[2]}\text{ 型四維簇}).
}
$$

秩、Hodge 數與實符號差全部匹配。

剩餘的決定性測試現在是整係數層面的：

$$
\boxed{
\text{計算完整的秩 $4$ 繼承 Gram 格}
}
$$

並將其正交補的判別形式，與下列格中的本原極化正交補比較：

$$
\Lambda_{K3^{[2]}}.
$$

修正後的全域教訓是：

$$
\boxed{
\text{祖源完備性必須先於橋型別辨識}.
}
$$

這是第 21 回合的主要閉合。

---

# 參考文獻

1. Alexander Kuznetsov, **Küchle fivefolds of type c5**, Mathematische Zeitschrift 284 (2016), 1245--1278.  
   定理 5.3：整係數 Chow 動機  
   $$M(X^5)=1\oplus L\oplus(L^2)^4\oplus(L^3)^4\oplus L^4\oplus L^5.$$  
   推論 5.4：對角型 Hodge 菱形圖，且 $h^{2,2}=4$。  
   第 5.1 節：Küchle 四維簇是五維簇的超平面截面。

2. 光滑超平面截面的整係數弱 Lefschetz 定理：在中間次數，限制映射是單射，且餘核無撓。

3. 用於緊緻 Kähler 四維簇中間上同調符號差的標準 Hodge--Riemann 雙線性關係。

4. 對 $K3^{[2]}$ 型：  
   $$H^2\simeq U^3\oplus E_8(-1)^2\oplus\langle-2\rangle,$$  
   秩為 $23$，Beauville--Bogomolov 符號差為 $(3,20)$。

5. 第 20 回合的精確局部化結果：可見的 Grassmann 秩 $2$ 子格具有 Gram 矩陣  
   $$\begin{pmatrix}20&16\\16&14\end{pmatrix}.$$  
   這仍然有效，但只是完整繼承的秩 $4$ 部分的一個子格。