[論文レビュー] Singularity categories and singular equivalences for resolving subcategories

Hiroki Matsui, Ryo Takahashi|arXiv (Cornell University)|Dec 27, 2014

Algebraic structures and combinatorial models参考文献 37被引用数 7

ひとこと要約

この論文は、Gorenstein環における解消可能な部分カテゴリの特異カテゴリが自明であるための条件を確立し、そのようなカテゴリがゼロに特異同値であるための必要十分条件として、環が型 $\mathsf{A}_1$ の単純な超曲面特異点であることであることを証明する。これは、完全交差環において特異カテゴリが自明である完全分類を提供し、Yoshinoの全反射的加群に関する結果を一般化する。

ABSTRACT

Let $\X$ be a resolving subcategory of an abelian category. In this paper we investigate the singularity category $\ds(\underline\X)=\db(\mod\underline\X)/\kb(\proj(\mod\underline\X))$ of the stable category $\underline\X$ of $\X$. We consider when the singularity category is triangle equivalent to the stable category of Gorenstein projective objects, and when the stable categories of two resolving subcategories have triangle equivalent singularity categories. Applying this to the module category of a Gorenstein ring, we characterize simple hypersurface singularities of type $(\a_1)$ as complete intersections over which the stable categories of resolving subcategories have trivial singularity categories. We also generalize several results of Yoshino on totally reflexive modules.

研究の動機と目的

• 解消可能な部分カテゴリの安定カテゴリの特異カテゴリがいつ自明になるかを特定すること。
• Yoshinoの全反射的加群に関する結果を解消可能な部分カテゴリの文脈に一般化すること。
• 二つの解消可能な部分カテゴリの特異カテゴリが三角同値であるのはいつかを特定すること。
• 安定カテゴリの特異カテゴリが自明であるような完全交差環を分類すること。
• MCM加群のAuslander-Reitenクーヴィル構造と特異カテゴリの自明性との関係を確立すること。

提案手法

• 解消可能な部分カテゴリ $\mathcal{X}$ に対して、特異カテゴリ $\mathsf{D_{sg}}(\underline{\mathcal{X}})$ を、ヴェルディエ・商 $\mathsf{D^b}(\mathsf{mod}\underline{\mathcal{X}})/\mathsf{K^b}(\mathsf{proj}(\mathsf{mod}\underline{\mathcal{X}}))$ として定義する。
• Beligiannisによって確立された、Gorenstein圏における特異カテゴリとGorenstein射影的加群の安定カテゴリとの同値性を用いる。
• Auslander-Reiten理論および超曲面特異点上の最大コhen＝マカウルイ加群の性質を応用する。
• MCM加群のAuslander-Reitenクーヴィルを分析し、非自明な矢印が存在しないことを検出することで、$\mathsf{A}_1$ 特異点を特徴付ける。
• $1$ 次元の $\mathsf{A}_2$ 特異点に対して、同型 $\mathsf{\underline{End}}_R(\mathfrak{m}) \cong k[t]/(t^2)$ を用いて特異カテゴリを計算する。
• 特異カテゴリが自明であるための必要十分条件として、$\mathsf{D_{sg}}(\mathcal{C}) \cong \mathbf{0}$ if and only if $\mathcal{C}$ が正則である、という結果を応用する。

実験結果

リサーチクエスチョン

• RQ1 解消可能な部分カテゴリの安定カテゴリの特異カテゴリがいつ自明になるか？
• RQ2 どの完全交差環が、特異カテゴリが自明な解消可能な部分カテゴリを持つのか？
• RQ3 二つの解消可能な部分カテゴリの特異カテゴリがいつ三角同値か？
• RQ4 MCM加群のAuslander-Reitenクーヴィル構造は、特異カテゴリの自明性とどのように関係するか？
• RQ5 $1$ 次元の $\mathsf{A}_2$ 特異点におけるMCM加群の安定カテゴリの特異カテゴリは何か？

主な発見

• 解消可能な部分カテゴリの安定カテゴリの特異カテゴリが自明であるのは、その基本となる環が型 $\mathsf{A}_1$ の単純な超曲面特異点であるとき、かつそのときに限る。
• $1$ 次元の $\mathsf{A}_2$ 特異点 $R \cong k[[x,y]]/(xy)$ に対して、特異カテゴリ $\mathsf{D_{sg}}(\mathsf{\underline{CM}}(R))$ は $\mathsf{D_{sg}}(k[t]/(t^2))$ と三角同値であり、これは非自明である。
• $R$ が $\mathsf{A}_2$ 特異点であるとき、安定カテゴリ $\mathsf{\underline{CM}}(R)$ は正則ではない。これは、その特異カテゴリが非自明であることで示される。
• 特異カテゴリが自明であるためには、解消可能な部分カテゴリが最大複雑性を持つ加群を含むことが必要である。それがないと、$\mathsf{A}_1$ でない完全交差環に対してもカテゴリが正則である可能性がある。
• Gorenstein圏 $\mathcal{C}$ の特異カテゴリは、$\mathsf{mod}\mathcal{C}$ 内のGorenstein射影的加群の安定カテゴリと三角同値である。これは、Buchweitzの定理の一般化である。
• 解消可能な部分カテゴリ間の特異同値性は、非可約MCM加群の数を保存しない。例として、$R = k[[x,y]]/(xy)$ は $k$ と特異同値であるが、非可約MCM加群は3つあるのに対し、$k$ は1つである。