[論文レビュー] 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$-自己同型dg代数のAuslander-Reitenクーヴィの分類を$(-d)$-Calabi-Yau構成によって行う。これは$d=1$のときのRiedtmannの構成を一般化する。主な貢献は、$(-d)$-CY構成と最大の$d$-Brauer関係の間の全単写像であり、これにより、タイプ$A_n$のBrauer木dg代数を用いて$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クーヴィを分類すること。
• 特にタイプ$A_n$において、Brauer木dg代数を用いて、最大の$d$-Brauer関係から$d$-自己同型dg代数を構成すること。
• 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の定理をdg設定に一般化する。
• $\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 Cohen-Macaulay dgモジュールは、Gorenstein dg代数上でどのように定義され、構造づけられるか？
• RQ2 カテゴリ$\mathsf{CM}A$はFrobenius外三角的構造とほとんど分裂拡張を備えているか？
• RQ3 $d$-自己同型dg代数の$\mathsf{CM}A$のAuslander-Reitenクーヴィは、$(-d)$-Calabi-Yau構成を用いて分類可能か？
• RQ4 タイプ$A_n$において、$(-d)$-CY構成と最大の$d$-Brauer関係の間には、構成的対応が存在するか？
• RQ5 $d$-自己同型dg代数は、$d$-Brauer関係などの組合せ的データから明示的に構成可能か？

主な発見

• 非正、適切、Gorensteinなdg代数$A$上のCohen-Macaulay dgモジュールのカテゴリ$\mathsf{CM}A$は、$\mathsf{Proj}(\mathsf{CM}A) = \mathsf{add}A$を満たすFrobenius外三角カテゴリである。
• 安定圏$\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$に対して、$\mathsf{CM}A$のARクーヴィがちょうど$C$となる$d$-自己同型dg代数$A$が存在する。
• タイプ$A_n$において、$(-d)$-CY構成と最大の$d$-Brauer関係の間には全単写像が存在し、これによりBrauer木dg代数を介して$d$-自己同型dg代数を構成できる。
• 切断多項式dg代数の場合、すべての非可約Cohen-Macaulay dgモジュールが明示的に分類され、KellerとReitenの基準によりその安定圏はクラスター圏である。