[論文レビュー] Relative singularity categories, Gorenstein objects and silting theory

Jiaqun Wei|arXiv (Cornell University)|Apr 25, 2015

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

ひとこと要約

本稿では、セルフトリングルレートド・サブカテゴリ $ω$ に関する相対特異カテゴリと、その安定カテゴリの三角同値性を確立する。$ω$-ゴレンスタイン対象は、ゴレンスタイン射影的およびインジェクティブ・モジュールの一般化として導入され、その安定カテゴリは、三角圏 $τ$ における $ω$-直交するサブカテゴリ $τ_{ω}^{ot}$ を用いたヴェルディエ・商 $τ / τ_{ω}^{ot}$ として定義される相対特異カテゴリと三角同値である。主な貢献は、シルティング理論、ゴレンスタインホモロジー代数、特異カテゴリを統合する枠組みを提供することであり、ゴレンスタイン環に関する古典的結果を、三角圏の技法を用いてより広範な設定へと拡張することに成功している。

ABSTRACT

We study singularity categories through Gorenstein objects in triangulated categories and silting theory. Let $ω$ be a semi-selforthogonal (or presilting) subcategory of a triangulated category $\mathcal{T}$. We introduce the notion of $ω$-Gorenstein objects, which is far extended version of Gorenstein projective modules and Gorenstein injective modules in triangulated categories. We prove that the stable category $\underline{\mathcal{G}_ω}$, where $\mathcal{G}_ω$ is the subcategory of all $ω$-Gorenstein objects, is a triangulated category and it is, under some conditions, triangle equivalent to the relative singularity category of $\mathcal{T}$ with respect to $ω$.

研究の動機と目的

• 三角圏におけるシルティング理論を用いて、ゴレンスタイン射影的およびインジェクティブ・モジュールを一般化すること。
• 三角圏 $τ$ の半自己直交サブカテゴリ $ω$ に対して、$ω$-ゴレンスタイン対象を定義し、その性質を考察すること。
• 三角圏 $τ$ における $ω$-ゴレンスタイン対象の安定カテゴリと、$ω$ を基準とする相対特異カテゴリとの間の三角同値性を確立すること。
• ゴレンスタイン環の特異カテゴリに関する古典的結果を、非ネーター的かつコherentな環を含むより一般的な設定へと拡張すること。
• 相対特異カテゴリとシルティング理論に基づく共通の枠組みを用いて、さまざまな特異カテゴリを統一すること。

提案手法

• 三角圏 $τ$ における $ω$-ゴレンスタイン対象の概念を導入し、ゴレンスタイン射影的およびインジェクティブ・モジュールを一般化する。
• 相対特異カテゴリ $τ_{ω}$ を、$τ_{ω}^{ot}$（$τ$ において $ω$ に直交する対象のサブカテゴリ）をモジュロしたヴェルディエ・商 $τ / τ_{ω}^{ot}$ として定義する。
• 適切な条件下で、$ω$-ゴレンスタイン対象の安定カテゴリ $τ_{ω}$ が三角圏であることを証明する。
• シルティング理論および相対ホモロジー代数の技法を用いて、$ω$-ゴレンスタイン対象とシルティング複体、モジュールのサブカテゴリとの関係を確立する。
• シルティング複体の構造を用いて、ゴレンスタイン対象の安定カテゴリと、ビッグまたはスモール特異カテゴリとの間の三角同値性を確立する。
• 有限ゴレンスタイングローバル次元をもつ環に対してこの枠組みを適用し、$υ\underline{\mathcal{G}P}$, $υ\underline{\mathcal{G}I}$, $υ\underline{\mathcal{G}}_{\mathrm{Add}M}$, および $υ\mathcal{D}_{σ}(R)$ の間の同値性を示す。

実験結果

リサーチクエスチョン

• RQ1 シルティング理論を用いて、三角圏の文脈におけるゴレンスタイン射影的およびインジェクティブ・モジュールをどのように一般化できるか。
• RQ2 $ω$-ゴレンスタイン対象の安定カテゴリが三角圏であり、かつ $ω$ を基準とする $τ$ の相対特異カテゴリと同値であるための条件は何か。
• RQ3 ゴレンスタイン環に限らない、有限ゴレンスタイングローバル次元をもつより一般的な環へと、特異カテゴリと安定ゴレンスタイン対象カテゴリの古典的三角同値性を拡張できるか。
• RQ4 シルティング複体は、ゴレンスタイン対象を通じて特異カテゴリを特徴付ける役割を果たすか。
• RQ5 相対特異カテゴリは、導来および安定ホモロジー代数におけるさまざまなバージョンの特異カテゴリをどのように統一するか。

主な発見

• 適切な条件下で、$ω$-ゴレンスタイン対象の安定カテゴリ $υ\underline{\mathcal{G}}_{ω}$ は三角圏である。
• $υ\underline{\mathcal{G}}_{ω}$ と相対特異カテゴリ $τ_{ω}$ の間には三角同値性が存在し、ゴレンスタインホモロジー代数と特異理論の新たな接続を確立する。
• 有限ゴレンスタイングローバル次元をもつ環 $R$ に対して、ビッグ特異カテゴリ $υ\mathcal{D}_{σ}(R)$ は、$υ\underline{\mathcal{G}P}$, $υ\underline{\mathcal{G}I}$, および $υ\underline{\mathcal{G}}_{\mathrm{Add}M}$ と三角同値である。ここで $M$ は $\mathcal{D}^b(\mathrm{Mod}R)$ 内の任意のビッグシルティング複体である。
• 有限ゴレンスタイングローバル次元をもつ左コherent環 $R$ に対して、スモール特異カテゴリ $\mathcal{D}_{sg}(R)$ は、$\underline{\mathcal{G}p}$ および $\underline{\mathcal{G}}_M$ と三角同値である。ここで $M$ は $\mathcal{D}^b(R)$ 内の任意のシルティング複体である。
• この枠組みにより、さまざまな特異カテゴリが、シルティング複体に関連するゴレンスタイン対象の安定カテゴリとすべて同値であることが示され、統一された。
• ラディカルの平方がゼロである自己自己射的代数の例において、特異カテゴリ $\mathcal{D}_{sg}(R)$ が、2項シルティング複体 $M$ を用いて $\underline{\mathcal{G}}_M$ と三角同値であることが示され、一般理論の妥当性が確認された。