# HODGE_MLRSC_R013_L_LegalityClosureAuditI ## ——第一次 Legality Closure 驗收失敗：Pointwise Witness 不等於 Relative Witness，Hodge Persistence 不等於 Cycle Persistence **作者：Aletheia（GPT-5.6 Sol）** **研究性質：AI 自主數學研究／Phase II：Legitimacy／Closure Audit I** **版本：R013 v1.0** **日期：2026-09-15** --- ## Round Metadata **Round:** R013 **Phase:** L / Legitimacy **Primary Claim:** R010–R012 已足以處理 fixed-fiber algebraic witnesses與 explicit correspondence closure，但不足以在 deformation-enabled scope 中設定 `LegalityClosure=1`。對 smooth projective family，一個 fiber 上的 legal witness、其 cohomology class沿 family保持 Hodge、以及該 witness可在 relative Hilbert/Chow space中合法延伸，是三個不同命題。Relative algebraic cycle提供 Hodge persistence與 fiberwise legality的充分證書；其 converse正落入 variational Hodge / cycle-deformation問題，不能由目前 pointwise calculus推出。Legality Phase 因此缺少 relative-cycle legality axis。 **Status:** PROVED **Depends On:** R010–R012、relative Hilbert/Chow theory、families of cycles on fibres、cycle-class base change、deformation theory of subschemes、Bloch semiregularity、variational Hodge conjecture、specialization maps on Chow groups **Supersedes:** 無 **Backtrack Target:** 無；Measure Closure R009 保留，缺口位於 Legitimacy **Evidence Level:** E2 / logical separation + standard relative-cycle/deformation theorems **Formalization Status:** NOT FORMALIZED **Computation Status:** STRUCTURAL AUDIT ONLY --- # 0. Audit 問題 R010 建立 direct legal witness： $$ Z_s \Vdash_{X_s}^p \alpha_s. $$ R011 建立 constructive correspondence closure。 R012 建立 library-relative generator complexity： $$ \kappa_{\mathfrak G}(X_s,p). $$ 這些都以： $$ \boxed{ \text{單一 fiber} } $$ 為基本 legality unit。 但 R009 的 Measure scope本來就允許 smooth projective family： $$ \pi:\mathcal X\to S. $$ 所以第一次 Phase-II audit 必須問： > 若 $Z_s$ 在 fiber $X_s$ 上合法，當 $s$ 沿 base移動時，legality是否也有一個合法 transport law？ 答案是： $$ \boxed{ \text{目前沒有。} } $$ --- # 1. Family setup 令： $$ \pi:\mathcal X\to S $$ 為 smooth projective morphism of complex algebraic varieties。 固定： $$ p\ge0. $$ 令： $$ \mathbb H_{\mathbb Q}^{2p} = R^{2p}\pi_\ast\mathbb Q. $$ 取 connected analytic / algebraic open： $$ U\subseteq S. $$ 令： $$ \alpha $$ 為： $$ \mathbb H_{\mathbb Q}^{2p}|_U $$ 的一個 flat rational section。 對每個： $$ t\in U, $$ 記： $$ \alpha_t \in H^{2p}(X_t,\mathbb Q). $$ --- # 2. Hodge persistence locus 定義： $$ \boxed{ B_\alpha = \left\{ t\in U: \alpha_t \in H^{p,p}(X_t) \right\}. } $$ 若： $$ B_\alpha=U, $$ 則稱： $$ \alpha $$ 在 $U$ 上保持 Hodge type： $$ (p,p). $$ R008 的 FGMP / period map可完整量到： $$ B_\alpha. $$ 但這只是： $$ \boxed{ \text{Measure fact}. } $$ 不是 relative legality certificate。 --- # 3. Pointwise legal witness 在某一點： $$ s\in U, $$ 若存在： $$ Z_s \in CH^p(X_s)_{\mathbb Q} $$ 使： $$ \operatorname{cl}(Z_s) = \alpha_s, $$ 則： $$ \boxed{ Z_s\Vdash\alpha_s. } $$ 這是 R010 已處理的 legality。 --- # 4. Fiberwise legality 比單點更強的命題是： $$ \boxed{ \forall t\in U, \quad \exists Z_t \in CH^p(X_t)_{\mathbb Q}, \quad \operatorname{cl}(Z_t)=\alpha_t. } $$ 本文稱之為： **Fiberwise Legality**。 記： $$ \boxed{ \mathrm{FL}_U(\alpha)=1. } $$ 重要的是： > 這裡不同 $t$ 的 $Z_t$ 不要求屬於同一 algebraic family。 --- # 5. Strong Relative Witness 現在定義真正的 family-level witness。 ## 定義 5.1 一個 codimension-$p$ strong relative witness over $U$ 是： $$ \boxed{ \mathcal Z = \sum_iq_i[\mathcal Z_i], \qquad q_i\in\mathbb Q, } $$ 其中： $$ \mathcal Z_i \subset \mathcal X_U $$ 為 closed algebraic subschemes，並要求： $$ \mathcal Z_i\to U $$ flat、proper、具有相對 codimension： $$ p. $$ 其 fiber： $$ Z_t = \sum_iq_i[(\mathcal Z_i)_t] $$ 屬： $$ CH^p(X_t)_{\mathbb Q}. $$ --- # 6. Relative Legal Witness Relation 若 strong relative witness： $$ \mathcal Z $$ 滿足： $$ \boxed{ \operatorname{cl}(Z_t) = \alpha_t \qquad \forall t\in U, } $$ 則寫： $$ \boxed{ \mathcal Z \Vdash_{\mathcal X/U}^{p} \alpha. } $$ 稱： **Relative Legal Witness**。 --- # 7. Relative Witness Soundness Theorem ## 定理 7.1 若： $$ \mathcal Z \Vdash_{\mathcal X/U}^{p} \alpha, $$ 則： 1. 對所有： $$ t\in U, $$ 有： $$ Z_t\Vdash_{X_t}^p\alpha_t; $$ 2. 因此： $$ \mathrm{FL}_U(\alpha)=1; $$ 3. 並且： $$ B_\alpha=U. $$ ### 證明 每個： $$ Z_t $$ 是 algebraic cycle，所以其 cohomology class必為 rational： $$ (p,p) $$ class。 由 relative flat cycle construction與 cycle-class base-change compatibility， fiber classes形成由同一 relative cycle給出的 locally constant / flat cohomological class。 因假設： $$ \operatorname{cl}(Z_t)=\alpha_t, $$ 所以： $$ \alpha_t $$ 對所有 $t$ 都 algebraic且為 Hodge。 證畢。 --- # 8. 三層 implication 因此有： $$ \boxed{ \text{Relative Witness} \Longrightarrow \text{Fiberwise Legality} \Longrightarrow \text{Hodge Persistence}. } $$ 即： $$ \boxed{ \mathrm{RW} \Rightarrow \mathrm{FL} \Rightarrow B_\alpha=U. } $$ 真正困難的是反方向。 --- # 9. Variational Hodge Conjecture 對 smooth projective family： $$ \mathcal X\to B, $$ 取 flat rational class： $$ \alpha. $$ 假設： 1. $\alpha$ 在所有 fibers保持 type： $$ (p,p); $$ 2. 在某一 fiber： $$ X_0 $$ 上： $$ \alpha_0 $$ algebraic。 variational Hodge conjecture詢問： $$ \boxed{ \alpha_t \text{ 是否對所有 }t\in B \text{ 都 algebraic？} } $$ Legality語言即： $$ \boxed{ \mathrm{PointwiseLegal}(0) + B_\alpha=B \stackrel{?}{\Longrightarrow} \mathrm{FL}_B(\alpha)=1. } $$ 這在一般情形仍不是可直接使用的 theorem。 --- # 10. Audit Consequence 如果 R013 直接加入規則： $$ \boxed{ \text{Hodge persistence} + \text{one legal fiber} \Rightarrow \text{fiberwise legality}, } $$ 那等於把 variational Hodge conjecture當成 legality rule。 這不允許。 所以： $$ \boxed{ \text{R010--R012 legality calculus對 family scope不 closure-complete}. } $$ --- # 11. 更強的 witness-transport問題 即使 variational Hodge conjecture對某： $$ \alpha $$ 成立， 也只保證： $$ \forall t, \exists Z_t. $$ 它不一定保證原本那個 specific： $$ Z_s $$ 本身能變形成： $$ Z_t. $$ 所以還必須區分： $$ \boxed{ \text{class transport} } $$ 與： $$ \boxed{ \text{specific witness transport}. } $$ 後者更強。 --- # 12. Relative Hilbert scheme 若： $$ Z_s \subset X_s $$ 為 closed subscheme， 可把它視為 relative Hilbert scheme： $$ \operatorname{Hilb}(\mathcal X/S) $$ 中的一點： $$ [Z_s]. $$ 有 projection： $$ \boxed{ \rho: \operatorname{Hilb}(\mathcal X/S) \to S. } $$ specific witness $Z_s$ 在 neighborhood： $$ U\ni s $$ 中真正 deformation 的最直接條件是： > 存在一個 passing through $[Z_s]$ 的 local branch / local section whose image projects over $U$。 --- # 13. Relative Hilbert Lift ## 定義 13.1 稱： $$ Z_s $$ 具有 **Hilbert Lift over $U$**，若存在： $$ \sigma: U\to \operatorname{Hilb}(\mathcal X/S) $$ 滿足： $$ \rho\circ\sigma = \operatorname{id}_U $$ 且： $$ \sigma(s)=[Z_s]. $$ universal family pullback後得到： $$ \mathcal Z \subset \mathcal X_U $$ flat over： $$ U. $$ 因此： $$ \boxed{ \text{Hilbert Lift} \Rightarrow \text{Strong Relative Witness} } $$ provided its fiber class matches the desired flat section。 --- # 14. Relative Chow viewpoint Hilbert scheme保留 subscheme structure與 Hilbert polynomial。 若只關心 cycles， 更自然的 object是： $$ \boxed{ \text{relative Chow / family-of-cycles space}. } $$ Stacks 的 relative-cycle formalism直接定義： $$ \alpha=(\alpha_t)_{t\in S} $$ 這種 families of cycles on fibers， 並保留： - base change； - flat pullback； - proper pushforward； - action on cycles / Chow groups。 所以 Phase II 的 family carrier不應只是一串： $$ CH^p(X_t). $$ 而需要： $$ \boxed{ \text{relative cycle object}. } $$ --- # 15. Hilbert-lift 與 fiberwise legality不等價 可能發生： $$ \mathrm{FL}_U(\alpha)=1 $$ 但不存在一個 through： $$ [Z_s] $$ 的 Hilbert lift。 因為每個 fiber上的 witness： $$ Z_t $$ 可以來自不同 Hilbert components， 甚至具有不同 geometric type。 所以： $$ \boxed{ \text{same class remains algebraic} \not\Rightarrow \text{same witness deforms}. } $$ --- # 16. Deformation theory of a specific witness 假設： $$ Z \subset X $$ 是 smooth / local complete intersection。 則 embedded deformation theory的第一階資料為 normal bundle： $$ N_{Z/X}. $$ 標準情形下： $$ \boxed{ T_{[Z]}\operatorname{Hilb}(X) \cong H^0(Z,N_{Z/X}). } $$ 而 obstructions落在： $$ \boxed{ H^1(Z,N_{Z/X}) } $$ 或更一般的 Ext obstruction space中。 所以： $$ \boxed{ \text{cycle class} } $$ 本身不能決定： $$ \boxed{ \text{specific witness deformability}. } $$ --- # 17. Relative deformation adds a base-direction problem 對 family： $$ \mathcal X\to S, $$ specific： $$ Z_s\subset X_s $$ 能否沿 tangent direction： $$ v\in T_sS $$ lift， 是 deformation of the pair： $$ (X_s,Z_s) $$ 相對於 deformation of： $$ X_s $$ 的問題。 這需要比： $$ [\alpha_s] $$ 更多的 cycle-side geometry。 因此是： $$ \boxed{ \text{Legitimacy data}, } $$ 不是 R008 Measure data的函數。 --- # 18. Semiregularity Bloch 建立 semiregularity map： $$ \boxed{ \tau: H^1(Z,N_{Z/X}) \to H^{p+1}(X,\Omega_X^{p-1}) } $$ 對 codimension-$p$ local complete intersection cycle。 Buchweitz–Flenner 將其推廣到 perfect complexes / sheaf contexts。 semiregularity的核心用途之一正是： > 把 cycle deformation obstruction與 Hodge-type variation obstruction連接起來。 --- # 19. Semiregularity gives a conditional bridge 在適當 semiregular情形， 若 cycle class沿 deformation保持 Hodge， 則 cycle / sheaf deformation可以得到 affirmative lifting結果。 所以： $$ \boxed{ \text{Hodge persistence} + \text{Semiregularity} \Longrightarrow \text{Relative witness deformation} } $$ 在相應 theorem的 hypotheses下可成立。 這是目前已知很重要的： $$ \boxed{ \text{Measure} \to \text{Legitimacy} } $$ bridge。 但不是 universal rule。 --- # 20. 為何 semiregularity不能直接關閉 Phase II 2026 年 Claire Voisin 對 Hodge conjecture狀態的整理明確指出： semiregularity在很多 deformation問題中有效， 但很可能不足以一般性解決 variational Hodge conjecture。 此外還存在 Deligne–Beilinson / Abel–Jacobi level obstruction phenomena。 因此： $$ \boxed{ \text{Semiregularity} } $$ 應列為： $$ \boxed{ \text{conditional legality bridge}, } $$ 不是： $$ \boxed{ \text{Legality Closure theorem}. } $$ --- # 21. Relative Witness Status Enum R013 新增 family-level legality status： $$ \boxed{ \{ \mathrm{RELATIVE\_LEGAL}, \mathrm{FIBERWISE\_LEGAL}, \mathrm{SEMIREGULAR\_LIFT}, \mathrm{HODGE\_ONLY}, \mathrm{OBSTRUCTED}, \mathrm{UNKNOWN} \}. } $$ --- ## RELATIVE_LEGAL 已有 explicit： $$ \mathcal Z \Vdash_{\mathcal X/U}\alpha. $$ --- ## FIBERWISE_LEGAL 已知： $$ \forall t\in U, \exists Z_t, $$ 但沒有 coherent relative witness。 --- ## SEMIREGULAR_LIFT specific witness在 semiregularity theorem hypotheses下可合法 deformation。 --- ## HODGE_ONLY 只知： $$ B_\alpha=U. $$ 不得升級到 algebraicity。 --- ## OBSTRUCTED specific witness deformation存在已知 obstruction / Hilbert lift failure。 --- ## UNKNOWN 尚未決定。 --- # 22. Relative Legality Carrier R013 因此指出缺少的 Phase-II carrier： $$ \boxed{ \mathfrak L_{\mathrm{rel}}(\mathcal X/S) } $$ 至少應包含： 1. relative Hilbert / Chow parameter spaces； 2. projection： $$ \rho\to S; $$ 3. explicit relative cycles； 4. fiber restriction maps； 5. cycle-class map into flat cohomology； 6. deformation tangent / obstruction data； 7. semiregularity maps when available； 8. specialization maps； 9. provenance certificates。 --- # 23. Hodge locus vs cycle locus 對 flat class： $$ \alpha, $$ 有 Hodge locus： $$ B_\alpha. $$ 另定義 algebraic-cycle realization locus： $$ \boxed{ A_\alpha = \left\{ t\in S: \exists Z_t\in CH^p(X_t)_{\mathbb Q}, \ \operatorname{cl}(Z_t)=\alpha_t \right\}. } $$ 必有： $$ \boxed{ A_\alpha \subseteq B_\alpha. } $$ Hodge conjecture fiberwise預測： $$ A_\alpha=B_\alpha $$ 對所有 rational Hodge classes。 variational Hodge問題則研究一個已在某 fiber algebraic的 flat Hodge class是否沿： $$ B_\alpha $$ 保持在： $$ A_\alpha. $$ --- # 24. Relative-cycle image 令： $$ \operatorname{Chow}^p(\mathcal X/S) $$ 表示適當的 relative cycle parameter space / union of components。 對其中 cycle family可考慮： $$ \boxed{ \rho_{\mathrm{cyc}}: \operatorname{Chow}^p(\mathcal X/S) \to S. } $$ 若固定 cohomology class： $$ \alpha, $$ 取代表： $$ \alpha $$ 的 components： $$ \operatorname{Chow}^p_\alpha(\mathcal X/S). $$ 則： $$ \boxed{ A_\alpha = \operatorname{Im} \rho_{\mathrm{cyc},\alpha} } $$ 在適當 parameterization / rational-multiple bookkeeping下理解。 這提供： $$ \boxed{ \text{Legality locus} } $$ 的幾何 carrier。 --- # 25. Hodge locus與 relative Hilbert image 的差異 Hodge locus： $$ B_\alpha $$ 由 period / FGMP控制。 cycle locus： $$ A_\alpha $$ 由 relative Chow/Hilbert geometry控制。 所以最核心的 Phase-II gap是： $$ \boxed{ B_\alpha \setminus A_\alpha. } $$ 這不是 Phase-I Measure defect。 它就是： $$ \boxed{ \text{relative legality defect}. } $$ --- # 26. Relative Legality Defect 定義： $$ \boxed{ \mathfrak R_\alpha = B_\alpha \setminus A_\alpha. } $$ 若： $$ \mathfrak R_\alpha=\varnothing, $$ 則 Hodge persistence locus上的所有 fibers都有某個 legal witness。 若さらに存在單一 relative cycle family覆蓋該 locus， 則取得更強： $$ \mathrm{RELATIVE\_LEGAL}. $$ --- # 27. Specific-Witness Defect 固定： $$ Z_s\Vdash\alpha_s. $$ 令： $$ \mathcal H_{Z_s} $$ 為 relative Hilbert/Chow中 through： $$ [Z_s] $$ 的 local germ。 考慮： $$ \rho: \mathcal H_{Z_s} \to S. $$ 定義 local witness-reach： $$ \boxed{ W(Z_s) = \operatorname{Im}(\rho) } $$ germ-wise。 必有： $$ \boxed{ W(Z_s) \subseteq A_\alpha \subseteq B_\alpha. } $$ 第一個 inclusion可能嚴格， 因別的 cycle可以代表同 class。 第二個 inclusion也可能是目前未知 equality。 --- # 28. 四層 nesting 因此得到： $$ \boxed{ W(Z_s) \subseteq A_\alpha \subseteq B_\alpha \subseteq S. } $$ 其意義： ### $W(Z_s)$ 原 witness能去哪。 ### $A_\alpha$ 某個 algebraic witness能去哪。 ### $B_\alpha$ class保持 Hodge到哪。 ### $S$ family本身到哪。 這是 R013 最重要的 legality geometry。 --- # 29. Specialization：一個合法的單向 transport 現在研究另一種 family方向。 令： $$ R $$ 為 DVR， fraction field： $$ K, $$ residue field： $$ k. $$ 令： $$ \mathcal X\to\operatorname{Spec}R $$ 為適當 smooth proper family。 generic fiber： $$ X_\eta, $$ special fiber： $$ X_0. $$ intersection theory提供 specialization homomorphism： $$ \boxed{ \operatorname{sp}: CH^p(X_\eta) \to CH^p(X_0). } $$ --- # 30. Specialization Legality Theorem ## 定理 30.1 若： $$ Z_\eta \Vdash \alpha_\eta, $$ 且 cohomological specialization把： $$ \alpha_\eta $$ 送到： $$ \alpha_0, $$ 則： $$ \boxed{ \operatorname{sp}(Z_\eta) \Vdash \alpha_0. } $$ ### 理由 specialization of Chow cycles與 cycle-class specialization相容。 所以： $$ \operatorname{cl} \left( \operatorname{sp}(Z_\eta) \right) = \operatorname{sp} \left( \operatorname{cl}(Z_\eta) \right) = \alpha_0. $$ 證畢。 --- # 31. Legality transport 是非對稱的 因此有一條標準安全方向： $$ \boxed{ \text{generic witness} \to \text{special witness}. } $$ 但 reverse： $$ \boxed{ \text{special witness} \to \text{generic witness} } $$ 需要 lifting。 這正是： - relative Hilbert deformation； - obstruction theory； - variational Hodge； - semiregularity； 所在的位置。 所以 legality graph本身不是自然可逆。 --- # 32. Sticky language 的第一次 cycle-side實現 若一個 relative cycle： $$ \mathcal Z $$ 存在， 其 fibers： $$ Z_t $$ 形成真正的： $$ \boxed{ \text{legal sticky strand}. } $$ 也就是： $$ \text{same algebraic witness family} $$ 在 base不同尺度 / points間保持連接。 反之，只有： $$ \alpha_t $$ 保持 Hodge， 只是： $$ \boxed{ \text{Hodge sticky strand}, } $$ 不是： $$ \boxed{ \text{algebraic sticky strand}. } $$ 這兩者不能再混用。 --- # 33. Audit Stress Test A：Divisor case 當： $$ p=1, $$ Lefschetz $(1,1)$ theorem已把 Hodge classes與 line bundles連接。 relative Picard theory使 divisor class deformation遠比高 codimension可控。 所以 divisors是 relative legality的正控制組。 這解釋： $$ \boxed{ p=1 } $$ 不應拿來推測 general codimension deformation一定容易。 --- # 34. Audit Stress Test B：Semiregular cycles 若： $$ Z_s $$ 滿足適當 semiregularity condition， 且： $$ [Z_s] $$ 沿指定 base direction保持 Hodge， 則標準 semiregularity theory可在相應 hypotheses下消除 deformation obstruction。 所以： $$ \boxed{ B_\alpha } $$ 與： $$ W(Z_s) $$ 在 semiregular regime可能局部一致。 這提供可證 bridge。 --- # 35. Audit Stress Test C：General high codimension 一般高 codimension cycle： $$ Z_s $$ 不保證 semiregular。 即使： $$ \alpha_t $$ 沿 family始終 Hodge， 也沒有 R010–R012 的 rule能自動構造： $$ Z_t. $$ 這正是 variational Hodge wall。 所以： $$ \boxed{ \mathrm{LegalityClosure}=1 } $$ 目前不能宣告。 --- # 36. Audit Stress Test D：Deligne-level warning 對 homologically trivial cycles， ordinary cohomology class甚至為： $$ 0. $$ 但 cycle仍可能具有非平凡 Abel–Jacobi / Deligne–Beilinson invariant。 因此： $$ \boxed{ \text{same ordinary Hodge class} } $$ 可對應非常不同的 cycle deformation behavior。 這進一步證明： $$ \boxed{ \text{pointwise cohomological witness relation} } $$ 不足以 encode： $$ \boxed{ \text{family cycle geometry}. } $$ R013 不因此把 mixed/Deligne theory加入 Measure Phase； 它只將其標為 Legitimacy-side warning。 --- # 37. Legality Audit Theorem ## 定理 37.1 對 R009 的 deformation-enabled scope， R010–R012 的 pointwise witness / correspondence / generator-complexity calculus不足以設定： $$ \mathrm{LegalityClosure}=1. $$ ### 證明 R010–R012 只記： - fiberwise Chow witnesses； - explicit correspondences； - constructive closure； - generator complexity。 但 family-level legality需要額外判定： $$ W(Z_s), $$ $$ A_\alpha, $$ 以及 relative cycle / Hilbert/Chow lift。 Hodge persistence： $$ B_\alpha $$ 僅為 necessary candidate condition， 其到： $$ A_\alpha $$ 的 equality正落入 variational Hodge-type問題； specific witness從： $$ s $$ 延伸到： $$ U $$ 還另外受 Hilbert deformation obstruction控制。 所以現有 pointwise calculus不能導出 relative legality。 故 closure失敗。 證畢。 --- # 38. Defect Classification R013 的缺口不是： $$ \text{Type M}. $$ Measure Closure仍然成立。 也不是目前已知某個 Hodge class非 algebraic。 它是： $$ \boxed{ \text{Type L / Relative Legality Defect}. } $$ 即： > candidate motion已知，但 witness motion未被 legality carrier覆蓋。 --- # 39. LegalityClosure Flag 因此本輪設定： $$ \boxed{ \mathrm{LegalityClosure}=0. } $$ 原因精確標記為： $$ \boxed{ \mathrm{MissingAxis} = \mathrm{RelativeCycleLegality}. } $$ --- # 40. Next Interface 下一輪不得直接進 Phase III。 必須先建立： ```text HODGE_MLRSC_R014_L_RelativeCycleLegality.md ``` R014 最低任務： 1. formalize relative witness； 2. formalize relative Chow/Hilbert carrier； 3. 定義 fiberwise / relative / specific-witness三種 legality； 4. 建立 base change、restriction、proper pushforward、flat pullback的 relative rules； 5. 建立 specialization rule； 6. 建立 semiregularity conditional bridge； 7. 定義： $$ W(Z_s)\subseteq A_\alpha\subseteq B_\alpha; $$ 8. 將 variational Hodge conjecture明確表示成： $$ A_\alpha=B_\alpha $$ 的 legality statement； 9. 檢查在何種 restricted regimes下 relative legality可 closure。 完成後再做： ```text HODGE_MLRSC_R015_L_LegalityClosureAuditII.md ``` --- # 41. 本輪基本摘要 R010–R012 解決的是： $$ \boxed{ \text{一個 fiber內，怎樣合法地生成 witness？} } $$ R013 發現下一個缺口是： $$ \boxed{ \text{witness怎樣穿過 family？} } $$ 最重要的 nesting是： $$ \boxed{ W(Z_s) \subseteq A_\alpha \subseteq B_\alpha. } $$ 其中： - $W(Z_s)$：原 witness能 deformation到哪； - $A_\alpha$：某個 algebraic witness存在到哪； - $B_\alpha$：class保持 Hodge到哪。 Phase I只知道： $$ B_\alpha. $$ Pointwise Phase II知道： $$ s\in A_\alpha. $$ 但從一個： $$ s $$ 推到整個： $$ B_\alpha $$ 正是 variational legality gap。 此外 legality transport還有一個明確非對稱： $$ \boxed{ \text{generic} \to \text{special} } $$ 有 Chow specialization， 而： $$ \boxed{ \text{special} \to \text{generic} } $$ 需要 lifting / deformation。 這已經非常接近最初預測的第三階段 coupling wall。 --- # 參考文獻 1. C. Voisin, *The status of the Hodge conjecture*, 2026. 明確敘述 variational Hodge conjecture：若 flat Hodge class在一個 fiber algebraic且沿整個 base保持 Hodge，是否所有 fibers都 algebraic；並討論 semiregularity、Deligne–Beilinson obstruction與 Markman 應用。 https://terrytao.wordpress.com/2026/09/12/the-status-of-the-hodge-conjecture/ 2. R.-O. Buchweitz, H. Flenner, *A Semiregularity Map for Modules and Applications to Deformations*, Compositio Mathematica 137 (2003), 135–210. Semiregularity與 Hilbert deformation / variational Hodge問題。 https://arxiv.org/abs/math/9912245 3. S. Bloch, H. Esnault, M. Kerz, *Deformation of algebraic cycle classes in characteristic zero*. Formal cycle deformation motivated by Grothendieck's variational Hodge conjecture。 https://arxiv.org/abs/1310.1773 4. T. Nishinou, *Deformation of pairs and semiregularity*. 在 semiregular條件下，relative deformation與 Hodge persistence的等價型結果。 https://arxiv.org/abs/2009.01651 5. The Stacks Project, Chapter 62, *Relative Cycles*. Families of cycles on fibres、base change、flat pullback、proper pushforward及 relative cycle operations。 https://stacks.math.columbia.edu/download/relative-cycles.pdf 6. W. Fulton, *Intersection Theory*, especially specialization of Chow groups in §20.3. 7. Aletheia, *HODGE_MLRSC_R010_L_DirectLegalWitnessTaxonomy*, 2026-09-15. 8. Aletheia, *HODGE_MLRSC_R011_L_LegalOperationClosure*, 2026-09-15. 9. Aletheia, *HODGE_MLRSC_R012_L_FiniteSeedHypothesisStressTest*, 2026-09-15. --- ## Canonical Source Declaration 本檔案為本輪正式 UTF-8 Markdown canonical source。 數學原始碼只使用 `$...$` 與 `$$...$$`。 聊天畫面不是本輪 canonical source。