[論文レビュー] Relative Singularity Categories and Gorenstein-Projective Modules

Xiao‐Wu Chen|arXiv (Cornell University)|Sep 12, 2007

Algebraic structures and combinatorial models参考文献 15被引用数 4

ひとこと要約

本稿は、アーベル圏における自己正規部分圏 𝜔 に関する相対特異的カテゴリを導入し、適切な条件下で 𝜔-コhen＝マカウレー対象の安定カテゴリと相対特異的カテゴリの間で三角同値を確立する。主な貢献は、ブルーヴァイツ＝ハッペル双対性をゴレンシュタイン環へ拡張し、ゴレンシュタイン射影的加群の安定カテゴリがコンパクト生成であることを示し、コンパクト対象は直和成分を除いてちょうど有限生成ゴレンシュタイン射影的加群に一致することを示している。

ABSTRACT

We introduce the notion of relative singularity category with respect to any self-orthogonal subcategory $ω$ of an abelian category. We introduce the Frobenius category of $ω$-Cohen-Macaulay objects, and under some reasonable conditions, we show that the stable category of $ω$-Cohen-Macaulay objects is triangle-equivalent to the relative singularity category. As applications, we relate the stable category of (unnecessarily finitely-generated) Gorenstein-projective modules with singularity categories of rings. We prove that for a Gorenstein ring, the stable category of Gorenstein-projective modules is compactly generated and its compact objects coincide with finitely-generated Gorenstein-projective modules up to direct summands.

研究の動機と目的

• 自己正規部分圏 𝜔 ⊆ 𝒜 に関する相対特異的カテゴリ $ D_{\omega}(\mathcal{A}) $ を定義・研究し、古典的特異的カテゴリを一般化すること。
• 𝜔-コhen＝マカウレー対象のフレーザー圏を導入し、その安定カテゴリが三角的商であることを確立すること。
• ゴレンシュタイン環上のゴレンシュタイン射影的加群の安定カテゴリを、相対特異的カテゴリを通じて特異的カテゴリと関連付けること。
• ゴレンシュタイン環上のゴレンシュタイン射影的加群の安定カテゴリがコンパクト生成であることを証明し、コンパクト対象が直和成分を除いてちょうど有限生成ゴレンシュタイン射影的加群に一致することを示すこと。
• ブルーヴァイツ＝ハッペル双対性を、有限生成でない可能性のあるゴレンシュタイン射影的加群の状況にまで拡張すること。

提案手法

• 自己正規性を満たす 𝜔 に対して、相対特異的カテゴリ $ D_{\omega}(\mathcal{A}) $ を Verdier 商 $ D^b(\mathcal{A}) / K^b(\omega) $ として定義する。
• 部分圏 $ \widehat{\omega} $, $ {}_\omega\mathcal{X} $, および $ \omega^\perp $ を導入し、自己正規性のもとで $ \omega \subseteq \widehat{\omega} \subseteq {}_\omega\mathcal{X} \subseteq \omega^\perp $ が成り立つことを示す。
• 𝜔-コhen＝マカウレー対象の安定カテゴリから $ D_{\omega}(\mathcal{A}) $ への完全かつ忠実な完全埋め込みを構成し、適切な条件下でこれが同値であることを証明する。
• ホモロジー代数における次元シフト技法を用いて、射影的加群の完全複体のコサイクルが $ {}^\perp R\text{-Proj} $ に属すること、したがって $ R\text{-Gproj} $ に属することを示す。
• 商三角的圏のコンパクト生成性に関するトーマソン＝トロバウ＝ヨウ＝ニーマンの定理を適用し、$ R\text{-\underline{GProj}} $ がコンパクト生成であることを示す。
• $ Z^0 $（ゼロ次コサイクルを取る関手）と $ \mathbf{a} $（複体にその関連完全分解を割り当てる関手）を用いて、$ K(R\text{-Proj}) $ と $ R\text{-\underline{GProj}} $ を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 𝜔-コhen＝マカウレー対象の安定カテゴリが、相対特異的カテゴリ $ D_{\omega}(\mathcal{A}) $ と三角同値となるのはどのような条件下か？
• RQ2 相対特異的カテゴリは、古典的特異的カテゴリおよびティルティング部分圏とどのように関係するか？
• RQ3 ゴレンシュタイン環上のゴレンシュタイン射影的加群の安定カテゴリはコンパクト生成か？
• RQ4 ゴレンシュタイン射影的加群の安定カテゴリにおけるコンパクト対象は、直和成分を除いてちょうど有限生成ゴレンシュタイン射影的加群に一致するか？
• RQ5 ブルーヴァイツ＝ハッペル双対性は、有限生成でない可能性のあるゴレンシュタイン射影的加群の状況にまで拡張可能か？

主な発見

• 𝜔-コhen＝マカウレー対象の安定カテゴリは、相対特異的カテゴリ $ D_{\omega}(\mathcal{A}) $ に完全かつ忠実に埋め込まれ、適切な条件下ではこの埋め込みが同値となる。
• ゴレンシュタイン環 $ R $ に対して、ゴレンシュタイン射影的加群の安定カテゴリ $ R\text{-\underline{GProj}} $ は三角的圏としてコンパクト生成である。
• $ R\text{-\underline{GProj}} $ のコンパクト対象の部分圏は、ちょうど有限生成ゴレンシュタイン射影的 $ R $-加群の直和成分に一致する。
• $ Z^0: K^{\rm ex}(R\text{-Proj}) \to R\text{-\underline{GProj}} $ は三角同値である。これは、射影的加群の完全複体とゴレンシュタイン射影的加群を結ぶ。
• 相対特異的カテゴリ $ D_{\omega}(\mathcal{A}) $ は、古典的特異的カテゴリ $ D_{\rm sg}(\mathcal{A}) $ を一般化し、ティルティング部分圏を通じて元のカテゴリへ回復可能である。
• 本結果により、ブルーヴァイツ＝ハッペル双対性は有限生成のケースに限らず拡張され、ゴレンシュタイン射影的加群が必ずしも有限生成でない場合でも $ D_{\rm sg}(R) \simeq R\text{-\underline{GProj}} $ が成り立つことが示された。