[论文解读] Singularity categories of Gorenstein monomial algebras

Ming Lu, Bin Zhu|arXiv (Cornell University)|Aug 1, 2017

Algebraic structures and combinatorial models参考文献 55被引用 10

一句话总结

该论文证明了Gorenstein单项式代数的Z-分次奇异范畴与有限表示型的狭义代数的导出范畴三角等价。它证明了1-Gorenstein单项式代数的分次奇异范畴中存在silting和tilting对象，并通过其quiver关系对这些代数进行刻画，表明其奇异范畴是A型的轨道范畴，推广了已知的Nakayama代数和gentle代数的结果。

ABSTRACT

In this paper, we consider the singularity category $D_{sg}(\mod A)$ and the $\mathbb{Z}$-graded singularity category $D_{sg}(\mod^{\mathbb Z} A)$ for a Gorenstein monomial algebra $A$. Firstly, for a positively graded $1$-Gorenstein algebra, we prove that its ${\mathbb Z}$-graded singularity category admits silting objects. Secondly, for $A=KQ/I$ being a Gorenstein monomial algebra, we prove that $D_{sg}(\mod^{\mathbb Z} A)$ has tilting objects. As a consequence, $D_{sg}(\mod^{\mathbb Z}A)$ is triangulated equivalent to the derived category of a hereditary algebra $H$ which is of finite representation type. Finally, we give a characterization of $1$-Gorenstein monomial algebras, and describe their singularity categories clearly by using the triangulated orbit categories of type ${\mathbb A}$.

研究动机与目标

• 确定Gorenstein单项式代数A的Z-分次奇异范畴Dsg(modZ A)的结构。
• 证明1-Gorenstein单项式代数的Dsg(modZ A)中存在silting和tilting对象。
• 利用其定义理想最小生成元对1-Gorenstein单项式代数进行刻画。
• 将Dsg(modZ A)实现为A型导出范畴的三角轨道范畴。
• 将已知的Nakayama代数和gentle代数奇异范畴的结果推广到更广泛的Gorenstein单项式代数类。

提出的方法

• 在Z-分次模上定义截断函子(−)≥i和(−)≤i，以构造对象T = ⊕_{i≥0} A(i)≤0。
• 证明当A为有限维、正分次的1-Gorenstein代数且gl. dim A₀ < ∞时，T是Dsg(modZ A)中的silting对象。
• 若T是Gorenstein投射，则其为Dsg(modZ A)中的tilting对象，从而导出与某狭义代数H的Db(H)之间的三角等价。
• 利用理想I的最小生成元结构，通过quiver环路和路径关系刻画1-Gorenstein单项式代数。
• 构造一系列quiver和对合，将代数与Brüstle的粘合代数及自对偶Nakayama代数联系起来。
• 应用Buchweitz定理和轨道范畴理论，证明Gproj(A) ≃ ⊕_{c∈C(A)} Db(A_{r_c-1})/[τ^{n_c}]。

实验结果

研究问题

• RQ1 在何种条件下，正分次Gorenstein代数的Z-分次奇异范畴Dsg(modZ A)允许存在tilting对象？
• RQ2 如何用导出范畴和轨道范畴描述1-Gorenstein单项式代数的奇异范畴？
• RQ3 1-Gorenstein单项式代数的精确刻画是什么，其quiver关系与理想I的最小生成元有何关联？
• RQ4 Gorenstein单项式代数的分次奇异范畴能否实现为有限表示型狭义代数的导出范畴？
• RQ5 1-Gorenstein单项式代数的奇异范畴与A型轨道范畴之间存在何种关系？

主要发现

• 对于有限维、正分次的1-Gorenstein代数A，且gl. dim A₀ < ∞，对象T = ⊕_{i≥0} A(i)≤0是Dsg(modZ A)中的silting对象。
• 若T是Gorenstein投射，则其为Dsg(modZ A)中的tilting对象，从而导出三角等价Dsg(modZ A) ≃ Db(H)，其中H为有限表示型的狭义代数。
• Gorenstein单项式代数A的分次奇异范畴三角等价于某狭义代数B = KQ的导出范畴，其中Q为A1型（对二次单项式代数）或A型（对Nakayama代数）quiver的不相交并。
• 1-Gorenstein单项式代数A的奇异范畴等价于三角轨道范畴的直和⊕_{c∈C(A)} Db(A_{r_c-1})/[τ^{n_c}]，其中n_c = l(c)，r_c为环路c的关系长度。
• 1-Gorenstein单项式代数A上的Gorenstein投射模等价于与C(A)中环路c相关联的代数Λ_c上的Gorenstein投射模的直和，通过全忠实且本质稠密的函子实现。
• 1-Gorenstein单项式代数的奇异范畴等价于Gorenstein投射模的稳定范畴，且该范畴被实现为A型的三角轨道范畴。