[論文レビュー] Differential Graded Categories are k-linear Stable Infinity Categories

Lee Cohn|arXiv (Cornell University)|Aug 12, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用数 33

ひとこと要約

この論文は、k-線形微分小行列式（dg）圏のモリタモデルカテゴリの背後にいる∞-圏が、小、イデムポテンス完全、k-線形安定∞-圏の∞-圏と同値であることを確立する。k-上のdg圏とHk-モジュールスペクトルに値をとるスペクトル的圏の enrich された圏とのQuillen同値性を用いて、著者は豊富なDold-Kan対応と∞-圏的道具立てを駆使し、dg圏のホモトピー論がk-線形安定∞-圏のそれと正確に一致することを示す。これにより、長年のフォルクロア的予想が解決される。

ABSTRACT

We describe a comparison between pretriangulated differential graded categories and certain stable infinity categories. Specifically, we use a model category structure on differential graded categories over k (a field of characteristic 0) where the weak equivalences are the Morita equivalences, and where the fibrant objects are in particular pretriangulated differential graded categories. We show the underlying infinity category of this model category is equivalent to the infinity category of k-linear stable infinity categories.

研究の動機と目的

• pretriangulated dg圏と安定∞-圏の間の正確なホモトピー的同値性を確立すること。
• dg圏における点ごとのテンソル積がcofibrancyを保存しないという基礎的問題を解決すること。これにより、モノイダルモデル構造が得られない。
• 可換環k-上のdg圏におけるモリタモデルカテゴリの背後にある∞-圏が、小、イデムポテンス完全、k-線形安定∞-圏の∞-圏と同値であることを示すこと。
• Ind-構成を用いて、この同値性をコンパクト生成からすべてのpresentably generated k-線形安定∞-圏へ拡張すること。
• ∞-圏的枠組みにおいて、dg圏が三角的圏のホモトピー的強化として解釈するための厳密な基礎を提供すること。

提案手法

• k-上のdg圏のモデルカテゴリとHk-モジュールスペクトルに値をとるスペクトル的圏の enrich されたモデルカテゴリとの間のQuillen同値性を用いる。
• チェーン複体（dg圏）と単体的スペクトル（スペクトル的圏）との間の関係を、豊富なDold-Kan対応を用いて確立する。
• ∞-圏の枠組みの中で、Barr-Beck-Lurieの定理の∞-圏的版を用いて、モジュール圏を分析する。
• Ind-構成を用いて、小、イデムポテンス完全、k-線形安定∞-圏の∞-圏に、対称モノイダル構造を構成する。
• Perf(Hk)が、Hk-モジュールのperfectな∞-圏と同値であるという事実を活用し、∞-圏的設定においてk-線形構造をモデル化する。
• ∞-圏的テンソル積とモジュール圏の普遍性を用いて、k-線形安定∞-圏の∞-圏が、小、イデムポテンス完全な安定∞-圏の対称モノイダル∞-圏におけるPerf(Hk)上のモジュール圏として特定されることを示す。

実験結果

リサーチクエスチョン

• RQ1 pretriangulated dg圏の標準的な∞-圏的強化は存在するか？ それはそのホモトピー的構造を完全に捉えられるか？
• RQ2 dg圏におけるモリタモデル構造は、k-線形安定∞-圏の∞-圏を提示するものと見なせるか？
• RQ3 点ごとのテンソル積がcofibrancyを保存しないという失敗は、dg圏と∞-圏との比較にどのような影響を及けるか？
• RQ4 スペクトル的圏は、dg圏の構造を∞-圏的世界へと移行するためのブリッジとして機能できるか？
• RQ5 Ind-構成により、コンパクト生成の範囲からすべてのpresentably generated k-線形安定∞-圏への同値性が拡張可能か？

主な発見

• k-上の小dg圏におけるモリタモデルカテゴリの背後にある∞-圏は、小、イデムポテンス完全、k-線形安定∞-圏の∞-圏と同値である。
• この同値性は、k-上のdg圏とHk-モジュールスペクトルに値をとるスペクトル的圏との間のQuillen同値性によって確立される。
• k-線形安定∞-圏の∞-圏は、小、イデムポテンス完全な安定∞-圏の対称モノイダル∞-圏におけるPerf(Hk)上のモジュール圏として特定される。
• Ind-構成は、コンパクト生成のpresentable k-線形安定∞-圏の∞-圏と、presentably generatedな安定∞-圏の∞-圏におけるHk-モジュール圏の∞-圏との間の同値性を誘導する。
• この結果は、dg圏がk-線形安定∞-圏のモデルを提供するというフォルクロア的予想を裏付けるものであり、導来代数的幾何学および非可換幾何学における基礎的問題を解決する。
• 本論文は、dg圏のテンソル積が平坦なスペクトル的圏を用いて導来可能であることを示し、点ごとのテンソル積がcofibrancyを保存しないという問題を回避している。