[論文レビュー] On constructing weight structures and extending them to idempotent extensions

Mikhail V. Bondarko, Vladimir Sosnilo|arXiv (Cornell University)|May 26, 2016

Algebraic structures and combinatorial models参考文献 21被引用数 6

ひとこと要約

本稿では、三角関手カテゴリにおける重み構造を構成するための新手法を提示し、このような構造がアイデムポテンス拡大に拡張される条件を提示している。具体的には、上に有界または下に有界な重み構造は常に拡張可能であるが、無限大の重み構造はそうではない。主な貢献は、カテゴリ $\underline{C}$ 上の任意の重み構造が拡張可能な最大の三角関手部分カテゴリ $\operatorname{Kar}^{w}_{\max}(\underline{C})$ の構成と、その拡張が存在する場合には一意的であることを示したことにある。

ABSTRACT

We describe a new method for constructing a weight structure $w$ on a triangulated category $C$. For a given $C$ and $w$ it allow us to give a fairly comprehensive (and new) description of those triangulated categories consisting of retracts of objects of $C$ (i.e., of subcategories of the Karoubi envelope of $C$ that contain $C$; we call them idempotent extensions of $C$) such that $w$ extends to them. In particular, any bounded above or below $w$ extends to any idempotent extension of $C$. We also discuss the applications of our results to certain triangulated categories of ("relative") motives.

研究の動機と目的

• 三角関手カテゴリにおける重み構造を体系的に構築するための方法を開発すること。
• 与えられた三角関手カテゴリ $\underline{C}$ 上の重み構造が、そのアイデムポテンス完備化 $\operatorname{Kar}(\underline{C})$ やアイデムポテンス拡大に拡張可能かどうかを特定すること。
• $\underline{C}$ 上の重み構造が拡張可能な最大の部分カテゴリ $\operatorname{Kar}^{w}_{\max}(\underline{C})$ を特定すること。
• 相対モチビック・カテゴリやチャウ重み構造の文脈において、モチビック・カテゴリへの応用を提供すること。
• 特に、重み複体関手の忠実性に関連する先行結果を一般化・簡略化すること。

提案手法

• 著者らは、負の加法的部分カテゴリによって生成される三角関手カテゴリに重み構造が存在するための十分条件を与える、新たな技術的道具、定理 2.1.1 を導入している。
• 与えられた $\underline{C}$ 上の重み構造 $w$ が拡張可能な $\operatorname{Kar}(\underline{C})$ の最大の三角関手部分カテゴリとして、$\operatorname{Kar}^{w}_{\max}(\underline{C})$ を定義している。
• この方法は、特定の部分カテゴリにおける対象の前重み分解の存在に依存しており、重み構造の公理と整合性を持つことを保証する。
• この構成は、負の加法的部分カテゴリによる密生成と、一般化された次元関数 $\delta$ の存在に依存し、これに適応可能なカテゴリに適用可能である。
• 著者らは、$DM^{c}_{cdh}(B,R)$ のようなモチビック・カテゴリにその結果を適用し、チャウ重み構造が部分カテゴリ $\mathcal{D}^{c}_{\delta\leq j}(B)$ に制限できることを示している。
• また、$\operatorname{Kar}^{w}_{\max}(\underline{C})$ 上の拡張された重み構造のハートがアイデムポテンス完備であることを証明しており、これはモチビック・ホモトピー理論への応用を強化する。

実験結果

リサーチクエスチョン

• RQ1 三角関手カテゴリ $\underline{C}$ 上の重み構造が、そのアイデムポテンス完備化 $\operatorname{Kar}(\underline{C})$ に拡張可能となる条件は何か？
• RQ2 与えられた $\underline{C}$ 上の重み構造が拡張可能な $\operatorname{Kar}(\underline{C})$ の最大の三角関手部分カテゴリは存在するか？
• RQ3 $DM^{c}_{cdh}(B,R)$ のようなモチビック・カテゴリにおけるチャウ重み構造は、次元フィルトレーション $\delta \leq j$ で定義される部分カテゴリに制限可能か？
• RQ4 任意の $\underline{C}$ のアイデムポテンス拡大は、拡張された重み構造を備えるか、それとも障害があるか？
• RQ5 拡張された重み構造 $\operatorname{Kar}^{w}_{\max}(\underline{C})$ を用いて、重み複体関手の忠実性をより一般に証明できるか？

主な発見

• アイデムポテンス拡大への重み構造の拡張は、存在する場合に限り一意的である。
• 上に有界または下に有界な任意の重み構造は、$\underline{C}$ の任意のアイデムポテンス拡大に拡張可能である。
• $\operatorname{Kar}^{w}_{\max}(\underline{C})$ は、$\operatorname{Kar}(\underline{C})$ の重み構造 $w$ が拡張可能な最大の三角関手部分カテゴリであり、拡張された重み構造を備えている。
• 一般には $\operatorname{Kar}^{w}_{\max}(\underline{C}) \not\cong \operatorname{Kar}(\underline{C})$ である例が存在し、$w$ が $\operatorname{Kar}(\underline{C})$ に拡張されない場合があることを示している。
• 任意の $(\underline{C}, w)$ に対して、$w$ が拡張可能で、かつそのハートがアイデムポテンス完備であるようなアイデムポテンス拡大が存在する。
• 定理 2.1.1(II) の結果として、$DM^{c}_{cdh}(B,R)$ 上のチャウ重み構造は、任意の整数 $j$ に対して $\mathcal{D}^{c}_{\delta\leq j}(B)$ に制限可能である。