[论文解读] An Embedding theorem for abelian monoidal categories

Phùng Hô Hái|ArXiv.org|Apr 25, 2000

Algebraic structures and combinatorial models参考文献 4被引用 3

一句话总结

本文建立了小阿贝尔刚性张量范畴到环上双模范畴的嵌入定理，采用的构造方法是先将范畴扩展为具有内射余生成元的格罗滕迪克张量范畴，再将其嵌入模范畴，最后实现双模结构。关键结果是此类范畴可精确地单子嵌入到 R-Mod-R 中，其应用表明在基域特征为零时，半单对称范畴是坦纳基安的。

ABSTRACT

We show that, with some technical conditions, an abelian category can be embedded into the category of bimodules over a ring. The case of semisimple rigid monoidal categories is studied in more detail.

研究动机与目标

• 将弗雷德-米切尔嵌入定理推广到阿贝尔张量范畴的设定中。
• 解决在辫状或非对称情况下单子嵌入缺乏自然目标范畴的问题。
• 构造小阿贝尔刚性张量范畴到环上双模范畴的单子嵌入。
• 证明在特征为零时，具有简单单位的半单对称张量范畴是坦纳基安的。
• 通过无限矩阵表示有限秩双模，提供嵌入的显式实现。

提出的方法

• 将小阿贝尔张量范畴扩展为具有内射余生成元的完备格罗滕迪克张量范畴。
• 构造一个环 R，使得该范畴完全且忠实地嵌入到 R-双模范畴中。
• 利用张量积结构，定义从模范畴到双模范畴的单子函子。
• 将对象表示为具有有限行与列支撑的无限矩阵，其中张量积对应于矩阵乘法。
• 利用刚性性质确保像为有限生成投射双模，从而实现有限维估计。
• 应用协调性定理与伴随函子准则，确保与余极限及闭结构的相容性。

实验结果

研究问题

• RQ1 小阿贝尔刚性张量范畴能否单子嵌入到环上双模范畴中？
• RQ2 在何种条件下可保证此类嵌入是精确且忠实的？
• RQ3 半单刚性张量范畴的结构在此嵌入下如何表现？
• RQ4 该嵌入能否用于证明对称情况下的坦纳基安对偶？
• RQ5 双模表示对自同态空间增长施加了何种约束？

主要发现

• 任何小阿贝尔刚性张量范畴均可精确地单子嵌入到某个环上的双模范畴中。
• 在嵌入下，每个对象的像对应于一个仅在每行每列中有限个非零项的无限矩阵。
• 对象的张量积在双模表示中对应于矩阵乘法。
• 对于具有简单单位的半单刚性张量范畴中的任意对象 X，其在自同态环 K 上的 End(X^n) 的维数被 d^n 所有界，其中 d 为依赖于范畴的常数。
• 若范畴为对称且 char(K) = 0，则对任意对象 X，其第 n 个交错幂在某个 n 时消失，这意味着范畴是坦纳基安的。
• 在修正的对称下，任一对象的范畴维数变为整数，从而可应用德利涅的坦纳基安理论。