[論文レビュー] Betti numbers of monomial ideals and shifted skew shapes

Uwe Nagel, Victor Reiner|ArXiv.org|Dec 15, 2007

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

ひとこと要約

この論文は、シフトされたスケイ形状と辞書式順序付けという組合せ的構造を用いて、単項イデアルのベッチ数の新たな下界を確立する。2つの予想を解決する：1つは、コレスセグメントイデアルを用いた正則単項イデアルの全ベッチ数に関する予想であり、もう1つは、フェルラーズ図を用いた二部グラフの辺イデアルの多変量ベッチ数に関する予想であり、両者とも係数体に依存しない明示的公式を提供する。

ABSTRACT

We present two new problems on lower bounds for resolution Betti numbers of monomial ideals generated in a fixed degree. The first concerns any such ideal and bounds the total Betti numbers, while the second concerns ideals that are quadratic and bihomogeneous with respect to two variable sets, but gives a more finely graded lower bound. These problems are solved for certain classes of ideals that generalize (in two different directions) the edge ideals of threshold graphs and Ferrers graphs. In the process, we produce particularly simple cellular linear resolutions for strongly stable and squarefree strongly stable ideals generated in a fixed degree, and combinatorial interpretations for the Betti numbers of other classes of ideals, all of which are independent of the coefficient field.

研究の動機と目的

• 固定された次数で生成される任意の単項イデアルの全ベッチ数に対する下界を、辞書式順序付けを用いて確立すること。
• 2次で双同次的な単項イデアル（二部グラフから生じる）に対する多変量ベッチ数の下界予想を提示し、解決すること。
• 細胞的分解を用いて、強く安定および正則単項イデアルのベッチ数の組合せ的解釈を提供すること。
• これらのベッチ数の下界が係数体に依存せず、代数的不変量ではなく組合せ的構造に依存することを示すこと。

提案手法

• d-部分集合に対する辞書式順序付けを用いて、コレスセグメントイデアルを定義し、ベッチ数の下界における極端なケースとする。
• 強く安定および正則単項イデアルの細胞的線形分解を構成し、組合せ的にベッチ数を計算する。
• 一般の単項イデアルをベッチ数に変更を加えずに正則ケースに還元するための極化技術の適用。
• 二部グラフの辺イデアルにおいて、y-変数の次数を無視し、x-変数のみの多変量ベッチ数を用いる。
• ホルン・シリーズの恒等式を用いて、Torモジュールの消失と非零除因子性の同値性を証明する。
• 分解の双対複体同士のホモトピー同値性を確立し、細胞的構造および最小性を証明する。

実験結果

リサーチクエスチョン

• RQ1 次数dで生成される単項イデアルが、全ベッチ数に関してコレス下界を満たすのはいつか？
• RQ2 二部グラフの辺イデアルIの、任意の部分集合X′⊆Xに対して、多変量ベッチ数βi,X′,•(I)は、関連するフェルラーズ図イデアルJのそれ以上であるか？
• RQ3 強く安定および正則単項イデアルのベッチ数は、係数体に依存しない明示的細胞的分解により計算可能か？
• RQ4 次数dで生成され、g個の生成元をもつコレスセグメントイデアルのベッチ数の正確な組合せ的公式は何か？
• RQ5 スケーリンググラフおよびフェルラーズ図の辺イデアルのベッチ数は、一般の単項イデアルのそれとどのように関係するか？

主な発見

• 次数dで生成される任意の単項イデアルIの全ベッチ数βi(I)は、同じ生成元数をもつコレスセグメントイデアルJに対してβi(J)で下から抑えられ、この下界は二項係数を用いて明示的に与えられる。
• 頂点集合X∪Yをもつ二部グラフの辺イデアルIに対して、多変量ベッチ数βi,X′,•(I)は、GにおけるX′の次数と一致するフェルラーズ図イデアルJに対してβi,X′,•(J)以上を満たす。
• βi,X′,•(I)の下界は、閉形式で与えられる：|X′| < i+2 ならば βi,X′,•(J) = binom(mindeg(X′), i−|X′|+2)，さもなければ 0。
• コレスセグメントイデアルのベッチ数は、βi(J) = ∑j=dμ (j−1 choose i,d−1,j−d−i) + ε(μ+1−d choose i) として計算され、ここで g = (μ choose d) + ε である。
• 強く安定および正則単項イデアルの細胞的分解が明示的に構成され、それらのベッチ数が係数体に依存せず、組合せ的データのみに依存することが示された。
• 本論文は、ホルン・シリーズおよびTorの消失基準を用いて、非零除因子を特殊化しても単項イデアルの最小自由分解が最小のままであることを証明した。