[论文解读] 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。

提出的方法

• 利用 Herzog–Vladoiu–Zheng 定理，将斯坦利深度与集合 P_I^g 的划分联系起来，其中 g 是生成元的多度上界。
• 通过修改划分中的多度，采用递归构造斯坦利分解的方法，同时保持最小秩 ρ(d_i) 不变。
• 对变量个数进行归纳，通过从一个生成元中移除一个变量，将问题约化为低维理想。
• 使用平方自由斯坦利分解，利用 sdepth 可通过平方自由分解计算而不失一般性的事实。
• 应用一个结果：通过添加一个新变量扩展理想会使斯坦利深度增加 1，从而将 sdepth(IS[x_{n+1}]) 与 sdepth(I) 联系起来。
• 通过组合划分技术优化分解，以保持或提高斯坦利深度，尤其在平方自由设定下。

实验结果

研究问题

• RQ1 单项不可约理想的斯坦利深度是多少，它与单项素理想的斯坦利深度有何关系？
• RQ2 单项完备交理想的斯坦利深度是否等于其根的理想深度？
• RQ3 能否为单项完备交理想的斯坦利深度建立紧致的上下界？
• RQ4 斯坦利猜想是否对单项完备交理想成立，即 sdepth(I) ≥ depth(I) 是否成立？
• RQ5 公式 sdepth(I) = ⌈m/2⌉ + n − m 是否对所有在 n 个变量中具有 m 个生成元的单项完备交理想都成立？

主要发现

• 单项不可约理想的斯坦利深度等于其关联素理想的斯坦利深度，且等于 n − 1。
• 对于任意单项完备交理想 I，有 sdepth(I) = sdepth(rad(I))，这意味着斯坦利深度由其平方自由部分决定。
• 单项完备交理想的斯坦利深度满足 sdepth(I) ≥ depth(I) = n − m + 1。
• 建立了上界：sdepth(I) ≤ ⌈m/2⌉ + n − m，且猜想该不等式在一般情况下取等。
• 猜想公式 sdepth(I) = ⌈m/2⌉ + n − m 在 n ≤ 3 时成立，如 Herzog、Vladoiu 和 Zheng 的前期工作所示。
• 本文提供了一种构造平方自由斯坦利分解的方法，表明 sdepth(I) 可通过此类分解计算而不失一般性。