[論文レビュー] How to compute the Stanley depth of a monomial ideal

Jürgen Herzog, Marius Vlădoiu+1 more|ArXiv.org|Dec 14, 2007

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

ひとこと要約

この論文は、多項式環における単項イデアルの商 $I/J$ の Stanley 深さが、$I \setminus J$ に含まれる単項式から導かれる有限の半順序集合の分割を分析することによって、有限時間で計算可能であることを確立している。主な貢献は、特徴的半順序集合の区間分割を用いた構成的技法であり、これは Stanley 深さと、素イデアルフィルトレーションによって定義される関連する不変量 $\operatorname{fdepth}$ の両方の計算を可能にする。

ABSTRACT

Let $J\subset I$ be monomial ideals. We show that the Stanley depth of $I/J$ can be computed in a finite number of steps. We also introduce the $\fdepth$ of a monomial ideal which is defined in terms of prime filtrations and show that it can also be computed in a finite number of steps. In both cases it is shown that these invariants can be determined by considering partitions of suitable finite posets into intervals.

研究の動機と目的

• 単項イデアル $J \subset I$ に対する商 $I/J$ の Stanley 深さを有限時間で計算するアルゴリズムを確立すること。
• 素イデアルフィルトレーションを用いて定義され、計算可能な新しい不変量 $\operatorname{fdepth}$ を定義すること。
• Stanley 深さと $\operatorname{fdepth}$ が、$I/J$ に関連する有限半順序集合の区間分割を分析することによって決定できることを示すこと。
• Stanley 深さと $\operatorname{fdepth}$ の両方の計算を、半順序集合上の組合せ的問題に還元する構成的枠組みを提供すること。

提案手法

• 適切な $g \in \mathbb{Z}^n$ に対して、$x^a \in I \setminus J$ となる整数ベクトル $a \leq g$ の集合として特徴的半順序集合 $P^{g}_{I/J}$ を定義する。
• 任意の $P^{g}_{I/J}$ の区間への分割が、$I/J$ の Stanley 分解を誘導することを示す。
• 任意の $I/J$ の Stanley 分解に対して、その深さが少なくともそれ以上であるような、このような分割から誘導される分解が存在することを証明する。
• $\operatorname{fdepth}$ を、$I/J$ のすべての素イデアルフィルトレーションにおける、関連する素イデアルの次元の最小値の最大値として定義する。
• $\operatorname{fdepth}(I/J)$ が、部分和が半順序イデアルを形成するような $P^{g}_{I/J}$ の分割に制限して計算可能であることを確立する。
• 補題 2.8 を用いて、最適な $\operatorname{fdepth}$ および Stanley 深さ値をもたらす関連する分割を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 単項イデアルの商 $I/J$ の Stanley 深さは、有限時間でアルゴリズム的に計算可能か？
• RQ2 有限半順序集合の区間分割の観点から、Stanley 深さに組合せ的特徴付けは可能か？
• RQ3 素イデアルフィルトレーションによって定義される $\operatorname{fdepth}$ 不変量も、有限時間で計算可能か？
• RQ4 Stanley 深さと $\operatorname{fdepth}$ の関係は何か？また、これらはモジュールの深さとどのように関係するか？
• RQ5 $n$ 変数の極大イデアル $\mathfrak{m}$ に対して $\operatorname{sdepth} \mathfrak{m} = \lceil n/2 \rceil$ であるという予想は一般に成り立つか？

主な発見

• $I/J$ の Stanley 深さは、特徴的半順序集合 $P^{g}_{I/J}$ のすべての区間分割を調べることによって計算可能であり、その中で最大の Stanley 深さが真の Stanley 深さに一致する。
• 任意の $I/J$ の Stanley 分解に対して、その深さが少なくともそれ以上であるような、半順序集合の分割から誘導される分解が存在することから、この方法によって最適値が確実に捉えられる。
• $\operatorname{fdepth}(I/J)$ は、部分和が半順序イデアルを形成するような $P^{g}_{I/J}$ の区間分割に制限して分析することによって、有限時間で計算可能である。
• $S = K[x_1,\dots,x_n]$ の次数付き極大イデアル $\mathfrak{m}$ に対して、$n \leq 9$ の場合に $\operatorname{sdepth} \mathfrak{m} = \lceil n/2 \rceil$ であることを示しており、一般の場合の予想を支持する。
• 任意の単項完全交差イデアル $I$ が $n$ 変数で3つの生成元によって最小生成される場合、$\operatorname{sdepth}I = n-1$ であることを証明している。
• 著者らは、Soleyman Jahan の Stanley 分解における次数の上限に関する予想が、半順序集合の分割における区間の最小指数が $\operatorname{reg}(I/J)$ によって有界であることを示す新しい予想を含意することを示している。