[论文解读] Category equivalences involving graded modules over path algebras of quivers

S. Paul Smith|arXiv (Cornell University)|Jul 18, 2011

Algebraic structures and combinatorial models参考文献 15被引用 7

一句话总结

本文建立了关于有限有向图路径代数上分次模的多个范畴等价关系，表明商范畴 QGr(kQ) 同构于多个代数的模范畴：超矩阵代数 S(Q)、莱维特路径代数 L(Q°) 的零度分量，以及 L(Q°) 的分次模范畴。关键结果是 QGr(kQ) 同构于 Mod S(Q)，其中 S(Q) 定义为路径空间的自同态代数的直极限，且在有限表示子范畴 qgr(kQ) 中所有短正合序列都分裂，从而可赋予其三角范畴结构。

ABSTRACT

Let kQ be the path algebra of a quiver Q with its standard grading. We show that the category of graded kQ-modules modulo those that are the sum of their finite dimensional submodules, QGr(kQ), is equivalent to several other categories: the graded modules over a suitable Leavitt path algebra, the modules over a certain direct limit of finite dimensional multi-matrix algebras, QGr(kQ') where Q' is the quiver whose incidence matrix is the n^{th} power of that for Q, and others. A relation with a suitable Cuntz-Krieger algebra is established. All short exact sequences in the full subcategory of finitely presented objects in QGr(kQ), split so that subcategory can be given the structure of a triangulated category with suspension functor the Serre degree twist (-1); it is shown that this triangulated category is equivalent to the "singularity category" for the radical square zero algebra kQ/kQ_{\ge 2}.

研究动机与目标

• 建立分次 kQ-模的商范畴 QGr(kQ) 与由有向图 Q 衍生出的多个代数之间的范畴等价关系。
• 通过路径空间自同态环的直极限，将 QGr(kQ) 中典范对象 O 的自同态代数 S(Q) 特征化为一个超矩阵 k-代数。
• 证明 qgr(kQ)，即 QGr(kQ) 中有限表示对象的全子范畴，可通过塞尔扭转变换函子赋予三角范畴结构。
• 通过导范畴等价关系，将 QGr(kQ) 与根平方为零代数 Λ = kQ/kQ≥2 的奇点范畴 D^b(Λ)/D^perf(Λ) 联系起来。

提出的方法

• 将 S(Q) 定义为路径空间长度 n 的自同态代数 End_{kI}(kQ_n) 的直极限，通过与 kQ_1 的张量积形成有向系统。
• 使用商范畴构造 QGr(kQ) := Gr(kQ)/Fdim(kQ)，其中 Fdim(kQ) 是所有可表示为有限维子模之和的模的全子范畴。
• 证明 QGr(kQ) 中的对象 O = π*(kQ) 是有限生成的投射生成元，因此 Hom_{QGr(kQ)}(O, -) 诱导出与 Mod S(Q) 的等价关系。
• 通过迭代移除 Q 中的源点与汇点构造有向图 Q°，并证明 QGr(kQ) ≡ QGr(kQ°)，且 L(Q°) 是强分次的，满足 L(Q°)_0 ≅ S(Q°)。
• 利用布拉泰利图，通过 Q 的关联矩阵显式描述 S(Q) 的结构。
• 应用莫里塔理论与艾略特对超矩阵代数基于 K_0 的分类，建立同构 K_0-有序群上模范畴之间的等价关系。

实验结果

研究问题

• RQ1 QGr(kQ) 中典范对象 O 的自同态代数结构为何？它与有向图 Q 的关系如何？
• RQ2 当 Q° 是 Q 的无源无汇化简时，QGr(kQ) 与 QGr(kQ°) 之间有何关系？
• RQ3 QGr(kQ) 中有限表示对象的范畴 qgr(kQ) 是否可赋予三角范畴结构？若是，通过何种函子？
• RQ4 对于根平方为零代数 Λ = kQ/kQ≥2，QGr(kQ) 与奇点范畴 D^b(Λ)/D^perf(Λ) 之间存在何种关系？
• RQ5 S(Q)、L(Q°) 与 L(Q°)_0 之间在范畴上如何关联？Q 的关联矩阵在其结构中起何作用？

主要发现

• O 在 QGr(kQ) 中的自同态代数同构于 S(Q)，S(Q) 是一个作为 End_{kI}(kQ_n) 直极限构造的超矩阵 k-代数。
• 范畴 QGr(kQ) 同构于 Mod S(Q)，且该等价关系由函子 Hom_{QGr(kQ)}(O, -) 实现。
• QGr(kQ) 中有限表示对象的范畴 qgr(kQ) 中所有短正合序列均分裂，因此可通过塞尔扭转变换函子 (−1) 赋予其三角范畴结构。
• QGr(kQ) 同构于 QGr(kQ°)，其中 Q° 是通过迭代移除 Q 中的源点与汇点所得到的有向图。
• 莱维特路径代数 L(Q°) 是强分次的，其零度分量 L(Q°)_0 同构于 S(Q°)，从而导出等价关系 QGr(kQ) ≡ Mod L(Q°)_0。
• 根平方为零代数 Λ = kQ/kQ≥2 的奇点范畴 D^b(Λ)/D^perf(Λ) 同构于三角范畴 qgr(kQ)，建立了导范畴等价关系。