# HODGE_MLRSC_R024_C_ProjectorBarrierHierarchy
## ——Projector Barrier Hierarchy：ARG-Action、Standard-Conjecture Projectors、Tannakian Splittings 與 Arity-Doubling

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

---

## Round Metadata

**Round:** R024  
**Phase:** C / Scale–Category Coupling  
**Primary Claim:** Hodge projector barriers可依 projector 的來源與所需 algebraic certificate精確分層。對任意 $Y=X^r$ 上的 rational Hodge idempotent $e$，其 canonical correspondence class位於
$$
H^{2\dim Y}(Y\times Y,\mathbb Q)
\cap
H^{\dim Y,\dim Y},
$$
故 Hodge conjecture on $Y\times Y=X^{2r}$ in middle codimension是 general-purpose ARG sufficient condition；這產生 intrinsic projector arity-doubling $r\mapsto2r$。特殊 projector可較早 closure：已知 algebraic correspondences生成的 idempotents無條件 ARG-pass；finite algebraic group actions的 rational group-algebra idempotents亦然；Lefschetz standard conjecture $B(Y)$ 在 characteristic zero下 algebraizes inverse Lefschetz並 implies algebraic Künneth projectors，因而 algebraizes the Lefschetz/primitive projector algebra。另一方面，abstract Mumford–Tate/isotypic與 Tannakian projectors雖因 semisimplicity存在為 Hodge idempotents，仍需 ARG。さらに，MLRSC 必須區分「algebraic correspondence inducing an idempotent action on cohomology」與「Chow-idempotent correspondence」；目前 Hodge-existence legality只需要前者。  
**Status:** PROVED  
**Depends On:** R003、R006、R010、R021、R023、Kleiman standard conjectures、Hard Lefschetz $\mathfrak{sl}_2$ formalism、semisimplicity of polarizable Hodge structures、Buskin/Markman special operator algebraicity  
**Supersedes:** R023 Sections 44–45 的無條件 `$\tau_{\mathrm{TL}}=\tau_{\mathrm{HG}}$` 表述被精化：若 projector correspondences視為 pre-certified library operations，等式可保持為 library-relative statement；若計入 projector certificates自身的 self-power arity，需使用本輪的 closed-cost legality depth  
**Backtrack Target:** 無；只有若要求 Chow-motive direct summands而非 cohomological legality，才需升級 Phase-II equivalence semantics  
**Evidence Level:** E2 / exact self-product realization theorem + standard-conjecture implications + correspondence-algebra closure  
**Formalization Status:** NOT FORMALIZED  
**Computation Status:** PROJECTOR DEPENDENCY / ARITY ANALYSIS  

---

# 0. R023 將 gap 壓到 projectors

R023 的主要結論是：

$$
\boxed{
\text{Hodge Generation}
\longrightarrow
\text{Tensor Legality}
}
$$

可局部化成：

$$
\boxed{
\text{Generator Algebraicity}
+
\text{Projector ARG}.
}
$$

因此下一步不能再把所有 projectors視為同一種 object。

R024 要回答：

1. 哪些 projectors無條件 algebraic？
2. 哪些只在 standard conjectures下 algebraic？
3. 哪些只是 abstract Hodge idempotents？
4. projector certificate本身會把 self-power arity推高多少？
5. cohomological projector與 Chow projector是否是同一要求？

---

# 1. Projector carrier

令：

$$
Y
$$

為 smooth projective complex variety，

$$
d=\dim Y.
$$

固定 cohomological carrier：

$$
H^\ast(Y,\mathbb Q).
$$

一個 rational Hodge projector是：

$$
\boxed{
e\in
\operatorname{End}_{\mathrm{HS}}
H^\ast(Y,\mathbb Q)
}
$$

滿足：

$$
\boxed{
e^2=e.
}
$$

它可只作用在一個 degree，

也可作用在 total graded cohomology。

---

# 2. Hodge projector existence

polarizable rational Hodge structures形成 semisimple category。

因此若：

$$
H^\ast(Y)
=
U\oplus U'
$$

為 rational Hodge substructures的 direct sum，

存在 Hodge morphism：

$$
\boxed{
e_U:
H^\ast(Y)
\to
H^\ast(Y)
}
$$

with：

$$
e_U^2=e_U,
$$

$$
\operatorname{Im}e_U=U.
$$

所以 Hodge-side projector existence通常比 algebraicity容易得多。

---

# 3. ARG-realized projector action

R010 的 ARG只要求：

存在：

$$
\Gamma_e
\in
CH^d(Y\times Y)_{\mathbb Q}
$$

使：

$$
\boxed{
(\Gamma_e)_\ast^H
=
e
}
$$

on the specified cohomological carrier。

R024 稱此狀態：

$$
\boxed{
\mathrm{ALG\_ACTION}(e).
}
$$

---

# 4. Chow-idempotent projector

更強的要求是：

$$
\boxed{
\Gamma_e\circ\Gamma_e
=
\Gamma_e
}
$$

在：

$$
CH^d(Y\times Y)_{\mathbb Q}
$$

modulo rational equivalence中成立。

此時：

$$
\Gamma_e
$$

是 Chow-correspondence ring中的真 idempotent，

可在 pseudoabelian Chow-motive category中切出 direct summand。

記：

$$
\boxed{
\mathrm{CHOW\_IDEMPOTENT}(e).
}
$$

---

# 5. Projector Semantics Separation

必有：

$$
\boxed{
\mathrm{CHOW\_IDEMPOTENT}
\Longrightarrow
\mathrm{ALG\_ACTION}.
}
$$

反方向一般不能無條件推。

因若：

$$
(\Gamma_e)_\ast^H=e
$$

且：

$$
e^2=e,
$$

只得到：

$$
\left(
\Gamma_e\circ\Gamma_e-\Gamma_e
\right)_\ast^H
=
0.
$$

即差值 homologically trivial。

這不表示：

$$
\Gamma_e\circ\Gamma_e-\Gamma_e
=
0
$$

in Chow。

---

# 6. Current MLRSC semantics

目前 Hodge conjecture legality只問：

$$
\boxed{
\text{cohomology class / operator是否有 algebraic cycle preimage}.
}
$$

所以 projector operation只需要：

$$
\boxed{
\mathrm{ALG\_ACTION}.
}
$$

不需要：

$$
\boxed{
\mathrm{CHOW\_IDEMPOTENT}.
}
$$

若 future program要求：

- Chow motive decomposition；
- Murre decomposition；
- rational-equivalence-level direct summands；

才必須升級到後者。

---

# 7. Terminology correction

因此從 R024 起：

### Hodge projector

只指：

$$
e^2=e
$$

in Hodge endomorphisms。

### ARG projector

指：

$$
\mathrm{ALG\_ACTION}(e).
$$

### Chow projector

指：

$$
\mathrm{CHOW\_IDEMPOTENT}(e).
$$

不得再把三者混稱「algebraic projector」。

---

# 8. Known algebraic correspondence algebra

令：

$$
\mathscr A_{\mathrm{cert}}(Y)
\subseteq
\operatorname{End}_{\mathrm{HS}}
H^\ast(Y)
$$

為已由 explicit / theorem-certified algebraic correspondences實現的 operators所生成的：

$$
\mathbb Q
$$

-algebra。

生成 operations包括：

- rational linear combinations；
- correspondence composition；
- identity；
- transpose where typed。

---

# 9. Algebraic Projector Closure Theorem

## 定理 9.1

若：

$$
e\in
\mathscr A_{\mathrm{cert}}(Y)
$$

且：

$$
e^2=e
$$

on cohomology，

則：

$$
\boxed{
\mathrm{ALG\_ACTION}(e).
}
$$

### 證明

由：

$$
e\in\mathscr A_{\mathrm{cert}},
$$

可寫：

$$
e
$$

為 finite rational combination與 composition of ARG-passed algebraic correspondences。

R010 correspondence calculus對這些 operations閉合。

所以存在 algebraic correspondence：

$$
\Gamma_e
$$

whose cohomological action equals：

$$
e.
$$

證畢。

---

# 10. 這個 theorem 不保證 Chow idempotence

Theorem 9.1 構造的：

$$
\Gamma_e
$$

在 cohomology上 idempotent。

但未必：

$$
\Gamma_e^2=\Gamma_e
$$

in Chow。

所以本 theorem只屬：

$$
\boxed{
\mathrm{ALG\_ACTION}
}
$$

level。

---

# 11. Algebraic automorphism graphs

若：

$$
f:Y\to Y
$$

為 algebraic automorphism，

其 graph：

$$
\Gamma_f
$$

為 algebraic correspondence。

因此：

$$
f^\ast
$$

或相應 push-pull action是：

$$
\mathscr A_{\mathrm{cert}}
$$

中的 operator。

---

# 12. Finite group idempotents

假設 finite group：

$$
G
$$

以 algebraic automorphisms作用於：

$$
Y.
$$

任取 rational group algebra：

$$
\mathbb Q[G]
$$

中的 idempotent：

$$
e
=
\sum_{g\in G}
a_g g,
\qquad
e^2=e.
$$

定義：

$$
\boxed{
\Pi_e
=
\sum_{g\in G}
a_g[\Gamma_g].
}
$$

則：

$$
\Pi_e
$$

是 algebraic correspondence，

且其 cohomological action就是：

$$
e.
$$

所以：

## Corollary 12.1

$$
\boxed{
\text{finite algebraic symmetry projectors are unconditional ARG projectors}.
}
$$

---

# 13. Character/isotypic projectors from algebraic symmetry

若：

$$
e_\chi
\in
\mathbb Q[G]
$$

為某 rational isotypic central idempotent，

則：

$$
\Pi_{e_\chi}
$$

給對應 cohomological isotypic projector。

因此：

$$
\boxed{
\text{isotypic projector}
}
$$

不能只按名稱判斷難度。

若其 symmetry來源是 algebraic：

$$
\boxed{
\text{Level-0 safe}.
}
$$

---

# 14. The source-of-projector principle

同一 abstract Hodge decomposition：

$$
H^\ast(Y)=U\oplus U'
$$

可能有兩種完全不同來源。

### Geometric source

$U$ 是已知 algebraic group action / explicit correspondence algebra的 isotypic summand。

projector可由 Section 9–13構造。

### Pure Hodge source

$U$ 只知為 Mumford–Tate / Hodge subrepresentation。

projector存在，

但 ARG status未決。

因此：

$$
\boxed{
\text{projector legality depends on provenance,
not merely on the target subspace}.
}
$$

---

# 15. Künneth projectors

cohomological Künneth projectors：

$$
\pi_k^H:
H^\ast(Y)
\to
H^k(Y)
$$

是 rational Hodge idempotents。

其 ARG realization等價於：

$$
\boxed{
\text{Standard Conjecture C / Künneth algebraicity at cohomology level}.
}
$$

注意本輪只要求 correspondence induces：

$$
\pi_k^H
$$

on cohomology，

不是 Murre-style Chow-idempotent decomposition。

---

# 16. Chow–Künneth is stronger

一個 Chow–Künneth decomposition要求 cycles：

$$
\Pi_0,\ldots,\Pi_{2d}
\in
CH^d(Y\times Y)_{\mathbb Q}
$$

滿足：

$$
\Pi_i\circ\Pi_i=\Pi_i,
$$

$$
\Pi_i\circ\Pi_j=0
\quad
i\neq j,
$$

$$
\sum_i\Pi_i=\Delta_Y
$$

in Chow，

且 realize：

$$
\pi_i^H.
$$

這比 current ARG requirement更強。

存在一般 Chow–Künneth decomposition是 Murre-type motivic問題，

不應被 R024 偷渡進 current legality scope。

---

# 17. Lefschetz standard conjecture

令：

$$
L:
H^\ast(Y)\to H^{\ast+2}(Y)
$$

由 ample class作用。

Hard Lefschetz給 inverse-type lowering operator：

$$
\Lambda
$$

at cohomology level。

Standard Conjecture：

$$
\boxed{
B(Y)
}
$$

要求相應 Lefschetz inverse operator由 algebraic correspondence實現。

---

# 18. $B$ implies Künneth projectors in characteristic zero

classical standard-conjecture formalism中，

對 smooth projective varieties in characteristic zero：

$$
\boxed{
B(Y)
\Longrightarrow
C(Y).
}
$$

也就是：

> Lefschetz inverse的 algebraicity足以推出 cohomological Künneth projectors的 algebraicity。

因此：

$$
\boxed{
B(Y)
\Longrightarrow
\mathrm{ALG\_ACTION}(\pi_k^H)
}
$$

for every：

$$
k.
$$

---

# 19. Lefschetz $\mathfrak{sl}_2$ algebra

operators：

$$
L,
\Lambda,
H=[L,\Lambda]
$$

形成 Lefschetz：

$$
\mathfrak{sl}_2
$$

action。

degree projectors與 primitive decomposition projectors可由此 representation-theoretic operator algebra描述。

因此若：

$$
B(Y)
$$

成立，

則：

- $L$ algebraic；
- $\Lambda$ algebraic；
- degree/Künneth projectors algebraic；
- projectors obtained by rational expressions/polynomials in the finite Lefschetz decomposition operators are ARG-realizable。

---

# 20. Primitive projector consequence

R003 的 primitive cohomology：

$$
P^k
=
\ker
\left(
L^{d-k+1}
\right)
$$

具有 cohomological projector：

$$
\pi_{\mathrm{prim}}^k.
$$

在：

$$
B(Y)
$$

成立時，

可由 Lefschetz decomposition與：

$$
L,\Lambda
$$

構造其 projector action。

所以：

$$
\boxed{
B(Y)
\Longrightarrow
\mathrm{ALG\_ACTION}
\left(
\pi_{\mathrm{prim}}^k
\right).
}
$$

這正式回收 R010 的 primitive-projector trap。

---

# 21. Lefschetz Projector Algebra

在：

$$
B(Y)
$$

條件下，定義：

$$
\boxed{
\mathscr A_{\mathrm{Lef}}(Y)
}
$$

為由：

- identity；
- $L$；
- $\Lambda$；
- cohomological degree projectors；

生成的 rational operator algebra。

則：

$$
\boxed{
\mathscr A_{\mathrm{Lef}}(Y)
\subseteq
\mathcal E_{\mathrm{alg}}(Y)
}
$$

在 ARG-action semantics中。

---

# 22. $B(Y)$ 不等於所有 Hodge projectors algebraic

Standard Conjecture：

$$
B(Y)
$$

控制 Lefschetz inverse及其生成的 operator algebra。

它不直接宣稱：

$$
\boxed{
\operatorname{End}_{\mathrm{HS}}
H^\ast(Y)
=
\operatorname{End}_{\mathrm{alg}}
H^\ast(Y).
}
$$

所以 arbitrary Mumford–Tate isotypic projector不能只因：

$$
B(Y)
$$

成立就自動標為 ARG-pass。

---

# 23. General Hodge projector class

取任意 rational Hodge idempotent：

$$
e:
H^k(Y)\to H^k(Y).
$$

由 Poincaré duality，

它對應 canonical class：

$$
\boxed{
\eta_e
\in
H^{2d-k}(Y)
\otimes
H^k(Y)
\subseteq
H^{2d}(Y\times Y).
}
$$

因：

$$
e
$$

為 Hodge morphism，

有：

$$
\boxed{
\eta_e
\in
H^{2d}(Y\times Y,\mathbb Q)
\cap
H^{d,d}(Y\times Y).
}
$$

---

# 24. General Projector Algebraization Theorem

## 定理 24.1

若 rational Hodge conjecture對：

$$
Y\times Y
$$

的 codimension：

$$
d
$$

成立，

則每個 rational Hodge projector：

$$
e
$$

on any：

$$
H^k(Y)
$$

通過 ARG。

### 證明

由 Section 23，

$$
\eta_e
$$

為 rational：

$$
(d,d)
$$

Hodge class。

Hodge conjecture給：

$$
\Gamma_e
\in
CH^d(Y\times Y)_{\mathbb Q}
$$

with：

$$
[\Gamma_e]=\eta_e.
$$

其 cohomological action on：

$$
H^k(Y)
$$

為：

$$
e.
$$

證畢。

---

# 25. Tensor-power arity doubling

現在令：

$$
Y=X^r,
$$

則：

$$
d=nr
$$

且：

$$
Y\times Y
=
X^{2r}.
$$

因此 arbitrary Hodge projector on：

$$
X^r
$$

的 general-purpose algebraization sufficient condition是：

$$
\boxed{
\operatorname{HC}
\left(
X^{2r},
nr
\right).
}
$$

這就是：

$$
\boxed{
r
\longmapsto
2r
}
$$

的 Projector Arity Doubling。

---

# 26. Arity-Doubling Theorem

## 定理 26.1

對任意 Hodge projector：

$$
e
$$

acting on cohomology of：

$$
X^r,
$$

其 ARG certificate可一般性地視為：

$$
X^{2r}
$$

上的 codimension：

$$
nr
$$

cycle certificate。

因此：

$$
\boxed{
\text{projector extraction at carrier arity }r
}
$$

可將 legality certificate arity提升至：

$$
\boxed{
2r.
}
$$

這不表示 lower-arity special construction不存在。

它給的是 universal self-product upper carrier。

---

# 27. 為何這是 Phase-III coupling

Hodge category中 projector：

$$
e
$$

只是：

$$
X^r
$$

上的一個 endomorphism。

但 Legality side要實現它，

必須把：

$$
X^r
$$

擴張成：

$$
X^r\times X^r.
$$

所以：

$$
\boxed{
\text{category operation}
\Rightarrow
\text{geometric scale doubling}.
}
$$

這是非常純的：

$$
\boxed{
\text{Scale–Category Coupling}.
}
$$

---

# 28. Projector certification libraries

R024 定義 nested research libraries。

---

## $\mathfrak P_0$

已由 explicit construction或 specialized theorem證明 ARG-pass的 projectors。

包括：

- graphs / finite algebraic group idempotents；
- explicit Chow/Künneth projectors in known cases；
- projectors lying in a certified correspondence algebra；
- specialized Buskin/Markman-type operator certificates when they actually produce the required action。

---

## $\mathfrak P_1$

加入：

$$
B(Y)
$$

package後可證的 projectors。

包括：

- inverse Lefschetz-derived；
- Künneth projectors；
- primitive/Lefschetz decomposition projectors。

---

## $\mathfrak P_2$

加入：

$$
\operatorname{HC}(Y\times Y,d)
$$

後的全部 rational Hodge projectors。

所以：

$$
\boxed{
\mathfrak P_0
\subseteq
\mathfrak P_1
\subseteq
\mathfrak P_2
}
$$

是 proof-library enlargement。

---

# 29. Library-Relative Projector Barrier Depth

對 projector：

$$
e,
$$

定義：

$$
\boxed{
\operatorname{pbd}(e)
=
\min
\left\{
j:
e
\text{ is certified in }
\mathfrak P_j
\right\}.
}
$$

若 current theorem library下仍未 certified，

標：

$$
\boxed{
\operatorname{pbd}(e)=U.
}
$$

這不是 intrinsic mathematical invariant。

它是：

$$
\boxed{
\text{proof-library-relative coupling depth}.
}
$$

---

# 30. Derivation-level Projector Barrier Depth

對 R023 derivation tree：

$$
\mathsf{HDer},
$$

projector nodes為：

$$
e_1,\ldots,e_m.
$$

定義：

$$
\boxed{
\operatorname{PBD}
(\mathsf{HDer})
=
\max_i
\operatorname{pbd}(e_i).
}
$$

若沒有 projector nodes，

設：

$$
\boxed{
\operatorname{PBD}=0.
}
$$

---

# 31. General Mumford–Tate isotypic projectors

因：

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

reductive，

representation：

$$
W
$$

可 semisimply decomposed。

對 rational isotypic summands存在 Hodge projectors：

$$
e_\lambda.
$$

但若：

$$
e_\lambda
$$

只來自 abstract：

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

representation theory，

沒有已知 algebraic symmetry provenance，

則：

$$
\boxed{
e_\lambda
\text{ is Hodge-only until ARG is supplied}.
}
$$

一般 sufficient condition：

$$
\operatorname{HC}(Y\times Y,\dim Y).
$$

---

# 32. Isotypic projector warning

因此不能使用：

$$
\boxed{
\text{reductive}
\Rightarrow
\text{algebraic isotypic projector}.
}
$$

正確 implication只有：

$$
\boxed{
\text{reductive}
\Rightarrow
\text{Hodge-equivariant projector exists}.
}
$$

Legality仍需：

$$
\boxed{
\mathrm{ARG}.
}
$$

---

# 33. Isometry-generated projector subalgebra

Buskin、Markman 類 theorem可證特定 Hodge isometries：

$$
u_1,\ldots,u_s
$$

由 algebraic correspondences實現。

因此任何 idempotent：

$$
e
$$

若落在：

$$
\mathbb Q
\langle
u_1,\ldots,u_s
\rangle
$$

中，

由 Theorem 9.1自動 ARG-pass。

所以 specialized operator algebraicity theorem可經 algebra closure產生更多 projectors。

---

# 34. 但 Hodge isometries不生成所有 projectors是另一命題

即使所有 rational Hodge isometries algebraic，

仍不能無條件宣告：

$$
\boxed{
\text{every Hodge projector algebraic}.
}
$$

還需知道 relevant projector lies in the algebra generated by those certified operators，

或使用更強 self-product Hodge theorem。

---

# 35. Monodromy-isotypic projectors

polarizable variations of Hodge structure具有 semisimplicity properties。

若：

$$
\mathbb H
=
\mathbb U
\oplus
\mathbb U'
$$

為 sub-VHS decomposition，

存在 flat Hodge projector：

$$
\boxed{
e_{\mathbb U}:
\mathbb H
\to
\mathbb H.
}
$$

fiber at：

$$
s
$$

給：

$$
e_{\mathbb U,s}
\in
\operatorname{End}_{\mathrm{HS}}H^\ast(X_s).
$$

---

# 36. Fiberwise vs relative projector ARG

即使每個 fiber projector：

$$
e_{\mathbb U,s}
$$

ARG-realizable，

family-level stronger question是：

> 是否存在 relative algebraic correspondence：

$$
\Gamma
\subset
\mathcal X\times_S\mathcal X
$$

uniformly inducing：

$$
e_{\mathbb U}
$$

？

這是：

$$
\boxed{
\text{Relative Projector ARG}.
}
$$

它比 single-fiber ARG強。

R014 的 relative-cycle carrier可表述此問題，

所以不構成新 carrier缺失。

---

# 37. Motivated projector warning

André motivated-cycle formalism透過擴大 morphism class，

使 Lefschetz-type inverse與 semisimple Tannakian splittings能在 motivated category中處理。

但：

$$
\boxed{
\text{motivated projector}
\not\Rightarrow
\text{algebraic cycle projector}
}
$$

在未有額外 standard/Hodge-type theorem時。

所以 motivated status可以作：

$$
\boxed{
\text{intermediate certificate tag},
}
$$

不能直接標：

$$
\mathrm{ARG\_PASS}.
$$

---

# 38. Known positive regimes：curves and surfaces

classical standard-conjecture results給：

$$
B(Y)
$$

對 curves與 surfaces成立。

因此：

- Lefschetz inverse；
- Künneth projector actions；
- primitive/Lefschetz projectors；

在這些 dimensions通過 ARG。

這不等於所有 Chow-idempotent refinements自動完成。

---

# 39. Abelian varieties

Lefschetz standard conjecture：

$$
B(A)
$$

對 abelian varieties已知。

因此 Lefschetz/Künneth projector actions ARG-pass。

此外 Deninger–Murre 等工作對 abelian schemes/varieties構造更強的 Chow–Künneth projectors。

所以 abelian varieties是：

$$
\boxed{
\text{projector hierarchy大量 collapse}
}
$$

的重要 control regime。

---

# 40. K3 surfaces

projective K3 surface：

$$
X
$$

已有 explicit cohomological degree projectors：

$$
\pi_0,
\pi_2,
\pi_4
$$

由 point與 diagonal構造。

又因 surfaces滿足：

$$
B(X),
$$

Lefschetz/primitive projectors亦 algebraic。

對更多 Hodge-operator projectors，

Buskin類 theorem可解 Hodge-isometry-generated sectors，

但 arbitrary Hodge projector仍須逐 provenance / ARG分析。

---

# 41. Cubic fourfolds

smooth cubic fourfold的 ordinary class-level middle Hodge conjecture成立。

但 arbitrary projector on：

$$
H^4(X)
$$

的一般 self-product certificate生活在：

$$
X\times X
$$

的 codimension：

$$
4.
$$

所以：

$$
\boxed{
\operatorname{HC}(X,2)
}
$$

不自動：

$$
\boxed{
\text{all }H^4\text{ Hodge projectors ARG-pass}.
}
$$

這再次呈現 R020 Self-Product Barrier。

---

# 42. Library-relative tensor legality depth

R023 的：

$$
\tau_{\mathrm{TL}}
$$

若把「already-certified algebraic correspondence」視為 free operation，

實際上是：

$$
\boxed{
\tau_{\mathrm{TL}}^{\mathrm{lib}}.
}
$$

它量：

> 在一個既定 correspondence library下，Hodge generators需要多高 arity？

---

# 43. Closed-cost tensor legality depth

R024 定義 stronger measure：

$$
\boxed{
\tau_{\mathrm{TL}}^{\mathrm{closed}}(X)
}
$$

其中除了 generator Hodge cycles，

所有使用到的 projector / correspondence certificates本身也必須計入 self-power arity成本。

所以：

$$
\boxed{
\tau_{\mathrm{TL}}^{\mathrm{lib}}
\le
\tau_{\mathrm{TL}}^{\mathrm{closed}}.
}
$$

---

# 44. Projector-free certificate cost

若一個 finite Hodge generation certificate：

$$
\mathsf{HGCert}
$$

最大 generator arity：

$$
N
$$

且完全 projector-free，

所有 generators algebraic，

則：

$$
\boxed{
\tau_{\mathrm{TL}}^{\mathrm{closed}}
\le
N.
}
$$

這回收 R023 projector-free collapse。

---

# 45. Projector-mediated certificate cost

現在假設：

- Hodge generators arity：
  $$
  \le N;
  $$
- 每個 projector node作用在：
  $$
  X^{r_i},
  \quad
  r_i\le N;
  $$
- generators algebraic；
- 每個 projector通過 ARG。

每個：

$$
e_i
$$

可由：

$$
X^{r_i}\times X^{r_i}
=
X^{2r_i}
$$

上的 algebraic correspondence certificate實現。

所以所有 projector certificates arity：

$$
\le2N.
$$

---

# 46. Closed-Cost Arity Bound Theorem

## 定理 46.1

在 Section 45 assumptions下：

$$
\boxed{
\tau_{\mathrm{TL}}^{\mathrm{closed}}(X)
\le
2N.
}
$$

若 certificate projector-free，

bound improves to：

$$
\boxed{
\tau_{\mathrm{TL}}^{\mathrm{closed}}
\le
N.
}
$$

### 證明

所有 generator witnesses位於 powers：

$$
X^r,
\quad
r\le N.
$$

所有 projector correspondence witnesses位於：

$$
X^{2r_i},
\quad
2r_i\le2N.
$$

R010 tensor/correspondence legality operations不增加 source certificate的最大 primitive carrier arity beyond using these finite seeds and typed operations。

故 closed generating library最大 primitive arity不超：

$$
2N.
$$

證畢。

---

# 47. R023 equality 的精確修正

R023 曾寫：

$$
\boxed{
\tau_{\mathrm{TL}}
=
\tau_{\mathrm{HG}}
}
$$

若 minimal Hodge generators algebraic且 projectors ARG-pass。

R024 現在精化：

### Library-relative reading

若 ARG-passed projectors已視為 free library operations，

則：

$$
\boxed{
\tau_{\mathrm{TL}}^{\mathrm{lib}}
=
\tau_{\mathrm{HG}}
}
$$

可保持。

### Closed-cost reading

若 projector correspondence certificates的 actual arity也計費，

一般只能無條件得到：

$$
\boxed{
\tau_{\mathrm{TL}}^{\mathrm{closed}}
\le
2\tau_{\mathrm{HG}}
}
$$

在所有 projectors作用於 arity不超過 minimal HG depth的情形。

不主張 factor：

$$
2
$$

必為 sharp。

---

# 48. Projector Escalation Profile

對 derivation certificate：

$$
\mathsf{HDer},
$$

定義：

$$
\boxed{
\mathrm{PEP}
(\mathsf{HDer})
=
\left[
N_G;
\{r_i,\operatorname{pbd}(e_i)\}_{i=1}^m;
N_{\mathrm{closed}}
\right].
}
$$

其中：

- $N_G$：Hodge generator max arity；
- $r_i$：projector carrier arity；
- $\operatorname{pbd}(e_i)$：proof-library depth；
- $N_{\mathrm{closed}}$：closed legality certificate max arity。

---

# 49. Projector Barrier Matrix

R024 建議將 projector 同時按兩軸分類。

### Proof axis

$$
\boxed{
\text{P0 direct}
\to
\text{P1 standard-B}
\to
\text{P2 self-product-Hodge}
}
$$

### Carrier axis

$$
\boxed{
r
\to
2r.
}
$$

所以同一 projector可能：

- proof depth很低；
- 但 witness carrier arity仍高。

兩者不可混成一個 scalar。

---

# 50. Projector Barrier Depth 不是唯一 complexity

因此完整 complexity至少是 pair：

$$
\boxed{
\operatorname{PCpl}(e)
=
\left(
\operatorname{pbd}(e),
2r
\right)
}
$$

對 carrier arity：

$$
r
$$

的 Hodge projector。

若有更低-arity explicit construction，

第二 coordinate可替換為實際 certificate arity。

---

# 51. Primitive projector example

對：

$$
Y=X^r
$$

上的 primitive projector：

$$
\pi_{\mathrm{prim}},
$$

一般：

- Hodge projector exists unconditionally；
- under：
  $$
  B(Y)
  $$
  it進入：
  $$
  \mathfrak P_1;
  $$
- correspondence certificate仍位於：
  $$
  Y\times Y=X^{2r}.
  $$

所以：

$$
\boxed{
\text{proof difficulty降低
不等於 carrier arity不 doubling}.
}
$$

---

# 52. Finite-group projector example

若：

$$
G
$$

直接 algebraically acts on：

$$
Y=X^r,
$$

group idempotent projector：

$$
e
$$

在：

$$
\mathfrak P_0.
$$

certificate：

$$
\Pi_e
$$

仍是一個 cycle on：

$$
Y\times Y=X^{2r}.
$$

所以同樣：

$$
\boxed{
\text{P0 proof}
+
\text{arity }2r\text{ carrier}.
}
$$

這再次顯示 proof axis與 scale axis獨立。

---

# 53. Chow-idempotent escalation is another category

若 future terminal semantics要求：

$$
\Gamma_e^2=\Gamma_e
$$

in Chow，

則即使：

$$
\mathrm{ALG\_ACTION}(e)
$$

已完成，

仍可能需要：

- nilpotence theorems；
- finite-dimensional motives；
- explicit Chow–Künneth constructions；
- rational-equivalence control。

這不是 current projector ARG residual。

R024 將它標為：

$$
\boxed{
\text{Motive-Level Projector Barrier}.
}
$$

---

# 54. Three projector semantic levels

因此 projector hierarchy還有另一條語義軸：

$$
\boxed{
\text{HODGE}
\to
\text{ARG-ACTION}
\to
\text{CHOW-IDEMPOTENT}.
}
$$

目前 Phase III只在：

$$
\boxed{
\text{HODGE}
\to
\text{ARG-ACTION}
}
$$

之間研究。

---

# 55. Tannakian projector barrier v2

R023 的 Tannakian Projector Barrier現在精確化為：

給 Hodge decomposition projector：

$$
e
$$

先問：

### Q1 Provenance

是否落在：

$$
\mathscr A_{\mathrm{cert}}?
$$

若是，

P0。

### Q2 Lefschetz reduction

是否落在 Lefschetz projector algebra，

且：

$$
B(Y)
$$

可用？

若是，

P1。

### Q3 General self-product

若都否，

是否可由：

$$
\operatorname{HC}(Y\times Y,d)
$$

取得？

這是 P2 universal route。

---

# 56. Backtracking rule

若某 projector：

$$
e
$$

在 P2 都無法表述，

才表示 current Hodge/correspondence carrier缺失。

但對任意 rational Hodge projector：

Section 24 已給 P2 route。

所以：

$$
\boxed{
\text{projector carrier closure passed}.
}
$$

未知的是對應 conjectures / ARG propositions。

---

# 57. No Phase-I/II Backtrack

本輪新增：

- projector provenance；
- proof-library depth；
- arity doubling；
- semantic level。

全部都可由現有：

- Hodge tensor carrier；
- correspondence ARG；
- self-product carrier；

表示。

所以：

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

---

# 58. R024 Status

本輪已證／固定：

1. Hodge projector / ARG projector / Chow projector三層語義；
2. current MLRSC只需要 ARG-action；
3. algebraic correspondence algebra中的 idempotents自動 ARG-pass；
4. finite algebraic group idempotent projectors無條件 ARG-pass；
5. projector provenance principle；
6. Künneth projector為 standard-C operator；
7. $B(Y)$ 在 characteristic zero下 implies Künneth algebraicity；
8. $B(Y)$ algebraizes Lefschetz/primitive projector algebra；
9. $B(Y)$ 不等於 arbitrary Hodge projector algebraicity；
10. arbitrary Hodge projector由 self-product middle Hodge class表示；
11. $\operatorname{HC}(Y\times Y,d)$ implies every Hodge projector ARG-pass；
12. 對 $Y=X^r$ 得 projector arity doubling：
    $$
    r\to2r;
    $$
13. 定義 projector certification libraries：
    $$
    \mathfrak P_0
    \subseteq
    \mathfrak P_1
    \subseteq
    \mathfrak P_2;
    $$
14. 定義 library-relative：
    $$
    \operatorname{pbd}(e);
    $$
15. abstract Mumford–Tate isotypic projectors仍需 ARG；
16. specialized Hodge-isometry theorems只解其生成的 operator algebra；
17. fiberwise projector ARG與 relative projector ARG分離；
18. motivated projector不能直接升為 algebraic projector；
19. 定義：
    $$
    \tau_{\mathrm{TL}}^{\mathrm{lib}}
    \le
    \tau_{\mathrm{TL}}^{\mathrm{closed}};
    $$
20. projector-mediated certificate closed-cost bound：
    $$
    \tau_{\mathrm{TL}}^{\mathrm{closed}}
    \le
    2N;
    $$
21. projector-free bound：
    $$
    \tau_{\mathrm{TL}}^{\mathrm{closed}}
    \le
    N;
    $$
22. R023 minimal-depth equality修正為 library-relative statement；
23. proof difficulty與 carrier arity是兩條不同 axes；
24. 定義 Projector Escalation Profile；
25. 定義 Motive-Level Projector Barrier但不納入 current scope。

因此：

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

只指 R024 Primary Claim。

---

# 59. Next Interface

下一輪建議：

```text
HODGE_MLRSC_R025_C_ProjectorCompressionAudit.md
```

現在最值得測的是：

> projector doubling是否會在 tensor-power hierarchy中造成無限 escalation？

最低問題：

1. Hodge generation arity：
   $$
   N
   $$
   的 projectors是否一定只作用於：
   $$
   \le N
   $$
   carrier；
2. legalization到：
   $$
   2N
   $$
   後，新的 projectors是否又需要：
   $$
   4N;
   $$
3. 這會不會形成：
   $$
   N\to2N\to4N\to\cdots
   $$
   的 runaway；
4. 還是 R024 projector certificates只作 operations，不需要再對它們自身做 projector extraction；
5. 能否證明 projector legalization depth在一層 self-product後 closure；
6. standard $B$、Künneth projectors、classical invariant theory能否避免 doubling chain；
7. 若不會 runaway，建立：
   $$
   \text{One-Doubling Closure Theorem};
   $$
8. 若會，這就是 Phase III 第一個真正 unbounded scale-category feedback loop。

---

# 60. 本輪基本摘要

R023 發現：

$$
\boxed{
\text{Hodge generation}
\to
\text{legal generation}
}
$$

真正卡在 projector ARG。

R024 現在把 projector完全分層。

最安全的是：

$$
\boxed{
\text{projector already lies in a certified algebraic correspondence algebra}.
}
$$

例如 finite algebraic symmetry的 group-algebra idempotents。

再來是：

$$
\boxed{
B(Y)
}
$$

控制的 Lefschetz / Künneth / primitive projectors。

最 general 的 route則是：

$$
\boxed{
\operatorname{HC}(Y\times Y,\dim Y).
}
$$

因任何 Hodge projector都是：

$$
Y\times Y
$$

middle Hodge class。

所以若：

$$
Y=X^r,
$$

projector legality天然出現：

$$
\boxed{
r\to2r.
}
$$

但還要特別記住：

$$
\boxed{
\text{ARG projector}
\neq
\text{Chow-idempotent projector}.
}
$$

目前 Hodge conjecture研究只需要前者。

最後，R023 的 tensor legality depth被精化成：

$$
\boxed{
\tau_{\mathrm{TL}}^{\mathrm{lib}}
\le
\tau_{\mathrm{TL}}^{\mathrm{closed}}.
}
$$

如果 projectors當免費已認證 operations，

可以沿用 R023 的 low depth。

如果所有 correspondence certificates都計入 arity成本，

projector-mediated generation一般得到：

$$
\boxed{
\tau_{\mathrm{TL}}^{\mathrm{closed}}
\le
2\tau_{\mathrm{HG}}
}
$$

作為一個 conditional upper bound。

下一輪就要檢查這個 doubling到底只發生一次，

還是可能形成：

$$
N\to2N\to4N\to\cdots
$$

的 feedback loop。

---

# 參考文獻

1. S. L. Kleiman, *The Standard Conjectures*, in *Motives*, Proc. Sympos. Pure Math. 55 (1994), 3–20. Standard conjectures $B$、Künneth projectors及其 implications。

2. J. P. Murre and subsequent Chow–Künneth literature. Chow-idempotent decompositions are stronger than mere cohomological Künneth algebraicity.

3. L. Fu, *Decomposition of small diagonals and Chow rings of hypersurfaces and Calabi–Yau complete intersections* / thesis background on Lefschetz standard conjecture; standard $B$ implies Künneth standard conjecture.

4. A. J. Scholl / J. Riou, expositions on pure motives and motivated cycles. In André's motivated category Lefschetz inverses are built into the morphism class; motivated does not mean algebraic without further conjectures.

5. C. Deninger, J. Murre, work on motivic decompositions of abelian schemes; abelian varieties admit strong Chow–Künneth decompositions.

6. N. Buskin, *Every rational Hodge isometry between two K3 surfaces is algebraic*, Journal für die reine und angewandte Mathematik 755 (2019), 127–150.

7. E. Markman, *Rational Hodge isometries of hyper-Kähler varieties of K3[n]-type are algebraic*.  
   https://arxiv.org/abs/2204.00516

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

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

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

---

## Canonical Source Declaration

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

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

聊天畫面不是本輪 canonical source。