# HODGE_MLRSC_R007_M_MeasureClosureAuditII
## ——第二次 Measure Closure 驗收失敗：Monodromy 與 Mumford–Tate 仍不足以決定 Period Motion

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

---

## Round Metadata

**Round:** R007  
**Phase:** M / Measure  
**Primary Claim:** R001–R006 雖已補足 fixed-object Hodge class、integral lattice、primitive decomposition、monodromy orbit與 Hodge-tensor/Mumford–Tate symmetry，但仍不足以在包含 deformation / family transport 的研究 scope 中設定 `MeasureClosure=1`。存在基點 Hodge structure、R001–R006 fixed-object data 與 monodromy representation皆相同，而 period map / infinitesimal variation of Hodge structure不同的 smooth projective families。故必須新增 variation-geometry axis。  
**Status:** PROVED  
**Depends On:** R001–R006、Gauss–Manin connection、Griffiths transversality、period map、Kodaira–Spencer / IVHS、Legendre elliptic family  
**Supersedes:** 無  
**Backtrack Target:** 無；R001–R006 保留  
**Evidence Level:** E2 / explicit counterexample + standard VHS theory  
**Formalization Status:** NOT FORMALIZED  
**Computation Status:** EXACT SYMBOLIC LEGENDRE CHECK  

---

# 0. 第二次 Audit 的目標

R005 找到第一個 Measure 缺口：

$$
\text{tensor/category growth}
$$

無法只由 R001–R004 預測。

R006 以：

$$
G_X^{\mathrm{coh}}
$$

與有限 tensor witness depth 修補。

現在重新問：

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

但本計畫的第三階段不只允許：

$$
X\to X^m,
$$

也明確允許：

$$
X_s
\to
X_t
$$

沿 deformation family 移動。

因此第二次 audit 必須測：

> R001–R006 是否足以預測 family 中 Hodge filtration 如何變動？

答案是否定的。

---

# 1. R004 與 R006 仍然量不同東西

R004 量：

$$
\boxed{
\text{flat local-system motion / monodromy}
}
$$

R006 量：

$$
\boxed{
\text{fixed Hodge structure 的 tensor symmetry}
}
$$

但 variation of Hodge structure 還包含第三種資料：

$$
\boxed{
\text{Hodge filtration 在 flat bundle 裡的位置如何變動}.
}
$$

這不是 monodromy。

也不是單一 fiber 的 Mumford–Tate group。

---

# 2. VHS 的三層資料

對 smooth projective family：

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

固定 degree：

$$
k.
$$

有：

### Topological layer

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

### Flat layer

Gauss–Manin connection：

$$
\nabla.
$$

### Hodge-filtration layer

$$
F^\bullet
\subset
\mathcal H^k
=
\mathbb H_{\mathbb Q}^k
\otimes
\mathcal O_S.
$$

其中：

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

所以真正的 VHS 是：

$$
\boxed{
(\mathbb H_{\mathbb Q},\nabla,F^\bullet)
}
$$

而不是只知道：

$$
(\mathbb H_{\mathbb Q},\nabla).
$$

---

# 3. Period map

令：

$$
D
$$

為適當 period domain。

在 universal cover：

$$
\widetilde S
$$

上可定義 period map：

$$
\boxed{
\Phi:
\widetilde S
\longrightarrow
D.
}
$$

它記錄每一個 point：

$$
t\in S
$$

的 Hodge filtration：

$$
F_t^\bullet.
$$

monodromy group：

$$
\Gamma
$$

只記 deck transformations 對 local system 的作用。

因此：

$$
\boxed{
\Gamma
\text{ 不決定 }
\Phi.
}
$$

R007 將以 explicit family 證明此點。

---

# 4. Infinitesimal Variation of Hodge Structure

period map的一階導數：

$$
d\Phi_t
$$

滿足 horizontal condition。

可寫成：

$$
\boxed{
\theta_t:
T_tS
\longrightarrow
\bigoplus_{p+q=k}
\operatorname{Hom}
\left(
H_t^{p,q},
H_t^{p-1,q+1}
\right).
}
$$

這是 IVHS / Higgs-field form。

定義：

$$
\boxed{
\nu_k(t)
=
\operatorname{rank}\theta_t
}
$$

作為最粗的 period-motion rank。

但：

$$
\nu_k(t)
$$

只是 diagnostic。

完整 variation data 應保留：

$$
\theta_t
$$

甚至 full period map：

$$
\Phi.
$$

---

# 5. Audit Counterexample：同一 basepoint 的兩個 elliptic families

取：

$$
\lambda_0
\in
\mathbb C\setminus\{0,1\}
$$

使 elliptic curve：

$$
E_{\lambda_0}:
y^2=x(x-1)(x-\lambda_0)
$$

為 non-CM。

取一個足夠小的 simply connected analytic disk：

$$
U
\subset
\mathbb C\setminus\{0,1\}
$$

包含：

$$
\lambda_0.
$$

比較兩個 smooth projective families over $U$。

---

# 6. Family A：constant family

定義：

$$
\pi_{\mathrm{const}}:
E_{\lambda_0}\times U
\longrightarrow
U.
$$

所有 fibers 都等於：

$$
E_{\lambda_0}.
$$

period map：

$$
\Phi_{\mathrm{const}}
$$

為常數。

因此：

$$
\boxed{
d\Phi_{\mathrm{const}}=0.
}
$$

所以：

$$
\boxed{
\nu_1^{\mathrm{const}}=0.
}
$$

---

# 7. Family B：Legendre family

定義：

$$
\pi_{\mathrm{Leg}}:
\mathcal E
\longrightarrow
U
$$

其中 fibers：

$$
E_\lambda:
y^2=x(x-1)(x-\lambda).
$$

其 $j$-invariant：

$$
\boxed{
j(\lambda)
=
256
\frac{
(1-\lambda+\lambda^2)^3
}{
\lambda^2(1-\lambda)^2
}.
}
$$

這是一個非定常 rational function。

取：

$$
\lambda_0
$$

避開：

$$
j'(\lambda_0)=0
$$

的有限集合。

則：

$$
\boxed{
dj_{\lambda_0}\neq0.
}
$$

所以 family 在 $\lambda_0$ 附近非 isotrivial，period map 非常數。

因此：

$$
\boxed{
d\Phi_{\mathrm{Leg},\lambda_0}\neq0.
}
$$

對一維 elliptic period domain：

$$
\boxed{
\nu_1^{\mathrm{Leg}}(\lambda_0)=1.
}
$$

---

# 8. 兩個 families 的 monodromy 完全相同

因：

$$
U
$$

simply connected，

$$
\pi_1(U,\lambda_0)=0.
$$

所以兩個 families 的 monodromy representation 都 trivial：

$$
\boxed{
\Gamma_{\mathrm{const}}
=
\Gamma_{\mathrm{Leg}}
=
\{1\}.
}
$$

因此 R004 所有 monodromy orbit occupancy data 在 basepoint 都相同：

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

$$
h_\Gamma(\alpha)=1
$$

對相應 fixed classes。

所以：

$$
\boxed{
\text{R004 無法區分這兩個 families}.
}
$$

---

# 9. R001–R003 在 basepoint 也完全相同

兩個 families 在：

$$
\lambda_0
$$

的 fiber 都是：

$$
E_{\lambda_0}.
$$

所以：

- Hodge numbers；
- rational Hodge ranks；
- integral Hodge lattices；
- Poincaré defect；
- HCDS；
- polarization cone；
- primitive profile；

全部相同。

因此：

$$
\boxed{
\mathfrak M_{R001-R003}
\text{ 完全相同}.
}
$$

---

# 10. R006 的 fixed-object symmetry 也相同

basepoint fiber 同樣是：

$$
E_{\lambda_0}.
$$

所以：

$$
G_{E_{\lambda_0}}^{\mathrm{coh}}
$$

相同。

若：

$$
E_{\lambda_0}
$$

non-CM，

其：

$$
H^1
$$

Mumford–Tate symmetry為 generic elliptic type。

所以：

$$
\boxed{
\mathfrak S_{\mathrm{HT}}
\text{ at the basepoint is identical}.
}
$$

---

# 11. 但 period motion 不同

總結：

$$
\boxed{
\text{R001--R006 base/fixed data identical}
}
$$

且：

$$
\boxed{
\Gamma_{\mathrm{const}}
=
\Gamma_{\mathrm{Leg}}
=
1.
}
$$

但：

$$
\boxed{
d\Phi_{\mathrm{const}}=0
}
$$

而：

$$
\boxed{
d\Phi_{\mathrm{Leg}}\neq0.
}
$$

因此：

$$
\boxed{
\text{monodromy + MT symmetry}
\text{ 不決定 variation geometry}.
}
$$

---

# 12. Audit Theorem II

## 定理 12.1

在包含 smooth projective deformation families 的 research scope 中，R001–R006 不足以設定：

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

### 證明

取上一節的 constant elliptic family與 restricted Legendre family。

R001–R003 在共同 basepoint 相同。

R004 monodromy皆 trivial。

R006 fixed-object cohomological Mumford–Tate symmetry在共同 basepoint相同。

但 period-map derivative不同。

因此存在 R001–R006 無法辨認、但直接控制 Hodge filtration motion 的 hidden Measure axis。

故：

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

證畢。

---

# 13. 為什麼這個缺口不是 cosmetic

霍奇猜想第三階段最終需要處理類似：

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

沿：

$$
s\to t
$$

transport 後是否仍屬：

$$
H^{p,p}(X_t).
$$

這個問題首先取決於：

$$
\boxed{
F_t^\bullet
}
$$

如何在 flat bundle中移動。

若 Phase I 不記 period motion，

Phase III 會把：

$$
\text{Hodge-type loss}
$$

錯誤混進：

$$
\text{legality-transport failure}.
$$

這會製造假的 coupling defect。

---

# 14. Variation Geometry Axis

R007 因此正式提出缺失 Measure axis：

$$
\boxed{
\mathfrak V(\mathcal X/S)
}
$$

至少應包含：

1. period map：
   $$
   \Phi;
   $$
2. horizontal derivative / IVHS：
   $$
   \theta;
   $$
3. Hodge bundle ranks；
4. Hodge locus incidence / jump behavior；
5. 必要時 higher-order period data。

---

# 15. First-order package

最小一階資料可寫成：

$$
\boxed{
\mathfrak V_1
=
\left[
\Phi(s);
\theta_s;
\nu_k(s)
\right].
}
$$

但要注意：

$$
\boxed{
\theta_s
}
$$

只知道局部一階變化。

它一般不能重建整個 global period map。

所以 R007 不宣稱：

$$
\mathfrak V_1
$$

足以完成 Measure Closure。

---

# 16. Higher-order problem

可能存在兩個 VHS：

$$
\mathbb V_1,
\mathbb V_2
$$

在某個 basepoint：

- 同 Hodge filtration；
- 同 first derivative；

但 higher jets 不同。

因此若未來要預測 global Hodge loci，

可能需要：

$$
j^r\Phi
$$

或 full：

$$
\Phi.
$$

這形成下一輪真正需要解的 compression 問題：

> variation geometry 能否用有限-order data 關閉？若不能，應如何把 full period map 作為 typed Measure object，而不使 framework 退化成「把全部資料原封不動保存」？

---

# 17. Monodromy 與 period map 的角色分離

R004：

$$
\Gamma
$$

回答：

> flat transport 繞圈後，topological / rational cohomology 如何返回？

R007：

$$
\Phi
$$

回答：

> 在同一 flat bundle 裡，Hodge filtration 現在位於哪裡？

所以：

$$
\boxed{
\Gamma
=
\text{holonomy data}
}
$$

而：

$$
\boxed{
\Phi
=
\text{Hodge-position data}.
}
$$

兩者必須同時存在。

---

# 18. Mumford–Tate 與 period map 的角色分離

R006：

$$
G_X^{\mathrm{coh}}
$$

回答：

> 固定 fiber 的 Hodge tensor symmetry是什麼？

R007：

$$
\Phi
$$

回答：

> fiber 的 Hodge structure 沿 base 如何移動？

所以同一 generic Mumford–Tate group並不意味：

$$
\text{same period dynamics}.
$$

constant family與 nonisotrivial family正是 explicit example。

---

# 19. Mumford–Tate domain viewpoint

若 generic Mumford–Tate group固定為：

$$
G,
$$

period map實際落在相應 Mumford–Tate domain：

$$
D_G.
$$

因此 R006 與 R007 不是競爭關係。

更自然的組合是：

$$
\boxed{
G
+
\Phi:S\to D_G.
}
$$

其中：

- $G$ 給允許的 tensor symmetry envelope；
- $\Phi$ 給 envelope 中實際走過的 Hodge path。

---

# 20. Hodge locus 作為 period incidence

對 flat rational class：

$$
\alpha
$$

其 Hodge locus可寫成：

$$
\operatorname{HdgLoc}(\alpha)
=
\left\{
t\in S:
\alpha_t\in H^{p,p}(X_t)
\right\}.
$$

這等價於 period map落入某個 Hodge condition subdomain。

因此：

$$
\boxed{
\text{Hodge locus geometry depends on }\Phi,
}
$$

而不是只依賴：

$$
\Gamma.
$$

這也解釋 Cattani–Deligne–Kaplan 的 Hodge locus algebraicity結果為何是 variation-level theorem。

---

# 21. Closure failure 的分類

R005 的缺陷：

$$
\boxed{
M_{\mathrm{tensor}}
}
$$

是 tensor-generation Measure defect。

R007 的缺陷：

$$
\boxed{
M_{\mathrm{variation}}
}
$$

是 period-motion Measure defect。

兩者都屬：

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

但來源不同。

因此目前不能進 Phase II。

---

# 22. Audit Matrix v2

| Axis | Round | 狀態 | 能回答什麼 |
|---|---|---|---|
| Fixed Hodge/lattice | R001 | 已建立 | 目前 Hodge candidate 空間 |
| Arithmetic depth | R002 | 已建立 | integral duality defect scale |
| Polarization primitive motion | R003 | 已建立 | fixed fiber 內 ample-direction motion |
| Monodromy occupancy | R004 | 已建立 | flat local-system orbit |
| Tensor/Mumford–Tate symmetry | R006 | 已建立 | tensor/product generation law |
| Period/VHS motion | **Missing** | **未建立** | family 中 Hodge filtration motion |

因此：

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

---

# 23. 為什麼不直接把「全部 VHS」塞進 Measure 就算完成

可以把：

$$
(\mathbb H_{\mathbb Q},\nabla,F^\bullet)
$$

原封不動保存。

那當然資訊完備。

但這樣 Measure framework失去壓縮意義。

本計畫真正想要的是：

$$
\boxed{
\text{high-dimensional / infinite data}
\to
\text{controlled finite or typed certificate}.
}
$$

所以 R007 只指出 missing axis，

不偷用：

$$
\text{store everything}
$$

作為 closure。

---

# 24. 下一輪的精確任務

下一輪：

```text
HODGE_MLRSC_R008_M_VariationGeometry.md
```

應回答：

> period/VHS motion 是否存在適合本計畫的有限或分層 Measure representation？

最低研究內容：

1. period map；
2. IVHS：
   $$
   \theta;
   $$
3. higher jets；
4. local Torelli / infinitesimal Torelli 可用時的壓縮；
5. Hodge locus incidence；
6. Mumford–Tate domain；
7. monodromy + period map 的 joint reconstruction boundary；
8. explicit families：elliptic、K3、cubic fourfold。

---

# 25. R007 Status

本輪證明的是：

$$
\boxed{
\mathrm{MeasureClosure}=0
}
$$

for the deformation-enabled scope。

這不是猜測。

explicit restricted Legendre family提供 counterexample。

因此：

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

即：

> 已證明第二次 closure audit仍不能通過。

---

# 26. 本輪基本摘要

R005 告訴我們：

$$
\text{只量目前 Hodge classes}
$$

看不到 future tensor growth。

R006 補上：

$$
\text{Mumford–Tate tensor symmetry}.
$$

但 R007 再次發現：

$$
\text{fixed-object symmetry}
$$

仍然看不到：

$$
\text{family 中 Hodge filtration 實際怎麼走}.
$$

最小反例：

$$
\boxed{
\text{constant elliptic family}
}
$$

與：

$$
\boxed{
\text{Legendre family restricted to a simply connected disk}.
}
$$

兩者：

$$
\Gamma=1.
$$

若 basepoint fiber相同，

R001–R006 basepoint data也相同。

但：

$$
d\Phi_{\mathrm{const}}=0,
$$

而：

$$
d\Phi_{\mathrm{Leg}}\neq0.
$$

因此：

$$
\boxed{
\text{monodromy}
+
\text{Mumford–Tate}
\neq
\text{variation geometry}.
}
$$

Phase I 還缺最後至少一個重要軸：

$$
\boxed{
\text{period/VHS motion}.
}
$$

---

# 參考文獻

1. P. Griffiths, *Periods of integrals on algebraic manifolds, III: Some global differential-geometric properties of the period mapping*. Period map 與 horizontal geometry 的經典來源。

2. P. Griffiths, *Periods of integrals on algebraic manifolds: Summary of main results and discussion of open problems*, Bull. AMS 76 (1970), 228–296.

3. J. Carlson, M. Green, P. Griffiths, J. Harris, *Infinitesimal variations of Hodge structure (I)*, Compositio Mathematica 50 (1983), 109–205.  
   https://www.numdam.org/item/CM_1983__50_2-3_109_0.pdf

4. E. Cattani, P. Deligne, A. Kaplan, *On the locus of Hodge classes*, JAMS 8 (1995), 483–506.

5. C. Voisin, Hodge theory lecture notes；Gauss–Manin connection、Griffiths transversality、Hodge loci。  
   https://cmsa.fas.harvard.edu/media/Voisin_HSTAVharvardrevision.pdf

6. Standard Legendre family:
   $$
   y^2=x(x-1)(x-\lambda)
   $$
   with
   $$
   j(\lambda)=256(1-\lambda+\lambda^2)^3/(\lambda^2(1-\lambda)^2).
   $$

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

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

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

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

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

12. Aletheia, *HODGE_MLRSC_R006_M_HodgeTensorSymmetry*, 2026-09-15.

---

## Canonical Source Declaration

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

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

聊天畫面不是本輪 canonical source。