[論文レビュー] Thick subcategories of modules over commutative rings

Henning Krause|ArXiv.org|Mar 6, 2007

Rings, Modules, and Algebras参考文献 8被引用数 3

ひとこと要約

この論文は、可換ノエター環上の加群の厚い部分カテゴリを、サポート理論的および関連素数基準を用いて分類する。部分集合 Φ ⊆ Spec A が一貫的（すなわち、厚い部分カテゴリをサポートする）であるための必要十分条件として、3つの同値条件が示される：複体とそのコホモロジーのサポートの一致、拡張および直和に関する閉性、および関連素数が Φ に含まれるインジェクティブ解体に関する閉性。主な結果は、クルール次元 ≤1 である場合の、厚い部分カテゴリの完全な分類であり、これにより一貫的部分集合による特徴付けがなされる。

ABSTRACT

For a commutative noetherian ring A, we compare the support of a complex of A-modules with the support of its cohomology. This leads to a classification of all full subcategories of A-modules which are thick (that is, closed under taking kernels, cokernels, and extensions) and closed under taking direct sums.

研究の動機と目的

• 可換ノエター環 A 上の加群の圏のすべての厚い部分カテゴリを分類すること。
• A-加群の複体のサポートとそのコホモロジーのサポートとの関係を明確にすること。
• サポートまたは関連素数を用いて厚い部分カテゴリを定義する部分集合 Φ ⊆ Spec A の特徴付けを提供すること。
• ホーヴェイとガブリエルの先行研究を是正・拡張すること。
• インジェクティブ解体および関連素数を用いた、部分集合の「一貫性」の幾何学的・ホモロジー的基準を確立すること。

提案手法

• 複体 X のサポートを Supp X = {p ∈ Spec A | X ⊗ᴸ k(p) ≠ 0} と定義し、Supp H* X = ∪i Supp HiX と比較する。
• 3つの同値条件を満たす「一貫的」部分集合 Φ ⊆ Spec A の概念を導入する：複体とコホモロジーのサポートの一致、サポートが Φ に含まれる加群の集合が厚い操作に関して閉じていること、および関連素数が Φ に含まれるインジェクティブ解体に関して閉じていること。
• インジェクティブ加群と関連素数の構造を用いる：任意の不定加群は素数 p に対応し、Ass E(M) = Ass M が成り立つ。
• 素数回避定理を用い、クルール次元に関する帰納法により、所望の深さを持つ加群を構成する。
• 完成化および整閉包の技法を用いて、完全局域整域の場合に還元し、セールのコーエン・マカウル再結合基準を適用する。
• 最小インジェクティブ解体を用いた反例を構成し、クルール次元 ≥2 のときの非一貫性を示す。

実験結果

リサーチクエスチョン

• RQ1 A-加群の複体のサポートが、そのコホモロジーのサポートと一致するのはいつか？
• RQ2 どの部分集合 Φ ⊆ Spec A が、Supp X ⊆ Φ ⇔ Supp H*X ⊆ Φ を満たすときに、Mod A の厚い部分カテゴリを生成するか？
• RQ3 厚い部分カテゴリとインジェクティブ加群の関連素数との関係は何か？
• RQ4 A のクルール次元が部分集合 Φ ⊆ Spec A の一貫性に与える影響は何か？
• RQ5 任意の Mod A の厚い部分カテゴリは、ある一貫的部分集合 Φ におけるサポートをもつ加群の完全部分圏として実現可能か？

主な発見

• 部分集合 Φ ⊆ Spec A が一貫的であるための必要十分条件は、Supp M ⊆ Φ を満たす A-加群の完全部分圏が厚くかつ直和に関して閉じていることである。
• 定理 1.1 の3条件は同値である：複体とコホモロジーのサポートの一致、部分カテゴリが厚い操作に関して閉じていること、および関連素数が Φ に含まれるインジェクティブ解体に関して閉じていること。
• 可換ノエター環 A に対して、Spec A のすべての部分集合が一貫的であるための必要十分条件は、そのクルール次元が1以下であることである。
• dim A ≥ 2 のとき、一貫的でない部分集合 Φ ⊆ Spec A が存在し、これは深さが 2 以上の加群 M と素数 p を用いて構成される。
• このような非一貫的部分集合の存在は、最小インジェクティブ解体を用いて証明される：Ass(Id−2) ∪ Ass(Id−1) = Φ であるが p ∈ Ass(Id) ∉ Φ ならば、Φ はインジェクティブ閉性条件を満たさない。
• 任意の可換ノエター環 A に対して dim A ≥ 2 ならば、ある加群 M と素数 p が存在し、0ptApMp = max{2, dim A − 1} が成り立つ。これにより、サポートの一致が成立しないことが示される。