[论文解读] au-tilting theory

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

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

一句话总结

本文引入 $τ$-tilting 理论作为经典 tilting 理论的推广，为有限维代数的变形框架提供了完备化。它证明了每个几乎完全的支撑 $τ$-tilting 模都有且仅有两个补全，并建立了支撑 $τ$-tilting 模、函子有限的 torsion 类，以及有界导出范畴中的两段 silting 复形之间的双射关系，从而统一了 tilting 理论与 cluster-tilting 现象。

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).

研究动机与目标

• 通过引入满足统一变形性质的 $τ$-tilting 模，推广经典 tilting 理论。
• 解决在一般有限维代数中经典 tilting 理论缺乏一致的双补全性质的问题。
• 通过构建几乎完全模都有且仅有两个补全的框架，统一 tilting 理论与 cluster-tilting 现象。
• 在支撑 $τ$-tilting 模、函子有限的 torsion 类，以及有界导出范畴 $\mathsf{K}^b(\mathsf{proj}\Lambda)$ 中的两段 silting 复形之间建立双射关系。

提出的方法

• 通过条件 $\operatorname{Hom}(M, \tau M) = 0$ 及在直和项下的极大性，定义 $\tau$-rigid 和 $\tau$-tilting 模。
• 通过代数的幂等元商推广经典 tilting 模，引入支撑 $\tau$-tilting 模。
• 利用涉及 $\tau$ 和 $\operatorname{Tr}$ 赋值函子的同调条件，在支撑 $\tau$-tilting 模上定义偏序关系。
• 通过偏序关系定义左、右变形，并利用最小左逼近证明其对应于交换序列。
• 证明变形是良定义的，并且每个几乎完全的支撑 $\tau$-tilting 模都有且仅有两个补全。
• 在支撑 $\tau$-tilting 模、$\mathsf{mod}\Lambda$ 中的函子有限 torsion 类，以及 $\mathsf{K}^b(\mathsf{proj}\Lambda)$ 中的两段 silting 复形之间建立双射关系。

实验结果

研究问题

• RQ1 每个几乎完全的支撑 $\tau$-tilting 模是否都有且仅有两个补全，从而将 cluster-tilting 性质推广至任意有限维代数？
• RQ2 能否在支撑 $\tau$-tilting 模、函子有限的 torsion 类，以及两段 silting 复形之间建立双射关系？
• RQ3 $τ$-tilting 理论如何在有限维代数的背景下扩展经典 tilting 理论？
• RQ4 $τ$-tilting 模与 2-Calabi-Yau 范畴中的 cluster-tilting 对象之间存在何种关系？
• RQ5 能否通过交换序列与左逼近来描述 $τ$-tilting 模的变形？

主要发现

• 每个几乎完全的支撑 $\tau$-tilting 模都有且仅有两个补全，将 cluster-tilting 性质推广至任意有限维代数。
• 支撑 $\tau$-tilting 模与 $\mathsf{mod}\Lambda$ 中的函子有限 torsion 类之间存在双射关系，建立了表示理论中的新对应关系。
• 支撑 $\tau$-tilting 模与 $\mathsf{K}^b(\mathsf{proj}\Lambda)$ 中的两段 silting 复形之间存在双射关系，统一了 tilting 理论与 silting 理论。
• 对于一个 2-CY 倾斜代数 $\Lambda$，其支撑 $\tau$-tilting 模与关联的 2-CY 三角范畴中的 cluster-tilting 对象之间存在双射对应。
• 支撑 $\tau$-tilting 模的变形可通过由最小左逼近构造的交换序列来描述，左/右变形由偏序关系定义。
• 支撑 $\tau$-tilting 图被定义为以左变形为箭头，其结构反映了变形与交换的组合性质。