[論文レビュー] Extriangulated categories, Hovey twin cotorsion pairs and model structures

Hiroyuki Nakaoka, Yann Palu|arXiv (Cornell University)|Jan 1, 2019

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

ひとこと要約

本論文は extriangulated categories を、exact と triangulated の両方を同時に扱う枠組みとして提案し、Hovey twin cotorsion pairs と admissible model structures との一対一対応を確立し、cotorsion pairs の reduction と mutation を研究するための localization-homotopy framework を構築する。

ABSTRACT

We give a simultaneous generalization of exact categories and triangulated categories, which is suitable for considering cotorsion pairs, and which we call extriangulated categories. Extension-closed, full subcategories of triangulated categories are examples of extriangulated categories. We give a bijective correspondence between some pairs of cotorsion pairs which we call Hovey twin cotorsion pairs, and admissible model structures. As a consequence, these model structures relate certain localizations with certain ideal quotients, via the homotopy category which can be given a triangulated structure. This gives a natural framework to formulate reduction and mutation of cotorsion pairs, applicable to both exact categories and triangulated categories. These results can be thought of as arguments towards the view that extriangulated categories are a convenient setup for writing down proofs which apply to both exact categories and (extension-closed subcategories of) triangulated categories.

研究の動機と目的

• extriangulated framework を用いて、exact および triangulated の概念を一般化する。
• この統一された設定における cotorsion pairs を研究し、それらを model structures と関連づける。
• Hovey twin cotorsion pairs と admissible model structures との対応関係を構築する。
• 特定の商 reduc と ローカライゼーションを用いて、ホモトピー圏をどのように triangulated にするかを記述する。
• exact および triangulated 設定の両方に適用可能な cotorsion pairs の reduction および mutation の枠組みを提供する。

提案手法

• 加法的カテゴリーにおける Ext^1 に類するデータを捉えるために、E-extension フレームワークを定義・活用する。
• E-extensions の additive realization を導入して、extriangulated categories (ET1–ET4) を形成する。
• extriangulated categories における cotorsion pairs を展開し、関連する随伴函子を研究する。
• Hovey twin cotorsion pairs と admissible model structures との一対一対応を確立する。
• Localization と ideal quotients を用いたホモトピー圏の triangulation を記述する。

実験結果

リサーチクエスチョン

• RQ1 extriangulated setting で cotorsion pairs をどのように定式化すれば、exact および triangulated の場合を一般化できるか。
• RQ2 extriangulated カテゴリにおける Hovey twin cotorsion pairs と admissible model structures の厳密な関係は何か。
• RQ3 この枠組みで生じるモデル構造から得られるホモトピー圏に対して、どのように triangulated 構造を実現できるか。
• RQ4 extriangulated categories を通じて、exact および triangulated のための cotorsion pairs の reduction および mutation を一様に定式化するにはどうすればよいか。

主な発見

• There is a bijective correspondence between certain pairs of cotorsion pairs (Hovey twin cotorsion pairs) and admissible model structures.
• The homotopy category can be realized as an ideal quotient and given a triangulated structure.
• The extriangulated framework unifies reduction and mutation of cotorsion pairs across exact and triangulated settings.
• The results provide a unified proof strategy showing extriangulated categories accommodate proofs applicable to both exact and triangulated contexts.