# HODGE_MLRSC_R001_M_MeasureObjects
## ——霍奇候選空間的無偏極化測度核心、整格點結構與 Poincaré 對偶缺陷

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

---

## Round Metadata

**Round:** R001  
**Phase:** M / Measure  
**Primary Claim:** 對固定光滑複射影簇 $X$ 與餘維 $p$，可建立一個不依賴額外 polarization 選擇的 Phase-I 核心測度物件；其中「有理 Hodge 空間維度」與「integral Hodge lattice rank」必然重複，而格點正規化 Haar 測度與互補 Poincaré pairing 的有限對偶缺陷提供額外、內在且可驗證的測度／算術資訊。  
**Status:** PROVED  
**Depends On:** Hodge decomposition、Poincaré duality、polarizable rational Hodge structures 的半單性、Lefschetz $(1,1)$ theorem（僅用於例子）、標準 lattice theory  
**Supersedes:** 無  
**Backtrack Target:** 無  
**Evidence Level:** E2 / Derived lemma + E1 standard theorems  
**Formalization Status:** NOT FORMALIZED  
**Computation Status:** SYMBOLIC SANITY CHECKS ONLY  

---

# 0. 本輪只做什麼

本輪服從三階段總體規則：

$$
\mathrm{Measure}
\longrightarrow
\mathrm{Legitimacy}
\longrightarrow
\mathrm{Scale\mbox{-}Category\ Coupling}.
$$

R001 僅處理第一階段。

本輪不問：

- 某個 Hodge class 是否為 algebraic；
- 某個 cycle 是否能產生指定 class；
- monodromy 是否保持 algebraicity；
- deformation 中的 cycle 是否可 transport；
- Hodge 猜想是否成立。

本輪只問：

> 在尚未觸碰 algebraicity 以前，固定 $(X,p)$ 的 Hodge 候選空間究竟應該如何被「量測」？

這裡的「Measure」不是預設某個唯一實值測度，而是尋找一組：

$$
\boxed{
\text{intrinsic}
+
\text{nonredundant}
+
\text{computable in principle}
+
\text{future-compatible}
}
$$

的空間量測物件。

---

# 1. 基本設定

令 $X$ 為複維度 $n$ 的光滑複射影簇。

固定：

$$
0\le p\le n.
$$

記：

$$
H_{\mathbb Z}^{2p}(X)
=
H^{2p}(X,\mathbb Z)/\operatorname{tors}.
$$

再令：

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

Hodge decomposition 為：

$$
H^{2p}(X,\mathbb C)
=
\bigoplus_{a+b=2p}
H^{a,b}(X).
$$

定義 rational Hodge class space：

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

其維度記為：

$$
r_{X,p}
=
\dim_{\mathbb Q}V_X^p.
$$

定義 integral Hodge lattice：

$$
\Lambda_X^p
=
H_{\mathbb Z}^{2p}(X)
\cap
V_X^p.
$$

注意：這裡已先除去 integral cohomology torsion。

---

# 2. 第一個審核結果：rank 與 rational dimension 完全重複

原始 Phase-I 候選列表中容易同時放入：

$$
\dim_{\mathbb Q}V_X^p
$$

與：

$$
\operatorname{rank}_{\mathbb Z}\Lambda_X^p.
$$

本節證明這兩者不是獨立資訊。

---

## 定理 2.1：Integral Hodge lattice 是 full lattice

對任意光滑複射影簇 $X$ 與 $p$，

$$
\Lambda_X^p
$$

是：

$$
V_{X,\mathbb R}^p
=
V_X^p\otimes_{\mathbb Q}\mathbb R
$$

中的 full lattice，而且：

$$
\boxed{
\operatorname{rank}_{\mathbb Z}\Lambda_X^p
=
\dim_{\mathbb Q}V_X^p
}.
$$

### 證明

$H_{\mathbb Z}^{2p}(X)$ 是 $H_{\mathbb Q}^{2p}(X)$ 中的 full lattice。

取任意：

$$
\alpha\in V_X^p.
$$

因為：

$$
\alpha\in H^{2p}(X,\mathbb Q),
$$

存在某個正整數 $N$ 使：

$$
N\alpha
\in
H_{\mathbb Z}^{2p}(X).
$$

又因 $V_X^p$ 為 $\mathbb Q$-向量空間：

$$
N\alpha
\in
V_X^p.
$$

故：

$$
N\alpha
\in
\Lambda_X^p.
$$

因此：

$$
V_X^p
=
\Lambda_X^p\otimes_{\mathbb Z}\mathbb Q.
$$

所以：

$$
\operatorname{rank}_{\mathbb Z}\Lambda_X^p
=
\dim_{\mathbb Q}V_X^p.
$$

證畢。

---

## 推論 2.2：rank 不應作為獨立 Measure coordinate

若 Phase I 已紀錄：

$$
r_{X,p}
=
\dim_{\mathbb Q}V_X^p,
$$

則再紀錄：

$$
\operatorname{rank}\Lambda_X^p
$$

不增加新資訊。

因此原候選輪廓：

$$
\left(
\dim_{\mathbb Q}V_X^p,
\operatorname{rank}\Lambda_X^p,
\ldots
\right)
$$

應壓縮成：

$$
\left(
r_{X,p},
\ldots
\right).
$$

這是 R001 第一個去重結果。

---

# 3. 第二個審核結果：Hodge lattice 是 saturated

## 定理 3.1：$\Lambda_X^p$ 在 ambient cohomology lattice 中 saturated

若：

$$
m\gamma\in\Lambda_X^p,
$$

其中：

$$
m\in\mathbb Z_{>0},
\qquad
\gamma\in H_{\mathbb Z}^{2p}(X),
$$

則：

$$
\gamma\in\Lambda_X^p.
$$

### 證明

由：

$$
m\gamma\in V_X^p
$$

且 $V_X^p$ 是 $\mathbb Q$-向量空間，可得：

$$
\gamma
=
\frac{1}{m}(m\gamma)
\in
V_X^p.
$$

同時：

$$
\gamma\in H_{\mathbb Z}^{2p}(X).
$$

故：

$$
\gamma\in
H_{\mathbb Z}^{2p}(X)
\cap
V_X^p
=
\Lambda_X^p.
$$

證畢。

---

## 推論 3.2

商群：

$$
H_{\mathbb Z}^{2p}(X)/\Lambda_X^p
$$

無 torsion。

因此 integral Hodge lattice 並不是任意嵌入 ambient lattice 的子格，而是一個 primitive / saturated sublattice。

這個性質在後續研究中很重要，因為有限 index 的偽影不應被誤認成新的 Hodge directions。

---

# 4. 第三個審核結果：存在不需 polarization 的 canonical Haar normalization

一般有限維實向量空間上的 Lebesgue / Haar measure 只在乘上一個正實常數的意義下唯一。

因此若只給：

$$
V_{X,\mathbb R}^p,
$$

不存在自然的 absolute volume normalization。

但是：

$$
\Lambda_X^p
$$

提供了一個 canonical normalization。

---

## 定義 4.1：Lattice-normalized Hodge measure

在：

$$
V_{X,\mathbb R}^p
$$

上取唯一的 translation-invariant Haar measure：

$$
\mu_{X,p}^{\mathrm{lat}}
$$

使任一 $\Lambda_X^p$ 基本域 $F$ 滿足：

$$
\boxed{
\mu_{X,p}^{\mathrm{lat}}(F)=1.
}
$$

因任何兩個 integral lattice basis 間的轉換矩陣屬於：

$$
GL(r_{X,p},\mathbb Z),
$$

其行列式絕對值為：

$$
1,
$$

故此 normalization 與 basis 選擇無關。

---

## 定理 4.2：此測度對 integral Hodge isomorphism canonical

若：

$$
\phi:
H_{\mathbb Z}^{2p}(X)
\longrightarrow
H_{\mathbb Z}^{2p}(Y)
$$

是一個 integral Hodge isomorphism，且：

$$
\phi(\Lambda_X^p)=\Lambda_Y^p,
$$

則：

$$
\phi_\ast
\mu_{X,p}^{\mathrm{lat}}
=
\mu_{Y,p}^{\mathrm{lat}}.
$$

### 理由

$\phi$ 把 lattice fundamental domain 映到另一個 lattice fundamental domain，而兩者皆被 normalization 指定體積為一。

---

# 5. 重要限制：canonical measure 不等於 canonical metric

上一節得到：

$$
\mu_{X,p}^{\mathrm{lat}},
$$

但沒有得到 canonical Euclidean norm。

這兩件事必須嚴格區分。

要寫：

$$
N_X^p(R)
=
\#\left\{
\alpha\in\Lambda_X^p:
\|\alpha\|\le R
\right\},
$$

首先需要一個：

$$
\|\cdot\|.
$$

若使用 Hodge metric 或由 Hodge–Riemann bilinear relations 產生的正定形式，一般需要選擇 rational Kähler class / ample class，亦即某種 polarization。

因此：

$$
\boxed{
\text{lattice-normalized Haar measure is canonical}
}
$$

不代表：

$$
\boxed{
\text{metric ball growth is polarization-free}.
}
$$

這個區分是本輪的重要結果。

---

# 6. 第四個審核結果：nested dimension flag 是第一個真正的「空間佔據」骨架

只知道：

$$
r_{X,p}
$$

仍然太粗。

有三層天然空間：

$$
V_X^p\otimes_{\mathbb Q}\mathbb C
\subseteq
H^{p,p}(X)
\subseteq
H^{2p}(X,\mathbb C).
$$

令：

$$
b_{2p}(X)
=
\dim_{\mathbb C}H^{2p}(X,\mathbb C),
$$

以及：

$$
h^{p,p}(X)
=
\dim_{\mathbb C}H^{p,p}(X).
$$

則：

$$
\boxed{
r_{X,p}
\le
h^{p,p}(X)
\le
b_{2p}(X).
}
$$

本文因此定義：

$$
\boxed{
\mathbf d_{X,p}
=
\left(
b_{2p}(X),
h^{p,p}(X),
r_{X,p}
\right).
}
$$

稱為 **Hodge candidate dimension flag**。

---

## 6.1 三個衍生 occupancy ratios

若分母非零，可定義：

$$
\theta_{X,p}
=
\frac{h^{p,p}(X)}{b_{2p}(X)},
$$

表示整個 $2p$ 次複上同調中，$(p,p)$ sector 所佔的維度比例。

再定義：

$$
\rho_{X,p}
=
\frac{r_{X,p}}{h^{p,p}(X)},
$$

表示 $(p,p)$ sector 中，真正由 rational classes 形成的線性維度比例。

最後：

$$
\omega_{X,p}
=
\frac{r_{X,p}}{b_{2p}(X)}.
$$

則：

$$
\boxed{
\omega_{X,p}
=
\theta_{X,p}
\rho_{X,p}.
}
$$

這些只是 dimension diagnostics，不應被誤稱為 algebraicity probability。

它們回答的是：

> Hodge type 條件先削掉多少方向，再由 rationality 條件削掉多少方向？

這正好符合 Phase I「先量空間，不談合法 cycle」的規則。

---

# 7. 第五個審核結果：存在 canonical complementary Hodge pairing

到目前為止，我們有：

$$
\Lambda_X^p
$$

但一個抽象 rank-$r$ lattice 若沒有 pairing，其幾何資訊仍然很少。

下一步自然考慮 Poincaré duality。

存在 integral pairing：

$$
\langle\cdot,\cdot\rangle_{\mathrm{PD}}:
H_{\mathbb Z}^{2p}(X)
\times
H_{\mathbb Z}^{2n-2p}(X)
\longrightarrow
\mathbb Z.
$$

其 rational extension 是 perfect pairing：

$$
H_{\mathbb Q}^{2p}(X)
\times
H_{\mathbb Q}^{2n-2p}(X)
\longrightarrow
\mathbb Q.
$$

本輪需要證明：把兩側都限制在 rational Hodge classes 後，仍然 perfect。

---

## 定理 7.1：Hodge-class complementary pairing over $\mathbb Q$ 是 perfect

Poincaré pairing 限制為：

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

後仍為非退化 pairing。

因此：

$$
\dim_{\mathbb Q}V_X^p
=
\dim_{\mathbb Q}V_X^{n-p}.
$$

### 證明骨架

$H^{2p}(X,\mathbb Q)$ 是 polarizable rational Hodge structure。

而：

$$
V_X^p
$$

是其中最大的純 Tate sub-Hodge structure，型態為：

$$
\mathbb Q(-p)^{\oplus r_{X,p}}.
$$

polarizable rational Hodge structures 的範疇是 semisimple。

因此可分解：

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

其中 $W$ 不含任何：

$$
\mathbb Q(-p)
$$

direct summand。

Poincaré duality 給出 Hodge structure isomorphism：

$$
H^{2n-2p}(X,\mathbb Q)
\simeq
H^{2p}(X,\mathbb Q)^\vee(-n).
$$

故：

$$
H^{2n-2p}(X,\mathbb Q)
\simeq
\left(V_X^p\right)^\vee(-n)
\oplus
W^\vee(-n).
$$

第一項為：

$$
\mathbb Q(-(n-p))^{\oplus r_{X,p}}.
$$

若第二項 $W^\vee(-n)$ 還含有：

$$
\mathbb Q(-(n-p)),
$$

則對偶後 $W$ 會含：

$$
\mathbb Q(-p)
$$

direct summand，與 $W$ 的定義矛盾。

因此 complementary degree 的全部 rational Hodge classes恰好是第一項的 Tate summand，故 Poincaré pairing 在：

$$
V_X^p
\times
V_X^{n-p}
$$

上 perfect。

證畢。

---

# 8. 第六個審核結果：canonical duality-defect group

雖然上一節在 $\mathbb Q$ 上 perfect，但 integral lattices 不一定彼此完全 dual。

定義：

$$
\iota_{X,p}:
\Lambda_X^{n-p}
\longrightarrow
\left(\Lambda_X^p\right)^\vee
$$

其中：

$$
\iota_{X,p}(\beta)(\alpha)
=
\int_X
\alpha\smile\beta.
$$

由定理 7.1：

$$
\iota_{X,p}\otimes\mathbb Q
$$

是同構。

又因兩側為同 rank free abelian groups，所以：

$$
\iota_{X,p}
$$

為 injective 且 cokernel finite。

---

## 定義 8.1：Hodge duality-defect group

定義：

$$
\boxed{
\Delta_{X,p}^{\mathrm H}
=
\operatorname{coker}
\left(
\iota_{X,p}
\right).
}
$$

這是一個 finite abelian group。

再定義其 order：

$$
\boxed{
\delta_{X,p}^{\mathrm H}
=
\left|
\Delta_{X,p}^{\mathrm H}
\right|.
}
$$

若選 integral bases，$\delta_{X,p}^{\mathrm H}$ 就是 complementary Hodge pairing matrix 的 determinant 絕對值。

但真正 basis-free 的物件是：

$$
\Delta_{X,p}^{\mathrm H}.
$$

---

## 8.2 為什麼保留 group 而不只保留 determinant

不同 finite abelian groups 可以具有相同 order。

例如：

$$
\mathbb Z/4\mathbb Z
$$

與：

$$
\mathbb Z/2\mathbb Z
\oplus
\mathbb Z/2\mathbb Z
$$

都有 order：

$$
4.
$$

所以：

$$
\delta_{X,p}^{\mathrm H}
$$

只是壓縮量。

若研究需要完整 integral duality defect，應保留 Smith normal form，等價地保留：

$$
\Delta_{X,p}^{\mathrm H}.
$$

---

# 9. 極重要邊界：duality defect 不是 algebraicity defect

不得把：

$$
\Delta_{X,p}^{\mathrm H}\neq0
$$

理解為霍奇猜想失敗。

它量到的是：

> integral Hodge lattice 與其 complementary integral dual 之間的 arithmetic index。

它完全可能在所有 rational Hodge classes 都 algebraic 的情形下仍非平凡。

因此：

$$
\boxed{
\Delta^{\mathrm H}
\neq
\text{Hodge-conjecture obstruction}.
}
$$

它只是 Phase-I measure/arithmetic invariant。

這個邏輯邊界必須保留到後續所有 AI 輪次。

---

# 10. R001 的固定物件核心

綜合前述結果，本文不採用單一 scalar measure，而採用一個 typed measure core。

---

## 定義 10.1：Measure Core v1

對固定 $(X,p)$，定義：

$$
\boxed{
\mathfrak M_0(X,p)
=
\left[
\mathbf d_{X,p};
\left(
V_{X,\mathbb R}^p,
\Lambda_X^p,
\mu_{X,p}^{\mathrm{lat}}
\right);
\Delta_{X,p}^{\mathrm H}
\right].
}
$$

其中：

$$
\mathbf d_{X,p}
=
\left(
b_{2p},
h^{p,p},
r_{X,p}
\right).
$$

這個 core 完全不需要額外指定 ample class。

---

# 11. 哪些候選物件被排除出 fixed-object core

本節不是說下列物件沒用，而是說它們不是 R001 fixed-object canonical core 的成員。

---

## 11.1 Polarized Hodge norm

若選 ample class：

$$
L=c_1(\mathcal O_X(1))
$$

或一般 rational Kähler class，可利用 Hodge–Riemann bilinear relations 得到 polarization 與正定 Hermitian structure。

但不同 polarization 可能改變：

- primitive decomposition；
- norm；
- metric balls；
- short-vector spectrum；
- lattice counting growth 的常數與形狀。

所以：

$$
\|\cdot\|_{H,L}
$$

應標成：

$$
\boxed{
\mathrm{AUX\mbox{-}POL}
}
$$

而非 fixed-object core。

---

## 11.2 Primitive Lefschetz decomposition

對選定 $L$：

$$
H^k(X)
=
\bigoplus_j
L^j
P^{k-2j}(X).
$$

這是極強工具，而且 decomposition 與 Hodge decomposition 相容。

但它依賴：

$$
L.
$$

因此 primitive block profile 應在後續獨立輪次研究，不能在 R001 假裝是無選擇的 canonical decomposition。

---

## 11.3 Monodromy orbit occupancy

若沒有一族：

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

就沒有指定的 monodromy representation：

$$
\pi_1(S,s)
\to
\operatorname{Aut}
H^\ast(X_s).
$$

所以 monodromy orbit size、orbit density、fixed part 等不是單一固定 $X$ 的 primitive Measure object。

它們應等到 family scope 被指定後再進入。

依既定研究排程，這正是後續 R004 類問題。

---

## 11.4 Hodge locus dimensions

Hodge locus 是 variation / family 層概念。

它對 Hodge 猜想非常重要，但不應偷渡到 fixed-object R001 core。

---

# 12. 壓力測試 A：射影空間

令：

$$
X=\mathbb P^n.
$$

令 $h$ 為 hyperplane class。

有：

$$
H^{2p}(X,\mathbb Z)
=
\mathbb Z h^p.
$$

且：

$$
H^{p,p}(X)
=
\mathbb C h^p.
$$

因此：

$$
b_{2p}=1,
\qquad
h^{p,p}=1,
\qquad
r_{X,p}=1.
$$

故：

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

又：

$$
\Lambda_X^p
=
\mathbb Z h^p.
$$

互補 pairing：

$$
\int_{\mathbb P^n}
h^p h^{n-p}
=
1.
$$

所以：

$$
\Delta_{X,p}^{\mathrm H}
=
0
$$

作為 trivial group，且：

$$
\delta_{X,p}^{\mathrm H}=1.
$$

這是最緊的 Measure Core。

---

# 13. 壓力測試 B：projective K3 surface

令 $S$ 為 projective K3 surface，取：

$$
p=1.
$$

標準 Hodge numbers 給出：

$$
b_2(S)=22,
$$

$$
h^{1,1}(S)=20.
$$

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

$$
\Lambda_S^1
=
H^2(S,\mathbb Z)
\cap
H^{1,1}(S)
=
\operatorname{NS}(S).
$$

因此：

$$
r_{S,1}
=
\rho(S),
$$

即 Picard number。

故：

$$
\boxed{
\mathbf d_{S,1}
=
(22,20,\rho(S)).
}
$$

對 projective K3：

$$
1\le \rho(S)\le20.
$$

因此：

$$
\theta_{S,1}
=
\frac{20}{22},
$$

但：

$$
\rho_{S,1}
=
\frac{\rho(S)}{20}
$$

會隨 moduli 明顯改變。

這顯示：

> $h^{1,1}$ 大，不代表 rational Hodge classes 多。

---

## 13.1 K3 中的 duality defect

因：

$$
n=2,
\qquad
p=1,
$$

complementary degree 就是自己。

所以：

$$
\iota_{S,1}:
\operatorname{NS}(S)
\to
\operatorname{NS}(S)^\vee.
$$

因此：

$$
\boxed{
\Delta_{S,1}^{\mathrm H}
=
\operatorname{NS}(S)^\vee/\operatorname{NS}(S).
}
$$

其 order 為：

$$
\left|
\operatorname{disc}\operatorname{NS}(S)
\right|.
$$

這是非常熟悉且真正攜帶算術資訊的 lattice invariant。

更重要的是，K3 的 $p=1$ Hodge conjecture 由 Lefschetz $(1,1)$ theorem 已經成立。

所以即使：

$$
\Delta_{S,1}^{\mathrm H}
\neq0,
$$

也完全不表示存在非代數 Hodge class。

這再次驗證：

$$
\Delta^{\mathrm H}
$$

只能放在 Measure 層，不能偷升格為 Legitimacy 層障礙。

---

# 14. 壓力測試 C：smooth cubic fourfold

令 $X\subset\mathbb P^5$ 為 smooth cubic fourfold。

其複維度：

$$
n=4.
$$

研究：

$$
p=2.
$$

標準 Hodge diamond 給出：

$$
b_4(X)=23,
$$

$$
h^{2,2}(X)=21,
$$

以及：

$$
h^{3,1}(X)
=
h^{1,3}(X)
=
1.
$$

因此：

$$
\mathbf d_{X,2}
=
\left(
23,21,r_{X,2}
\right).
$$

非常一般的 cubic fourfold 只有 hyperplane square：

$$
h^2
$$

提供 rational $(2,2)$ class，因此：

$$
r_{X,2}=1.
$$

特殊 cubic fourfold 則滿足：

$$
r_{X,2}\ge2.
$$

這使：

$$
r_{X,2}
$$

本身就可以檢測 Noether–Lefschetz 式跳躍。

---

## 14.1 為什麼只記 rank 不夠

Hassett 的 special cubic fourfold 理論不是只用：

$$
\operatorname{rank}=2.
$$

而是考慮含：

$$
h^2
$$

的 saturated rank-two Hodge lattice：

$$
K_d
$$

及其 discriminant：

$$
d.
$$

不同：

$$
d
$$

給出不同特殊 divisor：

$$
\mathcal C_d.
$$

因此 cubic fourfold 提供非常直接的壓力測試：

$$
\boxed{
\text{same rank}
\not\Rightarrow
\text{same Hodge-lattice geometry}.
}
$$

所以 Phase I 必須保留 integral pairing information，而不能只留下：

$$
r_{X,p}.
$$

---

# 15. 反例搜尋：$(r,\delta)$ 仍然不是完整分類

到此容易犯下一個錯：

> 既然 rank 與 discriminant 都有用，那 $(r,\delta)$ 是否已完整分類 Hodge lattice？

答案是否定的。

即使在普通 integral lattices 中，相同 rank、相同 determinant 的 lattice 也可能不 isomorphic。

例如考慮兩個正定 rank-two integral forms：

$$
Q_1
=
\begin{pmatrix}
1&0\\
0&5
\end{pmatrix},
$$

以及：

$$
Q_2
=
\begin{pmatrix}
2&1\\
1&3
\end{pmatrix}.
$$

兩者 determinant 都是：

$$
5.
$$

但 $Q_1$ 表示整數：

$$
1,
$$

而 $Q_2$ 的最小正值至少是：

$$
2.
$$

故兩者不可能 integral-isometric。

因此：

$$
\boxed{
(r,\delta)
\text{ is not a complete lattice invariant}.
}
$$

更強地，即使 finite discriminant group 的 abstract isomorphism type 相同，也未必決定完整 lattice isometry class。

---

# 16. 因此「minimal」必須重新定義

R001 原始任務是尋找「最小核心測度輪廓」。

若把「最小」理解成：

> 能完整分類所有 Hodge lattice 的最少 scalar 數據，

那麼本輪不能宣稱完成。

但若把「最小」理解成：

> 後續 Phase I 可以安全啟動、且沒有已知直接重複或偷渡額外選擇的 operational core，

則本輪已得到可用答案。

因此本文採用名稱：

$$
\boxed{
\text{Measure Core v1}
}
$$

而不是：

$$
\text{Complete Measure Invariant}.
$$

---

# 17. Measure Core v1 的正式內容

本輪正式採用：

$$
\boxed{
\mathfrak M_0(X,p)
=
\left[
\left(
b_{2p},
h^{p,p},
r_{X,p}
\right);
\left(
V_{X,\mathbb R}^p,
\Lambda_X^p,
\mu_{X,p}^{\mathrm{lat}}
\right);
\iota_{X,p}
\right].
}
$$

其中不只保留：

$$
\Delta_{X,p}^{\mathrm H},
$$

而是優先保留完整 integral map：

$$
\iota_{X,p}:
\Lambda_X^{n-p}
\to
(\Lambda_X^p)^\vee.
$$

原因是：

$$
\Delta_{X,p}^{\mathrm H}
$$

本身仍是一次資訊壓縮。

需要簡報或排序時，可再抽取：

$$
\delta_{X,p}^{\mathrm H}
=
|\operatorname{coker}\iota_{X,p}|.
$$

---

# 18. Core 與 Auxiliary 的分層

## Core / intrinsic layer

保留：

$$
b_{2p},
\qquad
h^{p,p},
\qquad
r_{X,p},
$$

$$
V_X^p,
\qquad
\Lambda_X^p,
\qquad
\mu_{X,p}^{\mathrm{lat}},
$$

$$
\iota_{X,p},
\qquad
\Delta_{X,p}^{\mathrm H}.
$$

---

## AUX-POL / polarization-dependent layer

未來可加入：

$$
L,
$$

$$
\text{primitive Lefschetz blocks},
$$

$$
\|\cdot\|_{H,L},
$$

$$
N_{X,p,L}(R).
$$

但必須把 $L$ 寫進資料型態，不能假裝 canonical。

---

## AUX-FAM / family-dependent layer

未來可加入：

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

$$
\Gamma_{\mathrm{mon}},
$$

$$
\text{orbit decomposition},
$$

$$
\text{Hodge locus data}.
$$

但這些不是 fixed-object R001 core。

---

# 19. 與「黏性」方法論的關係

Wang–Zahl 類 sticky / multiscale 思維的抽象重點之一，是：

> 不能只知道總量，還要知道物件如何聚集、如何分塊、如何在粗細尺度間保持父子關係。

R001 尚未進入尺度變化。

但本輪已完成第三階段之前非常重要的一個準備：

$$
\boxed{
\text{先固定哪些 Measure objects 不會因為任意 polarization 選擇而漂移}.
}
$$

否則後續若發現尺度間 measure 改變，將無法分辨：

$$
\text{真實 scale effect}
$$

或：

$$
\text{只是 polarization gauge change}.
$$

所以 R001 的主要功能，是先消掉一類假的 coupling defect。

---

# 20. Known Boundary

本輪沒有證明：

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

沒有證明：

$$
\Delta_{X,p}^{\mathrm H}
$$

與 algebraic cycles 有任何直接等價。

沒有證明：

$$
\mathfrak M_0(X,p)
$$

可以完整分類 Hodge structures。

沒有證明：

$$
\mathfrak M_0
$$

足以單獨預測 Hodge conjecture 的真偽。

沒有證明任何新的 Hodge conjecture 特殊情形。

本輪只是完成：

$$
\boxed{
\text{Phase-I measurement carrier audit}.
}
$$

---

# 21. Failure Analysis

本輪的主要失敗風險有四個。

## 21.1 Core 太粗

兩個不同 Hodge structures 可能有相同：

$$
\mathbf d,
\qquad
\Delta^{\mathrm H}.
$$

所以 R001 不能把 core 當 complete invariant。

## 21.2 Haar measure 雖 canonical，但缺乏 canonical bounded geometry

$$
\mu^{\mathrm{lat}}
$$

有 canonical scale，卻沒有 canonical ball。

因此下一輪若研究 growth：

$$
N(R),
$$

必須明確選定 metric 或另一種 filtration。

## 21.3 Pairing defect 對 algebraicity 不敏感

這是刻意的，不是錯誤。

它只屬於 Measure layer。

## 21.4 Family information 尚未進入

本輪不允許用 monodromy 增強 core。

因此某些真正重要的 variation information 被刻意延後。

---

# 22. R001 Status

### Theorem-level conclusions

以下已證：

1. $\Lambda_X^p$ 是 full saturated lattice；
2. $\operatorname{rank}\Lambda_X^p=r_{X,p}$，故兩者資訊重複；
3. $\Lambda_X^p$ canonically normalization 一個 Haar measure；
4. Poincaré pairing 在 complementary rational Hodge class spaces 上 perfect；
5. integral complementary pairing 有 finite cokernel；
6. $\Delta_{X,p}^{\mathrm H}$ 是 polarization-free intrinsic arithmetic object；
7. polarization norm、primitive decomposition 與 monodromy occupancy 不應混入 fixed-object canonical core。

因此本輪狀態：

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

此 `PROVED` 只針對 R001 Primary Claim，不涉及霍奇猜想本身。

---

# 23. Next Interface

後續 AI 可以合法使用：

$$
\boxed{
\mathfrak M_0(X,p)
}
$$

作為 fixed-object Measure Core v1。

最自然的下一輪不是直接進 Legitimacy，而是：

```text
HODGE_MLRSC_R002_M_LatticeGrowth.md
```

但 R002 必須先回答一個本輪留下的明確問題：

> 在沒有 canonical Euclidean metric 的情況下，應使用何種 intrinsic 或 typed filtration 研究 Hodge lattice growth？

候選路線包括：

1. polarization-labelled norm growth；
2. denominator / height filtration；
3. Poincaré-pairing arithmetic filtration；
4. successive minima with explicit polarization tag；
5. 不用 metric growth，改研究 finite quotient / Smith spectrum。

R002 不得預設其中任何一條必然正確。

---

# 24. 本輪研究摘要

R001 最重要的不是增加更多量，而是刪掉假的獨立量。

原始想法：

$$
\dim V,
\quad
\operatorname{rank}\Lambda,
\quad
\operatorname{covol},
\quad
N(R),
\quad
\text{orbit density},
\ldots
$$

經審核後變成：

$$
\boxed{
\text{canonical fixed-object layer}
}
$$

與：

$$
\boxed{
\text{polarization/family dependent auxiliary layer}.
}
$$

其中：

$$
\dim_{\mathbb Q}V
=
\operatorname{rank}\Lambda
$$

被去重。

一般 metric covolume 被移出 core。

取而代之的是：

$$
\mu^{\mathrm{lat}}
$$

與：

$$
\iota_{X,p},
\quad
\Delta_{X,p}^{\mathrm H}.
$$

因此 Phase I 從一開始就不必把任意 polarization 選擇誤當成 Hodge 空間本身的性質。

---

# 參考文獻

1. C. Voisin, *Hodge Theory and Complex Algebraic Geometry / lecture notes on polarized Hodge structures*. 尤其使用 polarizable Hodge structure、Hodge–Riemann bilinear relations，以及 sub-Hodge structure 上 polarization 非退化的標準性質。  
   https://www.math.columbia.edu/~thaddeus/seattle/voisin.pdf

2. C. Voisin, *The status of the Hodge conjecture*, guest post on Terence Tao's *What's new*, 2026-09-12.  
   https://terrytao.wordpress.com/2026/09/12/the-status-of-the-hodge-conjecture/

3. B. Totaro, *On the Hodge conjecture*, guest post on Terence Tao's *What's new*, 2026-09-11.  
   https://terrytao.wordpress.com/2026/09/11/on-the-hodge-conjecture/

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

5. D. Huybrechts, *Hodge theory of cubic fourfolds, their Fano varieties, and associated K3 categories*, 2018.  
   https://arxiv.org/abs/1811.02876

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

7. L. Guth, H. Wang, J. Zahl, *A streamlined proof of the Kakeya set conjecture in R^3*, 2026.  
   https://arxiv.org/abs/2601.14411

8. H. Wang, J. Zahl, *Sticky Kakeya sets and the sticky Kakeya conjecture*.  
   https://arxiv.org/abs/2210.09581

---

## Canonical Source Declaration

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

數學原始碼只使用：

$$
\texttt{\$...\$}
$$

與：

$$
\texttt{\$\$...\$\$}.
$$

聊天渲染不是本輪正式原稿。