[论文解读] Periodicity of cluster tilting objects

Benedikte Grimeland|arXiv (Cornell University)|Jan 3, 2016

Algebraic structures and combinatorial models参考文献 12被引用 3

一句话总结

本文確立了在三角范畴 T 中，m-簇傾斜子范畴在商范畴 T/F 中誘導出 m-簇傾斜子范畴的條件，證明其成立當且僅當該子范畴是 F-週期的。主要貢獻在於透過其對應簇傾斜代數的 quiver 的對稱性，對 Dynkin 型 quiver (A, D, E) 的 orbit category 中的 2-簇傾斜對象進行分類，從而實現對所有 orbit category 中此類對象及其不可約直和項的完整枚舉。

ABSTRACT

Let T be a locally finite triangulated category with an autoequivalence F such that the orbit category T/F is triangulated. We show that if X is an m-cluster tilting subcategory, then the image of X in T/F is an m-cluster tilting subcategory if and only if X is F-perodic. We show that for path-algebras of Dynking quivers δone may study the periodic properties of n-cluster tilting objects in the n-cluster category Cn(kδ) to obtain information on periodicity of the preimage as n-cluster tilting subcategories of Db(kδ). Finally we classify the periodic properties of all 2-cluster tilting objects T of Dynkin quivers, in terms of symmetric properties of the quivers of the corresponding cluster tilted algebras EndC_2(T)^op. This gives a complete overview of all 2-cluster tilting objects of all triangulated orbit categories of Dynkin diagrams.

研究动机与目标

• 確定在三角範疇 T 中的 m-簇傾斜子范畴 X 在商範疇 T/F 中仍為 m-簇傾斜子范畴的條件。
• 將簇範疇中的週期性結果推廣至表示有限的遺傳代數 H 的有界導出範疇 Db(H)。
• 利用其對應簇傾斜代數的 quiver 的對稱性，對 Dynkin 型 quiver (A, D, E) 的 orbit category 中的所有 2-簇傾斜對象進行分類。
• 提供一種組合方法，以明確描述任意 Dynkin 型圖的 orbit category 中的 2-簇傾斜對象及其 quiver。
• 證明在表示無限（橢圓與野生）情形下，簇傾斜對象的週期性不可能發生，原因在於其存在無限的 AR-分量。

提出的方法

• 使用商範疇 T/F，其中 F 為自同構，且 T/F 為三角範疇，以將 T 中的週期性與商範疇中的簇傾斜聯繫起來。
• 利用 Db(H) 中的 m-簇傾斜子范畴與 Cm(H) 中的 m-簇傾斜對象之間的一一對應關係，將週期性結果轉移至其他範疇。
• 分析 AR-quiver 與 τ-軌道，以確定 2-簇傾斜對象中不可約直和項的可能分佈。
• 基於簇傾斜代數 EndC2(T)op 的 quiver 對稱性進行分類，特別關注三重與四重對稱性。
• 應用關於 τ-週期性與 quiver 結構的引理，排除某些配置並識別有效情形。
• 利用導出等價性，將 C2(H) 中的簇傾斜對象視為 mod H′ 中的 tilting 對象，進而應用模理論中關於預投射/預內射分量的結果。

实验结果

研究问题

• RQ1 在何種條件下，T 中 m-簇傾斜子范畴 X 在 T/F 中的像仍為 m-簇傾斜子范畴？
• RQ2 X 在 T 中的 F-週期性如何與其在 Db(H) 中的原像週期性相關？
• RQ3 在 Dynkin 型 quiver 的 orbit category 中，哪些 2-簇傾斜對象在 Auslander-Reiten 轉移 τ 下是週期的？
• RQ4 哪些 quiver 對稱性特徵化了 C2(An)、C2(Dn) 與 C2(Er) 中的 2-簇傾斜對象？
• RQ5 為何在橢圓或野生遺傳代數中，不存在週期的 2-簇傾斜對象？

主要发现

• 在三角範疇 T 中的 m-簇傾斜子范畴 X 導出 T/F 中的 m-簇傾斜子范畴，當且僅當 X 是 F-週期的。
• 對於 Dynkin 型 quiver 的路徑代數，Cn(k∆) 中 n-簇傾斜對象的週期性，意味著其在 Db(k∆) 中的原像亦為週期的。
• 所有在 An 的 orbit category 中的 2-簇傾斜對象，皆源自 C2(An) 中的週期對象，且其 quiver 依賴於三重或四重對稱性分類。
• 對於 Dn，n 的奇偶性顯著影響週期性分類，偶數與奇數 n 表現出明顯不同的行為。
• 在 E6、E7 與 E8 中，當且僅當自同構 F 為 τ^7t、τ^7t−1[1]（E6）、τ^10t（E7）或 τ^4t（E8），其中 t ∈ ℤ，orbit category OF(Er) 中才存在 2-簇傾斜對象。
• 在橢圓與野生情形中，不存在 τ-週期的 2-簇傾斜對象，因其預投射與預內射分量為無限，導致對任意 s 均無法滿足 τ^sT = T。