# HODGE_MLRSC_R016_C_FirstCouplingDefect
## ——第一個 Scale–Category Coupling Defect：Hodge Locus、Algebraic Locus、Witness Reach 與 All-or-Thin 二相性

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

---

## Round Metadata

**Round:** R016  
**Phase:** C / Scale–Category Coupling  
**Primary Claim:** 對 smooth projective family 中固定 flat rational class $\alpha$ 與一個 source witness $Z_s\Vdash\alpha_s$，Phase III 的第一個 coupling defect不能只寫成 $B_\alpha\setminus A_\alpha$；該集合只量到 class-level legality failure，屬 Type L。若 transport category要求保存 specific witness / Hilbert component，真正的 total coupling defect為 $B_\alpha\setminus W(Z_s)$，且有精確不交分解
$$
B_\alpha\setminus W(Z_s)
=
(B_\alpha\setminus A_\alpha)
\sqcup
(A_\alpha\setminus W(Z_s)).
$$
第一項為 Type L，第二項才是 Type S witness-transport defect。さらに，在 irreducible Hodge-locus component $H$ 上，algebraic realization locus $A_\alpha\cap H$ 具有 all-or-thin dichotomy：要嘛等於整個 $H$，要嘛只是可數個 proper closed algebraic subsets 的 union，其 complement 為 dense very-general set。故任何非空 analytic-open legality都自動放大成整個 $H$ 的 fiberwise legality。  
**Status:** PROVED  
**Depends On:** R008、R014、R015、Cattani–Deligne–Kaplan algebraicity of Hodge loci、proper Hilbert/Chow parameter spaces、Baire category / uncountability over $\mathbb C$、semiregularity local deformation results  
**Supersedes:** R015 中暫定的單一 defect $\mathfrak C_\alpha=B_\alpha\setminus A_\alpha$；該集合保留但重新分類為 Type L component  
**Backtrack Target:** 若 defect來自 Measure carrier錯誤則回 R009；若 algebraic locus carrier不足則回 R015  
**Evidence Level:** E2 / exact set decomposition + algebraic-locus dichotomy  
**Formalization Status:** NOT FORMALIZED  
**Computation Status:** STRUCTURAL COUPLING ANALYSIS ONLY  

---

# 0. Phase III 正式開始

Phase I 已固定：

$$
\boxed{
\mathrm{MeasureClosure}=1.
}
$$

Phase II 已固定：

$$
\boxed{
\mathrm{LegalityClosure}=1.
}
$$

因此現在可以第一次真正問：

> 一個 Measure-active object 在 scale / family / category 變化後，是否仍能被 Legality carrier合法跟上？

這和前兩階段不同。

前兩階段分別問：

$$
\text{what exists as a Hodge candidate?}
$$

以及：

$$
\text{what exists as an algebraic witness?}
$$

第三階段問：

$$
\boxed{
\text{兩者沿同一 transport / enlargement 是否保持耦合？}
}
$$

---

# 1. Family setup

令：

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

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

固定 codimension：

$$
p.
$$

令：

$$
\alpha
$$

為：

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

的一個 flat rational section。

固定：

$$
s\in B
$$

並假設：

$$
\alpha_s
$$

已有 algebraic witness：

$$
Z_s
\Vdash
\alpha_s.
$$

---

# 2. Measure-active locus

定義 Hodge locus：

$$
\boxed{
B_\alpha
=
\left\{
t\in B:
\alpha_t
\in
H^{p,p}(X_t)
\right\}.
}
$$

Cattani–Deligne–Kaplan 理論保證適當 geometric VHS setting 中 Hodge loci為 algebraic / countable union of algebraic components。

在 R016 中，取：

$$
\boxed{
H
\subseteq
B_\alpha
}
$$

為包含：

$$
s
$$

的一個 irreducible algebraic Hodge-locus component。

因此對：

$$
t\in H,
$$

class：

$$
\alpha_t
$$

始終是 Measure-active Hodge candidate。

---

# 3. Class-level legality locus

定義：

$$
\boxed{
A_\alpha
=
\left\{
t\in H:
\exists
Z_t
\in
CH^p(X_t)_{\mathbb Q},
\quad
\operatorname{cl}(Z_t)=\alpha_t
\right\}.
}
$$

由 R014：

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

其中：

- $T$ 可數；
- 每個：
  $$
  C_{\tau,\alpha}
  $$
  是 $H$ 的 closed algebraic subset；
- $C_{\tau,\alpha}$ 來自固定 cycle/Hilbert type的 proper parameter-space image。

必有：

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

---

# 4. Specific-witness reach locus

現在保留 source witness identity。

令：

$$
[Z_s]
$$

為相應 relative Hilbert / Chow parameter point。

取所有通過：

$$
[Z_s]
$$

且 cycle class等於：

$$
\alpha
$$

的 relevant irreducible parameter components：

$$
\mathcal K_1,\ldots,\mathcal K_m.
$$

因 parameter space Noetherian，

通過固定 point的 irreducible components局部只有有限多個。

令 projection：

$$
\rho_i:
\mathcal K_i
\to
H.
$$

定義：

$$
\boxed{
W_H(Z_s)
=
\bigcup_{i=1}^m
\rho_i(\mathcal K_i).
}
$$

因各 fixed-type Hilbert/Chow component proper over：

$$
H,
$$

每個 image closed algebraic。

所以：

$$
\boxed{
W_H(Z_s)
}
$$

是 closed algebraic subset的有限 union。

而：

$$
\boxed{
s\in W_H(Z_s)
\subseteq
A_\alpha
\subseteq
H.
}
$$

以下簡寫：

$$
W=W_H(Z_s),
\qquad
A=A_\alpha.
$$

---

# 5. 三層 coupling states

對任意：

$$
t\in H,
$$

有三種可能。

---

## State 0：Coherent Success

$$
t\in W.
$$

表示：

$$
\alpha_t
$$

不只 algebraic，

而且可由與：

$$
Z_s
$$

同一 relative Hilbert/Chow deformation component中的 witness達到。

---

## State 1：Alternative-Witness Success

$$
t\in A\setminus W.
$$

表示：

$$
\alpha_t
$$

algebraic，

但 source witness：

$$
Z_s
$$

所在的 witness component到不了：

$$
t.
$$

因此需要另一個 algebraic witness component。

---

## State 2：Class Legality Failure

$$
t\in H\setminus A.
$$

表示：

$$
\alpha_t
$$

仍是 rational Hodge class，

但目前不存在任何 algebraic witness。

這若真實發生，就是 Hodge/variational-Hodge class-level failure。

---

# 6. 第一個 exact defect decomposition

specific-witness coupling 的 total defect是：

$$
\boxed{
\mathfrak C^{\mathrm{tot}}_{\alpha,Z_s}(H)
=
H\setminus W.
}
$$

因：

$$
W\subseteq A\subseteq H,
$$

有：

$$
\boxed{
H\setminus W
=
(H\setminus A)
\sqcup
(A\setminus W).
}
$$

這是不交 union。

---

# 7. Type-L defect

定義：

$$
\boxed{
\mathfrak C^{L}_{\alpha}(H)
=
H\setminus A.
}
$$

這表示：

> Measure side認為 $\alpha_t$ 是有效 Hodge candidate，但 Legality side找不到任何 algebraic preimage。

因此它不是新的 Scale defect。

它首先是：

$$
\boxed{
\text{Type L / class legality defect}.
}
$$

---

# 8. Type-S defect

定義：

$$
\boxed{
\mathfrak C^{S}_{\alpha,Z_s}(H)
=
A\setminus W.
}
$$

這裡：

$$
t\in A
$$

已保證 target fiber存在 legal witness。

所以 pointwise legality沒有失敗。

失敗的是：

$$
\boxed{
\text{source witness identity / component 無法沿 family transport}.
}
$$

因此這才是第一個真正的：

$$
\boxed{
\text{Type S / scale-witness transport defect}.
}
$$

---

# 9. Exact L–S decomposition

所以：

$$
\boxed{
\mathfrak C^{\mathrm{tot}}
=
\mathfrak C^{L}
\sqcup
\mathfrak C^{S}.
}
$$

這是 R016 的第一個核心 theorem。

它證明：

> 若不保留 witness identity，就看不到真正的 S-type coupling failure。

---

# 10. Existential Coupling vs Identity-Preserving Coupling

Phase III 必須先指定 transport category。

---

## 10.1 Existential Coupling

target只要求：

$$
\exists Z_t
$$

代表：

$$
\alpha_t.
$$

成功 locus：

$$
\boxed{
A.
}
$$

defect：

$$
\boxed{
H\setminus A
=
\mathfrak C^L.
}
$$

因此：

$$
\boxed{
\text{Existential category中沒有獨立 Type S defect}.
}
$$

---

## 10.2 Identity-Preserving Coupling

target要求：

> source witness $Z_s$ 的 deformation / witness component能到達 target。

成功 locus：

$$
\boxed{
W.
}
$$

defect：

$$
\boxed{
H\setminus W
=
\mathfrak C^L
\sqcup
\mathfrak C^S.
}
$$

---

# 11. Category Sensitivity Principle

因此 coupling defect不是只由：

$$
(X_s,\alpha_s)
$$

決定。

它還依賴：

$$
\boxed{
\text{transport category}.
}
$$

同一個 target：

$$
t
$$

可以：

- 在 existential category 中成功；
- 在 identity-preserving category 中失敗。

所以：

$$
\boxed{
\text{Scale defect不是 category-free invariant}.
}
$$

這是 Phase III 第一個真正的：

$$
\boxed{
\text{Scale–Category coupling phenomenon}.
}
$$

---

# 12. Stratified-relative category

R014 證明：

$$
\boxed{
\mathrm{FiberwiseLegal}
\iff
\mathrm{FiniteStratifiedRelativeLegal}
}
$$

在 rational smooth-projective finite-type complex scope 中成立。

所以若 category允許：

- 更換 witness；
- finite stratification；
- rational finite-cover descent；

則：

$$
\boxed{
A=H
}
$$

已足以取得 whole-component stratified relative legality。

在這個 category 中，

Type S defect再次被 quotient 掉。

---

# 13. 第一個 category ladder

因此得到：

$$
\boxed{
\text{Specific Witness}
\longrightarrow
\text{Witness Component}
\longrightarrow
\text{Finite-Stratified Relative}
\longrightarrow
\text{Fiberwise Existential}.
}
$$

category越寬，

success locus越大，

defect越小。

這提供未來 Phase III 的第一條：

$$
\boxed{
\text{category enlargement scale}.
}
$$

---

# 14. All-or-Thin Theorem

現在只看 class-level algebraic locus：

$$
A\subseteq H.
$$

Recall：

$$
A
=
\bigcup_{j=1}^{\infty}
C_j,
$$

其中：

$$
C_j
$$

closed algebraic in irreducible：

$$
H.
$$

---

## 定理 14.1

恰有兩種情形之一：

### Case A：Full Coupling

存在：

$$
j
$$

使：

$$
C_j=H.
$$

此時：

$$
\boxed{
A=H.
}
$$

所以：

$$
\boxed{
\mathfrak C^L=\varnothing.
}
$$

### Case B：Thin Legality

所有：

$$
C_j
\subsetneq
H.
$$

此時：

$$
\boxed{
A
\text{ 是可數個 proper closed algebraic subsets之 union}.
}
$$

而：

$$
\boxed{
H\setminus A
}
$$

是 analytic topology中的 dense Baire subset，且為 Zariski dense very-general set。

---

# 15. 證明 All-or-Thin

若某：

$$
C_j=H,
$$

結論顯然。

否則每個：

$$
C_j
$$

在 complex analytic space：

$$
H^{\mathrm{an}}
$$

中 closed且 nowhere dense。

finite-type complex analytic space局部為 Baire space。

因此：

$$
\bigcup_j C_j
$$

為 meagre。

其 complement：

$$
H\setminus A
$$

dense。

任何 nonempty Zariski open subset：

$$
U\subseteq H
$$

亦有 nonempty analytic interior，

不可能被：

$$
\bigcup_jC_j
$$

覆蓋。

所以：

$$
(H\setminus A)\cap U
\neq\varnothing.
$$

故 complement亦 Zariski dense。

證畢。

---

# 16. Open-to-Global Coupling Theorem

## 定理 16.1

若：

$$
A
$$

包含：

$$
H^{\mathrm{an}}
$$

中的一個 nonempty analytic open subset：

$$
O,
$$

則：

$$
\boxed{
A=H.
}
$$

### 證明

若：

$$
A\neq H,
$$

由 All-or-Thin theorem，

$$
A
$$

為 meagre，

不可能包含 nonempty analytic open。

矛盾。

證畢。

---

# 17. Zariski-open版本

特別地，

若存在 nonempty Zariski open：

$$
U\subseteq H
$$

使：

$$
U\subseteq A,
$$

則：

$$
\boxed{
A=H.
}
$$

也就是：

$$
\boxed{
\text{generic-open algebraicity}
\Longrightarrow
\text{whole Hodge-component algebraicity}.
}
$$

---

# 18. Very-general point版本

令：

$$
\{C_j\}
$$

為 algebraic realization components。

若存在一點：

$$
t
\in
H
\setminus
\bigcup_{C_j\subsetneq H}C_j
$$

且：

$$
t\in A,
$$

則包含：

$$
t
$$

的某：

$$
C_j
$$

不能是 proper。

所以：

$$
C_j=H.
$$

因此：

$$
\boxed{
A=H.
}
$$

所以：

> 一個真正 very-general point上的 algebraicity，對 fixed flat class而言已足以強迫整個 irreducible Hodge component algebraic。

---

# 19. Defect不能只在小 exceptional set失敗

All-or-Thin theorem有一個反直覺 consequence。

不能出現：

$$
\boxed{
A
=
\text{one Zariski-open dense subset},
\qquad
H\setminus A
=
\text{few exceptional points},
}
$$

除非：

$$
H\setminus A=\varnothing.
$$

因為只要：

$$
A
$$

含任何 open，

就有：

$$
A=H.
$$

所以若 Type-L coupling真的失敗，

它會在：

$$
\boxed{
\text{very-general points}
}
$$

出現，而不是只在罕見 boundary points出現。

---

# 20. Dominating parameter component criterion

由 R014，

若某 cycle-parameter component：

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

dominates：

$$
H,
$$

則 proper image是：

$$
H.
$$

因此：

$$
\boxed{
A=H.
}
$$

所以 class-level coupling closure可轉成：

$$
\boxed{
\text{find one dominating algebraic-cycle parameter component}.
}
$$

這是可構造版本的 coupling target。

---

# 21. Relative witness criterion

若已存在：

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

則對所有：

$$
t\in H,
$$

$$
\alpha_t
$$

algebraic。

所以：

$$
\boxed{
\mathrm{GlobalRelativeWitness}
\Longrightarrow
\mathfrak C^L=\varnothing.
}
$$

R014 還告訴我們：

$$
A=H
$$

已足以取得 finite-stratified relative witnesses。

---

# 22. Divisor stress test

若：

$$
p=1,
$$

則對每個：

$$
t\in H,
$$

Lefschetz $(1,1)$ theorem給：

$$
\alpha_t
$$

algebraic。

所以：

$$
\boxed{
A=H.
}
$$

因此：

$$
\boxed{
\mathfrak C^L=\varnothing
}
$$

對 divisor class-level coupling恒成立。

但 specific divisor representative仍可能有：

$$
\mathfrak C^S\neq\varnothing
$$

若該 particular representative / Hilbert component不能覆蓋整個 H。

---

# 23. Constant-family stress test

若：

$$
\mathcal X=X\times H
$$

為 constant family，

且：

$$
Z_s
\Vdash\alpha_s,
$$

取：

$$
\mathcal Z=Z_s\times H.
$$

則：

$$
\boxed{
W=H.
}
$$

所以：

$$
\boxed{
\mathfrak C^L
=
\mathfrak C^S
=
\varnothing.
}
$$

---

# 24. Cubic-fourfold stress test

對 smooth cubic fourfold family的 degree-$4$ Hodge classes，

integral Hodge conjecture已知成立。

因此對任何 flat：

$$
\alpha
$$

與其 Hodge-locus component：

$$
H,
$$

若：

$$
\alpha_t
$$

在：

$$
H
$$

上為 integral/rational Hodge class，

則每個 fiber：

$$
\alpha_t
$$

algebraic。

所以：

$$
\boxed{
A=H.
}
$$

因此：

$$
\boxed{
\mathfrak C^L=\varnothing.
}
$$

這是一個高 codimension、nontrivial period-motion但 class-level coupling defect仍為零的 stress test。

是否：

$$
\mathfrak C^S
$$

也為零，

則取決於 source witness component是否能覆蓋整個 H。

---

# 25. Semiregularity local bridge

假設：

$$
Z_s
\subset X_s
$$

為 semiregular cycle / subvariety，

並處於適用 Bloch–Buchweitz–Flenner 型 deformation theorem的 setting。

此時：

$$
[Z_s]
$$

保持 Hodge的 infinitesimal/local deformation directions可與：

$$
Z_s
$$

本身的 algebraic deformation連接。

因此在適當 hypotheses下：

$$
\boxed{
\exists
\text{ analytic neighborhood }
O\subseteq H
\quad
O\subseteq W.
}
$$

---

# 26. Semiregularity Global Amplification Corollary

因：

$$
W
$$

為 closed algebraic subset of：

$$
H
$$

且包含 nonempty analytic open：

$$
O,
$$

得到：

$$
\boxed{
W=H.
}
$$

所以在上述 semiregular hypotheses下：

$$
\boxed{
\mathfrak C^S=\varnothing.
}
$$

同時：

$$
W\subseteq A
$$

給：

$$
A=H,
$$

所以：

$$
\boxed{
\mathfrak C^L=\varnothing.
}
$$

---

# 27. Local-to-Global Coupling Amplification

因此 Phase III 出現一個很重要的新模式：

$$
\boxed{
\text{local legality bridge}
+
\text{algebraic parameter-space closure}
\Longrightarrow
\text{global component coupling}.
}
$$

這比單純 local deformation theorem更強。

local theorem只需提供：

$$
O\subseteq A
$$

或：

$$
O\subseteq W.
$$

All-or-Thin / proper-image geometry會把它放大成整個 irreducible Hodge component。

---

# 28. Weak vs Strong coupling

R016 建議從現在起固定兩個 coupling semantics。

---

## Weak Coupling

只要求：

$$
\boxed{
\forall t\in H,
\exists Z_t.
}
$$

success：

$$
A=H.
$$

defect：

$$
\mathfrak C^L.
$$

---

## Strong Coupling

要求：

$$
\boxed{
\text{source witness component持續可達}.
}
$$

success：

$$
W=H.
$$

defect：

$$
\mathfrak C^L
\sqcup
\mathfrak C^S.
$$

---

# 29. Weak coupling與 Hodge conjecture

若 rational Hodge conjecture對：

$$
X_t
$$

在所有：

$$
t\in H
$$

成立，

則：

$$
A=H.
$$

所以 weak coupling defect自動為空。

因此：

$$
\boxed{
\mathfrak C^L
}
$$

本質上仍是 Hodge / variational-Hodge legality問題。

它不是新的独立 scale conjecture。

---

# 30. Strong coupling即使 Hodge conjecture成立仍可非平凡

即使：

$$
A=H,
$$

仍可能：

$$
W\subsetneq H.
$$

此時：

$$
\boxed{
\mathfrak C^L=\varnothing,
\qquad
\mathfrak C^S\neq\varnothing.
}
$$

所以：

$$
\boxed{
\text{Strong scale coupling}
}
$$

確實比 pointwise Hodge conjecture更細。

這是第三階段第一次得到一個不會被：

$$
\operatorname{HC}=1
$$

自動消掉的 defect notion。

---

# 31. 但 Type S 不應被誤認為 Hodge obstruction

若：

$$
t\in\mathfrak C^S,
$$

表示：

- $\alpha_t$ 已 algebraic；
- 只是 source witness family到不了。

所以：

$$
\boxed{
t\in\mathfrak C^S
}
$$

完全不能作為 Hodge conjecture false 的 evidence。

它只證明：

$$
\boxed{
\text{witness identity / category coherence failure}.
}
$$

---

# 32. Coupling State Machine

對：

$$
t\in B,
$$

R016 建議以下狀態機。

### INACTIVE

$$
t\notin H.
$$

class不在此 Hodge component的 active domain。

### L-DEFECT

$$
t\in H\setminus A.
$$

### S-DEFECT

$$
t\in A\setminus W.
$$

### COUPLED

$$
t\in W.
$$

如果數學上 membership尚未決定，

可另外標：

$$
\boxed{
\mathrm{U/UNKNOWN}.
}
$$

但 UNKNOWN是 epistemic status，

不是第五種 geometric state。

---

# 33. Coupling codimension diagnostics

因：

$$
A
=
\bigcup_jC_j,
$$

可定義：

$$
\boxed{
d_L(\alpha;H)
=
\min_j
\operatorname{codim}_H(C_j).
}
$$

若：

$$
A=\varnothing,
$$

設：

$$
d_L=\infty.
$$

則：

$$
\boxed{
d_L=0
\iff
A=H.
}
$$

---

# 34. Witness reach codimension

因：

$$
W
$$

為 finite union closed algebraic subsets，

定義：

$$
\boxed{
d_S(Z_s;H)
=
\operatorname{codim}_H(W)
}
$$

其中 reducible時取最大維 component的 codimension。

則：

$$
\boxed{
d_S=0
\iff
W=H
}
$$

因：

$$
H
$$

irreducible且：

$$
W
$$

closed。

---

# 35. Coupling signature

定義：

$$
\boxed{
\Sigma_{\mathrm{cpl}}
(\alpha,Z_s;H)
=
\left(
d_L(\alpha;H),
d_S(Z_s;H)
\right).
}
$$

典型值：

### Full strong coupling

$$
(0,0).
$$

### Weak but not strong coupling

$$
(0,\ge1).
$$

### Class-level failure

$$
(\ge1,\text{any compatible value}).
$$

這只是 diagnostic，

不取代 actual loci：

$$
A,W.
$$

---

# 36. 重新對齊原始 coupling defect

原 protocol 曾提出：

$$
\mathfrak C_{s\to t}
=
\operatorname{Act}_t
\setminus
F_{s\to t}
\left(
\operatorname{Leg}_s
\right).
$$

R016 現在給 concrete realization。

Measure-active target：

$$
\operatorname{Act}
=
H.
$$

若：

$$
F
$$

只要求 existential legality，

則：

$$
F(\operatorname{Leg}_s)
=
A.
$$

得到：

$$
\boxed{
\mathfrak C
=
H\setminus A
=
\mathfrak C^L.
}
$$

若：

$$
F
$$

要求 witness identity-preserving transport，

則：

$$
F(\operatorname{Leg}_s)
=
W.
$$

得到：

$$
\boxed{
\mathfrak C
=
H\setminus W
=
\mathfrak C^L
\sqcup
\mathfrak C^S.
}
$$

---

# 37. 原始第三階段預測被部分驗證

最初方法論預測：

> Scale–Category Coupling 會逼我們回頭分辨 Measure、Legality與真正 Scale defect。

R016 的結果正是：

$$
\boxed{
\text{naive coupling defect}
}
$$

若不分 category，

會把：

$$
\boxed{
\text{L defect}
}
$$

誤標成：

$$
\boxed{
\text{S defect}.
}
$$

只有保留：

$$
W\subseteq A\subseteq H
$$

三層，

才能拆開。

---

# 38. 本輪沒有 Backtrack

R016 沒有發現：

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

所有需要的 objects：

$$
H,
A,
W
$$

都已由 R008、R014、R015 建立。

所以：

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

目前 defect是前兩階段 carriers的真正 coupling現象。

---

# 39. 第一個真正 Type-S 對象

因此 R016 將：

$$
\boxed{
\mathfrak C^S_{\alpha,Z_s}
=
A_\alpha
\setminus
W_H(Z_s)
}
$$

正式指定為：

**First Genuine Scale–Category Coupling Defect**。

它問：

> target已經合法，但 source witness identity在 scale/family/category transport下無法到達。

---

# 40. 下一個問題：Type S 能否被 category enlargement消去？

R014 已暗示：

若允許：

- 更換 witness；
- finite stratification；
- generically finite cover；
- rational descent；

則：

$$
A=H
$$

時 class-level family coherence可以恢復。

所以：

$$
\boxed{
\mathfrak C^S
}
$$

可能不是 absolute defect，

而是：

$$
\boxed{
\text{category-relative defect}.
}
$$

下一輪應研究：

> 當 transport category逐步放寬，Type-S defect如何單調縮小？

---

# 41. Category filtration

可考慮：

$$
\boxed{
\mathcal K_0
\subseteq
\mathcal K_1
\subseteq
\mathcal K_2
\subseteq
\mathcal K_3
}
$$

其中：

### $\mathcal K_0$

specific witness / fixed Hilbert point。

### $\mathcal K_1$

same Hilbert/Chow component。

### $\mathcal K_2$

finite stratified relative witnesses。

### $\mathcal K_3$

fiberwise existential algebraicity。

每一級都有 success locus：

$$
W_0
\subseteq
W_1
\subseteq
W_2
\subseteq
W_3=A.
$$

所以 defects：

$$
H\setminus W_i
$$

單調下降。

---

# 42. 這才是真正的 Scale–Category coupling curve

定義：

$$
\boxed{
D_i
=
H\setminus W_i.
}
$$

則：

$$
D_0
\supseteq
D_1
\supseteq
D_2
\supseteq
D_3
=
\mathfrak C^L.
$$

category越寬，

specific transport obstruction逐步被 quotient 掉。

這提供下一輪可以正式研究的：

$$
\boxed{
\text{Coupling Defect Filtration}.
}
$$

---

# 43. Known Boundary

R016 沒有證明：

- rational Hodge conjecture；
- variational Hodge conjecture；
- $A=H$ 一般成立；
- $W=H$ 一般成立；
- specific witness obstruction一定存在；
- category filtration存在唯一 canonical choice；
- semiregularity適用於所有 cycles。

本輪只完成：

$$
\boxed{
\text{coupling defect的正確分解與 algebraic-locus geometry}.
}
$$

---

# 44. R016 Status

本輪已證／固定：

1. naive：
   $$
   B_\alpha\setminus A_\alpha
   $$
   只是 Type L defect；
2. specific-witness total defect：
   $$
   H\setminus W;
   $$
3. exact decomposition：
   $$
   H\setminus W
   =
   (H\setminus A)
   \sqcup
   (A\setminus W);
   $$
4. 定義第一個 genuine Type S defect：
   $$
   A\setminus W;
   $$
5. coupling defect依 transport category改變；
6. existential category無獨立 S defect；
7. identity-preserving category有 S defect；
8. class-level algebraic locus具有 all-or-thin dichotomy；
9. nonempty analytic-open legality implies：
   $$
   A=H;
   $$
10. very-general algebraicity可強迫 whole-component algebraicity；
11. class-level defect若非空，會出現在 very-general points；
12. semiregular local legality bridge可被 algebraic-locus closure放大成 whole-component coupling；
13. Hodge conjecture成立不自動消除 strong Type S defect；
14. Phase III 第一個 genuine defect為 category-relative witness-transport defect。

因此：

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

只指 R016 Primary Claim。

---

# 45. Next Interface

下一輪：

```text
HODGE_MLRSC_R017_C_CouplingDefectFiltration.md
```

應研究：

1. category filtration：
   $$
   \mathcal K_0
   \subseteq
   \mathcal K_1
   \subseteq
   \mathcal K_2
   \subseteq
   \mathcal K_3;
   $$
2. success loci：
   $$
   W_0
   \subseteq
   W_1
   \subseteq
   W_2
   \subseteq
   A;
   $$
3. defect monotonicity；
4. 哪些 S defects只是 category太窄；
5. 哪些 defects在最大 rational-relative category仍存在；
6. 是否能定義第一個 category-stable coupling defect；
7. 何時應標 Type S，何時應降級為 Type L；
8. 是否需要真正 backtrack。

---

# 46. 本輪基本摘要

Phase III 第一輪得到的最大修正是：

$$
\boxed{
\text{coupling defect不能只寫一個集合就結束}.
}
$$

若只問：

$$
\text{target有沒有任何 algebraic witness},
$$

那：

$$
B_\alpha\setminus A_\alpha
$$

只是 Hodge-vs-algebraicity gap，

屬：

$$
\boxed{
\text{Type L}.
}
$$

真正的 Scale defect必須保留 source witness identity：

$$
\boxed{
\mathfrak C^S
=
A_\alpha\setminus W(Z_s).
}
$$

於是：

$$
\boxed{
H\setminus W
=
\mathfrak C^L
\sqcup
\mathfrak C^S.
}
$$

更重要的是，

$$
A_\alpha
$$

在 irreducible Hodge component中具有：

$$
\boxed{
\text{all-or-thin}
}
$$

結構。

要嘛：

$$
A_\alpha=H,
$$

要嘛 class-level legality只存在於可數個 proper algebraic subloci，

而 defect出現在 very-general points。

所以只要能在任何 nonempty local open上證明 algebraicity，

整個 Hodge component就會被迫 coupling 成功。

這是 Phase III 第一個真正的 local-to-global amplification theorem。

---

# 參考文獻

1. E. Cattani, P. Deligne, A. Kaplan, *On the Locus of Hodge Classes*, J. Amer. Math. Soc. 8 (1995), 483–506. Hodge locus algebraicity。  
   https://arxiv.org/abs/alg-geom/9402009

2. C. Voisin, *Hodge loci and absolute Hodge classes*. Hodge-locus components、global invariant cycles與 algebraicity背景。  
   https://arxiv.org/abs/math/0605766

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

4. A. Dan, I. Kaur, *Semi-regular varieties and variational Hodge conjecture*, C. R. Math. 354 (2016), 297–300. Semi-regular subvarieties滿足 variational Hodge型 deformation equivalence。  
   https://www.numdam.org/articles/10.1016/j.crma.2016.01.005/

5. C. Voisin, *The status of the Hodge conjecture*, 2026. Variational Hodge、semiregularity與近期進展。  
   https://terrytao.wordpress.com/2026/09/12/the-status-of-the-hodge-conjecture/

6. The Stacks Project, *Relative Cycles* and *The Hilbert Functor*. Relative cycle parameter spaces與 proper-image geometry。  
   https://stacks.math.columbia.edu/tag/0H4Z  
   https://stacks.math.columbia.edu/tag/0CZX

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

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

---

## Canonical Source Declaration

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

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

聊天畫面不是本輪 canonical source。