结果族 208：Finite symmetric tensor categories and the Verlinde tower · 学科：Algebra · 验证状态：暂无形式化证明，请以社区核验为准
在特征零的数学世界里，Deligne 定理给所有”对称张量范畴”提供了统一坐标系（超向量空间）。正特征的世界里坐标崩坏，数学家盖了一座层层加高的 Verlinde 塔当新坐标系。本文证明：每个有限的对称张量范畴都能装进这座塔的某一层——连最麻烦的特征 2 也首次被覆盖。
关键词卡片
@@M@@\mathrm{Ver}_p\subset\mathrm{Ver}_{p^2}\subset\cdots@@ 逐层扩大的塔式范畴序列。@@M@@p@@ 的倍数为零的数系，如 @@M@@\overline{\mathbb F}_p@@。看个具体例子
塔的底两层是老熟人：@@M@@\mathrm{Ver}_2@@ 本质上就是普通向量空间 @@M@@\mathrm{Vec}@@，@@M@@\mathrm{Ver}_3@@ 就是超向量空间 @@M@@\mathrm{sVec}@@——特征零的坐标系其实是这座塔的地基。层数 @@M@@n@@ 允许依赖于范畴 @@M@@\mathcal C@@；论文还附送”受限挠量定理”（把有限交换 @@M@@p@@-群的表示提升为 @@M@@SL_2@@ 的挠量模）与有限不可压缩范畴的完全分类。
为什么值得关心
Benson–Etingof–Ostrik 猜想的有限情形被彻底解决，正特征张量范畴从此有了统一坐标系；完整的非有限情形仍是下一步的挑战。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的”统一坐标系与塔”翻译过来：特征零世界里 Deligne 定理给所有对称张量范畴发同一张地图——超向量空间；正特征时这张地图失效，数学家改盖一座逐层加高的 Verlinde 塔当新坐标系。本文证明：每个有限的对范畴都能装进塔的某一层，连最麻烦的特征 @@M@@2@@ 也首次覆盖。
第二级台阶
@@M@@k@@-线性、Abel、刚性、对称幺门的范畴 @@M@@\mathcal C@@ 称为有限的，若它形态空间有限维、单对象本质有限多个、足够射影且 @@M@@\operatorname{End}(\mathbf 1)=k@@。纤维函子指 @@M@@k@@-线性、正合、忠实、强对称幺门的函子。第 @@M@@n@@ 层 @@M@@\operatorname{Ver}_{p^n}@@ 由 @@M@@SL_2@@ 的挠量模商掉 Steinberg 模（最高权 @@M@@p^n-1@@）生成的张量理想得到；塔底 @@M@@\operatorname{Ver}_2\simeq\operatorname{Vec}@@、@@M@@\operatorname{Ver}_3\simeq\operatorname{sVec}@@，高层不再半单。
第三级台阶
定理陈述：对任意素数 @@M@@p@@、特征 @@M@@p@@ 的代数闭域 @@M@@k@@ 与有限对称张量范畴 @@M@@\mathcal C@@，存在 @@M@@n\ge1@@ 与纤维函子 @@M@@\mathcal C\to\operatorname{Ver}_{p^n}(k)@@，层数可依赖于 @@M@@\mathcal C@@。有限性与足够射影挡住了无界增长带来的麻烦——定理对非有限的适度增长范畴不作断言，完整 BEO 猜想仍开放。附赠受限挠量定理与有限不可压缩范畴的完全分类，呼应导读”塔底两层是老熟人”的图景。
第一级台阶
导读的”统一坐标系与塔”翻译过来：特征零世界里 Deligne 定理给所有对称张量范畴发同一张地图——超向量空间；正特征时这张地图失效，数学家改盖一座逐层加高的 Verlinde 塔当新坐标系。本文证明：每个有限的对范畴都能装进塔的某一层，连最麻烦的特征 @@M@@2@@ 也首次覆盖。
第二级台阶
@@M@@k@@-线性、Abel、刚性、对称幺门的范畴 @@M@@\mathcal C@@ 称为有限的，若它形态空间有限维、单对象本质有限多个、足够射影且 @@M@@\operatorname{End}(\mathbf 1)=k@@。纤维函子指 @@M@@k@@-线性、正合、忠实、强对称幺门的函子。第 @@M@@n@@ 层 @@M@@\operatorname{Ver}_{p^n}@@ 由 @@M@@SL_2@@ 的挠量模商掉 Steinberg 模（最高权 @@M@@p^n-1@@）生成的张量理想得到；塔底 @@M@@\operatorname{Ver}_2\simeq\operatorname{Vec}@@、@@M@@\operatorname{Ver}_3\simeq\operatorname{sVec}@@，高层不再半单。
第三级台阶
定理陈述：对任意素数 @@M@@p@@、特征 @@M@@p@@ 的代数闭域 @@M@@k@@ 与有限对称张量范畴 @@M@@\mathcal C@@，存在 @@M@@n\ge1@@ 与纤维函子 @@M@@\mathcal C\to\operatorname{Ver}_{p^n}(k)@@，层数可依赖于 @@M@@\mathcal C@@。有限性与足够射影挡住了无界增长带来的麻烦——定理对非有限的适度增长范畴不作断言，完整 BEO 猜想仍开放。附赠受限挠量定理与有限不可压缩范畴的完全分类，呼应导读”塔底两层是老熟人”的图景。
证明了 Benson–Etingof–Ostrik 猜想的有限情形：特征 @@M@@p>0@@ 的代数闭域上，任何有限对称张量范畴都容许到某层高阶 Verlinde 范畴 @@M@@\mathrm{Ver}_{p^n}(k)@@ 的纤维函子，且首次覆盖特征 @@M@@2@@，为正特征张量范畴补上统一”坐标系”。
特征零中 Deligne 定理断言：适度增长的对称张量范畴都有到超向量空间的纤维函子 (fiber functor)，因而都是超群表示。正特征下该图景失效：Etingof–Ostrik 的 Frobenius 函子一般不正合，Benson–Etingof 的特征 @@M@@2@@ 反例又催生了 Benson–Etingof–Ostrik 的高阶 Verlinde 塔 @@M@@\mathrm{Ver}_p\subset\mathrm{Ver}_{p^2}\subset\cdots@@（2023），并猜想适度增长 (moderate growth) 的对称张量范畴都落入塔的并。此前仅知融合范畴等特例；本文彻底解决有限 (finite) 情形，含最棘手的 @@M@@p=2@@。
主定理：对任意素数 @@M@@p@@、特征 @@M@@p@@ 的代数闭域 @@M@@k@@ 与有限对称张量范畴 @@M@@\mathcal C@@（@@M@@k@@-线性 Abel、刚性、对称幺半、有限多单对象、足够射影），存在 @@M@@n\ge1@@ 与 @@M@@k@@-线性、正合、忠实、强对称幺半函子 @@M@@\mathcal C\to\operatorname{Ver}_{p^n}(k)@@；层数 @@M@@n@@ 可依赖于 @@M@@\mathcal C@@。@@M@@\operatorname{Ver}_{p^n}@@ 由 @@M@@SL_2@@ 挠量模 (tilting module) 商掉 Steinberg 模生成的张量理想所得，@@M@@\operatorname{Ver}_2\simeq\operatorname{Vec}@@、@@M@@\operatorname{Ver}_3\simeq\operatorname{sVec}@@，高层不再半单。
受限挠量定理（独立表示论贡献）：将 @@M@@E_r=(\mathbb Z/p)^r@@ 嵌入 @@M@@SL_2@@ 的上幺幂子群并记限制为 @@M@@R@@，则对每个 @@M@@kE_r@@-模 @@M@@D@@ 存在挠量 @@M@@SL_2@@-模 @@M@@T@@ 使 @@M@@R(\operatorname{St}_{r-1})\otimes D\cong R(T)@@，完整证明了 Coulembier–Flake 的受限挠量猜想（此前仅知秩一与 @@M@@p=r=2@@ 等特例）。
推论：与 Benson–Etingof–Ostrik 的子范畴分类结合，完全分类了有限不可压缩 (incompressible) 范畴——恰为各层 @@M@@\operatorname{Ver}_{p^m}@@、其偶分支 @@M@@\operatorname{Ver}_{p^m}^+@@，及 @@M@@p\ge5@@ 时的 @@M@@\operatorname{Vec},\operatorname{sVec}@@；特征 @@M@@2@@ 中到塔并 @@M@@\operatorname{Ver}_{2^\infty}@@ 的纤维函子本质唯一；并由广义 Tannaka 对偶重建为有限层内部群概形的表示。
证明分四步。第一步：受限挠量定理。对 @@M@@kE_r@@-模 @@M@@D@@（@@M@@q=p^r@@），先用截断多项式插值把 @@M@@D@@ 提升为有理 @@M@@\mathbb G_a@@-模，沿轨道映射作 @@M@@G@@-等变向量丛延拓过原点；由 Steinberg 张量积定理与 BEO 引理的推广，原点纤维合成因子最高权 @@M@@<q@@，张上 @@M@@\operatorname{St}_{r-1}@@ 后即为挠量模。核心的形式比较引理借 @@M@@\operatorname{Ext}@@ 消没（Cline–Parshall–Scott–van der Kallen）逐阶构造与 @@M@@G@@-作用兼容的形式平凡化，限制到 @@M@@U@@-固定直线后以环面元抵消参数缩放，再因 @@M@@k@@ 无穷把同构下降回 @@M@@k@@，把原点纤维与 @@M@@e_1@@ 处纤维等同为 @@M@@U@@-模。
第二步：高阶 Frobenius 函子。把第一步喂给 Coulembier–Flake 的高阶 Frobenius 机构，得可加、强对称幺半的 @@M@@\Phi(X)=\Theta_{\mathcal C}(X^{\otimes q}):\mathcal C\to\mathcal C\boxtimes\operatorname{Ver}_{p^r}@@，它半线性（@@M@@\Phi(af)=a^q\Phi(f)@@）且未必正合；若有射影生成元 @@M@@P@@ 使 @@M@@\Theta(\operatorname{Hom}(P,P^{\otimes q}))\neq0@@，则 @@M@@\Phi(P)\neq0@@，非零对象张量忠实并反映正合，@@M@@\Phi@@ 即正合。
第三步：选秩与嵌入。先取最小 @@M@@r@@ 使 @@M@@M(r)=\operatorname{Hom}(P,P^{\otimes p^r})@@ 作为 @@M@@E_r@@-模非射影：若不然，范映射 (norm map) 判据与 Chouinard 定理给出 @@M@@\omega(P^{\otimes d})@@ 皆为 @@M@@k\mathfrak S_d@@-射影，全对称化子 @@M@@b_d@@ 作用非零；但正特征下置换范畴的任何非零张量理想必含某个 @@M@@b_d@@，与 @@M@@\dim\operatorname{End}(P^{\otimes d})@@ 至多指数增长矛盾。最小性保证 @@M@@M(r)@@ 对真子群限制皆射影，故其秩支撑 (rank support) 中点的坐标 @@M@@\mathbb F_p@@-线性无关；受限 Steinberg 模的支撑恰由 @@M@@\sum_i\alpha_i\lambda_i^{p^j}=0@@（@@M@@0\le j\le r-2@@）刻画，用 Moore 矩阵可选线性无关的 @@M@@\lambda_i@@ 落在解中，使 @@M@@R_\lambda(\operatorname{St}_{r-1})\otimes M@@ 仍非射影，即形如 @@M@@R_\lambda(T)@@，@@M@@\Phi@@ 正合。
第四步：维数下降。用标量输运 (scalar transport) 统一迭代半线性，得正合 @@M@@\Psi_N:\mathcal C\to\mathcal C\boxtimes\mathcal W^{\boxtimes N}@@。借 Grothendieck 环模 @@M@@p@@ 同余比较 Frobenius–Perron 维数：@@M@@\Phi(S)@@ 的合成因子 @@M@@A\boxtimes B@@ 满足 @@M@@d(A)\le d(S)@@，等号迫使 @@M@@S@@ 落入 Frobenius 精确 (Frobenius exact) 子范畴且 @@M@@A@@ 唯一，于是有向图中等权圈”吸收”一切路径，@@M@@N@@ 步后第一分量全落入 @@M@@\mathcal C_{\mathrm{ex}}@@ 的 Serre 闭包 @@M@@\mathcal D@@。@@M@@p>2@@ 时 @@M@@\mathcal D@@ 有到 @@M@@\operatorname{Ver}_p@@ 的纤维函子，@@M@@p=2@@ 时由 Etingof–Gelaki 延拓定理得 @@M@@\mathcal D\to\operatorname{Ver}_4^+@@；合并进单层 @@M@@\operatorname{Ver}_{p^n}@@（@@M@@n=\max(2,r)@@）并修正标量作用即得纤维函子。
本文是 OpenAI 2026 年 9 月预印本，主结果暂无形式化证明；按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。证明骨架大量援引已发表文献（BEO 的塔与分类、Etingof–Ostrik 与 Coulembier–Flake 的 Frobenius 机构），自身新贡献集中在受限挠量定理与”最小秩 + 秩支撑选嵌入 + 维数下降”主线。主定理与既有分类结合，即得不可压缩分类、特征 @@M@@2@@ 唯一性与 Tannaka 重建；完整 BEO 猜想（非有限情形）仍开放。
问 1：证明里最关键、最脆弱的一步是什么？
（答：受限挠量定理（Theorem restricted-tilting）——对任意 @@M@@kE_r@@-模 @@M@@D@@ 找到挠量 @@M@@SL_2@@-模 @@M@@T@@ 使 @@M@@R(\mathrm{St}_{r-1})\otimes D\cong R(T)@@。引言自承”几何比较是处理任意 @@M@@D@@ 的额外一步”：把 @@M@@D@@ 提升到加法群、把等变向量丛延拓过原点、再借 @@M@@\operatorname{Ext}@@ 消没逐阶做形式纤维比较。它既是 Coulembier–Flake 高阶 Frobenius 机构的启动条件，也是全文唯一的全新表示论输入，失效则整座大厦停摆。）
问 2：哪个假设不能去掉？
（答：有限性。引言明言定理”不对任意非有限的适度增长范畴作断言”——完整 BEO 猜想仍开放，有限性（本质有限多单对象、足够射影）是维数下降论证的前提。特征 @@M@@2@@ 也是实质性难点而非可顺带处理的情形：Benson–Etingof 反例恰在 @@M@@p=2@@，维数下降的末端在奇特征落到 @@M@@\operatorname{Ver}_p@@、在 @@M@@p=2@@ 只能经 Etingof–Gelaki 延拓定理到 @@M@@\operatorname{Ver}_4^+@@。）
问 3：与已有工作相比真正的新意是什么？
（答：Ostrik 只处理融合范畴到 @@M@@\operatorname{Ver}_p@@；Coulembier–Flake 的高阶 Frobenius 机构条件性成立，受限挠量猜想此前仅有秩一、@@M@@p=r=2@@、Loewy 长度 @@M@@\le2@@、Carlson 模块等特例。本文完整证明该猜想，再以”最小秩选取 + 秩支撑与 Moore 矩阵选嵌入 + Frobenius–Perron 维数下降”三连击造出正合函子，首次覆盖一切素数。）
问 4：为什么层数 @@M@@n@@ 依赖范畴不是缺陷？
（答：BEO 猜想的靶子本就是塔的并；本文更强的部分恰在于把像压进单个有限层 @@M@@\operatorname{Ver}_{p^n}@@（@@M@@n=\max(2,r)@@ 量级），这使 Tannaka 重建能在固定层内部用有限群概形表述。依赖性是现象本身的属性——不同范畴的真实复杂度不同，强行统一层数论文未讨论也无必要。）
问 5：这类 AI 生成证明最可能出错的模式？
（答：典型风险是”机构接口错位”——证明骨架大量援引已发表文献（BEO 的塔、Coulembier–Flake 的构造、CEO 的对称化子判据 Lemma 4.10、CPSvdK 的 Ext 消没），每处引用的假设版本与本文变体是否严格相符需逐一核对。其次是秩支撑/Moore 矩阵的线性代数选取（@@M@@\mathbb F_p@@-线性无关性与 Steinberg 支撑方程组的相容）与迭代半线性的标量修正，属精细但可查的计算。）
问 6：谁会用到这个结果？
（答：正特征张量范畴社区即刻受益：与 BEO 子范畴分类合并给出有限不可压缩范畴的完全分类（CEO Conjecture B 的有限情形）；特征 @@M@@2@@ 中到塔并的纤维函子本质唯一；广义 Tannaka 对偶把每个有限范畴重建为某层内部仿射群概形的表示。它也是攻克完整（非有限）BEO 猜想的必经驿站。）
总评
这是 BEO 猜想有限情形的彻底解决，附赠一个独立的表示论定理（受限挠量猜想），分量扎实；最大风险在文献接口的假设匹配与受限挠量的几何比较一步，属需要范畴论与模表示论双料专家核验的工作。
问 1：证明里最关键、最脆弱的一步是什么？
（答：受限挠量定理（Theorem restricted-tilting）——对任意 @@M@@kE_r@@-模 @@M@@D@@ 找到挠量 @@M@@SL_2@@-模 @@M@@T@@ 使 @@M@@R(\mathrm{St}_{r-1})\otimes D\cong R(T)@@。引言自承”几何比较是处理任意 @@M@@D@@ 的额外一步”：把 @@M@@D@@ 提升到加法群、把等变向量丛延拓过原点、再借 @@M@@\operatorname{Ext}@@ 消没逐阶做形式纤维比较。它既是 Coulembier–Flake 高阶 Frobenius 机构的启动条件，也是全文唯一的全新表示论输入，失效则整座大厦停摆。）
问 2：哪个假设不能去掉？
（答：有限性。引言明言定理”不对任意非有限的适度增长范畴作断言”——完整 BEO 猜想仍开放，有限性（本质有限多单对象、足够射影）是维数下降论证的前提。特征 @@M@@2@@ 也是实质性难点而非可顺带处理的情形：Benson–Etingof 反例恰在 @@M@@p=2@@，维数下降的末端在奇特征落到 @@M@@\operatorname{Ver}_p@@、在 @@M@@p=2@@ 只能经 Etingof–Gelaki 延拓定理到 @@M@@\operatorname{Ver}_4^+@@。）
问 3：与已有工作相比真正的新意是什么？
（答：Ostrik 只处理融合范畴到 @@M@@\operatorname{Ver}_p@@；Coulembier–Flake 的高阶 Frobenius 机构条件性成立，受限挠量猜想此前仅有秩一、@@M@@p=r=2@@、Loewy 长度 @@M@@\le2@@、Carlson 模块等特例。本文完整证明该猜想，再以”最小秩选取 + 秩支撑与 Moore 矩阵选嵌入 + Frobenius–Perron 维数下降”三连击造出正合函子，首次覆盖一切素数。）
问 4：为什么层数 @@M@@n@@ 依赖范畴不是缺陷？
（答：BEO 猜想的靶子本就是塔的并；本文更强的部分恰在于把像压进单个有限层 @@M@@\operatorname{Ver}_{p^n}@@（@@M@@n=\max(2,r)@@ 量级），这使 Tannaka 重建能在固定层内部用有限群概形表述。依赖性是现象本身的属性——不同范畴的真实复杂度不同，强行统一层数论文未讨论也无必要。）
问 5：这类 AI 生成证明最可能出错的模式？
（答：典型风险是”机构接口错位”——证明骨架大量援引已发表文献（BEO 的塔、Coulembier–Flake 的构造、CEO 的对称化子判据 Lemma 4.10、CPSvdK 的 Ext 消没），每处引用的假设版本与本文变体是否严格相符需逐一核对。其次是秩支撑/Moore 矩阵的线性代数选取（@@M@@\mathbb F_p@@-线性无关性与 Steinberg 支撑方程组的相容）与迭代半线性的标量修正，属精细但可查的计算。）
问 6：谁会用到这个结果？
（答：正特征张量范畴社区即刻受益：与 BEO 子范畴分类合并给出有限不可压缩范畴的完全分类（CEO Conjecture B 的有限情形）；特征 @@M@@2@@ 中到塔并的纤维函子本质唯一；广义 Tannaka 对偶把每个有限范畴重建为某层内部仿射群概形的表示。它也是攻克完整（非有限）BEO 猜想的必经驿站。）
总评
这是 BEO 猜想有限情形的彻底解决，附赠一个独立的表示论定理（受限挠量猜想），分量扎实；最大风险在文献接口的假设匹配与受限挠量的几何比较一步，属需要范畴论与模表示论双料专家核验的工作。