[論文レビュー] Graded Betti numbers of ideals with linear quotients

Leila Sharifan, Matteo Varbaro|arXiv (Cornell University)|Jan 20, 2009

Commutative Algebra and Its Applications参考文献 3被引用数 11

ひとこと要約

本稿では、生成子の次数順序に関係なく、すべての斉次的イデアルが線形商を持つ場合、それが成分ごとの線形性を満たすことを証明している。また、安定な単項式イデアルのgraded Betti数に関するEliahou-Kervaireの公式を、線形商を持つ任意の斉次的イデアルへ一般化し、生成子の次数と各colon理想における線形生成子の数を用いて、Betti数、正則性、射影次元の明示的公式を提示している。

ABSTRACT

In the present paper we prove that all homogeneous ideals with linear quotients are componentwise linear. Moreover we establish an extended version of Eliahou-Kervaire formula for graded Betti numbers.

研究の動機と目的

• 生成子の次数順序がなくても、線形商を持つすべての斉次的イデアルが成分ごとの線形性を満たすことを証明すること。
• 安定な単項式イデアルのgraded Betti数に関するEliahou-Kervaireの公式を、任意の線形商を持つ斉次的イデアルへ一般化すること。
• このようなイデアルのgraded Betti数、Castelnuovo-Mumford正則性、射影次元の明示的公式を提供すること。
• 生成子の数に関する帰納法を用い、線形生成子を持つcolon理想を介してBetti数を計算する新しい手法を確立すること。

提案手法

• イデアルの生成子の数に関する帰納法を用い、1つずつ生成子を追加することでイデアルを段階的に構成する。
• Tor函手の長完全列を適用し、$I_p = \nolangle f_1, \ldots, f_p \nolangle$ のBetti数を $I_{p-1}$ と商加群 $S/(J:f_p)(-d)$ のBetti数に関連付ける。
• $(J:f_p)$ が線形形式によって生成されることを活用し、商加群の分解をKoszul複体を用いてモデル化する。
• graded Betti数を、$n_p$ を $\langle f_1, \ldots, f_{p-1}\rangle : f_p$ の最小生成子数とする二項係数 $\binom{n_p}{i}$ の和として表現する。
• 加群の次数シフトを表す記号 $M(a)$ を用いて、分解とTor計算における次数シフトを追跡する。
• 成分ごとの線形性が、線形生成子を持つ斉次的元によるイデアルの拡張においても保たれることを応用する。

実験結果

リサーチクエスチョン

• RQ1 生成子の次数順序がなくても、線形商を持つすべての斉次的イデアルが成分ごとの線形性を満たすか？
• RQ2 安定なイデアルのBetti数に関するEliahou-Kervaireの公式を、線形商を持つすべての斉次的イデアルへ一般化できるか？
• RQ3 線形商を持つ斉次的イデアルのgraded Betti数の明示的公式は、その生成子とcolon理想の構造を用いてどのように表せるか？
• RQ4 このようなイデアルの射影次元とCastelnuovo-Mumford正則性は、生成子の次数とcolon理想における線形生成子の数にどのように依存するか？
• RQ5 線形商を持つイデアルの最小自由分解は、$\langle f_1, \ldots, f_{p-1}\rangle : f_p$ の構造に基づいて再帰的に決定されるか？

主な発見

• 生成子の次数順序に関係なく、線形商を持つすべての斉次的イデアルが成分ごとの線形性を満たす。これはHerzogの問いに肯定的に応える。
• このようなイデアルのgraded Betti数は、$\beta_{i,i+j}(I) = \sum_{\deg(f_p)=j} \binom{n_p}{i}$ で与えられ、ここで $n_p$ は $\langle f_1, \ldots, f_{p-1}\rangle : f_p$ の最小生成子数である。
• イデアル $I$ のCastelnuovo-Mumford正則性は $\operatorname{reg}(I) = \max\{\deg(f_p) \mid p=1,\ldots,m\}$ である。
• イデアル $I$ の射影次元は $\operatorname{projdim}(I) = \max\{n_p \mid 1 \leq p \leq m\}$ であり、ここで $n_p$ は段階 $p$ におけるcolon理想の線形生成子の数である。
• 全Betti数は $\beta_i(I) = \sum_{p=1}^m \binom{n_p}{i}$ を満たし、分解とcolon理想の組合せ論的構造との直接的な関係を示している。
• この公式はEliahou-Kervaireの公式を一般化している：安定なイデアルでは $n_p = m(u_p) - 1$ であるから、$\binom{n_p}{i} = \binom{m(u_p)-1}{i}$ となり、元の結果が回復される。