[論文レビュー] Stanley depth of complete intersection monomial ideals

Mircea Cimpoeaş|arXiv (Cornell University)|May 15, 2008

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

ひとこと要約

本稿では単項式非可約イデアルのスターリング次元を計算し、単項式完全交差イデアルに対してはスターリング次元がその根基のものと等しいことを証明する。この不変量の上限・下限を確立し、スターリングの予想を支持する。すなわち、このようなイデアルに対しては sdepth(I) ≥ depth(I) が成り立ち、正確な公式 sdepth(I) = ⌈m/2⌉ + n − m が予想されている。

ABSTRACT

We compute the Stanley depth of irreducible monomial ideals and we show that the Stanley depth of a monomial complete intersection ideal is the same as the Stanley depth of it's radical. Also, we give some bounds for the Stanley depth of a monomial complete intersection ideal.

研究の動機と目的

• 単項式非可約イデアルのスターリング次元を計算し、それが単項式素イデアルのものと等しいことを示す。
• 単項式完全交差イデアルのスターリング次元がその根基のものと等しいことを証明する。
• 単項式完全交差イデアルのスターリング次元の上限および下限を確立する。
• 完全交差イデアルに対して sdepth(I) ≥ depth(I) を検証することで、スターリングの予想を支持する。
• 完全交差イデアルが n 変数において m 個の生成元を持つ場合に、sdepth(I) = ⌈m/2⌉ + n − m であるという正確な公式を予想する。

提案手法

• 生成元を上限する多重次数 g に対する集合 P_I^g の分割とスターリング次元を関連付ける Herzog–Vladoiu–Zheng の定理を用いる。
• 分割内の多重次数を変更することで、最小ランク ρ(d_i) を保つスターリング分解の再帰的構成を適用する。
• 変数の数に関する帰納法を用い、1つの生成元から変数を削除することで、次元を低くしたイデアルに問題を還元する。
• 平方自由スターリング分解を用い、一般性を失わずスターリング次元を平方自由分解により計算できることを活用する。
• 新しい変数をイデアルに追加するとスターリング次元が 1 増加することを応用し、sdepth(IS[x_{n+1}]) と sdepth(I) を関連付ける。
• 特に平方自由設定において、組合せ的分割技法を用いて分解を精緻化し、スターリング次元を維持または向上させる。

実験結果

リサーチクエスチョン

• RQ1 単項式非可約イデアルのスターリング次元は何か？ また、単項式素イデアルのものとどのように関係するか？
• RQ2 単項式完全交差イデアルのスターリング次元は、その根基のものと等しいか？
• RQ3 単項式完全交差イデアルのスターリング次元に対してタイトな境界を確立できるか？
• RQ4 スターリングの予想は単項式完全交差イデアルに対しても成り立つのか、すなわち sdepth(I) ≥ depth(I) が成り立つか？
• RQ5 n 変数において m 個の生成を持つすべての単項式完全交差イデアルに対して、公式 sdepth(I) = ⌈m/2⌉ + n − m が成立するか？

主な発見

• 単項式非可約イデアルのスターリング次元は、その関連素イデアルのものと等しく、n − 1 に等しい。
• 任意の単項式完全交差イデアル I に対して sdepth(I) = sdepth(rad(I)) が成り立ち、スターリング次元は平方自由部分によって決定される。
• 単項式完全交差イデアルのスターリング次元は sdepth(I) ≥ depth(I) = n − m + 1 を満たす。
• 上限が確立され、sdepth(I) ≤ ⌈m/2⌉ + n − m が成り立ち、一般には等号が成り立つと予想されている。
• Herzog, Vladoiu, および Zheng の先行研究により、n ≤ 3 の場合に公式 sdepth(I) = ⌈m/2⌉ + n − m が成立することが示されている。
• 本稿では平方自由スターリング分解を構成的に構築する方法を提供し、一般性を失わず sdepth(I) をこのような分解により計算できることを示している。