[論文レビュー] From triangulated categories to module categories via homotopical algebra

Yann Palu|arXiv (Cornell University)|Dec 23, 2014

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

ひとこと要約

本稿は、三角関手圏と加群圏の双対的同型を剛性対象を通じて解釈するためのホモトピー代数的枠組みを提供する。Hom-有限な三角関手圏における剛性対象の自己準同型代数が、その圏の局所化として得られることを示している。主な貢献は、左弱モデル構造を用いたBuan–Marshの局所化結果の概念的解釈であり、これによりHom-無限なクラスター圏への一般化が可能になる。

ABSTRACT

The category of modules over the endomorphism algebra of a rigid object in a Hom-finite triangulated category C has been given two different descriptions: On the one hand, as shown by Osamu Iyama and Yuji Yoshino, it is equivalent to an ideal quotient of a subcategory of C. On the other hand, Aslak Buan and Robert Marsh proved that this module category is also equivalent to some localisation of C. In this paper, we give a conceptual interpretation, inspired from homotopical algebra, of this double description. Our main aim, yet to be acheived, is to generalise Buan-Marsh's result to the case of Hom-infinite cluster categories. We note that, contrary to the more common case where a model category is a module category whose homotopy category is triangulated, we consider here some triangulated categories whose homotopy categories are module categories.

研究の動機と目的

• 三角関手圏における剛性対象から生じる加群圏の二重記述を、ホモトピー代数的枠組みで概念的に解釈すること。
• 三角関手圏と加群圏の関係を示すBuan–Marshの局所化結果を、Hom-無限なクラスター圏へ一般化すること。
• 三角関手圏Cに左弱モデル構造を定義し、そのホモトピー圏が剛性対象Tの自己準同型代数の加群圏と同値になるようにすること。
• ホモトピー圏のアーベル構造が弱モデル構造から直接導かれるかどうかを検討すること。
• 弱モデル構造から分数の計算が回復可能かどうかを調査し、[BM13b]および[Bel13]の結果を拡張すること。

提案手法

• モデル構造の一般化として、ファイブレーションを要請しない左弱モデル圏の概念を導入する。
• 剛性部分圏Tを用いて三角関手圏Cに弱モデル構造を定義し、弱同値は関手C(T, -)を適用することで同型になる射として定義する。
• 局所化関手L: C → C[W⁻¹]を構成し、C(T, -)がLを経由して因数分解することを示し、Lが左弱モデル構造のホモトピー圏とmod(End_C(T)^op)の間の同値を誘導することを示す。
• 加群圏のモデルとして理想商T∗ΣT/(ΣT)を用い、これが左弱モデル構造のホモトピー圏と同値であることを示す。
• ホモトピー代数の技術を用いて、Cの三角関手構造とmod(End_C(T)^op)のアーベル構造の関係を、特にメッシュ関係と部分圏T⊥における単射性を通じて関係づける。
• 局所化関手による弱同値の像を分析することで、局所化された圏C/(T⊥)における分数の計算の可能性を検討する。

実験結果

リサーチクエスチョン

• RQ1 加群圏mod(End_C(T)^op)と、三角関手圏Cの弱同値の族における局所化との同型が、ホモトピー代数的枠組みで理解可能かどうか。
• RQ2 弱モデル構造のホモトピー圏がアーベルになるための条件は何か。
• RQ3 BuanとMarshの局所化結果を、add(Γ)が反変的に有限でない可能性があるHom-無限なクラスター圏へどのように一般化できるか。
• RQ4 三角関手圏に、そのホモトピー圏がmod(End_C(T)^op)と同値になるような自然な弱モデル構造が存在するか。
• RQ5 特に商圏C/(T⊥)の文脈において、弱モデル構造から分数の計算が回復可能かどうか。

主な発見

• 関手C(T, -): C → mod(End_C(T)^op)が局所化関手L: C → C[W⁻¹]を経由して因数分解されることを示し、三角関手圏と加群圏の間の概念的リンクを確立した。
• 構成された左弱モデル構造のホモトピー圏がmod(End_C(T)^op)と同値であることを示し、Iyama–YoshinoおよびBuan–Marshの同型のホモトピー的解釈を提供した。
• 部分圏T∗ΣT/(ΣT)が加群圏のモデルとして特定され、その構造がCの三角関手構造と弱モデル構造から導かれた。
• mod(End_C(T)^op)のアーベル構造が、Cの三角関手構造によって誘導され、特にメッシュ関係が射の構成において中心的な役割を果たすことが示された。
• 本稿は、Hom-無限なクラスター圏への局所化結果の一般化のための枠組みを提供したが、これは未解決の問題であり、さらなる検討を要する。
• C/(T⊥)における分数の計算の存在は、弱モデル構造から期待され、[Bro73]の結果に類似しているが、完全な証明は今後の研究に委ねられている。