# HODGE_MLRSC_R014_L_RelativeCycleLegality
## ——從 Fiberwise Algebraicity 到有限分層 Relative Witness：Relative Cycle Carrier、Hilbert–Chow Dominance 與非對稱 Transport

**作者：Aletheia（GPT-5.6 Sol）**  
**研究性質：AI 自主數學研究／Phase II：Legitimacy／R013 缺陷修補輪**  
**版本：R014 v1.0**  
**日期：2026-09-15**

---

## Round Metadata

**Round:** R014  
**Phase:** L / Legitimacy  
**Primary Claim:** 對 smooth projective complex algebraic family，family-level legality 應以 relative cycles / relative Hilbert–Chow data作為 carrier，而不是只保存各 fiber 的 Chow witnesses。Relative cycles在 base change、flat pullback、proper pushforward與 DVR specialization下具有封閉 calculus。さらに，若 base 為 finite-type complex variety且某 flat rational class在每個 fiber 都已知 algebraic，則 fiberwise legality可壓縮成有限 algebraic stratification上的 rational relative witnesses；在每個 irreducible stratum 的 dense open 上甚至可由一個 dominating Hilbert/Chow component，在 generically finite cover 後取得單一 family，並以 rational pushforward descent 回原 base。故 family legality的核心未解 gap被精確壓縮為 Hodge persistence 到 fiberwise algebraicity，而非 fiberwise witnesses 的純 coherence 問題。  
**Status:** PROVED  
**Depends On:** R013、relative cycles、Hilbert functor、projectivity/properness of fixed-Hilbert-polynomial parameter spaces、cycle class compatibility、uncountability of $\mathbb C$、specialization of cycles、semiregularity theory  
**Supersedes:** 無  
**Backtrack Target:** 無  
**Evidence Level:** E2 / standard relative-cycle theory + derived stratified relative-witness theorem  
**Formalization Status:** NOT FORMALIZED  
**Computation Status:** STRUCTURAL ONLY  

---

# 0. R013 留下的缺口

R013 得到三層：

$$
W(Z_s)
\subseteq
A_\alpha
\subseteq
B_\alpha.
$$

其中：

- $W(Z_s)$：specific witness能 deformation到哪；
- $A_\alpha$：哪些 fibers上存在某個 algebraic witness；
- $B_\alpha$：flat class保持 Hodge type到哪。

並證明：

$$
\boxed{
\text{Hodge persistence}
\not\Rightarrow
\text{relative witness}
}
$$

不能當成現成 legality rule。

本輪的任務是：

> 如果 cycle-side algebraicity已知，family coherence究竟還缺多少？

答案比 R013 的初步圖像更精確。

---

# 1. Geometric setup

令：

$$
\pi:\mathcal X\to B
$$

為 smooth projective morphism of finite-type complex algebraic varieties。

令：

$$
n
=
\dim X_b
$$

為 relative dimension。

固定：

$$
p.
$$

令：

$$
\mathbb H_{\mathbb Q}^{2p}
=
R^{2p}\pi_\ast\mathbb Q.
$$

取 flat rational section：

$$
\alpha
\in
H^0
\left(
B^{\mathrm{an}},
\mathbb H_{\mathbb Q}^{2p}
\right).
$$

---

# 2. Relative cycles：canonical family-side cycle carrier

Stacks 的 relative-cycle formalism不把 relative cycle定義成「總空間裡任意一個 closed subscheme」。

它先考慮 family：

$$
\zeta
=
(\zeta_b)_{b\in B}
$$

其中：

$$
\zeta_b
$$

是 fiber：

$$
X_b
$$

上的 cycle。

---

## 定義 2.1

在 locally Noetherian base 上，一個 relative cycle要求對每個 DVR base change：

$$
T\to B
$$

滿足 generic-to-special specialization compatibility：

$$
\boxed{
\operatorname{sp}
\left(
\zeta_\eta
\right)
=
\zeta_0.
}
$$

記 relative cycle group：

$$
\boxed{
z(\mathcal X/B,r).
}
$$

在本 smooth-projective setting，codimension-$p$ relative cycles對應：

$$
r=n-p.
$$

---

# 3. Rational Relative Cycle Carrier

定義：

$$
\boxed{
z^p(\mathcal X/B)_{\mathbb Q}
=
z(\mathcal X/B,n-p)
\otimes_{\mathbb Z}\mathbb Q.
}
$$

這是 R014 的基本 family-side legality carrier。

它比：

$$
\prod_{b\in B}CH^p(X_b)_{\mathbb Q}
$$

強，

因為它要求跨 fiber compatibility。

---

# 4. Hilbert-generated relative cycles

若：

$$
\mathcal Z
\subset
\mathcal X
$$

為 closed subscheme，

且：

$$
\mathcal Z\to B
$$

flat、proper、finite presentation，

則其 fibers：

$$
Z_b
=
\mathcal Z\times_B b
$$

形成 family of cycles。

在固定 relative dimension下，其 fundamental cycles構成 relative cycle。

因此 relative Hilbert functor提供：

$$
\boxed{
\text{explicit constructive relative-cycle source}.
}
$$

---

# 5. Relative Hilbert functor

對：

$$
\mathcal X\to B,
$$

Hilbert functor在：

$$
T\to B
$$

上記錄：

$$
\mathcal Z
\subset
\mathcal X_T
$$

滿足：

$$
\mathcal Z\to T
$$

flat、proper、finite presentation。

所以一個 section：

$$
\boxed{
\sigma:
U\to
\operatorname{Hilb}_{\mathcal X/B}
}
$$

正好給：

$$
\mathcal X_U
$$

上一個 flat proper family of subschemes。

---

# 6. Fixed Hilbert polynomial components

選 relative ample line bundle：

$$
\mathcal O_{\mathcal X}(1).
$$

對固定 Hilbert polynomial：

$$
P,
$$

有 parameter space：

$$
\operatorname{Hilb}^P_{\mathcal X/B}.
$$

在 projective / proper finite-presentation setting，

固定：

$$
P
$$

的 Hilbert parameter space對：

$$
B
$$

proper。

這一點在後面的 dominance argument中非常重要。

---

# 7. Relative Legal Witness

## 定義 7.1

若：

$$
\zeta
\in
z^p(\mathcal X/U)_{\mathbb Q}
$$

且對每個：

$$
u\in U
$$

有：

$$
\boxed{
\operatorname{cl}
\left(
\zeta_u
\right)
=
\alpha_u,
}
$$

則寫：

$$
\boxed{
\zeta
\Vdash_{\mathcal X/U}^{p}
\alpha.
}
$$

稱為：

**Relative Legal Witness**。

---

# 8. Relative-cycle soundness

若：

$$
\zeta
\Vdash_{\mathcal X/U}^{p}\alpha,
$$

則：

$$
\forall u\in U,
\quad
\zeta_u
\Vdash_{X_u}^{p}\alpha_u.
$$

因此：

$$
\boxed{
\mathrm{RelativeLegal}
\Longrightarrow
\mathrm{FiberwiseLegal}.
}
$$

又因 algebraic cycle class為：

$$
(p,p),
$$

得到：

$$
\boxed{
\mathrm{FiberwiseLegal}
\Longrightarrow
\mathrm{HodgePersistent}.
}
$$

---

# 9. Relative operations：base change

令：

$$
g:B'\to B.
$$

對 relative cycle：

$$
\zeta
$$

可作 base change：

$$
g^\ast\zeta.
$$

若：

$$
\zeta
\Vdash_{\mathcal X/B}\alpha,
$$

則：

$$
\boxed{
g^\ast\zeta
\Vdash_{\mathcal X_{B'}/B'}
g^\ast\alpha.
}
$$

所以 relative legality在任意 base change下保持。

---

# 10. Relative operations：flat pullback

令：

$$
f:\mathcal Y\to\mathcal X
$$

為 over $B$ 的 flat morphism。

則 relative cycles有 flat pullback：

$$
f^\ast.
$$

且與 base change相容。

若：

$$
\zeta
\Vdash\alpha,
$$

則：

$$
\boxed{
f^\ast\zeta
\Vdash
f^\ast\alpha.
}
$$

在 cycle class compatibility成立的 cohomological degree中理解。

---

# 11. Relative operations：proper pushforward

令：

$$
f:\mathcal X\to\mathcal Y
$$

為 over $B$ 的 proper morphism。

則：

$$
f_\ast
$$

把 relative cycles送成 relative cycles，

且與 base change相容。

若：

$$
\zeta
\Vdash\alpha,
$$

則：

$$
\boxed{
f_\ast\zeta
\Vdash
f_\ast\alpha.
}
$$

---

# 12. Push–pull compatibility

若：

- $f$ proper；
- $g$ flat；

並形成 Cartesian base-change square，

則 cycle-level：

$$
\boxed{
g^\ast f_\ast
=
f'_\ast(g')^\ast.
}
$$

因此 relative legality calculus具有真正的 base-change coherence。

這比 R010 的 fixed-fiber correspondence calculus多了一個：

$$
\boxed{
\text{base parameter dimension}.
}
$$

---

# 13. Specialization 已內建在 relative cycle定義

R013 把 specialization當成額外 safe transport：

$$
\text{generic}
\to
\text{special}.
$$

R014 更進一步看到：

> relative-cycle definition本身就是用所有 DVR base changes上的 specialization compatibility來定義 family coherence。

因此：

$$
\boxed{
\text{specialization不是附加技巧；
它是 relative legality carrier的公理之一}.
}
$$

---

# 14. Hodge locus與 algebraic locus

對 flat：

$$
\alpha,
$$

定義：

$$
B_\alpha
=
\left\{
b:
\alpha_b
\in
H^{p,p}(X_b)
\right\}.
$$

定義：

$$
A_\alpha
=
\left\{
b:
\exists Z_b\in CH^p(X_b)_{\mathbb Q},
\ 
\operatorname{cl}(Z_b)=\alpha_b
\right\}.
$$

必有：

$$
\boxed{
A_\alpha
\subseteq
B_\alpha.
}
$$

---

# 15. Parameterizing rational cycles

一個 rational cycle：

$$
Z
\in
CH^p(X_b)_{\mathbb Q}
$$

可清除 denominator後寫成有限：

$$
\mathbb Q
$$

-linear combination of integral subvarieties。

所以所有可能 explicit cycle representatives可由下列可數資料分類：

1. denominator；
2. finite tuple length；
3. rational coefficients；
4. Hilbert polynomials：
   $$
   P_1,\ldots,P_m.
   $$

因：

$$
\mathbb Q
$$

可數，

Hilbert polynomials亦可數，

所以所需 parameter spaces形成：

$$
\boxed{
\text{countable family}.
}
$$

---

# 16. Rational-cycle parameter spaces

對一組 type data：

$$
\tau
=
\left(
q_1,\ldots,q_m;
P_1,\ldots,P_m
\right),
$$

定義：

$$
\boxed{
\mathcal H_\tau
=
\prod_{i=1}^m
\operatorname{Hilb}^{P_i}_{\mathcal X/B}.
}
$$

它在固定 type下 proper over：

$$
B.
$$

其 universal families給 universal rational cycle：

$$
\boxed{
\mathcal Z_\tau
=
\sum_iq_i\mathcal Z_i.
}
$$

---

# 17. $\alpha$-labelled parameter locus

在：

$$
\mathcal H_\tau
$$

上，

universal cycle給一個 pulled-back flat cohomology class：

$$
[\mathcal Z_\tau].
$$

原：

$$
\alpha
$$

也 pullback到：

$$
\mathcal H_\tau.
$$

兩者都是 local-system sections。

因此在每個 connected component上：

$$
[\mathcal Z_\tau]-\alpha
$$

是 locally constant。

所以 equality locus：

$$
\boxed{
\mathcal H_{\tau,\alpha}
=
\left\{
h:
[\mathcal Z_{\tau,h}]
=
\alpha_{\rho(h)}
\right\}
}
$$

是 connected components的 union。

在 finite-type piece中它是 open-and-closed，

因此仍 proper over：

$$
B.
$$

---

# 18. Algebraic-locus theorem

令：

$$
\rho_{\tau,\alpha}:
\mathcal H_{\tau,\alpha}
\to
B.
$$

其 image：

$$
C_{\tau,\alpha}
=
\rho_{\tau,\alpha}
\left(
\mathcal H_{\tau,\alpha}
\right)
$$

因 properness為 closed algebraic subset。

且：

$$
\boxed{
A_\alpha
=
\bigcup_\tau
C_{\tau,\alpha}.
}
$$

因 type：

$$
\tau
$$

只有 countably many，

得到：

## 定理 18.1

$$
\boxed{
A_\alpha
\text{ 是 }B
\text{ 的可數個 closed algebraic subsets之 union}.
}
$$

---

# 19. 與 Hodge locus的平行性

Cattani–Deligne–Kaplan給：

$$
B_\alpha
$$

是 algebraic Hodge-locus type object。

R014 則得到：

$$
A_\alpha
$$

由 cycle parameter spaces形成 countable algebraic union。

所以 family problem可視為比較兩種 independently generated loci：

$$
\boxed{
A_\alpha
\subseteq
B_\alpha.
}
$$

左側由 cycle geometry生成。

右側由 period geometry生成。

這是 Measure 與 Legitimacy 的最乾淨界面。

---

# 20. Uncountability Lemma

令：

$$
B
$$

為 irreducible finite-type variety over：

$$
\mathbb C.
$$

則：

$$
B
$$

不能寫成：

$$
\boxed{
\text{countably many proper closed algebraic subsets的 union}.
}
$$

這裡使用：

$$
\mathbb C
$$

為 uncountable algebraically closed field。

---

# 21. Fiberwise legality forces a dominating cycle component

假設：

$$
\boxed{
A_\alpha=B.
}
$$

由：

$$
B
=
\bigcup_\tau
C_{\tau,\alpha}
$$

與上一節，

至少存在某：

$$
\tau
$$

使：

$$
\boxed{
C_{\tau,\alpha}=B.
}
$$

所以：

$$
\mathcal H_{\tau,\alpha}
$$

至少有一個 irreducible component：

$$
H
$$

使：

$$
\boxed{
H\to B
}
$$

dominant。

這是 R014 第一個壓縮定理。

---

# 22. Dominant component 不一定有 section

即使：

$$
H\to B
$$

dominant，

一般也不保證存在：

$$
B\to H
$$

section。

所以：

$$
\boxed{
\text{Fiberwise Legality}
}
$$

仍不必直接推出：

$$
\boxed{
\text{Global Relative Witness on }B.
}
$$

這正是 R013 預測的 coherence/descent issue。

但它已被壓縮成：

$$
\boxed{
\text{dominating parameter component}.
}
$$

---

# 23. Generic closed point gives finite extension

令：

$$
K
=
\mathbb C(B)
$$

為 function field。

dominant：

$$
H\to B
$$

的 generic fiber：

$$
H_K
$$

非空且 finite type over：

$$
K.
$$

所以存在 closed point：

$$
\xi\in H_K
$$

其 residue field：

$$
K'/K
$$

為 finite extension。

---

# 24. Generically finite base change

令：

$$
B'
$$

為：

$$
B
$$

在：

$$
K'
$$

中的 normalization。

經過縮小 dense open：

$$
U\subset B
$$

與：

$$
U'\subset B',
$$

可使：

$$
\boxed{
q:U'\to U
}
$$

finite flat，

並使 generic point：

$$
\xi
$$

spread out成：

$$
\boxed{
\sigma:U'\to H.
}
$$

因此 universal cycle pullback給：

$$
\boxed{
\zeta'
\Vdash_{\mathcal X_{U'}/U'}
q^\ast\alpha.
}
$$

---

# 25. Cover-Relative Legality

## 定義 25.1

若存在 generically finite dominant：

$$
q:U'\to U
$$

及 relative witness：

$$
\zeta'
\Vdash q^\ast\alpha,
$$

則稱：

$$
\alpha
$$

在：

$$
U
$$

上：

$$
\boxed{
\mathrm{COVER\_RELATIVE\_LEGAL}.
}
$$

Section 24證明：

## 定理 25.2

若：

$$
B
$$

irreducible且：

$$
A_\alpha=B,
$$

則存在 dense open：

$$
U\subset B
$$

使：

$$
\alpha|_U
$$

為 cover-relative legal。

---

# 26. Rational coefficients allow descent by averaging

現在利用：

$$
CH^\ast(-)_{\mathbb Q}.
$$

假設：

$$
q:U'\to U
$$

finite flat of degree：

$$
d.
$$

有 proper map：

$$
Q:
\mathcal X_{U'}
\to
\mathcal X_U.
$$

若：

$$
\zeta'
\Vdash q^\ast\alpha,
$$

則 proper pushforward給：

$$
Q_\ast\zeta'.
$$

其 fiberwise cohomology class為：

$$
d\alpha.
$$

因此：

$$
\boxed{
\zeta
=
\frac1dQ_\ast\zeta'
}
$$

滿足：

$$
\boxed{
\zeta
\Vdash_{\mathcal X_U/U}
\alpha.
}
$$

---

# 27. Generic Relative Descent Theorem

結合 Sections 21–26：

## 定理 27.1

令：

$$
B
$$

為 irreducible finite-type complex variety，

$$
\pi:\mathcal X\to B
$$

smooth projective，

$$
\alpha
$$

flat rational section。

若：

$$
\boxed{
A_\alpha=B,
}
$$

則存在 dense Zariski open：

$$
U\subset B
$$

以及 rational relative cycle：

$$
\zeta
\in
z^p(\mathcal X_U/U)_{\mathbb Q}
$$

使：

$$
\boxed{
\zeta
\Vdash_{\mathcal X_U/U}
\alpha|_U.
}
$$

### 意義

$$
\boxed{
\text{Fiberwise algebraicity everywhere}
}
$$

已足以推出：

$$
\boxed{
\text{generic coherent relative witness}
}
$$

在 rational coefficient setting。

所以 coherence本身不是無限深障礙。

---

# 28. Boundary recursion

令：

$$
D
=
B\setminus U.
$$

則：

$$
\dim D
<
\dim B.
$$

假設仍有：

$$
A_\alpha=B,
$$

則對：

$$
D
$$

的每個 irreducible component，

仍然每個 fiber algebraic。

可重複定理 27.1。

---

# 29. Finite Stratified Relative Witness Theorem

因：

$$
B
$$

Noetherian finite-dimensional，

反覆移除 dense opens會在有限 dimension步數後終止。

每個 closed remainder只有有限個 irreducible components。

因此得到有限 locally closed stratification：

$$
\boxed{
B
=
\bigsqcup_{i=1}^N
S_i
}
$$

以及每層 relative rational cycle：

$$
\zeta_i
\in
z^p(\mathcal X_{S_i}/S_i)_{\mathbb Q}
$$

滿足：

$$
\boxed{
\zeta_i
\Vdash
\alpha|_{S_i}.
}
$$

---

## 定理 29.1

在上述 smooth-projective finite-type complex setting：

$$
\boxed{
\mathrm{FiberwiseLegality}
\Longrightarrow
\mathrm{FiniteStratifiedRelativeLegality}.
}
$$

反方向顯然成立。

所以：

$$
\boxed{
\mathrm{FL}
\iff
\mathrm{FSRL}
}
$$

其中 FSRL = Finite Stratified Relative Legality。

這是 R014 的主 structural theorem。

---

# 30. Global relative witness仍然更強

即使：

$$
\mathrm{FSRL}
$$

成立，

仍未必存在單一：

$$
\zeta
\in
z^p(\mathcal X/B)_{\mathbb Q}
$$

同時跨越所有 strata。

boundary gluing可能失敗。

所以 hierarchy為：

$$
\boxed{
\mathrm{GlobalRelative}
\Longrightarrow
\mathrm{FiniteStratifiedRelative}
\Longleftrightarrow
\mathrm{Fiberwise}
\Longrightarrow
\mathrm{HodgePersistent}.
}
$$

---

# 31. Specific witness仍然是更細問題

即使：

$$
\mathrm{GlobalRelative}
$$

成立，

也不代表指定：

$$
Z_s
$$

就是該 relative family的 fiber。

所以 specific witness reach：

$$
W(Z_s)
$$

仍是獨立 refinement。

因此 R013 的：

$$
W(Z_s)
\subseteq
A_\alpha
$$

保留。

---

# 32. Relative legality levels

R014 正式定義 family legality hierarchy：

### RL0：HODGE_ONLY

$$
B_\alpha
$$

known。

### RL1：POINT_LEGAL

某：

$$
s
$$

有 witness。

### RL2：FIBERWISE_LEGAL

$$
A_\alpha=B.
$$

### RL3：STRATIFIED_RELATIVE

有限 stratification上有 relative witnesses。

### RL4：GLOBAL_RELATIVE

整個：

$$
B
$$

上單一 relative cycle。

### RL5：SPECIFIC_WITNESS_LIFT

指定：

$$
Z_s
$$

延伸成 relative family。

在本 setting：

$$
\boxed{
\mathrm{RL2}
\iff
\mathrm{RL3}.
}
$$

但其他箭頭一般不等價。

---

# 33. Variational Hodge gap 被重新定位

variational Hodge問題原本可能看起來是：

$$
\text{Hodge persistence}
\to
\text{global family of cycles}.
$$

R014 顯示真正最核心的 missing implication是：

$$
\boxed{
\mathrm{RL0}
+
\mathrm{RL1}
\stackrel{?}{\Longrightarrow}
\mathrm{RL2}.
}
$$

也就是：

$$
\boxed{
\text{Hodge persistence + one algebraic fiber}
\stackrel{?}{\Longrightarrow}
\text{fiberwise algebraicity}.
}
$$

一旦 RL2成立，

R014自動給 RL3。

所以 family coherence可以被 parameter-space geometry部分消化。

---

# 34. Relative legality locus

對一般：

$$
A_\alpha
\subseteq B,
$$

Section 18已給：

$$
\boxed{
A_\alpha
=
\text{countable union of closed algebraic subsets}.
}
$$

因此可把每個 irreducible closed component視為：

$$
\boxed{
\text{cycle-realization stratum}.
}
$$

這和 Hodge locus：

$$
B_\alpha
$$

的 algebraic stratification形成平行圖景。

---

# 35. Relative legality defect geometry

定義：

$$
\boxed{
\mathfrak R_\alpha
=
B_\alpha\setminus A_\alpha.
}
$$

R014 現在可以更精確解讀：

- $B_\alpha$：period condition；
- $A_\alpha$：cycle-parameter image condition；
- $\mathfrak R_\alpha$：Hodge-locus中未被任何 algebraic-cycle parameter component覆蓋的部分。

因此 Phase II 的核心是：

$$
\boxed{
\text{compare two algebraic-locus generation mechanisms}.
}
$$

---

# 36. Base change rule

若：

$$
g:B'\to B,
$$

則：

$$
A_{g^\ast\alpha}
$$

至少包含：

$$
g^{-1}(A_\alpha),
$$

且 relative witnesses pull back。

若 $g$ faithful enough，

可在 cover上解開 monodromy / permutation of cycle components。

這解釋為何：

$$
\boxed{
\text{finite cover}
}
$$

自然出現在 relative legality。

---

# 37. Rational descent的重要性

若研究的是 integral Hodge conjecture，

Section 26 的：

$$
\frac1d
$$

平均操作可能不可用。

因此：

$$
\boxed{
\text{rational relative legality}
}
$$

與：

$$
\boxed{
\text{integral relative legality}
}
$$

有真正差別。

本計畫主問題是 rational Hodge conjecture，

所以 finite-cover descent是合法的。

---

# 38. Integral warning

對 integral coefficients，

cover上的 relative witness pushforward只給：

$$
d\alpha.
$$

未必能除以：

$$
d.
$$

所以：

$$
\boxed{
\mathrm{FL}_{\mathbb Z}
\not\Rightarrow
\mathrm{generic\ global\ relative}_{\mathbb Z}
}
$$

不能由本輪 argument推出。

這是另一個 reason：

> rational Hodge conjecture與 integral Hodge conjecture不能混用 legality grammar。

---

# 39. Semiregularity 回到 specific witness lift

R014 的 parameter-space dominance處理：

$$
\text{存在某個 witness family}.
$$

但 specific：

$$
Z_s
$$

是否延伸，

仍是 local Hilbert deformation問題。

若：

$$
Z_s
$$

為 local complete intersection，

其 tangent / obstruction典型為：

$$
H^0(Z_s,N_{Z_s/X_s}),
$$

$$
H^1(Z_s,N_{Z_s/X_s}).
$$

semiregularity map把 obstruction送往 Hodge-theoretic obstruction space。

---

# 40. Conditional specific-lift rule

在有適用 semiregularity theorem且 hypotheses滿足時，

可建立 conditional bridge：

$$
\boxed{
\text{specific witness semiregular}
+
\text{class remains Hodge}
\Longrightarrow
\text{local witness lift}.
}
$$

R014 將其狀態保持為：

$$
\boxed{
\mathrm{CONDITIONAL\_LEGALITY\_BRIDGE}.
}
$$

而不是 universal rule。

---

# 41. Relative grammar

R010–R012 的 legality grammar現在升級成：

$$
\boxed{
\mathfrak G_{\mathrm{rel}}
}
$$

其 primitive constructors包括：

1. relative flat proper subschemes；
2. rational combinations；
3. relative base change；
4. relative flat pullback；
5. relative proper pushforward；
6. external products over base；
7. specialization；
8. Hilbert/Chow parameter pullback；
9. finite-cover rational descent；
10. semiregularity-certified local lifts。

---

# 42. Relative Seed Certificate

一個 relative seed：

$$
\zeta
$$

必須附：

$$
\boxed{
\mathsf{RelSeedCert}(\zeta)
=
\left[
\text{parameter component},
\text{flatness/properness},
\text{codimension},
\text{cycle class},
\text{base coverage},
\text{descent data}
\right].
}
$$

若由 finite cover descent，

還需記：

$$
\boxed{
\deg q
}
$$

與：

$$
\frac1{\deg q}q_\ast.
$$

---

# 43. Relative target leakage

禁止模式：

1. 知道某：
   $$
   \alpha_t
   $$
   每點「應該」algebraic；
2. 未構造 Hilbert/Chow component；
3. 直接聲稱存在 relative cycle。

這是 R012 Target Leakage 的 family版本。

稱：

$$
\boxed{
\text{Relative Target Leakage}.
}
$$

---

# 44. Stress Test A：Constant family

若：

$$
\mathcal X
=
X\times B,
$$

且：

$$
Z\subset X
$$

為 legal witness，

則：

$$
\mathcal Z
=
Z\times B
$$

是 global relative witness。

所以：

$$
\boxed{
\mathrm{RL4}
}
$$

成立。

---

# 45. Stress Test B：Relative divisor

若：

$$
\mathcal L
$$

為：

$$
\mathcal X
$$

上的 line bundle，

則：

$$
c_1(\mathcal L|_{X_b})
$$

形成 relative divisor class。

若有相對 effective divisor：

$$
\mathcal D\subset\mathcal X,
$$

則其 fibers給 global relative cycle。

所以 divisor level仍是 relative legality的正控制組。

---

# 46. Stress Test C：Fiberwise but permuted cycles

若有限 cover：

$$
B'\to B
$$

後有 relative cycle：

$$
\mathcal Z',
$$

但 deck / monodromy交換不同 representatives，

原 base上可能沒有單一 integral choice。

但 rational averaging：

$$
\frac1dQ_\ast\mathcal Z'
$$

仍給 rational relative witness。

這是 Section 26 的 concrete model。

---

# 47. Stress Test D：Specific witness obstruction

即使：

$$
A_\alpha=B,
$$

指定：

$$
Z_s
$$

所在 Hilbert component可能只映到 proper subset：

$$
W(Z_s)\subsetneq B.
$$

但另一個 cycle component可能 dominate：

$$
B.
$$

所以：

$$
\boxed{
\text{specific witness failure}
}
$$

不等於：

$$
\boxed{
\text{class-level fiberwise illegality}.
}
$$

這個區分之後非常重要。

---

# 48. Stress Test E：Specialization

若 family over DVR，

generic witness：

$$
Z_\eta
$$

可 specialize到：

$$
Z_0.
$$

這與 relative-cycle axiom完全相容。

反方向需要 lifting。

所以 legality transport持續具有：

$$
\boxed{
\text{generic-to-special asymmetry}.
}
$$

---

# 49. R014 對 R013 的修正

R013 初步把 gap畫成：

$$
\text{Fiberwise}
\to
\text{Relative}.
$$

R014 顯示：

在 rational、projective、finite-type complex setting，

這個 gap可以大幅壓縮：

$$
\boxed{
\mathrm{Fiberwise}
\iff
\mathrm{FiniteStratifiedRelative}.
}
$$

所以真正主要未知不再是：

> 每個 fiber有 cycle後，cycle能不能任何程度組織起來？

而是更前面：

$$
\boxed{
\text{Hodge persistence}
\to
\text{Fiberwise algebraicity}.
}
$$

---

# 50. Phase-II geometry after R014

現在 family-level legality有兩條 independent difficulty axes。

### Class-level axis

$$
B_\alpha
\supseteq
A_\alpha.
$$

核心問題：

$$
A_\alpha=B_\alpha
\;?
$$

### Witness-level axis

$$
W(Z_s)
\subseteq
A_\alpha.
$$

核心問題：

$$
W(Z_s)=A_\alpha
\;?
$$

前者接 variational Hodge。

後者接 Hilbert deformation / semiregularity。

兩者不得再混成同一問題。

---

# 51. Relative Legality Carrier v1

本輪正式定義：

$$
\boxed{
\mathfrak L_{\mathrm{rel}}^1
=
\left[
z^p(\mathcal X/B)_{\mathbb Q};
\{\mathcal H_{\tau,\alpha}\}_\tau;
A_\alpha;
B_\alpha;
W(Z_s);
\operatorname{sp};
\text{base change};
f^\ast;
f_\ast;
\text{descent};
\text{semiregularity tags}
\right].
}
$$

這補上 R013 missing axis。

---

# 52. Known Boundary

R014 沒有證明：

- variational Hodge conjecture；
- $A_\alpha=B_\alpha$；
- global relative witness總存在；
- specific witness總能 deformation；
- semiregularity總成立；
- integral finite-cover descent；
- Chow groups形成有限-type family bundle。

本輪只證明：

$$
\boxed{
\text{relative-cycle legality有一個完整 typed carrier，
且 fiberwise existence可有限分層壓縮}.
}
$$

---

# 53. R014 Status

本輪已證／固定：

1. relative cycles作 family legality canonical carrier；
2. relative legality對 base change閉合；
3. 對 flat pullback閉合；
4. 對 proper pushforward閉合；
5. specialization內建於 relative-cycle coherence；
6. rational cycle witnesses可由 countably many Hilbert-type spaces parameterize；
7. $A_\alpha$ 是 countable union of closed algebraic subsets；
8. fiberwise legality over irreducible complex base forces a dominating cycle component；
9. dominating component給 generically finite cover-relative witness on dense open；
10. rational finite-cover averaging可 descent回原 base；
11. fiberwise legality推出 generic relative witness；
12. 進一步推出 finite stratified relative legality；
13. 在本 setting：
    $$
    \mathrm{FL}
    \iff
    \mathrm{FSRL};
    $$
14. global relative legality仍更強；
15. specific witness lift仍更細；
16. variational Hodge gap被壓縮成：
    $$
    \mathrm{HodgePersistent}
    +
    \mathrm{one\ legal\ fiber}
    \stackrel{?}{\Longrightarrow}
    \mathrm{FiberwiseLegal}.
    $$

因此：

$$
\boxed{
\mathrm{Status}
=
\mathrm{PROVED}.
}
$$

只指 R014 Primary Claim。

---

# 54. Next Interface

下一輪：

```text
HODGE_MLRSC_R015_L_LegalityClosureAuditII.md
```

R015 應重新檢查：

$$
\boxed{
\mathrm{LegalityClosure}=1
\;?
}
$$

驗收至少包括：

1. fixed-fiber witness calculus；
2. constructive correspondence closure；
3. anti-circular generator complexity；
4. relative cycle carrier；
5. specialization；
6. finite-cover rational descent；
7. fiberwise $\leftrightarrow$ finite-stratified relative compression；
8. specific-witness deformation tags；
9. variational Hodge gap是否屬於「未解 legality proposition」而非「缺 carrier」。

若 carrier已足夠，只剩：

$$
\boxed{
\text{要證的 legality statement本身}
}
$$

未知，

那 Phase II 應該可以 scope-limited closure，

並正式進：

$$
\boxed{
\mathrm{Phase\ III:\ Scale\mbox{-}Category\ Coupling}.
}
$$

---

# 55. 本輪基本摘要

R013 發現：

$$
\boxed{
\text{Hodge class能走}
\neq
\text{cycle witness能走}.
}
$$

R014 把 cycle-side transport正式化後，

得到一個更精確結果：

$$
\boxed{
\text{Fiberwise algebraicity}
\Longrightarrow
\text{finite stratified relative witnesses}.
}
$$

所以如果每個 fiber真的都有 cycle，

那些 cycles並不是完全無法組織的散點。

projectivity、Hilbert parameter spaces、不可數性與 rational descent會強迫它們至少在有限 strata上形成 coherent relative families。

因此最硬的牆被壓縮成：

$$
\boxed{
\text{Hodge persistence}
\stackrel{?}{\Longrightarrow}
\text{fiberwise algebraicity}.
}
$$

這已經不再是 carrier 缺失。

它本身就是 variational Hodge 型的數學難題。

---

# 參考文獻

1. The Stacks Project, Chapter 62, *Relative Cycles*. Relative cycles以 DVR specialization compatibility定義；base change、flat pullback與 proper pushforward均保持 relative cycles。  
   https://stacks.math.columbia.edu/tag/0H4Z

2. The Stacks Project, Section 62.5, *Families of cycles on fibres*. Base change、restriction、flat pullback與 proper pushforward的 fiberwise operations及 compatibilities。  
   https://stacks.math.columbia.edu/tag/0H4N

3. The Stacks Project, Section 99.9, *The Hilbert functor*. Hilbert functor parameterizes flat、proper、finite-presentation closed subspaces並與 base change相容。  
   https://stacks.math.columbia.edu/tag/0CZX

4. The Stacks Project, Lemma 108.7.7. For proper finite-presentation $X/B$ with a relative ample line bundle, fixed-Hilbert-polynomial Hilbert spaces are proper over $B$.  
   https://stacks.math.columbia.edu/tag/0DPH

5. W. Fulton, *Intersection Theory*, especially specialization and families of cycles.

6. 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

7. C. Voisin, *The status of the Hodge conjecture*, 2026. Variational Hodge、semiregularity與 higher Abel–Jacobi / Deligne–Beilinson obstruction的近期整理。  
   https://terrytao.wordpress.com/2026/09/12/the-status-of-the-hodge-conjecture/

8. Aletheia, *HODGE_MLRSC_R013_L_LegalityClosureAuditI*, 2026-09-15.

---

## Canonical Source Declaration

本檔案為本輪正式 UTF-8 Markdown canonical source。

數學原始碼只使用 `$...$` 與 `$$...$$`。

聊天畫面不是本輪 canonical source。