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

# RCHM × Hodge 猜想 — 研究第 27 回合
## Küchle $c5$ 週期共振作為有限譜問題：HLYY 邊界、12 個 BWB 槽位，以及祖源相對的強 K3 型

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

---

# 0. 第 27 回合的目標

第 26 回合將 Küchle $c5$ 四維簇的無窮小週期問題化約為一個整數：

$$
\boxed{
\rho_{\mathrm{per}}
=
h^2\!\left(
Y,\Omega_Y^3(H)
\right),
}
$$

其中：

$$
Y=X^5_{c5}
$$

是母 Küchle 五維簇。

精確的週期公式為：

$$
\boxed{
\dim\ker d\mathcal P
=
5+\rho_{\mathrm{per}},
}
$$

以及：

$$
\boxed{
\operatorname{rank}d\mathcal P
=
20-\rho_{\mathrm{per}}.
}
$$

第 27 回合使用兩種齊性方法處理剩餘上同調：

1. 下列空間上的餘法叢／Koszul Borel--Weil--Bott 譜證書
   $$
   \operatorname{Gr}(3,7);
   $$
2. Huang--Lian--Yau--Yu 的齊性向量叢 Jacobian 定理。

主要結果尚未證明：

$$
\rho_{\mathrm{per}}=0.
$$

而是將未解問題化約為一個**恰由十二個 BWB 共振槽位支撐的有限一般秩問題**。

這是目前可安全得到的最強閉合。

---

# 1. 幾何與記法

設：

$$
G=\operatorname{Gr}(3,7),
$$

具有秩 $3$ 的同義叢（tautological bundle）：

$$
\mathcal U
$$

以及秩 $4$ 商叢：

$$
\mathcal Q.
$$

母 Küchle 五維簇是零點軌跡：

$$
Y
=
Z(s)
\subset
G
$$

來自秩 $7$ 齊性叢的一般截面：

$$
\boxed{
\mathcal E_5
=
\mathcal Q^\vee(1)
\oplus
\mathcal U(1).
}
$$

Küchle 四維簇是再取一個超平面截面。

等價地，它是秩 $8$ 叢的零點軌跡：

$$
\boxed{
\mathcal E_4
=
\mathcal Q^\vee(1)
\oplus
\mathcal U(1)
\oplus
\mathcal O(1).
}
$$

截面的三個分量具有參數空間：

$$
\Lambda^4W^\vee,
\qquad
\Lambda^2W^\vee,
\qquad
\Lambda^3W^\vee,
$$

其維數為：

$$
35,\quad21,\quad35.
$$

因此：

$$
\boxed{
h^0(G,\mathcal E_4)=91.
}
$$

---

# 2. 第 26 回合的精確指標

精確的等變局部化計算給出：

$$
\boxed{
\chi
\left(
Y,\Omega_Y^3(H)
\right)
=
-5.
}
$$

它也核驗了：

$$
\chi(Y,\mathcal O_Y)=1,
$$

以及：

$$
\chi(Y,\mathcal O_Y(H))=21.
$$

三個獨立的環面權重測試完全一致。

這仍是每個後續譜計算的全域 Euler 約束。

---

# 3. 餘法叢--Koszul 譜證書

對下列層作解消：

$$
\Omega_Y^3(H)
$$

使用下列嵌入的餘法叢序列：

$$
Y\subset G,
$$

接著透過下列叢的 Koszul 複形，對每個限制後的齊性叢作解消：

$$
\mathcal E_5^\vee.
$$

Borel--Weil--Bott 將每個環境上同調群化約為下列群的有限維表示：

$$
GL(7).
$$

刪去全部為零的 BWB 項後，剩餘第一頁只有下列總次數：

$$
\boxed{
0,\quad1,\quad2.
}
$$

總維數為：

$$
\boxed{
E_1^{\mathrm{tot}=0}:15,
}
$$

$$
\boxed{
E_1^{\mathrm{tot}=1}:68,
}
$$

以及：

$$
\boxed{
E_1^{\mathrm{tot}=2}:48.
}
$$

因此：

$$
\boxed{
15-68+48=-5,
}
$$

精確重現第 26 回合的等變指標。

這是一項獨立的內部一致性檢查。

---

# 4. 詳細的稀疏 $E_1$ 支撐

採用水平座標為下列值的慣例：

$$
p<0,
$$

且總次數為：

$$
p+q,
$$

非零 BWB 支撐為：

| $q$ | 非零的 $p$ 與維數 |
|---|---|
| $2$ | $p=-1:28$ |
| $3$ | $p=-3:1$, $p=-1:35$ |
| $4$ | $p=-4:2$, $p=-3:5$ |
| $5$ | $p=-4:3$, $p=-3:4$ |
| $6$ | $p=-5:14$, $p=-4:1$ |
| $7$ | $p=-7:1$, $p=-6:7$, $p=-5:7$ |
| $8$ | $p=-8:3$, $p=-7:2$ |
| $9$ | $p=-9:8$, $p=-8:2$, $p=-7:1$ |
| $10$ | $p=-9:7$ |

依總次數求和得到：

$$
\boxed{
15,\quad68,\quad48.
}
$$

沒有其他 BWB 項存留。

因此：

$$
H^2(Y,\Omega_Y^3(H))
$$

只能作為這些項之間有限組映射的同調而出現。

沒有隱藏的無窮尾部。

---

# 5. 最大秩詮釋

所需結果：

$$
\rho_{\mathrm{per}}=0
$$

等價於總次數 $2$ 的部分，被進入該部分的譜微分完全消去。

這與所有維數約束相容。

沒有 Euler 特徵障礙阻止最大秩。

因此，問題現在是：

$$
\boxed{
\text{一般微分的秩}
}
$$

而非：

$$
\boxed{
\text{未知上同調}.
}
$$

這個區別很重要。

---

# 6. HLYY 齊性 Jacobian 定理

Huang--Lian--Yau--Yu 為齊性向量叢截面的零點軌跡，構造了廣義 Jacobian 描述。

對秩 $r$ 的叢：

$$
E
$$

位於 $n$ 維簇上，若一組有限的環境消沒條件成立，則他們的定理 5.7 將：

$$
H_{\mathrm{var}}^{n-r-k,k}
$$

識別為分次 Jacobian 模商。

相關條件是他們的方程：

$$
(5.2)
$$

以及：

$$
(5.3).
$$

對目前計算而言，重要之處是：這些條件完全可由下列空間上的 Borel--Weil--Bott 判定：

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

---

# 7. $H^{3,1}$ 層通過

對完整四維簇叢：

$$
\mathcal E_4
$$

我們有：

$$
n=12,
\qquad
r=8.
$$

下列：

$$
H^{3,1}
$$

層對應於：

$$
k=1.
$$

完整的 BWB 適用性檢查器核驗了所有必要的 HLYY 消沒條件。

在四個位置，條件 $(5.2)$ 的第一個選項非零，但第二個選項消沒，恰如定理所允許。

因此：

$$
\boxed{
k=1\text{ HLYY 適用性}=PASS.
}
$$

這在形式上支持一維的：

$$
H^{3,1}
$$

之 Jacobian 描述。

---

# 8. $H^{2,2}$ 層遇到邊界

對：

$$
k=2,
$$

同一檢查器發現恰好：

$$
\boxed{
12
}
$$

個情況中，HLYY 消沒條件的**兩個**選項都非零。

因此：

$$
\boxed{
k=2\text{ HLYY 適用性}
=
\text{依原敘述失敗（FAIL AS STATED）}.
}
$$

這不意味著 Jacobian 描述是錯的。

它意味著定理無法自動抹除剩餘的環境上同調。

這十二個位置，就是 $c5$ 的精確 HLYY 邊界。

---

# 9. 十二個共振槽位

精確證書將非消沒配對記錄為：

## 族 A

| 槽位 | $(p,q,l,a)$ | 第一維數 | 第二維數 |
|---|---|---:|---:|
| A1 | $(18,9,6,1)$ | $204$ | $15$ |
| A2 | $(17,8,5,2)$ | $54$ | $9$ |
| A3 | $(16,7,4,3)$ | $45$ | $3$ |
| A4 | $(15,6,3,4)$ | $10$ | $1$ |
| A5 | $(14,5,3,5)$ | $4$ | $1$ |
| A6 | $(13,4,2,6)$ | $2$ | $1$ |

## 族 B

| 槽位 | $(p,q,l,a)$ | 第一維數 | 第二維數 |
|---|---|---:|---:|
| B1 | $(17,8,5,1)$ | $11$ | $1$ |
| B2 | $(17,8,6,1)$ | $148$ | $7$ |
| B3 | $(16,7,5,2)$ | $66$ | $2$ |
| B4 | $(15,6,4,3)$ | $12$ | $1$ |
| B5 | $(14,5,4,4)$ | $61$ | $8$ |
| B6 | $(13,4,3,5)$ | $12$ | $1$ |

這些**不是**最終上同調的十二個維度。

它們是自動 HLYY 消沒論證停止的十二個環境 BWB 位置。

它們的微分仍取決於一般截面。

---

# 10. 為何這個邊界在結構上可以預期

Fatighenti--Mongardi 明確將 Küchle $c5$ 四維簇分類為**弱** K3 型 Fano，而不是強型。

他們也警告：對高指數 Fano 簇，剩餘的環境上同調可能對 Griffiths 環描述有所貢獻。

這正是此處出現的情況。

下列：

$$
H^{3,1}
$$

這條邊是乾淨的。

下列：

$$
H^{2,2}
$$

這條邊包含有限的剩餘部分。

因此，目前計算為下列術語提供了具體機制：

$$
\boxed{
\text{弱}.
}
$$

---

# 11. 廣義 Jacobian 維數

對完整的秩 $8$ 叢：

$$
\mathcal E_4,
$$

我們有：

$$
\det\mathcal E_4\otimes K_G
\simeq
\mathcal O(-1).
$$

HLYY 分次模給出：

$$
\boxed{
M^8
=
H^0(G,\mathcal E_4(-1))
\simeq
\mathbb C,
}
$$

以及：

$$
\boxed{
M^9
=
H^0
\left(
G,
S^2\mathcal E_4(-1)
\right)
}
$$

具有：

$$
\boxed{
\dim M^9=91.
}
$$

此外：

$$
\boxed{
N^8=0,
}
$$

以及：

$$
\boxed{
\dim N^9=17.
}
$$

$91$ 個維度自然分解為：

$$
\boxed{
35+21+35,
}
$$

匹配變形參數：

$$
(\lambda,\mu,\nu).
$$

因此，廣義 Jacobian 形式體系在商掉自同構與剩餘關係之前，就看到了完整的截面變形空間。

---

# 12. 二十五維變形商空間

完整截面空間的維數為：

$$
91.
$$

環境 $7$ 維空間的射影線性變換貢獻：

$$
48
$$

個無窮小方向。

叢／Jacobian 的垂直方向，貢獻由下列模編碼的補充關係：

$$
N^9.
$$

所得變形維數為：

$$
\boxed{
25,
}
$$

與下式一致：

$$
-\chi(T_X)=25
$$

在一般的有限自同構軌跡上成立。

因此，廣義 Jacobian 的維數計數與變形理論的維數計數一致。

---

# 13. 困難 Hodge 目標

完整的：

$$
H^{2,2}(X)
$$

其維數為：

$$
24.
$$

來自五維簇的完整繼承 Tate 部分，秩為：

$$
4.
$$

因此，經祖源正規化的困難目標，維數為：

$$
\boxed{
20.
}
$$

這恰好是第 25 回合辨識出的本原週期域維數。

因此，無窮小週期映射為：

$$
\boxed{
\mathbb C^{25}
\longrightarrow
\mathbb C^{20}.
}
$$

無法避免的核維數為：

$$
5.
$$

---

# 14. 長正合列與四個繼承類

設：

$$
F=\Omega_Y^3(H).
$$

第 26 回合給出：

$$
h^1(F)=5+\rho_{\mathrm{per}},
$$

以及：

$$
h^2(F)=\rho_{\mathrm{per}}.
$$

設：

$$
B=F|_X.
$$

從：

$$
0
\to
\Omega_Y^3
\to
F
\to
B
\to0
$$

以及 $Y$ 的對角型 Hodge 結構，我們有：

$$
h^{3,3}(Y)=4.
$$

因此：

$$
\boxed{
h^2(B)
=
4+\rho_{\mathrm{per}}.
}
$$

四維直和項恰好是繼承的 Tate 部分。

---

# 15. 困難週期的餘核

從：

$$
0
\to
\Omega_X^2
\to
B
\to
T_X
\to0,
$$

連接映射就是無窮小週期映射：

$$
d\mathcal P:
H^1(T_X)
\to
H^2(\Omega_X^2).
$$

餘核維數為：

$$
\boxed{
4+\rho_{\mathrm{per}}.
}
$$

商掉四個繼承的 $(2,2)$ 方向之後，困難週期的餘核為：

$$
\boxed{
\dim\operatorname{coker}
\left(
d\mathcal P_{\mathrm{hard}}
\right)
=
\rho_{\mathrm{per}}.
}
$$

因此：

$$
\rho_{\mathrm{per}}
$$

具有三個精確意義。

---

# 16. $\rho_{\mathrm{per}}$ 的三重詮釋

我們有：

$$
\boxed{
\rho_{\mathrm{per}}
=
h^2(Y,\Omega_Y^3(H)).
}
$$

我們也有：

$$
\boxed{
\rho_{\mathrm{per}}
=
\dim\ker d\mathcal P-5.
}
$$

最後：

$$
\boxed{
\rho_{\mathrm{per}}
=
\dim
\operatorname{coker}
d\mathcal P_{\mathrm{hard}}.
}
$$

因此：

$$
\boxed{
\text{中間 Nakano 共振}
=
\text{額外的週期核缺陷}
=
\text{困難週期的餘核缺陷}.
}
$$

這是第 27 回合的核心概念結果。

---

# 17. 祖源相對的強 K3 型

Fatighenti--Mongardi 定義強 K3 型時，要求與最高 K3 Hodge 直線的一個生成元作收縮，誘導從變形空間到下一個 Hodge 群的同構。

對 $c5$，完整的變形／Hodge 維數使該形式的絕對條件不可能成立。

然而，祖源分解提供了自然的相對版本。

設：

$$
K_{\mathrm{forced}}
$$

為無法避免的五維週期核部分。

設：

$$
H^{2,2}_{\mathrm{hard}}
$$

為 $20$ 維、經祖源正規化的 Hodge 目標。

定義：

$$
\boxed{
\textbf{祖源相對的強 K3}
}
$$

其條件為：

$$
\boxed{
H^1(T_X)/K_{\mathrm{forced}}
\overset{\sim}{\longrightarrow}
H^{2,2}_{\mathrm{hard}}.
}
$$

對 Küchle $c5$：

$$
\boxed{
\text{祖源相對的強 K3}
\iff
\rho_{\mathrm{per}}=0.
}
$$

---

# 18. 精確的剩餘問題

經過第 20--27 回合後，週期問題不再是：

> 計算複雜 Fano 四維簇的 Hodge 理論。

而是：

> 計算有限微分的一般秩，其支撐是十二個 HLYY 共振槽位／稀疏的 $15\to68\to48$ BWB 譜證書。

等價地：

$$
\boxed{
\rho_{\mathrm{per}}
\stackrel{?}{=}0.
}
$$

需要計算什麼，已沒有剩餘歧義。

---

# 19. 為何不用維數匹配作證明

存在數個引人注意的巧合：

- 變形維數：
  $$
  25;
  $$
- 週期維數：
  $$
  20;
  $$
- 五維簇的模空間：
  $$
  5;
  $$
- 雙重 EPW 四次簇的模空間：
  $$
  19.
  $$

但這些都不能確定：

$$
\rho_{\mathrm{per}}.
$$

特別是：

$$
25-20=5
$$

並不能證明週期秩為 $20$。

同樣，一個可能的：

$$
19
$$

維像，也不能證明該像就是雙重 EPW 軌跡。

必須計算一般微分。

---

# 20. 文獻校準

三個外部事實校準此計算。

## HLYY

他們的定理 5.7 在明確消沒條件下，提供齊性向量叢的 Jacobian 描述。

$c5$ 檢查器在下列層通過這些條件：

$$
H^{3,1},
$$

但在下列層恰好遇到十二個剩餘槽位：

$$
H^{2,2}.
$$

## Fatighenti--Mongardi

他們明確將 Küchle $c5$ 列為弱 K3 型 Fano 例子，並警告高指數情形中必須審慎處理剩餘的環境上同調。

## Konno / Flenner

他們的無窮小 Torelli 方法表明：自動環境消沒條件失敗，應被視為明確的上同調例外，而非 Torelli 失敗的證據。

因此，正確狀態是：

$$
\boxed{
\text{有限且尚未解決的秩問題}.
}
$$

---

# 21. 下一條計算路線

剩餘微分取決於一般的定義截面：

$$
(\lambda,\mu,\nu)
\in
\Lambda^4W^\vee
\oplus
\Lambda^2W^\vee
\oplus
\Lambda^3W^\vee.
$$

實際的下一步為：

1. 選擇一個明確、光滑的一般三元組：
   $$
   (\lambda,\mu,\nu);
   $$
2. 構造十二個 BWB 表示空間；
3. 寫出由該三元組誘導的收縮／楔積微分；
4. 在下列係數域上精確計算矩陣秩：
   $$
   \mathbb Q;
   $$
5. 若最大秩給出：
   $$
   H^2=0,
   $$
   則上半連續性證明：
   $$
   \rho_{\mathrm{per}}=0
   $$
   對一般的 $c5$ 五維簇成立。

因此，一份明確的最大秩證書就足以處理一般情形。

---

# 22. 第 27 回合結論

第 27 回合不主張：

$$
\rho_{\mathrm{per}}=0.
$$

而是將困難的層上同調問題，替換為完全有限的譜問題。

餘法叢--Koszul BWB 頁的總維數為：

$$
\boxed{
15\to68\to48
}
$$

其 Euler 特徵為：

$$
-5.
$$

HLYY 齊性 Jacobian 定理完全適用於：

$$
H^{3,1},
$$

但對下列數量的：

$$
\boxed{
12
}
$$

明確 BWB 共振槽位，其自動消沒假設失敗，所屬層為：

$$
H^{2,2}.
$$

同一缺陷在幾何上由下列量衡量：

$$
\boxed{
\rho_{\mathrm{per}}
=
h^2(Y,\Omega_Y^3(H))
=
\dim\ker d\mathcal P-5
=
\dim\operatorname{coker}d\mathcal P_{\mathrm{hard}}.
}
$$

因此，一個純量同時衡量：

- 中間 Nakano 邊界；
- 額外的等週期變形；
- 困難週期滿射性的失敗。

剩餘問題為：

$$
\boxed{
\text{有限 BWB 微分的一般秩}.
}
$$

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

---

# 參考文獻

1. An Huang, Bong H. Lian, Shing-Tung Yau, Chenglong Yu, **Jacobian rings for homogeneous vector bundles and applications**, arXiv:1801.08261.  
   相關內容：定義 5.6；定理 5.7；消沒條件 (5.2)--(5.3)。

2. Enrico Fatighenti, Giovanni Mongardi, **A note on a Griffiths-type ring for complete intersections in Grassmannians**, Mathematische Zeitschrift 299 (2021), 1651--1672.  
   相關內容：K3 型 Fano 簇附錄；強／弱 K3 型的定義；關於剩餘 Grassmann 貢獻的警告。

3. Kazuhiro Konno, **Infinitesimal Torelli theorem for complete intersections in certain homogeneous Kähler manifolds**, Tohoku Math. J. 38 (1986), 609--624；第 II--III 部分（1990--1991）。

4. Alexander Kuznetsov, **Küchle fivefolds of type c5**, Mathematische Zeitschrift 284 (2016), 1245--1278.

5. 第 26 回合的精確等變局部化證書：
   $$
   \chi(Y,\Omega_Y^3(H))=-5.
   $$