[論文レビュー] Values and bounds of the Stanley depth

Muhammad Ishaq|arXiv (Cornell University)|Oct 22, 2010

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

ひとこと要約

この論文は、多項式環内の単項イデアルのスターリング次元に関する新たな上界および下界を確立し、イデアルのスターリング次元がその関連素イデアルのスターリング次元の最小値によって上から有界であることを証明する。関連素イデアルが変数の互いに素な集合によって生成される場合、非平方自由イデアルに対してもスターリング予想が成り立つことを確認し、組合せ的分解技法とイデアルの剰余を用いた再帰的還元を用いてタイトな境界を提供する。

ABSTRACT

We give different bounds for the Stanley depth of a monomial ideal $I$ of a polynomial algebra $S$ over a field $K$. For example we show that the Stanley depth of $I$ is less or equal with the Stanley depth of any prime ideal associated to $S/I$. Also we show that the Stanley conjecture holds for $I$ and $S/I$ when the associated prime ideals of $S/I$ are generated by disjoint sets of variables.

研究の動機と目的

• 単項イデアルのスターリング次元に関するタイトな上界および下界を確立すること。
• 関連素イデアルが変数の互いに素な集合によって生成される場合に、スターリング予想が成り立つ条件を調査すること。
• スターリング次元に関する既知の結果を非平方自由単項イデアルへと拡張すること。
• 剰余イデアルと再帰的分解技法を用いて計算可能な境界を提供すること。

提案手法

• 単項式 $ w \notin I $ に対して $ \operatorname{sdepth}(I) \leq \operatorname{sdepth}(I:w) $ が成り立つという剰余イデアル技法を用い、$ S/I $ の関連素イデアルに適用する。
• 既知の素イデアルのスターリング次元に関する結果（例えば $ \operatorname{sdepth}(P) = n - \lfloor \operatorname{ht}(P)/2 \rfloor $）を用いて $ \operatorname{sdepth}(I) $ を有界化する。
• 適切な単項式 $ v $ に対する $ I:v $ を用いた再帰的還元により、次元が低い部分環への問題の還元を行う。
• 分解 $ \operatorname{sdepth}(I) \leq \operatorname{sdepth}(I' \cap K[x_1,\dots,x_r]) + (n - r) $ を用いて、高次元における次元を有界化する。
• [7] および [6] からの組合せ的境界を応用し、二項係数および床関数を含む多イデアルの共通部分の表現を導出する。
• 生成元が互いに素である4つ以上の素イデアルの共通部分へと結果を一般化し、複雑ではあるがタイトな上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 単項イデアル $ I $ 及びその商 $ S/I $ に対して、スターリング予想が成り立つ条件は何か？
• RQ2 スターリング次元 $ \operatorname{sdepth}(I) $ は、その関連素イデアルのスターリング次元の関数としてどのように有界化できるか？
• RQ3 生成元が重複する場合の3つ以上の素イデアルの共通部分として生成される $ I $ に対して、$ \operatorname{sdepth}(I) $ の有効な上界は何か？
• RQ4 関連素イデアルが互いに素な変数によって生成されない場合、$ \operatorname{sdepth}(I) $ のタイトな境界を導出できるか？
• RQ5 $ I $ が $ m $ 個の単項式によって生成され、ある関連素イデアル $ P $ に対して $ \operatorname{ht}(P) = m $ であるとき、$ \operatorname{sdepth}(I) $ の振る舞いはいかなるか？

主な発見

• 単項イデアル $ I $ のスターリング次元は、その関連素イデアルのスターリング次元の最小値によって上から有界である：$ \operatorname{sdepth}(I) \leq \min_{1 \leq i \leq s} \operatorname{sdepth}(P_i) $。
• $ I $ が $ m $ 個の極小生成元を持ち、ある関連素イデアル $ P $ に対して $ \operatorname{ht}(P) = m $ である場合、$ \operatorname{sdepth}_S(I) = n - \lfloor m/2 \rfloor $ が成り立つ。
• 関連素イデアルの極小生成元が互いに素である場合、$ I $ および $ S/I $ に対してスターリング予想が成り立つ。非平方自由イデアルに対しても同様に成り立つ。
• 生成元が互いに素な3つの関連素イデアル $ P_1, P_2, P_3 $ に対して、論文はタイトな上界 $ \operatorname{sdepth}(I) \leq d $ を提供する。ここで $ d $ は $ n, t, r, s, q $ および床関数を含む複雑な式である。
• 4つの互いに素な素イデアルの場合は、二項係数を含む上界が導出される：$ \operatorname{sdepth}(I) \leq 3 + d + \frac{1}{d_1 d_2 d_3} \left[ \binom{n-d}{4} - \sum \binom{d_i}{4} - \sum \binom{d_i}{3}(n - d_i) - \sum \binom{d_i}{2}\binom{d_j}{2} \right] $。
• 例 3.12 において、境界は $ \operatorname{sdepth}(I) \in [10, 11] $ を与え、[7, 定理 2.2] を用いて $ \operatorname{sdepth}(I) = 11 $ であると結論づけられる。