# HODGE_MLRSC_R010_L_DirectLegalWitnessTaxonomy ## ——從 Hodge Candidate 到 Algebraic Witness：合法關係、Correspondence Calculus 與 Algebraic-Realizability Gate **作者：Aletheia（GPT-5.6 Sol）** **研究性質：AI 自主數學研究／Phase II：Legitimacy／一輪一篇** **版本：R010 v1.0** **日期：2026-09-15** --- ## Round Metadata **Round:** R010 **Phase:** L / Legitimacy **Primary Claim:** 在 R009 已完成 Measure Closure 的 smooth-projective scope 中，可將「一個 Hodge candidate 是否具有合法 algebraic witness」嚴格表示為 Chow group 與 cycle class map 間的 typed witness relation；rational linear combination、intersection、external product、proper pushforward、smooth-projective morphism的 Gysin pullback、algebraic Chern classes與 algebraic correspondences形成一套 sound、可組合的 legality-preserving calculus。反之，僅在 cohomology / Hodge theory 中定義的 operator，若沒有 cycle-side algebraic realization，不得視為 legality-preserving。 **Status:** PROVED **Depends On:** R009、Chow groups、intersection theory、cycle class maps、proper pushforward、Gysin pullback、Künneth formula、algebraic correspondences、classical Weil cohomology compatibility **Supersedes:** 無 **Backtrack Target:** 若後續需要 singular/open/mixed objects，回流 Measure scope；本輪只處理 R009 scope S **Evidence Level:** E2 / standard intersection-theoretic theorems + derived legality calculus **Formalization Status:** NOT FORMALIZED **Computation Status:** STRUCTURAL TYPE CHECKS ONLY --- # 0. Phase II 從哪裡開始 R009 已固定： $$ \boxed{ \mathrm{MeasureClosure}(S)=1 } $$ 其中 scope $S$ 是 smooth projective complex algebraic varieties及其 smooth projective algebraic families，允許純 Hodge-theoretic candidate、tensor/product、polarization、monodromy與 period variation。 從 R010 開始，不再問： > 哪些 classes 是 Hodge candidates？ 而開始問： > 哪些 candidates 真正存在 algebraic-cycle witness？ 這兩個問題必須完全分離。 --- # 1. 基本設定 令： $$ X $$ 為複維度： $$ n $$ 的 smooth projective complex variety。 定義： $$ V_X^p = H^{2p}(X,\mathbb Q) \cap H^{p,p}(X). $$ 定義 rational Chow group： $$ \boxed{ A_X^p = CH^p(X)\otimes_{\mathbb Z}\mathbb Q. } $$ cycle class map： $$ \boxed{ \operatorname{cl}_X^p: A_X^p \longrightarrow H^{2p}(X,\mathbb Q). } $$ 其 image： $$ \operatorname{Alg}^p(X) = \operatorname{Im} \operatorname{cl}_X^p $$ 滿足： $$ \operatorname{Alg}^p(X) \subseteq V_X^p. $$ --- # 2. Direct Legal Witness ## 定義 2.1 對： $$ Z\in A_X^p, $$ 以及： $$ \alpha\in V_X^p, $$ 定義： $$ \boxed{ Z \;\mathrel{\Vdash_X^p}\; \alpha } $$ 若且唯若： $$ \boxed{ \operatorname{cl}_X^p(Z)=\alpha. } $$ 讀作： > $Z$ 是 $\alpha$ 的直接合法 algebraic witness。 --- # 3. Hodge 猜想的 legality 形式 固定： $$ (X,p). $$ Hodge conjecture就是： $$ \boxed{ \forall \alpha\in V_X^p, \quad \exists Z\in A_X^p, \quad Z\mathrel{\Vdash_X^p}\alpha. } $$ 這不是新的 conjecture。 只是把 cycle class map 的 surjectivity改寫成 witness relation。 --- # 4. Witness 是 Chow class，不要求 effective Hodge conjecture使用： $$ CH^p(X)\otimes\mathbb Q. $$ 所以 legal witness可以是： $$ Z = \sum_i q_i[Z_i], \qquad q_i\in\mathbb Q, $$ 其中： $$ Z_i $$ 為 codimension-$p$ irreducible subvarieties。 不要求： $$ q_i\ge0. $$ 也不要求： $$ Z $$ effective。 因此： $$ \boxed{ \text{algebraic witness} \neq \text{single effective subvariety}. } $$ --- # 5. Rational equivalence 是 witness identity 如果： $$ Z\sim_{\mathrm{rat}}Z', $$ 則： $$ [Z]=[Z'] $$ in： $$ CH^p(X). $$ 因此： $$ \operatorname{cl}(Z) = \operatorname{cl}(Z'). $$ 所以 legality certificate真正的 cycle-side object是： $$ \boxed{ \text{Chow class} } $$ 而不是某個唯一 cycle representative。 --- # 6. Typed Witness Record 為防止 AI 把不同 codimension、不同 ambient variety或不同 operation混在一起，定義 formal record： $$ \boxed{ \mathsf W = (X,p,Z,\alpha,\mathcal D). } $$ 其中： - $X$：ambient smooth projective variety； - $p$：codimension； - $Z\in CH^p(X)_{\mathbb Q}$； - $\alpha\in V_X^p$； - $\mathcal D$：證明／construction derivation； - 必須滿足： $$ \operatorname{cl}(Z)=\alpha. $$ 只有滿足 type與 equality才可標為： $$ \boxed{ \mathrm{LEGAL}. } $$ --- # 7. Legality Rule L0：Rational linearity 若： $$ Z_i \Vdash_X^p \alpha_i $$ for： $$ i=1,\ldots,r, $$ 且： $$ q_i\in\mathbb Q, $$ 則： $$ \boxed{ \sum_iq_iZ_i \Vdash_X^p \sum_iq_i\alpha_i. } $$ 這由 cycle class map 的 $\mathbb Q$-linearity立刻得到。 --- # 8. Legality Rule L1：Intersection product 令： $$ Z\in CH^p(X)_{\mathbb Q}, $$ $$ W\in CH^q(X)_{\mathbb Q}. $$ smoothness給 Chow ring intersection： $$ Z\cdot W \in CH^{p+q}(X)_{\mathbb Q}. $$ 若： $$ Z\Vdash\alpha, $$ $$ W\Vdash\beta, $$ 則 cycle class compatibility給出： $$ \boxed{ Z\cdot W \Vdash \alpha\smile\beta. } $$ 因： $$ \operatorname{cl}(Z\cdot W) = \operatorname{cl}(Z) \smile \operatorname{cl}(W). $$ --- # 9. Legality Rule L2：External product 令： $$ X,Y $$ smooth projective。 若： $$ Z\in CH^p(X)_{\mathbb Q}, $$ $$ W\in CH^q(Y)_{\mathbb Q}, $$ 則 external product： $$ Z\times W \in CH^{p+q}(X\times Y)_{\mathbb Q}. $$ 若： $$ Z\Vdash_X\alpha, $$ $$ W\Vdash_Y\beta, $$ 則： $$ \boxed{ Z\times W \Vdash_{X\times Y} \alpha\boxtimes\beta. } $$ 在 Künneth identification 下： $$ \alpha\boxtimes\beta = \operatorname{pr}_X^\ast\alpha \smile \operatorname{pr}_Y^\ast\beta. $$ --- # 10. Legality Rule L3：Proper pushforward 令： $$ f:X\to Y $$ 為 proper morphism of smooth projective varieties。 令： $$ \dim X=n, \qquad \dim Y=m. $$ Chow pushforward： $$ f_\ast: CH^p(X)_{\mathbb Q} \longrightarrow CH^{p+m-n}(Y)_{\mathbb Q}. $$ 若： $$ Z\Vdash_X^p\alpha, $$ 則： $$ \boxed{ f_\ast Z \Vdash_Y^{p+m-n} f_\ast\alpha. } $$ 其中 cohomological pushforward含相應 degree shift： $$ H^{2p}(X) \to H^{2(p+m-n)}(Y). $$ --- # 11. Legality Rule L4：Pullback / Gysin 這一條必須特別小心。 cohomology對任意 continuous/algebraic map都有 ordinary pullback： $$ f^\ast. $$ 但 cycle-side pullback不是在任意 singular setting都自動存在。 --- ## 11.1 R009 scope 中的 simplification 在本計畫目前 scope 中： $$ X,Y $$ 都是 smooth varieties。 對 morphism： $$ f:X\to Y, $$ 可利用 graph： $$ \Gamma_f \hookrightarrow X\times Y $$ 與 intersection theory定義 Gysin-type pullback： $$ \boxed{ f^!: CH^\ast(Y) \to CH^\ast(X). } $$ 在 smooth setting通常簡記為： $$ f^\ast. $$ cycle class相容： $$ \boxed{ \operatorname{cl} \left( f^!Z \right) = f^\ast \operatorname{cl}(Z). } $$ 所以： $$ Z\Vdash_Y\alpha $$ 推出： $$ \boxed{ f^!Z \Vdash_X f^\ast\alpha. } $$ --- ## 11.2 Flat pullback 是特殊情形 若： $$ f $$ flat， 則 Gysin pullback與通常 flat pullback一致。 所以後續 AI 不得把： $$ \text{flat pullback} $$ 與： $$ \text{general smooth-ambient Gysin pullback} $$ 混成沒有條件的一條規則。 --- # 12. Legality Rule L5：Algebraic vector bundle Chern classes 若： $$ E $$ 是 $X$ 上 algebraic vector bundle， 則 Chow-theoretic Chern classes： $$ c_i(E) \in CH^i(X) $$ 存在。 其 cycle class是 topological / cohomological Chern class： $$ \operatorname{cl} \left( c_i(E) \right) = c_i^{\mathrm{coh}}(E). $$ 因此： $$ \boxed{ c_i(E) \Vdash c_i^{\mathrm{coh}}(E). } $$ 這提供一類 canonical seed witnesses。 --- # 13. Divisors 是 Phase II 第一個完整特例 對： $$ p=1, $$ Lefschetz $(1,1)$ theorem給出： $$ H^2(X,\mathbb Z) \cap H^{1,1}(X) = c_1 \left( \operatorname{Pic}(X) \right). $$ 所以所有 rational divisor Hodge classes都有 line-bundle witness。 因此： $$ \boxed{ \mathrm{Hodge}(X,1) } $$ 已知成立。 Legality語言中： $$ \boxed{ V_X^1 = \operatorname{span}_{\mathbb Q} \left\{ c_1(L): L\in\operatorname{Pic}(X) \right\}. } $$ --- # 14. Algebraic correspondences 令： $$ X,Y $$ 為 smooth projective equidimensional varieties， $$ \dim X=n. $$ degree-$r$ correspondence定義為： $$ \boxed{ \operatorname{Corr}^r(X,Y) = CH^{n+r}(X\times Y)_{\mathbb Q}. } $$ 取： $$ \Gamma\in\operatorname{Corr}^r(X,Y). $$ 對： $$ Z\in CH^p(X)_{\mathbb Q}, $$ 定義： $$ \boxed{ \Gamma_\ast Z = (\operatorname{pr}_Y)_\ast \left( \Gamma \cdot \operatorname{pr}_X^\ast Z \right) } $$ 屬： $$ CH^{p+r}(Y)_{\mathbb Q}. $$ --- # 15. Correspondence Legality Theorem ## 定理 15.1 若： $$ Z\Vdash_X^p\alpha $$ 且： $$ \Gamma \in \operatorname{Corr}^r(X,Y), $$ 則： $$ \boxed{ \Gamma_\ast Z \Vdash_Y^{p+r} \Gamma_\ast^{H}\alpha. } $$ 其中： $$ \Gamma_\ast^H(\alpha) = (\operatorname{pr}_Y)_\ast \left( \operatorname{cl}(\Gamma) \smile \operatorname{pr}_X^\ast\alpha \right). $$ ### 證明 由 L4： $$ \operatorname{pr}_X^\ast Z $$ 是： $$ \operatorname{pr}_X^\ast\alpha $$ 的 legal witness。 由 $\Gamma$ 本身是 algebraic cycle， $$ \Gamma \Vdash \operatorname{cl}(\Gamma). $$ 由 L1： $$ \Gamma\cdot\operatorname{pr}_X^\ast Z $$ witness： $$ \operatorname{cl}(\Gamma) \smile \operatorname{pr}_X^\ast\alpha. $$ 最後由 L3 proper pushforward， 得到結論。 證畢。 --- # 16. Correspondence composition 令： $$ \Gamma \in \operatorname{Corr}^r(X,Y), $$ $$ \Theta \in \operatorname{Corr}^s(Y,Z). $$ 定義： $$ \boxed{ \Theta\circ\Gamma = (\operatorname{pr}_{13})_\ast \left( \operatorname{pr}_{12}^\ast\Gamma \cdot \operatorname{pr}_{23}^\ast\Theta \right). } $$ 則： $$ \Theta\circ\Gamma \in \operatorname{Corr}^{r+s}(X,Z). $$ composition是 associative。 所以： $$ \boxed{ \text{smooth projective varieties + algebraic correspondences} } $$ 形成 graded $\mathbb Q$-linear category。 --- # 17. Legality Category R010 因此定義： $$ \boxed{ \mathbf{Leg}_{\mathrm{alg}} } $$ 其： ### Objects smooth projective varieties，必要時帶 degree/codimension labels。 ### Morphisms rational algebraic correspondences： $$ \operatorname{Corr}^\ast(X,Y). $$ ### Composition correspondence composition。 ### Action 對 Chow groups與 cohomology皆有 action， cycle class map intertwines兩個 actions。 因此 legality不是普通圖。 而是： $$ \boxed{ \text{typed graded correspondence category}. } $$ --- # 18. Morphisms 是 correspondences 的特例 若： $$ f:X\to Y $$ 為 morphism， 其 graph： $$ \Gamma_f \subset X\times Y $$ 是 algebraic cycle。 graph或 transpose graph的 correspondence action恢復： - Gysin pullback； - proper pushforward。 所以 L3 與 L4 可視為 correspondence calculus 的特殊情形。 --- # 19. Algebraic-Realizability Gate 現在到本輪最重要的禁止規則。 --- ## 定義 19.1 令： $$ T: H^\ast(X,\mathbb Q) \to H^\ast(Y,\mathbb Q) $$ 為某個 cohomological operator。 稱 $T$ 在指定 degree / subspace 上通過： $$ \boxed{ \mathrm{ARG} } $$ ——**Algebraic-Realizability Gate**——若存在 algebraic correspondence： $$ \Gamma \in CH^\ast(X\times Y)_{\mathbb Q} $$ 使： $$ T = \Gamma_\ast^H $$ 在該指定 domain 上成立。 --- # 20. ARG Legality Principle ## 定理／規則 20.1 若： $$ T $$ 通過 ARG， 且： $$ Z\Vdash\alpha, $$ 則： $$ \boxed{ \Gamma_\ast Z \Vdash T\alpha. } $$ 反之，若目前只知道： $$ T $$ 是： - linear； - Hodge-theoretic； - isometric； - monodromy-derived； - orthogonal projector； - inverse Lefschetz； - representation-theoretic； 但沒有 algebraic correspondence realization， 則： $$ \boxed{ T \text{ 不得被標為 legality-preserving}. } $$ --- # 21. 非法捷徑 A：Hodge projector 假設 cohomology中有 projector： $$ \pi: H^\ast(X) \to W $$ 其中： $$ W $$ 是 Hodge substructure。 即使： $$ \pi $$ 是 Hodge morphism， 也不能僅因此推出： $$ \pi(\alpha) $$ 對 algebraic $\alpha$ 仍 algebraic。 需要： $$ \boxed{ \pi \text{ algebraically realizable}. } $$ 也就是 projector本身來自 algebraic correspondence。 --- # 22. 非法捷徑 B：Primitive projection R003 中 primitive decomposition： $$ H^k = \bigoplus_j L^jP^{k-2j} $$ 在 cohomology完全合法。 但把一個 algebraic class： $$ \alpha $$ 投影到其 primitive component： $$ \pi_{\mathrm{prim}}(\alpha) $$ 是否仍 algebraic， 一般不能僅靠 Hodge theory推出。 因 primitive projector的顯式 construction會涉及 Lefschetz operator inverse / adjoint類資料。 這正碰到： $$ \boxed{ \text{Lefschetz Standard Conjecture }B. } $$ 該 conjecture的一種核心表述正是： > Hard Lefschetz 的 inverse operator由 algebraic correspondence誘導。 因此： $$ \boxed{ \text{R003 primitive decomposition} } $$ 屬 Measure； 而： $$ \boxed{ \text{primitive projection preserves algebraicity} } $$ 一般必須通過額外 ARG。 這是 Phase I 與 Phase II 的第一個真正斷層。 --- # 23. 非法捷徑 C：Künneth projector Künneth decomposition： $$ H^\ast(X\times X) = \bigoplus_k H^k(X)\otimes H^{2n-k}(X) $$ 在 cohomology成立。 但是將 diagonal class： $$ [\Delta_X] $$ 分解成 cohomological Künneth components： $$ \pi_k^H $$ 後， 不能無條件宣稱每個： $$ \pi_k^H $$ 都是 algebraic correspondence。 Künneth projectors的 algebraicity本身屬 standard-conjecture / motivic territory。 所以： $$ \boxed{ \text{cohomological Künneth splitting} \neq \text{legal Chow projector decomposition}. } $$ --- # 24. 非法捷徑 D：Monodromy transport R004 中 monodromy： $$ T_\gamma : H^\ast(X_s) \to H^\ast(X_s) $$ 是 flat local-system automorphism。 即使： $$ T_\gamma(\alpha) $$ 仍是 Hodge class， 也不能因： $$ \alpha $$ algebraic就推出： $$ T_\gamma(\alpha) $$ algebraic。 原因： $$ T_\gamma $$ 一般不是某個 algebraic self-correspondence的 cohomological action。 所以： $$ \boxed{ \text{monodromy} \not\Rightarrow \text{legal transport}. } $$ 這正是未來 Phase III 會重新遇到的核心障礙之一。 --- # 25. 非法捷徑 E：Mumford–Tate invariance R006 中： $$ \alpha $$ 為： $$ G_X^{\mathrm{coh}} $$ -invariant， 等價於： $$ \alpha $$ 是 rational Hodge tensor。 但： $$ \boxed{ \text{Hodge tensor} \not\Rightarrow \text{algebraic cycle}. } $$ 否則 Hodge conjecture本身已被解掉。 所以 MT invariance只有： $$ \boxed{ \text{candidate legality} } $$ 而非： $$ \boxed{ \text{witness legality}. } $$ --- # 26. 非法捷徑 F：Period constancy 若一個 flat rational class： $$ \alpha_t $$ 沿某 Hodge locus一直保持： $$ (p,p), $$ 也只表示： $$ \alpha_t $$ 持續是 Hodge candidate。 這不提供： $$ Z_t $$ 使： $$ [Z_t]=\alpha_t. $$ 所以： $$ \boxed{ \text{Hodge-locus persistence} \not\Rightarrow \text{cycle-family persistence}. } $$ 這是 variational Hodge problem的合法性核心。 --- # 27. Legal Seed Constructors R010 將以下 object列為可直接產生 legal witness 的 seed constructors： 1. closed algebraic subvariety： $$ Z\subset X; $$ 2. rational linear combinations of algebraic cycles； 3. Cartier divisors / line bundles： $$ c_1(L); $$ 4. algebraic vector bundles的 Chern classes： $$ c_i(E); $$ 5. graphs of algebraic morphisms： $$ \Gamma_f; $$ 6. diagonals： $$ \Delta_X; $$ 7. products of known cycles； 8. algebraic correspondences already constructed。 它們的共同特徵： $$ \boxed{ \text{cycle-side object先存在}. } $$ --- # 28. Legality-Preserving Syntax 定義 formal expressions： $$ \mathcal E_{\mathrm{alg}} $$ 由 seed cycles經下列 operations生成： $$ +, \quad \mathbb Q\text{-scaling}, \quad \cdot, \quad \times, \quad f_\ast, \quad f^!, \quad \Gamma_\ast. $$ 每個 operation附帶其 type conditions。 --- # 29. Soundness Theorem ## 定理 29.1 任意 well-typed expression： $$ E\in\mathcal E_{\mathrm{alg}} $$ 都定義某個 Chow class： $$ Z_E. $$ 若把同一 expression中的： - cycle addition換成 cohomology addition； - intersection換成 cup product； - external product換成 Künneth external product； - pushforward換成 cohomological pushforward； - Gysin pullback換成 cohomological pullback； - correspondence action換成 cohomological correspondence action； 得到： $$ \alpha_E, $$ 則： $$ \boxed{ Z_E \Vdash \alpha_E. } $$ ### 證明 對 expression tree作結構歸納。 atomic seed成立。 每個 induction step分別由 L0–L5與 correspondence legality theorem保證 cycle class compatibility。 證畢。 --- # 30. 這是一個真正的 proof certificate language R029 表示 AI 未來若聲稱： $$ \alpha $$ algebraic， 可以不只輸出自然語言理由， 而輸出一棵 legality derivation tree： $$ \boxed{ \mathsf{Cert}(\alpha). } $$ leaf nodes： $$ \text{explicit algebraic cycles}. $$ internal nodes： $$ \text{typed legal operations}. $$ root： $$ Z\Vdash\alpha. $$ 這個 certificate可以機械檢查 operation types與 cycle-class functoriality。 --- # 31. 但 syntax completeness不是 Hodge completeness 若允許： $$ \text{任何未知 algebraic cycle} $$ 作 atomic seed， 則當然每個 algebraic class都有一個 trivial one-node certificate。 這不代表我們知道怎麼找到它。 所以必須區分： ### Semantic completeness 所有 algebraic cycles都可作 witness。 這是定義上成立。 ### Constructive completeness 從某個有限／已知 seed library出發，legal syntax能生成： $$ \operatorname{Alg}^p(X). $$ 這一般未知。 ### Hodge completeness legal syntax能生成： $$ V_X^p. $$ 這就是 Hodge conjecture級別問題。 --- # 32. Stress Test A：Projective space 令： $$ X=\mathbb P^n. $$ hyperplane class： $$ h = c_1 \left( \mathcal O(1) \right) $$ 有 legal seed。 由 intersection： $$ h^p $$ 有 legal witness： $$ [\mathbb P^{n-p}]. $$ 而： $$ H^{2p}(\mathbb P^n,\mathbb Q) = \mathbb Qh^p. $$ 所以： $$ \boxed{ \text{known seed + intersection} } $$ 已生成全部 Hodge candidates。 --- # 33. Stress Test B：Divisors on arbitrary smooth projective $X$ 由 Lefschetz $(1,1)$： 每個： $$ \alpha\in V_X^1 $$ 可由 rational line-bundle Chern classes表示。 所以： $$ \boxed{ \mathrm{LegalityClosure}(X,1)=1 } $$ 在 direct divisor scope已知。 這是 Phase II 的正控制組。 --- # 34. Stress Test C：CM elliptic curve self-product 令 $E$ 為 CM elliptic curve， 取非平凡 CM endomorphism： $$ \varphi:E\to E. $$ 其 graph： $$ \Gamma_\varphi \subset E\times E $$ 是 algebraic divisor。 因此其 cohomology class： $$ [\Gamma_\varphi] $$ 有直接 legal witness。 R005 中 CM case： $$ \rho(E^2)=4 $$ 的額外 Hodge direction， 正可以由 CM endomorphism graph提供 cycle-side幾何來源。 這是 R006 tensor-symmetry candidate與 R010 algebraic witness第一次真正對接的簡單例子。 --- # 35. Stress Test D：Non-CM elliptic product non-CM： $$ \operatorname{End}^0(E)=\mathbb Q. $$ 缺少額外 CM endomorphism graph。 所以其 divisor Hodge structure只有相對較小的 algebraic endomorphism symmetry。 這與： $$ \rho(E^2)=3 $$ 一致。 注意這個例子之所以容易， 是因： $$ p=1 $$ 已有 Lefschetz $(1,1)$ theorem。 不能外推到高 codimension。 --- # 36. Stress Test E：Primitive projector trap 取 general higher-dimensional smooth projective $X$， 令： $$ \alpha $$ 為已知 algebraic Hodge class。 在 R003 decomposition中： $$ \alpha = \alpha_{\mathrm{prim}} + L\beta + \cdots. $$ 即使 decomposition唯一， 若沒有 algebraic primitive projector， 不能自動得到： $$ \alpha_{\mathrm{prim}} $$ algebraic。 因此 legality checker應回傳： $$ \boxed{ \mathrm{BLOCKED\_BY\_ARG}. } $$ 而不是： $$ \mathrm{LEGAL}. $$ --- # 37. Legality Status Enum R010 建議每個 candidate relation使用： $$ \boxed{ \{ \mathrm{LEGAL}, \mathrm{CONDITIONAL}, \mathrm{BLOCKED\_BY\_ARG}, \mathrm{UNKNOWN}, \mathrm{ILLEGAL} \} } $$ 其中： ### LEGAL 已有 explicit Chow witness或已驗證 legal derivation。 ### CONDITIONAL 若明列 conjecture / hypothesis成立則有 witness。 ### BLOCKED_BY_ARG cohomological operator已知，但其 algebraic realization未知。 ### UNKNOWN 連候選 construction是否能 cycle-side實現都未定位。 ### ILLEGAL type不匹配或使用已知不成立的操作。 --- # 38. Conditional Legality Example 若假設 Lefschetz Standard Conjecture $B(X)$， 則 Hard Lefschetz inverse： $$ \Lambda $$ 由 algebraic correspondence誘導。 因此若 primitive projector可由： $$ L,\Lambda $$ 的 polynomial expression構造， 它便通過 ARG。 所以： $$ \boxed{ \text{primitive algebraicity preservation} } $$ 可在： $$ B(X) $$ 假設下由： $$ \mathrm{BLOCKED\_BY\_ARG} $$ 升級到： $$ \mathrm{CONDITIONAL}. $$ 這種狀態標記對 AI 後續研究非常重要。 --- # 39. Measure-to-Legality Boundary Table | Phase-I fact | 可否直接升 Legal？ | 原因 | |---|---:|---| | $\alpha$ is $(p,p)$ rational | No | 這只是 Hodge candidate | | $\alpha$ is MT-invariant | No | Hodge tensor不等於 algebraic cycle | | $\alpha$ monodromy-fixed | No | flat/topological invariant不等於 algebraic | | $\alpha$ lies in Hodge locus | No | type persistence不等於 witness persistence | | $\alpha=c_i(E)$ for algebraic bundle | Yes | Chow Chern class提供 witness | | $\alpha=f_\ast[Z]$ with proper algebraic $f$ | Yes | proper pushforward合法 | | $\alpha=f^\ast[Z]$ in smooth scope | Yes | Gysin pullback合法 | | $\alpha=\Gamma_\ast\beta$ with algebraic $\Gamma$ and legal $\beta$ | Yes | correspondence calculus | | $\alpha=\pi_H(\beta)$ for only cohomological projector $\pi_H$ | No | 必須通過 ARG | --- # 40. R010 的第一個 Legality Closure 本輪不宣稱： $$ \mathrm{LegalityClosure}=1. $$ 只建立： $$ \boxed{ \text{Direct Legality Kernel} } $$ 記為： $$ \boxed{ \mathfrak L_0. } $$ 其內容： $$ \mathfrak L_0 = \left[ CH^\ast(-)_{\mathbb Q}, \operatorname{cl}, \mathbf{Leg}_{\mathrm{alg}}, \mathrm{ARG}, \mathcal E_{\mathrm{alg}} \right]. $$ --- # 41. 下一個真正問題 有了： $$ \mathfrak L_0, $$ 下一輪不應立刻嘗試 general Hodge conjecture。 應研究： > 從一組已知 algebraic seeds與 correspondences出發，legal closure究竟有什麼 algebraic結構？哪些 operation其實重複？何時 closure可以有限生成？ 因此下一輪： ```text HODGE_MLRSC_R011_L_LegalOperationClosure.md ``` 建議主題： $$ \boxed{ \text{Algebraic Correspondence Closure} } $$ 與： $$ \boxed{ \text{witness-generation graph/category}. } $$ --- # 42. Known Boundary R010 沒有證明： - Hodge conjecture； - finite seed generation； - standard conjectures； - Künneth projectors algebraic； - Lefschetz inverse algebraic； - monodromy algebraic； - variational Hodge conjecture； - any new high-codimension cycle existence theorem。 本輪只建立： $$ \boxed{ \text{什麼操作可以合法傳遞已知 algebraicity}. } $$ --- # 43. R010 Status 本輪已證／固定： 1. direct legal witness relation； 2. typed witness record； 3. rational linearity； 4. intersection legality； 5. external-product legality； 6. proper-pushforward legality； 7. smooth-scope Gysin-pullback legality； 8. algebraic Chern seed legality； 9. algebraic correspondence legality； 10. correspondence composition形成 graded category； 11. morphisms可被 graph correspondences吸收； 12. Algebraic-Realizability Gate； 13. cohomological operator不自動 legality-preserving； 14. primitive/Künneth projector traps； 15. monodromy、MT invariance、Hodge-locus persistence都不能直接升 legal； 16. well-typed legality expression具有 soundness。 因此： $$ \boxed{ \mathrm{Status} = \mathrm{PROVED}. } $$ 只指 R010 Primary Claim。 --- # 44. 本輪基本摘要 Phase I 的語言是： $$ \boxed{ \text{candidate} } $$ Phase II 從現在開始要求： $$ \boxed{ \text{candidate + witness}. } $$ 最核心規則可以壓成： $$ \boxed{ Z\Vdash\alpha \iff \operatorname{cl}(Z)=\alpha. } $$ 然後所有 legality-preserving operation都必須在 cycle side真正存在。 這得到一個統一閘門： $$ \boxed{ \text{cohomological operator} \longrightarrow \mathrm{ARG} \longrightarrow \text{legal correspondence action}. } $$ 如果中間： $$ \mathrm{ARG} $$ 過不了， 就算 operator在 Hodge theory裡再自然， 也只能留在 Measure layer。 這會是後續整條霍奇研究線最重要的防錯規則之一。 --- # 參考文獻 1. W. Fulton, *Intersection Theory*, Springer. Chow groups、Gysin maps、intersection products、correspondences 的標準來源。 2. The Stacks Project, *Chow Groups / Proper Pushforward / Push and Pull*. Proper pushforward、flat pullback與 base-change compatibility。 https://stacks.math.columbia.edu/tag/02RF 3. The Stacks Project, *Pullback for a general morphism*；smooth/nonsingular scope 的 Chow pullback及 projection formula。 https://stacks.math.columbia.edu/tag/0B0H 4. The Stacks Project, *Correspondences*. Smooth projective schemes 的 graded correspondence category、composition與 cycle action。 https://stacks.math.columbia.edu/tag/0FFZ 5. The Stacks Project, *Classical Weil cohomology theories*. Cycle class map對 pullback、pushforward與 intersection product 的 compatibility。 https://stacks.math.columbia.edu/tag/0FGS 6. S. L. Kleiman, *The Standard Conjectures*, in *Motives* / classical expositions. Lefschetz standard conjecture與 algebraicity of inverse Lefschetz operators。 7. A. Grothendieck, *Standard conjectures on algebraic cycles*. Algebraic Künneth projectors與 Lefschetz-type operators的 conjectural framework。 8. Aletheia, *HODGE_MLRSC_R009_M_MeasureClosureAuditIII*, 2026-09-15. --- ## Canonical Source Declaration 本檔案為本輪正式 UTF-8 Markdown canonical source。 數學原始碼只使用 `$...$` 與 `$$...$$`。 聊天畫面不是本輪 canonical source。