[論文レビュー] The generating hypothesis in the derived category of R-modules

Keir Lockridge|ArXiv.org|Nov 21, 2005

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

ひとこと要約

この論文は、R-加群の導来圏において生成仮説が成り立つのは、R がヴォン・ノイマン正則環であるとき、かつそのときに限り成り立つことを確立している。本論文は、Freydの予想を安定ホモトピー理論を超えた三角圏へ一般化し、生成子の自己準同型環がヴォン・ノイマン正則であるとき、かつそのときに限り仮説が成り立つことを示しており、可換環およびネーター的安定ホモトピー圏について完全な特徴付けを提供している。

ABSTRACT

In this paper, we prove a version of Freyd's generating hypothesis for triangulated categories: if D is a cocomplete triangulated category and S is an object in D whose endomorphism ring is graded commutative and concentrated in degree zero, then S generates (in the sense of Freyd) the thick subcategory determined by S if and only if the endomorphism ring of S is von Neumann regular. As a corollary, we obtain that the generating hypothesis is true in the derived category of a commutative ring R if and only if R is von Neumann regular. We also investigate alternative formulations of the generating hypothesis in the derived category. Finally, we give a characterization of the Noetherian stable homotopy categories in which the generating hypothesis is true.

研究の動機と目的

• 安定ホモトピー理論を超えた三角圏へのFreydの生成仮説の拡張。
• R-加群の導来圏において生成仮説が成り立つための必要十分条件の特定。
• ある加群によって生成される厚い部分圏が、生成子の有限ワイヤンプのスパンのリトラクトの圏と同値である条件の特徴付け。
• ヴォン・ノイマン正則性とネーター構造が生成仮説の妥当性に果たす役割の調査。

提案手法

• 生成子 S に対して関手 π* = Hom*(S, –) を用いて、三角圏における生成仮説を形式化する。
• 次数的可換性と次数 0 での集中を仮定したもとで、生成仮説が成り立つのは、自己準同型環 R = π₀(S) がヴォン・ノイマン正則であることと同値であることを証明する。
• コボル型列と分裂性の解析にホモロジー代数的手法を適用する。
• π*S のネーター性を用いて、生成仮説の実現可能性を制限し、それが厚い部分圏が S の有限ワイヤンプのスパンのリトラクトのみからなることを示す。
• 非可換環論の結果、特にヴォン・ノイマン正則環の定義および性質を活用する。
• Artin-Wedderburnの定理と正則性基準を用いて、ネーター的場合における生成仮説と半単純性との関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 生成子 S の自己準同型環が次数的可換かつ次数 0 に集中している三角圏において、生成仮説が成り立つ条件は何か？
• RQ2 S によって生成される厚い部分圏が、S の有限ワイヤンプのスパンのリトラクトの圏と同値であるのはいつか？
• RQ3 生成仮説と生成子の自己準同型環のヴォン・ノイマン正則性との関係は何か？
• RQ4 ホモトピー環 π*S のネーター性は、生成仮説の妥当性をどのように制限するか？
• RQ5 可換環 R に対して、導来圏 D(R) において生成仮説が成り立つのはどのようなときか？

主な発見

• R-加群の導来圏において、生成仮説が成り立つのは、R がヴォン・ノイマン正則環であることと同値である。
• 自己準同型環 R = π₀(S) がヴォン・ノイマン正則かつ次数的可換であれば、S はその有限ワイヤンプのスパンのリトラクトによってその厚い部分圏を生成する。
• 可換環 R の導来圏において、生成仮説は R がヴォン・ノイマン正則であることと同値に成り立つ。
• ネーター環では、生成仮説が成り立つのは、R が半単純であることと同値であり、可換環では R が有限個の体の積に等しいときである。
• ネーター的安定ホモトピー圏では、生成仮説が成り立つと、S によって生成される厚い部分圏は、S の有限ワイヤンプのスパンのリトラクトのみからなる。
• 射影直線 P¹ 上の準似層の導来圏において、生成仮説は成り立たないことが示され、仮説が普遍的に成り立つわけではないことが明らかになった。