[论文解读] Persistence and stability properties of powers of ideals

Jürgen Herzog, Ayesha Asloob Qureshı|arXiv (Cornell University)|Aug 23, 2012

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

一句话总结

本文引入了理想强持久性的概念，表明它蕴含了理想幂次中关联素理想的一致持久性，并且等价于对所有 $k$ 的Ratliff条件 $I^{k+1}:I = I^k$。主要贡献是证明了多胞形理想满足强持久性，从而基于解析维数给出了深度稳定性与关联素理想稳定性的界。

ABSTRACT

We introduce the concept of strong persistence and show that it implies persistence regarding the associated prime ideals of the powers of an ideal. We also show that strong persistence is equivalent to a condition on power of ideals studied by Ratliff. Furthermore, we give an upper bound for the depth of powers of monomial ideals in terms of their linear relation graph, and apply this to show that the index of depth stability and the index of stability for the associated prime ideals of polymatroidal ideals is bounded by their analytic spread.

研究动机与目标

• 定义并分析理想强持久性的性质，该性质强化了理想幂次中关联素理想的持久性。
• 建立强持久性等价于对所有 $k$ 的Ratliff条件 $I^{k+1}:I = I^k$。
• 证明多胞形理想满足强持久性，从而界定了其深度稳定性的指数与关联素理想稳定性的指数。
• 通过其线性关系图，为单项式理想的幂次提供其深度的上界。
• 表明对于多胞形理想，深度稳定性的指数与关联素理想稳定性的指数均被解析维数所界定。

提出的方法

• 通过局部化和乘以 $I$ 的生成元时陪集元素的行为，引入强持久性的概念。
• 证明强持久性等价于对所有 $k \geq 1$ 的条件 $I^{k+1}:I = I^k$，并与Ratliff的工作建立联系。
• 利用满足Serre条件 $S_2$ 的分次代数 $\mathcal{R}(I)$，推导出正阶理想具有强持久性。
• 通过分析单项式理想的线性关系图 $\Gamma$，界定 $S/I^k$ 的深度。
• 将横截多胞形理想线性关系图 $\Gamma$ 的连通分支表征为单纯复形 $\Delta$ 的连通分支的完全图。
• 将上述结果应用于Veronese型多胞形理想，表明 $\Gamma$ 是连通的，且 $\ell(I) = \operatorname{supp}(I)$。

实验结果

研究问题

• RQ1 强持久性是否蕴含理想幂次中关联素理想的持久性？
• RQ2 对所有 $k$ 的条件 $I^{k+1}:I = I^k$ 是否等价于强持久性？
• RQ3 多胞形理想是否可以对其深度稳定性的指数与关联素理想稳定性的指数进行界定？
• RQ4 单项式理想的线性关系图与其幂次的深度有何关联？
• RQ5 横截多胞形理想的解析维数是多少？它与稳定指数有何关系？

主要发现

• 强持久性蕴含关联素理想的持久性，且等价于对所有 $k$ 的条件 $I^{k+1}:I = I^k$。
• 多胞形理想满足强持久性，因此其关联素理想稳定，且其深度函数是非递增的。
• 对于多胞形理想，深度稳定性的指数 $\operatorname{dstab}(I)$ 与关联素理想稳定性的指数 $\operatorname{astab}(I)$ 均被解析维数 $\ell(I)$ 上方界定。
• 对于横截多胞形理想，其线性关系图 $\Gamma$ 的连通分支对应于单纯复形 $\Delta$ 的连通分支，每个均为完全图。
• 对于Veronese型多胞形理想，其线性关系图 $\Gamma$ 是连通的，且 $\ell(I) = \operatorname{supp}(I)$，即整除某个生成元的变量集合。
• 所有多胞形理想的深度函数 $\operatorname{depth}S/I^k$ 是非递增的，并在 $k \gg 0$ 时稳定。