# HODGE_MLRSC_R021_C_SelfProductBarrier
## ——Self-Product Escalation 的精確分解：Degreewise Operator Defect、Künneth Coordination Defect 與 Tensor-Length-2 Legality

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

---

## Round Metadata

**Round:** R021  
**Phase:** C / Scale–Category Coupling  
**Primary Claim:** 對 smooth projective complex $n$-fold $X$，codimension-$n$ Hodge conjecture on $X\times X$ 可精確重寫為一個 joint operator-realization problem。經 Künneth decomposition與 Poincaré duality，
$$
V_{X\times X}^{n}
\cong
\bigoplus_{k=0}^{2n}
\operatorname{End}_{\mathrm{HS}}
H^k(X,\mathbb Q).
$$
令 $\mathcal J_{\mathrm{alg}}$ 為 codimension-$n$ algebraic correspondences在所有 degrees上的 joint operator image，並令 $\mathcal U_{\mathrm{alg}}=\bigoplus_k\mathcal E_{\mathrm{alg}}^k$ 為逐 degree operator images的直和。則
$$
\mathcal J_{\mathrm{alg}}
\subseteq
\mathcal U_{\mathrm{alg}}
\subseteq
\bigoplus_k\mathcal E_{\mathrm H}^k
$$
誘導短正合列，使 self-product Hodge residual精確分解成
$$
\delta_{\mathrm{SP}}
=
\delta_{\mathrm{coord}}
+
\sum_k\delta_{\mathrm{op}}^k.
$$
其中 $\delta_{\mathrm{coord}}=0$ 若且唯若全部 cohomological Künneth projectors可由 algebraic correspondences實現。故 self-product barrier包含兩種不同升階：individual Hodge operators未 algebraic，以及即使每 degree individually algebraic，仍缺乏跨 degree independent coordination。這是 R005 tensor surprise在 Phase III 的精確 tensor-length-2 legality形式。  
**Status:** PROVED  
**Depends On:** R005、R006、R010、R020、Künneth theorem、Poincaré duality、algebraic correspondences、Künneth projectors  
**Supersedes:** R020 的 Self-Product Barrier被精化為 `operator residual + coordination residual` 兩部分  
**Backtrack Target:** 無；若進入 $X^r$、$r>2$，需擴充為 tensor-power legality，而非回退 Measure/Legality  
**Evidence Level:** E2 / exact linear-algebra decomposition + correspondence calculus  
**Formalization Status:** NOT FORMALIZED  
**Computation Status:** FINITE-DIMENSIONAL JOINT-OPERATOR ANALYSIS  

---

# 0. R020 的 barrier 還不夠精確

R020 發現：

$$
\boxed{
\text{class algebraicity on }X
\not\Rightarrow
\text{operator algebraicity on }H^k(X).
}
$$

並指出 operator legality自然把問題升到：

$$
X\times X.
$$

但還有一個更細問題：

> 若每個 degree 的 Hodge operator individually 都能由某 algebraic correspondence實現，是否已足以推出 codimension-$n$ Hodge conjecture on $X\times X$？

答案是：

$$
\boxed{
\text{一般仍需要一個跨 degree coordination condition}.
}
$$

R021 把這個差異精確拆出。

---

# 1. Setup

令：

$$
X
$$

為 smooth projective complex variety，

$$
n=\dim X.
$$

對每個：

$$
k=0,\ldots,2n,
$$

記：

$$
H_k
=
H^k(X,\mathbb Q).
$$

定義：

$$
\boxed{
\mathcal E_{\mathrm H}^k
=
\operatorname{End}_{\mathrm{HS}}(H_k).
}
$$

以及 R020 的：

$$
\boxed{
\mathcal E_{\mathrm{alg}}^k
=
\operatorname{Im}
\left(
CH^n(X\times X)_{\mathbb Q}
\to
\operatorname{End}H_k
\right).
}
$$

---

# 2. Middle cohomology of the self-product

Künneth theorem給：

$$
H^{2n}(X\times X,\mathbb Q)
=
\bigoplus_{k=0}^{2n}
H^{2n-k}(X,\mathbb Q)
\otimes
H^k(X,\mathbb Q).
$$

Poincaré duality給：

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

因此：

$$
\boxed{
H^{2n}(X\times X,\mathbb Q)(n)
\cong
\bigoplus_{k=0}^{2n}
H_k^\vee\otimes H_k.
}
$$

---

# 3. Hodge classes are Hodge endomorphisms

在：

$$
H_k^\vee\otimes H_k
$$

中，

rational type：

$$
(0,0)
$$

tensors正是 rational Hodge endomorphisms：

$$
\operatorname{End}_{\mathrm{HS}}(H_k).
$$

所以：

## 定理 3.1

有 canonical rational vector-space isomorphism：

$$
\boxed{
V_{X\times X}^{n}
=
H^{2n}(X\times X,\mathbb Q)
\cap
H^{n,n}
\cong
\bigoplus_{k=0}^{2n}
\mathcal E_{\mathrm H}^k.
}
$$

---

# 4. Self-product candidate carrier

定義：

$$
\boxed{
\mathcal J_{\mathrm H}(X)
=
\bigoplus_{k=0}^{2n}
\mathcal E_{\mathrm H}^k.
}
$$

透過 Theorem 3.1：

$$
\boxed{
\mathcal J_{\mathrm H}(X)
\cong
V_{X\times X}^{n}.
}
$$

所以 self-product middle Hodge problem可以完全看成：

$$
\boxed{
\text{joint Hodge-operator tuple problem}.
}
$$

---

# 5. Total correspondence action

任意：

$$
\Gamma
\in
CH^n(X\times X)_{\mathbb Q}
$$

同時作用於所有：

$$
H^k(X).
$$

定義 total action map：

$$
\boxed{
\Psi_X:
CH^n(X\times X)_{\mathbb Q}
\to
\bigoplus_{k=0}^{2n}
\mathcal E_{\mathrm H}^k
}
$$

by：

$$
\Psi_X(\Gamma)
=
\left(
\Gamma_\ast|_{H^0},
\Gamma_\ast|_{H^1},
\ldots,
\Gamma_\ast|_{H^{2n}}
\right).
$$

---

# 6. Joint algebraic operator image

定義：

$$
\boxed{
\mathcal J_{\mathrm{alg}}(X)
=
\operatorname{Im}\Psi_X.
}
$$

這不是把每個 degree separately取 image後再任意拼接。

它只包含：

> 真正由同一個 algebraic correspondence同時產生的 operator tuples。

---

# 7. Degreewise algebraic envelope

對每個：

$$
k,
$$

projection：

$$
\operatorname{pr}_k:
\mathcal J_{\mathrm H}
\to
\mathcal E_{\mathrm H}^k
$$

滿足：

$$
\operatorname{pr}_k
\left(
\mathcal J_{\mathrm{alg}}
\right)
=
\mathcal E_{\mathrm{alg}}^k.
$$

定義：

$$
\boxed{
\mathcal U_{\mathrm{alg}}(X)
=
\bigoplus_{k=0}^{2n}
\mathcal E_{\mathrm{alg}}^k.
}
$$

稱：

**Degreewise Algebraic Envelope**。

---

# 8. Fundamental inclusion chain

每個 joint algebraic tuple的每一 coordinate當然 individually algebraic。

所以：

$$
\boxed{
\mathcal J_{\mathrm{alg}}
\subseteq
\mathcal U_{\mathrm{alg}}
\subseteq
\mathcal J_{\mathrm H}.
}
$$

第一個 inclusion可以嚴格：

> individually realizable operator coordinates不一定能由單一 correspondence任意獨立組合。

這是 R021 新的 coordination問題。

---

# 9. Self-Product Residual

定義：

$$
\boxed{
\mathfrak R_{\mathrm{SP}}(X)
=
\mathcal J_{\mathrm H}(X)
/
\mathcal J_{\mathrm{alg}}(X).
}
$$

以及：

$$
\boxed{
\delta_{\mathrm{SP}}(X)
=
\dim_{\mathbb Q}
\mathfrak R_{\mathrm{SP}}(X).
}
$$

由 Theorem 3.1：

$$
\boxed{
\delta_{\mathrm{SP}}=0
\iff
\operatorname{HC}(X\times X,n).
}
$$

---

# 10. Degreewise operator residuals

R020 已定義：

$$
\boxed{
\mathfrak R_{\mathrm{op}}^k
=
\mathcal E_{\mathrm H}^k
/
\mathcal E_{\mathrm{alg}}^k.
}
$$

以及：

$$
\boxed{
\delta_{\mathrm{op}}^k
=
\dim
\mathfrak R_{\mathrm{op}}^k.
}
$$

因此：

$$
\boxed{
\mathcal J_{\mathrm H}
/
\mathcal U_{\mathrm{alg}}
\cong
\bigoplus_k
\mathfrak R_{\mathrm{op}}^k.
}
$$

---

# 11. Coordination Residual

定義：

$$
\boxed{
\mathfrak R_{\mathrm{coord}}(X)
=
\mathcal U_{\mathrm{alg}}(X)
/
\mathcal J_{\mathrm{alg}}(X).
}
$$

以及：

$$
\boxed{
\delta_{\mathrm{coord}}(X)
=
\dim
\mathfrak R_{\mathrm{coord}}(X).
}
$$

它量：

> 各 degree operators individually 都有 algebraic realizations後，還有多少 freedom不能被 single algebraic correspondences自由 joint-coordinate。

---

# 12. Exact Residual Sequence

由：

$$
\mathcal J_{\mathrm{alg}}
\subseteq
\mathcal U_{\mathrm{alg}}
\subseteq
\mathcal J_{\mathrm H},
$$

有 canonical short exact sequence：

$$
\boxed{
0
\to
\mathfrak R_{\mathrm{coord}}
\to
\mathfrak R_{\mathrm{SP}}
\to
\bigoplus_k
\mathfrak R_{\mathrm{op}}^k
\to
0.
}
$$

---

# 13. Self-Product Defect Decomposition Theorem

## 定理 13.1

$$
\boxed{
\delta_{\mathrm{SP}}(X)
=
\delta_{\mathrm{coord}}(X)
+
\sum_{k=0}^{2n}
\delta_{\mathrm{op}}^k(X).
}
$$

### 證明

取 Section 12 短正合列 dimensions。

證畢。

---

# 14. 第一個重要 consequence

即使：

$$
\boxed{
\delta_{\mathrm{op}}^k=0
\quad
\forall k,
}
$$

仍然只得到：

$$
\mathcal U_{\mathrm{alg}}
=
\mathcal J_{\mathrm H}.
$$

若：

$$
\delta_{\mathrm{coord}}>0,
$$

則：

$$
\mathcal J_{\mathrm{alg}}
\subsetneq
\mathcal J_{\mathrm H}.
$$

所以：

$$
\boxed{
\text{every degreewise Hodge operator algebraic}
}
$$

仍不自動等於：

$$
\boxed{
\operatorname{HC}(X\times X,n).
}
$$

---

# 15. Abstract diagonal-subspace model

純線性代數上，

可有：

$$
W
=
\left\{
(v,v):
v\in V
\right\}
\subset
V\oplus V.
$$

兩個 coordinate projections都 surjective：

$$
\operatorname{pr}_1(W)=V,
$$

$$
\operatorname{pr}_2(W)=V,
$$

但：

$$
W\neq V\oplus V.
$$

$\mathcal J_{\mathrm{alg}}$ 與：

$$
\mathcal U_{\mathrm{alg}}
$$

的差異正是 algebraic correspondence version of this phenomenon。

R021 不主張某個 Hodge example一定實現 literal diagonal model。

---

# 16. Cohomological Künneth projectors

對每：

$$
k,
$$

cohomology有 canonical projector：

$$
\boxed{
\pi_k^H:
H^\ast(X,\mathbb Q)
\to
H^k(X,\mathbb Q)
}
$$

identity on：

$$
H^k
$$

and zero on all other degrees。

作為：

$$
H^{2n}(X\times X,\mathbb Q)
$$

class，

它是 rational：

$$
(n,n)
$$

Hodge class。

---

# 17. Algebraic Künneth projector condition

稱：

$$
\pi_k^H
$$

**algebraic**，若存在：

$$
\Pi_k
\in
CH^n(X\times X)_{\mathbb Q}
$$

使其 total action tuple為：

$$
\boxed{
(0,\ldots,0,\operatorname{id}_{H^k},0,\ldots,0).
}
$$

這就是 classical Künneth-projector algebraicity問題的 correspondence形式。

---

# 18. Künneth projectors kill coordination defect

假設所有：

$$
\Pi_k
$$

algebraic。

取任意 tuple：

$$
(f_0,\ldots,f_{2n})
\in
\mathcal U_{\mathrm{alg}}.
$$

每：

$$
f_k
\in
\mathcal E_{\mathrm{alg}}^k
$$

有某 algebraic correspondence：

$$
\Gamma_k
$$

realize it on：

$$
H^k.
$$

則：

$$
\boxed{
\widetilde\Gamma_k
=
\Pi_k\circ
\Gamma_k\circ
\Pi_k
}
$$

只在：

$$
H^k
$$

留下：

$$
f_k
$$

而其他 degrees作用為零。

有限求和：

$$
\Gamma
=
\sum_k
\widetilde\Gamma_k
$$

realize整個 tuple。

所以：

$$
\boxed{
\mathcal J_{\mathrm{alg}}
=
\mathcal U_{\mathrm{alg}}.
}
$$

---

# 19. Coordination defect implies Künneth obstruction

反方向假設：

$$
\boxed{
\mathcal J_{\mathrm{alg}}
=
\mathcal U_{\mathrm{alg}}.
}
$$

對每：

$$
k,
$$

identity：

$$
\operatorname{id}_{H^k}
$$

屬：

$$
\mathcal E_{\mathrm{alg}}^k
$$

因 diagonal：

$$
\Delta_X
$$

在：

$$
H^k
$$

上作用為 identity。

所以 tuple：

$$
\boxed{
e_k
=
(0,\ldots,0,\operatorname{id}_{H^k},0,\ldots,0)
}
$$

屬：

$$
\mathcal U_{\mathrm{alg}}.
$$

由 equality：

$$
e_k\in\mathcal J_{\mathrm{alg}}.
$$

因此有 algebraic correspondence實現：

$$
\pi_k^H.
$$

---

# 20. Coordination–Künneth Equivalence Theorem

## 定理 20.1

以下等價：

### (A)

$$
\boxed{
\delta_{\mathrm{coord}}(X)=0.
}
$$

### (B)

$$
\boxed{
\mathcal J_{\mathrm{alg}}
=
\mathcal U_{\mathrm{alg}}.
}
$$

### (C)

所有 rational cohomological Künneth projectors：

$$
\boxed{
\pi_k^H
}
$$

均由 algebraic correspondences實現。

### 證明

(A) 與 (B)為定義。

(C) 推 (B)由 Section 18。

(B) 推 (C)由 Section 19。

證畢。

---

# 21. Standard-conjecture interpretation

所以：

$$
\boxed{
\delta_{\mathrm{coord}}
}
$$

就是 R021 語言中的：

**Künneth Coordination Defect**。

它精確量：

> degreewise algebraic correspondences能否被 algebraic Künneth projectors切開後獨立 recombine。

這把 classical Künneth standard-conjecture問題轉成 Phase III coupling defect。

---

# 22. Self-product Hodge criterion

由 Sections 13 與 20：

## 定理 22.1

$$
\boxed{
\operatorname{HC}(X\times X,n)
}
$$

等價於同時滿足：

1. 所有 Künneth projectors algebraic：
   $$
   \delta_{\mathrm{coord}}=0;
   $$
2. 所有 degree Hodge endomorphisms algebraic：
   $$
   \delta_{\mathrm{op}}^k=0
   \quad
   \forall k.
   $$

---

# 23. 這比 R020 Reconstruction 更精確

R020 已證：

> algebraic Künneth projectors + degreewise operator closure可重建 self-product Hodge conjecture。

R021 現在進一步證明：

$$
\boxed{
\text{這兩塊正好構成全部 self-product residual}.
}
$$

沒有第三個 residual type。

---

# 24. Pointwise Hodge conjecture on $X$控制不到這兩塊

fixed-object Hodge conjecture只問：

$$
\boxed{
CH^p(X)_{\mathbb Q}
\to
V_X^p
}
$$

是否 surjective。

它沒有直接給：

- $\mathcal E_{\mathrm H}^k$ 的全部 algebraic realization；
- Künneth projectors的 algebraicity；
- joint operator coordinate independence。

所以即使：

$$
\operatorname{HC}(X,p)
$$

對所有：

$$
p
$$

已知，

仍需要額外 self-product analysis。

R021 不主張存在已知 counterexample：

$$
\operatorname{HC}(X)
\text{ true}
\quad\text{but}\quad
\operatorname{HC}(X\times X)
\text{ false}.
$$

這裡的結論是：

$$
\boxed{
\text{carrier/proof complexity genuinely escalates}.
}
$$

---

# 25. Tensor-length-2 interpretation

Section 2 有：

$$
H^{2n}(X\times X)(n)
\cong
\bigoplus_k
H_k^\vee\otimes H_k.
$$

所以 self-product middle Hodge classes正是：

$$
\boxed{
\text{degreewise tensor-length-2 Hodge invariants}.
}
$$

因此 R021 的 barrier是：

$$
\boxed{
\text{Tensor-Length-2 Legality Barrier}.
}
$$

---

# 26. 與 R006 Hodge tensor symmetry 的連接

R006 定義 Hodge tensor stabilizer：

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

並有：

$$
\mathcal E_{\mathrm H}^k
=
\left(
H_k^\vee\otimes H_k
\right)^{G_X^{\mathrm{coh}}}.
$$

所以：

$$
\boxed{
\mathcal J_{\mathrm H}
}
$$

正是 R006 complete Hodge-tensor package中的 length-$2$ endomorphism sector。

R021 現在問：

> 這個 length-$2$ invariant sector是否全部來自 algebraic cycles on $X\times X$？

---

# 27. $\tau_{\mathrm{HT}}$ 與 self-product barrier不同

R006 的：

$$
\tau_{\mathrm{HT}}(X)
$$

是：

> 要看到多高 tensor length才能把 Mumford–Tate group stabilizer完全確定？

R021 的 self-product problem只測：

$$
\boxed{
\text{length }2
}
$$

的 endomorphism invariants是否 algebraic。

所以：

$$
\boxed{
\tau_{\mathrm{HT}}(X)>2
}
$$

不代表 self-product Hodge conjecture失敗。

反之：

$$
\tau_{\mathrm{HT}}(X)\le2
$$

也不自動證明 length-$2$ Hodge tensors algebraic。

一個是：

$$
\boxed{
\text{Measure symmetry depth},
}
$$

另一個是：

$$
\boxed{
\text{Legality of the detected tensors}.
}
$$

---

# 28. R005 elliptic surprise精確重建

令：

$$
E
$$

為 complex elliptic curve。

因：

$$
n=1,
$$

有：

$$
V_{E\times E}^{1}
\cong
\mathcal E_{\mathrm H}^{0}
\oplus
\mathcal E_{\mathrm H}^{1}
\oplus
\mathcal E_{\mathrm H}^{2}.
$$

兩端：

$$
\mathcal E_{\mathrm H}^{0}
\cong
\mathbb Q,
$$

$$
\mathcal E_{\mathrm H}^{2}
\cong
\mathbb Q.
$$

中間：

$$
\boxed{
\mathcal E_{\mathrm H}^{1}
=
\operatorname{End}_{\mathrm{HS}}
H^1(E,\mathbb Q).
}
$$

---

# 29. Non-CM elliptic curve

若：

$$
E
$$

無 CM，

則：

$$
\boxed{
\operatorname{End}_{\mathrm{HS}}H^1(E,\mathbb Q)
=
\mathbb Q.
}
$$

所以：

$$
\boxed{
\dim V_{E^2}^{1}
=
1+1+1
=
3.
}
$$

即：

$$
\rho(E^2)=3.
$$

---

# 30. CM elliptic curve

若：

$$
E
$$

有 CM by imaginary quadratic field：

$$
K,
$$

則：

$$
\boxed{
\operatorname{End}_{\mathrm{HS}}H^1(E,\mathbb Q)
=
K.
}
$$

作為：

$$
\mathbb Q
$$

vector space：

$$
\dim K=2.
$$

所以：

$$
\boxed{
\dim V_{E^2}^{1}
=
1+2+1
=
4.
}
$$

即：

$$
\rho(E^2)=4.
$$

---

# 31. R005 missing axis now explained

R005 當時發現：

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

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

R021 現在精確解釋：

$$
\boxed{
\text{那個多出來的 Hodge direction
正是 length-2 endomorphism sector新增的 CM operator}.
}
$$

而 graph of CM endomorphism是 algebraic divisor。

所以：

$$
\boxed{
\delta_{\mathrm{SP}}(E)=0
}
$$

但 self-product candidate dimension發生 jump。

這就是：

$$
\boxed{
\text{tensor category enlargement creates new candidates
without creating a legality failure}.
}
$$

---

# 32. Curves：Self-Product Barrier全消

對任意 smooth projective curve：

$$
C,
$$

self-product：

$$
C\times C
$$

是 surface，

而 self-product middle codimension：

$$
n=1
$$

是 divisor problem。

由 Lefschetz $(1,1)$ theorem：

$$
\boxed{
\operatorname{HC}(C\times C,1)
}
$$

成立。

所以：

$$
\boxed{
\delta_{\mathrm{SP}}(C)=0.
}
$$

因此：

$$
\delta_{\mathrm{coord}}(C)=0,
$$

且所有：

$$
\delta_{\mathrm{op}}^k(C)=0.
$$

---

# 33. Projective space stress test

對：

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

所有 cohomology degrees都是 one-dimensional Tate pieces。

Künneth projectors由：

$$
h^a\times h^b
$$

型 algebraic cycles顯式生成。

各：

$$
\mathcal E_{\mathrm H}^{2p}
=
\mathbb Q.
$$

identity operators均 algebraic。

所以：

$$
\boxed{
\delta_{\mathrm{coord}}
=
0,
}
$$

$$
\boxed{
\delta_{\mathrm{op}}^k
=
0
}
$$

for all：

$$
k,
$$

故：

$$
\boxed{
\delta_{\mathrm{SP}}=0.
}
$$

---

# 34. K3 surface：coordination barrier消失

令：

$$
X
$$

為 projective K3 surface，

$$
n=2.
$$

因：

$$
H^1(X)=H^3(X)=0,
$$

且選 point：

$$
o\in X,
$$

可取：

$$
\pi_0
=
[o\times X],
$$

$$
\pi_4
=
[X\times o],
$$

$$
\pi_2
=
\Delta_X-\pi_0-\pi_4.
$$

全部 algebraic。

所以：

$$
\boxed{
\delta_{\mathrm{coord}}(X)=0.
}
$$

---

# 35. K3 Self-Product Reduction

對 K3，

Tate degrees：

$$
0,4
$$

的 operator residual為零。

因此：

$$
\boxed{
\delta_{\mathrm{SP}}(X)
=
\delta_{\mathrm{op}}^2(X).
}
$$

所以 K3 self-product middle Hodge problem完全壓縮到：

$$
\boxed{
\operatorname{End}_{\mathrm{HS}}H^2(X)
\text{ 的 algebraic correspondence realization}.
}
$$

Buskin theorem對 rational Hodge isometries給重要 operator algebraicity。

更強的 full endomorphism statement需要相應 operator/motivic arguments；

R021 不把 Buskin theorem單獨擴張成所有 arbitrary Hodge endomorphisms。

---

# 36. K3 literature stress

Fu–Vial、Huybrechts等 motivic Torelli工作顯示：

> 對 K3 類問題，Hodge isometries、derived/motivic correspondences與 algebraic cycles之間存在很強的橋。

這支持 R021 的 reduction：

$$
\boxed{
\text{self-product problem}
\to
\text{middle Hodge-operator problem}.
}
$$

本輪不需要宣告所有 K3 self-product cases的一般新 theorem。

---

# 37. Cubic fourfold：Künneth coordination也可顯式消除

令：

$$
X
$$

為 smooth cubic fourfold，

$$
n=4.
$$

除：

$$
H^4(X)
$$

之外，

非零 even cohomology：

$$
H^0,H^2,H^6,H^8
$$

均為 one-dimensional Tate pieces generated by powers of hyperplane class：

$$
h.
$$

odd cohomology為零。

利用：

$$
h
$$

的 algebraic powers可構造 Tate Künneth projectors。

再令：

$$
\pi_4
=
\Delta_X
-
\sum_{k\neq4}
\pi_k.
$$

因此：

$$
\boxed{
\delta_{\mathrm{coord}}(X)=0.
}
$$

---

# 38. Cubic Self-Product Reduction

Tate degrees的 operator residual為零。

所以：

$$
\boxed{
\delta_{\mathrm{SP}}(X)
=
\delta_{\mathrm{op}}^4(X).
}
$$

這比 R020 的 qualitative Self-Product Barrier更精確：

> cubic fourfold的 self-product middle Hodge problem完全集中在 middle-cohomology Hodge endomorphisms是否 algebraic。

---

# 39. Cubic class-level success仍不夠

smooth cubic fourfold：

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

已知成立。

所以每個：

$$
\alpha
\in
V_X^2
$$

有 algebraic cycle witness。

但：

$$
\delta_{\mathrm{op}}^4
$$

研究：

$$
\operatorname{End}_{\mathrm{HS}}H^4(X),
$$

也就是：

$$
X\times X
$$

上的 relational Hodge classes。

因此：

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

本身不完成 self-product middle problem。

R021 不宣告：

$$
\delta_{\mathrm{op}}^4>0.
$$

它只指出這是獨立待證 operator sector。

---

# 40. Self-product Escalation Profile

定義：

$$
\boxed{
\mathrm{SPE}(X)
=
\left(
\delta_{\mathrm{coord}}(X);
\delta_{\mathrm{op}}^0(X),
\ldots,
\delta_{\mathrm{op}}^{2n}(X)
\right).
}
$$

則：

$$
\boxed{
\delta_{\mathrm{SP}}
=
\delta_{\mathrm{coord}}
+
\sum_k\delta_{\mathrm{op}}^k.
}
$$

所以：

$$
\mathrm{SPE}(X)=0
$$

若且唯若：

$$
\operatorname{HC}(X\times X,n)
$$

成立。

---

# 41. Coordination和 operator是兩種不同 category escalation

### Operator Escalation

從：

$$
\text{class}
$$

提升到：

$$
\text{endomorphism}.
$$

對應：

$$
\delta_{\mathrm{op}}^k.
$$

### Coordination Escalation

從：

$$
\text{每個 degree separately}
$$

提升到：

$$
\text{one joint correspondence across all degrees}.
$$

對應：

$$
\delta_{\mathrm{coord}}.
$$

所以 self-product barrier本身已經有：

$$
\boxed{
\text{兩層 category coupling}.
}
$$

---

# 42. Relation to R020 terminal semantics

R020 已指出：

> operator-faithful semantics比 class-specific semantics更強。

R021 再加一層：

> even degreewise operator-faithful semantics仍比 full joint self-product cycle semantics更弱，除非 Künneth coordination已 closure。

因此 terminal semantics ladder可寫：

$$
\boxed{
\text{class}
\to
\text{degreewise operator}
\to
\text{joint self-product correspondence}.
}
$$

---

# 43. Coordination defect是 category-relative還是 stable？

若 terminal semantics只要求：

$$
\boxed{
\text{每個 degree operator individually algebraic},
}
$$

則：

$$
\delta_{\mathrm{coord}}
$$

只是更強 joint category才會看到的 defect。

但若 terminal semantics是：

$$
\boxed{
\operatorname{HC}(X\times X,n),
}
$$

則它是 category-stable genuine defect。

所以再次確認 R017：

$$
\boxed{
\text{defect absolute性依 terminal semantics}.
}
$$

---

# 44. Tensor-depth escalation

R006 的：

$$
\tau_{\mathrm{HT}}
$$

控制 Hodge symmetry被多少 tensor lengths識別。

R021 則引入另一種 depth：

$$
\boxed{
\text{algebraic tensor legality depth}.
}
$$

self-product是第一個：

$$
r=2
$$

關卡。

如果：

$$
X
$$

本身 Hodge classes都 algebraic，

但：

$$
X^2
$$

出現新的 unresolved Hodge tensor classes，

那是：

$$
\boxed{
\text{Legality complexity increases under tensor/category enlargement}.
}
$$

---

# 45. Self-product不是最後一層

即使：

$$
\operatorname{HC}(X\times X,n)
$$

成立，

更高 powers：

$$
X^3,
X^4,\ldots
$$

仍可能出現新的 Hodge tensors。

R006 已告訴我們：

$$
\boxed{
\text{joint Hodge symmetry不由單一 self-product保證完全顯示}.
}
$$

所以 R021只是 tensor-power hierarchy的：

$$
\boxed{
\text{first nontrivial relational layer}.
}
$$

---

# 46. Finite Hodge-tensor witness depth does not solve algebraicity depth

R006 證明對固定：

$$
X,
$$

存在 finite：

$$
\tau_{\mathrm{HT}}(X)
$$

使 truncated Hodge tensors已決定 full Mumford–Tate stabilizer。

但這不等價於：

> 所有 tensor length $\le\tau_{\mathrm{HT}}$ 的 Hodge tensors都 algebraic。

因此：

$$
\boxed{
\text{symmetry identification finite}
\not\Rightarrow
\text{algebraicity proof finite}.
}
$$

這是下一輪的重要界面。

---

# 47. No Backtrack

R021 的新 coordination residual不需要新增 Phase-I/II carrier。

因：

- R009 Measure已含 products/tensors；
- R006已含 Hodge tensor symmetry；
- R010/R020已含 algebraic correspondences；
- Künneth projectors本身就是 operator-ARG instances。

所以：

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

這是真正的 Phase-III category coupling phenomenon。

---

# 48. R021 Status

本輪已證／固定：

1. self-product middle Hodge classes canonical identify with：
   $$
   \bigoplus_k\operatorname{End}_{\mathrm{HS}}H^k;
   $$
2. 定義 joint algebraic operator image：
   $$
   \mathcal J_{\mathrm{alg}};
   $$
3. 定義 degreewise envelope：
   $$
   \mathcal U_{\mathrm{alg}};
   $$
4. inclusion：
   $$
   \mathcal J_{\mathrm{alg}}
   \subseteq
   \mathcal U_{\mathrm{alg}}
   \subseteq
   \mathcal J_{\mathrm H};
   $$
5. 定義 self-product residual；
6. 定義 Künneth coordination residual；
7. short exact residual sequence；
8. exact dimension decomposition：
   $$
   \delta_{\mathrm{SP}}
   =
   \delta_{\mathrm{coord}}
   +
   \sum_k\delta_{\mathrm{op}}^k;
   $$
9. coordination residual zero iff all Künneth projectors algebraic；
10. self-product Hodge conjecture iff：
    $$
    \delta_{\mathrm{coord}}=0
    $$
    and all：
    $$
    \delta_{\mathrm{op}}^k=0;
    $$
11. self-product是 tensor-length-2 legality barrier；
12. R005 CM/non-CM elliptic rank jump精確來自：
    $$
    \operatorname{End}_{\mathrm{HS}}H^1(E);
    $$
13. curves self-product barrier全消；
14. projective space barrier全消；
15. K3 coordination defect為零，self-product barrier集中在：
    $$
    H^2
    $$
    operator sector；
16. cubic fourfold coordination defect為零，self-product barrier集中在：
    $$
    H^4
    $$
    operator sector；
17. 定義 Self-Product Escalation Profile；
18. 區分 operator escalation與 coordination escalation；
19. 連接 R006 Hodge-tensor witness depth；
20. 確認更高 tensor powers可能再出現新 legality complexity。

因此：

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

只指 R021 Primary Claim。

---

# 49. Next Interface

下一輪建議：

```text
HODGE_MLRSC_R022_C_TensorPowerEscalation.md
```

R022 應把：

$$
X
\to
X^2
$$

推廣為：

$$
X
\to
X^2
\to
X^3
\to
\cdots.
$$

最低問題：

1. 定義 tensor-power Hodge candidate spaces；
2. 定義：
   $$
   \mathcal T_{\mathrm H}^{(\le r)};
   $$
3. 定義 algebraic tensor image；
4. 建立 tensor-power residual：
   $$
   \delta_{\mathrm{ten}}(r);
   $$
5. 與 R006：
   $$
   \tau_{\mathrm{HT}}(X)
   $$
   對接；
6. 問：
   $$
   \text{Hodge symmetry stabilizes at finite tensor depth}
   $$
   是否能推出 algebraic legality也 finite-depth；
7. 找出兩者不等價的 precise obstruction；
8. 定義第一個：
   $$
   \text{Tensor Legality Depth};
   $$
9. 測試 elliptic curves、abelian varieties、K3、cubic fourfold；
10. 判斷是否出現 Phase III 第一個需要從 finite self-product回到 unbounded tensor hierarchy的 backtrack。

---

# 50. 本輪基本摘要

R020 說：

$$
\boxed{
\text{operator legality lives on }X\times X.
}
$$

R021 進一步發現：

> 就算每個 degree 的 operator individually 都 algebraic，還有一個 joint coordination問題。

精確分解：

$$
\boxed{
\delta_{\mathrm{SP}}
=
\delta_{\mathrm{coord}}
+
\sum_k\delta_{\mathrm{op}}^k.
}
$$

其中：

$$
\boxed{
\delta_{\mathrm{coord}}=0
}
$$

若且唯若 cohomological Künneth projectors全部 algebraic。

所以 classical Künneth projector問題在我們的 Phase III 裡得到一個很自然的新解釋：

> 它不是單純「有沒有 projector」，而是在問 degreewise algebraic operator certificates能不能被獨立切開、重新組成 arbitrary joint self-product correspondence。

同時：

$$
\boxed{
V_{X\times X}^{n}
\cong
\bigoplus_k
H^k(X)^\vee\otimes H^k(X)
}
$$

說明 self-product barrier其實就是：

$$
\boxed{
\text{tensor-length-2 legality}.
}
$$

這也把 R005 當初 CM elliptic curve在 $E^2$ 才突然多出一個 Hodge direction的現象完整解釋了。

下一輪就自然不是再研究 $X^2$，

而是問：

$$
\boxed{
X^2
\to
X^3
\to
\cdots
}
$$

新的 Hodge tensor legality是否會一直升階。

---

# 參考文獻

1. W. Fulton, *Intersection Theory*. Algebraic correspondences、composition與 cycle class formalism。

2. S. Kleiman, *The Standard Conjectures*. Künneth projectors與 standard-conjecture framework。

3. D. Arapura, *Motivation for Hodge cycles*, Advances in Mathematics. Hodge cycles、motives與 tensor-category背景。

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

5. D. Huybrechts, *Motives of isogenous K3 surfaces*. K3 correspondences與 motivic Torelli背景。  
   https://arxiv.org/abs/1705.04063

6. L. Fu, C. Vial, *A motivic global Torelli theorem for isogenous K3 surfaces*, Advances in Mathematics.  
   https://arxiv.org/abs/1907.10868

7. U. Schlickewei, *The Hodge conjecture for self-products of certain K3 surfaces*. Self-product Hodge problems in explicit K3 regimes。

8. M. Varesco, *The Hodge conjecture for powers of K3 surfaces of Picard number 16*. Higher tensor-power escalation for K3 surfaces。  
   https://arxiv.org/abs/2203.09778

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

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

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

---

## Canonical Source Declaration

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

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

聊天畫面不是本輪 canonical source。