# HODGE_MLRSC_R026_C_BoundedProjectorGeneration
## ——BPLP 不是必要條件：Bounded Local Tensor Presentation、Projector Elimination 與 Classical-Group Finite Compression

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

---

## Round Metadata

**Round:** R026  
**Phase:** C / Scale–Category Coupling  
**Primary Claim:** R025 的 Bounded Projector Library Property 是 finite tensor-legality compression 的 sufficient condition，但不是必要條件。更基本的 sufficient mechanism 是 **Bounded Local Tensor Presentation**：若 graded Hodge representation的全部 invariant morphisms可由有限個 arity 有界的 local invariant tensors/morphisms，經 rational linearity、tensor product、composition、duality與permutation生成，則 arbitrary high-arity invariant projectors可從 Hodge-class generation proof中消去。若 generator support arity不超過 $d$，則 $\tau_{\mathrm{HG}}\le d$；若這些 finite local generators皆有 algebraic witnesses，則 $\tau_{\mathrm{TL}}^{\mathrm{closed}}\le d$。Classical $GL/O/Sp$ tensor invariant theories提供 projector-free bounded presentations；$SL/SO$ 類型需再加入 determinant/volume tensor，故 bound受 standard representation dimension控制。Finite stabilizer recognition alone仍不推出 BLTP，因 `same stabilizer` 不等於 `same explicit morphism grammar`。  
**Status:** PROVED  
**Depends On:** R006、R022–R025、neutral Tannakian formalism、First Fundamental Theorems of classical invariant theory、Brauer/walled-Brauer tensor categories  
**Supersedes:** R025 將 BPLP 視為下一個主要 sufficient target的研究優先序；BPLP 保留為 sufficient condition，但 R026 證明 projector-free BLTP 可直接繞過它  
**Backtrack Target:** 無；若 Hodge representation落在 mixed/non-semisimple category，BLTP需重新定義  
**Evidence Level:** E2 / exact grammar implication theorems + classical FFT regimes  
**Formalization Status:** NOT FORMALIZED  
**Computation Status:** REPRESENTATION-THEORETIC GRAMMAR ANALYSIS  

---

# 0. R025 的問題其實還能再弱化

R025 問：

$$
\boxed{
\mathrm{BPLP}(X)\ ?
}
$$

也就是：

> higher tensor invariants所需要的 projectors，能否由 bounded finite projector library壓縮？

這是一個有用 sufficient condition。

但 R026 注意到：

> 若 higher invariants根本可以直接由 bounded local tensor diagrams生成，就沒有必要先構造 invariant projector，再將它 algebraize。

因此真正更底層的問題是：

$$
\boxed{
\text{Does the Hodge invariant tensor system admit a bounded local presentation?}
}
$$

---

# 1. Basic representation carrier

令：

$$
V
=
\mathcal H_X
=
\bigoplus_k
H^k(X,\mathbb Q)
$$

搭配 grading、Tate objects與 duality bookkeeping。

令：

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

為 R006 的 graded cohomological Mumford–Tate group。

Hodge tensors就是：

$$
\boxed{
G\text{-invariant tensors}.
}
$$

---

# 2. Tensor words

令：

$$
W
$$

為由：

- $V$；
- $V^\vee$；
- finite tensor products；
- finite direct sums；
- Tate twists；
- graded components；

形成的 tensor word / finite tensor construction。

對兩個 tensor words：

$$
W_1,W_2,
$$

Hodge morphism空間為：

$$
\boxed{
\operatorname{Hom}_G(W_1,W_2).
}
$$

由 rigidity：

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

所以 invariant morphism generation與 invariant tensor generation是同一問題的兩種寫法。

---

# 3. Local tensor generator

一個 local tensor generator：

$$
s
$$

可以是：

$$
s:
W_a\to W_b
$$

的 $G$-equivariant morphism，

或 equivalently：

$$
s\in
(W_a^\vee\otimes W_b)^G.
$$

定義其：

$$
\boxed{
\operatorname{supparity}(s)
}
$$

為將其視為 Hodge tensor時，所需 self-power：

$$
X^r
$$

的最小 factor arity上界。

這是 legality certificate scale要計算的 arity。

---

# 4. Local structural operations

R026 的 local grammar允許：

1. rational linear combinations；
2. tensor products；
3. composition；
4. dual morphisms；
5. evaluation / coevaluation；
6. symmetric-group permutations；
7. factor regrouping；
8. Tate twists；
9. grading-compatible inclusions already built into the carrier。

這些 operation不包含：

$$
\boxed{
\text{arbitrary invariant-subspace projector oracle}.
}
$$

---

# 5. Bounded Local Tensor Presentation

## 定義 5.1

稱：

$$
(G,V)
$$

具有 degree：

$$
d
$$

的 **Bounded Local Tensor Presentation**，記：

$$
\boxed{
\mathrm{BLTP}_d(G,V),
}
$$

若存在 finite set：

$$
\mathcal S_{\mathrm{loc}}
=
\{s_1,\ldots,s_m\}
$$

滿足：

$$
\operatorname{supparity}(s_i)\le d
$$

且對任意 tensor words：

$$
W_1,W_2,
$$

全部：

$$
\operatorname{Hom}_G(W_1,W_2)
$$

由：

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

與 Section 4 operations生成。

---

# 6. BLTP 是 uniform statement

BLTP不是：

> 對每個 tensor arity各自找一組 generators。

它要求：

$$
\boxed{
\text{同一 finite local library}
}
$$

生成任意大 tensor arity的 invariant morphisms。

所以：

$$
\mathrm{BLTP}_d
$$

正是 R025 所尋找的 uniform compression mechanism之一。

---

# 7. Hodge-side BLTP

若：

$$
G=G_X^{\mathrm{coh}},
$$

且：

$$
\mathrm{BLTP}_d(G,V)
$$

成立，

則每個 higher-power Hodge tensor都由 support arity：

$$
\le d
$$

的 finite Hodge tensor library生成。

因此：

## 定理 7.1

$$
\boxed{
\mathrm{BLTP}_d(G_X^{\mathrm{coh}},V)
\Longrightarrow
\tau_{\mathrm{HG}}(X)\le d.
}
$$

### 證明

任一 Hodge class on：

$$
X^r
$$

經 Künneth可視為某 tensor word中的：

$$
G
$$

-invariant tensor。

由 BLTP，

它由 finite local invariant library與 allowed tensor operations生成。

所以 Hodge Generation Depth不超：

$$
d.
$$

證畢。

---

# 8. Algebraic BLTP

## 定義 8.1

若：

$$
\mathrm{BLTP}_d
$$

的一組 finite local generators：

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

全部具有 algebraic cycle / correspondence witnesses，

稱：

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

也就是：

**Algebraic Bounded Local Tensor Presentation**。

---

# 9. Algebraic BLTP Theorem

## 定理 9.1

若：

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

則：

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

因此：

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

對所有：

$$
r\ge1
$$

及所有 codimensions成立。

### 證明

finite local generators已有 algebraic witnesses，

且 support arity：

$$
\le d.
$$

R010/R022 的 algebraic-safe tensor operations：

- external product；
- pull/push；
- permutation；
- composition；
- contraction；
- rational linearity；

保持 algebraicity。

BLTP又保證每個 Hodge tensor可由此 library生成。

所以 all-power Hodge classes都有 algebraic derivations。

primitive certificate library arity不超：

$$
d.
$$

證畢。

---

# 10. Projector Elimination Principle

假設一個 semantic proof說：

> 先把 tensor word：
> $$
> W
> $$
> 投影到：
> $$
> W^G,
> $$
> 再取所需 Hodge tensor。

若：

$$
\mathrm{BLTP}_d
$$

成立，

則每個：

$$
\tau\in W^G
$$

本身已有：

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

diagram expression。

所以對：

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

而言，

不需要 algebraize整個 global projector：

$$
P_W:W\to W^G.
$$

---

# 11. Projector Elimination Theorem

## 定理 11.1

若：

$$
\mathrm{BLTP}_d(G,V)
$$

成立，

則任意 Hodge invariant tensor：

$$
\tau\in W^G
$$

可由 projector-free derivation生成。

因此 arbitrary family：

$$
\{P_W\}
$$

of invariant-subspace projectors不是 strict Hodge generation的必要 primitive library。

### 證明

由 BLTP definition：

$$
\operatorname{Hom}_G(\mathbf 1,W)
$$

由 local generators與 structural operations生成。

而：

$$
\operatorname{Hom}_G(\mathbf 1,W)
=
W^G.
$$

所以：

$$
\tau
$$

已有 direct diagram expression，

不需先 apply：

$$
P_W.
$$

證畢。

---

# 12. BPLP is sufficient but not necessary

R025 的 BPLP說：

> bounded projectors可以避免 unbounded projector-family wall。

R026 現在得到：

$$
\boxed{
\mathrm{BLTP}
\Longrightarrow
\text{projectors may be eliminated from class-generation proof}.
}
$$

因此 finite tensor-legality closure可以成立，

即使我們從未構造：

$$
\boxed{
\text{a bounded library of all invariant projectors}.
}
$$

所以：

$$
\boxed{
\mathrm{BPLP}
\text{ is sufficient, not necessary}.
}
$$

---

# 13. BPLP 与 BLTP 比較

### BPLP

控制：

$$
\boxed{
\text{how invariant subspaces are split}.
}
$$

### BLTP

控制：

$$
\boxed{
\text{how invariant morphisms themselves are written}.
}
$$

對 Hodge conjecture class existence，

BLTP更直接，

因 target本來就是 invariant tensor，

不一定需要整個 invariant subspace projector。

---

# 14. Stabilizer recognition still weaker

R006 給：

$$
\operatorname{Stab}(\mathcal S_{\mathrm{rec}})
=
G.
$$

這只說：

$$
\boxed{
\mathcal S_{\mathrm{rec}}
\text{ defines the symmetry group}.
}
$$

BLTP則要求：

$$
\boxed{
\mathcal S_{\mathrm{loc}}
\text{ generates every }G\text{-equivariant tensor morphism}.
}
$$

所以：

$$
\boxed{
\text{finite stabilizer description}
\not\Rightarrow
\mathrm{BLTP}
}
$$

as a certificate statement。

---

# 15. Why Chevalley-type finite stabilizer theorems are not enough

linear algebraic subgroup：

$$
G\subseteq GL(V)
$$

可由 finite tensor/line stabilizer data描述，

這解決：

$$
\boxed{
\text{recognition}.
}
$$

但 R026需要的是一個 **First Fundamental Theorem type statement**：

> 所有 invariants / intertwiners可由哪些 explicit local contractions與 primitive tensors生成？

後者比：

$$
G=\operatorname{Stab}(\mathcal S)
$$

多了 morphism-generation資訊。

---

# 16. Classical $GL(V)$ control

對：

$$
G=GL(V),
$$

mixed tensors：

$$
V^{\otimes r}\otimes(V^\vee)^{\otimes s}
$$

的 invariant contractions由：

- evaluation：
  $$
  V^\vee\otimes V\to\mathbb Q;
  $$
- coevaluation；
- permutations；

生成。

這可以用 walled-Brauer / classical FFT language表述。

所以 local support arity最多：

$$
\boxed{
2.
}
$$

因此：

$$
\boxed{
\mathrm{BLTP}_2(GL(V),V)
}
$$

在 mixed-tensor category中成立。

---

# 17. Orthogonal group control

令：

$$
G=O(V,q).
$$

First Fundamental Theorem for orthogonal group告訴我們：

tensor invariants由 bilinear pairing：

$$
q:
V\otimes V\to\mathbb Q
$$

與其 dual contraction、permutations生成。

Brauer category正是此 diagram grammar。

所以：

$$
\boxed{
\mathrm{BLTP}_2(O(V,q),V).
}
$$

---

# 18. Symplectic group control

令：

$$
G=Sp(V,\omega).
$$

tensor invariants由 symplectic form：

$$
\omega:
V\otimes V\to\mathbb Q
$$

與 contraction / permutation diagrams生成。

所以：

$$
\boxed{
\mathrm{BLTP}_2(Sp(V,\omega),V).
}
$$

---

# 19. Special linear group

對：

$$
SL(V),
$$

除了 $GL$ 型 contractions外，

還有 determinant / volume tensor：

$$
\boxed{
\varepsilon
\in
\wedge^{m}V^\vee,
\qquad
m=\dim V.
}
$$

以及 dual volume tensor。

因此可取 finite local library support arity：

$$
\boxed{
d\le m.
}
$$

所以：

$$
\boxed{
\mathrm{BLTP}_{m}(SL(V),V)
}
$$

作為 classical FFT upper bound。

R026 不主張：

$$
m
$$

總是 minimal。

---

# 20. Special orthogonal group

對：

$$
SO(V,q),
$$

$O(V,q)$ 的 pairings之外，

orientation / volume tensor在 full tensor invariant system中可新增：

$$
SO
$$

-specific invariants。

因此可用：

- quadratic form：
  arity $2$；
- volume tensor：
  arity $m$；

得到：

$$
\boxed{
\mathrm{BLTP}_{m}(SO(V,q),V)
}
$$

作為 upper-bound formulation。

---

# 21. Similitude and Tate bookkeeping

Hodge groups常出現：

$$
GSp,
\quad
GO
$$

或 Mumford–Tate group帶 weight character。

此時 pairing並非 scalar invariant，

而是取值於 Tate / similitude character object。

在 graded Hodge tensor category中加入：

$$
\mathbb Q(1)
$$

等 Tate objects後，

同一 local contraction grammar仍可使用。

所以：

$$
\boxed{
\text{similitude does not force unbounded arity};
}
$$

它主要增加 character / Tate bookkeeping。

---

# 22. Products of classical blocks

若：

$$
V
=
V_1\oplus\cdots\oplus V_t
$$

且：

$$
G
$$

在 blocks上由 finite product of classical factors控制，

再加 finite set block projectors / inclusions，

則 invariant grammar可由各 block的 finite local generators聯合生成。

因此 conditional upper bound：

$$
\boxed{
d
\le
\max
\{d_1,\ldots,d_t,d_{\mathrm{block}}\}.
}
$$

其中：

$$
d_{\mathrm{block}}
$$

記 block-separation tensors的 support arity。

---

# 23. Extra endomorphism fields

若 Hodge representation帶 finite-dimensional endomorphism algebra：

$$
E
\subseteq
\operatorname{End}_{\mathrm{HS}}(V),
$$

則一組：

$$
\mathbb Q
$$

-basis：

$$
u_1,\ldots,u_s
$$

of：

$$
E
$$

可視為 arity-$2$ Hodge tensors：

$$
V^\vee\otimes V.
$$

若這些 endomorphisms都有 algebraic correspondence witnesses，

則 extra endomorphism symmetry本身只增加 finite low-arity local generators。

---

# 24. Elliptic curve revisited

對 non-CM elliptic curve：

$$
H^1(E)
$$

的 Hodge group為 classical symplectic / $SL_2$ 型。

polarization pairing是 algebraic。

classical invariant grammar因此 low arity closure。

對 CM elliptic curve，

額外 CM endomorphism是 arity-$2$ tensor，

其 graph algebraic。

所以兩種 elliptic regimes都符合：

$$
\boxed{
\text{bounded local algebraic presentation}.
}
$$

這重新解釋 R022 的：

$$
\tau_{\mathrm{TL}}(E)\le2.
$$

---

# 25. Abelian varieties：conditional classical reduction

對 abelian variety：

$$
A,
$$

$H^1(A)$具有 polarization與 endomorphism algebra。

若其 Mumford–Tate/Hodge group的 tensor invariant theory可由：

- polarization；
- algebraic endomorphism tensors；
- finite exceptional Hodge tensors：

$$
\eta_1,\ldots,\eta_s
$$

生成，

且：

$$
\eta_i
$$

全部 algebraic，

則：

$$
\boxed{
\mathrm{ABLTP}_d(A)
}
$$

with：

$$
d
=
\max
\left(
2,
\operatorname{arity}(\eta_i)
\right).
$$

因此 all-power Hodge follows。

這是 conditional reduction，

不是 general abelian Hodge theorem。

---

# 26. Weil-type classes as finite primitive generator candidates

exceptional Weil classes顯示：

$$
\boxed{
\text{pairing/divisor grammar alone不 universal}.
}
$$

但若某 abelian Hodge group的 additional invariant theory只需有限 Weil-type primitive tensors，

那問題就被壓成：

1. finite invariant-generation theorem；
2. those primitive tensors的 algebraicity。

這正是：

$$
\boxed{
\text{BLTP}
\to
\text{ABLTP}
}
$$

interface。

---

# 27. K3-type orthogonal reduction

對許多 K3-type transcendental Hodge structures，

Hodge group接近 orthogonal group或帶 endomorphism field的 orthogonal centralizer。

如果 relevant tensor representation確由：

- polarization form；
- algebraic endomorphism tensors；
- possibly orientation/volume-type primitive tensor；

的 classical invariant grammar控制，

則：

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

有 finite representation-theoretic upper bound。

真正 legality問題縮成：

> extra finite primitive tensors是否 algebraic？

---

# 28. Generic orthogonal vs special orthogonal distinction

若 actual Hodge group包含 reflection-type symmetry並等於：

$$
O(V,q),
$$

pairing可能已控制全部 standard tensor invariants。

若縮小到：

$$
SO(V,q),
$$

volume tensor可能成為新增 invariant。

因此：

$$
\boxed{
\text{group component structure can change required generator arity}.
}
$$

這是純 Measure-to-Generation coupling。

---

# 29. Exceptional groups：finite defining tensors不等於已證 BLTP

exceptional algebraic groups常可作某些 special tensors的 stabilizers，

例如：

- cubic forms；
- alternating forms；
- higher multilinear forms。

這顯示：

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

可能很低。

但 R026 不由此直接宣告：

$$
\boxed{
\mathrm{BLTP}.
}
$$

還需要對 corresponding representation證明：

> 全部 tensor invariants由這些 primitive tensors與 local operations生成。

也就是需要 exceptional-group FFT / tensor-category presentation。

---

# 30. Recognition–Presentation Gap v2

因此 R023 的 Invariant Extraction Gap可以再細分：

### Recognition data

finite tensors：

$$
\mathcal S_{\mathrm{rec}}
$$

with：

$$
\operatorname{Stab}(\mathcal S_{\mathrm{rec}})=G.
$$

### Presentation data

finite local morphism generators：

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

such that：

$$
\operatorname{Hom}_G(W_1,W_2)
$$

for all tensor words由它們生成。

兩者可能重疊，

但 certification obligations不同。

---

# 31. Bounded Local Presentation Depth

定義：

$$
\boxed{
\tau_{\mathrm{BLP}}(X)
=
\min
\left\{
d:
\mathrm{BLTP}_d(G_X^{\mathrm{coh}},V)
\right\}.
}
$$

若未建立任何 finite bound，

記：

$$
\boxed{
\tau_{\mathrm{BLP}}=\infty
}
$$

as research status。

由 Theorem 7.1：

$$
\boxed{
\tau_{\mathrm{HG}}
\le
\tau_{\mathrm{BLP}}.
}
$$

---

# 32. Relation to $\tau_{\mathrm{HT}}$

因 BLTP的 finite local tensors當然足以描述全部 invariant morphisms，

它們的共同 stabilizer就是：

$$
G.
$$

所以：

$$
\boxed{
\tau_{\mathrm{HT}}
\le
\tau_{\mathrm{BLP}}.
}
$$

但：

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

可遠小於：

$$
\tau_{\mathrm{BLP}},
$$

因 recognition比 morphism presentation弱。

---

# 33. Relation to algebraic legality depth

若 minimal BLTP generators全部 algebraic，

則：

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

所以在 ABLTP regime，

projector doubling完全消失。

這比 R024/R025 的：

$$
2N
$$

projector-mediated bound更強。

---

# 34. Projector-mediated vs projector-free routes

現在有兩條 finite closure路徑。

---

## Route P：Projector route

$$
\text{finite Hodge generation}
+
\mathrm{BPLP}
+
\mathrm{ARG\ projectors}
\Longrightarrow
\text{finite tensor legality}.
$$

典型 primitive arity upper bound：

$$
\max(N_G,2P).
$$

---

## Route D：Diagram route

$$
\mathrm{ABLTP}_d
\Longrightarrow
\text{finite tensor legality}.
$$

primitive arity：

$$
\le d.
$$

Route D不需要 arbitrary invariant projector library。

---

# 35. Compression Dominance Principle

如果同一 Hodge invariant system同時有：

- projector route bound：
  $$
  D_P;
  $$
- diagram route bound：
  $$
  D_D;
  $$

則應保留較低：

$$
\boxed{
D_{\mathrm{best}}
=
\min(D_P,D_D).
}
$$

Phase III 不應強迫單一 proof architecture。

---

# 36. Why BPLP may still be useful

雖然 BPLP不是 necessary，

仍有三個重要用途：

1. invariant theory presentation未知時，可用 projector semantics建立 finite certificate；
2. decomposition / isotypic analysis本身需要 projectors；
3. relative/family problems可能要求 tracking specific summands而不是只生成 scalar invariant tensors。

所以 BPLP與 BLTP是：

$$
\boxed{
\text{complementary compression mechanisms}.
}
$$

---

# 37. Relative BLTP

對 VHS / family，

local tensor generator還可要求：

- flatness；
- Hodge type preservation；
- relative algebraic correspondence realization。

若同一 finite local generator package在 base上 uniform存在，

可定義：

$$
\boxed{
\mathrm{RBLTP}_d.
}
$$

這會同時壓縮：

- tensor arity；
- deformation category；
- projector transport。

R026 只標記此 extension，

不在本輪證 relative theorem。

---

# 38. BLTP does not mean finite-dimensional total invariant space

即使：

$$
\mathrm{BLTP}_d
$$

成立，

higher arity：

$$
W^G
$$

dimensions仍可無界增長。

finite presentation只表示：

$$
\boxed{
\text{all new invariants are composites of bounded local primitives}.
}
$$

不是：

$$
\boxed{
\text{after arity }d\text{ no new invariant tensor appears}.
}
$$

---

# 39. This resolves a R006/R022 tension

R006：

$$
\tau_{\mathrm{HT}}<\infty
$$

說 symmetry recognition finite。

R022：

higher tensor candidate spaces仍可一直長。

BLTP提供中間解釋：

> candidates可以一直新增，但它們可能全是 bounded local grammar的新 composites。

所以：

$$
\boxed{
\text{unbounded candidate count}
}
$$

與：

$$
\boxed{
\text{finite generator arity}
}
$$

完全相容。

---

# 40. Strict morphism generation certificate

R026 建議新增：

$$
\boxed{
\mathsf{BLTPCert}
=
\left[
G,V;
\mathcal S_{\mathrm{loc}};
d;
\text{FFT/presentation theorem};
\text{allowed diagram operations}
\right].
}
$$

若要升為 legality certificate，

再加入每個：

$$
s_i
$$

的 algebraic witness：

$$
\boxed{
\mathsf{ABLTPCert}.
}
$$

---

# 41. Algebraic generator provenance

每個 local generator應標：

### STRUCTURAL

evaluation / coevaluation / permutation / identity。

### POLARIZATION

ample / Poincaré pairing-induced algebraic tensor。

### ENDOMORPHISM

graph of algebraic endomorphism / correspondence。

### VOLUME

determinant / orientation-type Hodge tensor。

### EXCEPTIONAL

Weil / cubic / higher primitive invariant。

只有最後兩類通常可能形成新的 algebraicity obligation。

---

# 42. Generator-risk principle

classical pairings往往已有 geometric algebraic origin，

而真正風險集中於：

$$
\boxed{
\text{primitive invariants not generated by pairings/endomorphisms}.
}
$$

所以 BLTP不只是 upper-bound工具，

還能指出 all-power Hodge problem真正應攻哪些 finite tensors。

---

# 43. Finite Primitive Reduction Theorem

## 定理 43.1

假設：

1.：
   $$
   \mathrm{BLTP}_d(G_X^{\mathrm{coh}},V);
   $$
2. local generator set：
   $$
   \mathcal S_{\mathrm{loc}}
   $$
   finite；
3. structural/polarization/endomorphism generators已 algebraic。

則 all-power rational Hodge conjecture for $X$ 被 reduction為：

$$
\boxed{
\text{剩餘 finite primitive generators in }
\mathcal S_{\mathrm{loc}}
\text{ 是否 algebraic}.
}
$$

若全部 algebraic，

則：

$$
\mathrm{ABLTP}_d
$$

成立，

故 all-power Hodge成立。

證畢。

---

# 44. Why this is stronger than finite stabilizer reduction

finite stabilizer reduction只能說：

> 證明 recognition tensors algebraic也許很重要。

但 recognition tensors未必生成全部 invariants。

Finite Primitive Reduction Theorem則要求：

$$
\boxed{
\text{actual morphism-generation package}.
}
$$

所以一旦找到：

$$
\mathsf{BLTPCert},
$$

才真正把 infinitely many Hodge statements壓成 finite algebraicity list。

---

# 45. Potential universal theorem remains open in this program

R026 不證：

$$
\boxed{
\text{every reductive }(G,V)
\text{ admits finite BLTP}.
}
$$

即使：

- $G$ finite type；
- $V$ faithful；
- $G$為 finite tensors stabilizer；

也不能在本輪直接跳到 projector-free bounded morphism presentation。

需要 representation-specific / invariant-theoretic theorem。

---

# 46. No contradiction with Tannakian generation

Tannakian theory說：

$$
V
$$

作 faithful tensor generator，

經：

- tensor；
- dual；
- direct sums；
- subquotients / direct summands；

可生成：

$$
\operatorname{Rep}(G).
$$

但：

$$
\boxed{
\text{object generation}
}
$$

不等於：

$$
\boxed{
\text{projector-free bounded morphism generation}.
}
$$

R026 的 BLTP要求後者。

所以沒有和 standard Tannakian reconstruction矛盾。

---

# 47. Karoubi completion is exactly the distinction

若允許任意 idempotent splitting，

Tannakian category generation很容易。

但 R025 已顯示：

> arbitrary high-arity projector family可能破壞 finite closed-cost compression。

BLTP問的是：

$$
\boxed{
\text{能不能在 Karoubi projector proliferation之前，
直接找到 bounded diagram grammar？}
}
$$

這就是它比 ordinary tensor-generation更強的地方。

---

# 48. Projector Elimination Audit

對一個 proposed invariant-generation theorem，

定義：

$$
\boxed{
\mathrm{PEAudit}=1
}
$$

若：

1. all target Hodge invariant tensors有 projector-free diagram expressions；
2. diagram primitive generator set finite；
3. primitive generator support arity uniformly bounded。

此時：

$$
\boxed{
\mathrm{BPLP}
}
$$

不再是 Hodge-class legality closure的必要中介。

---

# 49. PEAudit + generator algebraicity

## 定理 49.1

若：

$$
\mathrm{PEAudit}=1
$$

且 finite diagram primitive generators皆 algebraic，

則：

$$
\boxed{
\tau_{\mathrm{TL}}^{\mathrm{closed}}<\infty.
}
$$

更精確：

若 max support arity為：

$$
d,
$$

則：

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

---

# 50. Classical-group audit

在標準 representations的已知 FFT settings：

### $GL$

$$
\mathrm{PEAudit}=1
$$

with contraction/permutation grammar。

### $O$

$$
\mathrm{PEAudit}=1
$$

via Brauer diagrams。

### $Sp$

$$
\mathrm{PEAudit}=1
$$

via Brauer diagrams。

### $SL$

$$
\mathrm{PEAudit}=1
$$

after adding volume tensor。

### $SO$

$$
\mathrm{PEAudit}=1
$$

after adding orientation/volume tensor。

因此 classical regimes是：

$$
\boxed{
\text{projector-free finite-compression controls}.
}
$$

---

# 51. Hodge-theoretic caveat

實際：

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

可能不是單一標準 classical representation。

它可能：

- product；
- restriction of scalars；
- extra endomorphism centralizer；
- several cohomological degrees；
- non-standard representation；
- finite component extension。

所以不能只看到：

$$
G\simeq SO_m
$$

就直接套 standard-module FFT。

必須確認：

$$
\boxed{
\text{actual representation }V
}
$$

的 invariant category presentation。

---

# 52. Representation provenance becomes a new Phase-III axis

同一 algebraic group：

$$
G
$$

在不同 faithful representations：

$$
V
$$

上，

minimal local tensor generator arity可以不同。

所以：

$$
\boxed{
\tau_{\mathrm{BLP}}
}
$$

依賴：

$$
(G,V),
$$

不是只依 group isomorphism type。

這是：

$$
\boxed{
\text{symmetry group}
\times
\text{representation carrier}
}
$$

coupling。

---

# 53. Bounded Projector Generation conclusion

R025 的原始問題：

> projectors是否能 bounded？

R026 的更精確回答是：

1. 若有 BPLP，finite closure可能；
2. 若有 BLTP，projectors可從 class-generation proof消去；
3. classical FFT regimes往往直接給 BLTP；
4. general reductive recognition並不足以保證 BLTP；
5. 真正需要研究的是 actual Mumford–Tate representation的 finite invariant-morphism presentation。

---

# 54. No Backtrack

BLTP只使用：

- R006 Hodge symmetry；
- R022 tensor powers；
- R010 legality-safe operations。

沒有新的 carrier type。

所以：

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

這是 Phase III 的 representation-theoretic compression問題。

---

# 55. R026 Status

本輪已證／固定：

1. BPLP不是 finite legality closure的 necessary condition；
2. 定義：
   $$
   \mathrm{BLTP}_d(G,V);
   $$
3. BLTP implies：
   $$
   \tau_{\mathrm{HG}}\le d;
   $$
4. 定義：
   $$
   \mathrm{ABLTP}_d;
   $$
5. ABLTP implies：
   $$
   \tau_{\mathrm{TL}}^{\mathrm{closed}}\le d;
   $$
6. Projector Elimination Theorem；
7. finite stabilizer recognition不等於 BLTP certificate；
8. $GL$ mixed tensors具有 arity-$2$ contraction grammar；
9. $O$ / $Sp$具有 Brauer arity-$2$ grammar；
10. $SL$ / $SO$需 determinant / volume-type generator，給 dimension-controlled bound；
11. similitude groups可用 Tate bookkeeping處理；
12. product classical blocks可組合 finite local libraries；
13. algebraic endomorphism fields只需 finite arity-$2$ endomorphism generators；
14. abelian exceptional classes可被定位為 finite primitive generator candidates；
15. K3-type orthogonal cases可 reduction到 pairing + finite extra primitive invariants的 algebraicity；
16. exceptional group stabilizer data仍不等於 BLTP；
17. 定義：
    $$
    \tau_{\mathrm{BLP}};
    $$
18. projector route與 diagram route兩種 compression機制；
19. Finite Primitive Reduction Theorem；
20. Tannakian object generation與 projector-free morphism generation分離；
21. 定義 Projector Elimination Audit；
22. classical standard regimes通過 PEAudit；
23. minimal presentation依賴 actual representation，不只依 group type。

因此：

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

只指 R026 Primary Claim。

---

# 56. Next Interface

下一輪建議：

```text
HODGE_MLRSC_R027_C_PrimitiveInvariantAlgebraicity.md
```

現在 representation-side compression已經很乾淨。

下一步最值得做的不是再研究 projector，

而是：

$$
\boxed{
\text{finite primitive invariant generators是否 algebraic？}
}
$$

最低問題：

1. polarization/pairing generators可直接關閉；
2. algebraic endomorphism generators可直接關閉；
3. determinant/orientation generators的 Hodge type與 algebraicity；
4. Weil classes；
5. K3-type volume/orientation tensors；
6. exceptional group cubic/quartic tensors；
7. primitive generator若 algebraic，是否立即推出 all-power Hodge；
8. 建立：
   $$
   \text{Primitive Invariant Legality Table};
   $$
9. 找出第一個真正 finite list但仍 unresolved的 primitive tensors；
10. 看這是否把 all-power Hodge problem從無限猜想壓成有限 algebraicity core。

---

# 57. 本輪基本摘要

R025 把 fake runaway排除了，

並提出：

$$
\mathrm{BPLP}.
$$

R026 再往前一步：

$$
\boxed{
\mathrm{BPLP}
\text{ 根本不是必要條件。}
}
$$

如果 invariants本身可以由 bounded local diagrams生成，

就可以直接繞過 global invariant projectors。

因此真正更基本的條件是：

$$
\boxed{
\mathrm{BLTP}_d(G,V).
}
$$

一旦 local invariant generators也全部 algebraic：

$$
\boxed{
\mathrm{ABLTP}_d
\Longrightarrow
\tau_{\mathrm{TL}}^{\mathrm{closed}}\le d
}
$$

而且 all-power Hodge直接成立。

這也說明為什麼 classical groups特別重要：

- $GL$：contractions；
- $O$：pairing；
- $Sp$：symplectic pairing；
- $SL$：再加 determinant；
- $SO$：再加 orientation / volume；

都是 bounded local invariant grammars。

所以 all-power Hodge在這類 regime中真正值得攻的，

不是無限多 higher-power classes，

而是：

$$
\boxed{
\text{有限 primitive invariant generators的 algebraicity}.
}
$$

下一輪就直接攻這個 finite core。

---

# 參考文獻

1. H. Weyl, *The Classical Groups: Their Invariants and Representations*. Classical First Fundamental Theorems與 low-arity invariant generators的基本來源。

2. R. Howe, *Remarks on Classical Invariant Theory*, Transactions of the AMS 313 (1989), 539–570. Classical invariant theory的 tensor-generation觀點。

3. G. Lehrer, R. Zhang, *The Brauer Category and Invariant Theory*. Orthogonal / symplectic tensor invariant spaces的 Brauer-category presentation。  
   https://arxiv.org/abs/1207.5889

4. G. Lehrer, R. Zhang, *The Second Fundamental Theorem of Invariant Theory for the Orthogonal Group*, Annals of Mathematics 176 (2012). Brauer diagram relations與 orthogonal tensor invariants。

5. C. Procesi, *The invariant theory of $n\times n$ matrices*. Matrix / $GL$ invariant theory與 finite local contraction grammar。

6. P. Deligne, J. S. Milne, *Tannakian Categories*. Faithful tensor generators、subquotients與 neutral Tannakian reconstruction；object generation與 strict morphism presentation需區分。

7. B. J. J. Moonen, Y. G. Zarhin, works on Hodge classes of abelian varieties. Exceptional / Weil-type Hodge tensors顯示 pairings alone不 universal。

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

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

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

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

---

## Canonical Source Declaration

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

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

聊天畫面不是本輪 canonical source。