[論文レビュー] Tilting and cluster tilting for preprojective algebras and Coxeter groups

Yuta Kimura|arXiv (Cornell University)|Jul 3, 2016

Algebraic structures and combinatorial models参考文献 5被引用数 4

ひとこと要約

本稿は、コクセター群の元に関連するグレーディング付きプレプロジェクティブ代数の安定カテゴリにおいて、スリッティングおよびチルティング対象を構成する。特定の条件下で、このカテゴリと自己同型代数の導来カテゴリの間の三角同値を確立し、元がその台上で c-終了する場合、アミオット＝ライテン＝トドロフのクラスターカテゴリ同値と整合性を示す。主な貢献は、この文脈におけるクラスターチルティング理論のグレーディング一般化であり、以前の結果をより広い群元のクラスへと拡張するものである。

ABSTRACT

We study the stable category of the factor algebra of the preprojective algebra associated with an element $w$ of the Coxeter group of a quiver. We show that there exists a silting object $M(\bf{w})$ of this category associated with each reduced expression $\bf{w}$ of $w$ and give a sufficient condition on $\bf{w}$ such that $M(\bf{w})$ is a tilting object. In particular, the stable category is triangle equivalent to the derived category of the endomorphism algebra of $M(\bf{w})$. Moreover, we compare it with a triangle equivalence given by Amiot-Reiten-Todorov for a cluster category.

研究の動機と目的

• コクセター群に関連するプレプロジェクティブ代数のグレーディング付き設定におけるチルティングおよびクラスターチルティングの理解の空白を埋める。
• 従来の c-可換な要素に関する結果を、スリッティング対象のための新しい十分条件を用いて、より広い群元のクラスへと一般化する。
• 構成されたスリッティング対象の自己同型代数の導来カテゴリとグレーディング付き加群の安定カテゴリの間の三角同値を確立する。
• スリッティング対象から得られる導来同値とアミオット＝ライテン＝トドロフのクラスターカテゴリ同値を比較する。
• 元がその台上で c-終了する場合、2つの同値が忘却関手を介して自然な図式によって可換になることを示す。

提案手法

• 未グレーディングの Sub Π(w) のグレーディング版として、グレーディング付きフロベニウスカテゴリ Sub^Z Π(w) を定義する。
• 任意の w ∈ W_Q の簡約表現に対して、Sub^Z Π(w) 内にスリッティング対象 M(w) を構成する。
• Q0 上で c-終了または c-開始であるという条件を、M(w) がチルティング対象となるための十分条件として導入する。
• この条件下で、M(w) の自己同型代数がグローバル次元 2 以下であることを証明する。
• M(w) の自己同型代数の導来カテゴリと Sub^Z Π(w) の間の三角同値を確立する。
• 忘却関手を含む図式を用いて、M(w) から得られる導来同値とアミオット＝ライテン＝トドロフの同値を比較する。

実験結果

リサーチクエスチョン

• RQ1 w ∈ W_Q に対して、Sub^Z Π(w) 内に構成されたスリッティング対象 M(w) が実際にチルティング対象となるための条件は何か？
• RQ2 M(w) がチルティング対象であるとき、M(w) の自己同型代数の導来カテゴリは、Sub^Z Π(w) の安定カテゴリとどのように関係するか？
• RQ3 M(w) によって誘導される三角同値は、クラスターカテゴリと未グレーディング安定カテゴリの間のアミオット＝ライテン＝トドロフの同値とどのように関連するか？
• RQ4 M(w) の自己同型代数 End^Z_Π(w)(M(w)) と、アミオット＝ライテン＝トドロフの構成で用いられる代数 A(w) の正確な関係は何か？
• RQ5 忘却関手と2つの同値を含む図式が、同型の意味で可換になるための条件は何か？

主な発見

• 任意の w ∈ W_Q とその簡約表現に対して、グレーディング付き安定カテゴリ Sub^Z Π(w) 内にスリッティング対象 M(w) が存在する。
• w が Q0 上で c-終了または c-開始であるとき、M(w) は Sub^Z Π(w) 内のチルティング対象となる。
• c-終了または c-開始の条件下で、自己同型代数 End^Z_Π(w)(M(w)) のグローバル次元は 2 以下である。
• 同じ条件下で、End^Z_Π(w)(M(w)) の導来カテゴリと Sub^Z Π(w) の間には三角同値が存在する。
• w が Supp(w) 上で c-終了するとき、自己同型代数 End^Z_Π(w)(M(w)) は、アミオット＝ライテン＝トドロフの構成における代数 A(w) に等しい。
• A(w) の導来カテゴリ、グレーディング付き安定カテゴリ Sub^Z Π(w)、未グレーディング安定カテゴリ Sub Π(w) の間の可換図式が確立され、2つの同値の整合性が示された。