# HODGE_MLRSC_R005_M_MeasureClosureAuditI
## ——第一次 Measure Closure 驗收失敗：Mumford–Tate／Hodge Tensor 對稱軸的缺失與 category-growth surprise

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

---

## Round Metadata

**Round:** R005  
**Phase:** M / Measure  
**Primary Claim:** R001–R004 尚不足以在「允許後續 tensor、product、power 與 category enlargement」的霍奇研究 scope 中設定 `MeasureClosure=1`。存在 fixed-object Measure data 全部相同、但 Mumford–Tate symmetry 不同的光滑射影簇；此差異在最簡單的 product enlargement 中會產生不同的 Hodge-class dimension。故必須新增 Hodge-tensor / Mumford–Tate symmetry axis，之後才能再次進行 Measure Closure audit。  
**Status:** PROVED  
**Depends On:** R001、R002、R003、R004、Mumford–Tate group as stabilizer of Hodge tensors、Lefschetz $(1,1)$ theorem、Néron–Severi theory of products of elliptic curves  
**Supersedes:** 無  
**Backtrack Target:** 無；R001–R004 結論保留，本輪只證明其不完備  
**Evidence Level:** E2 / explicit counterexample + E1 standard Hodge theory  
**Formalization Status:** NOT FORMALIZED  
**Computation Status:** EXACT FINITE-DIMENSION CHECKS ONLY  

---

# 0. Audit 問題

R001–R004 已建立四組 Measure data。

R001：

$$
\text{fixed-object Hodge dimensions}
+
\text{integral Hodge lattice}
+
\text{Poincaré duality defect}.
$$

R002：

$$
\text{congruence-depth reorganization}
+
\mathrm{HCDS}.
$$

R003：

$$
\text{primitive Hodge multiplicities}
+
\text{polarization-rotation locus}.
$$

R004：

$$
\text{family monodromy occupancy}
+
\text{Hodge-return occupancy}.
$$

現在要判定：

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

但 closure 必須相對於未來研究任務定義。

本計畫不是只研究固定 $X$ 中已經出現的 Hodge classes。

第三階段明確允許：

$$
X
\longrightarrow
X^m,
$$

tensor constructions、correspondence spaces、deformation families 與更大的 category type。

因此本輪採用以下必要條件：

---

## Closure Criterion C0：One-step category-growth predictability

若兩個 objects：

$$
X,
\qquad
Y
$$

在目前 Measure package 下不可區分，則最基本的一步 tensor/product enlargement 不應立即產生目前 package 完全無法預測的 Hodge-measure 分叉。

若存在：

$$
\mathfrak M_{\le4}(X)
=
\mathfrak M_{\le4}(Y)
$$

但：

$$
\mathfrak M(X^2)
\neq
\mathfrak M(Y^2)
$$

且差異來源不是 R001–R004 中任何已記錄軸，則：

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

---

# 1. 為何需要這個 criterion

第三階段的目標是：

$$
\boxed{
\text{Measure}
+
\text{Legitimacy}
+
\text{Scale/Category enlargement}.
}
$$

若 Measure 層連：

$$
X
\to
X^2
$$

這種最基本 category enlargement 都不能預告會出現何種新的 Hodge directions，

那麼未來的 coupling defect 會混入兩種完全不同來源：

1. 真正的 legality failure；
2. Phase-I Measure 本身漏掉的 tensor symmetry。

這會造成假 defect。

所以在進 Phase II 前，至少必須排除最明顯的 tensor-symmetry 漏測。

---

# 2. R001–R004 的共同盲點

目前所有 fixed-object Measure quantities 都主要以：

$$
V_X^p
=
H^{2p}(X,\mathbb Q)
\cap
H^{p,p}(X)
$$

及其 integral / Lefschetz / monodromy 結構為中心。

這回答：

> 哪些 rational Hodge classes 已經出現在 $X$ 的各 cohomological degrees 中？

但沒有回答：

> $H^\ast(X)$ 作為 rational Hodge structure，在 tensor powers、duals、products 中會產生哪些新的 Hodge tensors？

這兩個問題不是同一件事。

---

# 3. Hodge tensors

令：

$$
H
$$

為一個 pure rational Hodge structure。

考慮 tensor constructions：

$$
T^{a,b,m}(H)
=
H^{\otimes a}
\otimes
(H^\vee)^{\otimes b}
\otimes
\mathbb Q(m).
$$

定義 rational Hodge tensor space：

$$
\boxed{
\operatorname{HdgTensor}^{a,b,m}(H)
=
T^{a,b,m}(H)_{\mathbb Q}
\cap
T^{0,0}.
}
$$

亦即 tensor construction 中 type：

$$
(0,0)
$$

的 rational tensors。

---

# 4. Mumford–Tate group

Mumford–Tate group：

$$
\operatorname{MT}(H)
$$

可以刻畫為：

> 固定 $H$ 的所有 rational Hodge tensors 的最小 rational algebraic symmetry group。

等價地，在標準 tensor setup 中：

$$
\boxed{
\operatorname{MT}(H)
=
\operatorname{Stab}
\left(
\text{all rational Hodge tensors}
\right).
}
$$

因此 Hodge tensors 與 Mumford–Tate symmetry 互相決定。

這個軸不是：

- Hodge number；
- integral Hodge lattice rank；
- Poincaré defect；
- primitive multiplicity；
- polarization rotation；
- monodromy orbit occupancy。

它描述的是：

$$
\boxed{
\text{tensor-level symmetry constraints}.
}
$$

---

# 5. 為何 tensor symmetry 是 Measure，而不是 Legitimacy

Mumford–Tate group只告訴我們：

$$
\text{哪些 tensors 是 Hodge-theoretically invariant}.
$$

它不告訴我們：

$$
\text{這些 Hodge tensors 是否來自 algebraic cycles}.
$$

因此它仍然完全屬於：

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

不能因為某個 tensor 是 Hodge tensor，就把它標成 legal algebraic witness。

---

# 6. Explicit Audit Counterexample：兩條 elliptic curves

取兩條複 elliptic curves：

$$
E_{\mathrm{nCM}}
$$

與：

$$
E_{\mathrm{CM}}.
$$

假設：

$$
\operatorname{End}^0(E_{\mathrm{nCM}})
=
\mathbb Q,
$$

而：

$$
\operatorname{End}^0(E_{\mathrm{CM}})
=
K
$$

為 imaginary quadratic field。

---

# 7. R001 對兩者完全看不出差異

對任何 elliptic curve $E$：

$$
n=1.
$$

偶次 cohomology 只有：

$$
H^0(E,\mathbb Q)
$$

與：

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

都有：

$$
b_0=b_2=1.
$$

Hodge dimensions：

$$
h^{0,0}=1,
$$

$$
h^{1,1}=1.
$$

rational Hodge ranks：

$$
r_0=r_1=1.
$$

所以：

$$
\mathbf d_{E,0}
=
(1,1,1),
$$

$$
\mathbf d_{E,1}
=
(1,1,1).
$$

integral Hodge lattices：

$$
\Lambda_E^0
\simeq
\mathbb Z,
$$

$$
\Lambda_E^1
\simeq
\mathbb Z.
$$

Poincaré pairing：

$$
H^0\times H^2
\to
\mathbb Z
$$

為 unimodular。

所以：

$$
\Delta_{E,0}^{\mathrm H}
=
\Delta_{E,1}^{\mathrm H}
=
0
$$

作為 trivial finite group。

因此：

$$
\boxed{
\mathfrak M_{R001}(E_{\mathrm{nCM}})
=
\mathfrak M_{R001}(E_{\mathrm{CM}}).
}
$$

---

# 8. R002 仍完全相同

因 R001 duality defect trivial，

對所有：

$$
m\ge1,
$$

有：

$$
\eta_E(m)=1.
$$

所以：

$$
\mathrm{HCDS}(E)
$$

為空 defect spectrum。

故：

$$
\boxed{
\mathfrak M_{R002}(E_{\mathrm{nCM}})
=
\mathfrak M_{R002}(E_{\mathrm{CM}}).
}
$$

---

# 9. R003 仍完全相同

對 elliptic curve：

$$
\operatorname{NS}(E)
\simeq
\mathbb Z.
$$

所以：

$$
r_1=1.
$$

projectivized ample cone 是一點。

不存在非平凡 polarization rotation。

因此：

$$
\sigma=0.
$$

而：

$$
\left\lfloor\frac n2\right\rfloor=0,
$$

primitive multiplicity profile 在兩者間相同。

故：

$$
\boxed{
\mathfrak M_{R003}(E_{\mathrm{nCM}})
=
\mathfrak M_{R003}(E_{\mathrm{CM}}).
}
$$

---

# 10. R004 也可以完全相同

取 constant families：

$$
E_{\mathrm{nCM}}\times S
\to
S,
$$

$$
E_{\mathrm{CM}}\times S
\to
S.
$$

兩者 monodromy 都 trivial：

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

所以：

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

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

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

fixed part就是全部 cohomology。

因此：

$$
\boxed{
\mathfrak M_{R004}(E_{\mathrm{nCM}})
=
\mathfrak M_{R004}(E_{\mathrm{CM}})
}
$$

在這個合法 family choice 下成立。

---

# 11. 但 Mumford–Tate group 不同

令：

$$
H
=
H^1(E,\mathbb Q).
$$

若 $E$ 沒有 CM：

$$
\boxed{
\operatorname{MT}(H)
=
GL_2.
}
$$

若 $E$ 有 CM by imaginary quadratic field $K$：

$$
\boxed{
\operatorname{MT}(H)
=
\operatorname{Res}_{K/\mathbb Q}\mathbb G_m
}
$$

為二維 algebraic torus。

所以：

$$
\boxed{
\operatorname{MT}
\left(
E_{\mathrm{nCM}}
\right)
\not\simeq
\operatorname{MT}
\left(
E_{\mathrm{CM}}
\right).
}
$$

這個差異 R001–R004 完全沒有記錄。

---

# 12. 一步 category enlargement：$E\to E^2$

現在只做最簡單的 product enlargement：

$$
E
\longrightarrow
E^2.
$$

對 abelian surface：

$$
A=E\times E,
$$

Lefschetz $(1,1)$ theorem 給出：

$$
r_1(A)
=
\rho(A)
=
\operatorname{rank}\operatorname{NS}(A).
$$

---

## 12.1 Non-CM

若：

$$
\operatorname{End}(E)=\mathbb Z,
$$

則：

$$
\boxed{
\rho(E\times E)=3.
}
$$

---

## 12.2 CM

若：

$$
\operatorname{End}(E)
$$

為 imaginary quadratic order，則其 $\mathbb Z$-rank 為：

$$
2.
$$

對：

$$
E\times E
$$

有：

$$
\boxed{
\rho(E\times E)=4.
}
$$

---

# 13. Category-growth surprise

因此：

$$
\mathfrak M_{\le4}(E_{\mathrm{nCM}})
=
\mathfrak M_{\le4}(E_{\mathrm{CM}})
$$

但一步 enlargement 後：

$$
\boxed{
r_1
\left(
E_{\mathrm{nCM}}^2
\right)
=
3
}
$$

而：

$$
\boxed{
r_1
\left(
E_{\mathrm{CM}}^2
\right)
=
4.
}
$$

所以目前 Measure package 無法從 $E$ 的 data 解釋：

$$
E
\to
E^2
$$

時為何多出不同數量的 Hodge directions。

這就是 explicit closure failure。

---

# 14. 差異真正來自 tensor symmetry

Künneth decomposition：

$$
H^2(E^2,\mathbb Q)
$$

包含 cross term：

$$
H^1(E,\mathbb Q)
\otimes
H^1(E,\mathbb Q).
$$

因此：

$$
E^2
$$

中的新 rational $(1,1)$ classes會讀取：

$$
H^1(E)
$$

的 tensor invariants。

而：

$$
H^1(E)
$$

的 tensor invariants正是 Mumford–Tate group 控制的內容。

所以：

$$
\boxed{
\text{MT symmetry hidden at scale }E
}
$$

在：

$$
\boxed{
E^2
}
$$

中轉成可見的 Hodge-class dimension difference。

這正是本計畫未來 category-scale coupling 最需要避免的 hidden variable。

---

# 15. Audit Theorem

## 定理 15.1：R001–R004 不滿足 category-growth closure

若 Measure Closure 的 scope 包含：

$$
X
\to
X^2
$$

及一般 tensor/product enlargement，

則 R001–R004 不足以設定：

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

### 證明

取：

$$
E_{\mathrm{nCM}},
\qquad
E_{\mathrm{CM}}.
$$

Sections 7–10 顯示 R001–R004 fixed-object / constant-family Measure data相同。

Section 11 顯示其 Mumford–Tate groups不同。

Section 12 顯示：

$$
r_1(E_{\mathrm{nCM}}^2)
\neq
r_1(E_{\mathrm{CM}}^2).
$$

因此存在目前 Measure package 無法辨認、但在一步 category enlargement 後改變 Hodge Measure 的 hidden axis。

故：

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

證畢。

---

# 16. Missing Axis：Hodge Tensor Symmetry

本輪因此正式加入待補 Measure axis：

$$
\boxed{
\mathfrak S_{\mathrm{HT}}(X)
}
$$

其核心應包含至少一種等價表示：

1. cohomological Mumford–Tate group；
2. Hodge tensor algebra；
3. graded invariant-tensor dimension profile；
4. Tannakian symmetry package。

R005 不在同一輪完成其建構。

只證明：

$$
\boxed{
\text{這個軸不可省略}.
}
$$

---

# 17. 建議 tensor Measure profile

對某個 pure Hodge structure：

$$
H,
$$

定義：

$$
t_{a,b,m}(H)
=
\dim_{\mathbb Q}
\operatorname{HdgTensor}^{a,b,m}(H).
$$

則可形成：

$$
\boxed{
\Theta_N(H)
=
\left\{
t_{a,b,m}(H):
a+b+|m|\le N
\right\}.
}
$$

這是 finite truncation。

它可以當作 AI 計算或比較的有限近似。

但完整 symmetry object 仍應以：

$$
\operatorname{MT}(H)
$$

或完整 Hodge-tensor algebra為準。

---

# 18. 為何不只記 $\dim\operatorname{MT}$

像：

$$
\dim\operatorname{MT}(H)
$$

這種 scalar 太粗。

不同 algebraic groups 可能有相同 dimension，但 invariant tensor theory不同。

因此若下一輪建立 symmetry axis，不應只保留：

$$
\dim MT.
$$

至少應保留：

$$
\boxed{
\text{group up to rational representation data}
}
$$

或足以重建 tensor invariants 的等價資訊。

---

# 19. Relation to R004 monodromy

Mumford–Tate group 與 monodromy group 有深刻關係，但兩者不是同一個 Measure axis。

R004 的：

$$
\Gamma
$$

取決於：

$$
\text{chosen family}.
$$

而：

$$
\operatorname{MT}(H_X)
$$

是固定 Hodge structure：

$$
H_X
$$

本身的 tensor symmetry。

所以：

$$
\boxed{
\text{monodromy symmetry}
\neq
\text{Mumford–Tate symmetry}.
}
$$

即使 constant family 令：

$$
\Gamma=1,
$$

Mumford–Tate group仍可高度非平凡。

這正是 elliptic counterexample 的關鍵。

---

# 20. Relation to R003 primitive rotation

R003 的：

$$
\mathscr P_q(X)
$$

量的是：

$$
\text{ample direction 改變造成的 primitive subspace motion}.
$$

Mumford–Tate symmetry量的是：

$$
\text{tensor category 中所有 Hodge tensors 的 stabilizer}.
$$

前者是：

$$
\operatorname{Amp}(X)
$$

內部的幾何運動。

後者是：

$$
H^\otimes
$$

中的 tensor symmetry。

兩者不能互相替代。

---

# 21. 四類 test objects 的 Audit 結果

## 21.1 Projective spaces

對：

$$
\mathbb P^n,
$$

cohomology 全由 hyperplane class生成。

tensor symmetry非常退化。

R001–R004 對這一類幾乎足夠。

但這只是特殊類，不足以宣稱 general closure。

---

## 21.2 K3 surfaces

R001–R003 能很好記錄：

- Picard rank；
- Néron–Severi lattice；
- primitive rotation。

但 transcendental Hodge structure 的 endomorphism field 與 Mumford–Tate symmetry仍可能攜帶額外 tensor data。

所以 symmetry axis仍然自然。

---

## 21.3 Abelian varieties

本輪 counterexample 已證明：

$$
\boxed{
\text{symmetry axis 必須加入}.
}
$$

而且 abelian varieties正是 Hodge tensors / Mumford–Tate theory最成熟的測試場。

---

## 21.4 Cubic fourfolds

R001–R004 已捕捉：

- middle Hodge rank；
- primitive blocks；
- special loci 的 Hodge-return variation。

但這仍不等於完整 tensor symmetry。

因此 cubic fourfold 也不能用來證明 symmetry axis多餘。

---

# 22. Closure Matrix

本輪把 Measure axes整理如下。

| Axis | Rounds | Fixed-object? | Family-dependent? | Tensor-growth predictive? |
|---|---|---:|---:|---:|
| Hodge dimension / lattice | R001 | Yes | No | Partial |
| Arithmetic congruence depth | R002 | Yes | No | No |
| Primitive multiplicity / rotation | R003 | Mixed | No | Partial |
| Monodromy occupancy | R004 | No | Yes | Partial |
| Hodge tensor / Mumford–Tate symmetry | Missing | Yes | No | **Yes / essential** |

因此：

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

---

# 23. Failure Type Classification

這不是：

$$
\text{Type S / genuine scale obstruction}.
$$

因為我們還沒真正進 Phase III。

它也不是：

$$
\text{Legality defect}.
$$

最準確分類是：

$$
\boxed{
\text{Type M / Measure defect}.
}
$$

即：

> 第三階段之前，Measure classification 還少一個 fixed-object tensor-symmetry axis。

因此按照 protocol：

$$
\boxed{
\mathrm{Audit}
\to
\mathrm{Phase\ I}
}
$$

而不是進 Phase II。

---

# 24. R005 Status

本輪主張不是：

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

而是：

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

且已給出 explicit counterexample。

所以本輪 Primary Claim 已完成。

因此：

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

這裡的 `PROVED` 表示：

> 已證明第一次 closure audit 不通過。

不是表示 Measure 階段完成。

---

# 25. Next Interface

下一輪不得進原排程的 Legitimacy R006。

必須插入新的 Phase-I round：

```text
HODGE_MLRSC_R006_M_HodgeTensorSymmetry.md
```

其主問題：

> 如何建立一個對 general smooth projective $X$ 可用、又不把 algebraicity 偷渡進來的 Hodge-tensor / Mumford–Tate Measure package？

最低任務：

1. 定義單一 pure Hodge structure 的 tensor symmetry；
2. 定義全 cohomology 的 typed / graded symmetry；
3. 分清 Mumford–Tate、Hodge group、monodromy group；
4. 建立 finite truncation：
   $$
   \Theta_N;
   $$
5. 用 elliptic curves、abelian varieties、K3、cubic fourfold stress test；
6. 決定何種 data 足以支援：
   $$
   X\to X^2
   $$
   的第一階 Measure prediction。

完成後才允許：

```text
HODGE_MLRSC_R007_M_MeasureClosureAuditII.md
```

若第二次 audit 通過，再進 Phase II。

---

# 26. 本輪基本摘要

R001–R004 的確把：

$$
\text{已存在於 }X\text{ 的 Hodge classes}
$$

量得越來越細。

但它們漏掉：

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

CM 與 non-CM elliptic curves提供最小反例。

在單一 elliptic curve 上：

$$
\text{R001–R004 profile 相同}.
$$

但：

$$
\operatorname{MT}_{\mathrm{nCM}}
=
GL_2,
$$

而：

$$
\operatorname{MT}_{\mathrm{CM}}
=
\text{torus}.
$$

放大到：

$$
E^2
$$

後，這個 hidden symmetry difference 變成：

$$
\rho(E_{\mathrm{nCM}}^2)=3,
$$

$$
\rho(E_{\mathrm{CM}}^2)=4.
$$

因此 Measure Closure 若要服務未來 category enlargement，就不能只量目前可見的 Hodge classes。

它還必須量：

$$
\boxed{
\text{未來 tensor 放大時允許出現 Hodge tensors 的 symmetry law}.
}
$$

---

# 參考文獻

1. P. Deligne, J. S. Milne, A. Ogus, K.-y. Shih, *Hodge Cycles, Motives, and Shimura Varieties*, Lecture Notes in Mathematics 900, 1982。Mumford–Tate group 與 rational Hodge tensors 的標準背景。

2. P. Deligne, *Hodge cycles on abelian varieties*, notes by J. S. Milne。Mumford–Tate group 作為 Hodge tensors stabilizer 的經典來源。  
   https://jmilne.org/math/Documents/Deligne82.pdf

3. B. Moonen, *An Introduction to Mumford–Tate Groups*。包含 elliptic curve 的明確計算：non-CM case 的 Mumford–Tate group 為 $GL_2$，CM case 為相應 quadratic torus。  
   https://www.math.ru.nl/personal/bmoonen/Lecturenotes/MTGps.pdf

4. J. Rosen, A. Shnidman, *Néron–Severi groups of product abelian surfaces*, 2014。對 isogenous products $E\times E'$，non-CM Picard rank 為 $3$，CM case 為 $4$。  
   https://arxiv.org/abs/1402.2233

5. J. S. Milne, *Abelian Varieties*，Néron–Severi group 與 endomorphism / polarization 背景。  
   https://www.jmilne.org/math/xnotes/AVs.pdf

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

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

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

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

---

## Canonical Source Declaration

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

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

聊天畫面不是本輪 canonical source。