[論文レビュー] Cohomological Degrees, Dilworth Numbers and Linear Resolution

Tor Gunston|arXiv (Cornell University)|Aug 22, 2010

Commutative Algebra and Its ApplicationsMathematics参考文献 38被引用数 20

ひとこと要約

本稿では、ネーター局域環における加群の複雑さを測る一般化された不変量として、コhomological次数とホモロジカルDilworth数を導入し、Cohen-Macaulayでない場合への加群の生成数に関する古典的結果の拡張を図る。線形解体をもつ加群に対しては、生成数が極値コhomological次数に等しくなることを示し、古典的評価の一般化と、コhomological次数とCastelnuovo-Mumford正則性との関連を確立する。

ABSTRACT

This thesis is a study of various ways of measuring the size and complexity of finitely generated modules over a Noetherian local ring. The classical example is the multiplicity or degree. Here we investigate several variants of the degree function: the homological Dilworth number, hdil, and the family of cohomological degrees, such as the homological degree hdeg, and the extremal cohomological degree, bdeg. Sally, Valla and others have established bounds for the number of generators of ideals (or modules) in terms of multiplicities and other numerical data, usually under the assumption that the ideal is Cohen-Macaulay. We use cohomological degrees and the homological Dilworth number in place of the classical degree to extend some of these results from the Cohen-Macaulay case to the non-Cohen-Macaulay case. We give particular attention to the following result: If M is Cohen-Macaulay, then the minimal number of generators is bounded by the multiplicity of M, with equality if and only if the associated graded ring has a linear resolution. We give extensions of this theorem to the non-Cohen-Macaulay case. Our results are strongest for the extremal cohomological degree, bdeg, and this provides an avenue for connecting cohomological degrees with Castelnuovo-Mumford regularity.

研究の動機と目的

• Cohen-Macaulayでない加群に対する生成数に関する古典的評価を、Cohen-Macaulayの場合から一般化すること。
• 多重度を一般化する不変量として、極値コhomological次数およびホモロジカル次数を含むコhomological次数を定義し、それらを研究すること。
• ホモロジカルDilworth数を、古典的Dilworth数の高次元版として定義し、加群の複雑さの不変量として導入すること。
• コhomological次数およびホモロジカルDilworth数を用いて、加群が線形解体をもつための条件を確立すること。
• 極値コhomological次数を通じて、コhomological次数とCastelnuovo-Mumford正則性を関連付けること。

提案手法

• コhomological次数を、3つの公理を満たす関数として定義する：Cohen-Macaulay加群上で多重度と一致すること、一般の超平面切断において厳密に減少すること、零番目の局所コホモロジーにおいて加法的であること。
• 古典的Dilworth数の高次元一般化として、ホモロジカルDilworth数を、部分加群上の最小生成集合の上限を用いて定義する。
• 線形解体および生成数に関する古典的結果を拡張する主な道具として、極値コhomological次数 bdeg(−) を用いる。
• 短完全列 0 → M → M → M/xM → 0 から得られる長完全列を用い、線形解体の文脈における各次元成分およびBetti数を分析する。
• 線形形式の行列による表示をもつ関連付き順次加群 grₘ(M) の構造を活用し、生成数の上限を導出する。
• 特に mΓₘ(M) = 0 の条件を巧みに利用した帰納法および加群分解技術を用いて、線形解体がDilworth性質をもつことを証明する。

実験結果

リサーチクエスチョン

• RQ1 ネーター局域環上の有限生成加群が線形解体をもつための条件は何か。これは古典的Cohen-Macaulay結果の拡張である。
• RQ2 Cohen-Macaulay加群に対する古典的評価 ν(M) ≤ deg(M) を、コhomological次数を用いてCohen-Macaulayでない加群へどのように拡張できるか。
• RQ3 ホモロジカルDilworth数は、線形解体をもつ加群を特徴付けるために果たす役割は何か。
• RQ4 極値コhomological次数は、Castelnuovo-Mumford正則性および関連付き順次加群の構造とどのように関連するか。
• RQ5 mΓₘ(M) = 0 という条件が、Dilworth性質と組み合わせることで、加群が線形解体をもつための必要十分条件として機能するか。

主な発見

• 次元 dim M ≤ 2 である加群 M に対して、mΓₘ(M) = 0 かつDilworth性質は、線形解体の存在と同値である。
• 線形解体をもつ加群 M に対して、生成数 ν(M) は ν(M) = hdeg(M) を満たし、ここで hdeg(M) はホモロジカル次数である。この等式は、grₘ(M) が線形解体をもつときに限り成立する。
• 極値コhomological次数 bdeg(M) は、bdeg(M) ∈ {e, e+1, ..., 2e} を満たし、e = deg(M) の範囲内のすべての値が実現可能である。
• M ≅ grₘ(M) であり、dim M ≤ 2 かつ M が線形Buchsbaum であるような順次加群 M に対して、長さ ℓ(M_{d−1}) は e/(d−1) で有界である。ここで e = deg(M) である。
• ホモロジカルDilworth数 hdil(M) は、hdil(M) = e + dil(M₁) を満たし、ここで e = deg(M) かつ M₁ は M の最初の順次成分である。この等式は、線形解体をもつ加群に対して ν(M) = hdil(M) を証明するために用いられる。
• すべての有限生成加群に対して ν(M) ≤ bdeg(M) が成り立ち、等号が成立するのは grₘ(M) が線形解体をもつときであり、かつそのときに限る。これは古典的Cohen-Macaulayの場合の拡張である。