[论文解读] Ghost-tilting objects in triangulated categories

Wuzhong Yang, Bin Zhu|arXiv (Cornell University)|Apr 1, 2015

Algebraic structures and combinatorial models参考文献 28被引用 4

一句话总结

本文在具有Serre自同态、簇-tilting对象T的Krull-Schmidt、Hom-有限的三角范畴中，引入了ghost-tilting和T[1]-tilting对象。它建立了D中T[1]-tilting对象与端环Λ = End_D^{op}(T)上的支持tau-tilting模之间的双射，推广了Adachi-Iyama-Reiten的结果，并在2-卡拉比-丘情形下为这些对象提供了变异理论。

ABSTRACT

Assume that $\mathcal{D}$ is a Krull-Schmidt, Hom-finite triangulated category with a Serre functor and a cluster-tilting object $T$. We introduce the notion of ghost-tilting objects, and $T[1]$-tilting objects in $\mathcal{D}$, which are a generalization of cluster-tilting objects. When $\mathcal{D}$ is $2$-Calabi-Yau, the ghost-tilting objects are cluster-tilting. Let $\Lambda={ m End}^{op}_{\mathcal{D}}(T)$ be the endomorphism algebra of $T$. We show that there exists a bijection between $T[1]$-tilting objects in $\mathcal{D}$ and support $ au$-tilting $\Lambda$-modules, which generalizes a result of Adachi-Iyama-Reiten [AIR]. We develop a basic theory on $T[1]$-tilting objects. In particular, we introduce a partial order on the set of $T[1]$-tilting objects and mutation of $T[1]$-tilting objects, which can be regarded as a generalization of `cluster-tilting mutation'. As an application, we give a partial answer to a question posed in [AIR].

研究动机与目标

• 通过在具有Serre自同态和Hom-有限性的三角范畴中引入ghost-tilting和T[1]-tilting对象，推广簇-tilting对象。
• 在范畴D中建立T[1]-tilting对象与端环Λ = End_D^{op}(T)上的支持tau-tilting模之间的对应关系。
• 为T[1]-tilting对象发展变异理论与偏序关系，扩展簇-tilting变异的概念。
• 为Adachi-Iyama-Reiten在三角范畴中的tilting理论工作中提出的问题提供部分解答。

提出的方法

• 将T[1]-tilting对象定义为具有Serre自同态和Hom-有限性的三角范畴中簇-tilting对象的推广。
• 利用端环Λ = End_D^{op}(T)将T[1]-tilting对象与Λ上的支持tau-tilting模联系起来。
• 基于D中某些子范畴的包含关系，为T[1]-tilting对象集合引入一个偏序。
• 通过交换三角形定义T[1]-tilting对象的变异，推广簇-tilting对象的变异。
• 利用2-卡拉比-丘性质证明，在此情形下ghost-tilting对象与簇-tilting对象重合。
• 应用tilting理论与三角范畴理论的结果，建立双射关系与结构性质。

实验结果

研究问题

• RQ1 如何在具有Serre自同态和Hom-有限性的三角范畴中推广簇-tilting对象？
• RQ2 D中T[1]-tilting对象与端环Λ = End_D^{op}(T)上的支持tau-tilting模之间是否存在双射关系？
• RQ3 能否为T[1]-tilting对象发展出类似于簇-tilting变异的变异理论？
• RQ4 在2-卡拉比-丘范畴中，ghost-tilting对象与簇-tilting对象之间存在何种关系？
• RQ5 所提出的框架是否为Adachi-Iyama-Reiten在三角范畴tilting理论工作中提出的问题提供了部分解答？

主要发现

• 范畴D中T[1]-tilting对象的集合与端环Λ = End_D^{op}(T)上支持tau-tilting模的集合之间存在双射关系。
• T[1]-tilting对象具有由D中某些子范畴包含关系诱导的良定义的偏序。
• T[1]-tilting对象的变异通过交换三角形定义，且推广了簇-tilting对象的变异。
• 在2-卡拉比-丘情形下，ghost-tilting对象与簇-tilting对象重合。
• 该框架为Adachi-Iyama-Reiten在三角范畴tilting理论工作中提出的问题提供了部分解答。