[論文レビュー] The dimension of a subcategory of modules

Hailong Dao, Ryo Takahashi|arXiv (Cornell University)|Mar 8, 2012

Algebraic structures and combinatorial models参考文献 34被引用数 8

ひとこと要約

本稿では、可換ノエター局域環上の有限生成加群の部分カテゴリに対して、新たな次元の概念を導入し、Rouquierの三角カテゴリ次元を解消可能および厚い部分カテゴリへと拡張する。最大コhen＝マカウレイ加群の部分カテゴリが、特異点を除くスペクトル上で局所的に自由であるとき、その次元が有限であることは、孤立特異点を特徴づける。これは、Auslander, Huneke, Leuschke, Wiegandの古典的結果を回復・拡張するとともに、Gorenstein環上の安定カテゴリに関する最近の知見を一般化する。

ABSTRACT

Let R be a commutative noetherian local ring. As an analogue of the notion of the dimension of a triangulated category defined by Rouquier, the notion of the dimension of a subcategory of finitely generated R-modules is introduced in this paper. We found evidence that certain categories over nice singularities have small dimensions. When R is Cohen-Macaulay, under a mild assumption it is proved that finiteness of the dimension of the full subcategory consisting of maximal Cohen-Macaulay modules which are locally free on the punctured spectrum is equivalent to saying that R is an isolated singularity. As an application, the celebrated theorem of Auslander, Huneke, Leuschke and Wiegand is not only recovered but also improved. The dimensions of stable categories of maximal Cohen-Macaulay modules as triangulated categories are also investigated in the case where R is Gorenstein, and special cases of the recent results of Aihara and Takahashi, and Oppermann and Stovicek are recovered and improved. Our key technique involves a careful study of annihilators and supports of Tor, Ext and \underline{Hom} between two subcategories.

研究の動機と目的

• 可換ノエター局域環上の有限生成加群の解消可能および厚い部分カテゴリに対する新たな次元の概念を定義し、その性質を調べること。
• 特異点を除くスペクトル上で局所的に自由な最大コhen＝マカウレイ加群の部分カテゴリの次元が有限である条件を、コhen＝マカウレイ局域環が孤立特異点を持つときの特徴づけとして得ること。
• 特にGorensteinの場合に、最大コhen＝マカウレイ加群の安定カテゴリに関する既存の結果を拡張・精緻化すること。
• このような部分カテゴリが無限次元である条件を同定し、非有限次元性の新たな十分条件を提供すること。

提案手法

• 有限生成加群の部分カテゴリに対する新たな次元概念を導入し、単一の対象からカテゴリを構成するために必要なシンジーギーおよび拡張ステップの数に基づく。
• 次元の有限性を分析するための主要な不変量として、部分カテゴリ間のTor、Extおよび安定Hom関手の零化因子を用いる。
• ホモロジー代数の技法を用い、特に最大コhen＝マカウレイ加群の安定カテゴリおよびその厚い部分カテゴリを用いる。
• 特異点がハイパーサーフェスの場合、有界な導来カテゴリから完全複体を除いたものと最大コhen＝マカウレイ加群の安定カテゴリとの同値性を応用する。
• 局所コhomologyおよびサポート理論の結果を用い、零化因子の条件と特異点の型との関係を結ぶ。
• 解消可能および厚い部分カテゴリの概念を用いて、特異環上の加群カテゴリの構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 特異点を除くスペクトル上で局所的に自由な最大コhen＝マカウレイ加群の部分カテゴリの次元が有限であるのはいつか？
• RQ2 このような加群間のTorおよびExt関手の零化因子は、環の特異点の型とどのように関係するか？
• RQ3 Gorenstein環上の最大コhen＝マカウレイ加群の安定カテゴリが有限次元であるための条件は何か？
• RQ4 解消可能または厚い加群部分カテゴリの次元が必然的に無限大であるような条件は何か？
• RQ5 新しい次元概念は、既知の孤立特異点およびコhen＝マカウレイ加群に関する結果をどのように回復または改善するか？

主な発見

• 弱い仮定の下で、特異点を除くスペクトル上で局所的に自由な最大コhen＝マカウレイ加群の部分カテゴリ $\operatorname{\mathsf{CM}}_0(R)$ の次元が有限であることと、$\operatorname{\mathsf{Ext}}^i(M,N)$ の零化因子が $\mathfrak{m}$-主理想であることとは同値である。
• $\operatorname{\mathsf{Tor}}_i(M,N)$ の零化因子が $\mathfrak{m}$-主理想であることから、$R$ は高々孤立特異点をもつ。
• $R$ が完全で、等特徴的であり、完全な残渣体をもつならば、$R$ が孤立特異点をもつことは、$\operatorname{\mathsf{dim}}\,\operatorname{\mathsf{CM}}_0(R)$ が有限であることと同値である。
• Gorenstein環では、安定カテゴリ $\underline{\mathsf{CM}}_0(R)$ の次元が有限であることと、$R$-線形カテゴリ $\underline{\mathsf{CM}}_0(R)$ の零化因子が $\mathfrak{m}$-主理想であることとは同値である。
• 同じ条件下で、$\underline{\mathsf{CM}}_0(R)$ の次元が有限であることと、$R$ が高々孤立特異点をもつことは同値である。
• 解消可能または厚い部分カテゴリが無限次元であるような、いくつかの十分条件が確立され、特に $R$ が局所的にハイパーサーフェスである、最小多重度をもつ、または有限コhen＝マカウレイ表現型をもつような場合が含まれる。