[論文レビュー] Some remarks on the Stanley's depth for multigraded modules

Mircea Cimpoeaş|arXiv (Cornell University)|Aug 19, 2008

Commutative Algebra and Its Applications参考文献 6被引用数 4

ひとこと要約

この論文は、スターリングの予想がスターリング次元 0 の多重係数 $S$-加群に対して成り立つことを証明し、このような加群は深さ 0 を持つ必要があることを示している。さらに、$S=K[x_1,\dots,x_n]$ における最大の無関係イデアル $\mathbf{m}^k$ のべきのスターリング次元に対する上界を提示し、$\operatorname{sdepth}(\mathbf{m}^k) = \left\lceil \frac{n}{k+1} \right\rceil$ を予想し、特定の条件下でこの上界を証明しており、小規模な $n$ に対して計算的証拠も提示している。これらの結果は、多重係数加群および単項イデアルにおけるスターリング次元の理解を拡張する。

ABSTRACT

We show that the Stanley's conjecture holds for any multigraded $S$-module $M$ with $\sdepth(M)=0$, where $S=K[x_1,...,x_n]$. Also, we give some bounds for the Stanley depth of the powers of the maximal irrelevant ideal in $S$.

研究の動機と目的

• スターリング次元 0 を持つ多重係数 $S$-加群に対してスターリングの予想の妥当性を確立すること。
• 多項式環 $S=K[x_1,\dots,x_n]$ における最大の無関係イデアル $\mathbf{m}^k$ のべきのスターリング次元に対する上界を導出すること。
• 最小スターリング次元を持つ加群のスターリング分解の構造を調査し、それらを深さおよび飽和性の性質に関連付けること。
• $\operatorname{sdepth}(\mathbf{m}^k)$ の正確な公式を予想し、理論的および計算的証拠を提供すること。

提案手法

• $x_n$ による乗算を用いた $M$ の再帰的分解により、直和分解 $M \cong \bigoplus_{j=0}^{q-1} x_n^j M / x_n^{j+1} M \oplus x_n^q M / x_n^{q+1} M[x_n]$ を得、スターリング次元に関する帰納的解析を可能にする。
• 包含除法の原理を適用して、$\mathbf{m}^k$ に属する次数 $d$ の単項式の数 $\alpha_d$ を計算し、公式 $\alpha_d = \sum_{i\geq 0}(-1)^i \binom{n}{i} \binom{n+d-i(k+1)-1}{n-1}$ を得る。
• 単項式 $x_1^k \cdots x_n^k$ を割り切る単項式に、整除性によって定義されるposet構造を導入し、スターリング分解をモデル化し、区間内の最小の $\rho(v_i)$ を計算する。
• $[u_i, v_i]$ への分割に対して $\operatorname{sdepth}(M) = \min_i \rho(v_i)$ が成り立ち、区間内の次数 $k$ および $k+1$ の単項式の数を分析することで、境界を導出する。
• 関連する順次代数 $A = \bigoplus_{i\geq 0} \mathbf{m}^i I / \mathbf{m}^{i+1} I$ のヒルベルト関数を用いて、$\operatorname{sdepth}(\mathbf{m}^i I) = 1$ が十分大きな $i$ に対して成り立つことを示し、漸近的成長率に基づく。
• $\operatorname{sdepth}(\mathbf{m}^k) \geq a+1$ を仮定して背理法を用い、$\alpha_k$ および $\alpha_{k+1}$ を含む不等式を導出し、上界 $\left\lceil \frac{n}{k+1} \right\rceil$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 スターリング次元 0 を持つ任意の有限生成 $\mathbb{Z}^n$-係数 $S$-加群 $M$ に対して、スターリングの予想は成り立つか？
• RQ2 $S=K[x_1,\dots,x_n]$ における最大の無関係イデアルの $k$ 乗のスターリング次元 $\operatorname{sdepth}(\mathbf{m}^k)$ の正確な上界は何か？
• RQ3 予想 $\operatorname{sdepth}(\mathbf{m}^k) = \left\lceil \frac{n}{k+1} \right\rceil$ は、小規模な $n$ に対して証明または検証可能か？
• RQ4 固定された単項イデアル $I$ に対して、$k$ が増加するにつれて $\operatorname{sdepth}(\mathbf{m}^k I)$ は最終的に 1 になるか？

主な発見

• スターリング次元 0 を持つ任意の多重係数 $S$-加群 $M$ に対して、定理 1.4 で示されたようにスターリングの予想が成り立つ。
• 任意の torsion-free $\mathbb{Z}^n$-係数 $S$-加群は、主定理の直接的な帰結として $\operatorname{sdepth}(M) \geq 1$ を満たす。
• 定理 2.2 で示されたように、$k \geq \left\lceil \frac{n-a}{a} \right\rceil$ かつ $a = \left\lceil \frac{n}{k+1} \right\rceil$ のとき、$\operatorname{sdepth}(\mathbf{m}^k)$ の上界として $\left\lceil \frac{n}{k+1} \right\rceil$ が成立する。
• $k \geq n-1$ のとき、$\operatorname{sdepth}(\mathbf{m}^k) = 1$ が証明され、この範囲で予想が確認された。
• Rinaldo (2007) の実装を用いた計算的証拠により、$\operatorname{sdepth}(\mathbf{m}^k) = \left\lceil \frac{n}{k+1} \right\rceil$ の予想は小規模な $n$ に対して支持されている。
• 任意の単項イデアル $I$ に対して、十分大きな $k$ に対して $\operatorname{sdepth}(\mathbf{m}^k I) = 1$ が、漸近的ヒルベルト関数解析を用いた命題 2.3 で示された。