# HODGE_GMSC_R001_GlobalTheoryGraphCompression
## ——GMSC 第一輪：Hodge Theory Graph、Domain-Restricted SCC、Route Residual 與 Provisional Global Core

**作者：Aletheia（GPT-5.6 Sol）**  
**方法：GMSC — Global Mathematical Space Compression**  
**研究主題：Hodge Conjecture / Abelian Hodge / Weil Classes**  
**輪次：GMSC-R001**  
**版本：v1.0**  
**日期：2026-09-16**

---

## Metadata

**Primary Claim:** 將既有 MLRSC-neutral、HC-False、HC-True 三條線與目前主要外部 Hodge routes 放入同一 proof-state graph 後，可做出第一個 domain-preserving compression：

對任何 polarized Weil-type abelian sixfold，

$$
\boxed{
\exists\,
0\neq
\alpha
\in
W_K(A)
\cap
\operatorname{Alg}^3(A)
\iff
W_K(A)
\subseteq
\operatorname{Alg}^3(A).
}
$$

對 very general polarized Weil-type abelian sixfold，再有：

$$
\boxed{
W_K(A)
\subseteq
\operatorname{Alg}^3(A)
\iff
\operatorname{HC}(A^r)
\text{ for every }r\ge1.
}
$$

因此在 **very-general Weil sixfold all-powers** 這個明確 domain 中，

$$
\boxed{
\mathcal C_{\mathrm{Weil6}}^{\mathrm{vg}}
=
[
\text{One Nonzero Weil Cycle},
\text{Full Weil Plane Algebraic},
\text{All-Powers HC}
]_{\mathrm{vg}}
}
$$

形成一個 domain-restricted strongly connected theory region，可視為目前的真正 target core。

反之，目前 HC-True 的 semiregularity / Rank-20 / Gluing Compensation、HC-False tropical branch 的 Diagonal Framing、以及若干 projector / deformation gates，只能標為：

$$
\boxed{
\mathrm{ROUTE\mbox{-}ONLY}.
}
$$

對 **一般 smooth projective varieties 的完整 rational Hodge conjecture**，本輪 theory graph 尚未產生任何非平凡、穩定、可證為不可繞的 singleton min-cut；目前唯一所有路徑都共享的「Hodge class必須取得 algebraic realization」只是 target 的語義重述，不能算有資訊量的 global bottleneck。

**Status:** REFINED / PROVISIONAL GLOBAL MAP  
**GMSC Mode:** Map $\to$ Compress $\to$ Cut  
**Construct:** ACTIVE  
**Attack:** ACTIVE  
**Compress:** ACTIVE  
**Global-Core Scope:** very-general Weil sixfold all-powers only  
**Universal-HC Global Core:** NOT IDENTIFIED  
**Supersedes:** 將 semiregularity、Rank-20、Gluing Compensation 或 tropical framing誤認為 Hodge conjecture本身的全域核心  
**Evidence Level:** structural theorem compression + current literature graph  
**Formalization Status:** NOT FORMALIZED  
**Graph Completeness:** PARTIAL / REBUILD REQUIRED  

---

# 0. GMSC reset

前面的研究採用三條線：

$$
\boxed{
\text{MLRSC-neutral}
\parallel
\text{HC-False}
\parallel
\text{HC-True}.
}
$$

這些線已經產生大量高品質局部結果。

但 GMSC 要求重新問：

$$
\boxed{
R_{\mathrm{route}}
\stackrel{?}{=}
R_{\mathrm{global}}.
}
$$

因此本輪暫停：

```text
PT011_GluingCompensationOperator
```

以及：

```text
CE011_DiagonalFramingObstruction
```

作為唯一主線。

它們仍保留為可重新進入的 route branches。

---

# 1. Target 必須分層

「Hodge conjecture」不是單一 graph target。

本輪至少分四個 scope。

---

## 1.1 Universal target

$$
\boxed{
T_0
=
\operatorname{HC}_{\mathrm{all}}
}
$$

表示：

> 對所有 smooth projective complex varieties 與所有 codimensions，所有 rational Hodge classes 都 algebraic。

這是最大全域 target。

---

## 1.2 Abelian target

$$
\boxed{
T_1
=
\operatorname{HC}_{\mathrm{Ab}}
}
$$

表示：

> 對所有 complex abelian varieties，rational Hodge conjecture成立。

它是：

$$
T_0
$$

的一個重要子域。

---

## 1.3 Weil-sixfold target

固定 imaginary quadratic field：

$$
K,
$$

與 polarized Weil-type abelian sixfold：

$$
A.
$$

考慮：

$$
\boxed{
T_2(A)
=
W_K(A)
\subseteq
\operatorname{Alg}^3(A).
}
$$

---

## 1.4 Very-general all-powers target

在 very-general Weil component：

$$
S=\mathcal M_{K,\delta},
$$

定義：

$$
\boxed{
T_3
=
\operatorname{HC}(A^r)
\quad
\forall r\ge1
}
$$

對 very general：

$$
A\in S.
$$

本輪最強 compression 發生在：

$$
T_2
\leftrightarrow
T_3.
$$

---

# 2. 第一版 Hodge theory graph

建立：

$$
\boxed{
G_{\mathrm{Hodge}}^{(1)}
=
(V,E,D,S,W).
}
$$

不以 paper 為 node。

以 proof-relevant obligation 為 node。

---

# 3. Raw node families

第一版至少包含以下 node families。

### H0 — Hodge carrier

- rational Hodge classes；
- Hodge decomposition；
- cycle class map；
- algebraic cycle span；
- primitive Hodge classes。

### H1 — Lefschetz / divisor region

- Lefschetz $(1,1)$ theorem；
- divisor classes；
- polarization algebra；
- hard Lefschetz；
- Lefschetz operators。

### H2 — Hodge group / invariant theory

- Mumford–Tate group；
- Hodge group；
- tensor invariants；
- primitive invariant generators；
- Weil determinant tensor。

### H3 — Weil region

- Weil-type abelian varieties；
- discriminant components；
- Weil plane：
  $$
  W_K(A);
  $$
- split vs non-split；
- one-cycle binary closure。

### H4 — Deformation region

- Hodge loci；
- Gauss–Manin；
- variational Hodge；
- relative cycles；
- Hilbert/Chow dominance；
- semiregularity；
- Atiyah–Kodaira–Spencer obstruction。

### H5 — Direct cycle construction

- secant sheaves；
- normalized Chern classes；
- explicit subvarieties；
- degenerations；
- specialization；
- curve/gluing constructions。

### H6 — Correspondence / motive region

- algebraic correspondences；
- Künneth projectors；
- Chow motives；
- motivated cycles；
- absolute Hodge classes；
- auxiliary-object internalization。

### H7 — Standard conjecture region

- Lefschetz standard conjecture；
- algebraic inverse Lefschetz operators；
- algebraic projectors；
- standard conjectures。

### H8 — Arithmetic region

- reduction mod $p$；
- Tate classes；
- Tate conjecture；
- specialization maps；
- comparison isomorphisms；
- CM arithmetic。

### H9 — Tropical region

- tropical Hodge classes；
- eigenwave / monodromy kernel；
- rational triangulability；
- tropical cycle span；
- framed cycle realizability；
- tropical Weil classes。

### H10 — Special geometry region

- hyperkähler moduli；
- Kuga–Satake-type correspondences；
- OG6 geometry；
- moduli-space realizations；
- singular-variety resolutions。

### H11 — MLRSC finite-core region

- BLTP；
- primitive invariant core；
- algebraic projector hygiene；
- auxiliary internalization；
- category/scale coupling。

---

# 4. Major typed edges

第一版不將所有 edge 都當 implication。

例如：

$$
\text{Hodge group}
\to
\text{tensor invariants}
$$

是：

```text
edge_type = invariant-identification
```

$$
\text{algebraic correspondence}
\to
\text{algebraic Hodge operator}
$$

是：

```text
edge_type = realization
```

$$
\text{seed cycle}
\to
\text{generic cycle family}
$$

是：

```text
edge_type = deformation
```

$$
\text{split component}
\to
\text{non-split component}
$$

若無 bridge：

```text
edge_status = absent
```

而不是偷偷畫一條 deformation edge。

---

# 5. Domain firewall

GMSC-R001 最重要的規則之一：

$$
\boxed{
\text{所有 SCC 都必須保留 domain label}.
}
$$

例如：

$$
\boxed{
\text{Weil algebraicity}
\iff
\text{all-powers HC}
}
$$

不是對所有 abelian varieties成立。

本輪只在：

$$
\boxed{
\text{very-general polarized Weil sixfold}
}
$$

domain 使用。

---

# 6. Known closed region: divisors

Lefschetz $(1,1)$ gives：

$$
\boxed{
H^2(X,\mathbb Q)
\cap
H^{1,1}(X)
=
\operatorname{Alg}^1(X).
}
$$

因此 codimension-$1$ legality在 universal graph 中是 closed region。

對 abelian varieties，polarization/divisor tensor grammar亦屬已閉合 sector。

此區域從 residual graph 中移除。

---

# 7. Abelian invariant compression

對 abelian varieties，Hodge classes可透過 Hodge/Mumford–Tate group invariant theory分析。

因此：

$$
\boxed{
\text{Hodge-class classification}
}
$$

與：

$$
\boxed{
\text{invariant-tensor classification}
}
$$

在適當 fixed Hodge structure domain內高度耦合。

但：

$$
\boxed{
\text{invariant classification}
\neq
\text{algebraicity}.
}
$$

這條 legality edge不可壓縮掉。

---

# 8. CM / split-Weil compression

Milne 整理 Deligne–André 路線：

對 CM-type abelian varieties，Hodge classes可表示為 divisor classes與 split Weil classes的結構組合。

因此 CM Hodge-class classification 可壓向：

$$
\boxed{
\text{divisor sector}
+
\text{split Weil primitive sector}.
}
$$

這是 representation reduction。

不是 algebraicity closure。

---

# 9. Weil one-cycle SCC

PT002 給出：

對任何 polarized Weil-type abelian sixfold：

$$
\boxed{
\mathcal A_W
=
W_K(A)
\cap
\operatorname{Alg}^3(A)
=
0
\quad\text{or}\quad
W_K(A).
}
$$

所以：

$$
\boxed{
\exists\,0\neq\alpha\in\mathcal A_W
}
$$

等價於：

$$
\boxed{
W_K(A)\subseteq\operatorname{Alg}^3(A).
}
$$

定義：

$$
\boxed{
\mathcal C_{\mathrm{WeilCycle}}
=
[
\text{One Nonzero Weil Cycle},
\text{Full Weil Plane Algebraic}
].
}
$$

這個 SCC 不需要 generic Hodge group。

---

# 10. Very-general all-powers SCC

PT001 給出：

對 very general Weil sixfold：

$$
W_K(A)
\subseteq
\operatorname{Alg}^3(A)
\Longrightarrow
\operatorname{HC}(A^r)
\quad
\forall r.
$$

反向則因：

$$
r=1
$$

本身包含：

$$
W_K(A)
\subset
H^6(A,\mathbb Q)
\cap
H^{3,3}(A),
$$

故：

$$
\operatorname{HC}(A^r)
\quad
\forall r
\Longrightarrow
W_K(A)
\subseteq
\operatorname{Alg}^3(A).
$$

因此：

$$
\boxed{
\mathcal C_{\mathrm{Weil6}}^{\mathrm{vg}}
=
[
\text{One Nonzero Weil Cycle},
\text{Full Weil Plane Algebraic},
\text{All-Powers HC}
]_{\mathrm{very\ general}}.
}
$$

---

# 11. GMSC meaning of this SCC

對 very-general Weil sixfold problem：

$$
\boxed{
\mathcal C_{\mathrm{Weil6}}^{\mathrm{vg}}
}
$$

不是一條 proof route。

它是 target-equivalent theory region。

所以此時真正要解的是一個 binary decision：

$$
\boxed{
\mathcal A_W=0
\quad\text{or}\quad
\mathcal A_W=W_K(A).
}
$$

HC-True 攻右側。

HC-False CE001 攻左側。

---

# 12. True / False 在 GMSC 中第一次合流

HC-True：

$$
\boxed{
\mathcal A_W=W_K(A).
}
$$

HC-False：

$$
\boxed{
\mathcal A_W=0.
}
$$

因 PT002 排除：

$$
\dim\mathcal A_W=1,
$$

所以二者不是兩個 unrelated projects。

它們是同一 decision node 的兩個 outcomes。

這是一個真正的 compression。

---

# 13. Markman route 不再是 core

目前 HC-True Markman route：

$$
\text{Secant Seed}
\to
\text{Hodge Permanence}
\to
\text{Semiregularity}
\to
\text{Relative Cycle}
\to
\mathcal C_{\mathrm{Weil6}}^{\mathrm{vg}}.
$$

PT004–PT010 中的：

- image-restricted semiregularity；
- Rank-$20$；
- Atiyah–Chern Kernel Gap；
- Gluing Compensation；
- even-lift coverage；

都是這條路徑的 internal gates。

因此本輪統一標記：

$$
\boxed{
\mathrm{ROUTE\mbox{-}ONLY}.
}
$$

---

# 14. 為什麼 Semiregularity 不是 global core

即使 Markman-secant route 永遠失敗，

仍可能存在：

- direct algebraic cycle construction；
- degeneration；
- auxiliary hyperkähler geometry；
- algebraic correspondence；
- Standard Conjecture bridge；
- CM specialization bridge；
- another moduli object；
- future unknown construction。

因此：

$$
\boxed{
\text{Semiregularity failure}
\not\Rightarrow
\text{Weil algebraicity failure}.
}
$$

所以 semiregularity不在目前可證的 global cut 中。

---

# 15. Floccari–Fu 作為 route-diversity witness

Weil fourfold discriminant-$1$ 已有不同於 Markman semiregular-sheaf route 的 OG6 / singular hyperkähler geometry proof。

這件事對 GMSC 的意義不是：

> fourfold 已經解了。

而是：

$$
\boxed{
\text{同一 algebraicity target 可由不同 geometric route 進入}.
}
$$

因此：

$$
\boxed{
\text{某一 construction gate}
}
$$

更不能輕易升級成 global bottleneck。

---

# 16. Schoen degeneration 作為 route-diversity witness

Markman 的 sixfold split result配合 Schoen degeneration，可 closure 全部 Weil fourfold discriminants。

這顯示：

$$
\boxed{
\text{direct construction}
+
\text{degeneration}
}
$$

可以跨越原 construction 沒有直接覆蓋的 domain。

所以 GMSC 必須保留 degeneration edge 類型。

---

# 17. Standard conjecture route

Milne 說明：

Grothendieck Lefschetz-type standard conjecture若成立，則可推出 abelian varieties 的 Hodge conjecture。

因此：

$$
\boxed{
\text{Standard Conjecture B}
\to
\operatorname{HC}_{\mathrm{Ab}}
}
$$

是一條合法 conditional route。

這條 route 很強，但帶巨大 proof debt：

$$
\boxed{
\delta(\mathrm{StdB})>0.
}
$$

所以它不能把 abelian HC 標成 closed。

但它足以證明：

$$
\boxed{
\text{Weil/semiregularity route不是唯一 logical architecture}.
}
$$

---

# 18. Absolute Hodge / motivated region

Deligne 證明 abelian varieties 上 Hodge classes是 absolute Hodge。

André motivated cycles提供更大的 well-behaved motivated category。

但：

$$
\boxed{
\text{absolute Hodge}
\not\Rightarrow
\text{known algebraic cycle}
}
$$

以及：

$$
\boxed{
\text{motivated}
\not\Rightarrow
\text{rational HC algebraic}
}
$$

因此此 region提供：

- transport；
- comparison；
- rigidity；
- motivic structure；

但留下：

$$
\boxed{
\text{Motivic-to-Algebraic Bridge}
}
$$

proof debt。

---

# 19. Variational route

Hodge loci與 variational Hodge 提供：

$$
\text{one algebraic seed}
+
\text{Hodge-preserving deformation}
\to
\text{potential relative algebraicity}.
$$

Semiregularity是其中一種 deformation realization engine。

Movasati 等工作的 Hodge-locus研究也顯示：

$$
\boxed{
\text{Hodge deformation space}
}
$$

可能大於：

$$
\boxed{
\text{known algebraic deformation space}.
}
$$

因此 Hodge-locus equality本身是一個真正 legality問題。

---

# 20. Tropical route

Zharkov 描述 Kontsevich 的 tropical counterexample strategy。

Amini–Piquerez證明 rationally triangulable smooth projective tropical varieties滿足 tropical Hodge conjecture。

我們 CE005–CE010 進一步將 tropical Weil candidate壓到：

$$
\boxed{
\text{Framed Geometric Realizability}.
}
$$

但此 route 是：

$$
\boxed{
\text{counterexample architecture}.
}
$$

它不是所有 HC proof/counterexample paths 的必經之路。

因此：

$$
\boxed{
\text{Diagonal Framing Barrier}
=
\mathrm{ROUTE\mbox{-}ONLY}.
}
$$

---

# 21. Tropical route 的正確 GMSC 地位

若 tropical route產生 genuine rational Hodge counterexample：

$$
\boxed{
\neg\operatorname{HC}_{\mathrm{all}},
}
$$

整個 TRUE program終止。

但在 counterexample 出現以前，

tropical residual不能被稱為 universal HC global residual。

它只是高價值 Attack branch。

---

# 22. MLRSC-neutral 的重新定位

MLRSC 前面得到：

- Measure carrier；
- legality；
- relative cycles；
- projector hygiene；
- primitive finite core；
- scale/category coupling。

在 GMSC 中，這些結果變成：

$$
\boxed{
\text{graph typing + legality audit infrastructure}.
}
$$

也就是：

MLRSC 不再需要和 True / False 爭「主 route」。

它負責：

- edge typing；
- domain checking；
- hidden debt detection；
- route residual vs global residual；
- reopening。

---

# 23. MLRSC projector barriers 的 GMSC 地位

Self-product barrier、projector barrier、primitive core等結果仍重要。

但它們主要回答：

> 某一 tensor/invariant route 如何合法進入 algebraic cycle category？

因此目前標：

$$
\boxed{
\mathrm{ROUTE\mbox{-}LOCAL}
}
$$

除非未來 graph rebuild證明所有主要 routes 都必須經同一 projector bridge。

目前尚未證明。

---

# 24. Universal Hodge graph 的第一個負結果

對：

$$
T_0
=
\operatorname{HC}_{\mathrm{all}},
$$

目前能寫出的共同 obligation 是：

$$
\boxed{
\text{Every rational Hodge class must acquire an algebraic-cycle realization}.
}
$$

但這只是：

$$
T_0
$$

的另一種措辭。

它沒有提供新的 theorem target。

因此 GMSC 規則禁止把它標為有資訊量的：

$$
\mathrm{GLOBAL\mbox{-}CORE}.
$$

---

# 25. Universal singleton min-cut 尚未找到

目前 graph 至少存在不同 route families：

1. direct cycle geometry；
2. variational/deformation；
3. motives/correspondences；
4. Standard Conjectures；
5. arithmetic/Tate comparison；
6. special geometry；
7. tropical attack；
8. singular/degeneration geometries。

我們尚未證明它們全部必須經過同一非平凡 theorem。

因此：

$$
\boxed{
\operatorname{MinCut}_{\mathrm{informative}}
(T_0)
\text{ not identified}.
}
$$

這不是失敗。

這是第一輪 GMSC 的正確輸出。

---

# 26. Abelian HC 也尚未壓成 singleton core

對：

$$
T_1
=
\operatorname{HC}_{\mathrm{Ab}},
$$

已有：

- Mumford–Tate / invariant route；
- CM/split-Weil reduction；
- Standard Conjecture route；
- special geometry route；
- low-dimensional explicit geometry；
- arithmetic/motivic route。

因此目前也不應宣稱：

$$
\boxed{
\text{Weil algebraicity}
}
$$

就是所有 abelian HC 的 universal singleton cut。

它在很多重要 subdomains 核心化。

但尚非全 abelian domain 的單一核心。

---

# 27. Very-general Weil-sixfold global core

對：

$$
T_3,
$$

情況不同。

因：

$$
\mathcal C_{\mathrm{Weil6}}^{\mathrm{vg}}
$$

是 target-equivalent SCC，

所有 research routes最後都必須決定該 SCC 的 truth state。

因此在這個 scope：

$$
\boxed{
R_{\mathrm{global}}^{\mathrm{Weil6,vg}}
=
\{
\mathcal C_{\mathrm{Weil6}}^{\mathrm{vg}}
\}.
}
$$

這是本輪唯一有資格升級為：

```text
GLOBAL-CORE
```

的 node region。

---

# 28. 但 GLOBAL-CORE 不等於某一證法

請注意：

$$
\boxed{
\mathcal C_{\mathrm{Weil6}}^{\mathrm{vg}}
}
$$

代表的是：

$$
\boxed{
\text{Weil primitive legality decision}.
}
$$

它不是：

- semiregularity；
- secant sheaf；
- Rank-$20$；
- gluing；
- tropicalization；
- one specific correspondence。

這些只是進入 core 的 routes。

---

# 29. Current route residual: HC-True

目前 Markman generalized route residual可壓成：

$$
\boxed{
R_{\mathrm{route}}^{\mathrm{True}}
=
\{
\text{Component-local Seed},
\text{Relative/Object Semiregularity},
\text{Nonzero Weil Projection}
\}.
}
$$

PT004–PT010 中更多細分 gate都屬其內部展開。

其中：

$$
\text{Rank-20},
\text{Atiyah-Chern gap},
\text{Gluing Compensation}
$$

不再保留為 top-level global nodes。

---

# 30. Current route residual: HC-False sixfold

CE001 的 non-split sixfold route可壓成：

$$
\boxed{
R_{\mathrm{route}}^{\mathrm{False6}}
=
\{
\text{No Dominating Weil-Cycle Family},
\text{Nonalgebraic Weil Plane}
\}.
}
$$

其中前者是 candidate mechanism。

後者直接對 core 做：

$$
\boxed{
\mathcal A_W=0.
}
$$

只有後者接觸真正 decision core。

---

# 31. Current route residual: HC-False tropical

CE005–CE010 可壓成：

$$
\boxed{
R_{\mathrm{route}}^{\mathrm{Trop}}
=
\{
\text{Primitive Nonlinear Framed Realizability},
\text{Tropical Weil Defect}
\}.
}
$$

此 route對 universal HC 是 attack candidate。

但它與 non-split sixfold core不是同一 subproblem。

不能混成一個 residual。

---

# 32. Current route residual: neutral

Neutral MLRSC 可壓成：

$$
\boxed{
R_{\mathrm{route}}^{\mathrm{Neutral}}
=
\{
\text{Joint-object finite legality},
\text{route/global coupling classification}
\}.
}
$$

其主要價值已轉成 GMSC infrastructure。

---

# 33. 第一輪 SCC compression summary

Raw research state中，至少下列前期 gate可合併。

### SCC-A

$$
[
\text{One nonzero Weil class},
\text{Full Weil plane algebraic}
]
$$

domain：

```text
all Weil-type sixfolds
```

### SCC-B

$$
[
\text{SCC-A},
\text{All powers HC}
]
$$

domain：

```text
very-general Weil-type sixfold
```

### CLOSED-C

```text
Divisor / codim-1 Hodge sector
```

### CLOSED-D

```text
Split sixfold discriminant -1 Weil algebraicity
```

### CLOSED-E

```text
Weil fourfold algebraicity / HC in the known domains
```

### CLOSED-F

```text
Rationally triangulable tropical Hodge cycle realization
```

這些 region 不應在每輪重新當 independent unknown。

---

# 34. First graph compression ratio

以本輪顯式列出的：

$$
36
$$

個 top-level raw obligation nodes計，

壓縮／閉合後保留：

$$
15
$$

個 proof-relevant theory regions。

因此第一版 purely structural compression ratio 可記為：

$$
\boxed{
\mathrm{GCR}_1
=
1-\frac{15}{36}
\approx0.5833.
}
$$

這不是 HC 完成度。

它只代表：

$$
\boxed{
\text{約 }58\%
\text{ 的 top-level named freedom 被 SCC / closure / route-local classification消除。}
}
$$

---

# 35. Gate type distribution after compression

第一版 residual regions大致落入：

- algebraicity / realization；
- deformation；
- correspondence；
- standard-conjectural；
- arithmetic comparison；
- tropical realizability；
- component transfer；
- projector/internalization。

因此 gate type entropy仍高。

這表示：

$$
\boxed{
\text{Universal HC 尚未進入 Core Theorem Mode}.
}
$$

---

# 36. Bottleneck Stability 尚不可計算

GMSC 定義：

$$
\mathrm{BS}(v)
=
\frac{
\#\{k:v\in\operatorname{MinCut}(G^{(k)})\}
}{
N
}.
$$

目前只有：

$$
k=1.
$$

所以任何 universal bottleneck stability 宣稱都沒有統計意義。

至少需要多輪 graph rebuild。

---

# 37. Provisional min-cut table

| Scope | Provisional result |
|---|---|
| Universal rational HC | no informative singleton min-cut identified |
| All abelian varieties | no singleton global core identified |
| Very-general Weil sixfold all-powers | target SCC = Weil primitive algebraicity decision |
| Markman secant route | semiregularity / seed realization are route cuts |
| Tropical counterexample route | framed realizability is route cut |
| Neutral tensor route | projector/internalization gates are route cuts |

---

# 38. Alternative path search around Semiregularity

既然 semiregularity是 route-only，

下一步不應只攻：

```text
Gluing Compensation
```

而應並行搜索其他進入：

$$
\mathcal C_{\mathrm{Weil6}}^{\mathrm{vg}}
$$

的 legal paths。

---

# 39. Path A — Secant / semiregularity

目前最深挖 route：

$$
\text{Secant object}
\to
\text{Hodge permanence}
\to
\text{Semiregularity}
\to
\text{One Weil cycle}
\to
\mathcal C_{\mathrm{Weil6}}^{\mathrm{vg}}.
$$

**Status:** OPEN  
**Debt:** semiregularity / component-local seed  
**Risk:** route-specific object obstruction  

---

# 40. Path B — Direct cycle construction

直接尋找：

$$
Z
\in
CH^3(A)_{\mathbb Q}
$$

使：

$$
0\neq
cl(Z)
\in
W_K(A).
$$

由 PT002：

$$
\boxed{
\text{one cycle is enough}.
}
$$

此 route 可完全繞過 semiregularity。

**Status:** OPEN  
**Debt:** explicit cycle geometry  

---

# 41. Path C — Degeneration / specialization

尋找 family：

$$
\mathcal A\to B
$$

讓 target non-split component可經合法 degeneration / specialization接到已知 algebraic seed geometry。

需要：

- discriminant/domain audit；
- specialization方向；
- cycle extension；
- nonzero Weil projection保存。

**Status:** OPEN  
**Debt:** component bridge  

---

# 42. Path D — Auxiliary hyperkähler geometry

Weil fourfold已存在 OG6-type geometry的 alternative proof precedent。

對 sixfold可問：

> 是否存在 auxiliary hyperkähler/moduli object，其 algebraic class經 correspondence投到 $W_K(A)$？

若有：

$$
\boxed{
\text{auxiliary algebraic class}
\to
\text{Weil class}
}
$$

可繞過 secant semiregularity。

**Status:** UNBUILT  
**Debt:** correspondence construction  

---

# 43. Path E — Standard Conjecture route

Milne route：

$$
\boxed{
\text{Lefschetz Standard Conjecture}
\to
\operatorname{HC}_{\mathrm{Ab}}.
}
$$

若直接證 target A 所需的 algebraic Lefschetz/projector package，

可能從更高層壓入 core。

**Status:** CONDITIONAL  
**Debt:** very strong conjectural theorem  
**Cost:** high  

---

# 44. Path F — CM / absolute-Hodge bridge

Deligne：

$$
\boxed{
\text{abelian Hodge classes are absolute Hodge}.
}
$$

但 absolute Hodge不是 algebraic。

需要新 bridge：

$$
\boxed{
\text{Absolute Hodge}
\to
\text{Algebraic}
}
$$

在特定 Weil domain成立。

**Status:** OPEN / bridge absent  
**Risk:** may be as hard as HC  

---

# 45. Path G — Motivic internalization

若 Weil class可證為 motivated且 auxiliary motivated correspondence可升級成 algebraic correspondence，

則：

$$
\text{motivated}
\to
\text{algebraic}
$$

可能成 alternate route。

目前缺的仍是 legality upgrade。

**Status:** CONDITIONAL / OPEN  

---

# 46. Path H — Arithmetic / Tate comparison

可考慮：

- good reductions；
- Tate classes；
- specialization；
- lifting back to characteristic zero。

但：

$$
\boxed{
\text{Tate algebraicity mod }p
}
$$

到：

$$
\boxed{
\text{complex algebraicity}
}
$$

需要強 comparison/lifting bridge。

**Status:** HIGH DEBT  

---

# 47. Tropical route 不作正例替代 path

Tropicalization 目前最有價值的是：

$$
\boxed{
\text{Attack}.
}
$$

若找到 genuine tropical obstruction並能 lift 成 rational Hodge nonalgebraicity：

$$
\neg\operatorname{HC}.
$$

但目前尚無 such bridge。

所以不能把 tropical route假裝成已存在的 positive bypass。

---

# 48. Construct 結果

本輪 Construct 並未新證 Hodge theorem。

它產生一個新的 proof-search fact：

$$
\boxed{
\text{Semiregularity不是唯一進入 Weil core 的合法 architecture}.
}
$$

因此當前 True route不再具有 global monopoly。

---

# 49. Attack 結果

本輪 Attack 對前期研究做 meta-level stress test。

被打掉的過強敘述：

### A

```text
Semiregularity is the Hodge bottleneck.
```

**BROKEN**

### B

```text
Gluing Compensation is the global Hodge residual.
```

**BROKEN**

### C

```text
Diagonal Framing is the global Hodge residual.
```

**BROKEN**

### D

```text
Weil sixfold is the universal Hodge core.
```

**BROKEN**

正確版本：

$$
\boxed{
\text{Weil primitive legality is GLOBAL-CORE only in its explicit domain}.
}
$$

---

# 50. Compress 結果

前面 True / False / Neutral 的大量局部 gates現可壓成：

$$
\boxed{
\text{Core Decision}
+
\text{Route Families}
+
\text{Bridge Debts}.
}
$$

其中 core decision：

$$
\boxed{
\mathcal C_{\mathrm{Weil6}}^{\mathrm{vg}}.
}
$$

route families：

- secant；
- direct cycles；
- degeneration；
- auxiliary geometry；
- standard conjecture；
- motives；
- arithmetic；
- attack/tropical。

---

# 51. Current residual graph for Weil6-vg

將 closed與 internal gates拿掉後：

$$
R_{\mathrm{Weil6}}^{(1)}
$$

可以畫成：

```text
                     [Direct Cycle]
                          |
                          v
[Secant/SR] ----------> [WEIL CORE] <---------- [Degeneration]
                          ^
                          |
              [Auxiliary Correspondence]
                          ^
                          |
                 [Special Geometry]

[Standard Conjecture] -------------------------> [WEIL CORE/HC]

[CM/Motivic Bridge] --------------------------> [WEIL CORE]

HC-False CE001 -------------------------------> [WEIL CORE = FALSE]
```

這張圖的重點：

$$
\boxed{
\text{Semiregularity不是 articulation point}.
}
$$

而：

$$
\boxed{
\text{WEIL CORE 是 target SCC}.
}
$$

---

# 52. Current residual graph for Universal HC

Universal graph則更像：

```text
Direct cycles --------\
Deformation -----------\
Motives ----------------\
Standard conjectures ----> [Universal HC]
Arithmetic --------------/
Special geometry --------/
Degeneration ------------/
Tropical attack --------> [possible NOT HC]
```

目前 graph 仍太寬。

沒有證據支持：

$$
\boxed{
\text{single nontrivial global articulation point}.
}
$$

---

# 53. Global residual vs route residual

對 Markman route：

$$
R_{\mathrm{route}}^{\mathrm{Markman}}
\neq
R_{\mathrm{global}}^{\mathrm{Weil6,vg}}.
$$

具體：

$$
\boxed{
R_{\mathrm{route}}^{\mathrm{Markman}}
=
\{
\text{seed},
\text{semiregularity},
\text{deformation legality}
\}
}
$$

但：

$$
\boxed{
R_{\mathrm{global}}^{\mathrm{Weil6,vg}}
=
\{
\text{Weil Core Decision}
\}.
}
$$

因此：

$$
\boxed{
\text{current route is not globally unique}.
}
$$

---

# 54. HC-False CE001 的特殊地位

CE001 與 Markman route不同。

它不是只攻 route implementation。

它直接提出：

$$
\boxed{
\mathcal A_W=0.
}
$$

這正好是 core decision 的另一邊。

所以 CE001 仍保留最高 Attack priority。

其內部 subroutes：

- no-dominance；
- support；
- tropical；
- arithmetic；

仍可能 route-only。

---

# 55. Tropical CE005-A8 的特殊地位

CE005-A8 攻的是另一個 potential global counterexample：

$$
\boxed{
\text{split tropical Weil eightfold}.
}
$$

若成功並能合法回推 classical rational Hodge failure，則它可能終止：

$$
T_0.
$$

但目前還缺：

$$
\boxed{
\text{tropical defect}
\to
\text{classical counterexample}
}
$$

的完整 bridge。

所以其 global status仍是：

```text
ATTACK-CANDIDATE
```

而非：

```text
GLOBAL-CORE
```

---

# 56. 第一輪 MinCut 結論

GMSC-R001 不宣稱計算出 universal mathematical min-cut。

它只做出兩個可靠結論。

### Conclusion A

對 very-general Weil sixfold：

$$
\boxed{
\mathcal C_{\mathrm{Weil6}}^{\mathrm{vg}}
}
$$

是 target-equivalent global core region。

### Conclusion B

對 universal HC：

$$
\boxed{
\text{no informative stable min-cut has yet been established}.
}
$$

任何更強宣稱都超過目前 graph completeness。

---

# 57. 為什麼這是進步

在 GMSC 前，

我們可能繼續：

```text
PT011
PT012
PT013
...
```

沿 Gluing Compensation深挖。

現在知道：

$$
\boxed{
\text{那只是 Path A}.
}
$$

所以研究資源應改成：

$$
\boxed{
\text{Path A 深挖}
+
\text{Path B--H 替代搜尋}
+
\text{CE001 Attack}
+
\text{graph rebuild}.
}
$$

---

# 58. 新 research priority

下一輪最有價值的不是立刻繼續 PT011。

而是建立：

$$
\boxed{
\text{Weil Core Alternative-Path Graph}.
}
$$

核心問題：

> 除 Markman semiregularity 外，現有數學中有哪些 route 真能進入 $W_K(A)$ algebraicity，而不是只提供 Hodge/motivic structure？

---

# 59. 下一輪需要區分「真 bridge」與「假 bridge」

例如：

### Absolute Hodge

不是 algebraic bridge。

### Motivated

不是 algebraic bridge。

### Hodge locus

不是 algebraic bridge。

### Standard Conjecture

是 sufficient bridge，但 proof debt巨大。

### Explicit correspondence

若 cycle correspondence algebraic，是真 bridge。

### Degeneration

若 specialization/extension合法，可是真 bridge。

### Hyperkähler geometry

若有 algebraic correspondence落回 Weil class，可是真 bridge。

---

# 60. Candidate bridge score

下一輪可以給每條 path：

$$
W(P)
=
(
\text{proof debt},
\text{domain reach},
\text{algebraicity strength},
\text{constructibility},
\text{falsifiability}
).
$$

不強迫壓成單一 scalar。

目標是找到：

$$
\boxed{
\text{比 Semiregularity 更低 debt 的 path}
}
$$

或反過來證明：

$$
\boxed{
\text{Semiregularity 仍是目前最低-cost path}.
}
$$

---

# 61. Reopen rules

以下任何新證據都會重開本輪 compression。

### Reopen A

發現 PT002 binary closure有 domain flaw。

### Reopen B

發現 PT001 all-powers reduction只 conditional於額外未記錄 hypothesis。

### Reopen C

找到 very-general Weil sixfold額外 primitive Hodge generator。

### Reopen D

找到 direct theorem使 non-split Weil algebraicity已 closure。

### Reopen E

找到 genuine counterexample。

---

# 62. Current GMSC labels

```text
GLOBAL-CORE:
  C_Weil6_vg
    domain = very-general Weil sixfold all-powers

ROUTE-ONLY:
  Semiregularity
  Atiyah Rank-20
  Gluing Compensation
  Even Lift Rank
  Diagonal Framing
  Projector Barrier
  Joint-object realization

ATTACK-CANDIDATE:
  CE001 non-split Weil sixfold
  CE005-A8 tropical eightfold

CONDITIONAL-BRIDGE:
  Standard Conjecture B
  motivic-to-algebraic
  arithmetic/Tate lifting

CLOSED-REGION:
  divisor/codim-1
  split sixfold delta=-1
  Weil fourfold known cases
  rationally triangulable tropical Hodge
```

---

# 63. First bottleneck-stability register

本輪初始化：

$$
\boxed{
\mathrm{BS}_1
}
$$

而不給虛假的長期分數。

記錄候選：

- Weil primitive legality core；
- algebraic correspondence bridge；
- relative algebraicity；
- motivic-to-algebraic bridge；
- arithmetic lift bridge。

未來每輪 rebuild觀察哪些反覆出現。

---

# 64. Global search interpretation

目前最值得觀察的可能不是一個 theorem名稱。

而是一種 edge type：

$$
\boxed{
\text{REALIZATION}
}
$$

即：

> 將已知 Hodge/motivic/tropical/invariant object合法 realization 成 algebraic cycle。

這個 edge type在多條 route出現。

但目前不能因此宣布：

$$
\boxed{
\text{Realization}
=
\text{global theorem}.
}
$$

因為它仍太抽象。

下一步要將 realization edge再分類。

---

# 65. Realization edge taxonomy

至少分：

$$
\boxed{
\begin{aligned}
R_1&=\text{direct subvariety construction},\\
R_2&=\text{Chern-class realization},\\
R_3&=\text{correspondence realization},\\
R_4&=\text{deformation realization},\\
R_5&=\text{specialization realization},\\
R_6&=\text{motivic internalization},\\
R_7&=\text{tropical-to-classical realization},\\
R_8&=\text{arithmetic lifting}.
\end{aligned}
}
$$

若未來這八類再壓成一個 theorem family，

才可能出現 universal global core。

---

# 66. GMSC-R001 核心結論

第一輪真正得到：

$$
\boxed{
\text{Hodge 的局部 proof complexity 遠大於目前可辨識的 target complexity}.
}
$$

尤其在 very-general Weil sixfold：

前面大量：

- tensor barriers；
- secant geometry；
- semiregularity；
- Atiyah ranks；
- gluing；

最後全部壓進：

$$
\boxed{
\text{one binary Weil legality SCC}.
}
$$

這正是 GMSC 想要的結果。

---

# 67. Main Verdict

### Universal Hodge

$$
\boxed{
\mathrm{GLOBAL\mbox{-}CORE}
\text{ not yet identified}.
}
$$

### Abelian Hodge

$$
\boxed{
\text{multiple major route families remain}.
}
$$

### Very-general Weil sixfold

$$
\boxed{
R_{\mathrm{global}}
=
\{
\mathcal C_{\mathrm{Weil6}}^{\mathrm{vg}}
\}.
}
$$

### Markman Semiregularity

$$
\boxed{
\mathrm{ROUTE\mbox{-}ONLY}.
}
$$

### Tropical Framing

$$
\boxed{
\mathrm{ROUTE\mbox{-}ONLY}.
}
$$

---

# 68. Next Interface

下一輪：

```text
HODGE_GMSC_R002_WeilCoreAlternativePaths.md
```

Primary target：

$$
\boxed{
\text{Enumerate and rank all currently legal paths into }
\mathcal C_{\mathrm{Weil6}}^{\mathrm{vg}}.
}
$$

Planned tasks：

1. 不再先深入 PT011；
2. 搜尋 direct cycle routes；
3. 搜尋 degeneration/specialization routes；
4. 搜尋 hyperkähler/OG-type auxiliary routes；
5. 搜尋 Standard-Conjecture/projector routes；
6. 搜尋 CM/absolute-Hodge/motivic bridges；
7. 搜尋 arithmetic/Tate lifting routes；
8. 對每條 route標：
   - domain；
   - proof debt；
   - exact algebraicity bridge；
   - route-only gates；
9. 計算第一版 route cost Pareto frontier；
10. 判斷 Markman semiregularity是否仍是目前最低-cost path。

---

# References

1. GMSC v0.1, *Global Mathematical Space Compression: Theory Graphs, Residual Min-Cuts, and Tri-Directional Closure for Large Mathematical Problems*, Neo.K with Aletheia, 2026-09-16.

2. J. S. Milne, *Hodge classes on abelian varieties*, arXiv:2010.08857. CM-type Hodge classes are expressed using divisor and split Weil classes; the Lefschetz standard conjecture implies the Hodge conjecture for abelian varieties.

3. B. J. J. Moonen, Yu. G. Zarhin, *Hodge classes on abelian varieties of low dimension*, arXiv:math/9901113.

4. B. Brent Gordon, *A Survey of the Hodge Conjecture for Abelian Varieties*, arXiv:alg-geom/9709030.

5. E. Markman, *Cycles on abelian $2n$-folds of Weil type from secant sheaves on abelian $n$-folds*, arXiv:2502.03415. Proves Weil-class algebraicity for discriminant-$-1$ sixfolds and, via degeneration, all Weil fourfolds.

6. E. Markman, *Secant sheaves and Weil classes on abelian varieties*, arXiv:2509.23403.

7. S. Floccari, L. Fu, *The Hodge conjecture for Weil fourfolds with discriminant 1 via singular OG6-varieties*, arXiv:2504.13607. Supplies an alternative special-geometric route to a Weil-class algebraicity target.

8. F. Charles, C. Schnell, *Notes on absolute Hodge classes*, arXiv:1101.3647. Includes Deligne's theorem on absolute Hodge classes on abelian varieties.

9. O. Amini, M. Piquerez, *Tropical Clemens-Schmid sequence and existence of tropical cycles with a given cohomology class*, arXiv:2012.13142. Proves the tropical Hodge conjecture for rationally triangulable smooth projective tropical varieties.

10. I. Zharkov, *Tropical Abelian varieties, Weil classes and the Hodge Conjecture*, arXiv:2002.02347. Describes the Kontsevich tropical counterexample program.

11. R.-O. Buchweitz, H. Flenner, *A Semiregularity Map for Modules and Applications to Deformations*, arXiv:math/9912245.

12. J. P. Pridham, *Semiregularity as a consequence of Goodwillie's theorem*, arXiv:1208.3111.

13. H. Movasati, *On a Hodge locus*, arXiv:2211.11405. Illustrates the distinction between Hodge-class deformation space and known algebraic-cycle deformation space.

14. Aletheia, *HODGE_HCTRUE_PT001_WeilSixfoldPrimitiveCore*, 2026-09-16.

15. Aletheia, *HODGE_HCTRUE_PT002_OneCycleBinaryClosure*, 2026-09-16.

16. Aletheia, *HODGE_HCFALSE_CE001_NonSplitWeilSixfold*, 2026-09-15.

17. Aletheia, *HODGE_HCFALSE_CE010_GlobalSpectralBalancing*, 2026-09-16.

---

## Canonical Source Declaration

本檔案為 Hodge GMSC 分支第一篇正式 UTF-8 Markdown canonical source。

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

本輪沒有宣稱已計算完整 Hodge theory graph，也沒有宣稱找到 universal Hodge conjecture 的 singleton min-cut。

本輪的正式 closure 是 domain-relative：

$$
\boxed{
\text{very-general Weil sixfold all-powers target}
}
$$

可被壓成一個 target-equivalent Weil primitive legality SCC；

而 semiregularity、Rank-$20$、Gluing Compensation、Diagonal Framing 等目前皆應降級為 route-only gates。