[论文解读] Factorization systems on (stable) derivators

Fosco Loregiàn, Simone Virili|arXiv (Cornell University)|May 24, 2017

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

一句话总结

本文在稳定导出器的正常导出器扭结理论与它们的基三角范畴上的t-结构之间建立了双射对应关系，推广了已知的稳定∞-范畴中的对应关系。通过2-单峰框架引入了导出器因子分解系统，并证明t-structures恰好对应于正常导出器扭结理论，统一了不同稳定同伦理论模型中的理论。

ABSTRACT

We define triangulated factorization systems on triangulated categories, and prove that a suitable subclass thereof (the normal triangulated torsion theories) corresponds bijectively to $t$-structures on the same category. This result is then placed in the framework of derivators regarding a triangulated category as the base of a stable derivator. More generally, we define derivator factorization systems in the 2-category $\mathrm{PDer}$, describing them as algebras for a suitable strict 2-monad (this result is of independent interest), and prove that a similar characterization still holds true: for a stable derivator $\mathbb D$, a suitable class of derivator factorization systems (the normal derivator torsion theories) correspond bijectively with $t$-structures on the base $\mathbb{D}(\mathbb{1})$ of the derivator. These two result can be regarded as the triangulated- and derivator- analogues, respectively, of the theorem that says that `$t$-structures are normal torsion theories' in the setting of stable $\infty$-categories, showing how the result remains true whatever the chosen model for stable homotopy theory is.

研究动机与目标

• 将已知的稳定∞-范畴中t-结构与正常扭结理论之间的对应关系扩展到导出器框架中。
• 在稳定导出器的背景下，定义并表征三角范畴与导出器因子分解系统。
• 证明正常导出器扭结理论与稳定导出器基范畴上的t-结构之间存在双射对应。
• 将导出器因子分解系统形式化为严格2-单峰的代数，提供一个通用范畴框架。
• 统一理解不同稳定同伦理论模型（包括导出器与∞-范畴）中t-结构的理论。

提出的方法

• 作者在三角范畴上定义了三角因子分解系统，并引入了正常三角扭结理论作为其子类。
• 他们在预导出器的2-范畴PDer中定义了导出器因子分解系统，将其表征为严格2-单峰的代数。
• 本文证明了稳定导出器D的正常导出器扭结理论与基范畴D(1)上的t-结构之间存在双射对应。
• 通过强正交性与3取2性质来定义因子分解系统，并利用2-胞道图中2-胞道的交换性来证明其一致性。
• 该证明依赖于验证一个关键图（6.41）的交换性，通过束带化（whiskering）将其约化为特定2-胞道复合下的等式验证。
• 该框架利用了三角范畴与导出器设定之间的“罗塞塔石碑”类比，推广了关于可反射子范畴与因子分解系统的经典结果。

实验结果

研究问题

• RQ1 在导出器的背景下，如何通过因子分解系统表征三角范畴上的t-结构？
• RQ2 稳定导出器基范畴上的正常导出器扭结理论与t-结构之间的确切关系是什么？
• RQ3 导出器因子分解系统能否被形式化为严格2-单峰的代数？这会施加何种结构？
• RQ4 当从∞-范畴转向导出器时，t-结构与正常扭结理论之间的对应关系是否仍然成立？
• RQ5 3取2性质与正交性条件在确保因子分解系统与t-结构之间双射对应关系中起什么作用？

主要发现

• 在稳定导出器D上的正常导出器扭结理论与D(1)基范畴上的t-结构之间建立了双射对应。
• 正常导出器扭结理论类恰好对应于D(1)上的t-结构，将∞-范畴中的结果推广到了导出器设定。
• 导出器因子分解系统被形式化为PDer上严格2-单峰的代数，提供了一个独立于模型的范畴框架。
• 主要对应关系的证明依赖于验证2-胞道图（6.41）的交换性，通过束带化约化为恒等式的等式验证。
• 3取2性质与强正交性条件在确保因子分解系统行为良好并对应于可反射子范畴方面至关重要。
• 该结果确认了在导出器模型中t-结构是正常扭结理论，正如在稳定∞-范畴中一样，表明其在同伦理论模型间的稳健性。