[論文レビュー] Derived category of filtered objects

Pierre Schapira, Jean-Pierre Schneiders|arXiv (Cornell University)|Jun 6, 2013

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

ひとこと要約

この論文は、フィルトレートされた対象の導来圏（アーベル圏におけるフィルトレート集合 Λ でインデックスづけられたもの）と、Λ からそのアーベル圏への関手のアーベル圏の導来圏との間の同値性を確立する。主な貢献は、準アーベル圏であるフィルタードモジュールの圏を、同値なアーベルモデルに置き換える導来同値性の確立であり、これによりフィルタード D-加群やフィルタード環上の層といった文脈におけるホモロジー代数が簡素化される。

ABSTRACT

For an abelian category C and a filtrant preordered set Lambda, we prove that the derived category of the quasi-abelian category of filtered objects in C indexed by Lambda is equivalent to the derived category of the abelian category of functors from Lambda to C. We apply this result to the study of the category of filtered modules over a filtered ring in a tensor category.

研究の動機と目的

• 準アーベル圏を用いた導来圏における技術的困難を、同値なアーベル圏に置き換えることにより解決すること。
• アーベル圏 C におけるフィルタード対象の圏（フィルトレート集合 Λ でインデックスづけられたもの）と、Λ から C への関手の圏との間の導来同値性を確立すること。
• 結果を、特に複素多様体上の D-加群の文脈において、テンソル圏におけるフィルタード環上のフィルタードモジュールに適用すること。
• フィルタード D-加群を、アーベル関手圏の導来圏を用いて研究するための基盤を提供すること。

提案手法

• C におけるフィルタード対象を、各 M(λ) が lim M の部分対象であるような関手 M: Λ → C として扱う。
• このような関手の圏がアーベル圏をなすのに対し、フィルタード対象の圏は僅かに準アーベル的であるという事実を利用する。
• フィルタード対象の準アーベル圏の導来圏と、Λ から C への関手のアーベル圏の導来圏との間の導来同値性を構成する。
• C がテンソル圏であり、Λ が準順序半群である場合、この同値性が導来ファンクターを保存し、テンソル構造を尊重することを証明する。
• 結果を、フィルタード環やモジュールの層、特に標準的フィルトレートを持つ微分作用素の層 D_X に適用する。
• 同値性を用いて、D_X-加群のフィルタード導来圏と、D_X に関連する Λ-環のモジュールの導来圏との関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 準アーベル圏におけるフィルタード対象の導来圏は、同値なアーベル圏の導来圏に置き換え可能か？
• RQ2 テンソル圏におけるフィルタード環上のフィルタードモジュールの導来圏は、関手圏を通じて同値なアーベルモデルを有するか？
• RQ3 フィルタード D_X-加群の導来圏は、関連する Λ-環上のモジュールの導来圏とどのように関係するか？
• RQ4 フィルタード環の文脈において、導来同値性がテンソル構造と単位元を尊重するための条件は何か？
• RQ5 この同値性は、サブアナリティック層や D-加群といった層論的構成に適用可能か？

主な発見

• アーベル圏 C におけるフィルトレート集合 Λ でインデックスづけられたフィルタード対象の準アーベル圏の導来圏は、Λ から C への関手のアーベル圏の導来圏と同値である。
• この同値性は、C が小さい正確なフィルトレート列極限を備えるという仮定のもとで成り立つ。これにより、フィルトレート構造と整合性が保証される。
• C がテンソル圏であり、Λ が準順序半群である場合、結果はフィルタード環 A 及びそのモジュールに拡張され、関連する Λ-環 FA について D(Mod(FA)) と D(Mod(FA)) の同値性が得られる。
• 同値性は有界導来圏と整合する：* = ub, b, +, − に対して D^*(Mod(FR)) ≅ D^*(Mod(ιFR)) が成り立つ。
• この構成は、複素多様体上のフィルタード D-加群に適用可能であり、D_X における標準的フィルトレートが Λ = Z を用いた Λ-環構造を誘導する。
• 結果は、[GS12] で指摘されたように、サブアナリティック層 O_X,sa の導来圏をフィルタード構造を通じて研究するための枠組みを提供する。