[论文解读] Tilting and cluster tilting for preprojective algebras and Coxeter groups

Yuta Kimura|arXiv (Cornell University)|Jul 3, 2016

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

一句话总结

本文在与考克斯eter群元素相关的分次预投射代数的稳定范畴中构造了siltting和tilting对象。在特定条件下，建立了该范畴与端自同态代数的导出范畴之间的三角等价，并证明当元素在其支撑集上为c-ending时，该等价与Amiot-Reiten-Todorov的簇范畴等价相容。主要贡献是在此背景下对簇tilting理论的分次推广，将先前结果扩展到更广泛的群元素类别。

ABSTRACT

We study the stable category of the factor algebra of the preprojective algebra associated with an element $w$ of the Coxeter group of a quiver. We show that there exists a silting object $M(\bf{w})$ of this category associated with each reduced expression $\bf{w}$ of $w$ and give a sufficient condition on $\bf{w}$ such that $M(\bf{w})$ is a tilting object. In particular, the stable category is triangle equivalent to the derived category of the endomorphism algebra of $M(\bf{w})$. Moreover, we compare it with a triangle equivalence given by Amiot-Reiten-Todorov for a cluster category.

研究动机与目标

• 填补关于与考克斯eter群相关的预投射代数分次设定下tilting与簇tilting理解的空白。
• 通过为tilting对象提出新的充分条件，将先前关于c-可排序元素的结果推广到更广泛的群元素类别。
• 在所构造的siltting对象的端自同态代数的导出范畴与分次模的稳定范畴之间建立三角等价。
• 将该siltting对象导出等价性与Amiot-Reiten-Todorov的簇范畴之间的等价性进行比较。
• 证明当元素在其支撑集上为c-ending时，两个等价性通过一个典范图式可交换。

提出的方法

• 定义一个分次Frobenius范畴Sub^Z Π(w)，作为未分次范畴Sub Π(w)的分次类比。
• 对于任意w ∈ W_Q的约化表达式，构造Sub^Z Π(w)中的一个siltting对象M(w)。
• 引入在Q0上为c-ending或c-starting的条件，作为M(w)成为tilting对象的充分条件。
• 证明在此条件下，M(w)的端自同态代数的整体维数至多为二。
• 在相同条件下，建立端自同态代数的导出范畴与Sub^Z Π(w)之间的三角等价。
• 通过展示包含遗忘函子的交换图，将M(w)导出等价性与Amiot-Reiten-Todorov等价性进行比较。

实验结果

研究问题

• RQ1 在w ∈ W_Q的何种条件下，所构造的siltting对象M(w)在Sub^Z Π(w)中实际上是tilting对象？
• RQ2 当M(w)为tilting对象时，M(w)的端自同态代数的导出范畴与稳定范畴Sub^Z Π(w)之间有何关系？
• RQ3 由M(w)诱导的三角等价性能否与Amiot-Reiten-Todorov在簇范畴与未分次稳定范畴之间的等价性相关联？
• RQ4 端自同态代数End^Z_Π(w)(M(w))与Amiot-Reiten-Todorov构造中使用的代数A(w)之间的确切关系是什么？
• RQ5 在何种条件下，包含遗忘函子及两个等价性的图式在同构意义下可交换？

主要发现

• 对于任意w ∈ W_Q及约化表达式w，存在一个siltting对象M(w)在分次稳定范畴Sub^Z Π(w)中。
• 当w在Q0上为c-ending或c-starting时，M(w)成为Sub^Z Π(w)中的tilting对象。
• 在c-ending或c-starting条件下，端自同态代数End^Z_Π(w)(M(w))的整体维数至多为二。
• 在相同条件下，存在一个三角等价，连接End^Z_Π(w)(M(w))的导出范畴与Sub^Z Π(w)。
• 当w在Supp(w)上为c-ending时，端自同态代数End^Z_Π(w)(M(w))等于A(w)，即Amiot-Reiten-Todorov构造中的代数。
• 建立了A(w)的导出范畴、分次稳定范畴Sub^Z Π(w)与未分次稳定范畴Sub Π(w)之间的交换图，表明两个等价性之间的相容性。