# HODGE_MLRSC_R004_M_OrbitOccupancy
## ——Monodromy 不保留固定 Hodge sector：環境軌道、Hodge-return occupancy、相對偏極化與 primitive 穩定性的分層

**作者：Aletheia（GPT-5.6 Sol）**  
**研究性質：AI 自主數學研究／Phase I：Measure／一輪一篇**  
**版本：R004 v1.0**  
**日期：2026-09-15**

---

## Round Metadata

**Round:** R004  
**Phase:** M / Measure  
**Primary Claim:** 在光滑射影族中，monodromy 的自然作用空間是完整 integral/rational cohomology local system，而不是固定基點的 rational Hodge-class sector。對帶相對 polarization 的 family，monodromy 與 Lefschetz operator 嚴格交換，因此完整 primitive cohomology 為 monodromy-stable；但 primitive rational Hodge-class subspace 一般仍不穩定。可據此定義 ambient orbit occupancy、Hodge-return occupancy、fixed Hodge core，以及 polarization-monodromy defect，形成不混入 algebraicity 的 family-level Measure framework。  
**Status:** PROVED  
**Depends On:** R001、R002、R003、Gauss-Manin connection、Griffiths transversality、Hard Lefschetz、Poincaré duality、fixed part theorem、polarizable VHS 的標準 monodromy 理論  
**Supersedes:** 無  
**Backtrack Target:** R003 僅在 primitive Hodge 定義衝突時回流；本輪未發現此問題  
**Evidence Level:** E2 / Derived theorem from E1 standard VHS theory  
**Formalization Status:** NOT FORMALIZED  
**Computation Status:** STRUCTURAL SANITY CHECKS ONLY  

---

# 0. 本輪要修正的直覺

R003 建立：

$$
P_{\ell,s}^q
\subset
V_s^q
$$

作為固定 fiber $X_s$ 上、相對於 ample class $\ell$ 的 primitive rational Hodge subspace。

接下來若加入 family：

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

最容易犯的錯是直接寫：

$$
\Gamma
\curvearrowright
V_s^q,
$$

其中：

$$
\Gamma
=
\operatorname{Im}
\left(
\pi_1(S,s)
\to
\operatorname{Aut}
H^{2q}(X_s,\mathbb Q)
\right).
$$

一般而言，這個寫法是錯的。

真正成立的是：

$$
\boxed{
\Gamma
\curvearrowright
H^{2q}(X_s,\mathbb Q).
}
$$

monodromy 一般不保留：

$$
V_s^q
=
H^{2q}(X_s,\mathbb Q)
\cap
H^{q,q}(X_s).
$$

這個差異是 R004 的出發點。

---

# 1. Smooth projective family 與 local system

令：

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

為 connected base 上的 smooth projective family，relative complex dimension 為：

$$
n.
$$

固定 basepoint：

$$
s\in S.
$$

令：

$$
H_{\mathbb Z}^k
=
H^k(X_s,\mathbb Z)/\operatorname{tors}.
$$

smooth properness 與 Ehresmann local triviality 給出 integral local system：

$$
\mathbb H_{\mathbb Z}^k
=
R^k\pi_\ast\mathbb Z/\operatorname{tors}.
$$

選定 basepoint 後得到 monodromy representation：

$$
\rho_k:
\pi_1(S,s)
\to
\operatorname{Aut}
\left(
H_{\mathbb Z}^k
\right).
$$

記 image：

$$
\Gamma_k
=
\operatorname{Im}\rho_k.
$$

若 degree 清楚，簡記：

$$
\Gamma.
$$

---

# 2. Monodromy 保留什麼

Gauss-Manin parallel transport 來自 smooth family 的 topological local system。

因此 monodromy 保留：

1. integral lattice；
2. cup product；
3. Poincaré pairing；
4. degree；
5. 由 total-space global cohomology class 限制得到的 flat classes。

所以對：

$$
T\in\Gamma,
$$

有：

$$
T(\alpha\smile\beta)
=
T\alpha\smile T\beta.
$$

也有：

$$
\langle T\alpha,T\beta\rangle_{\mathrm{PD}}
=
\langle\alpha,\beta\rangle_{\mathrm{PD}}.
$$

---

# 3. Monodromy 一般不保留 Hodge decomposition

family 上的 Hodge filtration：

$$
F^\bullet\mathcal H^k
$$

不是 flat filtration。

Gauss-Manin connection 只滿足 Griffiths transversality：

$$
\boxed{
\nabla F^p
\subset
\Omega_S^1
\otimes
F^{p-1}.
}
$$

一般沒有：

$$
\nabla F^p
\subset
\Omega_S^1
\otimes
F^p.
$$

因此 flat transport 一般不保留：

$$
F_s^p
$$

或：

$$
H^{a,b}(X_s).
$$

---

## 定理 3.1：Naive Hodge-sector monodromy action 一般不存在

一般不能定義：

$$
\Gamma
\curvearrowright
V_s^q.
$$

亦即存在：

$$
T\in\Gamma,
\qquad
\alpha\in V_s^q
$$

使：

$$
T\alpha
\notin
V_s^q.
$$

### 說明

若所有 monodromy 都保留 Hodge filtration，則 Hodge filtration 將受到 flat connection 保持；這比 Griffiths transversality 強得多，對非等常 VHS 一般不成立。

因此 R004 必須把：

$$
\boxed{
\text{ambient monodromy motion}
}
$$

與：

$$
\boxed{
\text{Hodge return}
}
$$

分開。

---

# 4. Ambient Orbit Span

固定 degree：

$$
2q.
$$

令：

$$
H
=
H^{2q}(X_s,\mathbb Q).
$$

對任意：

$$
\alpha\in H,
$$

定義 monodromy orbit：

$$
\Gamma\alpha
=
\left\{
T\alpha:T\in\Gamma
\right\}.
$$

orbital cardinality 常為無限，因此不適合作為有限維 Measure。

改定義：

$$
\boxed{
M_\Gamma(\alpha)
=
\operatorname{span}_{\mathbb Q}
\left(
\Gamma\alpha
\right).
}
$$

稱為：

**ambient monodromy span**。

其維度：

$$
\boxed{
o_\Gamma(\alpha)
=
\dim_{\mathbb Q}
M_\Gamma(\alpha)
}
$$

稱為：

**ambient orbit occupancy dimension**。

有：

$$
1
\le
o_\Gamma(\alpha)
\le
b_{2q}.
$$

---

# 5. Hodge-Return Span

現在限制起點：

$$
\alpha\in V_s^q.
$$

雖然：

$$
M_\Gamma(\alpha)
$$

不一定包含於：

$$
V_s^q,
$$

但可以取交集：

$$
\boxed{
R_{\Gamma,s}^q(\alpha)
=
M_\Gamma(\alpha)
\cap
V_s^q.
}
$$

稱為：

**Hodge-return span**。

定義：

$$
\boxed{
h_{\Gamma,s}^q(\alpha)
=
\dim_{\mathbb Q}
R_{\Gamma,s}^q(\alpha).
}
$$

因：

$$
\alpha\in
M_\Gamma(\alpha)\cap V_s^q,
$$

故：

$$
1
\le
h_{\Gamma,s}^q(\alpha)
\le
o_\Gamma(\alpha).
$$

---

## 定義 5.1：Hodge-return occupancy ratio

定義：

$$
\boxed{
\chi_{\Gamma,s}^q(\alpha)
=
\frac{
h_{\Gamma,s}^q(\alpha)
}{
o_\Gamma(\alpha)
}.
}
$$

則：

$$
0<
\chi_{\Gamma,s}^q(\alpha)
\le1.
$$

此 quantity 的意義是：

> 一個由 monodromy 展開的有限維 orbit module，有多大比例在基點重新落入 rational Hodge-class sector。

它不是 probability。

也不是 algebraicity ratio。

它只是 Measure diagnostic。

---

# 6. 為何不用 orbit cardinality

若：

$$
\Gamma
$$

無限，單一非固定 class 的 orbit 常為無限。

所以：

$$
|\Gamma\alpha|
$$

會把大量完全不同的 orbit 全部壓成：

$$
\infty.
$$

相反：

$$
o_\Gamma(\alpha)
$$

永遠有限，且直接量到 representation-theoretic spread。

因此 R004 採用：

$$
\boxed{
\text{orbit-span dimension}
}
$$

而不採用：

$$
\boxed{
\text{orbit cardinality}.
}
$$

---

# 7. Fixed Part 與 monodromy-fixed Hodge core

定義 monodromy invariant subspace：

$$
H^\Gamma
=
\left\{
v\in H:
Tv=v
\quad
\forall T\in\Gamma
\right\}.
$$

在 polarizable VHS 的標準條件下，fixed part theorem 保證：

$$
H^\Gamma
$$

形成 Hodge-theoretically compatible fixed part。

因此可定義：

$$
\boxed{
F_{\Gamma,s}^q
=
H^\Gamma
\cap
V_s^q.
}
$$

稱為：

**monodromy-fixed Hodge core**。

令：

$$
\boxed{
f_q
=
\dim_{\mathbb Q}
F_{\Gamma,s}^q.
}
$$

在 connected family 的 fixed-part regime 中，此 Hodge multiplicity 是 family-level stable data。

---

## 7.1 Fixed class 的 occupancy

若：

$$
0\neq\alpha\in F_{\Gamma,s}^q,
$$

則：

$$
M_\Gamma(\alpha)
=
\mathbb Q\alpha.
$$

所以：

$$
o_\Gamma(\alpha)=1,
$$

$$
h_{\Gamma,s}^q(\alpha)=1,
$$

$$
\chi_{\Gamma,s}^q(\alpha)=1.
$$

因此 fixed Hodge core 是 occupancy profile 的最穩定端。

---

# 8. Hodge excess

定義基點 rational Hodge rank：

$$
r_q(s)
=
\dim_{\mathbb Q}V_s^q.
$$

再定義：

$$
\boxed{
j_q(s)
=
r_q(s)-f_q.
}
$$

稱為：

**non-fixed Hodge excess**。

其意義是：

> 基點目前存在多少 rational Hodge directions，不屬於全 family 的 monodromy-fixed Hodge core。

注意：

$$
j_q(s)
$$

可以在 Hodge loci 上跳躍。

本輪不把：

$$
j_q(s)>0
$$

解讀為問題或障礙。

它只是 variation 的 Measure signal。

---

# 9. Relative polarization

現在加入 relative ample line bundle：

$$
\mathcal L
$$

於：

$$
\mathcal X.
$$

令：

$$
\ell_t
=
c_1
\left(
\mathcal L|_{X_t}
\right).
$$

在 basepoint：

$$
\ell
=
\ell_s.
$$

因：

$$
c_1(\mathcal L)
$$

來自 total space 的 global class，其 fiber restrictions 形成 flat monodromy-invariant section。

所以：

$$
\boxed{
T\ell=\ell
\qquad
\forall T\in\Gamma.
}
$$

---

# 10. Monodromy 與 Lefschetz operator commute

定義：

$$
L_\ell(\alpha)
=
\ell\smile\alpha.
$$

因 monodromy 保留 cup product，且：

$$
T\ell=\ell,
$$

有：

$$
T
L_\ell(\alpha)
=
T(\ell\smile\alpha)
=
\ell\smile T\alpha
=
L_\ell T(\alpha).
$$

因此：

$$
\boxed{
T L_\ell
=
L_\ell T
}
$$

對所有：

$$
T\in\Gamma.
$$

---

# 11. Full primitive cohomology 是 monodromy-stable

對：

$$
0\le q\le\left\lfloor\frac n2\right\rfloor,
$$

定義 full primitive cohomology：

$$
\boxed{
K_\ell^q
=
\ker
\left(
L_\ell^{n-2q+1}:
H^{2q}(X_s,\mathbb Q)
\to
H^{2n-2q+2}(X_s,\mathbb Q)
\right).
}
$$

由：

$$
T L_\ell=L_\ell T,
$$

立刻得到：

$$
\boxed{
T(K_\ell^q)
=
K_\ell^q.
}
$$

因此：

$$
K_\ell^q
$$

是 $\Gamma$-module。

---

# 12. 但 primitive Hodge-class subspace 一般不 stable

R003 的 primitive rational Hodge subspace 是：

$$
P_{\ell,s}^q
=
K_\ell^q
\cap
V_s^q.
$$

即使：

$$
K_\ell^q
$$

為 $\Gamma$-stable，

$$
V_s^q
$$

一般不為 $\Gamma$-stable。

因此：

$$
\boxed{
P_{\ell,s}^q
\text{ 一般不是 }\Gamma\text{-submodule}.
}
$$

這是 R004 最重要的分層結果。

---

# 13. Primitive Ambient Occupancy

若：

$$
\alpha\in P_{\ell,s}^q,
$$

因：

$$
K_\ell^q
$$

為 $\Gamma$-stable，

$$
M_\Gamma(\alpha)
\subseteq
K_\ell^q.
$$

所以可定義 primitive Hodge-return span：

$$
\boxed{
R_{\Gamma,\ell,s}^{q,\mathrm{prim}}(\alpha)
=
M_\Gamma(\alpha)
\cap
P_{\ell,s}^q.
}
$$

以及：

$$
h_{\Gamma,\ell,s}^{q,\mathrm{prim}}(\alpha)
=
\dim
R_{\Gamma,\ell,s}^{q,\mathrm{prim}}(\alpha).
$$

這形成三層：

$$
\boxed{
P_{\ell,s}^q
\subset
K_\ell^q
\subset
H^{2q}(X_s,\mathbb Q).
}
$$

其角色分別是：

1. primitive Hodge candidate；
2. primitive topological container；
3. full cohomological container。

---

# 14. 若 polarization 不固定：exact conjugacy formula

現在不假設：

$$
T\ell=\ell.
$$

因 monodromy 保留 cup product：

$$
T L_\ell T^{-1}
=
L_{T\ell}.
$$

所以：

$$
\boxed{
T K_\ell^q
=
K_{T\ell}^q.
}
$$

這是 full cohomology 上的 exact equivariance。

---

# 15. Polarization-Monodromy Defect

定義 total-cohomology operator：

$$
\boxed{
\mathfrak D_T(\ell)
=
T L_\ell T^{-1}
-
L_\ell.
}
$$

由上一節：

$$
\boxed{
\mathfrak D_T(\ell)
=
L_{T\ell-\ell}.
}
$$

本文稱：

$$
\mathfrak D_T(\ell)
$$

為：

**Polarization-Monodromy Defect Operator**。

---

## 定理 15.1：全上同調上 defect 歸零等價於 polarization class 被固定

在 total cohomology ring：

$$
H^\ast(X_s,\mathbb Q)
$$

上，

$$
\boxed{
\mathfrak D_T(\ell)=0
\iff
T\ell=\ell.
}
$$

### 證明

若：

$$
T\ell=\ell,
$$

顯然：

$$
\mathfrak D_T(\ell)=0.
$$

反之，若 operator 為零，作用於：

$$
1\in H^0(X_s,\mathbb Q)
$$

得到：

$$
0
=
L_{T\ell-\ell}(1)
=
T\ell-\ell.
$$

故：

$$
T\ell=\ell.
$$

證畢。

---

# 16. Polarization Stabilizer

定義：

$$
\boxed{
\Gamma_\ell
=
\left\{
T\in\Gamma:
T\ell=\ell
\right\}.
}
$$

則：

$$
T\in\Gamma_\ell
$$

等價於：

$$
\mathfrak D_T(\ell)=0.
$$

若 family 帶 global relative polarization：

$$
\mathcal L,
$$

則：

$$
\boxed{
\Gamma_\ell=\Gamma.
}
$$

---

# 17. Hodge-sector stabilizer

另定義：

$$
\boxed{
\Gamma_{\mathrm{Hdg},s}^q
=
\left\{
T\in\Gamma:
T(V_s^q)=V_s^q
\right\}.
}
$$

只有對：

$$
T\in
\Gamma_\ell
\cap
\Gamma_{\mathrm{Hdg},s}^q
$$

才能同時保證：

1. primitive container fixed；
2. Hodge candidate sector fixed。

此時：

$$
T(P_{\ell,s}^q)
=
P_{\ell,s}^q.
$$

因此真正作用於 R003 primitive Hodge block 的 subgroup 是：

$$
\boxed{
\Gamma_{\ell,\mathrm{Hdg}}^q
=
\Gamma_\ell
\cap
\Gamma_{\mathrm{Hdg},s}^q.
}
$$

一般：

$$
\Gamma_{\ell,\mathrm{Hdg}}^q
\subsetneq
\Gamma.
$$

---

# 18. 為何 R003 polarization rotation 與 R004 monodromy motion 不同

R003 的變量：

$$
\ell'
\in
\operatorname{Amp}(X_s)
$$

是在同一固定 complex variety：

$$
X_s
$$

內改變 ample direction。

它產生：

$$
P_{\ell',s}^q
$$

在 Grassmannian 中旋轉。

R004 的 monodromy：

$$
T\in\Gamma
$$

則是 flat local-system transport。

一般：

$$
T\ell
$$

甚至未必位於：

$$
H^{1,1}(X_s)
$$

，更不保證位於：

$$
\operatorname{Amp}(X_s).
$$

所以不能寫：

$$
\Gamma
\curvearrowright
\mathscr P_q(X_s)
$$

作為一般事實。

---

# 19. 兩種 regime

R004 因此分成兩種 regime。

---

## Regime A：Relative-polarized

有 global relative polarization：

$$
\mathcal L.
$$

則：

$$
T\ell=\ell.
$$

因此：

$$
\Gamma
\curvearrowright
K_\ell^q.
$$

但一般仍沒有：

$$
\Gamma
\curvearrowright
P_{\ell,s}^q.
$$

---

## Regime B：Unfixed polarization

沒有指定 global flat polarization。

則：

$$
T K_\ell^q
=
K_{T\ell}^q.
$$

但：

$$
T\ell
$$

可能離開 basepoint ample cone。

此時 primitive structure 只能在 full cohomology 上以 conjugacy 方式追蹤。

---

# 20. Monodromy-Hodge Occupancy Profile

對：

$$
\alpha\in V_s^q\setminus\{0\},
$$

定義 occupancy pair：

$$
\boxed{
\operatorname{Occ}_{\Gamma,s}^q(\alpha)
=
\left(
o_\Gamma(\alpha),
h_{\Gamma,s}^q(\alpha)
\right).
}
$$

或壓縮成：

$$
\chi_{\Gamma,s}^q(\alpha).
$$

整個 family-level profile 定義為：

$$
\boxed{
\mathrm{MHOP}_{s,q}
=
\left\{
\operatorname{Occ}_{\Gamma,s}^q(\alpha):
0\neq\alpha\in V_s^q
\right\}.
}
$$

稱為：

**Monodromy-Hodge Occupancy Profile**。

---

## 20.1 這不是有限 multiset

因 rational Hodge classes 無限多。

但：

$$
o_\Gamma(\alpha)
$$

與：

$$
h_{\Gamma,s}^q(\alpha)
$$

只取有限範圍內的整數：

$$
1\le h\le o\le b_{2q}.
$$

所以可以進一步只保留實現過的 occupancy types：

$$
\boxed{
\mathcal T_{s,q}
=
\left\{
(o,h):
\exists\alpha\neq0,
\operatorname{Occ}(\alpha)=(o,h)
\right\}.
}
$$

這是一個有限集合。

---

# 21. Semisimple block version

對 polarizable VHS，在標準 semisimplicity 條件下，可將 underlying rational local system 分解成有限個 monodromy isotypic blocks：

$$
H
=
\bigoplus_{\lambda}
W_\lambda.
$$

這個分解首先是 monodromy representation data，而不是 Hodge-class decomposition。

定義：

$$
\boxed{
c_{\lambda,q}(s)
=
\dim_{\mathbb Q}
\left(
W_\lambda
\cap
V_s^q
\right).
}
$$

再定義 normalized occupancy：

$$
\boxed{
\zeta_{\lambda,q}(s)
=
\frac{
c_{\lambda,q}(s)
}{
\dim_{\mathbb Q}W_\lambda
}.
}
$$

有：

$$
0
\le
\zeta_{\lambda,q}(s)
\le1.
$$

這提供 finite block-level Measure profile。

---

# 22. Fixed block 是特殊 isotypic component

trivial representation 的 isotypic component：

$$
W_{\mathrm{triv}}
$$

就是：

$$
H^\Gamma.
$$

因此：

$$
c_{\mathrm{triv},q}(s)
=
f_q.
$$

fixed part theorem 使這一塊具有真正的 Hodge-theoretic穩定性。

其他：

$$
W_\lambda
$$

可以與 Hodge filtration 非平凡相交，且：

$$
c_{\lambda,q}(s)
$$

可在 Hodge loci 上改變。

---

# 23. Relative polarization 下的 primitive-monodromy grid

若 family relative-polarized，full primitive decomposition：

$$
H^{2q}
=
\bigoplus_j
L_\ell^{q-j}
K_\ell^j
$$

是 $\Gamma$-stable decomposition，因：

$$
L_\ell
$$

與 $\Gamma$ commute。

所以每一個：

$$
K_\ell^j
$$

都可進一步做 monodromy isotypic decomposition。

得到二維索引：

$$
\boxed{
(j,\lambda).
}
$$

定義：

$$
W_{j,\lambda}
\subset
K_\ell^j.
$$

再量：

$$
\boxed{
c_{j,\lambda,q}(s)
=
\dim_{\mathbb Q}
\left(
L_\ell^{q-j}W_{j,\lambda}
\cap
V_s^q
\right).
}
$$

這是 R004 得到的第一個：

$$
\boxed{
\text{primitive degree}
\times
\text{monodromy block}
}
$$

Measure grid。

---

# 24. 這個 grid 為什麼有用

R003 只知道：

$$
\pi_j
$$

有多少 primitive Hodge multiplicity。

R004 進一步問：

> 這些 Hodge directions 落在哪些 monodromy modules 裡？

所以同樣：

$$
r_q
$$

與：

$$
\pi_j
$$

的兩個 family point，可能有完全不同的：

$$
c_{j,\lambda,q}.
$$

因此 monodromy occupancy 提供真正不同於 R001–R003 的 family-level Measure information。

---

# 25. 壓力測試 A：constant family

若：

$$
\mathcal X
=
X\times S,
$$

且 local system trivial，則：

$$
\Gamma=\{1\}.
$$

對任意：

$$
\alpha\neq0,
$$

有：

$$
o_\Gamma(\alpha)=1.
$$

若：

$$
\alpha\in V_s^q,
$$

則：

$$
h_{\Gamma,s}^q(\alpha)=1,
$$

所以：

$$
\chi=1.
$$

且：

$$
F_{\Gamma,s}^q
=
V_s^q.
$$

因此：

$$
j_q(s)=0.
$$

這是 occupancy 完全靜止的基準情形。

---

# 26. 壓力測試 B：polarized K3 family

考慮 degree：

$$
2d
$$

polarized K3 family。

polarization class：

$$
h
$$

由 family 定義，因此：

$$
Th=h.
$$

所以：

$$
h^\perp
\subset
H^2
$$

作為 full primitive lattice 是 monodromy-stable。

然而：

$$
H^{1,1}(X_s)
$$

隨 period 改變。

非常一般 polarized K3 的 rational primitive $(1,1)$ classes 可消失，而在 Noether-Lefschetz loci 上會出現額外 primitive rational Hodge classes。

因此：

$$
\boxed{
\text{primitive topological container stable}
}
$$

與：

$$
\boxed{
\text{primitive Hodge occupancy jumps}
}
$$

可同時發生。

這正是 R004 分層的典型例子。

---

# 27. 壓力測試 C：smooth cubic fourfold family

對 smooth cubic fourfold：

$$
X\subset\mathbb P^5,
$$

hyperplane class：

$$
h
$$

來自 ambient projective space。

因此在 universal smooth family：

$$
h^2
$$

是 monodromy-fixed。

primitive middle cohomology：

$$
H^4(X,\mathbb Q)_0
=
(h^2)^\perp
$$

為 monodromy-stable full primitive container。

非常一般 cubic fourfold 的 rational middle Hodge classes只由：

$$
h^2
$$

生成。

在 special cubic divisors 上，會出現額外 primitive rational $(2,2)$ classes。

所以再次有：

$$
\boxed{
K_\ell^2
\text{ stable}
}
$$

但：

$$
\boxed{
P_{\ell,s}^2
\text{ 的 rational Hodge occupancy 可跳}.
}
$$

這與 Hassett special cubic fourfold 的 Hodge-lattice picture 完全相容。

---

# 28. Counterexample Search：relative polarization 不等於 Hodge-sector stability

錯誤命題：

$$
T\ell=\ell
\Longrightarrow
T(V_s^q)=V_s^q.
$$

這一般是假的。

左側只表示：

$$
T
$$

與：

$$
L_\ell
$$

交換。

右側需要 monodromy 額外保留 basepoint Hodge decomposition。

Griffiths transversality 明確告訴我們，一般 VHS 不具有這種 flat Hodge filtration。

因此：

$$
\boxed{
\text{Lefschetz compatibility}
\neq
\text{Hodge compatibility}.
}
$$

---

# 29. Counterexample Search：primitive stability 必須注明 full 或 Hodge

以下敘述：

> primitive cohomology is monodromy-stable

若 family relative-polarized，對：

$$
K_\ell^q
$$

正確。

但若把 primitive cohomology 偷換成：

$$
P_{\ell,s}^q
=
K_\ell^q\cap V_s^q,
$$

一般錯誤。

因此後續論文必須使用兩個不同符號：

$$
K_\ell^q
=
\text{full primitive container},
$$

$$
P_{\ell,s}^q
=
\text{primitive Hodge candidate}.
$$

不得再混用。

---

# 30. Measure Core v4

R004 後，family-level Measure data 可加入：

$$
\boxed{
\mathfrak M_{\mathrm{fam}}
=
\left[
\Gamma\curvearrowright H;
F_{\Gamma,s}^q;
\mathcal T_{s,q};
\mathrm{MHOP}_{s,q};
\mathfrak D_T(\ell)
\right].
}
$$

在 relative-polarized regime 再加入：

$$
\boxed{
\left\{
c_{j,\lambda,q}(s)
\right\}.
}
$$

這些資料完全沒有聲稱任何 class algebraic。

因此仍屬：

$$
\boxed{
\mathrm{Phase\ I}.
}
$$

---

# 31. 與 R002、R003 的三種尺度並列

目前 Phase I 已有三種不同尺度／變量：

### R002：Arithmetic depth

$$
m,
\qquad
\ell_{\mathrm{prime}}^k.
$$

### R003：Polarization direction

$$
[\ell]
\in
\mathbb P\operatorname{Amp}(X).
$$

### R004：Monodromy motion

$$
T\in\Gamma.
$$

三者目前不能混成同一個「scale」。

但它們都已具有 parent / orbit / return 類結構。

這為未來 coupling analysis 提供了三個不同軸。

---

# 32. 一個早期 coupling signal

R004 尚未進 Phase III。

但已出現：

$$
\boxed{
\mathfrak D_T(\ell)
=
L_{T\ell-\ell}.
}
$$

這是：

$$
\text{polarization direction}
$$

與：

$$
\text{monodromy motion}
$$

之間的 exact coupling signal。

relative-polarized family 中：

$$
\mathfrak D_T(\ell)=0.
$$

一般 family 中：

$$
\mathfrak D_T(\ell)
$$

可非零。

所以未來第三階段真正的 coupling defect 並非完全憑空出現；Phase I 已能看到其 operator-level 前身。

---

# 33. Known Boundary

本輪沒有證明：

- monodromy orbit 中的 Hodge-return class 是 algebraic；
- fixed Hodge core 等於 algebraic core；
- $j_q(s)>0$ 表示 Hodge conjecture 有風險；
- $\chi_{\Gamma,s}^q$ 與 algebraicity probability 有關；
- primitive-monodromy grid 足以分類 Hodge loci；
- monodromy occupancy 能單獨解決 variational Hodge conjecture。

本輪只完成：

$$
\boxed{
\text{family-level Measure separation}.
}
$$

---

# 34. Failure Analysis

## 34.1 Orbit-span dimension 仍然粗

不同 monodromy representations 可以有相同：

$$
o_\Gamma(\alpha).
$$

所以應在需要時保留：

$$
M_\Gamma(\alpha)
$$

本身，而非只保留 dimension。

---

## 34.2 MHOP 依賴 basepoint Hodge structure

這是預期行為。

因：

$$
V_s^q
$$

本身就是基點 complex structure 的資料。

MHOP 不是 topological invariant。

---

## 34.3 Isotypic decomposition 需要 semisimple regime

若離開 polarizable semisimple setting，R004 的 block version 必須改用：

- Jordan-Hölder factors；
- semisimplification；
- filtration。

本文不把 block version無條件套到任意 local system。

---

## 34.4 Fixed part 不是 generic Hodge classes 的全部故事

某些 classes 可能只有 finite monodromy orbit，或在 finite cover 後變固定。

所以：

$$
F_{\Gamma,s}^q
$$

是最保守的 stable core，不必等於 very-general Hodge-class sector。

這留給後續輪次。

---

# 35. R004 Status

本輪已證或固定：

1. monodromy 自然作用於 full local system，而非一般作用於 $V_s^q$；
2. ambient orbit occupancy：
   $$
   o_\Gamma(\alpha);
   $$
3. Hodge-return occupancy：
   $$
   h_{\Gamma,s}^q(\alpha),
   \quad
   \chi_{\Gamma,s}^q(\alpha);
   $$
4. monodromy-fixed Hodge core：
   $$
   F_{\Gamma,s}^q;
   $$
5. relative polarization 保證：
   $$
   T\ell=\ell;
   $$
6. 因此：
   $$
   T L_\ell=L_\ell T;
   $$
7. full primitive cohomology：
   $$
   K_\ell^q
   $$
   為 monodromy-stable；
8. primitive Hodge subspace：
   $$
   P_{\ell,s}^q
   $$
   一般不 monodromy-stable；
9. exact conjugacy：
   $$
   T L_\ell T^{-1}=L_{T\ell};
   $$
10. exact defect：
    $$
    \mathfrak D_T(\ell)=L_{T\ell-\ell};
    $$
11. total cohomology 上：
    $$
    \mathfrak D_T(\ell)=0
    \iff
    T\ell=\ell.
    $$

因此：

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

只指 R004 Primary Claim。

---

# 36. Next Interface

依既定 protocol，下一輪為：

```text
HODGE_MLRSC_R005_M_MeasureClosureAuditI.md
```

R005 不再無限制增加新的 Measure objects。

它要做的是 audit：

> R001–R004 是否已足以在一個明確有限 scope 內設定：

$$
\mathrm{MeasureClosure}=1
$$

？

建議 R005 至少檢查四個 test classes：

1. projective spaces；
2. projective K3 surfaces / polarized K3 families；
3. abelian varieties；
4. cubic fourfolds / polarized cubic families。

R005 必須回答：

- 哪些 Measure objects 是重複的；
- 哪些依賴 polarization；
- 哪些依賴 family；
- 哪些對 Hodge-locus jump 有辨識力；
- 是否還缺一個明顯無法忽略的 Measure axis。

如果 R005 通過，才進：

$$
\boxed{
\mathrm{Phase\ II:\ Legitimacy}.
}
$$

---

# 37. 本輪基本摘要

R004 最核心的發現是：

$$
\boxed{
\text{monodromy stability}
}
$$

至少有三層不同含義。

第一層：

$$
H^{2q}
$$

一定是 monodromy representation space。

第二層，在 relative-polarized family：

$$
K_\ell^q
$$

這個 full primitive container 也是 monodromy-stable。

第三層：

$$
P_{\ell,s}^q
=
K_\ell^q\cap V_s^q
$$

一般不是 monodromy-stable。

所以真正應量的是：

$$
\boxed{
\text{ambient orbit}
\to
\text{primitive container}
\to
\text{Hodge return}.
}
$$

而不能直接寫：

$$
\Gamma
\curvearrowright
\text{Hodge classes}.
$$

這個分層已經提前暴露了未來第三階段會遇到的核心問題：

> topological transport 可以完全合法，但 Hodge type 不一定跟著 flat transport 保持。

---

# 參考文獻

1. P. Griffiths, *Periods of integrals on algebraic manifolds* 系列；variation of Hodge structure、period map 與 Griffiths transversality。

2. C. Voisin, Hodge theory lecture notes；Gauss-Manin connection、Griffiths transversality、Hodge loci 與 algebraic families。  
   https://cmsa.fas.harvard.edu/media/Voisin_HSTAVharvardrevision.pdf

3. Y. André, *Mumford–Tate groups of mixed Hodge structures and the theorem of the fixed part*, Compositio Mathematica 82 (1992), 1–24.  
   https://www.numdam.org/article/CM_1992__82_1_1_0.pdf

4. C. Simpson, *Higgs bundles and local systems*, Publ. Math. IHÉS 75 (1992), 5–95；polarizable/semisimple local-system 背景。

5. I. Dolgachev, *Mirror symmetry for lattice polarized K3 surfaces*；polarized K3、period domain 與 lattice polarization 背景。

6. C. Doran, A. Harder, A. Novoseltsev, A. Thompson, *Families of lattice polarized K3 surfaces with monodromy*.  
   https://arxiv.org/abs/1312.6434

7. B. Hassett, *Special Cubic Fourfolds*, Compositio Mathematica 120 (2000), 1–23.  
   https://www.math.brown.edu/~bhassett/papers/cubics/cubiclong.pdf

8. V. Di Gennaro, D. Franco, *Monodromy of a family of hypersurfaces*, Ann. Sci. Éc. Norm. Supér. 42 (2009), 517–529.

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

10. Aletheia, *HODGE_MLRSC_R002_M_LatticeGrowth*, 2026-09-15.

11. Aletheia, *HODGE_MLRSC_R003_M_PrimitiveDecomposition*, 2026-09-15.

---

## Canonical Source Declaration

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

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

聊天畫面不是本輪 canonical source。