[論文レビュー] The Signature of the Chern Coefficients of Local Rings

Laura Ghezzi, Jooyoun Hong+1 more|ArXiv.org|Jul 17, 2008

Commutative Algebra and Its Applications参考文献 2被引用数 4

ひとこと要約

この論文は、局惑環 $R$ 内のパラメータイデアル $J$ のチャーン係数 $e_1(J)$ の符号と $R$ のコhen＝マカウレイ性の関係を調査する。$R$ がゴレンシュタイン環の満値写像または体を含む普遍的にセタネイ環である整域である場合、$e_1(J) < 0$ が成り立つための必要十分条件は $R$ がコhen＝マカウレイでないことに等しくなることが示され、ヒルベルト係数のシグネチャを用いた非コhen＝マカウレイ性の検出に重要な基準を提供する。

ABSTRACT

This paper considers the following conjecture: If $R$ is an unmixed, equidimensional local ring that is a homomorphic image of a Cohen-Macaulay local ring, then for any ideal $J$ generated by a system of parameters, the Chern coefficient $e_1(J)&lt; 0$ is equivalent to $R$ being non Cohen-Macaulay. The conjecture is established if $R$ is a homomorphic image of a Gorenstein ring, and for all universally catenary integral domains containing fields. Criteria for the detection of Cohen-Macaulayness in equi-generated graded modules are derived.

研究の動機と目的

• 局惑環におけるパラメータイデアル $J$ のチャーン係数 $e_1(J)$ の符号が、コhen＝マカウレイ性を検出する指標として機能するかを特定すること。
• $e_1(J) < 0$ が $R$ が非コhen＝マカウレイであることと同値となる条件を確立すること。
• ヒルベルト係数の理論を、特に多項式環上の階数付きねじれなしモジュールに拡張すること。
• $e_1$ を用いた、等生成な階数付きモジュールにおけるコhen＝マカウレイ性の検出基準を提供すること。

提案手法

• ヒルベルト関数およびその係数を分析するために、フィルトレーションのリース代数および関連付いた順次環を用いる。
• ノースコット、ゴトウ、ニシダ、ハッカバ＝マルレーの $e_1(I)$ および $e_1(J)$ に関する不等式に関する結果を適用する。
• バランスの取れたビッグコhen＝マカウレイモジュールおよびべき級数環による基底変換を用いて、問題を既知の事例に還元する。
• 基底変換におけるサポート条件に関する定理 4.1 を適用し、普遍的にセタネイな整域において主結果を証明する。
• モジュールを最大コhen＝マカウレイモジュールに埋め込むことにより、$e_1(J,M)$ と $M$ のコhen＝マカウレイ性の関係を関係づける。
• 多項式環上の階数付きモジュールを分析する際、$e_1(M)$ と $e_1(\text{gr}_\mathbf{x}(M))$ を関係づけ、$M[a]$ のシフトを用いて次数を正規化する。

実験結果

リサーチクエスチョン

• RQ1 パラメータイデアル $J$ に対して、$e_1(J) < 0$ が $R$ が非コhen＝マカウレイであることと同値となる条件は何か？
• RQ2 非分岐な等次元局惑環において、$e_1(J)$ の符号がコhen＝マカウレイ性を完全に特徴づける不変量として機能するか？
• RQ3 特に階数付き設定において、$e_1$ の振る舞いとモジュールのコhen＝マカウレイ性の関係は何か？
• RQ4 バランスの取れたビッグコhen＝マカウレイモジュールは、$e_1(J)$ の符号を制御するために果たす役割は何か？
• RQ5 $e_1(M)$ が唯一の情報として与えられた場合、階数付きモジュール $M$ が自由またはコhen＝マカウレイであるかどうかをどれほど正確に決定できるか？

主な発見

• $R$ がゴレンシュタイン環の満値写像であるとき、$e_1(J) < 0$ が $R$ が非コhen＝マカウレイであることと同値であるという予想は成立する。
• 同様の予想は、体を含む普遍的にセタネイな整域に対して、基底変換およびサポート理論を用いて証明される。
• 多項式環 $R = k[x_1,\dots,x_d]$ 上の階数付きねじれなしモジュール $M$ に対して、$M$ が自由であるための必要十分条件は $e_1(M) = 0$ である。
• もし $M$ が次数 $a \geq 0$ で生成されているならば、$e_1(M) \leq a e_0(M)$ が成り立ち、等号が成り立つための必要十分条件は $M$ が自由であることである。
• 差 $e_1(\text{gr}_\mathbf{x}(M)) - e_1(M)$ は正確に $a e_0(M)$ に等しく、階数付きおよび非階数付きのヒルベルト係数を結びつける。
• モジュール $M$ が最大コhen＝マカウレイモジュールに埋め込まれるとき、$e_1(J,M)$ に対して $e_1(J,M) \geq 0$ が成り立つための必要十分条件は $M$ がコhen＝マカウレイであることである。