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

# RCHM × Hodge 猜想 — 研究第 24 回合
## Küchle $c5$：例外扭轉修正、精確飽和化、$A_1\oplus A_3$ 繼承格，以及直接整係數 $K3^{[2]}$ 模板的失敗

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

---

# 0. 第 24 回合的目標

第 22--23 回合辨識出一個六次 del Pezzo 根部分，並嘗試透過 Kuznetsov 雙重吹起模型的右側例外除子，計算其交形式。

全域秩一致性測試揭露：某個叢類被錯誤地抹除了型別。

錯誤在於將：

$$
v_{\bar E}=h
$$

視為能推出

$$
c_1(N_{\bar E/\widetilde X})=-h.
$$

這是錯的。

射影叢的相對超平面類，與吹起的例外法叢類，相差一個來自底空間的扭轉。

第 24 回合修正此錯誤，重算根 Gram 矩陣，確定顯式秩 $4$ 子格的精確指數，辨識飽和的繼承格，並執行完整的整係數 $K3^{[2]}$ 判別形式閘門。

---

# 1. 正確的例外法叢類

Kuznetsov 的 Picard 關係為：

$$
\boxed{
\bar h=h-e,
}
$$

$$
\boxed{
\bar e=h-2e,
}
$$

等價地：

$$
\boxed{
\bar e=2\bar h-h.
}
$$

在：

$$
\bar E=\mathbb P_Z(\mathcal V_Z),
$$

我們有：

$$
\boxed{
v_{\bar E}=h,
}
$$

而在 $Z$ 上：

$$
\boxed{
\bar h=v_Z+\bar h_1+\bar h_2.
}
$$

因此：

$$
\boxed{
c_1(N_{\bar E/\widetilde X})
=
\bar e|_{\bar E}
=
2(v_Z+\bar h_1+\bar h_2)-h.
}
$$

這才是例外自交中必須使用的法叢類。

---

# 2. 為何舊識別無效

射影化：

$$
\bar E\simeq\mathbb P_Z(\mathcal V_Z)
$$

在下列叢：

$$
\mathcal V_Z
$$

與線叢取張量積時不變。

但相對的：

$$
\mathcal O_{\mathbb P(\mathcal V_Z)}(1)
$$

會因該線叢的拉回而改變。

因此：

$$
\boxed{
\text{相對超平面}
\neq
-\text{例外法叢}
}
$$

除非所選的射影叢呈現已作相應正規化。

這是一個叢扭轉的型別錯誤。

---

# 3. 修正後的例外配對

設：

$$
s=\bar h_1+\bar h_2,
$$

並寫成：

$$
\xi=h|_{\bar E}.
$$

Kuznetsov 的 Grothendieck 關係為：

$$
\boxed{
\xi^2
=
(3v_Z+2s)\xi
-
4v_Zs.
}
$$

因此：

$$
\bar p_*(\xi)=1,
$$

以及：

$$
\boxed{
\bar p_*(\xi^2)
=
3v_Z+2s.
}
$$

對：

$$
\gamma_\eta
=
\bar j_*\bar p^*\eta,
$$

我們得到：

$$
\begin{aligned}
\langle\gamma_\eta,\gamma_\theta\rangle_h
&=
\int_{\bar E}
\eta\theta
\left(
2(v_Z+s)-\xi
\right)\xi\\
&=
\int_Z
\eta\theta
\left(
2(v_Z+s)-(3v_Z+2s)
\right).
\end{aligned}
$$

因此：

$$
\boxed{
\langle\gamma_\eta,\gamma_\theta\rangle_h
=
-\int_Z
\eta\theta\,v_Z.
}
$$

這取代第 22 回合錯誤的因子：

$$
-3.
$$

---

# 4. 修正後的根 Gram 矩陣

對根類：

$$
r_1=E_1-E_2,
$$

$$
r_2=E_2-E_3
$$

在六次 del Pezzo 曲面上：

$$
(r_i\cdot r_j)
=
\begin{pmatrix}
-2&1\\
1&-2
\end{pmatrix}.
$$

由於：

$$
\sigma_*(v_Z)=1,
$$

修正後的例外配對為：

$$
\boxed{
G_{\mathrm{root}}
=
-
(r_i\cdot r_j)
=
\begin{pmatrix}
2&-1\\
-1&2
\end{pmatrix}.
}
$$

因此，下降後的根部分為：

$$
\boxed{
A_2
}
$$

其行列式為：

$$
\boxed{
3.
}
$$

---

# 5. 使用 $v_Z$ 的全域回歸檢查

同一個公式給出：

$$
\langle\gamma_{v_Z},\gamma_{v_Z}\rangle_h
=
-\int_Zv_Z^3.
$$

因為：

$$
v_Z^2=-\bar h_1\bar h_2
$$

以及：

$$
\bar h_1\bar h_2=2,
$$

我們有：

$$
\int_Zv_Z^3=-2.
$$

因此：

$$
\boxed{
\langle\gamma_{v_Z},\gamma_{v_Z}\rangle_h=2.
}
$$

這正是下列類的自交：

$$
[F]
=
\sigma_2-\sigma_{1,1}.
$$

揭露舊法叢類錯誤的全域矛盾消失了。

---

# 6. 重新核驗的下降映射

下降障礙在左側例外除子上計算：

$$
E=\mathbb P_F(\mathcal V_F).
$$

在那裡：

$$
\boxed{
v_E=-e
}
$$

在所選呈現中，確實等於例外法叢類的負值。

因此，左側吹起的投影算子仍有效。

映射：

$$
N:
\operatorname{Pic}(Z)
\to
\operatorname{Pic}(F)
$$

由例外交接誘導，可獨立重算。

在六次 del Pezzo 底空間上：

$$
N(\bar h_1)=2h_1+h_2,
$$

$$
N(\bar h_2)=h_1+2h_2,
$$

以及：

$$
\boxed{
N(r_1)=N(r_2)=0.
}
$$

此外：

$$
\boxed{
N(v_Z)=0.
}
$$

因此：

$$
\boxed{
\ker N
=
\mathbb Zv_Z
\oplus
A_2(-1).
}
$$

根的下降結論在修正後仍成立。

---

# 7. 完整 del Pezzo Picard 群上的滿射性

格：

$$
\langle
\bar h_1,\bar h_2,r_1,r_2
\rangle
$$

的指數為：

$$
3
$$

所在群為：

$$
\operatorname{Pic}(S).
$$

例如：

$$
\boxed{
E_1
=
\frac{
2\bar h_1-\bar h_2+2r_1+r_2
}{3}.
}
$$

應用 $N$ 得到：

$$
\boxed{
N(E_1)=h_1.
}
$$

同樣，完整 Picard 格滿射到：

$$
\operatorname{Pic}(F).
$$

因此：

$$
\boxed{
0
\to
A_2(-1)
\to
\operatorname{Pic}(S)
\to
\operatorname{Pic}(F)
\to
0
}
$$

在格層面正合，而 $v_Z$ 方向在 $\operatorname{Pic}(Z)$ 中給出另一個核方向。

---

# 8. 修正後的顯式秩 $4$ 子格

可見的 Grassmann 塊仍為：

$$
G_{\mathrm{vis}}
=
\begin{pmatrix}
20&16\\
16&14
\end{pmatrix},
$$

其行列式為：

$$
24.
$$

修正後、已下降的根塊為：

$$
G_{\mathrm{root}}
=
\begin{pmatrix}
2&-1\\
-1&2
\end{pmatrix},
$$

其行列式為：

$$
3.
$$

交叉配對消失。

因此：

$$
\boxed{
G_0
=
\begin{pmatrix}
20&16&0&0\\
16&14&0&0\\
0&0&2&-1\\
0&0&-1&2
\end{pmatrix}.
}
$$

它的行列式為：

$$
\boxed{
\det G_0
=
72.
}
$$

---

# 9. 右側底空間生成元

設：

$$
\bar X
$$

為下列空間的光滑超平面截面：

$$
LG(3,6)
$$

出現在右側吹起圖中。

Kuznetsov 證明：

$$
\boxed{
CH^2(\bar X)\simeq\mathbb Z
}
$$

且可取：

$$
\boxed{
\alpha
=
c_2(\bar{\mathcal U}_3)
}
$$

作為生成元。

對 Lagrangian 同義叢（tautological bundle）：

$$
0
\to
\bar{\mathcal U}_3
\to
V\otimes\mathcal O
\to
\bar{\mathcal U}_3^\vee
\to
0,
$$

二次 Chern 關係給出：

$$
\boxed{
\bar h^2=2\alpha.
}
$$

由於：

$$
\deg LG(3,6)=16,
$$

在它的超平面截面上有：

$$
\boxed{
\int_{\bar X}
\alpha\bar h^3
=
8.
}
$$

---

# 10. $\sigma_{1,1}$ 的投影係數

為確定顯式子格的整係數指數，計算下列類的係數：

$$
\sigma_{1,1}
$$

所沿方向為：

$$
CH^2(\bar X)=\mathbb Z\alpha.
$$

由於：

$$
\bar h=h-e,
$$

我們有：

$$
\begin{aligned}
\int_{\widetilde X}
\pi^*\sigma_{1,1}\bar h^3
&=
\int_{\widetilde X}
\pi^*\sigma_{1,1}(h-e)^3.
\end{aligned}
$$

對左側餘維二吹起：

$$
\pi_*e=0,
$$

$$
\pi_*e^2=-[F].
$$

此外：

$$
c_1(N_{F/X})=0,
$$

所以三次例外修正沒有貢獻。

第 20--22 回合給出：

$$
\int_X\sigma_{1,1}h^3=30,
$$

以及：

$$
\int_F\sigma_{1,1}h=2.
$$

因此：

$$
\boxed{
\int_{\widetilde X}
\pi^*\sigma_{1,1}\bar h^3
=
30-3(2)
=
24.
}
$$

所以它在右側底空間的係數為：

$$
\boxed{
24/8=3.
}
$$

---

# 11. $\sigma_2$ 的相同係數

同樣地：

$$
\int_X\sigma_2h^3=36,
$$

以及：

$$
\int_F\sigma_2h=4.
$$

因此：

$$
\boxed{
\int_{\widetilde X}
\pi^*\sigma_2\bar h^3
=
36-3(4)
=
24.
}
$$

所以：

$$
\boxed{
\sigma_2
\mapsto
3\alpha
}
$$

以及：

$$
\boxed{
\sigma_{1,1}
\mapsto
3\alpha
}
$$

在右側底空間商群中成立。

因此：

$$
\boxed{
\sigma_2-\sigma_{1,1}
}
$$

完全位於右側例外核中，與它被識別為 $v_Z$ 方向一致。

---

# 12. 顯式秩 $4$ 子格的精確指數

右側吹起分解給出一個秩 $6$ 的群：

$$
CH^2(\bar X)
\oplus
\operatorname{Pic}(Z).
$$

左側例外投影滿射到：

$$
\operatorname{Pic}(F).
$$

它的核為：

$$
CH^2(X).
$$

在核中：

- $v_Z$ 方向由下式表示
  $$
  \sigma_2-\sigma_{1,1};
  $$
- 兩個 $A_2$ 根方向精確下降；
- 除去這三個核方向後的商群，是自由的秩 $1$ 群，可由 $\alpha$ 係數偵測。

由於：

$$
\sigma_{1,1}
$$

具有係數：

$$
3
$$

在該商群中，因此顯式四類格的精確指數為：

$$
\boxed{
[
CH^2(X):
L_0
]
=
3.
}
$$

---

# 13. 飽和後的行列式

因此：

$$
\boxed{
|\det L_{\mathrm{inh}}|
=
\frac{
|\det G_0|
}{
3^2
}
=
\frac{72}{9}
=
8.
}
$$

這現在是精確的飽和後行列式。

先前的數值：

$$
648
$$

以及通往下列暫定值的路線：

$$
72
$$

都是錯誤的右側例外法叢類所造成的產物。

---

# 14. 唯一的整係數指數 $3$ 上格

下列格的判別群：

$$
L_0
$$

具有 Smith 不變量：

$$
\boxed{
(1,1,6,12).
}
$$

為構造整係數指數 $3$ 的上格，尋找：

$$
x\in
L_0^\vee/L_0
$$

其階為 $3$，且滿足：

$$
(x,x)\in\mathbb Z.
$$

模掉交換 $A_2$ 的兩個單根的對稱後，唯一可能的子群由下式生成：

$$
\boxed{
g
=
\frac{
e_1+e_2+e_3+2e_4
}{3},
}
$$

其中：

$$
(e_1,e_2)
$$

是可見基底向量，而：

$$
(e_3,e_4)
$$

是根基底向量。

它的範數為：

$$
\boxed{
(g,g)=8.
}
$$

因此，飽和格是此型別唯一的整係數指數 $3$ 上格。

---

# 15. 顯式飽和 Gram 矩陣

使用基底：

$$
e_1,
\quad
e_2,
\quad
e_4,
\quad
g,
$$

飽和 Gram 矩陣為：

$$
\boxed{
G_{\mathrm{inh}}
=
\begin{pmatrix}
20&16&0&12\\
16&14&0&10\\
0&0&2&1\\
12&10&1&8
\end{pmatrix}.
}
$$

它的行列式為：

$$
\boxed{
8.
}
$$

它的 Smith 標準形為：

$$
\boxed{
\operatorname{diag}(1,1,2,4).
}
$$

因此：

$$
\boxed{
A_{L_{\mathrm{inh}}}
\simeq
\mathbb Z/2
\oplus
\mathbb Z/4.
}
$$

---

# 16. 識別為 $A_1\oplus A_3$

存在么模基底變換，將：

$$
G_{\mathrm{inh}}
$$

變為：

$$
\boxed{
A_1
\oplus
A_3,
}
$$

即變為：

$$
\boxed{
\begin{pmatrix}
2&0&0&0\\
0&2&-1&0\\
0&-1&2&-1\\
0&0&-1&2
\end{pmatrix}.
}
$$

因此：

$$
\boxed{
L_{\mathrm{inh}}
\simeq
A_1\oplus A_3.
}
$$

這辨識出完整的本原繼承秩 $4$ 格。

---

# 17. 對困難正交補的影響

設：

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

配備其中間交形式。

由整係數弱 Lefschetz 定理：

$$
L_{\mathrm{inh}}
\hookrightarrow
L
$$

是本原的。

由於四維簇的中間上同調無撓，Poincaré 對偶性使：

$$
L
$$

成為么模。

設：

$$
T_{c5}
=
L_{\mathrm{inh}}^\perp.
$$

則判別形式理論給出：

$$
\boxed{
(A_{T_{c5}},q_{T_{c5}})
\simeq
(A_{L_{\mathrm{inh}}},-q_{L_{\mathrm{inh}}}).
}
$$

經用於將 Tate 扭轉後的次數 $4$ 結構，與 Beauville--Bogomolov 權重 $2$ 格比較的全域符號反轉後：

$$
\boxed{
q_{-T_{c5}}
\simeq
q_{L_{\mathrm{inh}}}.
}
$$

---

# 18. 繼承格的判別形式

對：

$$
A_1,
$$

非零判別元素的值為：

$$
\boxed{
\frac12
\pmod{2\mathbb Z}.
}
$$

對：

$$
A_3,
$$

階為 $4$ 的判別群生成元，其值為：

$$
\boxed{
\frac34
\pmod{2\mathbb Z}.
}
$$

因此：

$$
\boxed{
q_{L_{\mathrm{inh}}}
\simeq
\left\langle\frac12\right\rangle
\oplus
\left\langle\frac34\right\rangle.
}
$$

---

# 19. 極化 $K3^{[2]}$ 橋的行列式過濾器

$K3^{[2]}$ Beauville--Bogomolov 格為：

$$
\Lambda
=
U^3
\oplus
E_8(-1)^2
\oplus
\langle-2\rangle,
$$

具有：

$$
|\det\Lambda|=2.
$$

對本原極化：

$$
h
$$

其平方為：

$$
h^2=2d
$$

且整除度為：

$$
\gamma,
$$

正交補滿足：

$$
\boxed{
|\det h^\perp|
=
\frac{
2(2d)
}{
\gamma^2
}
=
\frac{4d}{\gamma^2}.
}
$$

令此值等於：

$$
8.
$$

則形式上的可能性為：

$$
(d,\gamma)
=
(2,1),
$$

或：

$$
(8,2).
$$

---

# 20. 整除度 $2$ 的同餘閘門

對 $K3^{[2]}$ 型四維簇上的本原極化：

$$
\gamma\in\{1,2\}.
$$

當：

$$
\gamma=2,
$$

其平方必須滿足：

$$
\boxed{
2d\equiv6\pmod8,
}
$$

等價地：

$$
d\equiv3\pmod4.
$$

候選：

$$
d=8
$$

不滿足此條件。

因此，僅考慮行列式只留下：

$$
\boxed{
h^2=4,
\qquad
\operatorname{div}(h)=1.
}
$$

---

# 21. 本原的平方 $4$ 正交補

對平方為 $4$、整除度為 $1$ 的極化，可在雙曲平面中選擇一個本原向量。

它的正交補等距同構於：

$$
\boxed{
U^2
\oplus
E_8(-1)^2
\oplus
\langle-4\rangle
\oplus
\langle-2\rangle.
}
$$

它的判別群為：

$$
\boxed{
\mathbb Z/4
\oplus
\mathbb Z/2.
}
$$

判別形式為：

$$
\boxed{
\left\langle-\frac14\right\rangle
\oplus
\left\langle-\frac12\right\rangle.
}
$$

---

# 22. 有限二次形式不匹配

符號反轉後的困難格，其判別形式為：

$$
\boxed{
q_{-T_{c5}}
\simeq
\left\langle\frac12\right\rangle
\oplus
\left\langle\frac34\right\rangle.
}
$$

平方為 $4$ 的本原 $K3^{[2]}$ 正交補具有：

$$
\boxed{
q_{K3^{[2]},4}
\simeq
\left\langle-\frac12\right\rangle
\oplus
\left\langle-\frac14\right\rangle.
}
$$

這些有限二次形式並不同構。

例如，在階恰為 $4$ 的元素中：

### $c5$ 繼承形式端

其值為：

$$
\boxed{
\frac34,\frac34,\frac54,\frac54.
}
$$

### 平方 $4$ 的 $K3^{[2]}$ 本原端

其值為：

$$
\boxed{
\frac74,\frac74,\frac54,\frac54.
}
$$

多重集合不同。

因此：

$$
\boxed{
q_{-T_{c5}}
\not\simeq
q_{K3^{[2]},4}.
}
$$

---

# 23. 整係數 $K3^{[2]}$ 閘門失敗

最強的直接模板：

$$
\boxed{
T_{c5}(1)
\simeq
H^2_{\mathrm{prim}}(Y,\mathbb Z)
}
$$

對具有本原極化的：

$$
K3^{[2]}
$$

四維簇，若要保持自然的整係數二次形式，便失敗。

閘門歷史為：

```text
rank:
  PASS

Hodge numbers:
  PASS

real signature:
  PASS

absolute determinant:
  PASS

polarization degree/divisibility:
  forced to (4,1)

finite discriminant form:
  FAIL
```

這比先前 OG10 回歸測試的否決結果強得多。

---

# 24. 仍保留的可能性

上述失敗並不排除：

1. 具有非平凡縮放的有理 Hodge 相似；
2. 整係數像具有有限指數的對應；
3. 使用修改後 Mukai 格的扭轉／模空間實現；
4. 包含困難塊作為子格的更大超凱勒格；
5. 由退化誘導或範疇性的橋。

因此，$K3^{[2]}$ 幾何搜尋並未被放棄。

只有樸素的**整係數本原 Hodge 等距同構**模板被否決。

---

# 25. 方法論教訓

$c5$ 實驗現在呈現一個逐步增強的完整橋測試階層：

$$
\boxed{
\text{秩}
\to
\text{Hodge 數}
\to
\text{實符號差}
\to
\text{行列式}
\to
\text{有限判別形式}.
}
$$

候選通過前四種結構表象，直到最後的有限二次形式閘門才被否決。

這正是數學關係必須保留格層面型別資訊的原因。

---

# 26. 對第 22--23 回合的修正

下列第 22／23 回合敘述已被取代：

### 已取代

$$
G_{\mathrm{root}}=3A_2,
$$

以及：

$$
\det G_{\mathrm{explicit}}=648.
$$

### 修正後

$$
\boxed{
G_{\mathrm{root}}=A_2,
}
$$

以及：

$$
\boxed{
\det G_{\mathrm{explicit}}=72.
}
$$

經獨立重新推導後，根的下降結論仍成立。

舊的 $3A_2$ 因子，完全源於將 $\bar E$ 上射影叢的相對超平面與吹起的例外法叢類混淆。

---

# 27. 第 24 回合結論

第 24 回合將 Küchle $c5$ 的整係數繼承格計算，完成至橋判別所需的層級。

修正後的例外法叢類給出：

$$
\boxed{
G_{\mathrm{root}}=A_2.
}
$$

顯式的可見部分加根部分子格具有：

$$
\boxed{
\det=72.
}
$$

雙重吹起的核計算表明，此子格的精確指數為：

$$
\boxed{
3
}
$$

所在格為完整的繼承格。

因此：

$$
\boxed{
|\det L_{\mathrm{inh}}|=8.
}
$$

唯一的整係數指數 $3$ 飽和化為：

$$
\boxed{
L_{\mathrm{inh}}
\simeq
A_1\oplus A_3.
}
$$

因此，經祖源正規化的困難正交補，其有限判別形式完全確定。

與極化的 $K3^{[2]}$ 本原格比較時，行列式匹配迫使唯一可能的次數／整除度候選為：

$$
\boxed{
h^2=4,
\qquad
\operatorname{div}(h)=1.
}
$$

但它的有限判別形式不匹配。

因此：

$$
\boxed{
\text{直接整係數本原的 }K3^{[2]}\text{ Hodge 等距同構}
=
\text{FAIL}.
}
$$

所以剩餘前沿更為細緻：

$$
\boxed{
\text{有理相似／有限指數對應／模空間或範疇橋}.
}
$$

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

---

# 參考文獻

1. Alexander Kuznetsov, **Küchle fivefolds of type c5**, Mathematische Zeitschrift 284 (2016), 1245--1278.  
   相關項目：命題 4.6；推論 4.9；引理 4.14--4.16；定理 4.2；定理 5.3；推論 5.4；註記 6.6。

2. Lagrange Grassmann 簇的次數：
   $$
   \deg LG(3,6)=16.
   $$

3. 標準辛同義叢關係（symplectic tautological relation）：
   $$
   c(\mathcal U)c(\mathcal U^\vee)=1,
   $$
   它給出：
   $$
   h^2=2c_2(\mathcal U).
   $$

4. 么模格中本原正交補的標準判別形式關係。

5. 對具有本原極化的 $K3^{[2]}$ 型四維簇，整除度為 $1$ 或 $2$；在整除度 $2$ 的情形：
   $$
   2d\equiv6\pmod8.
   $$

6. 第 20 回合的精確局部化：
   $$
   G_{\mathrm{vis}}
   =
   \begin{pmatrix}
   20&16\\
   16&14
   \end{pmatrix}.
   $$