[论文解读] The model structure of Iyama-Yoshino's subfactor triangulated categories

Zhiwei Li|arXiv (Cornell University)|Oct 8, 2015

Algebraic structures and combinatorial models参考文献 32被引用 7

一句话总结

本文证明了Iyama-Yoshino的子因子三角范畴作为加法范畴$쯀$上一个闭模型结构的同伦范畴，其来源是该范畴的一个同调有限子范畴$쯀$。通过利用$쮼$构造合适的模型结构，作者证明了稳定范畴$\uCbbC/\uCbbX$是三角范畴，从而表明这些子因子范畴可赋予一个闭模型结构，为它们的三角结构提供了同伦基础。

ABSTRACT

Let $\X$ be a homological finite subcategory of an additive category $\C$. Under suitable conditions, we prove that the stable category $\C/\X$ as the homotopy category of a closed model structure on $\C$ induced by $\X$ is a triangulated category. This shows that Iyama-Yoshino's subfactor triangulated categories have closed model structure.

研究动机与目标

• 理解Iyama-Yoshino子因子三角范畴的同伦起源。
• 确定这些三角范畴是否可被实现为模型结构的同伦范畴。
• 确立稳定范畴$\uCbbC/\uCbbX$通过闭模型结构成为三角范畴的条件。
• 以同调有限子范畴为视角，为子因子三角范畴提供模型论解释。

提出的方法

• 作者在加法范畴$\uCbbC$内工作，并考虑一个同调有限子范畴$\uCbbX$。
• 他们利用子范畴$\uCbbX$作为生成类，在$\uCbbC$上定义一个闭模型结构。
• 该模型结构被构造为：弱等价是那些在稳定范畴$\uCbbC/\uCbbX$中成为同构的态射。
• 纤维化和协纤维化通过$\uCbbX$的同调性质来定义，以确保闭模型结构公理成立。
• 证明了该模型结构的同伦范畴与$\uCbbC/\uCbbX$等价，从而将其实现为三角范畴。
• 该构造依赖于$\uCbbX$的稳定性与对扩张封闭的性质，以保证同伦范畴上三角结构的成立。

实验结果

研究问题

• RQ1 Iyama-Yoshino的子因子三角范畴是否可被实现为环境加法范畴上闭模型结构的同伦范畴？
• RQ2 对一个同调有限子范畴$\uCbbX$需要满足何种条件，才能使稳定范畴$\uCbbC/\uCbbX$通过模型结构成为三角范畴？
• RQ3 由$\uCbbX$诱导的$\uCbbC$上的模型结构与$\uCbbC/\uCbbX$的三角结构有何关联？
• RQ4 是否存在关于纤维化、协纤维化与弱等价的同伦解释，来描述子因子构造？

主要发现

• 证明了稳定范畴$\uCbbC/\uCbbX$与$\uCbbC$上一个闭模型结构的同伦范畴等价。
• 通过$\uCbbX$的同调有限性与对扩张封闭的性质，显式构造了该闭模型结构。
• $\uCbbC/\uCbbX$上的三角结构自然源自该模型结构的同伦范畴。
• 该模型结构中的弱等价恰好是那些在$\uCbbC/\uCbbX$中成为同构的态射。
• 纤维化与协纤维化通过$\uCbbX$的同调性质来定义，确保了模型结构公理的满足。
• 该构造证实了Iyama-Yoshino的子因子三角范畴具有良好的同伦性质，并拥有明确的模型论实现。