[論文レビュー] Tilting theory of preprojective algebras and $c$-sortable elements

Yuta Kimura|arXiv (Cornell University)|May 16, 2014

Algebraic structures and combinatorial models参考文献 19被引用数 3

ひとこと要約

この論文は、有限非巡回クーヴァー Q のコックスター群の c-可換な要素 w に対して、部分加群の重層的安定カテゴリ Sub^Z Πw と相対的安定アウスランダー代数の有界導来カテゴリとの間に導来同値性を確立する。w が c-可換であるとき、Sub^Z Πw は tilting 対象 M を持ち、M の自己準同型代数は、kQ の torsion-free なクラスにおける安定アウスランダー代数に同型であり、そのグローバル次元は 2 以下である。

ABSTRACT

For a finite acyclic quiver $Q$ and the corresponding preprojective algebra $Π$, we study the factor algebra $Π_w$ associated with a element $w$ in the Coxeter group introduced by Buan-Iyama-Reiten-Scott. The algebra $Π_w$ has a natural $\mathbb{Z}$-grading, and we prove that $\underline{\mathsf{Sub}}^{\mathbb{Z}}Π_w$ has a tilting object $M$. Moreover, we show that the endomorphism algebra of $M$ is isomorphic to the stable Auslander algebra of a certain torsion free class of $\mathsf{mod}\,kQ$.

研究の動機と目的

• Sub Πw とクラスターカテゴリの間の Amiot-Reiten-Todorov 同値性の導来カテゴリ版を構成すること。
• 有限非巡回クーヴァー Q の c-可換な要素 w に関連する代数 Πw の重層構造を研究すること。
• w が c-可換であるとき、重層的安定カテゴリ Sub^Z Πw に tilting 対象が存在することを確立すること。
• tilting 対象の自己準同型代数を相対的安定アウスランダー代数として記述し、そのグローバル次元を評価すること。
• Sub^Z Πw とその自己準同型代数の有界導来カテゴリとの間に導来同値性を確立すること。

提案手法

• クーヴァー Q の向きを用いて、前プロジェクティヴ代数因子 Πw に Z-重層を導入する。
• c-可換な要素を、コックスター要素 c の部分語を用いて、入れ子のサポートを持つ減少表現 w = c(0)⋯c(m) を持つ w ∈ W として定義する。
• c-可換な w に対して、Sub^Z Πw 内に tilting 対象 M = ⊕_{i=0}^m (Π_{c(0)⋯c(i)})(i) を構成する。
• コティルティング加群および相対的安定カテゴリの理論を用いて、自己準同型代数 Aw = End^Z_Πw(M) を分析する。
• Aw が End_kQ(M₀)/[T] に同型であることを証明する。ここで M₀ は M の次数 0 部分であり、T は Sub T が M₀ を加法的生成子として持つ tilting kQ 加群である。
• コティルティング理論と Hom^T 内の長完全列を用いて、Aw のグローバル次元を 2 で上から抑える。

実験結果

リサーチクエスチョン

• RQ1 w が c-可換であるとき、重層的安定カテゴリ Sub^Z Πw は tilting 対象をもつか？
• RQ2 Sub^Z Πw 内の tilting 対象の自己準同型代数の構造は何か？
• RQ3 Sub^Z Πw とその自己準同型代数の有界導来カテゴリとの間に導来同値性を確立できるか？
• RQ4 tilting 対象の自己準同型代数のグローバル次元は何か？
• RQ5 自己準同型代数は、mod kQ の torsion-free クラスにおける安定アウスランダー代数とどのように関係するか？

主な発見

• 有限非巡回クーヴァー Q のコックスター群の任意の c-可換な要素 w に対して、カテゴリ Sub^Z Πw は tilting 対象 M = ⊕_{i=0}^m (Π_{c(0)⋯c(i)})(i) を持つ。
• 自己準同型代数 Aw = End^Z_Πw(M) は、M₀ が M の次数 0 部分であり、T が Sub T が M₀ を加法的生成子として持つ tilting kQ 加群であるとき、End_kQ(M₀)/[T] に同型である。
• コティルティング理論と高次の Ext 群の消滅を用いて、Aw のグローバル次元が 2 以下であることが示された。
• 三角同値性 Sub^Z Πw ≃ D^b(Aw) が存在し、重層的安定カテゴリと自己準同型代数の有界導来カテゴリとの間の導来同値性が確立された。
• この構成により、Amiot-Reiten-Todorov 同値性の導来版が得られ、カテゴリ Sub Πw が重層構造を通じてクラスターカテゴリと関連づけられた。
• Aw のグローバル次元が 2 であるという上限は、n=2 の n ステップコティルティング分解過程を用いた、相対的安定アウスランダー代数に関する一般結果から導かれた。