[論文レビュー] Acyclicity versus total acyclicity for complexes over noetherian rings

Srikanth B. Iyengar, Henning Krause|ArXiv.org|Jun 14, 2005

Algebraic structures and combinatorial models参考文献 19被引用数 99

ひとこと要約

この論文は、双対化複体を備えた可換ネーター環上における射影的・注入的加群のホモトピー圏の間の同値性を、関手 $ D \bigotimes_R - $ を用いて確立し、両圏におけるアセイクル複体の完全アセイクル複体による商が同値であり、コンパクト生成であることを証明する。主な結果として、これらの商が $ \operatorname{Thick}(R,D)/\operatorname{Thick}(R) $ に同型であると特定し、アウスランダーおよびバーストのカテゴリーにおける複体の新たな特徴付けを提供する。

ABSTRACT

It is proved that for a commutative noetherian ring with dualizing complex the homotopy category of projective modules is equivalent, as a triangulated category, to the homotopy category of injective modules. Restricted to compact objects, this statement is a reinterpretation of Grothendieck's duality theorem. Using this equivalence it is proved that the (Verdier) quotient of the category of acyclic complexes of projectives by its subcategory of totally acyclic complexes and the corresponding category consisting of injective modules are equivalent. A new characterization is provided for complexes in Auslander categories and in Bass categories of such rings.

研究の動機と目的

• 可換ネーター環に双対化複体を備えた射影的加群と注入的加群のホモトピー圏の間の三角圏同値性を確立すること。
• 射影的および注入的設定におけるアセイクル複体の完全アセイクル複体による商カテゴリーを特徴付けること。
• この同値性を用いてアウスランダーおよびバーストのカテゴリーにおける複体の新たな特徴付けを提供すること。
• 導来関手とコンパクト対象を介して、グロテンディーク双対性をホモトピー圏のレベルにまで拡張すること。

提案手法

• 双対化複体 $ D $ を用いた関手 $ D \otimes_R - $ を用いて、$ \mathbf{K}(\operatorname{Prj} R) $ と $ \mathbf{K}(\operatorname{Inj} R) $ 間の三角圏同値性を構成すること。
• $ D $ が注入的加群の有界複体であること、および注入的加群の直和が再び注入的であることを利用し、関手が三角圏構造を保存することを保証すること。
• 関手 $ \mathsf{q} \circ \operatorname{Hom}_R(D, -) $ を用いて逆関手を確立すること。ここで $ \mathsf{q} $ は平坦複体から注入的複体への商関手である。
• $ \mathbf{K}(\operatorname{Prj} R) $ および $ \mathbf{K}(\operatorname{Inj} R) $ の対象のコンパクト性を用いて、同値性を $ \mathbf{D}^f(R) $ におけるグロテンディーク双対性に関連付けること。
• 厚い部分カテゴリーの商を用いて、商カテゴリー $ \mathbf{K}_{\mathrm{ac}}(\operatorname{Prj} R)/\mathbf{K}_{\mathrm{tac}}(\operatorname{Prj} R) $ および $ \mathbf{K}_{\mathrm{ac}}(\operatorname{Inj} R)/\mathbf{K}_{\mathrm{tac}}(\operatorname{Inj} R) $ を分析すること。
• コンパクト生成および局所化の理論を適用し、商カテゴリーがコンパクト生成であり、$ \operatorname{Thick}(R,D)/\operatorname{Thick}(R) $ に同値であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 ネーター環に双対化複体を備えた射影的加群と注入的加群のホモトピー圏の間には三角圏同値性が存在するか？
• RQ2 射影的および注入的設定におけるアセイクル複体の完全アセイクル複体による商カテゴリーはどのように関係するか？
• RQ3 アウスランダーおよびバーストのカテゴリーは、これらの商カテゴリーを用いて特徴付けられるか？
• RQ4 導来同値性 $ \mathbf{R}\operatorname{Hom}_R(-,D) $ は、ホモトピー圏のレベルにどの程度まで拡張可能か？
• RQ5 注入的複体の複体が有限G-注入的次元を持つための条件は何か？

主な発見

• 関手 $ D \otimes_R - $ は $ \mathbf{K}(\operatorname{Prj} R) $ と $ \mathbf{K}(\operatorname{Inj} R) $ 間の三角圏同値性を誘導し、その逆関手は $ \mathsf{q} \circ \operatorname{Hom}_R(D, -) $ である。
• 商カテゴリー $ \mathbf{K}_{\mathrm{ac}}(\operatorname{Prj} R)/\mathbf{K}_{\mathrm{tac}}(\operatorname{Prj} R) $ および $ \mathbf{K}_{\mathrm{ac}}(\operatorname{Inj} R)/\mathbf{K}_{\mathrm{tac}}(\operatorname{Inj} R) $ はコンパクト生成であり、$ \operatorname{Thick}(R,D)/\operatorname{Thick}(R) $ に同値である。
• $ R $ 上で有限G-注入的次元をもつ複体は、ちょうどバーストカテゴリー $ \mathcal{B}(R) $ に属するものであり、$ V \in \operatorname{Loc}(D) $ かつ $ T $ が完全アセイクルであるような正確な三角形 $ V \to Y \to T \to \Sigma V $ の存在によって特徴付けられる。
• 注入的複体 $ Y $ が有限G-注入的次元をもつための必要十分条件は、$ \mathbf{R}\operatorname{Hom}_R(D,Y) $ が右側でホモロジ的に有界であること、あるいは $ V \cong \mathsf{v}(Y) $ に対して $ \mathsf{S}(V) \in \operatorname{Loc}(R) $ であることである。
• 同値性 $ \mathbf{K}(\operatorname{Prj} R) \simeq \mathbf{K}(\operatorname{Inj} R) $ は、コンパクト対象の対応からグロテンディーク双対性を回復する。
• 結果は、双対化複体を備えた環のペア $ \langle S,R \rangle $ を用いた非可換設定へと拡張可能であり、G-射影的およびG-注入的次元はアウスランダーおよびバーストのカテゴリー内の対象として特定される。