[論文レビュー] Stable categories of Cohen-Macaulay modules and cluster categories

Claire Amiot, Osamu Iyama+1 more|arXiv (Cornell University)|Apr 19, 2011

Algebraic structures and combinatorial models参考文献 47被引用数 56

ひとこと要約

本稿は、Gorenstein特異点 $ R $ の分類されたCohen-Macaulay $ R $-加群の安定圏と、有限次元代数 $ \Lambda $ の一般化された $ d $-クラスターカテゴリの間で三角同値を確立する。そのために、$ R $ の高次アウスラー代数としても、$ \Lambda $ の拡張の高次プリプロジェクティブ代数としても機能する双加群Calabi-Yau代数を用いる。主な結果は、2次元のアウスラーの代数的 McKay対応を高次元に一般化し、商特異点やダイマー・モデル代数への応用を含む。

ABSTRACT

By Auslander's algebraic McKay correspondence, the stable category of Cohen-Macaulay modules over a simple singularity is equivalent to the $1$-cluster category of the path algebra of a Dynkin quiver (i.e. the orbit category of the derived category by the action of the Auslander-Reiten translation). In this paper we give a systematic method to construct a similar type of triangle equivalence between the stable category of Cohen-Macaulay modules over a Gorenstein isolated singularity $R$ and the generalized (higher) cluster category of a finite dimensional algebra $Λ$. The key role is played by a bimodule Calabi-Yau algebra, which is the higher Auslander algebra of $R$ as well as the higher preprojective algebra of an extension of $Λ$. As a byproduct, we give a triangle equivalence between the stable category of graded Cohen-Macaulay $R$-modules and the derived category of $Λ$. Our main results apply in particular to a class of cyclic quotient singularities and to certain toric affine threefolds associated with dimer models.

研究の動機と目的

• 2-Calabi-Yauから高次元Calabi-Yau圏へのアウスラーの代数的 McKay対応の一般化を図ること。
• Gorenstein孤立特異点に対して、分類されたCohen-Macaulay $ R $-加群の安定圏と有限次元代数 $ \Lambda $ の一般化された $ d $-クラスターカテゴリとの間で、体系的な三角同値を構成すること。
• $ R $ の高次アウスラー代数としても、$ \Lambda $ の拡張の高次プリプロジェクティブ代数としても機能する双加群Calabi-Yau代数を同定し、その同値性を可能にする。
• 商特異点およびダイマー・モデルから得られるトーリックなアフィン3次元多様体に対して、対応を拡張し、高次クラスターカテゴリの新しい例を提供すること。

提案手法

• 特異点 $ R $ の高次アウスラー代数としても、$ \Lambda $ の拡張の高次プリプロジェクティブ代数としても機能する双加群Calabi-Yau代数 $ C $ を構成する。
• 完全マッチング $ D $ によって誘導される $ C $ の次数構造を用いて、次数0部分代数 $ A $ を定義し、適切な条件下で $ A $ が有限次元になるようにする。
• 有限なグローバル次元を持つ代数に付随する一般化された $ d $-クラスターカテゴリ $ \mathcal{C}_d(\underline{A}) $ の理論を適用する。
• 函手 $ F $ と $ G $ を用いて三角同値を確立し、$ \underline{{\sf CM}}^\mathbb{Z}(C) \simeq \mathcal{C}_d(\underline{A}) $ および $ \underline{{\sf CM}}(C) \simeq \mathcal{C}_d(\underline{A}) $ を示す。ここで $ \underline{A} = A / \langle e_i \rangle $ である。
• 関連する部分代数の有限性と非巡回性を保証するため、クーヴィーと代数構造に関する条件 (A3) と (A4) を検証する。
• 具体的な例に応用する：商特異点とダイマー・モデル代数を用い、ヤコビ代数 $ B = {\rm Jac}(Q,W) $ 及びその中心 $ C $ を用いる。

実験結果

リサーチクエスチョン

• RQ1 Kleinian特異点において知られている、Cohen-Macaulay加群の安定圏と1-クラスターカテゴリの三角同値は、高次元のGorenstein特異点へ一般化可能か？
• RQ2 Gorenstein孤立特異点 $ R $ と有限次元代数 $ \Lambda $ に対して、$ \underline{{\sf CM}}^\mathbb{Z}(R) $ が一般化された $ d $-クラスターカテゴリ $ \mathcal{C}_d(\Lambda) $ と三角同値であるための条件は何か？
• RQ3 双加群Calabi-Yau代数が、$ R $ の高次アウスラー代数としても、$ \Lambda $ の拡張の高次プリプロジェクティブ代数としても同時に機能する仕組みは何か？
• RQ4 ダイマー・モデルは、そのヤコビ代数と関連する中心を通じて、高次クラスターカテゴリの例をどれほど提供できるか？
• RQ5 ダイマー・モデルのクーヴィーにおける完全マッチング $ D $ と頂点 $ i $ に対して、代数 $ \underline{A} = A / \langle e_i \rangle $ が有限次元になるための条件は何か？

主な発見

• 一致するダイマー・モデルから得られるGorenstein孤立特異点 $ C $ に対して、完全マッチング $ D $ とソース頂点 $ i $ に関する条件のもとで、三角同値 $ \underline{{\sf CM}}^\mathbb{Z}(C) \simeq \mathcal{C}_2(\underline{A}) $ を構成した。
• クーヴィーとポテンシャル $ W $ を持つダイマー・モデルの例では、中心 $ C $ は $ \mathbb{C}[\mathbb{Z}^3 \cap \sigma^\vee] $ に同型であり、$ \mathbb{P}^1 \times \mathbb{P}^1 $ に対応し、$ \underline{A} $ が頂点 $ 2,3,4 $ のパス代数である場合に同値が成立する。
• $ A = B_0 $ が有限で、$ i $ が $ Q - D $ においてソースである限り、代数 $ \underline{A} $ は有限次元である。これは $ D = \{x_1, x_2\} $ の例で満たされる。
• $ C $ が孤立特異点でなくても、部分代数 $ A $ と $ \underline{B} = B / \langle e_1 + e_2 \rangle $ が有限次元であれば、同値 $ \mathcal{C}_2(\underline{A}) \simeq \underline{{\sf CM}}(C) $ が成立する。
• 非可換中心に対しても同値が得られ、この結果が可換Gorenstein環に限らないことを示した。
• 主な技術的道具は、高次アウスラー代数と高次プリプロジェクティブ代数の構造を統合する双加群Calabi-Yau代数 $ C $ であり、これが高次元における同値性を可能にする。