仿射图范畴、代数和幺半群：表示论、生成关系与张量幂渐近增长

《Journal of Algebra》：Affine diagram categories, algebras and monoids

　　

研究人员引入并研究经典图代数（diagram algebras）的若干仿射（affine；本文中即环状 annular）版本，例如 Temperley–Lieb（TL）、partition（P）、Brauer（Br）、Motzkin（Mo）、rook Brauer（RB）、rook（R）、planar partition（pP）和 planar rook（pR）代数。研究人员给出这些代数及其相关范畴的生成元与关系表示（generators and relations presentations），研究其表示论（representation theory），并在幺半群（monoid）情形下研究其表示的张量积（tensor products）的渐近行为（asymptotic behavior）。在温和假设（mild hypothesis）下，研究人员还证明了先前关于有限幺半群（finite monoids）表示的张量幂（tensor powers）中不可分解直和项（indecomposable summands）数量的渐近增长（asymptotic growth）的一个猜想。

David He|Daniel Tubbenhauer 的论文系统研究仿射图代数、图范畴及其幺半群。研究背景在于，经典图代数（diagram algebras）如 Temperley–Lieb（TL）、Brauer（Br）、partition（P）等自然出现于 Schur–Weyl 对偶（Schur–Weyl duality）中，作为（量子）群作用在张量幂上的中心化代数；TL 表示论可控制 SL₂ 表示张量积重数，说明图代数内部结构反映底层张量范畴结构。图代数还出现于统计力学、纽结理论、幺半范畴、模表示、逻辑、半群理论和密码学等。将图置于圆柱或环面上产生仿射化（affinization）；文献中已有仿射辫群、环面 skein 理论、annular subfactors、仿射幺半范畴、周期 TL 与仿射 TL（A? 型 Hecke 代数商）、仿射 Brauer 等。问题在于“affine”术语并不统一，常与 annular、periodic、cylindric 混用；这些仿射图代数的结构与表示论仍未被系统理解，且无限维、非半单、sandwich cellular（三明治胞腔）方法对 Brauer、Rook-Brauer、partition 等并不直接适用；无限幺半群的张量幂增长也可能不同于有限幺半群。因此，研究人员开展此项研究，给出统一框架、生成关系、表示分类与增长率，并证明相关猜想，意义在于系统化仿射图代数的表示论并提供新的增长现象。

方法上，研究人员采用纯代数与范畴方法，无实验样本队列。关键方法为：将经典图代数置于圆柱或环面得到仿射图代数与幺半群，并定义相应 k-线性及集合论范畴；以图叠加和闭环消去定义乘法，建立生成元与关系表示及幺半范畴表示；使用 involutive（∞）sandwich cellular（三明治胞腔）结构、top sets 与胞腔模分析单模和维数；对非 sandwich cellular 情形取 r-reduced 有限维商并膨胀单模；以融合图（fusion graph）和 action matrix 研究 l(n)、b(n)，结合 Clifford 理论、特征标及 Kolmogorov–Rogozin 不等式处理虚拟阿贝尔群增长。

研究结果如下：2. Affine diagram algebras（仿射图代数）：通过将 partition 图置于无限水平带并作 m-平移不变，定义仿射 partition m-图及其子代数，得到仿射图代数与幺半群框架；2A. Definitions：给出基本定义；2A.1 Algebras and monoids：定义 aPa_m￣(β) 及 aBr、aRoBr、aRo、aTL、aMo、aPRo 和 reduced 版本，β=1 时为幺半群代数；2A.2 Categories：Hom 集为仿射 partition (s,t)-图，叠加并消闭环，端同态恢复代数；2B. Relations to affine diagram algebras in the literature：比较文献中的仿射图代数；2B.1 Affine Temperley–Lieb：aTL￣ 对应 extended affine TL，aTL 为 affine/periodic TL，是 A? 型 Hecke 代数商；2B.2 Affine Brauer：reduced affine Brauer 与 colored Brauer 在参数取 β 时同构，colored partition 更复杂并与 aPa 同构；2B.3 Others：未发现其他仿射图幺半群的同类文献对应；2C. Presentations for algebras：给出 periodic 幺半群及 aTL￣、aBr、aRo、aRoBr、aPa 的生成元与关系表示，对 aMo￣、aPRo 给生成集；2C.1 Temperley–Lieb：给出 e_i 与 τ 的关系；2C.2 Planar rook：由 l₁,r₁,τ^±1 生成并列出关系但非完整表示；2C.3 Motzkin：由 e₁,l₁,r₁,τ^±1 生成并列出关系但非完整表示；2C.4 Brauer：由 e_i,s_i,t_i^±1 给出关系表示；2C.5 Rook：由 e,s_i,t_i^±1 给出关系表示；2C.6 Rook-Brauer：加入 p_i 及 t_ip_i=p_it_i=p_i；2C.7 Partition：由 s_i,p_r,t_j^±1 给出关系表示；2D. Presentations for monoidal categories：通过 braiding/symmetry 与 winding 态射给出 strict k-线性幺半范畴表示；2D.1 Partition、2D.2 Brauer、2D.3 Rook、2D.4 Rook-Brauer 分别给出生成对象、生成态射与关系；2D.5 Temperley–Lieb and Motzkin：在 q 条件存在 braiding 时，邻接可逆 ζ_i 得 strict monoidal 表示；3. Representation theory：用 sandwich cellular 分类单模；3A. The (extended) affine symmetric groups：用半直积与 Clifford 理论描述 Z?S_m 单模参数 Γ_m 与维数，S?_m 类似；3B. Sandwich cellular algebras：证明表列仿射/周期代数为 involutive (∞) sandwich cellular，Brauer、Rook-Brauer、partition 非 honest sandwich；3C. Simple modules：在代数闭域上参数化各代数单模，形式为 L(λ,S)=Δ(λ,S)/rad(λ,S)，β=0 时删去部分参数；3D. Cardinalities of top sets：用 Lagrange 反演计算有限 top sets 基数，如 TL 为二项式、Motzkin 为 [t^m?λ](1+t+t²)^m、planar rook/rook 为 C(m,λ)；3E. Finite dimensional quotients：对 aPa、aBr、aRoBr 取 t_i^r=1 得 r-reduced 商，证明 sandwich cellular，分类单模并算 top sets 基数；4. Growth problems：通过融合图和 action matrix 研究 l(n)、b(n)；4A. General theory：对 Dedekind-finite 幺半群，在 group-injective 等条件下给出 b(n)、l(n) 与 Res_G(V) 的渐近公式，并在右有限、维数有界、右幂等生成时证明猜想；4A.1 Rational kM-modules：将有理表示化为群 G 的多项式表示，使增长问题归约到群；4A.2 Semigroup case：无单位半群有类似结果，并在右幂等生成时证明猜想；4B. Growth problems for virtually abelian groups：对具有有限指数阿贝尔正规子群 A 的群，在特征标条件下证 l(n)～(1/m)(dim V)ⁿ，对 S?_m、Z?S_m 得 1/m!；4C. Growth problems for affine diagram monoids：证明平面仿射/周期幺半群和 rook 幺半群右有限，在非单位不可逆且限制忠实下得 l(n)～(dim V)ⁿ，周期平面幺半群 b(n)～(dim V)ⁿ；4C.1 Growth problems for symmetric affine diagram monoids：对 aPa_m,r、aRoBr_m,r、aBr_m,r 证 group-injective，给 b(n)、l(n) 渐近公式，涉及 C_r?S_m 的忠实单模。

讨论部分总结：论文指出仿射图代数术语不统一，并在本文统一使用 affine（或 annular）；研究提供从定义、范畴、生成关系、单模分类到张量幂增长的统一处理，并说明非 sandwich cellular 情形需借助有限维 r-reduced 商及单模膨胀；增长问题可在任意加法 Krull–Schmidt 幺半范畴中提出，本文结果为此类问题提供来自仿射图代数的新增长现象。研究结论翻译：在温和假设下，研究人员证明了一个更一般的先前猜想，该猜想涉及有限幺半群表示张量幂中不可分解直和项数量的渐近增长；特别地，该猜想对有限正则幺半群和某些仿射图幺半群成立。