[论文解读] From triangulated categories to module categories via homotopical algebra

Yann Palu|arXiv (Cornell University)|Dec 23, 2014

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

一句话总结

本文提出了一套同伦代数框架，通过刚性对象解释三角范畴与模范畴之间的对偶等价关系，表明在 Hom-有限三角范畴中，刚性对象的自同态代数可被视作范畴的局部化。关键贡献在于利用左弱模型结构对 Buan–Marsh 的局部化结果进行概念性解释，为将该结果推广至 Hom-无限簇范畴铺平道路。

ABSTRACT

The category of modules over the endomorphism algebra of a rigid object in a Hom-finite triangulated category C has been given two different descriptions: On the one hand, as shown by Osamu Iyama and Yuji Yoshino, it is equivalent to an ideal quotient of a subcategory of C. On the other hand, Aslak Buan and Robert Marsh proved that this module category is also equivalent to some localisation of C. In this paper, we give a conceptual interpretation, inspired from homotopical algebra, of this double description. Our main aim, yet to be acheived, is to generalise Buan-Marsh's result to the case of Hom-infinite cluster categories. We note that, contrary to the more common case where a model category is a module category whose homotopy category is triangulated, we consider here some triangulated categories whose homotopy categories are module categories.

研究动机与目标

• 提供对三角范畴中由刚性对象导出的模范畴双重描述的同伦代数概念性解释。
• 将 Buan–Marsh 的局部化结果（关联三角范畴与模范畴）推广至 Hom-无限簇范畴的情形。
• 在三角范畴上建立一个左弱模型结构，使得其同伦范畴与刚性对象的自同态代数上的模范畴等价。
• 探讨同伦范畴的阿贝尔结构是否可直接从弱模型结构中导出。
• 研究是否可从弱模型结构中恢复分式演算，从而扩展 [BM13b] 和 [Bel13] 的结果。

提出的方法

• 引入左弱模型范畴的概念，作为模型范畴的推广，其中仅定义了纤维化和弱等价，而无需要求存在纤维化。
• 通过刚性子范畴 T 在三角范畴 C 上定义一个弱模型结构，其中弱等价是经函子 C(T, -) 映射后变为同构的态射。
• 构造一个局部化函子 L: C → C[W⁻¹]，使得 C(T, -) 可通过 L 因子分解，并证明 L 诱导出弱模型结构的同伦范畴与 mod(End_C(T)^op) 之间的等价。
• 使用理想商 T∗ΣT/(ΣT) 作为模范畴的模型，并证明该商与弱模型结构的同伦范畴等价。
• 运用同伦代数技术，将 C 的三角结构与 mod(End_C(T)^op) 的阿贝尔结构联系起来，特别通过网关系和子范畴 T⊥ 中的内射性。
• 通过分析弱等价在局部化函子下的像，研究局部化范畴 C/(T⊥) 中分式演算的可能性。

实验结果

研究问题

• RQ1 能否通过同伦代数框架理解模范畴 mod(End_C(T)^op) 与三角范畴 C 沿弱等价类的局部化之间的等价关系？
• RQ2 何种条件下，弱模型结构的同伦范畴为阿贝尔范畴？
• RQ3 如何将 Buan 与 Marsh 的局部化结果推广至 Hom-无限簇范畴，其中 add(Γ) 可能不是反变有限的？
• RQ4 是否存在三角范畴上的自然弱模型结构，使得其同伦范畴与 mod(End_C(T)^op) 等价？
• RQ5 能否从弱模型结构中恢复分式演算，特别是在商范畴 C/(T⊥) 的背景下？

主要发现

• 证明函子 C(T, -): C → mod(End_C(T)^op) 可通过局部化函子 L: C → C[W⁻¹] 因子分解，建立了三角范畴与模范畴之间的概念性联系。
• 所构造的 C 上左弱模型结构的同伦范畴与 mod(End_C(T)^op) 等价，为 Iyama–Yoshino 和 Buan–Marsh 等价关系提供了同伦代数解释。
• 识别出 T∗ΣT/(ΣT) 为模范畴的模型，并证明其结构源自 C 上的三角结构与弱模型结构。
• 证明 mod(End_C(T)^op) 的阿贝尔结构由 C 的三角结构诱导，其中网关系在态射构造中起关键作用。
• 本文为将局部化结果推广至 Hom-无限簇范畴提供了框架，尽管该问题仍为开放问题，有待进一步研究。
• 预期 C/(T⊥) 中分式演算的存在性可由弱模型结构导出，类似于 [Bro73] 中的结果，但完整证明留待未来工作。