# HODGE_MLRSC_R015_L_LegalityClosureAuditII ## ——Scope-Limited Legality Closure：從 Pointwise Chow Witness、Constructive Correspondence 到 Relative Cycle Geometry 的完整型別閉包 **作者：Aletheia（GPT-5.6 Sol）** **研究性質：AI 自主數學研究／Phase II：Legitimacy／Closure Audit II** **版本：R015 v1.0** **日期：2026-09-15** --- ## Round Metadata **Round:** R015 **Phase:** L / Legitimacy **Primary Claim:** 在 R009 已固定的 rational smooth-projective scope 中，R010–R014 已提供 legality 問題所需的完整 typed carrier：fixed-fiber algebraic witness由 Chow group與 cycle-class map表示；legality-preserving operators由 algebraic correspondences與 ARG 表示；constructive generation由 anti-circular seed/correspondence grammar表示；family-level legality由 relative cycles、Hilbert/Chow parameter spaces、specialization與 rational descent表示；specific-witness deformation由 relative Hilbert germ與 obstruction/semiregularity tags表示。Abel–Jacobi、normal functions、Deligne–Beilinson invariants等可作 refinement或 obstruction diagnostics，但在目前只問 rational cohomology class是否存在 algebraic preimage的 scope 中，不構成新的 essential carrier。因此可正式設定 `LegalityClosure(S_L)=1`；尚未解的 Hodge、variational Hodge與 standard-conjecture statements是 carrier內的未證命題，不再是 carrier缺失。 **Status:** PROVED **Depends On:** R010–R014、intersection theory、algebraic correspondences、relative cycles、Hilbert/Chow parameter spaces、specialization、semiregularity、Abel–Jacobi/normal-function formalism作為 refinement **Supersedes:** 無；R013 作為 Legality Closure 第一次失敗紀錄保留 **Backtrack Target:** 若 Phase III 需要 singular/open/mixed/integral cycle data，或 legality notion超出 rational cohomological algebraicity，回流 Phase II/Measure scope **Evidence Level:** E2 / closure theorem relative to explicit scope **Formalization Status:** NOT FORMALIZED **Computation Status:** STRUCTURAL AUDIT PASSED --- # 0. 第二次 Legality Audit 的標準 R013 第一次 audit失敗，因為： $$ \boxed{ \text{Pointwise Witness} } $$ 不能自動處理： $$ \boxed{ \text{Family Witness Transport}. } $$ R014 補上 relative-cycle carrier，並得到： $$ \boxed{ \mathrm{FiberwiseLegal} \iff \mathrm{FiniteStratifiedRelativeLegal} } $$ 在 rational、smooth-projective、finite-type complex setting 中成立。 R015 現在不問： > Hodge conjecture是否已證？ 而問： > 若給定一個 legality 問題，R010–R014 是否已經有足夠的資料型別來完整表述其「有 witness / 無 witness / operator可否合法實現 / family可否延伸」？ 這是： $$ \boxed{ \text{Carrier Closure} } $$ 而不是： $$ \boxed{ \text{Theorem Closure}. } $$ --- # 1. Legality Scope $S_L$ 本輪 legality closure只對下列 scope 宣告。 ## 1.1 Objects smooth projective complex algebraic varieties： $$ X $$ 與 smooth projective algebraic families： $$ \pi:\mathcal X\to B $$ over finite-type complex algebraic bases。 ## 1.2 Coefficients 主要使用： $$ \boxed{ \mathbb Q. } $$ 亦即 rational Hodge conjecture scope。 ## 1.3 Legality question 只問： > 一個 rational Hodge class是否存在 codimension-$p$ algebraic cycle class mapping to it？ 即： $$ \boxed{ \alpha \in \operatorname{Im} \left( CH^p(X)_{\mathbb Q} \to H^{2p}(X,\mathbb Q) \right) \;? } $$ ## 1.4 Allowed family questions 包括： 1. 某 fiber是否有 witness； 2. 所有 fibers是否有某些 witnesses； 3. 是否存在 relative witness； 4. specific witness是否可 deformation； 5. generic-to-special specialization； 6. finite cover後 witness與 rational descent； 7. explicit correspondences是否 preserve legality。 --- # 2. Scope $S_L$ 明確排除 本輪不宣告 closure於： - integral Hodge conjecture； - torsion cycle phenomena； - singular varieties； - open varieties； - mixed Hodge structures作為主 carrier； - higher Chow groups； - motivic cohomology； - algebraic $K$-theory； - rational equivalence的精細分類本身； - Griffiths groups作為 target； - intermediate Jacobians本身的 surjectivity問題； - Bloch–Beilinson filtration； - derived/motivic equivalence beyond witness existence； - arithmetic fields與 Galois/Tate variants。 若 Phase III 需要這些，必須顯式 backtrack。 --- # 3. Pointwise Source Carrier 對 fixed： $$ (X,p), $$ 定義： $$ \boxed{ \mathfrak L_{\mathrm{pt}}(X,p) = \left[ CH^p(X)_{\mathbb Q}, \operatorname{cl}_X^p, V_X^p \right]. } $$ 其中： $$ V_X^p = H^{2p}(X,\mathbb Q) \cap H^{p,p}(X). $$ direct legality relation： $$ Z\Vdash\alpha $$ 等價於： $$ \operatorname{cl}(Z)=\alpha. $$ --- # 4. Fixed-fiber Hodge conjecture已完全表述 在： $$ \mathfrak L_{\mathrm{pt}}, $$ Hodge conjecture就是： $$ \boxed{ \operatorname{cl}_X^p \text{ is surjective onto } V_X^p. } $$ 所以 fixed-fiber algebraicity問題不存在 carrier缺失。 未知的是： $$ \boxed{ \text{surjectivity theorem本身}. } $$ 這是「命題未知」，不是「型別未知」。 --- # 5. Operator Carrier R010 定義： $$ \boxed{ \mathrm{ARG} = \text{Algebraic-Realizability Gate}. } $$ 對 cohomological operator： $$ T: H^\ast(X) \to H^\ast(Y), $$ 若存在： $$ \Gamma \in CH^\ast(X\times Y)_{\mathbb Q} $$ 使： $$ T=\Gamma_\ast^H, $$ 則 operator通過 ARG。 所以 operator legality carrier是： $$ \boxed{ \mathfrak L_{\mathrm{op}} = \left[ \mathbf{Corr}_{\mathbb Q}, \operatorname{cl}, \mathrm{ARG} \right]. } $$ --- # 6. Operator legality問題已完全 typed 以下問題： - primitive projector是否 preserve algebraicity？ - Künneth projector是否合法？ - inverse Lefschetz是否合法？ - monodromy operator是否合法？ - Hodge-theoretic projector是否合法？ 全部可統一寫成： $$ \boxed{ \text{該 operator 是否有 algebraic correspondence realization？} } $$ 若未知， 狀態： $$ \mathrm{BLOCKED\_BY\_ARG}. $$ 所以 standard conjectures等問題是： $$ \boxed{ \text{ARG-existence propositions}. } $$ 不是 carrier缺失。 --- # 7. Constructive Carrier R011–R012 為 autonomous research引入： $$ \boxed{ \mathfrak L_{\mathrm{con}} = \left[ \mathcal S, \mathcal G, \operatorname{MCl}_{\mathcal G}(\mathcal S), L_{\mathcal G,\mathcal S}, R_{\mathcal G,\mathcal S}, \mathsf{Cert} \right]. } $$ 其中： - $\mathcal S$：explicit admissible seeds； - $\mathcal G$：explicit correspondences； - $\operatorname{MCl}$：monoidal constructive closure； - $L$：constructive legal span； - $R$：residual； - $\mathsf{Cert}$：derivation certificate。 --- # 8. Constructive complexity已完整 typed R012 進一步固定： $$ \mathfrak G_0 \subseteq \mathfrak G_1 \subseteq \cdots $$ 與： $$ \lambda_c(X,p), $$ $$ \kappa_{\mathfrak G}(X,p). $$ 所以「目前為何還沒找到 witness」至少可分： 1. residual仍非零； 2. grammar太弱； 3. ARG被擋； 4. target leakage； 5. specific construction未知。 這些都能在現有 carrier內標記。 --- # 9. 裸 finite-seed問題已被消解 R012 已證： $$ \boxed{ \operatorname{UFSH}(X,p) \iff \operatorname{HC}(X,p). } $$ 所以 Phase II 不再需要新增「finite-seed existence」carrier。 真正有內容的是： $$ \boxed{ \text{library-relative construction complexity}. } $$ 這已由： $$ \mathfrak L_{\mathrm{con}} $$ 承載。 --- # 10. Relative Source Carrier R014 定義： $$ \boxed{ \mathfrak L_{\mathrm{rel}}(\mathcal X/B,p) } $$ 核心包含： $$ z^p(\mathcal X/B)_{\mathbb Q}, $$ relative Hilbert / cycle parameter spaces： $$ \mathcal H_\tau, $$ flat class： $$ \alpha, $$ cycle-realization locus： $$ A_\alpha, $$ Hodge locus： $$ B_\alpha, $$ specific witness reach： $$ W(Z_s), $$ 以及： - base change； - flat pullback； - proper pushforward； - specialization； - finite-cover rational descent； - semiregularity tags。 --- # 11. Family class-level legality已完全表述 對 flat： $$ \alpha, $$ 有： $$ \boxed{ A_\alpha = \left\{ b: \alpha_b \text{ algebraic} \right\} } $$ 與： $$ \boxed{ B_\alpha = \left\{ b: \alpha_b \text{ Hodge} \right\}. } $$ 必有： $$ A_\alpha \subseteq B_\alpha. $$ variational Hodge conjecture可寫為： $$ \boxed{ s\in A_\alpha \text{ 且 } B_\alpha=B \quad\Longrightarrow\quad A_\alpha=B. } $$ 所以 VHC 已完全成為 carrier內的 equality proposition。 --- # 12. Relative coherence已不再是 missing carrier R014 已證，在目前 scope： $$ \boxed{ A_\alpha=B \Longrightarrow \text{FiniteStratifiedRelativeWitness}. } $$ 因此「每個 fiber都有 cycle，但這些 cycle完全無法組織」不是新的無限型別缺口。 cycle parameter spaces可將 fiberwise algebraicity壓成有限 stratified relative geometry。 --- # 13. Specific witness deformation也已 typed 固定： $$ Z_s\Vdash\alpha_s. $$ relative Hilbert germ： $$ \mathcal H_{Z_s} $$ 與 projection： $$ \rho: \mathcal H_{Z_s} \to B $$ 給 specific witness reach： $$ \boxed{ W(Z_s) = \operatorname{Im}\rho. } $$ 因此： $$ Z_s $$ 能否 deformation到某方向是： $$ \boxed{ \text{Hilbert/Chow lifting proposition}. } $$ 不是 missing carrier。 --- # 14. Obstruction theory的位置 對 lci： $$ Z_s\subset X_s, $$ 典型 tangent / obstruction spaces： $$ H^0(Z_s,N_{Z_s/X_s}), $$ $$ H^1(Z_s,N_{Z_s/X_s}). $$ semiregularity map可用來比較： $$ \text{cycle deformation obstruction} $$ 與： $$ \text{Hodge variation obstruction}. $$ 這些是： $$ \boxed{ \mathfrak L_{\mathrm{rel}} \text{ 上的 diagnostics / conditional bridges}. } $$ 不是新的 witness notion。 --- # 15. Normal functions 是否構成新 legality axis？ 這是本輪最重要的 audit question之一。 對 homologically trivial family of cycles： $$ Z_b, $$ Abel–Jacobi invariants形成 normal function： $$ \nu_Z. $$ 它可以攜帶 ordinary cohomology class看不到的資訊。 乍看可能意味： $$ \boxed{ \text{Phase II 還缺 normal-function carrier}. } $$ 但對本 scope 的 Hodge conjecture existence問題，需要更精確分析。 --- # 16. Cycle class map只看 quotient image Hodge conjecture只問： $$ \alpha \in \operatorname{Im}\operatorname{cl}. $$ 若： $$ Z,Z' $$ 滿足： $$ \operatorname{cl}(Z) = \operatorname{cl}(Z') = \alpha, $$ 則： $$ Z-Z' $$ homologically trivial。 Abel–Jacobi可區分： $$ Z-Z', $$ 但： $$ \boxed{ \text{它不改變 }\alpha \text{ 已有 algebraic preimage這個事實}. } $$ 所以它 refine： $$ \ker\operatorname{cl}, $$ 而 Hodge conjecture首先關心： $$ \operatorname{Im}\operatorname{cl}. $$ --- # 17. Image Problem vs Kernel Problem 正式區分： ### Image Problem $$ \boxed{ \alpha \in \operatorname{Im}\operatorname{cl} \;? } $$ 這是本計畫 Phase II 的核心。 ### Kernel Refinement Problem $$ \boxed{ Z-Z' \in \ker\operatorname{cl} } $$ 後續還有： - Abel–Jacobi； - Griffiths group； - Deligne cohomology； - higher regulators。 本 scope 不要求把 kernel完全分類。 --- # 18. Normal function可作 obstruction diagnostic specific witness deformation時， normal function / infinitesimal invariant可能揭示： - family中 homologically trivial correction無法消失； - cycle family不存在； - higher obstruction。 這很有用。 但其邏輯角色是： $$ \boxed{ \text{obstruction detector} } $$ 而不是： $$ \boxed{ \text{新的 algebraic witness object}. } $$ 真正 witness仍是： $$ \boxed{ \text{relative algebraic cycle}. } $$ --- # 19. Deligne–Beilinson cohomology的位置 Deligne cycle class： $$ CH^p(X) \to H_{\mathcal D}^{2p}(X,\mathbb Z(p)) $$ refine ordinary Betti cycle class。 它能保存 extension / Abel–Jacobi-type data。 但本計畫目前 target equality仍是： $$ \operatorname{cl}_{\mathrm{Betti}}(Z)=\alpha. $$ 所以 Deligne lift是： $$ \boxed{ \text{stronger certificate / diagnostic}, } $$ 不是 rational Hodge legality定義的必需 carrier。 --- # 20. 何時 normal functions會變成 essential carrier 若研究目標改成： - 指定 Chow class是否延伸； - Abel–Jacobi invariant是否保持； - homologically trivial cycles的 classification； - Bloch–Beilinson filtration； - higher normal functions； - mixed Hodge extension classes； 那 normal-function / Deligne carrier會變 essential。 但這超出： $$ S_L. $$ 因此應： $$ \boxed{ \text{scope backtrack} } $$ 而不是目前阻止 closure。 --- # 21. Chow groups本身是否足夠表示 witness existence 任一 algebraic cycle： $$ Z $$ 在 Chow group中給： $$ [Z]_{\mathrm{rat}} \in CH^p(X). $$ cycle class map factor through rational equivalence。 因此： $$ \boxed{ \text{存在 algebraic cycle代表 }\alpha } $$ 等價於： $$ \boxed{ \alpha \in \operatorname{Im} \left( CH^p(X)_{\mathbb Q} \to H^{2p}(X,\mathbb Q) \right). } $$ 所以 pointwise legality不需要更細 equivalence relation。 --- # 22. Relative cycles是否足夠表示 family existence R014 的 relative-cycle carrier直接記 fibers cycle與 DVR specialization compatibility。 Hilbert/Chow parameter spaces則給 explicit finite-type geometric realizations。 所以 family witness existence可表示為： $$ \boxed{ \text{某 parameter component是否有點／是否 dominate base／是否有 section或 cover-section}. } $$ 沒有額外 witness type缺失。 --- # 23. Specialization問題已 typed generic-to-special legality： $$ CH^p(X_\eta) \to CH^p(X_0) $$ 由 specialization map表示。 反向 lifting： $$ Z_0 \leadsto Z_\eta $$ 由 relative Hilbert/Chow lift表示。 所以非對稱 transport已被 carrier捕捉。 --- # 24. Finite-cover descent已 typed 若： $$ q:B'\to B $$ finite flat degree： $$ d, $$ cover上有： $$ \zeta'\Vdash q^\ast\alpha, $$ 則 rational descent： $$ \boxed{ \zeta = \frac1dQ_\ast\zeta' } $$ 給 base上的 witness。 因此 monodromy/permutation造成的 finite descent obstruction在 rational scope中已有合法處理規則。 --- # 25. Product / correspondence legality已 typed 若： $$ X,Y $$ 有 witnesses， external product給： $$ X\times Y $$ witness。 若有 algebraic correspondence： $$ \Gamma, $$ 則： $$ \Gamma_\ast $$ 合法傳遞 algebraicity。 所以 products、tensor-like category enlargement沒有新的 legality object type。 --- # 26. Projector / inverse Lefschetz問題已 typed primitive projector、Künneth projector、inverse Lefschetz等： 若只存在 cohomological operator， 狀態： $$ \boxed{ \mathrm{BLOCKED\_BY\_ARG}. } $$ 若 standard conjecture或 explicit correspondence證明其 algebraicity， 即可升級。 所以它們是： $$ \boxed{ \text{ARG proposition}, } $$ 不是 missing axis。 --- # 27. Measure-to-Legality interface已完整 Phase I輸出： $$ V_X^p, $$ Hodge loci： $$ B_\alpha, $$ Mumford–Tate symmetry， monodromy， period motion。 Phase II carrier決定： $$ A_\alpha, $$ legal spans， relative witnesses， ARG realizability。 因此最核心 interface已經是： $$ \boxed{ \text{Candidate} \to \text{Cycle-image membership}. } $$ --- # 28. Master Legality Carrier R015 將 R010–R014 壓成一個 source carrier： $$ \boxed{ \mathfrak C_L } $$ 稱： **Master Legality Carrier**。 其內容分三層。 ## Layer P：Pointwise $$ \boxed{ \left[ CH^\ast(X)_{\mathbb Q}, \operatorname{cl}, \mathbf{Corr}_{\mathbb Q}, \mathrm{ARG} \right]. } $$ ## Layer C：Constructive $$ \boxed{ \left[ \mathcal S, \mathcal G, \operatorname{MCl}, L, R, \mathfrak G_\bullet, \kappa_{\mathfrak G}, \mathsf{Cert} \right]. } $$ ## Layer R：Relative $$ \boxed{ \left[ z^\ast(\mathcal X/B)_{\mathbb Q}, \operatorname{Hilb/Chow}, A_\alpha, B_\alpha, W(Z_s), \operatorname{sp}, \text{base change}, \text{descent}, \text{obstruction tags} \right]. } $$ --- # 29. Source vs Diagnostic Legality Data 正式區分： ### Source $$ \mathfrak C_L. $$ ### Diagnostics 包括： - $\lambda_c$； - $\kappa_{\mathfrak G}$； - semiregularity maps； - normal functions； - Abel–Jacobi invariants； - Deligne cycle classes； - residual rank gain； - Hilbert tangent/obstruction dimensions。 diagnostic可增加研究效率， 但不改變 core witness semantics。 --- # 30. Test A：Projective space $$ X=\mathbb P^n. $$ pointwise： $$ CH^p(X)_{\mathbb Q} = \mathbb Qh^p. $$ cycle class張滿： $$ V_X^p. $$ constructive Level 0即 closure。 constant family中： $$ h^p\times B $$ 給 global relative witness。 三層 carrier全部一致。 Audit passed。 --- # 31. Test B：Divisors 對任意 smooth projective： $$ X, $$ Lefschetz $(1,1)$給： $$ V_X^1 = NS(X)_{\mathbb Q}. $$ pointwise legality已知。 relative family中 line bundles/divisors由 relative Picard/Hilbert structure表示。 specific divisor是否 lift仍可在 relative parameter space中詢問。 Audit passed。 --- # 32. Test C：Special cubic fourfold special cubic： $$ D^2(X) \subsetneq V_X^2 $$ 顯示 low grammar failure。 但 cubic fourfold degree-$4$ Hodge classes已知 algebraic。 所以： - semantic pointwise carrier給： $$ \operatorname{Alg}^2=V_X^2; $$ - constructive carrier記： $$ \lambda_1>0; $$ - 加入 explicit surface seed後 residual可下降。 沒有 missing type。 Audit passed。 --- # 33. Test D：Primitive projector cohomological primitive decomposition已知。 operator是否 preserve algebraicity： $$ \boxed{ \text{ARG?} } $$ 若無 algebraic realization， 狀態： $$ \mathrm{BLOCKED\_BY\_ARG}. $$ 不需要新 carrier。 Audit passed。 --- # 34. Test E：Variational Hodge flat： $$ \alpha $$ 保持 Hodge且某 fiber algebraic。 問題： $$ A_\alpha=B_\alpha \;? $$ R014 已把： $$ A_\alpha $$ 表示成 cycle-parameter images。 若 equality成立， 有限 stratified relative witnesses自動存在。 所以剩下的是： $$ \boxed{ \text{equality theorem未知}. } $$ 不是 carrier未知。 Audit passed。 --- # 35. Test F：Specific witness fails to deform 若： $$ Z_s $$ Hilbert obstruction非零， 可能： $$ W(Z_s) \subsetneq A_\alpha. $$ carrier仍能同時表示： - specific witness失敗； - class可能仍 fiberwise algebraic； - 其他 cycle component可能成功。 因此沒有把 class-level與 witness-level legality混在一起。 Audit passed。 --- # 36. Test G：Homologically trivial correction 假設： $$ Z,Z' $$ represent same： $$ \alpha. $$ normal function或 Abel–Jacobi可區分： $$ Z-Z'. $$ 但對： $$ \alpha $$ 的 legal existence而言， 兩者都已提供 witness。 所以此 refinement不破壞 closure。 Audit passed for current scope。 --- # 37. Legality Information Closure Theorem ## 定理 37.1 對 scope： $$ S_L, $$ 所有 rational Hodge-algebraicity legality問題可歸為下列四種 typed propositions： ### Type I：Image $$ \alpha \in \operatorname{Im}\operatorname{cl} \;? $$ ### Type II：Operator Realization $$ T \in \operatorname{Im} \left( \text{algebraic correspondences} \to \text{cohomological operators} \right) \;? $$ ### Type III：Constructive Reachability $$ \alpha \in L_{\mathcal G,\mathcal S} \;? $$ ### Type IV：Relative Reachability $$ b\in A_\alpha, \quad A_\alpha=B_\alpha, \quad W(Z_s)\ni b \;? $$ R010–R014 的 carrier已能完整表示這四類。 所以目前 scope 中若出現新的 legality question， 它要麼是這四類的 instance， 要麼超出 scope並需要 backtrack。 證畢。 --- # 38. LegalityClosure Flag 因此本輪正式設定： $$ \boxed{ \mathrm{LegalityClosure}(S_L)=1. } $$ 注意： $$ \boxed{ \mathrm{LegalityClosure}=1 } $$ 不是： $$ \boxed{ \mathrm{HodgeConjecture}=1. } $$ 也不是： $$ \boxed{ \mathrm{VariationalHodge}=1. } $$ 它只表示： > 合法 witness 問題的資料型別與操作型別已閉包。 --- # 39. 尚未解命題清單 Legality closure後仍保留大量真正難題。 ## 39.1 Pointwise Hodge $$ \boxed{ \operatorname{Alg}^p(X) \stackrel{?}{=} V_X^p. } $$ ## 39.2 Variational Hodge $$ \boxed{ s\in A_\alpha + B_\alpha=B \stackrel{?}{\Longrightarrow} A_\alpha=B. } $$ ## 39.3 Standard-conjecture ARG 例如： $$ \boxed{ \Lambda \text{ 是否 algebraic correspondence？} } $$ ## 39.4 Low-complexity generation $$ \boxed{ \kappa_{\mathfrak G}(X,p) \text{ 是否 finite / uniformly bounded？} } $$ ## 39.5 Specific witness lifting $$ \boxed{ W(Z_s) \text{ 是否包含指定 deformation direction？} } $$ 這些都是 carrier內 proposition。 --- # 40. Phase II Freeze Rule 從 R015 起： $$ \boxed{ \text{Legality carriers frozen by default}. } $$ 若發現新的量／invariant， 先問： > 它是否只是 $\mathfrak C_L$ 上的函數、obstruction或 refinement？ 若是， 不新增 essential axis。 只有在： $$ \boxed{ \text{某 legality question無法表示為 Type I--IV} } $$ 時才 backtrack。 --- # 41. Phase II 的最終壓縮圖 Phase II 可以壓成： $$ \boxed{ \mathfrak C_L = \text{Pointwise} + \text{Constructive} + \text{Relative}. } $$ Pointwise問： $$ \boxed{ \text{有沒有 cycle？} } $$ Constructive問： $$ \boxed{ \text{能不能用已知 grammar造出 cycle？} } $$ Relative問： $$ \boxed{ \text{cycle能不能跨 family存在／延伸？} } $$ 三者已涵蓋目前 Hodge legality scope。 --- # 42. Measure 與 Legality 兩階段正式完成 Phase I： $$ \boxed{ \mathrm{MeasureClosure}(S_M)=1. } $$ Phase II： $$ \boxed{ \mathrm{LegalityClosure}(S_L)=1. } $$ 現在可以第一次安全進入： $$ \boxed{ \mathrm{Phase\ III: Scale\mbox{-}Category\ Coupling}. } $$ --- # 43. 但 Phase III 不可直接混合所有 carriers 第三階段的任務不是： > 把所有 invariant丟在一起。 而是建立： $$ \boxed{ \text{scale/category map} } $$ 並檢查： 1. Measure carrier如何 transport； 2. Legality carrier如何 transport； 3. 兩者是否 commute； 4. 哪裡出現 defect； 5. defect屬： $$ M,L,S,U $$ 哪一類。 --- # 44. 第一個 Phase-III 對象應該選什麼 R015 建議不要一開始就用最大 generality。 第一個 coupling object應選： $$ \boxed{ \text{smooth projective family} + \text{one flat Hodge class} } $$ 因為我們已經有： $$ B_\alpha $$ 與： $$ A_\alpha. $$ 這天然給第一個 exact coupling defect： $$ \boxed{ \mathfrak C_\alpha = B_\alpha\setminus A_\alpha. } $$ 它同時連： - R008 period motion； - R014 cycle realization。 這比抽象 category scale更容易驗證。 --- # 45. $\mathfrak C_\alpha$ 的角色 注意： $$ \mathfrak C_\alpha $$ 不是自動非空。 也不是已知可計算。 但它是非常乾淨的： $$ \boxed{ \text{Measure-active locus} - \text{Legality-realized locus}. } $$ 若： $$ \mathfrak C_\alpha=\varnothing, $$ 則 class-level coupling在該 family成功。 若非空， 必須判定： - Hodge conjecture failure？ - variational Hodge failure？ - carrier scope問題？ - family/type expansion問題？ 這正是 Phase III 的 defect-classification工作。 --- # 46. R015 Status 本輪已證／固定： 1. pointwise legality carrier完整； 2. ARG operator carrier完整； 3. constructive legality carrier完整； 4. anti-circular generator complexity carrier完整； 5. relative-cycle carrier完整； 6. specialization與 descent已 typed； 7. specific witness lifting已 typed； 8. normal functions / Abel–Jacobi / Deligne invariants在本 scope 是 refinement / diagnostics，而非新的 witness carrier； 9. 所有 current-scope legality questions可歸為 Image / Operator / Constructive / Relative 四型； 10. 尚未解 Hodge、variational Hodge、standard conjectures屬 carrier內 propositions； 11. Phase II 可 scope-limited closure； 12. Phase III 可正式啟動。 因此： $$ \boxed{ \mathrm{Status} = \mathrm{PROVED}. } $$ 並正式： $$ \boxed{ \mathrm{LegalityClosure}(S_L)=1. } $$ --- # 47. Next Interface 下一輪正式進 Phase III： ```text HODGE_MLRSC_R016_C_FirstCouplingDefect.md ``` 建議 primary target： $$ \boxed{ \mathfrak C_\alpha = B_\alpha\setminus A_\alpha } $$ 並研究： 1. 這個 defect在什麼情況必為空； 2. divisor case； 3. constant family； 4. relative-cycle case； 5. semiregular case； 6. special cubic / Noether–Lefschetz-type family； 7. 如何將： $$ \mathfrak C_\alpha $$ 與原 protocol 的： $$ \mathfrak C_{s\to t} $$ 對齊； 8. defect classification： $$ M,L,S,U. $$ --- # 48. 本輪基本摘要 R013 曾發現： $$ \text{Hodge persistence} \neq \text{cycle persistence}. $$ R014 補上 relative-cycle carrier， 並把： $$ \text{fiberwise algebraicity} $$ 壓成： $$ \text{finite stratified relative witnesses}. $$ R015 再檢查 normal functions、Abel–Jacobi、Deligne cohomology等更細資料後， 結論是： > 它們會讓 cycle-side研究更強、更精細，但在目前只問 rational cohomology class「有沒有某個 algebraic preimage」的 Hodge scope 中，它們不是新的 legality object type。 所以現在剩下的困難不再是： $$ \boxed{ \text{我們不知道該存什麼}. } $$ 而是： $$ \boxed{ \text{我們知道要證什麼，但它本身很難證}. } $$ 這正是 closure應該停止的地方。 因此： $$ \boxed{ \mathrm{MeasureClosure}=1, \qquad \mathrm{LegalityClosure}=1. } $$ 下一輪正式讓兩者碰撞。 --- # 參考文獻 1. W. Fulton, *Intersection Theory*. Chow groups、cycle class、specialization與 correspondences。 2. The Stacks Project, *Relative Cycles*. Relative cycle carrier、base change、flat pullback、proper pushforward與 specialization compatibility。 https://stacks.math.columbia.edu/tag/0H4Z 3. The Stacks Project, *The Hilbert functor*. Relative Hilbert parameterization of flat proper families of subschemes。 https://stacks.math.columbia.edu/tag/0CZX 4. P. Griffiths, *Periods of integrals on algebraic manifolds*；normal functions與 Hodge-theoretic deformation背景。 5. R. Hain, *Normal Functions and the Geometry of Moduli Spaces of Curves*. Normal functions as refinements attached to families of homologically trivial cycles。 https://arxiv.org/abs/1102.4031 6. R.-O. Buchweitz, H. Flenner, *A Semiregularity Map for Modules and Applications to Deformations*, Compositio Mathematica 137 (2003), 135–210. https://arxiv.org/abs/math/9912245 7. C. Voisin, *The status of the Hodge conjecture*, 2026. Variational Hodge、semiregularity與 Deligne–Beilinson obstruction的近期整理。 https://terrytao.wordpress.com/2026/09/12/the-status-of-the-hodge-conjecture/ 8. Aletheia, *HODGE_MLRSC_R010_L_DirectLegalWitnessTaxonomy*, 2026-09-15. 9. Aletheia, *HODGE_MLRSC_R011_L_LegalOperationClosure*, 2026-09-15. 10. Aletheia, *HODGE_MLRSC_R012_L_FiniteSeedHypothesisStressTest*, 2026-09-15. 11. Aletheia, *HODGE_MLRSC_R013_L_LegalityClosureAuditI*, 2026-09-15. 12. Aletheia, *HODGE_MLRSC_R014_L_RelativeCycleLegality*, 2026-09-15. --- ## Canonical Source Declaration 本檔案為本輪正式 UTF-8 Markdown canonical source。 數學原始碼只使用 `$...$` 與 `$$...$$`。 聊天畫面不是本輪 canonical source。