[論文レビュー] Sequentially Cohen-Macaulay modules and local cohomology

Juergen Herzog, Enrico Sbarra|ArXiv.org|Jan 10, 2001

Commutative Algebra and Its Applications参考文献 10被引用数 32

ひとこと要約

本稿は、特徴標数0および逆辞書式順序の下で、$ R/I $ の局所コホモロジー加群とその一般初期イデアル $ \operatorname{Gin}(I) $ が同じヒルベルト関数を持つための必要十分条件として、$ R/I $ が逐次的 Cohen-Macaulayであることであることを確立している。主な結果は、対称的代数的シフトを用いて、スケアフリー設定へと拡張され、ヒルベルト関数とアレクサンダー双対の成分ごとの線形性の間の関係が示される。

ABSTRACT

The main result of the paper states that for a graded ideal I in a polynomial ring R over a field of characteristic 0, the Hilbert functions of the local cohomology modules of R/I and of R/Gin(I) coincide if and only if R/I is sequentially Cohen-Macaulay.

研究の動機と目的

• $ R/I $ と $ R/\operatorname{Gin}(I) $ の局所コホモロジー加群が同じヒルベルト関数を持つための条件を特定すること。
• 拡張群と双対性を用いて、逐次的 Cohen-Macaulay 加群を特徴付けること。
• 対称的代数的シフトとアレクサンダー双対を用いて、結果をスケアフリー設定へ拡張すること。
• アレクサンダー双対の成分ごとの線形性とヒルベルト関数の等価性との関係を確立すること。

提案手法

• カナニカル加群との Ext 群による逐次的 Cohen-Macaulay 加群の Peskine の特徴付けを用いる。
• 局所双対性および逆辞書式順序における一般初期イデアルの性質を適用する。
• 変数の個数に関する帰納法を用い、正則元による剰余類への帰着を行う。
• $ \Delta^s $、つまり $ \Delta $ のシフトされた単体的複体を定義するために、対称的代数的シフトを用いる。
• ヒルベルト関数とベッチ数との関係を表す式 $ \dim_K H^i_\mathfrak{m}(K[\Delta])_{-j} = \sum_h \binom{n}{h} \binom{h+j-1}{j} \beta_{i-h+1,n-h}(K[\Delta^*]) $ を用いる。
• ヒルベルト関数の等価性からベッチ数の等価性を導くために、行列 $ A $ の逆行列性（要素が $ \binom{h+j-1}{j} $）に依拠する。

実験結果

リサーチクエスチョン

• RQ1 $ R/I $ と $ R/\operatorname{Gin}(I) $ の局所コホモロジー加群が同じヒルベルト関数を持つのはいつか？
• RQ2 拡張群と双対性を用いて、加群が逐次的 Cohen-Macaulay であるとされる条件は何か？
• RQ3 対称的代数的シフトは、$ K[\Delta] $ と $ K[\Delta^s] $ のヒルベルト関数をどのように関連付けるか？
• RQ4 アレクサンダー双対における成分ごとの線形性が、ヒルベルト関数の等価性において果たす役割は何か？

主な発見

• $ R/I $ と $ R/\operatorname{Gin}(I) $ の局所コホモロジー加群が同じヒルベルト関数を持つための必要十分条件は、$ R/I $ が逐次的 Cohen-Macaulay であることである。
• 特徴標数0の下で、一般初期イデアル $ \operatorname{Gin}(I) $ は逐次的 Cohen-Macaulay である。
• スケアフリーの場合、$ K[\Delta] $ と $ K[\Delta^s] $ が同じ局所コホモロジーのヒルベルト関数を持つための必要十分条件は、$ K[\Delta] $ が逐次的 Cohen-Macaulay であることである。
• ヒルベルト関数は、逆行列を持つ線形系を通じて、アレクサンダー双対の次数付きベッチ数を決定する。
• $ I_{\Delta^*} $ の成分ごとの線形性は、$ K[\Delta] $ が逐次的 Cohen-Macaulay であることと同値である。
• 要素が $ \binom{h+j-1}{j} $ である行列 $ A $ は逆行列をもち、これによりヒルベルト関数がベッチ数を一意に決定することが保証される。