[论文解读] 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$ 相关联的有限偏序集的区间分拆来确定。
• 通过将问题约化为偏序集上的组合问题，为计算这些不变量提供一个构造性框架。

提出的方法

• 将特征偏序集 $P^{g}_{I/J}$ 定义为所有满足 $x^a \in I \setminus J$ 的整数向量 $a \leq g$ 的集合，其中 $g \in \mathbb{Z}^n$ 为某一适当选取的向量。
• 证明 $P^{g}_{I/J}$ 的任意区间分拆均可诱导出 $I/J$ 的一个 Stanley 分解。
• 证明对于 $I/J$ 的任意 Stanley 分解，均存在一个由此类分拆诱导的分解，其 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$？该猜想是否普遍成立？

主要发现

• 通过检查特征偏序集 $P^{g}_{I/J}$ 的所有区间分拆，可以计算 $I/J$ 的 Stanley 深度，且此类分解中 Stanley 深度的最大值即为真实的 Stanley 深度。
• 对于 $I/J$ 的任意 Stanley 分解，均存在一个由偏序集分拆诱导的分解，其 Stanley 深度至少不小于原分解，从而确保该方法能捕获最优值。
• $\operatorname{fdepth}(I/J)$ 可通过仅分析 $P^{g}_{I/J}$ 中部分并为偏序理想的那些区间分拆，在有限时间内计算得出。
• 对于分次极大理想 $\mathfrak{m} \subset S = K[x_1,\dots,x_n]$，本文证明当 $n \leq 9$ 时有 $\operatorname{sdepth} \mathfrak{m} = \lceil n/2 \rceil$，支持了关于一般情形的猜想。
• 本文证明了对于任意在 $n$ 个变量中由三个元素极小生成的单项式完全交理想 $I$，均有 $\operatorname{sdepth}I = n-1$。
• 作者表明，Soleyman Jahan 关于 Stanley 分解中次数界限的猜想，蕴含一个新猜想：即在偏序集分拆的区间中，最小指数被 $\operatorname{reg}(I/J)$ 所限制。