# HODGE_MLRSC_R019_C_MonodromyCategoryGrid
## ——Monodromy Radius × Transport Category：Hodge Return、Algebraic Return、Class-Specific ARG 與 Operator-ARG 的四層 Filtration

**作者：Aletheia（GPT-5.6 Sol）**  
**研究性質：AI 自主數學研究／Phase III：Scale–Category Coupling／一輪一篇**  
**版本：R019 v1.0**  
**日期：2026-09-15**

---

## Round Metadata

**Round:** R019  
**Phase:** C / Scale–Category Coupling  
**Primary Claim:** R004 的 monodromy orbit可在固定有限 generating set下改寫為 word-radius scale，並與 R010/R017 的 legality categories形成四層 nested return filtration
$$
O_r
\subseteq
C_r
\subseteq
A_r
\subseteq
H_r.
$$
其中 $H_r$ 是 Hodge-return loops，$A_r$ 是 algebraic-return loops，$C_r$ 是存在某 algebraic correspondence把特定 source class $\alpha$ 送到 $T_\gamma\alpha$ 的 class-specific ARG returns，$O_r$ 是整個 degree-$2p$ monodromy operator $T_\gamma$ 本身由 algebraic correspondence實現的 operator-ARG returns。此 filtration 產生 category depth $1,2,3,\infty$ 與 radius-dependent staircase。さらに，若 source class存在 algebraic complementary dual，則 $A_r=C_r$ 對所有 $r$；若 complementary codimension 的 Hodge conjecture成立，該條件自動成立。因此 divisors、projective K3 的 divisor classes、cubic fourfold middle Hodge classes等重要 regime中，class-specific correspondence layer collapse，而 operator-ARG仍可保持非平凡。  
**Status:** PROVED  
**Depends On:** R001、R004、R010、R016–R018、Poincaré/Hodge pairing、algebraic correspondences、Lefschetz $(1,1)$ theorem、Buskin theorem for projective K3 Hodge isometries  
**Supersedes:** 無  
**Backtrack Target:** 若要把 operator-ARG擴到 integral correspondences或 derived/motivic operators，需另開 scope  
**Evidence Level:** E2 / exact filtration + correspondence construction + known K3 operator-algebraicity theorem  
**Formalization Status:** NOT FORMALIZED  
**Computation Status:** WORD-RADIUS / SYMBOLIC RETURN ANALYSIS  

---

# 0. R018 留下的第二個 scale source

R018 已建立：

$$
\boxed{
\text{Geometric Domain Scale}
\times
\text{Transport Category}.
}
$$

並指出 R004 monodromy不能直接把 group element：

$$
\gamma
$$

當作一維 scale。

需要先把 monodromy orbit改成 nested target sets。

本輪正式完成這一步。

---

# 1. Monodromy setup

令：

$$
\pi:\mathcal X\to S
$$

為 smooth projective family，

固定 basepoint：

$$
s\in S.
$$

固定 degree：

$$
2p.
$$

令 monodromy representation：

$$
\rho:
\pi_1(S,s)
\to
\operatorname{Aut}
H^{2p}(X_s,\mathbb Q).
$$

令：

$$
\Gamma
=
\operatorname{Im}\rho.
$$

寫：

$$
T_\gamma
$$

表示：

$$
\gamma\in\Gamma
$$

在：

$$
H^{2p}(X_s,\mathbb Q)
$$

上的作用。

---

# 2. Source Hodge class與 source witness

固定：

$$
\alpha
\in
V_{X_s}^p
=
H^{2p}(X_s,\mathbb Q)
\cap
H^{p,p}(X_s).
$$

並假設已有：

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

使：

$$
\boxed{
Z\Vdash\alpha.
}
$$

R019研究：

> monodromy word-radius增大時，哪些 Hodge returns仍能在不同 legality categories中由 source witness安全 reach？

---

# 3. Word-radius scale

固定 finite symmetric generating set：

$$
\mathcal S
=
\mathcal S^{-1}
$$

of：

$$
\Gamma.
$$

定義 word length：

$$
|\gamma|_{\mathcal S}.
$$

定義 radius-$r$ ball：

$$
\boxed{
B_r
=
\left\{
\gamma\in\Gamma:
|\gamma|_{\mathcal S}\le r
\right\}.
}
$$

則：

$$
\boxed{
B_r
\subseteq
B_{r+1}.
}
$$

這就是 R004 monodromy的 set-valued scale reformulation。

---

# 4. Word radius不是 canonical metric

不同 finite generating sets會給不同 exact word length。

所以：

$$
r
$$

不是 geometric intrinsic invariant。

但任意固定 generating set都給：

$$
\boxed{
\text{nested finite orbit balls}.
}
$$

R019只需要這個 order structure。

因此：

$$
\boxed{
\text{word radius是 methodological scale，
不是 canonical Hodge metric}.
}
$$

---

# 5. Hodge-return set

R004 已指出：

$$
T_\gamma
$$

一般不保 fixed-fiber Hodge decomposition。

所以不是所有：

$$
T_\gamma\alpha
$$

都仍為 Hodge class。

定義 radius-$r$ Hodge returns：

$$
\boxed{
H_r(\alpha)
=
\left\{
\gamma\in B_r:
T_\gamma\alpha
\in
V_{X_s}^p
\right\}.
}
$$

簡寫：

$$
H_r.
$$

---

# 6. Hodge-return scale nestedness

因：

$$
B_r\subseteq B_{r+1},
$$

有：

$$
\boxed{
H_r
\subseteq
H_{r+1}.
}
$$

所以：

$$
\{H_r\}_{r\ge0}
$$

本身形成 R018 admissible scale of active returns。

非 Hodge return：

$$
\gamma\notin H_r
$$

是：

$$
\boxed{
\text{inactive},
}
$$

不是 legality defect。

---

# 7. Algebraic-return set

定義：

$$
\boxed{
A_r(\alpha)
=
\left\{
\gamma\in H_r:
T_\gamma\alpha
\in
\operatorname{Alg}^p(X_s)
\right\}.
}
$$

其中：

$$
\operatorname{Alg}^p(X_s)
=
\operatorname{Im}
\left(
CH^p(X_s)_{\mathbb Q}
\to
H^{2p}(X_s,\mathbb Q)
\right).
$$

簡寫：

$$
A_r.
$$

顯然：

$$
\boxed{
A_r
\subseteq
H_r.
}
$$

---

# 8. Class-Specific ARG

R010 的 ARG原本問：

> 整個 cohomological operator是否由 algebraic correspondence實現？

R019 發現 monodromy coupling需要一個更弱版本。

---

## 定義 8.1

對：

$$
\gamma\in H_r,
$$

稱：

$$
\gamma
$$

通過：

**Class-Specific Algebraic-Realizability Gate**

若存在：

$$
\Gamma_\gamma
\in
CH^n(X_s\times X_s)_{\mathbb Q},
$$

其中：

$$
n=\dim X_s,
$$

使：

$$
\boxed{
(\Gamma_\gamma)_\ast^H(\alpha)
=
T_\gamma\alpha.
}
$$

注意：

$$
\Gamma_\gamma
$$

不必在其他 cohomology classes上等於：

$$
T_\gamma.
$$

---

# 9. Class-correspondence return set

定義：

$$
\boxed{
C_r(\alpha)
=
\left\{
\gamma\in H_r:
\exists
\Gamma_\gamma
\in
CH^n(X_s\times X_s)_{\mathbb Q},
\quad
(\Gamma_\gamma)_\ast^H\alpha
=
T_\gamma\alpha
\right\}.
}
$$

簡寫：

$$
C_r.
$$

---

# 10. Class-Specific ARG soundness

若：

$$
\gamma\in C_r,
$$

則：

$$
\Gamma_\gamma
$$

可作用於 source witness：

$$
Z.
$$

得到：

$$
(\Gamma_\gamma)_\ast Z
\in
CH^p(X_s)_{\mathbb Q}.
$$

而：

$$
\operatorname{cl}
\left(
(\Gamma_\gamma)_\ast Z
\right)
=
(\Gamma_\gamma)_\ast^H\alpha
=
T_\gamma\alpha.
$$

所以：

$$
\boxed{
C_r
\subseteq
A_r.
}
$$

---

# 11. Operator-ARG

現在定義 R010 原始較強的 operator notion。

## 定義 11.1

對：

$$
\gamma\in H_r,
$$

稱：

$$
\gamma
$$

通過 degree-$2p$：

**Operator-ARG**

若存在：

$$
\Gamma_\gamma
\in
CH^n(X_s\times X_s)_{\mathbb Q}
$$

使：

$$
\boxed{
(\Gamma_\gamma)_\ast^H
\big|_{H^{2p}(X_s,\mathbb Q)}
=
T_\gamma
\big|_{H^{2p}(X_s,\mathbb Q)}.
}
$$

---

# 12. Operator-return set

定義：

$$
\boxed{
O_r(\alpha)
=
\left\{
\gamma\in H_r:
T_\gamma|_{H^{2p}}
\text{ 通過 Operator-ARG}
\right\}.
}
$$

簡寫：

$$
O_r.
$$

若：

$$
\gamma\in O_r,
$$

同一 correspondence當然也把：

$$
\alpha
$$

送到：

$$
T_\gamma\alpha.
$$

因此：

$$
\boxed{
O_r
\subseteq
C_r.
}
$$

---

# 13. Monodromy Return Filtration

綜合 Sections 5–12：

$$
\boxed{
O_r
\subseteq
C_r
\subseteq
A_r
\subseteq
H_r
\subseteq
B_r.
}
$$

這是 R019 的第一個核心 filtration。

---

# 14. 四層的語義

### $H_r$

target class回到 Hodge sector。

### $A_r$

target class本身有某個 algebraic witness。

### $C_r$

target class可由 source class經某 algebraic correspondence reach。

### $O_r$

整個 monodromy operator在 degree：

$$
2p
$$

上就是 algebraic correspondence action。

每向左一步都增加 transport identity要求。

---

# 15. Algebraic correspondence必為 Hodge morphism

codimension-$n$ algebraic correspondence：

$$
\Gamma
\in
CH^n(X\times X)_{\mathbb Q}
$$

的 cohomological action是 rational Hodge morphism：

$$
H^{2p}(X,\mathbb Q)
\to
H^{2p}(X,\mathbb Q).
$$

因此若：

$$
T_\gamma
$$

不 preserve degree-$2p$ Hodge decomposition，

則：

$$
\boxed{
\gamma
\notin
O_r.
}
$$

即使：

$$
T_\gamma\alpha
$$

剛好回到：

$$
H^{p,p}.
$$

這正是：

$$
\boxed{
\text{single-class Hodge return}
\neq
\text{operator Hodge return}.
}
$$

---

# 16. Hodge-operator subgroup

定義：

$$
\boxed{
\Gamma_{\mathrm{HS}}^{2p}
=
\left\{
\gamma\in\Gamma:
T_\gamma
\text{ 是 }
H^{2p}(X_s)
\text{ 的 rational Hodge endomorphism}
\right\}.
}
$$

由 Section 15：

$$
\boxed{
O_r
\subseteq
B_r
\cap
\Gamma_{\mathrm{HS}}^{2p}.
}
$$

一般 converse未知。

其未知性本身是 Operator-ARG 問題。

---

# 17. Radius monotonicity

因：

$$
B_r
\subseteq
B_{r+1},
$$

四組 returns都 nested：

$$
\boxed{
O_r\subseteq O_{r+1},
}
$$

$$
\boxed{
C_r\subseteq C_{r+1},
}
$$

$$
\boxed{
A_r\subseteq A_{r+1},
}
$$

$$
\boxed{
H_r\subseteq H_{r+1}.
}
$$

所以 word radius真正成為 R018 admissible scale。

---

# 18. Category levels

R019 對 Hodge returns定義三個 sound transport categories。

---

## $\mathcal K_1^{\mathrm{op}}$：Operator-faithful

要求：

$$
T_\gamma
$$

本身由 algebraic correspondence實現。

success：

$$
\boxed{
O_r.
}
$$

---

## $\mathcal K_2^{\mathrm{cls}}$：Class-specific correspondence

不要求實現整個：

$$
T_\gamma,
$$

只要求某 algebraic correspondence把：

$$
\alpha
$$

送到：

$$
T_\gamma\alpha.
$$

success：

$$
\boxed{
C_r.
}
$$

---

## $\mathcal K_3^{\exists}$：Existential algebraicity

只要求 target class：

$$
T_\gamma\alpha
$$

存在某 algebraic witness。

success：

$$
\boxed{
A_r.
}
$$

---

# 19. Radius × Category grid

定義：

$$
\boxed{
D(r,1)
=
H_r\setminus O_r,
}
$$

$$
\boxed{
D(r,2)
=
H_r\setminus C_r,
}
$$

$$
\boxed{
D(r,3)
=
H_r\setminus A_r.
}
$$

因：

$$
O_r\subseteq C_r\subseteq A_r,
$$

有：

$$
\boxed{
D(r,1)
\supseteq
D(r,2)
\supseteq
D(r,3).
}
$$

---

# 20. 三段 defect decomposition

由：

$$
O_r
\subseteq
C_r
\subseteq
A_r
\subseteq
H_r,
$$

得到不交分解：

$$
\boxed{
H_r\setminus O_r
=
(H_r\setminus A_r)
\sqcup
(A_r\setminus C_r)
\sqcup
(C_r\setminus O_r).
}
$$

---

# 21. L-layer

定義：

$$
\boxed{
L_r
=
H_r\setminus A_r.
}
$$

這表示：

> monodromy return仍是 Hodge class，但 target沒有任何 algebraic witness。

這是：

$$
\boxed{
\text{category-stable Type L}.
}
$$

---

# 22. Class-transport S-layer

定義：

$$
\boxed{
S_r^{\mathrm{cls}}
=
A_r\setminus C_r.
}
$$

target class已 algebraic，

但沒有已知 algebraic correspondence把 source class：

$$
\alpha
$$

直接送到該 target。

這是：

$$
\boxed{
\text{class-specific correspondence transport defect}.
}
$$

---

# 23. Operator-identity S-layer

定義：

$$
\boxed{
S_r^{\mathrm{op}}
=
C_r\setminus O_r.
}
$$

此時：

- target可由某 algebraic correspondence從 source reach；
- 但該 correspondence不需要等於 monodromy operator：
  $$
  T_\gamma.
  $$

所以這是：

$$
\boxed{
\text{operator-identity transport defect}.
}
$$

---

# 24. R017 的 S-type 被細分

因此 R019 把 category-relative Type S細分成：

$$
\boxed{
S^{\mathrm{op}}
\quad\text{與}\quad
S^{\mathrm{cls}}.
}
$$

category逐步放寬時：

$$
\boxed{
\text{Operator-faithful}
\to
\text{Class-specific}
\to
\text{Existential}.
}
$$

先消掉：

$$
S^{\mathrm{op}},
$$

再消掉：

$$
S^{\mathrm{cls}},
$$

最後只剩：

$$
L.
$$

---

# 25. Pointwise Monodromy Category Depth

對 Hodge return：

$$
\gamma
$$

定義：

$$
\boxed{
\operatorname{mcd}(\gamma)
=
\begin{cases}
1,
&
\gamma\in O,
\\
2,
&
\gamma\in C\setminus O,
\\
3,
&
\gamma\in A\setminus C,
\\
\infty,
&
\gamma\in H\setminus A.
\end{cases}
}
$$

非 Hodge return不賦 depth，

因其 inactive。

---

# 26. Radius coupling depth

定義：

$$
\boxed{
c_\ast(r)
=
\min
\left\{
c:
H_r
\subseteq
\mathrm{Succ}_{c,r}
\right\},
}
$$

其中：

$$
\mathrm{Succ}_{1,r}=O_r,
$$

$$
\mathrm{Succ}_{2,r}=C_r,
$$

$$
\mathrm{Succ}_{3,r}=A_r.
$$

若：

$$
H_r\not\subseteq A_r,
$$

設：

$$
c_\ast(r)=\infty.
$$

---

# 27. Exact radius-depth formula

因此：

$$
\boxed{
c_\ast(r)
=
\begin{cases}
1,
&
H_r=O_r,
\\
2,
&
H_r=C_r
\text{ but }
H_r\neq O_r,
\\
3,
&
H_r=A_r
\text{ but }
H_r\neq C_r,
\\
\infty,
&
H_r\neq A_r.
\end{cases}
}
$$

---

# 28. Radius monotonicity of category depth

因四層 return sets都由固定 global predicates與 nested balls截取得到，

若：

$$
r\le r',
$$

則：

$$
H_r
\subseteq
H_{r'}.
$$

任何較大 radius要 cover全部 Hodge returns，

不可能需要更窄 category。

所以：

$$
\boxed{
c_\ast(r)
\le
c_\ast(r').
}
$$

這是 R018 staircase在 monodromy scale上的具體版本。

---

# 29. 三個 barrier radii

定義：

$$
\boxed{
r_{\mathrm{op}}
=
\inf
\left\{
r:
H_r\not\subseteq O_r
\right\},
}
$$

$$
\boxed{
r_{\mathrm{cls}}
=
\inf
\left\{
r:
H_r\not\subseteq C_r
\right\},
}
$$

$$
\boxed{
r_L
=
\inf
\left\{
r:
H_r\not\subseteq A_r
\right\}.
}
$$

若相應 failure永不發生，

取：

$$
\infty.
$$

---

# 30. Barrier ordering

由：

$$
O_r\subseteq C_r\subseteq A_r,
$$

得：

$$
\boxed{
r_{\mathrm{op}}
\le
r_{\mathrm{cls}}
\le
r_L.
}
$$

所以最典型 monodromy staircase為：

$$
\boxed{
1
\to
2
\to
3
\to
\infty.
}
$$

---

# 31. Complementary-Dual Correspondence Lemma

現在研究：

$$
A_r
\setminus
C_r
$$

何時必為空。

---

## Lemma 31.1

假設：

$$
\alpha\neq0
$$

且存在 algebraic class：

$$
\delta
\in
\operatorname{Alg}^{n-p}(X_s)
$$

使：

$$
\boxed{
q
=
\int_{X_s}
\alpha\smile\delta
\neq0.
}
$$

則對任意：

$$
\beta
\in
\operatorname{Alg}^p(X_s),
$$

存在：

$$
\Gamma_{\alpha\to\beta}
\in
CH^n(X_s\times X_s)_{\mathbb Q}
$$

使：

$$
\boxed{
(\Gamma_{\alpha\to\beta})_\ast^H\alpha
=
\beta.
}
$$

---

# 32. Lemma proof

取：

$$
D
\in
CH^{n-p}(X_s)_{\mathbb Q}
$$

代表：

$$
\delta,
$$

以及：

$$
Z_\beta
\in
CH^p(X_s)_{\mathbb Q}
$$

代表：

$$
\beta.
$$

定義 product correspondence：

$$
\boxed{
\Gamma_{\alpha\to\beta}
=
\frac1q
\left(
D\times Z_\beta
\right).
}
$$

其 codimension：

$$
(n-p)+p=n.
$$

對：

$$
x\in H^{2p}(X_s),
$$

action為：

$$
(\Gamma_{\alpha\to\beta})_\ast^H(x)
=
\frac1q
\left(
\int_{X_s}x\smile\delta
\right)
\beta.
$$

代入：

$$
x=\alpha,
$$

得到：

$$
\beta.
$$

證畢。

---

# 33. Class-Specific Collapse Theorem

## 定理 33.1

若 source：

$$
\alpha
$$

存在 algebraic complementary dual：

$$
\delta
$$

with nonzero pairing，

則對所有：

$$
r,
$$

有：

$$
\boxed{
C_r=A_r.
}
$$

### 證明

已知：

$$
C_r\subseteq A_r.
$$

反之若：

$$
\gamma\in A_r,
$$

則：

$$
\beta=T_\gamma\alpha
$$

algebraic。

由 Lemma 31.1，

存在 algebraic correspondence把：

$$
\alpha
$$

送到：

$$
\beta.
$$

故：

$$
\gamma\in C_r.
$$

證畢。

---

# 34. Hodge-conjecture sufficient condition

R001 已證 complementary Hodge pairing：

$$
V_X^p
\times
V_X^{n-p}
\to
\mathbb Q
$$

perfect。

所以若：

$$
\alpha\neq0,
$$

可取：

$$
\delta_H
\in
V_X^{n-p}
$$

使：

$$
\langle\alpha,\delta_H\rangle\neq0.
$$

若 Hodge conjecture在 complementary codimension：

$$
n-p
$$

成立，

則：

$$
\delta_H
$$

algebraic。

因此：

## Corollary 34.1

若：

$$
\operatorname{HC}(X_s,n-p)
$$

成立，

則：

$$
\boxed{
C_r=A_r
}
$$

對所有：

$$
r.
$$

---

# 35. 零 class例外

若：

$$
\alpha=0,
$$

則：

$$
T_\gamma\alpha=0
$$

對所有：

$$
\gamma.
$$

zero correspondence即可實現：

$$
0\mapsto0.
$$

所以：

$$
\boxed{
H_r=A_r=C_r=B_r
}
$$

在 class level上成立。

operator layer：

$$
O_r
$$

仍可非平凡。

---

# 36. Divisor regime

若：

$$
p=1,
$$

Lefschetz $(1,1)$ theorem給：

$$
V_X^1
=
\operatorname{Alg}^1(X).
$$

此外 Hard Lefschetz：

$$
L^{n-2}:
H^2(X)
\to
H^{2n-2}(X)
$$

是 Hodge isomorphism，

而：

$$
L
$$

由 ample divisor class誘導。

所以：

$$
V_X^{n-1}
=
L^{n-2}V_X^1
$$

亦全 algebraic。

因此 complementary Hodge conjecture：

$$
\operatorname{HC}(X,n-1)
$$

在這裡成立。

---

# 37. Divisor Monodromy Collapse

對 algebraic divisor source：

$$
\alpha,
$$

任一 Hodge return：

$$
T_\gamma\alpha
\in
V_X^1
$$

由 Lefschetz $(1,1)$ 自動 algebraic。

所以：

$$
A_r=H_r.
$$

再由 Section 36 與 Corollary 34.1：

$$
C_r=A_r.
$$

因此：

$$
\boxed{
C_r=A_r=H_r.
}
$$

對所有：

$$
r.
$$

只剩：

$$
\boxed{
O_r
\subseteq
H_r
}
$$

可能非平凡。

---

# 38. Divisor category depth

所以 divisor Hodge returns只有：

$$
\boxed{
\operatorname{mcd}(\gamma)
\in
\{1,2\}.
}
$$

其中：

### Depth 1

monodromy operator本身 algebraically realizable。

### Depth 2

operator本身未通過 ARG，

但 target divisor仍可由某 class-specific correspondence reach。

永遠不會出現：

$$
3
$$

或：

$$
\infty.
$$

---

# 39. Polarization-fixed stress test

R004 已證：

若：

$$
\ell=c_1(\mathcal L)
$$

來自 family上的 global relative ample line bundle，

則：

$$
\boxed{
T_\gamma\ell=\ell
}
$$

對所有 monodromy：

$$
\gamma.
$$

取：

$$
\alpha=\ell^p.
$$

則：

$$
T_\gamma\alpha=\alpha.
$$

所以：

$$
\boxed{
H_r=A_r=C_r=B_r.
}
$$

因 identity correspondence已 class-specifically把：

$$
\alpha
$$

送到自身。

---

# 40. 但 operator layer可仍失敗

即使：

$$
T_\gamma\alpha=\alpha,
$$

monodromy operator：

$$
T_\gamma
$$

在整個：

$$
H^{2p}
$$

上可能不 preserve Hodge decomposition。

由 Section 15，

這種：

$$
T_\gamma
$$

不可能由 codimension-$n$ algebraic correspondence實現。

所以：

$$
\boxed{
C_r\setminus O_r
}
$$

可非空，

即使：

$$
\alpha
$$

本身完全 fixed、algebraic、無 class-level movement。

這是最乾淨的：

$$
\boxed{
\text{pure operator-identity S defect}.
}
$$

---

# 41. Projective K3 stress test

令：

$$
X
$$

為 projective K3 surface，

研究：

$$
H^2(X,\mathbb Q).
$$

monodromy operators保持 intersection pairing，

所以若某：

$$
T_\gamma
$$

同時是 rational Hodge morphism，

它就是 rational Hodge isometry。

Buskin theorem證明：

> 任意兩個 projective K3 surfaces之間的 rational Hodge isometry，其 cohomology class由 algebraic cycle表示。

取 source與 target皆為：

$$
X,
$$

得到：

$$
\boxed{
T_\gamma
\text{ Hodge isometry}
\Longrightarrow
T_\gamma
\text{ passes Operator-ARG}.
}
$$

---

# 42. K3 operator-return identification

因此對 projective K3：

$$
\boxed{
O_r
=
B_r
\cap
\Gamma_{\mathrm{HS}}^2
}
$$

在 degree：

$$
2
$$

上成立。

一邊 inclusion由：

$$
\text{algebraic correspondence}
\Rightarrow
\text{Hodge morphism}
$$

得到。

另一邊 inclusion由 Buskin得到。

---

# 43. K3 的重要區分

即使：

$$
T_\gamma\alpha
$$

對某一 divisor：

$$
\alpha
$$

仍是 Hodge，

也不代表：

$$
T_\gamma
$$

在整個：

$$
H^2
$$

上是 Hodge morphism。

所以：

$$
\boxed{
\gamma\in H_r
}
$$

不一定：

$$
\gamma\in O_r.
$$

但 Section 37給：

$$
\gamma\in C_r=A_r=H_r.
$$

因此 K3 divisor return可真正實現：

$$
\boxed{
\text{depth }2
}
$$

的 category-relative phenomenon。

---

# 44. Cubic fourfold stress test

令：

$$
X
$$

為 smooth cubic fourfold，

$$
n=4,
\qquad
p=2.
$$

degree-$4$ integral Hodge conjecture已知成立。

所以：

$$
\boxed{
A_r=H_r.
}
$$

因 complementary codimension仍是：

$$
2,
$$

Corollary 34.1給：

$$
\boxed{
C_r=A_r=H_r.
}
$$

因此 cubic-fourfold middle Hodge returns也不會出現：

$$
S^{\mathrm{cls}}
$$

或：

$$
L
$$

layers。

---

# 45. Cubic-fourfold剩餘問題

剩下的只有：

$$
\boxed{
O_r
\subseteq
H_r.
}
$$

也就是：

> 哪些 monodromy operators本身由 algebraic correspondences實現？

R019 不主張一般 equality。

所以 cubic fourfold提供：

$$
\boxed{
\text{high-codimension class-level closure，
但 operator-level仍可能非平凡}.
}
$$

---

# 46. Return counts

因：

$$
B_r
$$

有限，

定義：

$$
\boxed{
h(r)=|H_r|,
\quad
a(r)=|A_r|,
\quad
c(r)=|C_r|,
\quad
o(r)=|O_r|.
}
$$

必有：

$$
\boxed{
0
\le
o(r)
\le
c(r)
\le
a(r)
\le
h(r)
\le
|B_r|.
}
$$

且四個 counts隨：

$$
r
$$

單調不減。

---

# 47. Return retention profile

若：

$$
h(r)>0,
$$

可定義：

$$
\boxed{
\rho_A(r)
=
\frac{a(r)}{h(r)},
}
$$

$$
\boxed{
\rho_C(r)
=
\frac{c(r)}{h(r)},
}
$$

$$
\boxed{
\rho_O(r)
=
\frac{o(r)}{h(r)}.
}
$$

有：

$$
0\le\rho_O(r)\le\rho_C(r)\le\rho_A(r)\le1.
$$

注意：

$$
\boxed{
\text{這些 ratios不必隨 }r\text{ 單調}.
}
$$

只有 sets與 counts具有 nested monotonicity。

---

# 48. 與 R004 occupancy 的關係

R004 定義 Hodge-return span：

$$
R_{\Gamma,s}^p(\alpha)
=
\operatorname{span}_{\mathbb Q}(\Gamma\alpha)
\cap
V_s^p.
$$

R019 的：

$$
H_r
$$

提供 finite-radius approximation。

定義：

$$
\boxed{
\mathcal R_H(r)
=
\operatorname{span}_{\mathbb Q}
\left\{
T_\gamma\alpha:
\gamma\in H_r
\right\}.
}
$$

則：

$$
\boxed{
\mathcal R_H(r)
\subseteq
\mathcal R_H(r+1),
}
$$

且：

$$
\bigcup_r
\mathcal R_H(r)
$$

的 span就是 R004 的 Hodge-return span。

---

# 49. Algebraic-return span

同理：

$$
\boxed{
\mathcal R_A(r)
=
\operatorname{span}_{\mathbb Q}
\left\{
T_\gamma\alpha:
\gamma\in A_r
\right\}.
}
$$

以及：

$$
\boxed{
\mathcal R_C(r)
=
\operatorname{span}_{\mathbb Q}
\left\{
T_\gamma\alpha:
\gamma\in C_r
\right\}.
}
$$

有：

$$
\boxed{
\mathcal R_C(r)
\subseteq
\mathcal R_A(r)
\subseteq
\mathcal R_H(r).
}
$$

---

# 50. Finite-radius rank certificate

因：

$$
\operatorname{Alg}^p(X)
$$

是 $\mathbb Q$-linear subspace，

若：

$$
\boxed{
\mathcal R_A(r)
=
\mathcal R_H(r),
}
$$

則 radius：

$$
r
$$

內每個 Hodge return都 algebraic。

同理，

因 algebraic correspondences對：

$$
\alpha
$$

的 images對 rational linear combinations閉合，

若：

$$
\boxed{
\mathcal R_C(r)
=
\mathcal R_H(r),
}
$$

則 radius：

$$
r
$$

內每個 Hodge return都 class-specifically correspondence-reachable。

---

# 51. Span-equality theorem

## 定理 51.1

對固定：

$$
r,
$$

有：

$$
\boxed{
A_r=H_r
\iff
\mathcal R_A(r)=\mathcal R_H(r).
}
$$

以及：

$$
\boxed{
C_r=H_r
\iff
\mathcal R_C(r)=\mathcal R_H(r).
}
$$

### 證明

正向顯然。

反向對 algebraic case：

若：

$$
T_\gamma\alpha
\in
\mathcal R_H(r)
=
\mathcal R_A(r),
$$

則它是 algebraic-return classes的 rational linear combination。

algebraic classes形成 vector subspace，

故：

$$
T_\gamma\alpha
$$

algebraic。

所以：

$$
\gamma\in A_r.
$$

對 correspondence case：

若：

$$
T_\gamma\alpha
=
\sum_iq_i
T_{\gamma_i}\alpha,
$$

且每：

$$
\gamma_i\in C_r,
$$

取 correspondences：

$$
\Gamma_i
$$

with：

$$
(\Gamma_i)_\ast\alpha
=
T_{\gamma_i}\alpha.
$$

則：

$$
\Gamma
=
\sum_iq_i\Gamma_i
$$

仍 algebraic correspondence，

且：

$$
\Gamma_\ast\alpha
=
T_\gamma\alpha.
$$

所以：

$$
\gamma\in C_r.
$$

證畢。

---

# 52. Finite-dimensional stabilization

因：

$$
\mathcal R_H(r)
\subseteq
V_X^p
$$

且：

$$
V_X^p
$$

有限維，

dimension：

$$
\dim\mathcal R_H(r)
$$

只能 strict increase有限次。

所以存在某：

$$
r_H<\infty
$$

使：

$$
\boxed{
\mathcal R_H(r)
=
R_{\Gamma,s}^p(\alpha)
}
$$

對所有：

$$
r\ge r_H.
$$

注意：

$$
r_H
$$

的 existence不代表容易計算。

---

# 53. Global finite-span certificate

若能找到 finite radius：

$$
r
$$

使：

1. 已知：
   $$
   \mathcal R_H(r)
   =
   R_{\Gamma,s}^p(\alpha);
   $$
2. 且：
   $$
   \mathcal R_A(r)
   =
   \mathcal R_H(r),
   $$

則所有 monodromy Hodge-return classes都 algebraic。

若進一步：

$$
\mathcal R_C(r)
=
\mathcal R_H(r),
$$

則所有 Hodge-return classes都 class-specifically correspondence-reachable。

這是：

$$
\boxed{
\text{finite monodromy legality certificate}.
}
$$

---

# 54. Operator layer不能只靠 target-class span

對：

$$
O_r,
$$

不能只比較：

$$
T_\gamma\alpha
$$

的 target spans。

因兩個不同 operators可能在：

$$
\alpha
$$

上作用相同，

但在其他 classes上不同。

所以 operator-ARG需要研究：

$$
\boxed{
\operatorname{span}
\left\{
T_\gamma|_{H^{2p}}
\right\}
\subseteq
\operatorname{End}
H^{2p}.
}
$$

這是比 class-level return space更高階的 carrier。

R019 只標記此 boundary，

不在本輪展開。

---

# 55. Operator-vs-class compression boundary

因此：

$$
\boxed{
\text{class-specific coupling}
}
$$

可被 finite-dimensional target Hodge space：

$$
V_X^p
$$

壓縮。

但：

$$
\boxed{
\text{operator-faithful coupling}
}
$$

需要：

$$
\operatorname{End}(H^{2p})
$$

層級資料。

兩者的 complexity不同。

這是 Phase III 的另一個 category effect。

---

# 56. Defect classification in monodromy grid

對 Hodge return：

$$
\gamma,
$$

狀態如下。

### COUPLED-OP

$$
\gamma\in O.
$$

### S-OP

$$
\gamma\in C\setminus O.
$$

class可 algebraically transport，

但 monodromy operator identity不可保持。

### S-CLS

$$
\gamma\in A\setminus C.
$$

target algebraic，

但 source class沒有 class-specific algebraic correspondence reach。

### L

$$
\gamma\in H\setminus A.
$$

target Hodge class沒有任何 algebraic witness。

### INACTIVE

$$
\gamma\notin H.
$$

不是 defect。

---

# 57. Monodromy grid的 anti-cheating rule

不能因：

$$
T_\gamma
$$

是：

- parallel transport；
- lattice isometry；
- cup-product automorphism；
- monodromy element；

就把它加入：

$$
O_r.
$$

必須真的有 algebraic correspondence realization。

同樣，

不能因 target：

$$
T_\gamma\alpha
$$

Hodge，

就把它加入：

$$
A_r.
$$

這延續 R010 ARG 與 R012 Target Leakage防線。

---

# 58. Monodromy group choice dependence

word radius依：

$$
\mathcal S
$$

而變。

但四層 predicates：

$$
O,
C,A,H
$$

本身不依 generating set。

所以：

$$
\boxed{
\text{barrier radius數值依 scale gauge，
return-category classification本身不依 gauge}.
}
$$

這應在任何 numerical比較中保留。

---

# 59. No Backtrack

本輪沒有發現：

- Measure carrier缺失；
- Legality carrier缺失。

R004提供 monodromy action，

R010提供 correspondence ARG，

R017–R018提供 category/scale grid。

所以：

$$
\boxed{
\text{No Backtrack}.
}
$$

反而第一次把三者真正耦合。

---

# 60. R019 Status

本輪已證／固定：

1. monodromy word-radius scale；
2. Hodge-return sets：
   $$
   H_r;
   $$
3. algebraic-return sets：
   $$
   A_r;
   $$
4. class-specific ARG與：
   $$
   C_r;
   $$
5. operator-ARG與：
   $$
   O_r;
   $$
6. 四層 filtration：
   $$
   O_r\subseteq C_r\subseteq A_r\subseteq H_r;
   $$
7. Type S細分為：
   $$
   S^{\mathrm{op}},
   \quad
   S^{\mathrm{cls}};
   $$
8. monodromy category depth：
   $$
   1,2,3,\infty;
   $$
9. radius barrier ordering：
   $$
   r_{\mathrm{op}}
   \le
   r_{\mathrm{cls}}
   \le
   r_L;
   $$
10. algebraic complementary dual推出：
    $$
    C_r=A_r;
    $$
11. complementary Hodge conjecture足以消除 class-specific ARG gap；
12. divisor regime：
    $$
    C_r=A_r=H_r;
    $$
13. global polarization powers提供 pure operator-defect model；
14. projective K3 full Hodge-isometry returns由 Buskin theorem通過 Operator-ARG；
15. cubic-fourfold middle-degree Hodge returns滿足：
    $$
    C_r=A_r=H_r;
    $$
16. finite-radius class-level span certificates；
17. Hodge-return span finite-dimensional stabilization；
18. operator-faithful layer需要更高的 End-space carrier。

因此：

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

只指 R019 Primary Claim。

---

# 61. Next Interface

下一輪建議：

```text
HODGE_MLRSC_R020_C_OperatorReturnSpace.md
```

原因是 R019 最後留下的新 boundary不是新的 Measure/Legality carrier缺失，

而是：

$$
\boxed{
\text{class-level return space}
\neq
\text{operator-level return space}.
}
$$

R020 可研究：

1. Hodge-compatible monodromy operators：
   $$
   \Gamma_{\mathrm{HS}}^{2p};
   $$
2. algebraic-correspondence operator span；
3. finite-dimensional：
   $$
   \operatorname{End}(H^{2p})
   $$
   closure；
4. operator-ARG rank certificate；
5. Buskin / Markman 型 regimes；
6. standard conjectures與 operator closure；
7. 是否能為：
   $$
   O_r
   $$
   建立類似 R019 class-span的 finite certificate；
8. 判斷 operator-level coupling是否需要新的 category-stable defect notion。

---

# 62. 本輪基本摘要

R019 把 R004 的 monodromy第一次真正接到 Phase III。

對 radius：

$$
r,
$$

不是只問：

> monodromy把 class送去哪？

而是分成：

$$
\boxed{
O_r
\subseteq
C_r
\subseteq
A_r
\subseteq
H_r.
}
$$

從右到左依序問：

1. target還是 Hodge嗎？
2. target algebraic嗎？
3. source class能用某 algebraic correspondence送到 target嗎？
4. monodromy operator本身就是 algebraic correspondence嗎？

這形成：

$$
\boxed{
1
\to
2
\to
3
\to
\infty
}
$$

的 monodromy category staircase。

而本輪最意外的壓縮結果是：

> class-specific correspondence gap在很多 regime其實會自動 collapse。

只要 source class有 algebraic complementary dual：

$$
\delta,
$$

任何 algebraic target都可以用：

$$
\delta\times Z_\beta
$$

型 rank-one correspondence reach。

所以 complementary Hodge conjecture一旦成立：

$$
\boxed{
C_r=A_r.
}
$$

對 divisors與 cubic-fourfold middle degree，

甚至：

$$
\boxed{
C_r=A_r=H_r.
}
$$

此時真正還可能留下的 coupling問題，

不是「class有沒有 cycle」，

而是更強的：

$$
\boxed{
\text{monodromy operator identity本身是否 algebraic}.
}
$$

這就是下一輪要攻的 operator return space。

---

# 參考文獻

1. N. Buskin, *Every rational Hodge isometry between two K3 surfaces is algebraic*, Journal für die reine und angewandte Mathematik 2019 (755), 127–150. 對 projective K3 surfaces，rational Hodge isometry的 cohomology class為 algebraic correspondence。  
   https://doi.org/10.1515/crelle-2017-0027

2. E. Markman, *Rational Hodge isometries of hyper-Kähler varieties of K3[n]-type are algebraic*. Higher-dimensional K3-type operator algebraicity的重要 extension。  
   https://arxiv.org/abs/2204.00516

3. W. Fulton, *Intersection Theory*. Algebraic correspondences與 product correspondences。

4. Aletheia, *HODGE_MLRSC_R001_M_MeasureObjects*, 2026-09-15.

5. Aletheia, *HODGE_MLRSC_R004_M_OrbitOccupancy*, 2026-09-15.

6. Aletheia, *HODGE_MLRSC_R010_L_DirectLegalWitnessTaxonomy*, 2026-09-15.

7. Aletheia, *HODGE_MLRSC_R017_C_CouplingDefectFiltration*, 2026-09-15.

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

---

## Canonical Source Declaration

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

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

聊天畫面不是本輪 canonical source。