[论文解读] Categorification using dual projection functors

Anna-Louise Grensing, Volodymyr Mazorchuk|arXiv (Cornell University)|Dec 31, 2014

Algebraic structures and combinatorial models参考文献 16被引用 8

一句话总结

本文研究了有限维结合代数中通过对偶投影函子产生的有限型2-范畴，重点关注可允许树型quiver的路径代数——包括所有A型Dynkin quiver。研究证明，这些函子生成的幺半群同构于quiver的Hecke-Kiselman幺半群，并为恒等双模的不可约子双模幺半群提供了呈现方式。

ABSTRACT

We study finitary $2$-categories associated to dual projection functors for finite dimensional associative algebras. In the case of path algebras of admissible tree quivers (which includes all Dynkin quivers of type $A$) we show that the monoid generated by dual projection functors is the Hecke-Kiselman monoid of the underlying quiver and also obtain a presentation for the monoid of indecomposable subbimodules of the identity bimodule.

研究动机与目标

• 理解有限维结合代数中与对偶投影函子相关的有限型2-范畴的结构。
• 在可允许树型quiver的路径代数背景下，分析由对偶投影函子生成的幺半群。
• 在该设定下，确定恒等双模的不可约子双模幺半群的呈现方式。
• 建立函子幺半群与底层quiver的Hecke-Kiselman幺半群之间的联系。

提出的方法

• 利用有限型2-范畴的框架，分析由对偶投影函子产生的范畴结构。
• 将表示论技术应用于可允许树型quiver的路径代数，特别是A型Dynkin类型。
• 通过双模分解研究恒等双模的子双模及其幺半群结构。
• 通过组合与代数论证，建立函子生成幺半群与Hecke-Kiselman幺半群之间的同构关系。
• 利用quiver结构导出的关系，推导出不可约子双模幺半群的呈现方式。
• 利用投影函子内在的对偶性，将范畴运算与幺半群关系联系起来。

实验结果

研究问题

• RQ1 在可允许树型quiver的路径代数中，由对偶投影函子生成的幺半群的结构是什么？
• RQ2 对偶投影函子的幺半群与已知的组合幺半群（如Hecke-Kiselman幺半群）有何关系？
• RQ3 能否显式构造出恒等双模的不可约子双模幺半群的呈现？
• RQ4 在此2-范畴语境下，Hecke-Kiselman幺半群的范畴意义是什么？
• RQ5 这些结果在多大程度上可推广至A型Dynkin quiver之外？

主要发现

• 在可允许树型quiver的路径代数中，由对偶投影函子生成的幺半群同构于底层quiver的Hecke-Kiselman幺半群。
• 对于所有A型Dynkin quiver，恒等双模的不可约子双模幺半群具有有限呈现。
• 2-范畴的结构完全由quiver的组合性质决定，特别是其树状结构。
• 投影函子的对偶性导致的幺半群结构，与Hecke-Kiselman幺半群的关系完全一致。
• 研究结果在函子幺半群与基于quiver的幺半群之间建立了精确的代数与范畴对应关系。
• 该框架通过2-范畴结构，为Hecke-Kiselman幺半群提供了新的范畴实现。