[論文レビュー] Classifying thick subcategories of the stable category of Cohen-Macaulay modules

Ryo Takahashi|arXiv (Cornell University)|Aug 2, 2009

Algebraic structures and combinatorial models参考文献 38被引用数 10

ひとこと要約

この論文は、Gorenstein局域環上のCohen-Macaulay加群の安定圏における厚い部分圏を、特異点集合に含まれる素イデアルスpectrumの特殊化閉部分集合を用いて完全に分類する。特に局域超曲面に対して適用される。主な結果は、安定圏の厚い部分圏とこのような特殊化閉部分集合との間の一対一対応であり、Benson, Carlson, Rickardの結果を高次元設定に一般化する。

ABSTRACT

Various classification theorems of thick subcategories of a triangulated category have been obtained in many areas of mathematics. In this paper, as a higher-dimensional version of the classification theorem of thick subcategories of the stable category of finitely generated representations of a finite $p$-group due to Benson, Carlson and Rickard, we consider classifying thick subcategories of the stable category of Cohen-Macaulay modules over a Gorenstein local ring. The main result of this paper yields a complete classification of the thick subcategories of the stable category of Cohen-Macaulay modules over a local hypersurface in terms of specialization-closed subsets of the prime ideal spectrum of the ring which are contained in its singular locus.

研究の動機と目的

• 三角的圏における厚い部分圏の分類を、特にGorenstein局域環上のCohen-Macaulay加群に対して高次元設定に拡張すること。
• Benson, Carlson, Rickardの分類結果（元々は有限p群に対して得られたもの）を、高次元の環、特に局域超曲面に一般化すること。
• Cohen-Macaulay加群の安定圏の厚い部分圏と、特異点集合に含まれる素イデアルスpectrumの特殊化閉部分集合との間の一対一対応を確立すること。
• Cohen-Macaulay加群の安定圏における厚い部分圏に対して適切なサポート理論を定義し、それを活用すること。

提案手法

• 論文は、Gorenstein局域環 $R$ におけるCohen-Macaulay加群の安定圏 $\underline{\mathrm{CM}}(R)$ を用いる。$R$ がGorensteinであれば、これは三角的圏である。
• 各厚い部分圏に、特異点集合 $\operatorname{Sing}R$ に含まれる $\operatorname{Spec}R$ の特殊化閉部分集合を割り当てるサポート写像 $\underline{\mathrm{Supp}}$ を導入する。
• サポート写像とその逆写像を用いて、$\underline{\mathrm{CM}}(R)$ の厚い部分圏と $\operatorname{Spec}R$ の特異点集合に含まれる特殊化閉部分集合との間の一対一対応を確立することで分類を達成する。
• 特に、ザリスキ位相を用いた解体的部分圏とそれらに対応する閉部分集合の理論を活用し、加群 $M$ の消滅イデアル $\mathcal{V}(M)$ を用いる。
• 単一の対象によって生成される厚い部分圏が、$\operatorname{Sing}R$ に含まれる $\operatorname{Spec}R$ の閉部分集合とちょうど一対一に対応することを証明する。これは代数的生成と位相的閉包の関係を示す。
• 主な技術的道具は、シンジーギー $\Omega^n M$、要素 $f_i$ での局域化、および局域化 $R_f$ 上での加群の性質の解析である。

実験結果

リサーチクエスチョン

• RQ1 Gorenstein局域環上のCohen-Macaulay加群の安定圏における厚い部分圏は、高次元においてどのように分類可能か？
• RQ2 $\underline{\mathrm{CM}}(R)$ の厚い部分圏と $R$ の素イデアルスpectrumの部分集合との間の正確な関係は何か？
• RQ3 Benson, Carlson, Rickardの群表現に対する分類結果は、局域超曲面のような高次元特異環へ一般化可能か？
• RQ4 Cohen-Macaulay加群の安定圏の厚い部分圏が、$\operatorname{Sing}R$ に含まれる $\operatorname{Spec}R$ の特殊化閉部分集合に対応する条件は何か？
• RQ5 特異点集合 $\operatorname{Sing}R$ は、安定圏における厚い部分圏の構造を決定づける役割を果たすか？

主な発見

• 抽象的超曲面局域環 $R$ に対して、$\underline{\mathrm{CM}}(R)$ の厚い部分圏と $\operatorname{Spec}R$ の特異点集合に含まれる特殊化閉部分集合との間には、サポート写像 $\underline{\mathrm{Supp}}$ を通じて一対一対応が存在する。
• $\underline{\mathrm{CM}}(R)$ の厚い部分圏で単一の対象によって生成されるものと、$\operatorname{Sing}R$ に含まれる $\operatorname{Spec}R$ の閉部分集合との間には、一対一対応が存在する。これは、主張2の同値性によって示された。
• 逆サポート写像 $\mathcal{V}_{\mathrm{CM}}^{-1}$ は、$W \subseteq \operatorname{Sing}R$ である特殊化閉部分集合を、$R_f$ 上で $X_f$ が $R_f$ 上で射影的になるような $\operatorname{mod}R$ のCohen-Macaulay加群 $X$ のなす解体的部分圏に写す。
• 厚い部分圏が $\Omega^d k$（剰余体の $d$ 重シンジーギー）を含む限り、$d$ 次元のGorenstein特異局域環で、穴あきスペクトル上で局所的に超曲面であるものに対しても、この対応は拡張可能である。
• 厚い部分圏 $\mathcal{Y}$ のサポート、$\underline{\mathrm{Supp}}(\mathcal{Y})$ は、$\operatorname{Sing}R$ に含まれる $\operatorname{Spec}R$ の特殊化閉部分集合であり、この対応は全単射である。
• 分類は局域化と整合する：任意の加群 $M$ に対して、集合 $\mathcal{V}(M)$ は $\operatorname{Spec}R$ で閉であり、$\mathcal{V}(\operatorname{res}M) = \mathcal{V}(M)$ が成り立つ。これにより、代数的演算に対して対応が適切に保たれる。