[论文解读] Cohen-Macaulay differential graded modules and negative Calabi-Yau configurations

Haibo Jin|arXiv (Cornell University)|Dec 10, 2018

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

一句话总结

本文引入了在Gorenstein微分分次（dg）代数上的Cohen-Macaulay微分分次（dg）模，并利用Auslander-Reiten理论建立了其表示理论。证明了此类模的范畴构成一个Frobenius外张范畴，具有几乎分裂扩张，并通过$(-d)$-Calabi-Yau配置对$d$-自伴dg代数的Auslander-Reiten图进行了分类，推广了$d=1$时Riedtmann的配置。关键贡献在于建立了$(-d)$-CY配置与最大$d$-Brauer关系之间的双射，从而可通过Brauer树dg代数显式构造出类型$A_n$的$d$-自伴dg代数。结果将Buchweitz的等价性推广至dg设定，并统一了经典CM模理论与现代导出及dg范畴方法。

ABSTRACT

In this paper, we introduce the class of Cohen-Macaulay (=CM) dg (=differential graded) modules over Gorenstein dg algebras and study their basic properties. We show that the category of CM dg modules forms a Frobenius extriangulated category, in the sense of Nakaoka and Palu, and it admits almost split extensions. We also study representation-finite $d$-self-injective dg algebras $A$ in detail. In particular, we classify the Auslander-Reiten (=AR) quivers of CM $A$ for those $A$ in terms of $(-d)$-Calabi-Yau (=CY) configurations, which are Riedtmann's configuration for the case $d=1$. For any given $(-d)$-CY configuration $C$, we show there exists a $d$-self-injective dg algebra $A$, such that the AR quiver of CM $A$ is given by $C$. For type $A_{n}$, by using a bijection between $(-d)$-CY configurations and certain purely combinatorial objects which we call maximal $d$-Brauer relations given by Coelho Simões, we construct such $A$ through a Brauer tree dg algebra.

研究动机与目标

• 开发Gorenstein dg代数上Cohen-Macaulay dg模的理论。
• 证明此类模的范畴构成一个具有几乎分裂扩张的Frobenius外张范畴。
• 通过$(-d)$-Calabi-Yau配置对$d$-自伴dg代数的Auslander-Reiten图进行分类。
• 从最大$d$-Brauer关系构造$d$-自伴dg代数，特别是通过Brauer树dg代数对类型$A_n$进行构造。
• 将Buchweitz关于CM模的稳定范畴与奇点范畴之间的等价性推广至dg设定。

提出的方法

• 通过上同调消失条件，定义非正、完备、Gorenstein dg代数上的Cohen-Macaulay dg模。
• 证明范畴$\mathsf{CM}A$是函子有限的，并构成一个具有投射子范畴$\mathsf{add}A$的Frobenius外张范畴。
• 建立稳定范畴$\underline{\mathsf{CM}}A$与奇点范畴$\mathsf{D}_{\operatorname{sg}}(A)$之间的三角等价，推广Buchweitz定理。
• 在$\mathbb{Z}A_{n,d}$-图的背景下定义$(-d)$-Calabi-Yau配置，并将其与$d$-对角线及$d$-Brauer关系联系起来。
• 利用$(-d)$-CY配置与最大$d$-Brauer关系之间的组合双射，通过Brauer树dg代数构造$d$-自伴dg代数。
• 应用Keller与Reiten的准则，证明在截断多项式dg代数的情形下，$\mathsf{CM}A$的稳定范畴是一个簇范畴。

实验结果

研究问题

• RQ1 如何在Gorenstein dg代数上定义并构建Cohen-Macaulay dg模？
• RQ2 范畴$\mathsf{CM}A$是否具有Frobenius外张结构和几乎分裂扩张？
• RQ3 能否通过$(-d)$-Calabi-Yau配置对$d$-自伴dg代数的Auslander-Reiten图进行分类？
• RQ4 在类型$A_n$中，$(-d)$-CY配置与最大$d$-Brauer关系之间是否存在构造性对应？
• RQ5 能否从组合数据（如$d$-Brauer关系）显式构造出$d$-自伴dg代数？

主要发现

• 在非正、完备、Gorenstein dg代数$A$上，Cohen-Macaulay dg模的范畴$\mathsf{CM}A$是一个Frobenius外张范畴，且满足$\mathsf{Proj}(\mathsf{CM}A) = \mathsf{add}A$。
• 稳定范畴$\underline{\mathsf{CM}}A$是三角范畴，并与奇点范畴$\mathsf{D}_{\operatorname{sg}}(A)$三角等价，将Buchweitz等价性推广至dg设定。
• $\mathsf{CM}A$范畴具有几乎分裂扩张，使得在此背景下可应用Auslander-Reiten理论。
• 对任意$\mathbb{Z}A_{n,d}$中的$(-d)$-Calabi-Yau配置$C$，存在一个$d$-自伴dg代数$A$，使得$\mathsf{CM}A$的AR图恰好为$C$。
• 在类型$A_n$中，$(-d)$-CY配置与最大$d$-Brauer关系之间存在双射，从而可通过Brauer树dg代数构造$d$-自伴dg代数。
• 对于截断多项式dg代数，所有不可约Cohen-Macaulay dg模均被显式分类，且其稳定范畴为簇范畴，符合Keller与Reiten的准则。