[論文レビュー] Factorization systems on (stable) derivators

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

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

ひとこと要約

この論文は、安定な導出関手における通常の導出関手 torsion 理論と、それらの基本的な三角的圏上の t-構造の間の全単射対応を確立し、安定 ∞-圏における既知の対応を一般化する。導出関手因子化系を 2-モノイド枠組みを用いて定義し、t-構造がちょうど通常の導出関手 torsion 理論に対応することを証明することで、異なる安定ホモトピー理論のモデル間の理論を統合する。

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-構造と通常の torsion 理論の既知の対応を、導出関手の枠組みへと拡張すること。
• 安定な導出関手の文脈において、三角的および導出関手因子化系を定義し、特徴づけること。
• 通常の導出関手 torsion 理論が、安定導出関手 D の基本圏 D(1) 上の t-構造とちょうど全単射に対応することを示すこと。
• 導出関手因子化系を厳密 2-モノイドの代数として形式化し、一般な圏論的枠組みを提供すること。
• 導出関手と ∞-圏を含む、異なる安定ホモトピー理論のモデル間での t-構造の理解を統一すること。

提案手法

• 著者たちは三角的圏上の三角的因子化系を定義し、その部分クラスとして通常の三角的 torsion 理論を導入する。
• 彼らは 2-圏 PDer における導出関手因子化系を定義し、それが厳密 2-モノイドの代数として特徴づけられることを示す。
• この論文は、安定導出関手 D の基本圏 D(1) 上の t-構造と、D における通常の導出関手 torsion 理論との間の全単射対応を確立する。
• 因子化系を定義する際、強い直交性と 3-for-2 性質を用い、2-セルの可換性を用いてその整合性を証明する。
• 証明は、2-セルの図式におけるホイッピングと自然性を用い、特定の 2-セルとの合成の下での等式の確認に還元される。
• この枠組みは、三角的と導出関手の設定の間のロゼッタ石の類似性を活用し、反射的部分圏と因子化系に関する古典的結果を一般化する。

実験結果

リサーチクエスチョン

• RQ1 導出関手の文脈において、三角的圏上の t-構造はどのように因子化系によって特徴づけられるか？
• RQ2 安定導出関手の基本圏上での通常の導出関手 torsion 理論と t-構造の間の正確な関係は何か？
• RQ3 導出関手因子化系は、厳密 2-モノイドの代数として形式化可能であり、これによってどのような構造が生じるか？
• RQ4 ∞-圏から導出関手へ移行する際、t-構造と通常の torsion 理論の対応関係は維持されるか？
• RQ5 3-for-2 性質と直交性条件は、因子化系と t-構造の間の全単射対応を保証するために果たす役割は何か？

主な発見

• 安定導出関手 D における通常の導出関手 torsion 理論と、D の基本圏 D(1) 上の t-構造との間の全単射対応が確立された。
• 通常の導出関手 torsion 理論のクラスは、D(1) 上の t-構造とちょうど一致し、これは ∞-圏的結果を導出関手の設定に一般化したものである。
• 導出関手因子化系は、2-圏 PDer 上の厳密 2-モノイドの代数として形式化され、モデルに依存しない圏論的枠組みを提供する。
• 主対応の証明は、2-セルの図式 (6.41) の可換性の確認に依存し、ホイッピングを用いて恒等写像の等式に還元される。
• 3-for-2 性質と強い直交性条件は、因子化系が適切に振る舞い、反射的部分圏に対応することを保証するために不可欠である。
• この結果により、t-構造が安定 ∞-圏と同様に導出関手モデルでも通常の torsion 理論であることが確認され、ホモトピー論的モデル間での一貫性が示された。