[論文レビュー] THE EVENTUAL STABILITY OF DEPTH, ASSOCIATED PRIMES AND COHOMOLOGY OF A GRADED MODULE

Marc Chardin, Jean-Pierre Jouanolou+1 more|arXiv (Cornell University)|Mar 20, 2012

Commutative Algebra and Its Applications参考文献 13被引用数 27

ひとこと要約

この論文は、特徴標数0の多項式環上での有限生成な次数付き加群の次数付き成分について、深さ、関連素イデアル、局所コホモロジー加群の最終的安定化を確立する。Castelnuovo-Mumford正則性と双対性技法を用いて、次元が2以下のネーター環（特に局所環、あるいはゴレンシュタイン環のエピモルフィズム像）上の加群に対して、コホモロジー次元と深さが reg(M) よりも大きい次数で安定化することを証明し、明示的な境界を提示する。

ABSTRACT

The asymptotic stability of several homological invariants of the graded pieces of a graded module has attracted quite a lot of attention over the last decades. We provide in this text several stability results together with estimates of the degree from which it stabilizes. Before we establish these regularity results, we prove several facts about depth and cohomological dimension with respect to a finitely generated ideal and about Castelnuovo-Mumford regularity of a graded module.

研究の動機と目的

• 多項式環上での有限生成な次数付き加群の次数付き成分の深さおよびコホモロジー次元の最終的安定化を確立すること。
• これらの不変量が安定化し始める次数の明示的境界を、特に Castelnuovo-Mumford 正則性の観点から提供すること。
• 次元 ≤2 における局所コホモロジーのブローマンの「なめらかさ」結果を一般化し、新たな簡略化された証明を与えること。
• 有限性条件（例えばネーター性、有限生成性）がホモロジー的不変量の安定化結果に果たす役割を明確にすること。
• 双対性とスペクトル系列を用いて、関連素イデアルおよびコホモロジーに関する既知の結果を統合・拡張すること。

提案手法

• 次数付き加群 M の Castelnuovo-Mumford 正則性を用いて、深さおよびコホモロジー次元が安定化する次数の上限を定める。
• ハーショグ＝ラヒミのスペクトル系列を通じた双対性理論を適用し、双対モジュール上の Ext モジュールを介して M の局所コホモロジーを関連付ける。
• コシュール複体および Čech 複体を用いて局所コホモロジー加群を定義・計算し、イデアルの根と整合性を保つ。
• 射影的スキーム上の層コホモロジーと局所コホモロジーの同型を用いて、結果を幾何学的に解釈する。
• ゴレンシュタイン環上の多項式環への構造定理および Cohen の構造定理を用いて、次元 ≤2 のゴレンシュタイン環上の多項式環の状況に還元する。
• Ext モジュール間の写像の単射性および消滅条件を用いて、関連素イデアルおよびコホモロジーの安定化を証明する。

実験結果

リサーチクエスチョン

• RQ1 有限生成な次数付き加群の次数付き成分の深さは、ある次数より後には安定化するか？ もし安定化するならば、どの次数からか？
• RQ2 次数付き成分の関連素イデアルの集合は安定化するか？ その安定化を支配する境界は何か？
• RQ3 同次イデアルに関する次数付き成分のコホモロジー次元は安定化するか？ また、その安定化はモジュールの正則性の観点から境界づけられるか？
• RQ4 局所コホモロジー加群 H^i_{S_+}(M)_γ が次数 γ で安定化するのはどのような条件下か？ また、非ゼロとなる範囲は何か？
• RQ5 正則性と双対性を用いて、ブローマンのイデアルのべきに関する関連素イデアルの「なめらかさ」結果を再証明し、一般化できるか？

主な発見

• 定理 4.9 で示されるように、任意の有限生成イデアル I に対して、M_μ のコホモロジー次元はすべての μ > reg(M) で安定化する。
• すべての μ > reg(M) に対して、M_μ に対する I に関する深さは、最終的な値以上であり、その値に達した時点で安定化する。
• M が有限生成である限り、すべての μ > reg(M) に対して M_μ の関連素イデアルの集合は非減少であり、最終的に安定化する。
• 次元が2以下のネーター環（局所環、あるいはゴレンシュタイン環のエピモルフィズム像）に対して、局所コホモロジー加群 H^i_{S_+}(M)_γ は次数 γ で安定化し、すべての成分が同じ閾値未満でゼロまたはすべて非ゼロとなる。
• 次元 ≤2 におけるブローマンの「なめらかさ」結果について、新たな簡略化された証明を提示し、ゴレンシュタイン環のエピモルフィズム像の環へと一般化した。
• 深さおよびコホモロジーの安定化は、Castelnuovo-Mumford 正則性によって支配され、安定化の度数に対する一様な上限を提供する。