[論文レビュー] 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の三角化部分因子圏をモデル化すること。
• 弱いホモロジー的条件下で、完全および三角化圏の理論を部分因子圏へ拡張すること。

提案手法

• 部分右（または左）三角化圏の概念を導入する。これは、自己同函手 Σ を備えた加法的圏 A、部分圏 X および C、および弱化された三角化公理を満たす Σ-系列のクラスからなる。
• 部分右（または左）三角化構造 (A, Σ, R(C), X) から、部分因子圏 C/X が右（または左）三角化構造を引き継ぐことを証明する。
• 部分右および左三角化構造が互いに適合する加法的圏として部分三角化圏を定義する。
• 適切な条件下で、部分因子圏 C/X が完全な三角化圏となることを示す。
• C に弱い自己同型的完全性があり、X が直和成分について閉じている場合に、C にコボルバレーション、ファイブレーション、弱同値が三角化構造により定義されたQuillenモデル構造が存在することを示す。
• モデル構造のホモトピー圏が C/X に正確に一致することを示し、これにより C/X が三角化構造を有することを確認する。

実験結果

リサーチクエスチョン

• RQ1 加法的圏に自己同型を備えた部分因子圏が三角化構造を備えるための条件は何か？
• RQ2 完全および三角化圏における三角化部分因子圏の構成を体系的に統一する方法は何か？
• RQ3 Iyama-Yoshinoの三角化部分因子圏は、Quillenモデル構造によってモデル化可能か？
• RQ4 完全圏 A から部分因子圏 A/X が完全構造を引き継ぐためのホモロジー的条件は何か？
• RQ5 コターショントペアおよびプレカバー／プレエンvelope条件は、完全因子圏の構成において果たす役割は何か？

主な発見

• 定理3.2(i)で示されたように、部分右三角化圏 (A, Σ, R(C), X) から、部分因子圏 C/X は右三角化構造を引き継ぐ。
• 定理3.2(ii)で示されたように、部分左三角化圏 (A, Ω, L(C), X) から、部分因子圏 C/X は左三角化構造を引き継ぐ。
• 定理6.7で示されたように、(A, Ω, Σ, L(C), R(C), X) が部分三角化圏であるとき、部分因子圏 C/X は三角化圏である。
• 命題6.9で示されたように、C が弱い自己同型的完全であり、X が直和成分について閉じている場合に、C にコボルバレーション、ファイブレーション、弱同値が三角化構造により定義されたQuillenモデル構造が存在する。
• モデル構造のホモトピー圏が C/X に同値であり、これにより C/X が三角化構造を有することが確認された。
• 系6.10は、Iyama-Yoshinoの三角化部分因子圏が、そのホモトピー圏が部分因子圏そのものとなるQuillenモデル構造を備えることを確立した。