[論文レビュー] Stanley depth of monomial ideals in three variables

Mircea Cimpoeaş|ArXiv.org|Jul 14, 2008

Commutative Algebra and Its Applications参考文献 10被引用数 11

ひとこと要約

この論文は、3変数の単項式イデアルについて、$S/I$ のスターリング次元が0であることは、$S/I$ の深さが0であることと同値であることを確立し、この場合にスターリングの予想が成り立つことを証明する。$S/I$ のスターリング次元を計算するためのアルゴリズムを提示し、3変数の単項式イデアルで最小生成系が3つの単項式からなるものは、すべてスターリング次元2を持つことを示している。

ABSTRACT

We show that $\depth(S/I)=0$ if and only if $\sdepth(S/I)=0$, where $I\subset S=K[x_1,...,x_n]$ is a monomial ideal. We give an algorithm to compute the Stanley depth of $S/I$, where $I\subset S=K[x_1,x_2,x_3]$ is a monomial ideal. Also, we prove that a monomial ideal $I\subset K[x_1,x_2,x_3]$ minimally generated by three monomials has $\sdepth(I)=2$.

研究の動機と目的

• 3変数の単項式イデアルについて、$S/I$ のスターリング次元が0である条件を、$S/I$ の深さの観点から特徴づけること。
• $K[x_1,x_2,x_3]$ 内の単項式イデアル $I$ に対して、$S/I$ のスターリング次元を計算する有限アルゴリズムを開発すること。
• 3変数の単項式イデアルで、最小生成系が正確に3つの単項式からなるものについて、スターリング次元が2であることを証明すること。
• 低次元多項式環における、最小生成子の数、イデアルの台集合、およびスターリング次元の関係を調査すること。
• 3変数環におけるイデアルの飽和および準素分解の下でのスターリング次元の挙動を調査すること。

提案手法

• 生成元の最大公約数 $v = \gcd(G(I))$ を用いて $I = vI'$ と分解することで、$I$ が $v$-正則である場合に帰着する。
• 補題1.2を適用して $S/I$ を $vI'^c$ と $(v)^c$ の直和に分解し、スターリング次元計算を再帰的に簡略化する。
• 3変数の単項式イデアルの構造を活用した再帰的アルゴリズムを用い、$I$ が単項式でない場合に $\operatorname{sdepth}(S/I) = \operatorname{sdepth}(S/I')$ が成り立つことを利用する。
• 特に2重および3重の重なりに注目し、単項式成分の台集合と交差性の性質を分析することでスターリング分解を検討する。
• $S_j = K[x_1,x_2,x_3]\setminus\{x_j\}$ における飽和イデアルと準素分解の概念を用い、飽和仮定のもとで、ある $j$ に対して $I_j^{sat} = I_j$ が成り立つことを証明する。
• 最小生成系の構造とそれらのLCMを分析することで、下からのスターリング次元の下界を求める、明示的なスターリング分解を構成する。

実験結果

リサーチクエスチョン

• RQ1 3変数の単項式イデアル $I$ に対して、$S/I$ のスターリング次元が0であるのはいつか？
• RQ2 $K[x_1,x_2,x_3]$ 内の単項式イデアルに対して、$S/I$ のスターリング次元をアルゴリズム的に計算できるか？
• RQ3 3変数の単項式イデアルで、最小生成系が正確に3つの単項式からなるものについて、スターリング次元は何か？
• RQ4 3変数の単項式イデアルの飽和が、そのスターリング次元が少なくとも2以上であることを示す条件は何か？
• RQ5 3変数の単項式イデアルについて、$\operatorname{sdepth}(I) = 1$ ならば $\operatorname{depth}(I) = 1$ であると結論づけられるか？

主な発見

• 任意の単項式イデアル $I \subset K[x_1,x_2,x_3]$ に対して、$\operatorname{depth}(S/I) = 0$ であることと $\operatorname{sdepth}(S/I) = 0$ であることは同値であり、この場合にスターリングの予想が成立することが確認された。
• 任意の単項式イデアル $I \subset K[x_1,x_2,x_3]$ に対して、生成元の最大公約数を用いた再帰的簡略化に基づく、$\operatorname{sdepth}(S/I)$ を計算するアルゴリズムが提示された。
• $K[x_1,x_2,x_3]$ 内で正確に3つの単項式からなる最小生成系を持つ任意の単項式イデアルは、$\operatorname{sdepth}(I) = 2$ を満たす。
• $I \subset K[x_1,x_2,x_3]$ が飽和単項式イデアルであるならば、$\operatorname{sdepth}(I) \geq 2$ であり、等号が成立する場合もある。
• 3変数の最大イデアル $(x_1,x_2,x_3)^k$ の $k$ 乗 ($k \geq 2$) のスターリング次元は1である。
• 飽和イデアルの結果の逆は高次元では成り立たない：4変数で $\operatorname{sdepth}(I) = 2$ である非飽和イデアルが存在する。