[論文レビュー] The lex-plus-power inequality for local cohomology modules

Giulio Caviglia, Enrico Sbarra|arXiv (Cornell University)|Aug 10, 2012

Commutative Algebra and Its Applications参考文献 26被引用数 7

ひとこと要約

本稿は、体上における標準的次数付き代数の局所コホロジー加群のヒルベルト系列に対して、Lex-Plus-Power 不等式を確立する。任意の正則列を含む斉次的イデアルの局所コホロジー加群のヒルベルト系列は、それに対応する Lex-Plus-Power イデアルのものによって上から押さえられる。主な結果は、エヴァンズの Lex-Plus-Power 猜測を局所コホロジーに拡張したものであり、アイゼンバーグ＝グリーン＝ハリスの予想の既知のケースにおいて、射影次元およびカステルヌオーヴォ・ムンフォード正則性が Lex-Plus-Power イデアルに移行する際に減少しないことを示唆する。

ABSTRACT

We prove an inequality between Hilbert functions of local cohomology modules supported in the homogeneous maximal ideal of standard graded algebras over a field, within the framework of embeddings of posets of Hilbert functions. As a main application, we prove an analogue for local cohomology of Evans' Lex-Plus-Power Conjecture for Betti numbers. This results implies some cases of the classical Lex-Plus-Power Conjecture, namely an inequality between extremal Betti numbers. In particular, for the classes of ideals for which the Eisenbud-Green-Harris Conjecture is currently known, the projective dimension and the Castelnuovo-Mumford regularity of a graded ideal do not decrease by passing to the corresponding Lex-Plus-Power ideal.

研究の動機と目的

• 標準的次数付き代数の斉次最大イデアルに台を持つ局所コホロジー加群のヒルベルト関数の間の不等式を確立すること。
• 元々ベッチ数に対して定式化されたエヴァンズの Lex-Plus-Power 猜測を、局所コホロジー加群の文脈へ拡張すること。
• アイゼンバーグ＝グリーン＝ハリスの予想の既知のケースにおいて、次数付きイデアルの射影次元およびカステルヌオーヴォ・ムンフォード正則性が Lex-Plus-Power イデアルに移行する際に減少しないことを示すこと。
• ヒルベルト関数の局所コホロジー加群の埋め込みを順序集合構造を用いてフレームワーク化すること。
• 局所コホロジーおよび部分的カステルヌオーヴォ・ムンフォード正則性を通じて、極値ベッチ数の特徴づけとその挙動を明らかにすること。

提案手法

• 著者たちは、与えられたイデアルの局所コホロジー加群とその Lex-Plus-Power 対応物との比較に、ヒルベルト関数の順序集合への埋め込みの枠組みを用いる。
• 彼らは定理 4.4 を適用し、係数ごとの不等式を確立する：$\operatorname{Hilb}(H^i_{\mathfrak{m}}(A/I)) \leq \operatorname{Hilb}(H^i_{\mathfrak{m}}(A/(L + (X_1^{d_1}, \ldots, X_r^{d_r}))))$ が、正則列の像がアイゼンバーグ＝グリーン＝ハリスの予想を満たすと仮定した下で成り立つ。
• 証明は、局所コホロジーによる極値ベッチ数の特徴づけに依拠し、$(i,j-i)$ が $M$ のコーナーであるとき、恒等式 $\beta^{A}_{ij}(M) = \operatorname{Hilb}(H^{n-i}_{\mathfrak{m}_A}(M))_{j-n}$ を用いる。
• 彼らは、$\operatorname{reg}_h(M)$ を $\sup\{j-i : \beta_{ij}^A(M) \neq 0, i \geq n-h\}$ として定義する部分的カステルヌオーヴォ・ムンフォード正則性を用い、ベッチテーブルのコーナーと局所コホロジーの台を関連付ける。
• 著者たちは、一般化初期イデアルが極値ベッチ数を保存することを活用し、$R/I$ と $S/\epsilon_{\rm{CL}}(I)$ を比較する。
• 主な技術的道具は、$\operatorname{reg}_h(R/I)$ と $\operatorname{reg}_h(S/\epsilon_{\rm{CL}}(I))$ の比較であり、EGH仮定の下で前者が後者によって上から押さえられることを示す。

実験結果

リサーチクエスチョン

• RQ1 ベッチ数の代わりに、局所コホロジー加群のヒルベルト系列に対して、Lex-Plus-Power 不等式が成り立つか？
• RQ2 局所コホロジーを通じて、次数付きイデアルの極値ベッチ数がその Lex-Plus-Power 対応物のものによって上から押さえられるか？
• RQ3 次数付きイデアルが Lex-Plus-Power イデアルに移行する際に、射影次元またはカステルヌオーヴォ・ムンフォード正則性が減少しない条件は何か？
• RQ4 部分的カステルヌオーヴォ・ムンフォード正則性は、局所コホロジー加群の台およびベッチテーブルのコーナーとどのように関係するか？
• RQ5 ヒルベルト系列の局所コホロジー加群は、極値ベッチ数の特徴づけおよびベッチ図における位置をどの程度まで特定できるか？

主な発見

• 正則列の像がアイゼンバーグ＝グリーン＝ハリスの予想を満たす限り、$H^i_{\mathfrak{m}}(A/I)$ のヒルベルト系列は、$H^i_{\mathfrak{m}}(A/(L + (X_1^{d_1}, \ldots, X_r^{d_r})))$ のものによって上から押さえられる。
• $R/I$ の極値ベッチ数は、$S/\epsilon_{\rm{CL}}(I)$ のものによって上から押さえられる。すなわち、$(i,j-i)$ が $S/\epsilon_{\rm{CL}}(I)$ のコーナーであるとき、$\beta^{A}_{ij}(R/I) \leq \beta^{A}_{ij}(S/\epsilon_{\rm{CL}}(I))$ が成り立つ。
• $R/I$ の任意のコーナー $(i,j-i)$ に対して、$S/\epsilon_{\rm{CL}}(I)$ のコーナー $(i',j'-i')$ が存在し、$i \leq i'$ かつ $j-i \leq j'-i'$ を満たす。これはベッチ領域の包含関係を示している。
• すべての $h$ に対して、部分的カステルヌオーヴォ・ムンフォード正則性は $\operatorname{reg}_h(R/I) \leq \operatorname{reg}_h(S/\epsilon_{\rm{CL}}(I))$ を満たす。これはベッチ数およびコーナーに関する不等式を示唆する。
• アイゼンバーグ＝グリーン＝ハリスの予想が成り立つすべてのケースにおいて、$R/I$ の射影次元およびカステルヌオーヴォ・ムンフォード正則性は、Lex-Plus-Power イデアル $S/\epsilon_{\rm{CL}}(I)$ に移行する際に減少しない。
• 結果として、古典的 Lex-Plus-Power 猜測が、アイゼンバーグ＝グリーン＝ハリスの予想が成立することが知られているクラスのイデアルにおいて、極値ベッチ数についても成り立つことが確認された。