[論文レビュー] Stable categories of higher preprojective algebras

Osamu Iyama, Steffen Oppermann|arXiv (Cornell University)|Dec 17, 2009

Algebraic structures and combinatorial models参考文献 27被引用数 21

ひとこと要約

本稿では、グローバル次元が高々 $n$ の有限次元代数に対して $(n+1)$-preprojective 代数を導入し、元の代数が $n$-representation-finite である場合、その $(n+1)$-preprojective 代数が自己同型的であり、その安定モジュール圏が $(n+1)$-Calabi-Yau であることを示している。重要な点として、この安定圏は、安定 $n$-Auslander 代数の $(n+1)$-Amiot cluster 圈と同値であり、したがって $(n+1)$-cluster tilting 対象を含む。

ABSTRACT

We introduce (n+1)-preprojective algebras of algebras of global dimension n. We show that if an algebra is n-representation-finite then its (n+1)-preprojective algebra is self-injective. In this situation, we show that the stable module category of the (n+1)-preprojective algebra is (n+1)-Calabi-Yau, and, more precisely, it is the (n+1)-Amiot cluster category of the stable n-Auslander algebra of the original algebra. In particular this stable category contains an (n+1)-cluster tilting object. We show that even if the (n+1)-preprojective algebra is not self-injective, under certain assumptions (which are always satisfied for n \in {1,2}) the results above still hold for the stable category of Cohen-Macaulay modules.

研究の動機と目的

• グローバル次元 $n$ の代数に対して、$(n+1)$-preprojective 代数を定義することで、古典的 preprojective 代数を高次表現論に一般化すること。
• 特に $n$-representation-finite の下で、自己同型性と Calabi-Yau 性というホモロジー的性質を確立すること。
• $(n+1)$-preprojective 代数の安定モジュール圏が、$(n+1)$-cluster tilting 対象を実現する $(n+1)$-Amiot cluster 圈と同値であることを示すこと。
• $(n+1)$-preprojective 代数が自己同型的でない場合、$\widetilde{\Lambda}$ が vosnex 条件を満たすとき、Cohen-Macaulay モジュールの圏を用いてこの結果を自己同型的でない場合にまで拡張すること。
• 導来同値と安定圏内の tilting 対象を通じて、高次 cluster 圈理論と高次 preprojective 代数を統一すること。

提案手法

• $\widetilde{\Lambda} = T_\Lambda \operatorname{Ext}_\Lambda^n(D\Lambda, \Lambda)$ をテンソル代数として $(n+1)$-preprojective 代数として定義し、古典的 preprojective 代数を一般化する。
• $n$-Amiot cluster 圈と軌道圏の普遍性を用いて、導来圏と安定モジュール圏を関連付ける。
• $\mathrm{mod}\,\Lambda$ 内の $n$-cluster tilting 対象を用いて、安定モジュール圏 $\underline{\mathrm{mod}}\,\widetilde{\Lambda}$ 内に tilting 対象を構成する。
• 導来ファンクターを用いて Serre duality 条件を検証することで、安定圏 $\underline{\mathrm{mod}}\,\widetilde{\Lambda}$ が $(n+1)$-Calabi-Yau であることを証明する。
• 自己同型的でない場合、Cohen-Macaulay モジュールの安定圏 $\underline{\mathrm{CM}}(\widetilde{\Lambda})$ を扱い、$\widetilde{\Lambda}$ が vosnex 条件を満たすとき、$\Gamma$ の導来圏と同値であることを示す。
• DG代数の技法と導来圏を用いて、制限ファンクターと tilting 対象の自己準同型代数を通じて、三角同値を確立する。

実験結果

リサーチクエスチョン

• RQ1 $n$-representation-finite 代数の $(n+1)$-preprojective 代数が自己同型的であるのはどのような条件下か？
• RQ2 $(n+1)$-preprojective 代数の安定モジュール圏は、高次 cluster 圈とどのように関係しているか？
• RQ3 $(n+1)$-preprojective 代数が自己同型的でない場合、その安定圏が $(n+1)$-Calabi-Yau であることは示せるか？
• RQ4 vosnex 条件は、自己同型的でない場合への結果の拡張において果たす役割は何か？
• RQ5 $(n+1)$-preprojective 代数の安定圏と $(n+1)$-Amiot cluster 圈の間に三角同値が存在するか？

主な発見

• $\Lambda$ が $n$-representation-finite であるならば、その $(n+1)$-preprojective 代数 $\widetilde{\Lambda}$ は自己同型的である。
• $\widetilde{\Lambda}$ が自己同型的であるとき、安定モジュール圏 $\underline{\mathrm{mod}}\,\widetilde{\Lambda}$ は $(n+1)$-Calabi-Yau である。
• $\underline{\mathrm{mod}}\,\widetilde{\Lambda}$ は、$\Lambda$ の安定 $n$-Auslander 代数 $\Gamma$ の $(n+1)$-Amiot cluster 圈 $\mathscr{C}^{n+1}_\Gamma$ と三角同値である。
• $\widetilde{\Lambda}$ が自己同型的でないが vosnex 条件を満たすとき、安定圏 $\underline{\mathrm{CM}}(\widetilde{\Lambda})$ は $\Gamma$ の導来圏と同値である。
• vosnex 条件の下で、$\underline{\mathrm{CM}}(\widetilde{\Lambda})$ は $(n+1)$-Calabi-Yau であり、$(n+1)$-cluster tilting 対象を含む。
• $\underline{\mathrm{CM}}(\widetilde{\Lambda})$ 内の tilting 対象の自己準同型代数は、安定 $n$-Auslander 代数 $\Gamma$ と同型であり、同値は制限ファンクターを介して実現される。