[论文解读] Singularity categories of representations of algebras over local rings

Ming Lu|arXiv (Cornell University)|Feb 5, 2017

Algebraic structures and combinatorial models参考文献 38被引用 6

一句话总结

该论文建立了关于 Λ⊗K Rk（其中 Rk = K[X]/(Xk)）的分次模的奇点范畴与三角矩阵代数 Tk−1(Λ) 的有界导出范畴之间的三角等价性，推广了此前对 k=2 的结果。此外，还证明了 Z/kZ-分次奇点范畴与 Tk−1(Λ) 的根范畴等价，并根据科恩-麦克aul伊表示型对 Λk 进行分类，给出了 CM-有限情形下的显式 Auslander-Reiten 图。

ABSTRACT

Let $Λ$ be a finite-dimensional algebra with finite global dimension, $R_k=K[X]/(X^k)$ be the $\mathcal{Z}$-graded local ring with $k\geq1$, and $Λ_k=Λ\otimes_K R_k$. We consider the singularity category $\mathcal{D}_{sg}(\mathrm{mod}^\mathcal{Z}(Λ_k))$ of the graded modules over $Λ_k$. It is showed that there is a tilting object in $\mathcal{D}_{sg}(\mathrm{mod}^\mathcal{Z}(Λ_k))$ such that its endomorphism algebra is isomorphic to the triangular matrix algebra $T_{k-1}(Λ)$ with coefficients in $Λ$ and there is a triangulated equivalence between $\mathcal{D}_{sg}(\mathrm{mod}^{\mathcal{Z}/k\mathcal{Z}}(Λ))$ and the root category of $T_{k-1}(Λ)$. Finally, a classification of $Λ_k$ up to the Cohen-Macaulay representation type is given.

研究动机与目标

• 研究 Λk = Λ ⊗K Rk（其中 Rk = K[X]/(Xk)，Λ 为有限维且全局维数有限）的 Z-分次奇点范畴 Dsg(modZ(Λk))。
• 在 Dsg(modZ(Λk)) 中构造一个端自同态代数同构于三角矩阵代数 Tk−1(Λ) 的 tilting 对象。
• 建立 Dsg(modZ/kZ(Λk)) 与 Tk−1(Λ) 的根范畴之间的三角等价性。
• 根据科恩-麦克aul伊表示型对 Λk 进行分类，区分 CM-有限与 CM-无限情形。

提出的方法

• 利用 Rk = K[X]/(Xk) 的 Z-分次结构，将 Λk = Λ ⊗K Rk 定义为一个正分次 Gorenstein 代数。
• 通过受 Yamaura 关于分次模稳定范畴工作的启发，构造奇点范畴 Dsg(modZ(Λk)) 中的一个 tilting 对象。
• 证明该 tilting 对象的端自同态代数同构于系数在 Λ 上的三角矩阵代数 Tk−1(Λ)。
• 通过该 tilting 对象建立三角等价性 Dsg(modZ(Λk)) ≃ Db(mod(Tk−1(Λ)))。
• 将分次限制到 Λk 上的 Z/kZ-分次，定义 Dsg(modZ/kZ(Λk))，并诱导出与根范畴 RTk−1(Λ) 的等价性。
• 应用关于根范畴与轨道范畴的已知结果，验证三角结构与等价性。

实验结果

研究问题

• RQ1 Z-分次模在 Λk 上的奇点范畴 Dsg(modZ(Λk)) 是否存在一个 tilting 对象，其端自同态代数同构于 Tk−1(Λ)？
• RQ2 Dsg(modZ(Λk)) 与有界导出范畴 Db(mod(Tk−1(Λ))) 之间是否存在三角等价性？
• RQ3 Z/kZ-分次奇点范畴 Dsg(modZ/kZ(Λk)) 是否与 Tk−1(Λ) 的根范畴三角等价？
• RQ4 Λk 的科恩-麦克aul伊表示型如何依赖于 Λ 与 k 的结构？
• RQ5 当 Λk 为 CM-有限时，其 Auslander-Reiten 图是什么？

主要发现

• 奇点范畴 Dsg(modZ(Λk)) 存在一个 tilting 对象，其端自同态代数同构于三角矩阵代数 Tk−1(Λ)，从而诱导出与 Db(mod(Tk−1(Λ))) 的三角等价性。
• Z/kZ-分次奇点范畴 Dsg(modZ/kZ(Λk)) 与代数 Tk−1(Λ) 的根范畴 RTk−1(Λ) 三角等价。
• 当 k=2 时，该结果恢复并推广了已知等价性 Dsg(mod(Λ2)) ≃ Db(mod(Λ))/Σ（当 Λ 为遗传代数时）。
• 代数 Λk 为有限科恩-麦克aul伊型（CM-有限）当且仅当 Tk−1(Λ) 为表示有限型，提供了分类准则。
• 显式计算了 Λk 为 CM-有限型时的 Auslander-Reiten 图，包括 Λ 为 A4 型遗传代数或 A3 型倾斜代数的情形。
• Gorenstein 项目模在 Λk 上的结构由 Tk−1(Λ) 的导出范畴与轨道范畴结构所控制，将表示理论与奇点范畴联系起来。