# HODGE_MLRSC_R027_C_PrimitiveInvariantAlgebraicity
## ——Infinite Powers 到 Finite Algebraicity Core：Primitive Generator Residual、Automatic Algebraic Sector 與 Weil-Class Stress Test

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

---

## Round Metadata

**Round:** R027  
**Phase:** C / Scale–Category Coupling  
**Primary Claim:** 一旦對 graded Hodge representation $(G_X^{\mathrm{coh}},\mathcal H_X)$ 建立一個 finite BLTP certificate，all-power rational Hodge conjecture可精確壓縮為有限 local generator carrier的 algebraicity。若 $\mathcal G_H(\mathsf B)$ 是該 BLTP certificate的 finite Hodge-generator space，$\mathcal G_A(\mathsf B)$ 是其中具有 algebraic cycle/correspondence witnesses的 subspace，則
$$
\operatorname{HC}(X^r)\text{ for all }r
\iff
\mathcal G_H(\mathsf B)=\mathcal G_A(\mathsf B).
$$
在剔除 diagonal、permutation、polarization、Chern classes、algebraic morphism graphs與已認證 correspondences等 automatic algebraic sector後，剩餘 quotient稱 Primitive Invariant Core；其 algebraicity residual為零若且唯若 all-power Hodge成立。故在 BLTP regime 中，無限 Hodge statements可被壓成有限 primitive algebraicity core。Weil classes提供重要實例：它們是 divisor grammar之外的 exceptional primitive Hodge classes；Markman 2025 的結果使 abelian fourfold Weil-class core成為 algebraic，並給出該 finite-core strategy的現代正例。  
**Status:** PROVED  
**Depends On:** R010、R022、R026、BLTP/ABLTP、Künneth theorem、algebraic cycle operations、recent Weil-class results  
**Supersedes:** 無；R026 Finite Primitive Reduction Theorem被提升為 exact finite-core equivalence與 basis-independent residual formalism  
**Backtrack Target:** 無；若 BLTP certificate本身不存在或未建立，不能使用 finite-core equivalence  
**Evidence Level:** E2 / exact implication equivalence under verified BLTP  
**Formalization Status:** NOT FORMALIZED  
**Computation Status:** FINITE GENERATOR-CORE REDUCTION  

---

# 0. R026 已把問題壓到 finite primitives

R026 證明：

若：

$$
\mathrm{BLTP}_d
\left(
G_X^{\mathrm{coh}},
\mathcal H_X
\right)
$$

成立，

則全部 higher-power Hodge tensors由 finite local invariant library：

$$
\mathcal S_{\mathrm{loc}}
$$

經 bounded local tensor grammar生成。

若這些 local generators全部 algebraic，

則：

$$
\boxed{
\operatorname{HC}(X^r)
}
$$

對所有：

$$
r
$$

成立。

R027 現在問：

> 能否把「這些 local generators全部 algebraic」本身做成一個 basis-independent finite residual？

答案是：

$$
\boxed{
\text{可以。}
}
$$

---

# 1. Fixed BLTP certificate

固定一個已驗證：

$$
\boxed{
\mathsf B
=
\mathsf{BLTPCert}(X).
}
$$

它包含：

1.：
   $$
   G
   =
   G_X^{\mathrm{coh}};
   $$
2. graded representation：
   $$
   V
   =
   \mathcal H_X;
   $$
3. finite local Hodge generators：
   $$
   \mathcal S_{\mathrm{loc}};
   $$
4. max support arity：
   $$
   d;
   $$
5. invariant-generation theorem；
6. allowed structural tensor operations。

---

# 2. Encoding local morphisms as Hodge tensors

local generator可寫成：

$$
s:
W_1\to W_2.
$$

由 rigidity：

$$
\operatorname{Hom}_G(W_1,W_2)
\cong
(W_1^\vee\otimes W_2)^G.
$$

再經：

- Poincaré duality；
- Künneth；
- Tate bookkeeping；

可將：

$$
s
$$

編碼成某個：

$$
X^{r_s}
$$

上的 rational Hodge class：

$$
\boxed{
[s]_{\mathrm H}
\in
V_{X^{r_s}}^{p_s}.
}
$$

其中：

$$
r_s\le d.
$$

---

# 3. Finite generator ambient

因：

$$
\mathcal S_{\mathrm{loc}}
$$

finite，

只出現有限多 pairs：

$$
(r_s,p_s).
$$

定義 finite direct-sum ambient：

$$
\boxed{
\mathcal A_{\mathsf B}
=
\bigoplus_{s\in\mathcal S_{\mathrm{loc}}}
V_{X^{r_s}}^{p_s}.
}
$$

這是 finite-dimensional：

$$
\mathbb Q
$$

vector space。

---

# 4. Hodge Generator Carrier

定義：

$$
\boxed{
\mathcal G_H(\mathsf B)
=
\operatorname{span}_{\mathbb Q}
\left\{
[s]_{\mathrm H}:
s\in\mathcal S_{\mathrm{loc}}
\right\}
\subseteq
\mathcal A_{\mathsf B}.
}
$$

稱：

**Hodge Generator Carrier**。

它是 finite-dimensional。

---

# 5. Algebraic part of generator carrier

在：

$$
\mathcal A_{\mathsf B}
$$

中定義 algebraic subspace：

$$
\boxed{
\mathcal A_{\mathrm{alg},\mathsf B}
=
\bigoplus_{s\in\mathcal S_{\mathrm{loc}}}
\operatorname{Alg}^{p_s}
\left(
X^{r_s}
\right).
}
$$

再定義：

$$
\boxed{
\mathcal G_A(\mathsf B)
=
\mathcal G_H(\mathsf B)
\cap
\mathcal A_{\mathrm{alg},\mathsf B}.
}
$$

它收集 finite generator carrier中已具有 algebraic cycle witnesses的 directions。

---

# 6. Generator Legality Residual

定義：

$$
\boxed{
\mathfrak R_{\mathrm{gen}}(\mathsf B)
=
\mathcal G_H(\mathsf B)
/
\mathcal G_A(\mathsf B).
}
$$

以及：

$$
\boxed{
\delta_{\mathrm{gen}}(\mathsf B)
=
\dim_{\mathbb Q}
\mathfrak R_{\mathrm{gen}}(\mathsf B).
}
$$

因此：

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

若且唯若 finite BLTP generator carrier全部 algebraic。

---

# 7. Finite-Core Equivalence Theorem

## 定理 7.1

固定 valid BLTP certificate：

$$
\mathsf B.
$$

則以下等價：

### (A)

$$
\boxed{
\operatorname{HC}(X^r)
\text{ holds for every }r\ge1
\text{ and every codimension}.
}
$$

### (B)

$$
\boxed{
\mathcal G_H(\mathsf B)
=
\mathcal G_A(\mathsf B).
}
$$

### (C)

$$
\boxed{
\delta_{\mathrm{gen}}(\mathsf B)=0.
}
$$

---

# 8. Proof of Finite-Core Equivalence

### (A) implies (B)

每個 generator：

$$
[s]_{\mathrm H}
$$

是某：

$$
X^{r_s}
$$

上的 rational Hodge class。

若 Hodge conjecture對所有 powers成立，

每個：

$$
[s]_{\mathrm H}
$$

algebraic。

所以：

$$
\mathcal G_H
\subseteq
\mathcal A_{\mathrm{alg},\mathsf B}.
$$

故：

$$
\mathcal G_H
=
\mathcal G_A.
$$

---

### (B) implies (A)

若：

$$
\mathcal G_H=\mathcal G_A,
$$

則 finite BLTP generators全部有 algebraic representatives。

因此：

$$
\mathrm{ABLTP}_d(X)
$$

成立。

R026 Algebraic BLTP Theorem給：

$$
\operatorname{HC}(X^r)
$$

對所有：

$$
r
$$

及所有 codimensions成立。

---

### (B) iff (C)

由 quotient definition。

證畢。

---

# 9. Infinite conjecture family becomes one finite residual

所以在 verified BLTP regime：

$$
\boxed{
\text{all powers Hodge conjecture}
}
$$

不是無限獨立 statement。

它等價於：

$$
\boxed{
\mathfrak R_{\mathrm{gen}}(\mathsf B)=0
}
$$

這一個 finite-dimensional algebraicity problem。

---

# 10. Certificate-relative nature

不同 BLTP presentations：

$$
\mathsf B_1,
\mathsf B_2
$$

可以有不同：

- local generators；
- generator arities；
- generator ambient dimensions。

因此：

$$
\delta_{\mathrm{gen}}(\mathsf B)
$$

是 certificate-relative quantity。

但 Theorem 7.1告訴我們：

$$
\boxed{
\delta_{\mathrm{gen}}(\mathsf B)=0
}
$$

的 truth value對任何 valid BLTP certificate都與 all-power Hodge truth一致。

---

# 11. Automatic algebraic sector

並非所有 local generators都值得當「primitive Hodge problem」。

許多 generator有直接 algebraic provenance。

定義：

$$
\boxed{
\mathcal G_{\mathrm{auto}}(\mathsf B)
\subseteq
\mathcal G_H(\mathsf B)
}
$$

為下列已認證 sectors生成的 subspace。

---

# 12. Unit and point sector

包括：

$$
1\in H^0(X),
$$

fundamental / trace data，

以及 algebraic closed point：

$$
[x]\in H^{2n}(X).
$$

這些無條件 algebraic。

---

# 13. Diagonal sector

diagonal：

$$
\Delta_X
\subset
X\times X
$$

是 algebraic。

其 class實現 total coevaluation / identity correspondence structure。

因此由 diagonal直接產生的 tensor contractions屬 automatic algebraic sector。

---

# 14. Permutation sector

任意 factor permutation：

$$
\sigma:
X^r\to X^r
$$

為 algebraic automorphism。

其 graph：

$$
\Gamma_\sigma
$$

algebraic。

所以 symmetric-group diagram operations的 geometric graph sector automatic。

---

# 15. Polarization sector

任何 ample line bundle：

$$
L
$$

的：

$$
c_1(L)
$$

是 algebraic divisor class。

其 cup powers、external products與 pullbacks亦 algebraic。

所以 polarization-induced pairings / Lefschetz raising operators的 seed classes automatic。

---

# 16. Chern-class sector

若：

$$
E
$$

為 algebraic vector bundle，

則：

$$
c_i(E)
$$

algebraic。

因此由 explicit algebraic bundles產生的 Chern tensor generators automatic。

---

# 17. Algebraic morphism and endomorphism sector

若：

$$
f:X^a\to X^b
$$

為 algebraic morphism，

其 graph：

$$
\Gamma_f
$$

提供 algebraic correspondence。

特別是：

- algebraic endomorphisms；
- automorphisms；
- isogenies；
- finite algebraic group actions；

的 graph tensors automatic。

---

# 18. Certified-correspondence sector

若某 Hodge operator已透過：

- Buskin-type theorem；
- Markman-type theorem；
- Standard Conjecture theorem in a known regime；
- explicit correspondence construction；

通過 ARG，

其 tensor class加入：

$$
\mathcal G_{\mathrm{auto}}
$$

的 certified extension。

此 sector依 theorem library而變，

所以更精確可記：

$$
\mathcal G_{\mathrm{cert}}.
$$

---

# 19. Automatic Algebraic Closure

令：

$$
\boxed{
\mathcal G_0
=
\operatorname{span}
\left(
\mathcal G_{\mathrm{auto}}
\cup
\mathcal G_{\mathrm{cert}}
\right).
}
$$

必有：

$$
\boxed{
\mathcal G_0
\subseteq
\mathcal G_A.
}
$$

所以真正尚需研究的是 quotient：

$$
\mathcal G_H/\mathcal G_0.
$$

---

# 20. Primitive Invariant Core

定義：

$$
\boxed{
\mathfrak P_H(\mathsf B)
=
\mathcal G_H(\mathsf B)
/
\mathcal G_0(\mathsf B).
}
$$

稱：

**Primitive Invariant Core**。

它只保留：

> BLTP需要、但沒有被 structural/geometric/certified algebraic sector自動消掉的 primitive Hodge generator directions。

---

# 21. Primitive algebraic part

因：

$$
\mathcal G_0
\subseteq
\mathcal G_A,
$$

定義：

$$
\boxed{
\mathfrak P_A(\mathsf B)
=
\mathcal G_A(\mathsf B)
/
\mathcal G_0(\mathsf B).
}
$$

所以：

$$
\mathfrak P_A
\subseteq
\mathfrak P_H.
$$

---

# 22. Primitive Invariant Legality Residual

定義：

$$
\boxed{
\mathfrak R_{\mathrm{prim}}(\mathsf B)
=
\mathfrak P_H(\mathsf B)
/
\mathfrak P_A(\mathsf B).
}
$$

由 quotient algebra：

$$
\boxed{
\mathfrak R_{\mathrm{prim}}(\mathsf B)
\cong
\mathfrak R_{\mathrm{gen}}(\mathsf B).
}
$$

因此：

$$
\boxed{
\delta_{\mathrm{prim}}
=
\delta_{\mathrm{gen}}.
}
$$

---

# 23. Primitive-Core Equivalence Theorem

## 定理 23.1

對 valid BLTP certificate：

$$
\mathsf B,
$$

有：

$$
\boxed{
\operatorname{HC}(X^r)
\text{ for all }r
\iff
\mathfrak R_{\mathrm{prim}}(\mathsf B)=0.
}
$$

### 解讀

all-power Hodge conjecture被 exact reduction到：

$$
\boxed{
\text{finite primitive invariant core的 algebraicity}.
}
$$

---

# 24. Why quotient formulation matters

直接列：

$$
\mathcal S_{\mathrm{loc}}
$$

中的「未解 generators」會依 basis改變。

例如：

$$
u,v
$$

可能都未 individually certified，

但：

$$
u+v
$$

與：

$$
u-v
$$

有不同 geometric provenance。

quotient：

$$
\mathfrak R_{\mathrm{prim}}
$$

只記真正的 non-algebraic direction space，

不依某個任意 generator basis。

---

# 25. Primitive Legality Table v1

R027 將常見 primitive generator provenance分類如下。

| Primitive Type | Hodge status | Default legality status |
|---|---|---|
| Unit / point | structural | ALGEBRAIC |
| Diagonal / identity | structural | ALGEBRAIC |
| Factor permutation graph | structural | ALGEBRAIC |
| Ample / polarization class | $(1,1)$ | ALGEBRAIC |
| Algebraic bundle Chern class | Hodge | ALGEBRAIC |
| Algebraic morphism graph | Hodge correspondence | ALGEBRAIC |
| Certified Hodge isometry correspondence | Hodge operator | CERTIFIED |
| Künneth / primitive projector tensor | Hodge operator | ARG-DEPENDENT |
| Determinant / volume tensor | group invariant | CASE-DEPENDENT |
| Weil class | exceptional Hodge | CASE-DEPENDENT / RECENTLY PROVED IN MAJOR LOW-DIM REGIMES |
| Exceptional cubic/quartic tensor | group invariant | CASE-DEPENDENT |
| Arbitrary Mumford–Tate primitive tensor | Hodge | UNKNOWN UNTIL ARG / CYCLE WITNESS |

---

# 26. Pairings are usually not the hard core

Poincaré pairing、polarization pairing與 diagonal contractions有 direct algebraic geometry origin。

所以 classical：

$$
O,
Sp,
GL
$$

FFT grammar中的 basic contraction tensors通常落在：

$$
\mathcal G_0.
$$

因此 classical-group all-power Hodge problem真正可能剩下的是：

- determinant / orientation tensors；
- extra endomorphism tensors；
- exceptional invariant tensors。

---

# 27. Algebraic endomorphisms are low-risk primitives

若 Hodge group因：

$$
E
\subseteq
\operatorname{End}^0(X)
$$

而縮小，

一組：

$$
\mathbb Q
$$

-basis of algebraic endomorphisms有 graphs：

$$
\Gamma_{u_i}
$$

作 witnesses。

所以：

$$
\boxed{
\text{extra algebraic endomorphism symmetry}
}
$$

通常只增加 algebraic arity-$2$ primitive generators，

不形成 unresolved primitive residual。

---

# 28. Abstract Hodge endomorphisms remain dangerous

若：

$$
u
\in
\operatorname{End}_{\mathrm{HS}}H^k(X)
$$

只有 Hodge-theoretic existence，

沒有 algebraic morphism / correspondence provenance，

則其 tensor：

$$
u
\in
H^k(X)^\vee\otimes H^k(X)
$$

屬：

$$
\boxed{
\text{primitive operator legality problem}.
}
$$

R020 Self-Product Barrier就是此情形。

---

# 29. Determinant / volume tensor

令：

$$
V
$$

為 $m$-dimensional rational representation。

若 Hodge group：

$$
G
subseteq
SL(V),
$$

則 volume tensor：

$$
\boxed{
\varepsilon
\in
\wedge^mV^\vee
}
$$

為：

$$
G
$$

-invariant。

若：

$$
G\subseteq SO(V,q),
$$

orientation-type volume tensor也可能成為：

$$
SO
$$

-specific invariant。

---

# 30. Group invariance does not imply algebraicity

僅由：

$$
\varepsilon\in W^G
$$

只能得到：

$$
\boxed{
\varepsilon
\text{ is a rational Hodge tensor}.
}
$$

不自動得到：

$$
\boxed{
\varepsilon
\text{ is algebraic}.
}
$$

所以 determinant / orientation tensors若 BLTP需要，

應進：

$$
\mathfrak P_H.
$$

除非另有 explicit cycle construction。

---

# 31. Orientation sector as finite Hodge test

這提供一個很典型的 Phase-III compression：

若：

$$
SO
$$

型 invariant theory說全部 higher invariants由：

- quadratic pairing；
- one volume tensor：

$$
\varepsilon
$$

生成，

且 pairing已 automatic algebraic，

則：

$$
\boxed{
\text{all-power Hodge}
}
$$

可 reduction到：

$$
\boxed{
\varepsilon
\text{ 是否 algebraic}.
}
$$

這是 finite primitive-core philosophy的標準模型。

---

# 32. Weil classes

abelian variety of Weil type帶 imaginary quadratic / CM endomorphism field。

其 middle cohomology含 exceptional Hodge subspace：

$$
\boxed{
W(A)
}
$$

稱 Weil classes。

它們一般不由 divisor classes生成。

因此在相應 BLTP / Hodge-ring presentation中，

Weil sector正是：

$$
\boxed{
\text{primitive exceptional invariant core}.
}
$$

---

# 33. Historical significance of Weil sector

Weil classes之所以重要，

正因為：

$$
\boxed{
\text{divisor algebraicity已知}
}
$$

但：

$$
\boxed{
\text{exceptional primitive middle Hodge tensors}
}
$$

仍需要新的 cycle construction。

所以它們完全符合 R027 的：

$$
\mathfrak P_H
$$

concept。

---

# 34. Current update: abelian fourfolds

Eyal Markman 的 2025 preprint：

*Cycles on abelian $2n$-folds of Weil type from secant sheaves on abelian $n$-folds*

證明：

$$
\boxed{
\text{Weil classes are algebraic for all abelian fourfolds of Weil type}
}
$$

for all discriminants and all imaginary quadratic number fields。

該工作並指出 Hodge conjecture for abelian fourfolds由此 follows。

因此：

$$
\boxed{
\text{fourfold Weil primitive sector}
}
$$

已從 historical OPEN test case移到：

$$
\boxed{
\text{ALGEBRAIC}
}
$$

in the current literature status。

---

# 35. Current update: abelian sixfolds

同一 Markman工作證明：

$$
\boxed{
\text{Weil classes algebraic for abelian sixfolds of Weil type of discriminant }-1
}
$$

for all imaginary quadratic fields。

因此 sixfold Weil primitive sector目前是：

$$
\boxed{
\text{large proven regime,
not yet represented here as an all-regime universal theorem}.
}
$$

---

# 36. Independent 2026 fourfold confirmation in discriminant $1$

Floccari–Fu 2026：

*The Hodge conjecture for Weil fourfolds with discriminant 1 via singular OG6-varieties*

給 discriminant：

$$
1
$$

Weil fourfolds一個新的 geometric proof，

並證其所有 powers的 Hodge conjecture in that regime。

這提供：

$$
\boxed{
\text{primitive generator algebraicity}
\to
\text{all-power closure}
}
$$

的現代 geometric stress test。

---

# 37. Why current Weil progress matters to MLRSC

R026 的 framework預測：

> 若一個 Hodge ring的 infinite hierarchy只差 finite exceptional primitive generators，真正突破只需 algebraize those primitives。

Weil fourfold的歷史發展正符合這個模式：

1. divisor sector早已 algebraic；
2. exceptional Weil sector被識別為 finite obstruction；
3. recent work直接構造其 algebraic cycles；
4. broad Hodge conclusion隨之 closure。

所以 R027 的 finite-core reduction不是單純 abstract bookkeeping。

---

# 38. Low-dimensional abelian reduction

known Moonen–Zarhin-type results將若干 low-dimensional abelian Hodge problems reduction到 divisor classes與 Weil-type exceptional classes。

因此 recent Weil-class algebraicity使：

$$
\boxed{
\text{abelian fourfold primitive core}
}
$$

大幅 closure，

並支撐 abelian varieties of dimension：

$$
\le5
$$

的現代 Hodge-conjecture進展。

R027 對超出 cited theorem範圍的 dimensions不外推。

---

# 39. Projective-space stress test

對：

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

BLTP可由 hyperplane：

$$
h
$$

與 structural operations完成。

$$
h
$$

algebraic。

所以：

$$
\mathfrak P_H=0,
$$

$$
\boxed{
\mathfrak R_{\mathrm{prim}}=0.
}
$$

Finite-core theorem回收 all-power Hodge。

---

# 40. Elliptic-curve stress test

對 elliptic curve：

$$
E,
$$

必要 local primitives可由：

- polarization；
- diagonal；
- algebraic endomorphism graphs；

生成。

non-CM case沒有 extra endomorphism primitive。

CM case extra CM endomorphism tensors由 algebraic graphs實現。

所以：

$$
\boxed{
\mathfrak R_{\mathrm{prim}}(E)=0.
}
$$

這回收 R005/R022 的 candidate jump without legality failure。

---

# 41. General abelian varieties

對更高維 abelian varieties，

Hodge group可能縮小，

出現：

- Weil classes；
- generalized Weil classes；
- exceptional Hodge tensors。

因此：

$$
\boxed{
\mathfrak P_H
}
$$

可以非零。

R027 的策略不是：

> 枚舉全部 powers全部 Hodge classes。

而是：

> 先求 Hodge invariant grammar，再辨認 finite primitive sectors，最後逐 sector做 algebraicity。

---

# 42. K3-type orthogonal primitive core

若某 K3-type Hodge representation的 invariant grammar由：

- intersection form；
- finite endomorphism tensors；
- finite orientation / exceptional tensors；

生成，

則：

- intersection form algebraic provenance低風險；
- algebraic endomorphisms低風險；
- orientation / exceptional tensors進 primitive core。

因此 all-power Hodge可 conditional reduction到 finite high-risk core。

R027 不在本輪宣告 generic K3全部符合某單一 BLTP template。

---

# 43. Exceptional algebraic groups

若 actual Mumford–Tate representation由特殊 cubic、quartic或 higher multilinear invariant定義，

那些 defining tensors可能同時扮演：

- recognition tensors；
- BLTP primitive generators。

但：

$$
\boxed{
\text{defining }G
}
$$

仍不等於：

$$
\boxed{
\text{those tensors algebraic}.
}
$$

若 BLTP確立，

它們會直接落入：

$$
\mathfrak P_H.
$$

---

# 44. Primitive generator status enum

R027 建議每個 primitive sector使用：

- `AUTO_ALGEBRAIC`
- `CERTIFIED_ALGEBRAIC`
- `CONDITIONAL_ARG`
- `PROVED_SPECIAL_REGIME`
- `OPEN_PRIMITIVE`
- `NON_HODGE`
- `OUT_OF_SCOPE`

避免只標：

$$
\boxed{
\text{known / unknown}.
}
$$

---

# 45. Primitive Algebraicity Certificate

對 primitive sector：

$$
P
subseteq
\mathfrak P_H,
$$

一個合格：

$$
\boxed{
\mathsf{PACert}(P)
}
$$

至少包含：

1. ambient power：
   $$
   X^r;
   $$
2. codimension；
3. Hodge proof；
4. BLTP role；
5. algebraic cycle / correspondence witness；
6. cycle-class equality proof；
7. theorem provenance；
8. deformation / relative status if relevant。

---

# 46. Primitive Core Ledger

完整 finite-core certificate：

$$
\boxed{
\mathsf{PCoreCert}
=
\left[
\mathsf B;
\mathcal G_0;
\mathfrak P_H;
\{\mathsf{PACert}(P_i)\};
\text{span closure proof}
\right].
}
$$

若所有 primitive sectors都有：

$$
\mathsf{PACert},
$$

則：

$$
\mathfrak R_{\mathrm{prim}}=0.
$$

---

# 47. Finite Core Completion Theorem

## 定理 47.1

對 valid BLTP certificate：

$$
\mathsf B,
$$

若 Primitive Core Ledger中所有 finite primitive sectors皆有 complete algebraicity certificates，

則：

$$
\boxed{
\operatorname{HC}(X^r)
}
$$

對所有：

$$
r
$$

成立。

### 證明

所有 primitive directions algebraic，

automatic sector亦 algebraic。

因此：

$$
\mathcal G_H
=
\mathcal G_A.
$$

套用 Theorem 7.1。

證畢。

---

# 48. Converse Certificate Necessity

## 定理 48.1

若 all-power Hodge conjecture對：

$$
X
$$

成立，

則對任意 valid BLTP certificate：

$$
\mathsf B,
$$

所有 primitive Hodge generator directions都 algebraic。

所以：

$$
\boxed{
\mathfrak R_{\mathrm{prim}}(\mathsf B)=0.
}
$$

這表示 Primitive Core並非額外猜想：

它只是 all-power Hodge在 finite BLTP coordinates中的完整重寫。

---

# 49. Primitive Residual cannot increase after BLTP is fixed

一旦：

$$
\mathsf B
$$

固定，

primitive core是 finite-dimensional。

新 theorem只會讓：

$$
\mathcal G_A
$$

增加，

所以：

$$
\boxed{
\delta_{\mathrm{prim}}
}
$$

在 knowledge/proof progression中只會下降或維持。

注意這是 epistemic/certificate progression，

不是 deformation parameter monotonicity。

---

# 50. Presentation optimization

不同 BLTP certificates可能留下不同 primitive core。

因此可定義 research optimization：

$$
\boxed{
\operatorname{PALoad}(\mathsf B)
=
\left(
d,
\dim\mathfrak P_H,
\delta_{\mathrm{prim}}
\right).
}
$$

實務上應優先尋找：

1. support arity低；
2. primitive core小；
3. primitive geometry已有 algebraic provenance；

的 presentation。

---

# 51. Recognition tensors need not be primitive legality tensors

R006 recognition package可能包含某 tensor：

$$
\tau
$$

只為了把 stabilizer縮到：

$$
G.
$$

但 BLTP可以有另一套更 geometric local generators，

不需要：

$$
\tau
$$

作 primitive legality seed。

所以：

$$
\boxed{
\text{recognition core}
\neq
\text{legality primitive core}.
}
$$

這是 R023–R027 的重要收束。

---

# 52. Why finite-core reduction is stronger than low-complexity optimism

R027 不只是說：

> 大概只要證幾個特殊 class。

它給 exact implication：

$$
\boxed{
\text{valid BLTP}
+
\text{finite generator algebraicity}
\iff
\text{all-power Hodge}.
}
$$

所以 finite-core reduction是一個 theorem schema，

不是 heuristic。

---

# 53. The remaining hard step

因此在一個找到 BLTP的 geometric class中，

研究流程可改寫成：

$$
\boxed{
\text{Mumford–Tate / invariant theory}
\to
\text{BLTP}
\to
\text{automatic algebraic quotient}
\to
\text{finite primitive core}
\to
\text{primitive cycle constructions}.
}
$$

真正的 Hodge difficulty集中在最後一步。

---

# 54. No Backtrack

R027 沒有找到 Measure carrier缺失。

也沒有 Legality carrier缺失。

primitive core只是：

$$
\boxed{
\text{existing Hodge tensor carrier}
\cap
\text{existing algebraic-cycle legality carrier}
}
$$

的 finite presentation。

所以：

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

---

# 55. R027 Status

本輪已證／固定：

1. finite BLTP generator ambient；
2. Hodge Generator Carrier：
   $$
   \mathcal G_H;
   $$
3. Algebraic Generator Carrier：
   $$
   \mathcal G_A;
   $$
4. Generator Legality Residual：
   $$
   \mathfrak R_{\mathrm{gen}};
   $$
5. exact Finite-Core Equivalence：
   $$
   \operatorname{HC}(X^r)\ \forall r
   \iff
   \mathfrak R_{\mathrm{gen}}=0;
   $$
6. Automatic Algebraic Sector；
7. Primitive Invariant Core：
   $$
   \mathfrak P_H;
   $$
8. Primitive Algebraic Part：
   $$
   \mathfrak P_A;
   $$
9. Primitive Invariant Legality Residual：
   $$
   \mathfrak R_{\mathrm{prim}};
   $$
10. exact Primitive-Core Equivalence；
11. basis-independent quotient formulation；
12. primitive provenance taxonomy；
13. determinant / orientation tensor不因 group invariance自動 algebraic；
14. Weil classes定位為 exceptional primitive core；
15. current Markman fourfold Weil-class algebraicity update；
16. current sixfold discriminant-$-1$ proven regime；
17. current 2026 discriminant-$1$ alternative fourfold proof；
18. projective-space primitive core zero；
19. elliptic-curve primitive core zero；
20. abelian exceptional Hodge problem重寫成 finite primitive sectors；
21. Primitive Algebraicity Certificate；
22. Primitive Core Ledger；
23. Finite Core Completion Theorem；
24. all-power Hodge implies primitive residual zero for every valid BLTP；
25. Presentation Algebraicity Load：
    $$
    \operatorname{PALoad}.
    $$

因此：

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

只指 R027 Primary Claim與 finite-core theorem schema。

---

# 56. Next Interface

下一輪建議：

```text
HODGE_MLRSC_R028_C_PrimitiveCoreStressAudit.md
```

現在應該反過來壓測 R027：

1. 是否所有 finite BLTP generator morphisms真的可乾淨 encode成 powers上的 ordinary Hodge classes；
2. Tate twists / duals是否引入 hidden coefficient issue；
3. automatic algebraic sector是否誤把 degree projector藏進 diagonal decomposition；
4. determinant / orientation primitive到底在幾個 factors出現；
5. abelian Weil classes如何放進 exact generator carrier；
6. K3-type invariant theory是否真的有 finite BLTP；
7. exceptional groups是否提供 counterexample to naive low-arity expectations；
8. 是否存在 BLTP但 primitive algebraicity core presentation需要 mixed powers / products of different varieties；
9. 檢查 finite-core equivalence是否需要進一步擴張到 joint-object category；
10. 決定 Phase III 是否首次需要回 R009 的 joint-object Measure carrier。

---

# 57. 本輪基本摘要

R026 說：

$$
\boxed{
\text{如果 higher invariants有 bounded local grammar，
就不用研究無限多 projectors。}
}
$$

R027 再往前：

固定一個 valid BLTP後，

all-power Hodge conjecture精確等價於：

$$
\boxed{
\text{那一小批 finite local Hodge generators全部 algebraic}.
}
$$

形式上：

$$
\boxed{
\operatorname{HC}(X^r)\ \forall r
\iff
\mathfrak R_{\mathrm{prim}}(\mathsf B)=0.
}
$$

所以真正研究對象從：

$$
X,
X^2,
X^3,
\ldots
$$

無限 Hodge class family，

壓成：

$$
\boxed{
\text{finite Primitive Invariant Core}.
}
$$

而且 structural部分：

- diagonal；
- permutation；
- polarization；
- algebraic endomorphism；
- Chern tensors；

大量自動消掉。

最後留下的才是：

- determinant/orientation；
- Weil；
- exceptional cubic/quartic；
- abstract Hodge endomorphism；
- 其他 representation-specific primitive tensors。

Weil classes尤其漂亮：

它們歷史上正是「divisors都沒問題，但 finite exceptional primitive core還沒 algebraic」的典型。

而 2025–2026 的新進展已經把 abelian fourfold這一塊 primitive core大幅 closure。

下一輪要做的是最重要的反向 audit：

$$
\boxed{
\text{R027 finite-core reduction有沒有偷偷藏任何 projector / mixed-object / Tate-type漏洞？}
}
$$

---

# 參考文獻

1. E. Markman, *Cycles on abelian $2n$-folds of Weil type from secant sheaves on abelian $n$-folds*, arXiv:2502.03415v2, 2025. Proves algebraicity of Weil classes for all abelian sixfolds of Weil type of discriminant $-1$, and deduces algebraicity for all abelian fourfolds of Weil type.  
   https://arxiv.org/abs/2502.03415

2. E. Markman, *Secant sheaves and Weil classes on abelian varieties*, arXiv:2509.23403, 2025. Survey/strategy and low-dimensional consequences for Weil classes.  
   https://arxiv.org/abs/2509.23403

3. S. Floccari, L. Fu, *The Hodge conjecture for Weil fourfolds with discriminant 1 via singular OG6-varieties*, Journal de Mathématiques Pures et Appliquées 210 (2026), 103876. Gives a new proof for discriminant-$1$ Weil fourfolds and their powers.

4. B. van Geemen, *Weil Classes and Decomposable Abelian Fourfolds*, SIGMA 18 (2022), 097. Weil-class deformation geometry and exceptional Hodge classes.  
   https://arxiv.org/abs/2108.02087

5. B. J. J. Moonen, Y. G. Zarhin, works on Hodge classes of abelian varieties. Low-dimensional Hodge rings and Weil-type exceptional classes.

6. H. Weyl, *The Classical Groups*. Classical tensor invariant generators.

7. G. Lehrer, R. Zhang, *The Brauer Category and Invariant Theory*. Orthogonal/symplectic bounded tensor presentations.  
   https://arxiv.org/abs/1207.5889

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

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

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

---

## Canonical Source Declaration

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

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

聊天畫面不是本輪 canonical source。