[论文解读] The Gorenstein-projective modules over a monomial algebra

Xiao‐Wu Chen, Dawei Shen+1 more|arXiv (Cornell University)|Jan 13, 2015

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

一句话总结

本文通过完美路径的概念，对单式代数上的不可约非投射 Gorenstein-投射模进行分类，建立了完美路径与此类模的同构类之间的双射。关键结果是通过路径性质表征 Gorenstein-投射模，推广了对 Nakayama 代数和温婉代数的已有结果，并明确描述了二次单式代数上 Gorenstein-投射模的稳定范畴为半单范畴。

ABSTRACT

We classify indecomposable non-projective Gorenstein-projective modules over a monomial algebra via the notion of perfect paths. We apply this classification to a quadratic monomial algebra and describe explicitly the stable category of its Gorenstein-projective modules.

研究动机与目标

• 对单式代数上所有不可约非投射 Gorenstein-投射模进行分类。
• 在单式代数的框架下，统一并推广现有对 Nakayama 代数和温婉代数的分类结果。
• 表征 Gorenstein-投射模的稳定范畴为半单范畴的条件，特别是针对二次单式代数。
• 为二次单式代数上的 Gorenstein-投射模的稳定范畴提供显式描述。

提出的方法

• 在单式代数中引入路径对的完美对概念，并将完美路径定义为存在此类对的路径。
• 证明所有完美路径的集合与不可约非投射 Gorenstein-投射模的同构类集合之间存在双射。
• 对二次单式代数使用关系箭图构造法，其中顶点对应箭头，边对应关系，以表征完美箭头为关系箭图中基本环内顶点所对应的箭头。
• 建立箭头为完美当且仅当其对应顶点位于关系箭图的一个连通分支中，且该连通分支为基本环。
• 将分类结果应用于 quiver 为基本环的 Nakayama 单式代数，恢复并推广了关于 Nakayama 代数上 Gorenstein-投射模的已知结果。
• 证明二次单式代数上 Gorenstein-投射模的稳定范畴是半单阿贝尔范畴，推广了温婉代数上的一个结果。

实验结果

研究问题

• RQ1 在单式代数中，哪些非零路径生成不可约非投射 Gorenstein-投射模？
• RQ2 在何种条件下，单式代数上 Gorenstein-投射模的稳定范畴为半单范畴？
• RQ3 如何利用完美路径的概念恢复并推广 Nakayama 代数上 Gorenstein-投射模的分类？
• RQ4 关系箭图在表征二次单式代数中完美路径的角色是什么？

主要发现

• 单式代数中所有完美路径的集合与不可约非投射 Gorenstein-投射模的同构类集合之间存在双射。
• 在二次单式代数中，一个箭头是完美的，当且仅当其在关系箭图中对应的顶点位于一个连通分支中，而该连通分支为基本环。
• 二次单式代数上 Gorenstein-投射模的稳定范畴是一个半单阿贝尔范畴。
• 对于无源无汇的连通截断箭图代数，该代数要么是自内射的，要么所有 Gorenstein-投射模都是投射模。
• 该分类恢复并推广了先前工作中对 Nakayama 代数上 Gorenstein-投射模的表征结果。
• 在 Nakayama 单式代数上，一个不可约非投射模是 Gorenstein-投射模，当且仅当其上部和其第一个挠模的上部都是 θ-循环黑简单模。