> 本文為英文原文的全文譯本。研究主張仍以原文為權威來源；翻譯不代表獨立數學驗證。 # RCHM × Hodge 猜想 — 研究回合 11 ## 可實現性支配、資訊取商階梯與依閘門排序的載體核驗 **狀態：** 內部研究筆記 + 可重現精確代數實驗 **版本：** 回合 11 / v1.1 **日期：** 2026-09-17 **方法論基礎：** RCHM；具型別的關係與約束代數；X 層數學完備性；圖原生數學 **前序回合：** RCHM × Hodge 猜想 — 回合 1–10 **典範來源：** UTF-8 Markdown --- # 0. 回合 11 目標 回合 10 研究了未知的二維非幾何 Hodge 區段，可能產生虛假載體特徵的情況。 該分析產生了一個混疊判別式。 回合 11 提出更基本的問題： > 即使 Hodge 特徵產生虛假的載體**模式**，該模式是否對應於已知環境超曲面內的實際幾何載體？ 對明確的有理四次曲線實驗，答案帶來了強力的簡化。 一旦層級 $2$ 的 Hodge 資料重建出光滑二次曲面包絡 $$ Q, $$ 每個位於 $Q$ 內、且真正包含於環境四次曲面中的除子載體，該環境曲面為 $$ S $$ 都必須是下列交集的不可約分支 $$ S\cap Q. $$ 但回合 8 已計算出精確分解： $$ \boxed{ S\cap Q = C\cup D_0. } $$ 因此，在相對於包絡的除子全體中，跨類型特徵別名只有是其中一個實際因子，才可能成為經核驗的載體。 這區分了兩個不可混淆的概念： $$ \boxed{ \text{特徵別名} \neq \text{幾何見證別名}. } $$ --- # 1. 明確的包絡 安全的層級 $2$ 特徵給出： $$ q=xw-yz. $$ 故： $$ \boxed{ Q=V(q) \simeq \mathbb P^1\times\mathbb P^1. } $$ 使用 Segre 座標： $$ x=ac, \qquad y=ad, \qquad z=bc, \qquad w=bd. $$ 回合 8--10 的四次曲面方程，限制後是雙次數為 $(4,4)$ 的多項式： $$ f|_Q. $$ --- # 2. 環境限制的精確因式分解 精確的符號因式分解給出： $$ \boxed{ f|_Q = F_C F_D, } $$ 其中： $$ F_C = a^3d-b^3c $$ 具有雙次數： $$ (3,1), $$ 而： $$ \begin{aligned} F_D={}& a(c^3+cd^2-d^3)\\ &+ b(-c^3-c^2d-2cd^2+d^3) \end{aligned} $$ 具有雙次數： $$ (1,3). $$ 在下列環上進行精確因式分解： $$ \mathbb Q[a,b,c,d] $$ 顯示兩個因子皆不可約。 此外： $$ \boxed{ \gcd(F_C,F_D)=1. } $$ 因此，除子： $$ S\cap Q $$ 在這兩個除子分支的層級是約化的。 --- # 3. 可實現性閘門 令： $$ F $$ 為 $Q$ 上候選的不可約除子因子。 為使： $$ V_Q(F) $$ 包含於： $$ S, $$ 必須有： $$ \boxed{ F\mid f|_Q. } $$ 這不只是啟發式。 對光滑整曲面 $Q$ 上的不可約除子，包含關係： $$ V_Q(F)\subseteq V_Q(f|_Q) $$ 蘊含 $F$ 整除定義 $S|_Q$ 的截面；在 Cox 座標描述中，此敘述允許相差可逆元。 因此定義： $$ \boxed{ \operatorname{Real}_Q(F;S) = 1 \iff F\mid f|_Q. } $$ 將此稱為**環境可實現性閘門**。 --- # 4. 經核驗的相對包絡載體集合 定義類型 $\tau$ 下的原始特徵候選集合： $$ \mathfrak P_\tau(A) = \mathbb P(\ker\Theta^A_\tau). $$ 定義可實現的子集： $$ \boxed{ \mathfrak P_\tau^{\mathrm{real}}(A;S,Q) = \left\{ [F]\in\mathfrak P_\tau(A): F\mid f|_Q \right\}. } $$ 因為： $$ f|_Q=F_CF_D $$ 且 $F_C,F_D$ 不可約且互質，$f|_Q$ 的每個不可約除子因子，在射影意義下都是下列其中之一： $$ \boxed{ [F_C] \quad\text{或}\quad [F_D]. } $$ 故： $$ \boxed{ \bigcup_\tau \mathfrak P_\tau^{\mathrm{real}} \subseteq \{[F_C],[F_D]\}. } $$ 由於已知兩個真正因子在擴大特徵空間時，仍保留為特徵候選： $$ \boxed{ \bigcup_\tau \mathfrak P_\tau^{\mathrm{real}} = \{[F_C],[F_D]\} } $$ 在相對包絡的不可約除子模型內成立。 --- # 5. 經過可實現性檢查後，跨類型特徵別名變得無害 假設不純粹性擴張產生虛假的特徵候選： $$ [F_*] \in \mathfrak P_\tau(A_\alpha) $$ 其類型例如： $$ (2,2), \quad (2,1), \quad (1,2), \quad (3,0), \quad (0,3), $$ 或其他雙次數。 若： $$ F_* \not\mid f|_Q, $$ 則： $$ V_Q(F_*) \not\subset S. $$ 因此： $$ \boxed{ [F_*] \text{ 是特徵別名，但不是見證別名}. } $$ 因此，成本高昂的跨類型混疊圖譜，不是最終的見證驗證機制。 它是中間診斷。 --- # 6. 經核驗的混疊判別式 回合 10 定義了特徵層級的混疊判別式： $$ \mathcal D_{\mathrm{alias}}^\tau. $$ 現在定義經核驗的混疊判別式： $$ \boxed{ \mathcal D_{\mathrm{verified}}^\tau = \left\{ N: \exists [F]\neq[F_C],[F_D], \; F\in\mathfrak P_\tau(A_N), \; F\mid f|_Q \right\}. } $$ 對此明確的有理四次曲線幾何，在 $Q$ 上的不可約除子載體範圍內： $$ \boxed{ \mathcal D_{\mathrm{verified}}^\tau = \varnothing } $$ 對兩個實際因子類型之外的每種載體類型成立。 因此： $$ \boxed{ \text{相對包絡的除子全體中，不存在跨類型的已核驗混疊}. } $$ 此敘述**並未**聲稱：整個曲面中本原 Hodge 類的每個代數代表都必須位於 $Q$ 上。 其作用域明確限定為相對於包絡。 --- # 7. 可實現性支配 對本實驗，邏輯順序為： $$ \boxed{ \text{特徵候選} \to \text{環境包含關係} \to \text{經核驗的載體}. } $$ 因為在已知包絡後，環境包含關係是精確且成本低的，所以它支配了任何跨類型的特徵歧義。 這促成了： $$ \boxed{ \textbf{可實現性支配原則} } $$ > 若有低成本且精確的幾何可實現性條件，應先套用它，再花費大量計算處理特徵層級的別名。 --- # 8. 為何回合 10 仍然重要 回合 10 並未因此失效。 其混疊判別式衡量： $$ \boxed{ \text{幾何核驗之前的辨識穩健性}. } $$ 這在以下情況重要： - 環境包含檢驗的成本高； - 載體不是簡單包絡上的除子； - 包絡不完整； - 見證具有較高餘維； - 希望在 Hilbert／Chow 求解前排序候選。 因此： $$ \boxed{ \text{混疊判別式} = \text{核驗前的風險}, } $$ 而： $$ \boxed{ \text{可實現性閘門} = \text{存在性核驗}. } $$ 兩者都應存入圖中，但意義不同。 --- # 9. 資訊取商階梯 文獻的重建設定包含數個不同的資訊層級。 令： $$ \eta_C $$ 表示曲線的完整上同調類。 對超平面類取商後，得到本原類： $$ \boxed{ \eta_C \longmapsto \alpha(C) = \eta_C \bmod \mathbb C\eta_H. } $$ 接著，零化子為： $$ \boxed{ \alpha \longmapsto I_\alpha. } $$ 這些映射會失去不同的資訊。 將此鏈： $$ \boxed{ \eta_C \to \alpha(C) \to I_{\alpha(C)} } $$ 稱為**資訊取商階梯**。 --- # 10. 超平面規範資訊的流失 由於： $$ \alpha(C) $$ 是模掉超平面類後定義的，將完整類換成： $$ \eta_C+\lambda\eta_H $$ 不會改變本原商。 因此： $$ \boxed{ \text{本原 Hodge 資訊不保留完整的超平面分量}. } $$ 因此，依賴完整類的數值不變量，例如次數，不能自動被視為可僅由本原商恢復。 這是一個型別問題。 --- # 11. 零化子的純量規範資訊流失 對任意非零純量： $$ c, $$ 零化子滿足： $$ \boxed{ I_{c\alpha} = I_\alpha. } $$ 因此，理想： $$ I_\alpha $$ 不保留本原泛函的正規化。 因此： $$ \boxed{ \text{零化子資料至少對下列變數僅具有射影性：}\alpha. } $$ 僅知道下列理想的重建演算法： $$ I_\alpha $$ 不能默默使用需要固定 $\alpha$ 尺度的不變量。 --- # 12. 三種重建模式 定義三種資訊模式。 ## 12.1 完整類模式 輸入包含： $$ \eta_C. $$ 可用的篩選器可能包含： - 次數； - 自交； - 完整交配對； - Chern 特徵標資料； - 精確的格類。 --- ## 12.2 本原類模式 輸入包含： $$ \alpha(C) $$ 並具有正規化。 超平面平移被消去，但本原配對與正規化的本原資訊，仍可能可用。 --- ## 12.3 僅零化子模式 輸入僅包含： $$ I_{\alpha(C)}. $$ 至少，$\alpha$ 的純量正規化已被消去。 因此，合法的數值篩選器較少。 --- # 13. 具型別的數值篩選 令： $$ \mathcal I $$ 表示一個數值不變量。 篩選條件： $$ \mathcal I(W)=\mathcal I_{\mathrm{target}} $$ 只有在以下量： $$ \mathcal I_{\mathrm{target}} $$ 由目前資訊模式決定時才合法。 因此： $$ \boxed{ \operatorname{FilterAllowed} ( \mathcal I, \text{模式} ) } $$ 本身必須是數學型別系統的一部分。 這是一個明確例子： $$ \boxed{ \text{關係／型別資訊控制哪些數學推論合法}. } $$ --- # 14. 例子：$Q$ 上的完整類篩選 假設保留了有理四次曲線的完整類。 則： $$ H\cdot C=4, $$ 且由於四次曲面是 K3 曲面： $$ C^2=-2. $$ 對於雙次數為： $$ (u,v) $$ 的除子，所在空間為： $$ Q\simeq\mathbb P^1\times\mathbb P^1, $$ 其次數為： $$ \boxed{ d=u+v, } $$ 而算術虧格為： $$ \boxed{ p_a=(u-1)(v-1). } $$ 在四次 K3 曲面上： $$ D^2 = 2p_a-2. $$ 因此： $$ \boxed{ D^2 = 2uv-2u-2v. } $$ 要求： $$ d=4 $$ 以及： $$ D^2=-2 $$ 給出： $$ u+v=4, $$ 以及： $$ (u-1)(v-1)=0. $$ 故： $$ \boxed{ (u,v)\in\{(3,1),(1,3)\}. } $$ 所以，在完整類模式中，數值閘門已排除： $$ (2,2) $$ 及所有其他次數 $4$ 的雙次數。 --- # 15. 本原範數篩選 對曲線 $D$，其次數為： $$ d=H\cdot D $$ 它位於四次 K3 曲面上，且： $$ H^2=4, $$ 定義其正交本原投影： $$ D_{\mathrm{prim}} = D-\frac d4H. $$ 則： $$ \boxed{ D_{\mathrm{prim}}^2 = D^2-\frac{d^2}{4}. } $$ 對有理四次曲線： $$ C^2=-2, \qquad d=4, $$ 故： $$ \boxed{ C_{\mathrm{prim}}^2=-6. } $$ 對雙次數 $(u,v)$ 的除子，位於 $Q$ 上： $$ \boxed{ D_{\mathrm{prim}}^2 = 2uv-2u-2v - \frac{(u+v)^2}{4}. } $$ 枚舉在總特徵次數 $(3,3)$ 可見的所有因子雙次數，即： $$ 0\le u,v\le3, $$ 顯示其中僅有下列真因子雙次數滿足： $$ D_{\mathrm{prim}}^2=-6 $$ 它們是： $$ \boxed{ (3,1) \quad\text{與}\quad (1,3). } $$ 這在經正規化的本原類模式中，是有用的篩選器。 但在僅零化子模式中，它不會自動合法，因為尺度已被消去。 --- # 16. 為何兩種存留類型都在預期之內 剩餘曲線滿足： $$ C+D_0\sim2H. $$ 因此： $$ D_0-H = -(C-H) $$ 在本原類層級成立。 故兩種雙次數： $$ (3,1) $$ 與： $$ (1,3) $$ 表示相反的本原方向。 其零化子理想不受非零純量縮放影響，所以符號反轉在僅零化子層級不可見。 因此，恰有這兩種類型存留，在結構上是自然的。 --- # 17. 型別抹除的警告 若僅從： $$ I_\alpha $$ 開始，接著默默套用完整類條件： $$ \deg D=4, $$ 就使用了目前物件實際上可能未編碼的資訊。 這是一個具體的數學例子： $$ \boxed{ \text{型別抹除導致無效推論}. } $$ X 層完備性透過保留下列階梯避免此問題： $$ \eta_C \to \alpha(C) \to I_{\alpha(C)} $$ 而不僅保留末端理想。 --- # 18. 依閘門排序的候選過濾 穩健的逆向求解器應維護遞減的候選族： $$ \mathcal W_0 \supseteq \mathcal W_{\mathrm{type}} \supseteq \mathcal W_{\mathrm{scope}} \supseteq \mathcal W_{\mathrm{envelope}} \supseteq \mathcal W_{\mathrm{real}} \supseteq \mathcal W_{\mathrm{signature}} \supseteq \mathcal W_{\mathrm{class}} \supseteq \mathcal W_{\mathrm{verified}}. $$ 當一個閘門依賴另一個閘門時，確切順序可以改變。 但每次移除都必須儲存： $$ \boxed{ \text{候選} + \text{閘門} + \text{證據} + \text{資訊模式}. } $$ --- # 19. 低成本閘門先於高成本閘門 一個有用的預設成本順序為： ### G0 — 型別相容性 候選具有正確的數學型別嗎？ ### G1 — 作用域相容性 它定義於所需的環境範疇中嗎？ ### G2 — 安全包絡 它位於安全重建的幾何容器內嗎？ ### G3 — 環境可實現性 它實際包含於已知的環境簇中嗎？ ### G4 — 數值不變量 在資訊模式下合法時，次數／交不變量是否匹配？ ### G5 — 特徵一致性 它重現 Hodge／週期特徵嗎？ ### G6 — 高階持續性 它通過更高階 jet 及概形層級的檢驗嗎？ ### G7 — 精確類核驗 在所要求的等價關係下，它表示目標類嗎？ 此順序不是普遍適用的，但它實作了： $$ \boxed{ \text{低成本精確拒絕先於高成本歧義推論}. } $$ --- # 20. 可實現性閘門作為存在性檢驗 回合 11 的結果也釐清了 RCHM 的存在性階層。 一個因子可能滿足： $$ \operatorname{SignatureCompatible}(F)=1, $$ 同時： $$ \operatorname{GeometricallyRealizable}(F)=0. $$ 因此： $$ \boxed{ \text{特徵相容性} \not\Rightarrow \text{作為載體的存在性}. } $$ 這正是最初 RCHM 方法論引入的區別： $$ \operatorname{Related} \not\Rightarrow \operatorname{Admissible} \not\Rightarrow \operatorname{Witnessed}. $$ --- # 21. 跨類型混疊圖譜在明確測試中縮減 回合 10 建議計算大型的跨類型混疊圖譜。 回合 11 顯示，對已知二次曲面包絡上的已核驗不可約除子載體，圖譜在環境可實現性檢查後縮減： $$ \boxed{ \text{所有有效的不可約相對包絡載體} = \{C,D_0\}. } $$ 因此，詳細的混疊幾何只在以下情況仍相關： - 核驗前排序； - 其他載體全體； - 更高餘維載體； - 沒有精確環境因式分解的情況。 這是有用的計算作用域縮減。 --- # 22. 可重現的精確檢查 附帶驗證器確認： 1. 四次式限制至二次曲面後，分解為 $F_CF_D$； 2. $F_C$ 在 $\mathbb Q$ 上不可約； 3. $F_D$ 在 $\mathbb Q$ 上不可約； 4. $\gcd(F_C,F_D)=1$; 5. 雙次數為 $(3,1)$ 與 $(1,3)$； 6. 其乘積具有雙次數 $(4,4)$； 7. 枚舉全部真因子雙次數 $(u,v)$，其中 $0\le u,v\le3$； 8. 僅 $(3,1)$ 與 $(1,3)$ 具有本原平方 $-6$； 9. 在完整類模式中，僅 $(3,1)$ 與 $(1,3)$ 滿足次數 $4$ 與自交 $-2$。 所有計算在 $\mathbb Q$ 上都是精確的。 --- # 23. 新原則 ## 原則 A — 特徵別名與見證別名 $$ \boxed{ \text{特徵層級的相容性} \neq \text{幾何見證存在性}. } $$ --- ## 原則 B — 可實現性支配 若精確的環境包含檢驗成本低，則先套用它，再處理細緻的特徵歧義。 --- ## 原則 C — 資訊取商階梯 $$ \boxed{ \eta_C \to \alpha(C) \to I_{\alpha(C)} } $$ 是一連串流失資訊的映射。 每個下游推論都必須尊重所剩的資訊。 --- ## 原則 D — 規範定型的篩選 數值不變量只有在由目前資訊模式決定時，才可作為拒絕閘門使用。 --- ## 原則 E — 相對包絡閉合 一旦已知精確的安全包絡及環境交集，見證搜尋可能縮減為因子／分支核驗，而不是不受限制的載體推論。 --- # 24. 對 AMRAL 的影響 AMRAL 不應只儲存一項聲稱： ```text candidate rejected ``` 而應儲存： ```text candidate_gate_event: candidate_ref gate_type information_mode required_invariant evidence_ref result scope ``` 每個 Hodge 物件也應記錄： ```text hodge_information_level: full_class_available primitive_class_available primitive_normalization_available annihilator_available period_vector_available ``` 這避免下游 AI 推理使用已消去的資訊。 --- # 25. 回合 11 結論 回合 11 以比預期更簡單的方式，解決了明確的相對包絡除子實驗中，眼前的跨類型混疊問題。 安全的層級 $2$ 特徵辨識出： $$ Q. $$ 接著，已知的環境四次曲面給出： $$ \boxed{ f|_Q=F_CF_D. } $$ 兩個因子都不可約且互質。 因此，任何同時包含於以下兩者的已核驗不可約除子載體： $$ Q $$ 與： $$ S $$ 都必須是以下其中之一： $$ \boxed{ C \quad\text{或}\quad D_0. } $$ 因此，未知的 Hodge 不純粹性可能產生額外的**特徵別名**，但不能產生額外的**幾何可實現、相對包絡的不可約除子載體**。 同時，重建問題包含另一個資訊階層： $$ \boxed{ \text{完整類} \to \text{本原類} \to \text{零化子理想}. } $$ 每一步都消去資訊，所以可容許的篩選規則必須依資訊層級定型。 因此，主要教訓是： $$ \boxed{ \text{載體推論不是單一分類器。} } $$ 它是依閘門排序的合法性證明： $$ \boxed{ \text{型別} \to \text{作用域} \to \text{包絡} \to \text{存在性} \to \text{特徵} \to \text{類} \to \text{經核驗的見證}. } $$ 這是回合 11 的主要閉合。 --- # 參考文獻 1. Maria Gioia Cifani、Gian Pietro Pirola、Enrico Schlesinger，**從 Hodge 類重建曲線**，Rendiconti del Circolo Matematico di Palermo Series 2，72（2023），945--958。 DOI: https://doi.org/10.1007/s12215-021-00704-9 該論文將 $\alpha(C)$ 定義為模掉超平面截面方向後的類，並研究其零化子理想。 2. Hossein Movasati、Emre Can Sertöz，**從週期重建子簇**，Rendiconti del Circolo Matematico di Palermo Series 2，70（2021），1441--1457。 DOI: https://doi.org/10.1007/s12215-020-00562-x 3. 標準 K3 伴隨公式：在 K3 曲面上，除子 $D$ 滿足 $D^2=2p_a(D)-2$。 4. 標準二次曲面幾何：雙次數為 $(u,v)$ 的除子，位於 $\mathbb P^1\times\mathbb P^1$ 上時，在 Segre 嵌入下其次數為 $u+v$，算術虧格為 $(u-1)(v-1)$。