[論文レビュー] Depth of factors of square free monomial ideals

Dorin Popescu|arXiv (Cornell University)|Oct 10, 2011

Commutative Algebra and Its Applications被引用数 5

ひとこと要約

本稿では、KoszulホモロジーとStanley深度の議論を用いて、平方自由単項式イデアルの商の深さが与えられた次数 $ d $ に等しくなる十分条件を確立する。もし $ I $ と $ J $ の両方において次数 $ (d+1) $ の単項式の個数の差を上回る次数 $ d $ の生成元の個数を有するならば、$ \operatorname{depth}_S I/J = d $ が成り立ち、この場合にStanleyの予想が裏付けられる。

ABSTRACT

Let $I$ be an ideal of a polynomial algebra over a field, generated by $r$ square free monomials of degree $d$. If $r$ is bigger (or equal, if $I$ is not principal) than the number of square free monomials of $I$ of degree $d+1$, then $\depth_SI= d$. Let $J\subsetneq I$, $J ot =0$ be generated by square free monomials of degree $\geq d+1$. If $r$ is bigger than the number of square free monomials of $I\setminus J$ of degree $d+1$, or more generally the Stanley depth of $I/J$ is $d$, then $\depth_SI/J= d$. In particular, Stanley's Conjecture holds in theses cases.

研究の動機と目的

• 平方自由単項式イデアルの商 $ I/J $ の深さが指定された次数 $ d $ に等しくなるための十分条件を特定すること。
• 特にStanley深度が $ d $ の場合に、Stanley深度と通常の深さとの間に関係を確立すること。
• 単項式の個数に関する組合せ的条件のもとで、$ \operatorname{depth}_S I/J = d $ を示すことにより、Stanleyの予想を特定のケースで検証すること。
• Stanleyの予想を深さの計算を通じて検証する手法を提供すること。これはStanley深度の計算よりもアルゴリズム的に容易である。

提案手法

• Koszulホモロジーを用いて $ I/J $ の深さを分析し、ホモロジー代数の道具を駆使して深さの上限を導出する。
• $ J \subset I \subset S $ を含む完全系列、特に $ 0 \to J \to I \to I/J \to 0 $ において、Depth Lemma を適用してイデアルの深さを関連付ける。
• P. Hallの結婚定理を次数 $ d $ と次数 $ (d+1) $ の単項式の間の二部グラフに適用し、Stanley深度 $ d $ を特徴付ける。
• 組合せ的基準を導入する：$ \rho_d(I') > \rho_{d+1}(I') - \rho_{d+1}(I' \cap J) $ で、ここで $ \rho_d(I') $ は $ I' $ に含まれる次数 $ d $ の単項式の個数を表す。この基準により、Stanley深度 $ d $ を検出する。
• Lemma 1.5 を用いて問題を部分イデアル $ I' \subset I $ に還元し、$ I'/J' $ における深さの結果を $ I/J $ に拡張する。
• 帰納法と変数の削除（例：$ x_n $）を用い、深さの計算を次元が低い環に還元する。Depth Lemma を再帰的に適用する。

実験結果

リサーチクエスチョン

• RQ1 平方自由単項式イデアル $ I \supsetneq J $ に対して、$ \operatorname{depth}_S I/J = d $ が成り立つ条件は何か？
• RQ2 Stanleyの予想は、$ \operatorname{sdepth}_S I/J = d $ のとき、$ \operatorname{depth}_S I/J = d $ を示すことで特定のケースで検証可能か？
• RQ3 $ \rho_d(I) > \rho_{d+1}(I) - \rho_{d+1}(J) $ が $ \operatorname{depth}_S I/J = d $ を保証する十分条件であるか。また、この条件はタイトか？
• RQ4 $ I/J $ のStanley深度を用いてその通常の深さを推論できるか。この推論が成り立つ条件は何か？

主な発見

• $ \rho_d(I) > \rho_{d+1}(I) - \rho_{d+1}(J) $ ならば、$ \operatorname{depth}_S I/J = d $ が成り立ち、深さの等式を保証する十分条件が得られる。
• $ \operatorname{sdepth}_S I/J = d $ のとき、$ \rho_d(I') > \rho_{d+1}(I') - \rho_{d+1}(I' \cap J) $ を満たす部分イデアル $ I' \subset I $ が存在し、これにより $ \operatorname{depth}_S I/J = d $ が導かれる。
• Theorem 4.3 を用いて、$ \operatorname{sdepth}_S I/J = d $ のとき、Stanleyの予想が $ I/J $ に対して成立することが示された。
• $ \mu(I) \geq \binom{n}{d+1} $ ならば $ \operatorname{depth}_S I = d $ が成り立つ。これは [9, Corollary 3] の結果を拡張する。
• Corollary 3.4 の条件はタイトであることが、反例により示された。$ \mu(L) < \binom{5}{4} $ であるが $ \operatorname{depth}_{S'} L = 4 $ である例が存在し、この境界を緩和できないことが示された。
• KoszulホモロジーとDepth Lemma を用いた証明技法は、有効的かつ一般化可能であり、条件が必要ではない場合にも適用可能である。