[論文レビュー] Explicit models for some stable categories of maximal Cohen-Macaulay modules

Louis de Thanhoffer de Völcsey, Michel Van den Bergh|arXiv (Cornell University)|Jun 10, 2010

Algebraic structures and combinatorial models被引用数 7

ひとこと要約

本稿は、孤立特異点をもつゴレンシュタイン局域環上の最大コhen＝マカウレー加群の安定カテゴリに対して明示的なDG代数モデルを提供する。エンドモルフィズム代数 $\Lambda = \operatorname{End}_R(R\oplus N)$ の最小モデルを構成することで、著者らは安定カテゴリ $\underline{\operatorname{MCM}}(R)$ が商DG代数 $\Gamma$ の完全導来カテゴリと quasi-equivalent であることを示し、特に3-カルラビ＝ヤウおよびコーシュルの場合に $\underline{\operatorname{MCM}}(R)$ が一般化された $n-1$-クラスターカテゴリとして実現されることを示している。

ABSTRACT

We give concrete DG-descriptions of certain stable categories of maximal Cohen-Macaulay modules. This makes in possible to describe the latter as generalized cluster categories in certain cases.

研究の動機と目的

• 孤立特異点をもつゴレンシュタイン環上の最大コhen＝マカウレー加群の安定カテゴリに対する明示的DGモデルを提供すること。
• $\underline{\operatorname{MCM}}(R)$ と $\operatorname{Perf}(\Gamma)/\langle S_i \rangle_{i \neq 0}$ の間の quasi-equivalence を、適切なDG代数 $\Gamma$ に対して確立すること。
• 3-カルラビ＝ヤウおよびコーシュルの場合に $\underline{\operatorname{MCM}}(R)$ が一般化クラスターカテゴリであることを示すこと。
• 群 $G = \mathbb{Z}/m\mathbb{Z}$ による商特異点 $R = k[[x_1,\dots,x_n]]^G$ に対して $\Gamma$ の明示的記述を与えること。
• DGモデルを用いて、[2,7] の結果 $\Gamma \cong T_C(\Theta_C[n-1])$ の quasi-isomorphism を再確認・再証明すること。

提案手法

• エンドモルフィズム代数 $\Lambda = \operatorname{End}_R(R\oplus N)$ に対して、最小有限モデル $(T_l V, d) \to \Lambda$ を構成する。ここで $\Lambda$ は有限グローバル次元をもち、$R$ 上でコーエン＝マカウレー的である。
• $\Gamma = T_l V / T_l V e_0 T_l V$ を定義する。これは非正の次数にのみ非ゼロであり、各次数で有限次元のコホモロジーを持つ商DG代数である。
• 最小モデルの構造を用いて、$\underline{\operatorname{MCM}}(R) \cong \operatorname{Perf}(\Gamma)/\langle S_i \rangle_{i \neq 0}$ を示し、安定カテゴリを完全導来カテゴリの商として特定する。
• 3-カルラビ＝ヤウの場合、スーパーポテンシャルの存在を活用して、ポテンシャルから最小モデルを構成し、一般化クラスターカテゴリを導出する。
• コーシュルの場合、コーシュル双対性およびアダムス次数の性質を用いて、$\Gamma \cong T_C(\Theta_C[n-1])$ を示す。ここで $C$ は関係を持つパス代数である。
• 非退化な双モジュール準同型および双対化複体 $\Theta_C$ を用いて、$\tilde{\Omega}_{k\tilde{P}/l^0}$ 上の微分の明示的計算により、$\Gamma \cong T_C(\Theta_C[n-1])$ の quasi-isomorphism を確立する。

実験結果

リサーチクエスチョン

• RQ1 孤立特異点をもつゴレンシュタイン環上の最大コhen＝マカウレー加群の安定カテゴリ $\underline{\operatorname{MCM}}(R)$ は、明示的なDGモデルによって記述可能か？
• RQ2 $\underline{\operatorname{MCM}}(R)$ が一般化クラスターカテゴリと同値となる条件は何か？
• RQ3 どのようにして $\underline{\operatorname{MCM}}(R) \cong \operatorname{Perf}(\Gamma)/\langle S_i \rangle_{i \neq 0}$ を満たすDG代数 $\Gamma$ を明示的に構成できるか？
• RQ4 群 $G = \mathbb{Z}/m\mathbb{Z}$ による商特異点 $R = k[[x_1,\dots,x_n]]^G$ に対して $\Gamma$ のDGモデルは何か？
• RQ5 商特異点の場合に $\Gamma \cong T_C(\Theta_C[n-1])$ である quasi-isomorphism は、一般のカルラビ＝ヤウ理論ではなくDGモデルから導けるか？

主な発見

• $\underline{\operatorname{MCM}}(R)$ は、各次数で有限次元のコホモロジーを持つDG代数 $\Gamma = T_l V / T_l V e_0 T_l V$ に対して、$\operatorname{Perf}(\Gamma)/\langle S_i \rangle_{i \neq 0}$ と quasi-equivalent である。
• $\Gamma$ は次数 $\leq 0$ にのみ非ゼロであり、その次数0部は $H^0(\Gamma) = \Lambda / \Lambda e_0 \Lambda$ である。これは $\Lambda$ を $e_0$ で生成される両側イデアルで割った商である。
• 3-カルラビ＝ヤウの場合、$\underline{\operatorname{MCM}}(R)$ はアミオットが定義した、スーパーポテンシャルを持つクワイバーに関連する一般化クラスターカテゴリと同値である。
• 群 $G = \mathbb{Z}/m\mathbb{Z}$ が重み $\sum a_i \equiv 0 \mod m$ を満たすとき、$R = k[[x_1,\dots,x_n]]^G$ のコーシュルの場合、DG代数 $\Gamma$ は明示的に $T_C(\Theta_C[n-1])$ として記述される。ここで $C$ は関係を持つパス代数である。
• 非退化な双モジュール準同型 $\omega^\circ: \Theta_{k\tilde{P}} \to D[-n+1]$ が、$\tilde{\Omega}_{k\tilde{P}/l^0}$ 上の微分の計算から構成され、これにより $\Gamma \cong T_C(\Theta_C[n-1])$ の quasi-isomorphism が確立される。
• 本構成により、[2,7] の結果、すなわち商特異点の場合に $\underline{\operatorname{MCM}}(R)$ が一般化された $n-1$-クラスターカテゴリであるという事実の新しい証明が得られる。