[論文レビュー] Generators and dimensions of derived categories

Takuma Aihara, Ryo Takahashi|arXiv (Cornell University)|Jun 1, 2011

Algebraic structures and combinatorial models参考文献 1被引用数 14

ひとこと要約

本稿では、完全体を含み、完全体の残渣を持つコンパクトなネーター局所環上の有限生成加群の有界導来圏が有限次元であることを確立する。環論的手法を用いて、Rouquierの完全体上の導来圏次元に関するアフィン定理の新たな代数的証明を提供するとともに、余次元および完全交差局所化を用いて特異性およびコhen＝マカウレイ安定圏の下界を導出する。

ABSTRACT

Several years ago, Bondal, Rouquier and Van den Bergh introduced the notion of the dimension of a triangulated category, and Rouquier proved that the bounded derived category of coherent sheaves on a separated scheme of finite type over a perfect field has finite dimension. In this paper, we study the dimension of the bounded derived category of finitely generated modules over a commutative Noetherian ring. The main result of this paper asserts that it is finite over a complete local ring containing a field with perfect residue field. Our methods also give a ring-theoretic proof of the affine case of Rouquier's theorem.

研究の動機と目的

• 可換ネーター局所環上の有限生成加群の有界導来圏の次元を調査すること。
• 完全体上の導来圏次元に関するRouquierの定理のアフィンケースを、純粋に環論的手法を用いて再証明すること。
• 特異性圏およびコhen＝マカウレイ加群の安定圏の次元に対する有効な下界を確立すること。
• 局所環における導来次元、余次元、および完全交差局所化との関係を調査すること。

提案手法

• Bondal, Rouquier, Van den Bergh が導入した三角圏次元の概念を用いて、導来圏を分析する。
• 特に局所化および素イデアルの鎖を用いた可換環論的手法を適用して、次元の増大を制御する。
• 証明は、正則列によって生成されるイデアルと環のスペクトルの構造に関連する素イデアルの高さを分析することに依存する。
• 完全交差局所化 $\operatorname{CI}(R)$ の概念を用いて問題を局所化し、既知の完全交差環に対する下界を適用する。
• 素イデアルおよびその高さに関する補題を用いて、ある種のイデアルが高さ $d-1$ の素イデアルの交叉に含まれないことを示し、帰納的次元制御を可能にする。
• 局所化、次元論、および特異性圏の性質を組み合わせることで、グローバルな境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 可換ネーター局所環 $R$ が完全体を含み、完全体の残渣を持つ場合、$R$ 上の有限生成加群の有界導来圏 $\mathsf{D}^b(\mathsf{mod}\,R)$ は有限次元か？
• RQ2 Rouquierの定理（完全体上のアフィンスキーム上の導来圏の有限次元性）は、幾何的手段に依存せず、純粋に環論的手法で再証明可能か？
• RQ3 一般の可換ネーター環 $R$ に対して、特異性圏 $\mathsf{D}_{\mathrm{Sg}}(R)$ の次元に対する有効な下界は何か？
• RQ4 完全交差局所化内の局所環の余次元は、特異性圏の次元とどのように関係するか？
• RQ5 コhen＝マカウレイ加群の安定圏の次元と、完全交差局所化の余次元との関係は何か？

主な発見

• $R$ が完全体を含み、完全体の残渣を持つ可換ネーター局所環であるとき、有界導来圏 $\mathsf{D}^b(\mathsf{mod}\,R)$ は有限次元である。
• 本稿は、元来幾何的手段に依存していたRouquierの定理のアフィンケースを、環論的証明で再構築する。
• 任意の有限クルール次元をもつ被約環 $R$ に対して、$\dim \mathsf{D}^b(\mathsf{mod}\,R) \geq \dim R - 1$ が成り立つ。
• 特異性圏の次元は、$\dim \mathsf{D}_{\mathrm{Sg}}(R) \geq \sup\{\operatorname{codim} R_{\mathfrak{p}} \mid \mathfrak{p} \in \operatorname{CI}(R)\} - 1$ を満たす。
• もし $R$ がゴレンシュタインであれば、コhen＝マカウレイ加群の安定圏は、$\dim \underline{\mathsf{CM}}(R) \geq \sup\{\operatorname{codim} R_{\mathfrak{p}} \mid \mathfrak{p} \in \operatorname{CI}(R)\} - 1$ を満たす。
• 特異性圏次元の下界は、完全交差環に対する既知の結果と一致するため、鋭いものであり、Avramov および Iyengar の正規自由ランクアプローチの拡張を含む。