[论文解读] The triangulation of the subfactor categories of additive categories with suspensions

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

Algebraic structures and combinatorial models参考文献 22被引用 6

一句话总结

本文提出了一种在带有悬垂结构的加法范畴中对子因子范畴进行三角化的通用框架，利用部分单边三角范畴的概念。在温和条件下，该框架证明了此类子因子范畴可继承三角结构，统一并扩展了代数与几何中的已知结果，包括Iyama-Yoshino的三角子因子范畴和Quillen模型结构。

ABSTRACT

We provide a framework to triangulate subfactor categories of additive categories with additive endofunctors. It is proved that such a framework is sufficiently flexible to cover many instances in algebra and geometry where abelian, exact and triangulated subfactor categories are constructed. As an application, we show that Iyama-Yoshino triangulated subfactor categories can be modeled.

研究动机与目标

• 开发一种对带有悬垂结构的加法范畴中产生的子因子范畴进行三角化的通用框架。
• 统一代数与几何中已有的单边及三角子因子范畴构造方法。
• 通过部分三角范畴，提供一种系统化方法，用于在子因子范畴上构造三角结构。
• 利用Quillen模型结构对Iyama-Yoshino三角子因子范畴进行建模。
• 在温和的同调条件下，将精确范畴与三角范畴的理论扩展至子因子范畴。

提出的方法

• 引入部分右（或左）三角范畴的概念，即由一个加法范畴、一个自函子Σ、子范畴X与C，以及满足弱化三角公理的Σ-序列构成的结构。
• 证明子因子范畴C/X可从部分右（或左）三角范畴结构中继承右（或左）三角结构。
• 将部分三角范畴定义为具有相容的部分右与左三角结构的加法范畴。
• 在适当条件下，证明子因子范畴C/X成为全三角范畴。
• 在范畴C上构造一个Quillen模型结构，其中纤维化、纤维化与弱等价性由三角结构定义。
• 证明该模型结构的同伦范畴恰好为C/X，从而确认其三角结构。

实验结果

研究问题

• RQ1 在何种条件下，带有悬垂结构的加法范畴的子因子范畴可被赋予三角结构？
• RQ2 如何系统性地统一精确范畴与三角范畴中子因子三角范畴的构造方法？
• RQ3 Iyama-Yoshino三角子因子范畴能否通过Quillen模型结构进行建模？
• RQ4 何种同调条件可确保因子范畴A/X从精确范畴A中继承精确结构？
• RQ5 余挠对及预覆盖/预包络条件在构造精确因子范畴中起何种作用？

主要发现

• 根据定理3.2(i)，子因子范畴C/X可从部分右三角范畴(A, Σ, R(C), X)中继承右三角结构。
• 根据定理3.2(ii)，子因子范畴C/X可从部分左三角范畴(A, Ω, L(C), X)中继承左三角结构。
• 当(A, Ω, Σ, L(C), R(C), X)构成部分三角范畴时，子因子范畴C/X为三角范畴，此结论由定理6.7确立。
• 若C是弱幂等完备且X对直和项封闭，则在C上存在一个Quillen模型结构，其纤维化、纤维化与弱等价性由三角结构定义，此结论由命题6.9证明。
• 该C上模型结构的同伦范畴与C/X同伦等价，从而确认其三角结构。
• 推论6.10表明，Iyama-Yoshino三角子因子范畴具有一个Quillen模型结构，其同伦范畴即为子因子范畴本身。