[论文解读] Stanley depth of monomial ideals in three variables

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

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

一句话总结

该论文证明了在三个变量的单项式理想中，$S/I$ 的 Stanley 深度为零当且仅当 $S/I$ 的深度为零，从而在该情况下证实了 Stanley 的猜想。论文提供了一种计算 $S/I$ 的 Stanley 深度的算法，并表明任何在三个变量中由三个单项式极小生成的单项式理想，其 Stanley 深度为 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$.

研究动机与目标

• 建立在三个变量情况下，$S/I$ 的 Stanley 深度为零的条件与 $S/I$ 的深度之间的关系 characterization。
• 为 $K[x_1,x_2,x_3]$ 中的单项式理想 $I$ 提供一种有限的算法，用于计算 $S/I$ 的 Stanley 深度。
• 证明任何在三个变量中由恰好三个单项式极小生成的单项式理想，其 Stanley 深度为 2。
• 研究低维多项式环中，极小生成元个数、理想的支持与 Stanley 深度之间的关系。
• 探讨在三变量环中，Stanley 深度在饱和与初等分解下的行为。

提出的方法

• 通过 $I = vI'$ 的分解，其中 $v = \gcd(G(I))$，将问题约化为 $I$ 是 $v$-初等理想的情形。
• 应用引理 1.2，将 $S/I$ 分解为 $vI'^c$ 与 $(v)^c$ 的直和，从而实现 Stanley 深度计算的递归约化。
• 基于三变量中单项式理想的结构，采用递归算法，利用当 $I$ 非主理想时 $\operatorname{sdepth}(S/I) = \operatorname{sdepth}(S/I')$ 的事实。
• 通过分析单项式分量的支持与交集性质，特别是两两与三重重叠，研究 Stanley 分解。
• 利用饱和理想与 $S_j = K[x_1,x_2,x_3]\setminus\{x_j\}$ 中的初等分解概念，证明在饱和假设下，存在某个 $j$ 使得 $I_j^{sat} = I_j$。
• 通过分析极小生成元及其 LCM 的结构，构造显式的 Stanley 分解，从而从下方界定 Stanley 深度。

实验结果

研究问题

• RQ1 对于三变量中的单项式理想 $I$，$S/I$ 的 Stanley 深度何时为零？
• RQ2 能否为 $K[x_1,x_2,x_3]$ 中的单项式理想算法化地计算 $S/I$ 的 Stanley 深度？
• RQ3 在三个变量中由恰好三个单项式极小生成的单项式理想，其 Stanley 深度是多少？
• RQ4 在什么条件下，三变量中单项式理想的饱和性可推出其 Stanley 深度至少为 2？
• RQ5 在三变量中，$\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$，从而在该情况下证实了 Stanley 的猜想。
• 论文提供了一种算法，用于计算任意 $I \subset K[x_1,x_2,x_3]$ 的 $\operatorname{sdepth}(S/I)$，其基于生成元最大公因数的递归约化。
• 任何在 $K[x_1,x_2,x_3]$ 中由恰好三个单项式极小生成的单项式理想，均满足 $\operatorname{sdepth}(I) = 2$。
• 若 $I \subset K[x_1,x_2,x_3]$ 是一个饱和的单项式理想，则 $\operatorname{sdepth}(I) \geq 2$，且等号可能成立。
• 在三变量中，极大理想 $(x_1,x_2,x_3)^k$ 的 $k$ 次幂的 Stanley 深度为 1（当 $k \geq 2$ 时）。
• 饱和理想结果的逆命题在高维中不成立：存在四变量中的非饱和理想，其 $\operatorname{sdepth}(I) = 2$。