[論文レビュー] Consecutive cancellations in Betti numbers of local rings

Maria Evelina Rossi, Leila Sharifan|ArXiv.org|Apr 7, 2009

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

ひとこと要約

この論文は、Peevaの多項式環におけるベッチ数の連続的キャンセルレーションに関する結果を、正則局所環へと拡張する。これには、関連付ける順序付き環を用い、負の連続キャンセルレーションを導入する。局所環 R/I のベッチ数は、lexicographic ideal Lex(I) のものから、ゼロおよび負のキャンセルレーションの系列を経て得られ、局所環論におけるヒルベルト関数および解体の新たな特徴づけを可能にする。

ABSTRACT

Let I be a homogeneous ideal in a polynomial ring P over a field. By Macaulay's Theorem, there exists a lexicographic ideal L=Lex(I) with the same Hilbert function as I. Peeva has proved that the Betti numbers of P/I can be obtained from the graded Betti numbers of P/L by a suitable sequence of consecutive cancellations. We extend this result to any ideal I in a regular local ring (R,m) by passing through the associated graded ring. To this purpose it will be necessary to enlarge the list of the allowed cancellations. Taking advantage of Eliahou-Kervaire's construction, several applications are presented. This connection between the graded perspective and the local one is a new viewpoint and we hope it will be useful for studying the numerical invariants of classes of local rings.

研究の動機と目的

• 多項式環におけるPeevaの連続キャンセルレーションに関する結果を、同次的状況から正則局所環へと拡張すること。
• 局所環の最小自由解体とその関連付ける順序付き環の解体との間の関係を、辞書的イデアルを介して確立すること。
• 同次的状況で用いられるゼロキャンセルレーションを超えて、局所設定においては必須となる負の連続キャンセルレーションを導入すること。
• 特に、余次元2のアートン・ゴレンシュタイン環を含む、局所環における許容可能なヒルベルト関数の新たな特徴づけを提供すること。
• 形式的べき級数環内のイデアルによって、辞書的イデアルの解体におけるゼロおよび負のキャンセルレーションの任意の系列が実現可能であることを示すこと。

提案手法

• 局所環から順序付き設定へ問題を移行するために、関連付ける順序付き環 $ gr_{\mathfrak{m}}(R/I) \cong P/I^* $ を用いる。
• Macaulayの定理を適用して、$ R/I $ と同じヒルベルト関数を持つ辞書的イデアル $ L = \mathrm{Lex}(I) $ を構成する。
• Peevaのゼロキャンセルレーション枠組みを拡張し、ベッチ数における負の連続キャンセルレーションの概念を導入する。
• 安定な辞書的イデアルのためのEliahou-Kervaire構成を活用し、それらの最小自由解体を明示的に記述する。
• $ k[[x,y]] $ 内のイデアルを、$ L $ のヒルベルト＝バーサ行列を変更することによって構成し、$ \alpha_{ij} \in \{0,1\} $ の要素を用いて所望のキャンセルレーションを実現する。
• 結果として得られるイデアル $ I $ が $ \mathrm{Lex}(I) = L $ を満たし、かつその解体が $ L $ の解体からの指定されたキャンセルレーションによって得られることを検証する。

実験結果

リサーチクエスチョン

• RQ1 多項式環設定におけるPeevaのベッチ数の連続キャンセルレーション定理は、正則局所環へと拡張可能か？
• RQ2 局所環 $ R/I $ のベッチ数とその関連付ける順序付き環 $ gr_{\mathfrak{m}}(R/I) $ のベッチ数を結びつけるために、どのようなキャンセルレーションが必要か？
• RQ3 形式的べき級数環内の実際のイデアルによって、辞書的イデアル $ L $ の解体におけるどのキャンセルレーションの系列が実現可能か？
• RQ4 負のキャンセルレーションは、同次的状況と比較して、局所状況における最小自由解体の構造にどのように影響するか？
• RQ5 余次元2のゴレンシュタイン局所環のベッチ数は、その辞書的イデアルのベッチ数にどのような制約を課えるか？

主な発見

• 局所環 $ R/I $ のベッチ数は、$ L = \mathrm{Lex}(I) $ における $ P/L $ の順序付きベッチ数から、ゼロおよび負の連続キャンセルレーションの系列を経て得られる。
• 特に、余次元2のアートン・ゴレンシュタイン局所環に対して、$ \beta_2(R/I) = 1 $ であるならば、$ L $ の解体におけるすべての $ j > 0 $ に対して $ e_j \leq 1 $ が成り立つ。これは、ヒルベルト関数に関する既知の制約の新たな証明を提供する。
• $ k[[x,y]] $ 内の辞書的イデアル $ L $ の最小自由解体における、ゼロおよび負のキャンセルレーションの任意の系列は、$ \mathrm{Lex}(I) = L $ を満たすイデアル $ I $ によって実現可能であり、このような解体の実現可能性を示している。
• 局所環 $ R/I $ の最小自由解体は、$ L $ の解体に対してキャンセルレーションを施すことによって得られ、特に局所状況では負のキャンセルレーションが不可欠であるという鍵となる洞察が得られる。
• 修正されたヒルベルト＝バーサ行列による構成法により、所望のキャンセルレーションパターンを持つイデアルの明示的実現が可能であり、例4.8で示されている。
• 関連付ける順序付き環 $ gr_{\mathfrak{m}}(R/I) $ は $ R/I $ と同じヒルベルト関数を持ち、$ L $ を通じたその解体は、局所解体への橋渡しの役割を果たす。