[論文レビュー] Cluster-tilted algebras are Gorenstein and stably Calabi-Yau

Bernhard Keller, Idun Reiten|ArXiv.org|Dec 20, 2005

Algebraic structures and combinatorial models参考文献 18被引用数 11

ひとこと要約

この論文は、クラスターティルト代数が射影的モジュールの自己同型次元が1未満であるGorenstein代数であり、そのコhen-Macaulayモジュールの安定圏が3-Calabi-Yauであることを確立する。これらの結果はd-Calabi-Yau圏に一般化され、非安定自己同型環上の相対的3-Calabi-Yau双対性が証明され、d-クラスターティルト代数の例が構成される。

ABSTRACT

We prove that in a 2-Calabi-Yau triangulated category, each cluster tilting subcategory is Gorenstein with all its finitely generated projectives of injective dimension at most one. We show that the stable category of its Cohen-Macaulay modules is 3-Calabi-Yau. We deduce in particular that cluster-tilted algebras are Gorenstein of dimension at most one, and hereditary if they are of finite global dimension. Our results also apply to the stable (!) endomorphism rings of maximal rigid modules of Geiss-Leclerc-Schroer. In addition, we prove a general result about relative 3-Calabi-Yau duality over non stable endomorphism rings. This strengthens and generalizes the Ext-group symmetries obtained by Geiss-Leclerc-Schroer for simple modules. Finally, we generalize the results on relative Calabi-Yau duality from 2-Calabi-Yau to d-Calabi-Yau categories. We show how to produce many examples of d-cluster tilted algebras.

研究の動機と目的

• クラスターティルト代数が射影的モジュールの自己同型次元が1未満であるGorenstein代数であることを証明すること。
• クラスターティルト代数上のコhen-Macaulayモジュールの安定圏が3-Calabi-Yauであることを示すこと。
• 文献[27]におけるExt群の対称性を、非安定自己同型環上の相対的3-Calabi-Yau双対性へ一般化すること。
• 2-からd-Calabi-Yau圏への相対的Calabi-Yau双対性の結果を拡張すること。
• d-クラスターティルト代数の構成法を、d-クラスターカテゴリを用いて提示すること。

提案手法

• 有限次元のHom空間を備えた2-Calabi-Yauな三角的圏Cと、クラスターティルト部分圏Tを用いる。
• 有限生成T-加群の圏mod Tを定義し、それがアーベル的かつGorensteinであり、射影的・自己同型次元が1で有界であることを証明する。
• D^b(mod T)とDとの三角同値を用いて、ホモロジー次元および直交性条件を分析する。
• d-Calabi-Yau設定において、0 < i < dのときHom(T, S^i T') = 0であることを確立し、ティルティング性を保証する。
• 適切な対象に対してD(Hom(X, S^i Y)) ≅ Hom(S^i Y, S^d X)を示すことにより、相対的3-Calabi-Yau双対性を証明する。
• d-クラスターティルト代数を、d-クラスターカテゴリ内のクラスターティルト対象の自己同型環として構成する。

実験結果

リサーチクエスチョン

• RQ1 クラスターティルト代数はGorensteinであるか？ その射影的モジュールの自己同型次元の上限は何か？
• RQ2 クラスターティルト代数上のコhen-Macaulayモジュールの安定圏は、次元3のCalabi-Yauであるか？
• RQ3 文献[27]における単純モジュールのExt群対称性は、非安定自己同型環上の相対的3-Calabi-Yau双対性へ一般化可能か？
• RQ4 相対的Calabi-Yau双対性は2-からd-Calabi-Yau圏へどのように拡張できるか？
• RQ5 d-クラスターカテゴリ内でのd-クラスターティルト代数の例を生成する構成法は何か？

主な発見

• クラスターティルト代数は、すべての有限生成射影的モジュールが自己同型次元が1未満であるGorenstein代数である。
• クラスターティルト代数上のコhen-Macaulayモジュールの安定圏は、次元3のCalabi-Yauである。
• 最大剛性モジュールの非安定自己同型環上では相対的3-Calabi-Yau双対性が成り立ち、文献[27]の結果が一般化される。
• 結果はd-Calabi-Yau圏へ拡張され、Homおよび双対性の対称性を用いて相対的d-Calabi-Yau双対性が確立される。
• d-クラスターティルト代数は、d-クラスターカテゴリ内のクラスターティルト対象の自己同型代数として構成される。
• 圏mod Tはアーベル的かつGorensteinであり、2-Calabi-Yau圏内のクラスターティルト対象の自己同型環は、有限グローバル次元を持つならば半単純である。