[論文レビュー] Tilting and cluster tilting for quotient singularities

Osamu Iyama, Ryo Takahashi|arXiv (Cornell University)|Dec 29, 2010

Algebraic structures and combinatorial models参考文献 40被引用数 12

ひとこと要約

この論文は、商特異点上のグレーディング付きコhen-Macaulay加群の安定圏がティルティング対象を備えていることを確立し、それによりその圏が有限次元代数の導来圏と三角同値であることを示している。著者らは高次元のアセルァンダー＝レーセン理論とクラスターティルティングを用いて、コーシュール複体が高次アンドロイド分裂系列として実現されること、また、商特異点上のスケュー群代数が高次アセルァンダー代数であることを示し、任意の次元においてクラスターティルティング部分圏を用いてティルティング対象を構成できるようにしている。

ABSTRACT

We shall show that the stable categories of graded Cohen-Macaulay modules over quotient singularities have tilting objects. In particular, these categories are triangle equivalent to derived categories of finite dimensional algebras. Our method is based on higher dimensional Auslander-Reiten theory, which gives cluster tilting objects in the stable categories of (ungraded) Cohen-Macaulay modules.

研究の動機と目的

• 商特異点上のグレーディング付きコhen-Macaulayモジュールの安定圏にティルティング対象が存在することを確立する。
• クラスター・ティルティングと高次アセルァンダー＝レーセン理論を適用することで、ティルティング理論を高次元特異点へと拡張する。
• 次元dにおける、商特異点上の（グレーディングなしの）コhen-Macaulayモジュールの安定圏が(d−1)-クラスター・ティルティング部分圏を備えていることを示す。
• 商特異点に関連するスケュー群代数が高次アセルァンダー代数であることを証明する。
• 巡回商特異点に関して、クラスター・カテゴリーと未グレーディング付きコhen-Macaulayモジュールの安定圏との間の関係を確立する。
• グレーディング付きアセルァンダー＝レーセン双対性や、代数的三角圏に対するティルティング定理といった基礎的結果を自己完結的に取り扱う。

提案手法

• d次元の商特異点上のコhen-Macaulayモジュールの安定圏に(d−1)-クラスター・ティルティング部分圏を構成するために、高次元のアセルァンダー＝レーセン理論を適用する。
• 商特異点上のコーシュール複体が、クラスター・ティルティング理論の中心的役割を果たす高次アンドロイド分裂系列として実現されることを用いる。
• 多項式環上の有限群作用に関連するスケュー群代数が、群作用の構造を活用することで高次アセルァンダー代数であることを示す。
• 未グレーディングの場合のクラスター・ティルティング構造を活用して、グレーディング付きコhen-Macaulayモジュールの安定圏にティルティング対象Uを構成する。
• 代数的三角圏に対するティルティング定理（定理1.2）を用いて、ティルティング対象の自己準同型代数の導来圏と安定圏との間の三角同値を確立する。
• DG代数技術と擬同型写像を用いて、自己準同型代数の導来圏と元の安定圏との関係を、per AおよびH⁰(A)の構成を通じて関係づける。

実験結果

リサーチクエスチョン

• RQ1 任意の次元dにおける商特異点上のグレーディング付きコhen-Macaulayモジュールの安定圏はティルティング対象を備えているか？
• RQ2 クラスター・ティルティング理論を用いて、高次元の商特異点におけるティルティング対象を構成できるか？
• RQ3 商特異点上のコーシュール複体は、高次アセルァンダー＝レーセン理論の意味で高次アンドロイド分裂系列として実現されるか？
• RQ4 未グレーディング付きコhen-Macaulayモジュールの安定圏におけるクラスター・ティルティング対象の自己準同型代数は、擬ハーゼドリー的か、もしくは有限グローバル次元を持つか？
• RQ5 任意の次元の商特異点について、グレーディング付きコhen-Macaulayモジュールの安定圏は、有限次元代数の導来圏と三角同値であるか？

主な発見

• 任意の次元dにおける商特異点上のグレーディング付きコhen-Macaulayモジュールの安定圏はティルティング対象を備えている。
• 商特異点上のコーシュール複体は、高次アセルァンダー＝レーセン理論の意味で高次アンドロイド分裂系列として実現される。
• 多項式環上の有限群作用に関連するスケュー群代数は、グローバル次元d−1の高次アセルァンダー代数である。
• クラスター・ティルティング部分圏は、商特異点上の未グレーディング付きコhen-Macaulayモジュールの安定圏に存在し、次元dにおいては(d−1)-クラスター・ティルティングである。
• クラスター・ティルティング対象Uの自己準同型代数は、その導来圏がグレーディング付きコhen-Macaulayモジュールの安定圏と三角同値である有限次元代数である。
• 任意の次元の商特異点について、グレーディング付きコhen-Macaulayモジュールの安定圏は、ティルティング対象の存在の結果として、有限次元代数の導来圏と三角同値である。