[論文レビュー] On purity and applications to coderived and singularity categories

Jan Šťovíček|arXiv (Cornell University)|Dec 4, 2014

Algebraic structures and combinatorial models参考文献 12被引用数 42

ひとこと要約

この論文は、局所的同型的グロテンディーク圏のコドライヴド圏がコンパクト生成であることを確立し、コンパクト対象が正確に有限生成対象の有界ドライヴド圏として特定されることを示している。モデル理論的技法と純粋ドライヴド圏の体系的考察を用いて、著者たちはクライゼの再構成をノエーザーでない設定へと拡張し、その圏におけるインジェクティブ対象のホモトピー圏がコンパクト生成であり、有限生成対象の有界ドライヴド圏と同値であることを証明している。

ABSTRACT

Given a locally coherent Grothendieck category G, we prove that the homotopy category of complexes of injective objects (also known as the coderived category of G) is compactly generated triangulated. Moreover, the full subcategory of compact objects is none other than D^b(fp G). If G admits a generating set of finitely presentable objects of finite projective dimension, then also the derived category of G is compactly generated and Krause's recollement exists. Our main tools are (a) model theoretic techniques and (b) a systematic study of the pure derived category of an additive finitely accessible category.

研究の動機と目的

• 局所的ノエーザー的から局所的同型的グロテンディーク圏へ、クライゼの再構成およびコンパクト生成性の結果を拡張すること。
• 局所的同型的グロテンディーク圏のコドライヴド圏がコンパクト生成であることの確立。
• インジェクティブ対象のホモトピー圏におけるコンパクト対象を、有限生成対象の有界ドライヴド圏として同定すること。
• 基礎的道具として、有限生成的加法的圏における純粋ドライヴド圏の体系的理論の構築。
• グロテンディーク圏のドライヴド圏が再びコンパクト生成であるための条件の提供。

提案手法

• 正確かつアーベル的モデル構造を分析するために、特に弱因子分解系とコトルシオン対を用いたモデル理論的技法の利用。
• 有限生成的圏における純粋性の理論を応用し、κ-生成的純粋部分対象を用いた対象のフィルトレーションの構成。
• 有限生成対象の有界ドライヴド圏からインジェクティブ対象のホモトピー圏への関手を構成し、それがコンパクト対象上で同値に制限されることの証明。
• 純粋正確構造におけるfp-インジェクティブ対象の正確圏内で、インジェクティブ対象を特徴付けるためにベアの基準のバージョンを用いる。
• 任意の対象がκ-生成的対象による純粋フィルトレーションをもつような正則基数κの存在を用いて、再構成可能性とコンパクト生成性を確立。
• トライアングレーテッド圏理論の結果、特にニーマンのwell-generatedトライアングレーテッド圏とクライゼの再構成を、ノエーザーでない設定へ応用。

実験結果

リサーチクエスチョン

• RQ1 局所的同型的グロテンディーク圏のコドライヴド圏がコンパクト生成であるための条件は何か？
• RQ2 有限生成対象の有界ドライヴド圏が、インジェクティブ対象のホモトピー圏におけるコンパクト対象として完全に埋め込まれるか？
• RQ3 有限生成的対象の有限射影次元を持つ生成集合が存在する場合、ノエーザー性が欠如してもクライゼの再構成は成立するか？
• RQ4 純粋性とモデル構造は、コドライヴド圏におけるコンパクト対象を特徴付けるために果たす役割は何か？
• RQ5 有限生成的加法的圏の純粋ドライヴド圏は、コドライヴド圏および特異圏を研究するための道具としてどのように用いられるか？

主な発見

• 局所的同型的グロテンディーク圏におけるインジェクティブ対象のホモトピー圏はコンパクト生成である。
• コドライヴド圏におけるコンパクト対象の全部分圏は、有限生成対象の有界ドライヴド圏と同値である。
• 有限生成対象の有界ドライヴド圏からコドライヴド圏への標準的関手は、コンパクト対象上に制限して同値となる。
• グロテンディーク圏が有限生成的対象の生成集合をもち、かつその射影次元が有限であれば、ドライヴド圏も再びコンパクト生成である。
• 有限生成的加法的圏の純粋ドライヴド圏は、良好なモデル構造を備えており、ファイブレーションの再構成とホモトピー圏の構成を可能にする。
• fp-インジェクティブ対象の正確圏において、インジェクティブ対象に対するベアの基準のバージョンが成り立ち、小さな集合のκ-生成的fp-インジェクティブ対象をテスト対象として用いることができる。