> 本文為英文原文的全文譯本。研究主張仍以原文為權威來源；翻譯不代表獨立數學驗證。 # RCHM × Hodge 猜想 — 研究第 25 回合 ## Küchle $c5$ 的奇么模黏合修正：整係數 $K3^{[2]}$ 本原格重新開放 **狀態：** 內部研究筆記 + 精確有限二次形式驗證器 **版本：** 第 25 回合 / v2.5 **日期：** 2026-09-18 **方法論基礎：** RCHM；X 層數學完備性；祖源化約；橋搜尋編譯器 **前序回合：** RCHM × Hodge 猜想 — 第 1–24 回合 **典範來源：** UTF-8 Markdown --- # 0. 第 25 回合的目標 第 24 回合完成了繼承的秩 $4$ 格，所屬幾何為 Küchle $c5$ 五維簇： $$ \boxed{ L_{\mathrm{inh}} \simeq A_1\oplus A_3, } $$ 具有： $$ \boxed{ |\det L_{\mathrm{inh}}|=8, } $$ 以及： $$ \boxed{ A_{L_{\mathrm{inh}}} \simeq \mathbb Z/2 \oplus \mathbb Z/4. } $$ 第 24 回合接著將直接的整係數本原 $K3^{[2]}$ 橋否決，方法是把 $L_{\mathrm{inh}}$ 的負判別**二次**形式指派給困難正交補。 最後那一步是錯的。 $c5$ 四維簇的完整中間格是**奇么模**的，而非偶么模。 在奇么模格內的本原正交分解中： - 判別**雙線性**形式反等距； - 判別**二次**精化未必互為負值。 缺少的精化，由奇偶性與 Milgram 公式決定。 修正後的精化，恰好是次數 $4$、整除度 $1$ 的極化 $K3^{[2]}$ 四維簇本原格所具有的精化。 因此，直接整係數格模板重新開放。 --- # 1. 完整中間格是么模的 設： $$ X=X^4_{c5}. $$ 第 21 回合確立： $$ H^4(X,\mathbb Z) $$ 是無撓的。 由 Poincaré 對偶性，中間交配對是么模的。 中間 Hodge 數為： $$ (1,24,1), $$ 所以實符號差為： $$ \boxed{ (24,2). } $$ 設： $$ L = H^4(X,\mathbb Z) $$ 配備杯積配對。 則： $$ \boxed{ L \text{ 是么模的，其符號差為 }(24,2). } $$ --- # 2. 完整中間格是奇格 偶么模格必須滿足： $$ \sigma_+-\sigma_- \equiv0 \pmod8. $$ 但是： $$ 24-2=22. $$ 由於： $$ 22\not\equiv0\pmod8, $$ 此格不可能是偶格。 因此： $$ \boxed{ L \text{ 是奇么模格}. } $$ 由不定奇么模格的分類： $$ \boxed{ L \simeq I_{24,2}. } $$ 這個奇偶性事實，是對第 24 回合的關鍵修正。 --- # 3. 繼承的本原格 第 24 回合給出： $$ \boxed{ A = L_{\mathrm{inh}} \simeq A_1\oplus A_3. } $$ 它是： - 偶格； - 正定的； - 秩為 $4$； - 在 $L$ 中是本原的。 它的判別二次形式為： $$ \boxed{ q_A = \left\langle\frac12\right\rangle \oplus \left\langle\frac34\right\rangle } $$ 所在群為： $$ A_A \simeq \mathbb Z/2 \oplus \mathbb Z/4. $$ --- # 4. 困難正交補 定義： $$ \boxed{ T=A^\perp\subset L. } $$ 則： $$ \boxed{ \operatorname{rank}T=22, } $$ 以及： $$ \boxed{ \operatorname{sig}(T)=(20,2). } $$ Tate 扭轉／符號反轉後的 K3 型比較格為： $$ \boxed{ -T, } $$ 具有： $$ \boxed{ \operatorname{sig}(-T)=(2,20). } $$ --- # 5. 困難正交補是偶格 對任何定向光滑 $8$ 維流形，中間交配對滿足 Wu 同餘： $$ x^2 \equiv x\cdot v_4 \pmod2. $$ 對複四維簇： $$ \boxed{ v_4 = w_4+w_2^2 \equiv c_2+c_1^2 \pmod2. } $$ 四維簇是光滑超平面截面： $$ i:X^4\hookrightarrow X^5. $$ 從： $$ c(TX^4) = \frac{i^*c(TX^5)}{1+h}, $$ 可知： $$ c_1(X^4) $$ 以及： $$ c_2(X^4) $$ 兩者都是五維簇上 Chern 類與超平面類所組成表示式的限制。 因此： $$ \boxed{ v_4(X^4) \in i^*H^4(X^5,\mathbb Z/2). } $$ 但是： $$ i^*H^4(X^5,\mathbb Z) = A. $$ 所以： $$ v_4 \in A\otimes\mathbb Z/2. $$ 對： $$ t\in T=A^\perp, $$ 我們得到： $$ t^2 \equiv t\cdot v_4 = 0 \pmod2. $$ 因此： $$ \boxed{ T \text{ 是偶格}. } $$ 這使下列判別二次形式具有合法定義： $$ q_T. $$ --- # 6. 么模性實際給出的結果 因為： $$ A $$ 在下列么模格中是本原的： $$ L, $$ 我們有判別群同構： $$ \boxed{ A_A \simeq A_T. } $$ 在判別**雙線性形式**層面： $$ \boxed{ b_T \simeq -b_A. } $$ 改變符號後： $$ \boxed{ b_{-T} \simeq b_A. } $$ 這在奇或偶么模環境格中都成立。 奇格情形中失效的是更強的捷徑： $$ q_{-T}\stackrel{?}{=}q_A. $$ 二次精化必須另外確定。 --- # 7. 固定雙線性形式的二次精化 設： $$ a $$ 生成 $\mathbb Z/2$ 因子，而： $$ b $$ 生成 $\mathbb Z/4$ 因子。 取參考精化： $$ q_{00} = \left\langle\frac12\right\rangle \oplus \left\langle\frac34\right\rangle. $$ 具有相同雙線性形式的所有二次精化，相差一個取值於： $$ \mathbb Z/2 $$ 的特徵標（character）。 因此，恰好有四個： $$ \boxed{ q_{\epsilon,\eta}(x,y) = \frac{x^2}{2} + \frac{3y^2}{4} + \epsilon x + \eta y \pmod{2\mathbb Z}, } $$ 其中： $$ \epsilon,\eta\in\{0,1\}. $$ --- # 8. 精確 Gauss 和 對非退化有限二次形式： $$ q, $$ 定義： $$ \boxed{ G(q) = \frac1{\sqrt{|A|}} \sum_{z\in A} e^{\pi iq(z)}. } $$ 四個精化的精確和為： $$ \boxed{ G(q_{00})=-1, } $$ $$ \boxed{ G(q_{01})=1, } $$ $$ \boxed{ G(q_{10})=i, } $$ $$ \boxed{ G(q_{11})=-i. } $$ 因此，它們的 Brown 不變量為： $$ \boxed{ 4,\quad0,\quad2,\quad6 \pmod8. } $$ 附帶驗證器以符號方式計算這些和。 --- # 9. Milgram 選出正確精化 對於偶格 $M$： $$ \boxed{ \operatorname{Br}(q_M) \equiv \operatorname{sig}(M) \pmod8. } $$ 對： $$ -T, $$ 其符號差的正負維數差為： $$ 2-20=-18. $$ 因此： $$ \boxed{ \operatorname{Br}(q_{-T}) \equiv6 \pmod8. } $$ 四個可能精化中，恰有一個具有 Brown 不變量 $6$： $$ \boxed{ q_{-T}=q_{11}. } $$ 在生成元上： $$ q_{11}(a) = \frac32 \equiv -\frac12 \pmod{2\mathbb Z}, $$ 以及： $$ q_{11}(b) = \frac74 \equiv -\frac14 \pmod{2\mathbb Z}. $$ 因此： $$ \boxed{ q_{-T} \simeq \left\langle-\frac12\right\rangle \oplus \left\langle-\frac14\right\rangle. } $$ --- # 10. 本原的次數 $4$ 之 $K3^{[2]}$ 格 $K3^{[2]}$ 型的 Beauville--Bogomolov 格為： $$ \boxed{ \Lambda = U^3 \oplus E_8(-1)^2 \oplus \langle-2\rangle. } $$ 選取本原極化： $$ h $$ 具有： $$ \boxed{ h^2=4, \qquad \operatorname{div}(h)=1. } $$ 在一份下列格中： $$ U, $$ 取： $$ h=e+2f. $$ 則： $$ h^\perp $$ 包含： $$ e-2f $$ 其平方為： $$ -4. $$ 因此： $$ \boxed{ K_4 = h^\perp \simeq U^2 \oplus E_8(-1)^2 \oplus \langle-4\rangle \oplus \langle-2\rangle. } $$ 它的符號差為： $$ \boxed{ (2,20). } $$ 它的判別形式為： $$ \boxed{ q_{K_4} = \left\langle-\frac14\right\rangle \oplus \left\langle-\frac12\right\rangle. } $$ 因此： $$ \boxed{ q_{K_4} \simeq q_{-T}. } $$ --- # 11. Nikulin 唯一性 下列兩個格： $$ -T $$ 以及： $$ K_4 $$ 都是： - 偶格； - 不定的； - 秩為 $22$； - 符號差為 $(2,20)$； - 判別群長度為 $2$； - 配備相同的判別二次形式。 Nikulin 唯一性準則適用，因為： $$ \boxed{ 22 \ge 2+2. } $$ 因此，它們的格屬（genus）只包含一個類。 所以： $$ \boxed{ -T \simeq K_4 } $$ 作為整係數二次格成立。 等價地： $$ \boxed{ -T_{c5,\mathbb Z} \simeq H^2_{\mathrm{prim}} (Y,\mathbb Z) } $$ 在格層面，對次數 $4$、整除度 $1$ 的 $K3^{[2]}$ 極化型別成立。 --- # 12. 第 24 回合的逆轉 第 24 回合的結論為： ```text rank: PASS Hodge: PASS real signature: PASS determinant: PASS finite discriminant form: FAIL ``` 修正後的結果為： ```text rank: PASS Hodge: PASS real signature: PASS determinant: PASS parity of ambient lattice: ODD Wu-evenness of hard block: PASS Brown invariant refinement: UNIQUE finite discriminant form: PASS Nikulin integral lattice gate: PASS ``` 因此，第 24 回合的最終否決已被取代。 繼承格的計算： $$ L_{\mathrm{inh}}\simeq A_1\oplus A_3 $$ 仍然有效。 只有向正交補轉移判別形式的步驟是錯的。 --- # 13. 為何奇環境格改變答案 若環境么模格是偶格，黏合條件會要求： $$ \boxed{ q_T=-q_A. } $$ 但環境格是奇格。 允許黏合向量具有奇數範數。 因此，判別群識別映射的圖只對判別**雙線性**配對各向同性，而： $$ q_A+q_T $$ 可能取奇整數值。 兩個二次精化的差別，正是奇黏合所帶有的奇偶性特徵標。 這是所缺的 X 層資料。 --- # 14. Hodge 理論的週期實現 只有格的等距同構，尚不能產生幾何對應。 但它大幅縮小了週期問題。 Tate 扭轉後的 $c5$ 困難塊： $$ T_{c5}(1) $$ 具有 K3 型 Hodge 直線： $$ H^{2,0}. $$ 選取整係數格等距同構： $$ \boxed{ \phi: -T_{c5} \overset{\sim}{\longrightarrow} K_4. } $$ 經下列映射轉運 Hodge 直線： $$ \phi. $$ 這產生一個週期點，位於次數 $4$、整除度 $1$ 的極化 $K3^{[2]}$ 型之 IV 型週期域中。 極化週期映射是開嵌入，其像是有限多個 Heegner 除子的補集。 因此，剩餘的幾何實現閘門為： $$ \boxed{ \text{轉運後的 }c5\text{ 週期是否避開被排除的 Heegner 除子？} } $$ 對這些除子以外的週期，極化 $K3^{[2]}$ 四維簇會實現該 Hodge 結構。 因此，格的存在性不再構成障礙。 --- # 15. 極一般情形的詮釋 若極一般（very general）的 Küchle $c5$ 困難塊，除了已移除的繼承部分之外，沒有額外的有理 $(1,1)$ 類，則轉運後的週期具有本原 Picard 秩零。 在該一般情況下，它避開額外的 Noether--Lefschetz 條件，預期的極化實現為： $$ \boxed{ (Y,H), \qquad q(H)=4, \quad \operatorname{div}(H)=1. } $$ 一旦檢查了相關 Heegner 排除條件，這個敘述便是週期域的推論。 它尚不是代數對應定理。 --- # 16. 實際剩餘的橋閘門 最強的未解問題現在是： $$ \boxed{ \text{整係數 Hodge 等距同構 } T_{c5}(1) \to H^2_{\mathrm{prim}}(Y) \text{ 是否由代數對應誘導？} } $$ 這與先前的格搜尋問題，在類別上截然不同。 目標已不再是： > 尋找變形型別。 目標是： > 構造對應。 這符合 Kuznetsov 歷史上的期待：$c5$ 上的層模空間應產生超凱勒簇。 --- # 17. Kuga--Satake 的次要推論 Varesco 證明，K3 型結構的 Hodge 相似會誘導其 Kuga--Satake 簇之間的同源映射。 由於目前的格匹配具有乘子： $$ \boxed{ 1, } $$ 所誘導的關係是該函子性的一個等距同構層面實例。 因此，一旦固定 $K3^{[2]}$ Hodge 實現 $Y$： $$ \boxed{ KS(T_{c5}(1)) \sim KS(H^2_{\mathrm{prim}}(Y)). } $$ 這是一座次要的 Hodge 理論橋。 它本身並不證明所需的 $c5\times Y$ 對應具有代數性。 --- # 18. 新方法論原則 — 判別二次形式之前先記錄奇偶性 跨越么模正交分解轉移判別二次形式之前，先記錄： $$ \boxed{ \text{環境格的奇偶性}. } $$ 正確的順序為： $$ \boxed{ \text{本原嵌入} \to \text{環境格的奇偶性} \to \text{雙線性黏合} \to \text{正交補的偶性} \to \text{二次精化}. } $$ 略過環境格的奇偶性，可能逆轉最終的橋決策。 --- # 19. 新方法論原則 — Brown 不變量精化閘門 當： - 判別群已知； - 雙線性形式已知； - 仍有數個偶二次精化； 使用： $$ \boxed{ \operatorname{Br}(q) \equiv \operatorname{sig}(L) \pmod8 } $$ 來選擇合法精化。 這將奇偶性歧義轉為有限的精確閘門。 --- # 20. 第 25 回合結論 第 25 回合逆轉第 24 回合的最終結論。 Küchle $c5$ 中間格為： $$ \boxed{ \text{奇么模格，符號差為 }(24,2). } $$ 繼承格為： $$ \boxed{ A_1\oplus A_3. } $$ 其困難正交補仍然是偶格，因為 Wu 類位於繼承部分中。 奇環境格的黏合只確定判別雙線性形式。 Milgram 公式選出唯一合法的二次精化： $$ \boxed{ q_{-T_{c5}} = \left\langle-\frac12\right\rangle \oplus \left\langle-\frac14\right\rangle. } $$ 這恰好是本原的次數 $4$、整除度 $1$ 之 $K3^{[2]}$ 格的判別形式： $$ \boxed{ K_4 = U^2 \oplus E_8(-1)^2 \oplus \langle-4\rangle \oplus \langle-2\rangle. } $$ 因此，Nikulin 唯一性給出： $$ \boxed{ -T_{c5,\mathbb Z} \simeq K_4. } $$ 直接的**整係數格**橋沒有受到阻礙。 剩餘問題真正位於幾何層面： $$ \boxed{ \text{週期實現} + \text{代數對應}. } $$ 這是第 25 回合的主要閉合。 --- # 參考文獻 1. Alexander Kuznetsov, **Küchle fivefolds of type c5**, Mathematische Zeitschrift 284 (2016), 1245--1278. 2. V. V. Nikulin，關於判別形式與不定偶格唯一性的結果；目前的秩 $22$、長度 $2$ 情形，可立即應用唯一性準則。 3. 偶格判別二次形式之 Brown 不變量的 Milgram 公式。 4. 實維數 $8$ 的標準 Wu 公式： $$ x^2\equiv x\cdot v_4\pmod2, \qquad v_4=w_4+w_2^2. $$ 5. 對複流形： $$ w_{2i}\equiv c_i\pmod2. $$ 6. $K3^{[2]}$ Beauville--Bogomolov 格： $$ U^3\oplus E_8(-1)^2\oplus\langle-2\rangle. $$ 7. 極化 $K3^{[2]}$ 的週期映射結果：固定次數／整除度的週期映射是開嵌入，其像是有限多個 Heegner 除子的補集。 8. Mauro Varesco, **Hodge similarities, algebraic classes, and Kuga--Satake varieties**, Mathematische Zeitschrift 305 (2023)，文章 69。