[論文レビュー] Right $n$-angulated categories arising from covariantly finite subcategories

Zengqiang Lin|arXiv (Cornell University)|Sep 10, 2014

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

ひとこと要約

この論文は、右三角カテゴリの一般化として右$n$-角化カテゴリを導入し、加法的または$n$-角化カテゴリ$ mathcal{C}$の共変的有限部分カテゴリ$ mathcal{X}$に対して、商カテゴリ$ mathcal{C}/ mathcal{X}$が適切な条件下で右$n$-角化構造を引き継ぐことを証明する。主な貢献は、三角カテゴリおよび$n$-角化カテゴリの商に関する先行研究を一般化するカテゴリ的構成である。

ABSTRACT

We define the notion of right $n$-angulated category, which generalizes the notion of right triangulated category. Let $\mathcal{C}$ be an additive category or $n$-angulated category and $\mathcal{X}$ a covariantly finite subcategory, we show that under certain conditions the quotient $\mathcal{C}/\mathcal{X}$ is a right $n$-angulated category. This result generalizes some previous work.

研究の動機と目的

• 右三角カテゴリの概念を$n$-角化構造を用いて高次元に一般化すること。
• 共変的有限部分カテゴリ$ mathcal{X}$ に対して、商カテゴリ$ mathcal{C}/ mathcal{X}$ が右$n$-角化構造を引き継ぐ条件を確立すること。
• フォーベニウス$n$-完全カテゴリやミューテーション対からの結果を統合・拡張し、高次ホモロジー代数における商カテゴリに関する既存の結果を統一すること。
• 既存の$n$-角化カテゴリまたは加法的カテゴリから右$n$-角化カテゴリの新しい例を構成するための枠組みを提供すること。

提案手法

• 右$n$-角化カテゴリを、三角カテゴリの公理に類似した$n$項列を満たす三元組$(\mathcal{C}, \Sigma, \Theta)$として定義する。
• 商の文脈における高次元の準同型合成を扱うために、$n$-コケーラルおよび$n$-プッシュアウトの概念を導入する。
• $ mathcal{C}$ 内の$n$-角と$ mathcal{X}$ に属する対象を用い、左$ mathcal{X}$-近似を初期射とする標準的な右$n$-角を$ mathcal{C}/ mathcal{X}$ に構成する。
• クラス$\Theta$ が公理(RN1)–(RN4)を満たすことを検証し、構造が右$n$-角化カテゴリであることを保証する。
• 与えられた$n$-角に対して$TA = B$を定める関手$T: \mathcal{C}/\mathcal{X} \to \mathcal{C}/\mathcal{X}$ を用いて、商におけるシフト関手を定義する。
• 特殊な場合（$n=3$ では右三角カテゴリが回復され、フォーベニウス$n$-角化カテゴリ）にこの構成を適用する。

実験結果

リサーチクエスチョン

• RQ1 共変的有限部分カテゴリ$ mathcal{X}$ を持つ$ mathcal{C}$ に対して、商カテゴリ$ mathcal{C}/ mathcal{X}$ が右$n$-角化構造を引き継ぐ条件は何か？
• RQ2 右$n$-角化カテゴリの概念は、ハッパールの定理やその他の商カテゴリに関する結果を一般化するためにどのように利用できるか？
• RQ3 $n$-コケーラルおよび$n$-プッシュアウトは、商カテゴリにおける準同型の構成や図式の完成に果たす役割は何か？
• RQ4 どのような場合に、商$ mathcal{C}/ mathcal{X}$ が単に右$n$-角化であるのではなく、$n$-角化カテゴリになるか？
• RQ5 $\mathcal{C}$ 内の投射的および内挿的対象の性質は、$\mathcal{C}/\mathcal{I}$ および$\mathcal{C}/\mathcal{P}$ の構造にどのように影響するか？

主な発見

• 加法的カテゴリ$\mathcal{C}$ の共変的有限部分カテゴリ$\mathcal{X}$ に対して、すべての$\mathcal{X}$-モノニックがコケーラルを持つとき、商カテゴリ$\mathcal{C}/\mathcal{X}$ は右$n$-角化カテゴリである。
• 標準的な右$n$-角の構成は、左$\mathcal{X}$-近似を初期射とし、中間項が$\mathcal{X}$ に属する$\mathcal{C}$ 内の$n$-角に基づく。
• 特に$n=3$ の場合、この結果は、三角カテゴリの共変的有限部分カテゴリによる商が右三角カテゴリであるという古典的定理を回復する。
• もし$\mathcal{C}$ が十分なインジェクティブを備えた$n$-角化カテゴリであれば、$\mathcal{C}/\mathcal{I}$ は右$n$-角化カテゴリである。
• もし$\mathcal{C}$ がフォーベニウス（十分なインジェクティブとプロジェクトィブを備え、$\mathcal{I} = \mathcal{P}$ である）であれば、$\mathcal{C}/\mathcal{I}$ は$n$-角化カテゴリである。
• もし$\mathcal{C}$ が$n$-角化カテゴリであり、$\mathcal{X}$ が関手的に有限で、$(\mathcal{C},\mathcal{C})$ が$\mathcal{X}$-ミューテーション対であれば、商$\mathcal{C}/\mathcal{X}$ は$n$-角化カテゴリである。