[论文解读] The singularity category of a quadratic monomial algebra

Xiao‐Wu Chen|arXiv (Cornell University)|Feb 7, 2015

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

一句话总结

本文通过其稳定模范畴之间的预三角等价性，建立了二次单项式代数与幂零根为零的代数之间的唯一等价关系。关键贡献在于利用关联有向图的莱维特路径代数上的分次投射模，给出了二次单项式代数的奇异范畴的显式描述。

ABSTRACT

We exploit singular equivalences between artin algebras, that are induced from certain functors between the stable module categories. Such functors are called pre-triangle equivalences. We construct two pre-triangle equivalences connecting the stable module category over a quadratic monomial algebra and the one over an algebra with radical square zero. Consequently, we obtain an explicit singular equivalence between the two algebras.

研究动机与目标

• 建立二次单项式代数与根平方为零代数之间的奇异等价性。
• 引入并利用稳定模范畴之间的预三角等价性概念，以诱导奇异等价性。
• 以莱维特路径代数上的分次投射模为工具，描述二次单项式代数的奇异范畴与哥伦斯坦缺陷范畴。
• 将先前关于温和代数的结果推广至更广泛的二次单项式代数类别。
• 提供显式的三角等价性，将此类代数的奇异范畴、哥伦斯坦投射模与哥伦斯坦缺陷范畴相互关联。

提出的方法

• 将预三角等价性定义为在稳定模范畴之间诱导出三角等价性的函子，且该等价性在稳定化后成立。
• 构建两个显式的预三角等价性，将二次单项式代数的稳定模范畴与根平方为零代数的稳定模范畴相连接。
• 通过稳定化过程，将原代数的奇异范畴与稳定化后的稳定模范畴相关联。
• 利用根平方为零代数的已知结果，通过莱维特路径代数上的分次投射模来描述其奇异范畴。
• 应用环状范畴与稳定化的理论，将奇异范畴与哥伦斯坦缺陷范畴及分次投射模范畴相关联。
• 利用代数的关系有向图对完美分量与缺陷分量进行分类，从而确定奇异范畴的结构。

实验结果

研究问题

• RQ1 如何在二次单项式代数与根平方为零代数之间构造奇异等价性？
• RQ2 预三角等价性在诱导稳定模范畴之间的奇异等价性中起什么作用？
• RQ3 二次单项式代数的奇异范畴如何通过莱维特路径代数进行分解？
• RQ4 此类代数的哥伦斯坦缺陷范畴与奇异范畴之间存在何种关系？
• RQ5 在何种条件下，二次单项式代数的奇异范畴等价于三角范畴的乘积？

主要发现

• 二次单项式代数的奇异范畴与三角范畴的乘积 $\mathcal{T}_{d_1} \times \mathcal{T}_{d_2} \times \cdots \times \mathcal{T}_{d_m}$ 三角等价，其中 $d_i$ 为关系有向图中完美分量的大小。
• 二次单项式代数的哥伦斯坦缺陷范畴与莱维特路径代数 $\mathcal{R}_A^{\rm def}$ 的分次投射模范畴在移位自同态作用下三角等价。
• 当代数为哥伦斯坦代数时，其哥伦斯坦缺陷范畴平凡，奇异范畴等价于三角范畴的乘积 $\mathcal{T}_{d_1} \times \cdots \times \mathcal{T}_{d_m}$。
• 对于其关系有向图中无完美分量的二次单项式代数，奇异范畴等价于其哥伦斯坦缺陷范畴，而该缺陷范畴本身又等价于缺陷有向图的莱维特路径代数上的分次投射模范畴。
• 二次单项式代数的稳定模范畴与根平方为零代数的稳定模范畴之间的等价性由一个预三角等价性的Z字形链诱导，从而实现完整的奇异等价性。
• 建立了 $A$-mod、$B$-mod 与范畴 $\mathcal{T}_{d_i}$ 之间的显式三角等价性，表明奇异范畴根据关系有向图的结构分解为三角范畴的乘积。