[論文レビュー] Depth and minimal number of generators of square free monomial ideals

Dorin Popescu|arXiv (Cornell University)|Jul 13, 2011

Commutative Algebra and Its Applications参考文献 8被引用数 5

ひとこと要約

本稿は、多項式環 $S = K[x_1, \dots, x_n]$ 内の平方自由単項式イデアル $I$ の深さが高々 $d$ であるための十分条件を、$I$ が含む次数 $d$ の平方自由単項式の数に基づいて確立する。$I$ が次数 $\geq d$ で生成されており、次数 $d$ の単項式を $\frac{n-d}{n-d+1}\binom{n}{d}$ より多く含むならば、$\operatorname{depth}_S I \leq d$ が成り立ち、与えられた条件下で等号が成立する。これはこの領域におけるスターリングの予想を支持する。

ABSTRACT

Let $I$ be an ideal of a polynomial algebra $S$ over a field generated by square free monomials of degree $\geq d$. If $I$ contains more monomials of degree $d$ than $(n-d)/(n-d+1)$ of the total number of square free monomials of $S$ of degree $d+1$ then $\depth_SI\leq d$, in particular the Stanley's Conjecture holds in this case.

研究の動機と目的

• 次数 $d$ の平方自由単項式の数に関する十分条件を特定し、イデアルの深さを評価すること。
• 次数 $d$ の生成元の数がある閾値を超える場合、イデアルの深さが高々 $d$ であることを証明し、この場合におけるスターリングの予想を支持すること。
• イデアル商と局所化技術を用いた単純な帰納的証明により深さの上限を示すこと。
• 特定の構成（例えば、変数の積を用いて定義される $I_n$ イデアル）において、深さの上限が達成可能であることを示すこと。

提案手法

• 変数の数 $n$ に関する帰納法を用い、$I \cap (x_i)$ の構造を分析することで、次数 $d$ の単項式の数と低次元の環におけるそれらの数を関連付ける。
• $I$ に対するイデアル商 $(I:x_i)$ を用い、問題をより小さい多項式環 $S' = K[x_2, \dots, x_n]$ に還元し、帰納法の仮定を適用する。
• 各 $A_i$（$x_i$ で割り切れる次数 $d$ の単項式の集合）に対して包含除算法を用い、単項式が多すぎると矛盾が生じることを示す。
• $S/L_n$、$S/I_n$ およびそれらの商を含む完全列を用い、深さの計算に深さ補題（Depth Lemma）を適用する。
• 平方自由単項式のposetの区間への分割を用いてスターリング深さを定義し、具体例で計算する。
• 深さとスターリング深さを具体例で比較し、スターリングの予想が成り立つ場合でも、深さ $\leq$ スターリング深さが厳密に成り立つ場合があることを示す。

実験結果

リサーチクエスチョン

• RQ1 単項式イデアル $I$ が次数 $d$ の平方自由単項式をどれほど多く含むと、$\operatorname{depth}_S I \leq d$ が保証されるか。
• RQ2 $\rho_d(I) > \frac{n-d}{n-d+1}\binom{n}{d}$ という条件が、$I$ に対してスターリングの予想が成り立つことを示唆するか。
• RQ3 固定された次数の最小生成元の数のみを用いて、平方自由単項式イデアルの深さを評価できるか。
• RQ4 深さの上限 $\operatorname{depth}_S I \leq d$ は鋭く、$\binom{n}{d+1}$ よりも生成元の数が少ない場合でも達成可能か。
• RQ5 深さが $d$ で抑えられる場合、スターリング深さは実際の深さとどのように比較されるか。

主な発見

• $I$ が次数 $\geq d$ で生成され、次数 $d$ の単項式を $\frac{n-d}{n-d+1}\binom{n}{d}$ 個より多く含むならば、$\operatorname{depth}_S I \leq d$ が成り立ち、与えられた条件下で等号が成立する。
• この上限は鋭い：$n=3$ の場合、$I = (x_1x_2, x_2x_3)$ は $\mu(I) = 2 > \frac{1}{2}\binom{3}{2} = 1.5$ を満たし、$\operatorname{depth}_S I = 2$ である。
• $n=5$ の場合、$I = (x_1x_2, x_1x_3, \dots, x_4x_5)$ は $\mu(I) = 8 > \frac{3}{4}\binom{5}{2} = 7.5$ を満たし、$\operatorname{depth}_S I = 2$ である。これは上限を確認する。
• $w = \prod x_i$ として $f_i = w/(x_i x_{i+1})$ で定義される $I_n = (f_1, \dots, f_n)$ の構成では、$\mu(I_n) = n = \binom{n}{n-1}$ であり、$\operatorname{depth}_S I_n = n-2$ である。これは上限がタイトであることを示している。
• 例5では、$\operatorname{depth}_S I = 2$ であるが $\operatorname{sdepth}_S I = 3$ であるため、スターリング深さが深さを上回ることを示しており、スターリングの予想が成り立つ場合でも、深さよりもスターリング深さが大きい場合がある。