[論文レビュー] Tilting Cohen-Macaulay representations

Osamu Iyama|arXiv (Cornell University)|May 14, 2018

Algebraic structures and combinatorial models参考文献 30被引用数 10

ひとこと要約

本稿は、Gorenstein環の特異性カテゴリーと有限次元代数の導来またはクラスターカテゴリーの間で三角同値を確立し、Cohen-Macaulay表現、ティルティング理論、代数幾何学の深い関係を明らかにする。主な貢献は、特定のGorenstein環に対して $̄⁡\operatorname{CM}^G R \simeq \mathrm{K}^b(\operatorname{proj} \Lambda)$ および $̄⁡\operatorname{CM} R \simeq \mathrm{C}_d(\Lambda)$ の形の明示的同値を構成することであり、$d$-クラスターティルティング対象を通じてGorenstein環とCalabi-Yau三角カテゴリを結ぶ。

ABSTRACT

This is a survey on recent developments in Cohen-Macaulay representations via tilting and cluster tilting theory. We explain triangle equivalences between the singularity categories of Gorenstein rings and the derived (or cluster) categories of finite dimensional algebras.

研究の動機と目的

• Gorenstein環上のグレーディング付きCohen-Macaulay加群の安定カテゴリーと有限次元代数の導来またはクラスターカテゴリーの間で三角同値を確立すること。
• Gorenstein環 $R$ が $d$-CM-有限である、すなわち $\operatorname{CM} R$ に $d$-クラスターティルティング対象をもつときの条件を調査すること。
• Geigle-Lenzing射影空間上の連接層の導来カテゴリーにおける $d$-ティルティング対象と、その空間の $d$-VB-有限性との関係を探索すること。
• Geigle-Lenzingスタック $\mathbb{X}$ が $d$-ティルティングバンドルをもつための条件を特定し、導来同値性と $d$-表現無限代数との関係を結ぶこと。

提案手法

• Gorenstein環に対して、Buchweitzの安定カテゴリー $\underline{\operatorname{CM}} R$ と特異性カテゴリー $\mathrm{D}_{\mathrm{sg}}(R)$ の同値を用いる。
• Orlovのグレーディング付き特異性カテゴリーの導来カテゴリー内での実現を用い、CM加群と代数幾何学を結びつける。
• ティルティングおよびクラスターティルティング理論を用いて、特定のクラスのGorenstein環に対して三角同値 $\underline{\operatorname{CM}}^G R \simeq \mathrm{K}^b(\operatorname{proj} \Lambda)$ および $\underline{\operatorname{CM}} R \simeq \mathrm{C}_d(\Lambda)$ を構成する。
• 高次プレプロジェクティブ代数および高次アウスラーダル代数を用いて、$d$-クラスターティルティング対象の文脈におけるCalabi-Yau構造を実現する。
• 行列因数分解およびグローバル次元に関する結果を適用し、$\mathrm{gl.dim}(\operatorname{End}(V)) = d$ となるような導来カテゴリー $\mathrm{D}^b(\operatorname{coh} \mathbb{X})$ 内のティルティング対象 $V$ が成り立つ条件を特定する。これにより $d$-ティルティングバンドルが得られる。
• Gorenstein環 $R$ の $d$-CM-有限性と関連スタック $\mathbb{X}$ の $d$-VB-有限性の関係を活用し、$\operatorname{CM}^\mathbb{L} R$ の $d$-クラスターティルティング部分カテゴリーが $\operatorname{vect} \mathbb{X}$ のそれと一致し、すべての $\vec{x} \in \mathbb{L}$ に対して $\mathcal{O}(\vec{x})$ を含むことを利用する。

実験結果

リサーチクエスチョン

• RQ1 グレーディング付きGorenstein環 $R$ の安定カテゴリー $\underline{\operatorname{CM}}^G R$ がティルティング対象をもつのはいつか？ これにより、ある有限次元代数 $\Lambda$ に対して三角同値 $\underline{\operatorname{CM}}^G R \simeq \mathrm{K}^b(\operatorname{proj} \Lambda)$ が成り立つ。
• RQ2 Gorenstein環 $R$ の特異性カテゴリー $\mathrm{D}_{\mathrm{sg}}(R)$ が $d$-クラスターカテゴリー $\mathrm{C}_d(\Lambda)$ と三角同値となるのはどのような条件か？
• RQ3 Geigle-Lenzing射影空間 $\mathbb{X}$ が $d$-ティルティングバンドルをもつのはいつか？ これは、その連接層カテゴリーがグローバル次元 $d$ の代数と導来同値であることにどのように関係するか？
• RQ4 Gorenstein環 $R$ の $d$-CM-有限性と関連スタック $\mathbb{X}$ の $d$-VB-有限性との正確な関係は何か？
• RQ5 次元が1より大きいGorenstein環のうち、$\operatorname{CM} R$ に $d$-クラスターティルティング対象をもつものはどれか？ また、高次プレプロジェクティブ代数および高次アウスラーダル代数はこの問題にどのように寄与するか？

主な発見

• $\mathbb{Z}$-グレーディング付きGorenstein環で次元が0または1のものについては、ある有限次元代数 $\Lambda$ に対して三角同値 $\underline{\operatorname{CM}}^G R \simeq \mathrm{K}^b(\operatorname{proj} \Lambda)$ が存在し、既知の結果を一般化する。
• $n \leq d+1$ のとき、$R$ は $d$-CM-有限であり、$\operatorname{CM}^\mathbb{L} R = \operatorname{proj}^\mathbb{L} R$ は $d$-クラスターティルティング部分カテゴリーである。これにより $\mathbb{X}$ は $d$-VB-有限である。
• $n = d+2 \geq 3$ で重みが $ (2,2,p_3) $、$ (2,3,3) $、$ (2,3,4) $、または $ (2,3,5) $ のとき、$\mathbb{X}$ は $d$-ティルティングバンドルをもつ。
• $n = d+2 \geq 4$ で重みが $ (3,3,p_3,p_4) $ かつ $p_3,p_4 \in \{3,4,5\}$ のとき、$\mathbb{X}$ は $d$-ティルティングバンドルをもつ。
• 標準代数 $A^{\rm ca}$ のグローバル次元は、$n \leq d+1$ のとき $\mathrm{gl.dim}(A^{\rm ca}) = d$、$n \geq d+2$ のとき $2d$ である。これは $\mathbb{X}$ が $d$-ティルティングバンドルをもつ条件を決定する。
• Fanoである$\mathbb{X}$ に対して、$\mathrm{gl.dim}(\operatorname{End}(V)) = d$ をみたす $\mathrm{D}^b(\operatorname{coh} \mathbb{X})$ 内の $d$-ティルティング対象 $V$ が存在する。このような $V$ は $\operatorname{vect} \mathbb{X}$ 内に $\operatorname{add}\{V(\ell \vec{\omega}) \mid \ell \in \mathbb{Z}\}$ の形の $d$-クラスターティルティング部分カテゴリーを誘導する。