[論文レビュー] au-tilting theory

Takahide Adachi, Osamu Iyama+1 more|arXiv (Cornell University)|Oct 3, 2012

Algebraic structures and combinatorial models参考文献 38被引用数 49

ひとこと要約

この論文は、有限次元代数のための変異フレームワークを完成させるために、古典的ティルティング理論の一般化として$τ$-ティルティング理論を導入する。すべてのほとんど完全なサポート$τ$-ティルティング加群が正確に2つの補完を持つことを確立し、サポート$τ$-ティルティング加群、関手的に有限な torsion 級、および有界導来カテゴリにおける2項セルティング複体の間の双対性を示し、ティルティング理論とクラスター・ティルティング現象を統合する。

ABSTRACT

The aim of this paper is to introduce tau-tilting theory, which completes (classical) tilting theory from the viewpoint of mutation. It is well-known in tilting theory that an almost complete tilting module for any finite dimensional algebra over a field k is a direct summand of exactly 1 or 2 tilting modules. An important property in cluster tilting theory is that an almost complete cluster-tilting object in a 2-CY triangulated category is a direct summand of exactly 2 cluster-tilting objects. Reformulated for path algebras kQ, this says that an almost complete support tilting modules has exactly two complements. We generalize (support) tilting modules to what we call (support) tau-tilting modules, and show that an almost support tau-tilting module has exactly two complements for any finite dimensional algebra. For a finite dimensional k-algebra A, we establish bijections between functorially finite torsion classes in mod A, support tau-tilting modules and two-term silting complexes in Kb(proj A). Moreover these objects correspond bijectively to cluster-tilting objects in C if A is a 2-CY tilted algebra associated with a 2-CY triangulated category C. As an application, we show that the property of having two complements holds also for two-term silting complexes in Kb(proj A).

研究の動機と目的

• 古典的ティルティング理論を一般化するために、一様な変異性質を満たす$τ$-ティルティング加群を導入すること。
• 一般の有限次元代数において、古典的ティルティング理論に一貫した2補完性質が欠落している問題を解決すること。
• ほとんど完全な加群が正確に2つの補完を持つような枠組みを構築することで、ティルティング理論とクラスター・ティルティング現象を統合すること。
• サポート$τ$-ティルティング加群、関手的に有限な torsion 級、および有界導来カテゴリ$\mathsf{K}^b(\mathsf{proj}\Lambda)$における2項セルティング複体の間の双対性を確立すること。

提案手法

• 条件$\operatorname{Hom}(M, \tau M) = 0$および直和成分に関する最大性に基づき、$\tau$-リジッドおよび$\tau$-ティルティング加群を定義する。
• 代数のイデムポテン部分代数を用いて、古典的ティルティング加群の一般化としてサポート$\tau$-ティルティング加群を導入する。
• $\tau$および$\operatorname{Tr}$関手を含むホモロジー的条件を用いて、サポート$\tau$-ティルティング加群に部分順序を定義する。
• 部分順序を用いて左および右の変異を定義し、最小左近似を用いて交換列に対応することを示す。
• 変異が適切に定義されており、すべてのほとんど完全なサポート$\tau$-ティルティング加群が正確に2つの補完を持つことを証明する。
• サポート$\tau$-ティルティング加群、$\mathsf{mod}\Lambda$における関手的に有限な torsion 級、および$\mathsf{K}^b(\mathsf{proj}\Lambda)$における2項セルティング複体の間の双対性を確立する。

実験結果

リサーチクエスチョン

• RQ1 すべてのほとんど完全なサポート$\tau$-ティルティング加群が正確に2つの補完を持つのか、これはクラスター・ティルティング性質の一般化であるか？
• RQ2 サポート$\tau$-ティルティング加群、関手的に有限な torsion 級、および2項セルティング複体の間で双対性を確立できるか？
• RQ3 $τ$-ティルティング理論は、有限次元代数の文脈で、どのように古典的ティルティング理論を拡張するか？
• RQ4 $τ$-ティルティング加群と2-カバリー・ヤウ（2-CY）圏におけるクラスター・ティルティング対象との関係は何か？
• RQ5 $τ$-ティルティング加群の変異は、交換列および左近似を用いて記述可能か？

主な発見

• すべてのほとんど完全なサポート$\tau$-ティルティング加群が正確に2つの補完を持つ。これは、任意の有限次元代数へのクラスター・ティルティング性質の一般化である。
• サポート$\tau$-ティルティング加群と$\mathsf{mod}\Lambda$における関手的に有限な torsion 級の間には双対性が存在し、表現論における新たな対応関係を確立する。
• サポート$\tau$-ティルティング加群と$\mathsf{K}^b(\mathsf{proj}\Lambda)$における2項セルティング複体の間には双対性が存在し、ティルティング理論とセルティング理論を統合する。
• 2-CY クラスタ化代数$\Lambda$に対して、サポート$\tau$-ティルティング加群は、関連する2-CY三角カテゴリにおけるクラスター・ティルティング対象と双対的に対応する。
• サポート$\tau$-ティルティング加群の変異は、最小左近似から構成される交換列によって記述され、部分順序に基づいて左/右変異が定義される。
• サポート$\tau$-ティルティングクオールは、左変異を示す矢印を持つものとして定義され、その構造は変異と交換の組合せ論を反映する。