[论文解读] Stanley depth of powers of the path ideal

Alin Ştefan|arXiv (Cornell University)|Sep 22, 2014

Commutative Algebra and Its Applications参考文献 9被引用 8

一句话总结

本文为多项式环中路径理想幂次商的Stanley深度建立了闭式公式，证明当 $2 \leq t \leq n-3$ 时其值为 $\left\lceil \frac{n-t+1}{3} \right\rceil$，而当 $t \geq n-2$ 时稳定于1。该结果与Brodmann关于深度稳定性的定理相呼应，证实了对于路径理想幂次，Stanley深度的行为与深度类似。

ABSTRACT

The aim of this paper is to give a formula for the Stanley depth of quotient of powers of the path ideal. As a consequence, we establish that the behaivior of the Stanley depth of quotient of powers of the path ideal is the same as a classical result of Brodmann on depth.

研究动机与目标

• 确定商环 $S/I(P_n)^t$ 的路径理想幂次的Stanley深度。
• 建立类似于Brodmann关于理想幂次深度稳定性的定理的公式。
• 证明当 $t \geq n-2$ 时，$S/I(P_n)^t$ 的Stanley深度稳定于1，与深度行为一致。
• 将已知的关于单项式理想Stanley深度的结果推广至路径理想及其幂次的情形。

提出的方法

• 利用商环 $S/I(P_n)^t$ 的特征偏序集分析Stanley分解。
• 对 $n$ 和 $t$ 进行归纳推理，借助涉及消去和理想商的短正合列。
• 应用引理3（关于正合序列中的sdepth）以从下方界定Stanley深度。
• 通过将偏序集 $\mathcal{P}$ 构造为区间 $[F_i, G_i]$ 的显式划分，推导出sdepth的上界。
• 基于偏序集分量中未被覆盖的元素，使用反证法证明上界。
• 应用Herzog、Vlădoiu与Zheng的算法方法，通过偏序集分解计算sdepth。

实验结果

研究问题

• RQ1 对所有 $t \geq 1$，$S/I(P_n)^t$ 的Stanley深度的确切值是什么？
• RQ2 $S/I(P_n)^t$ 的Stanley深度是否在 $t$ 较大时稳定，类似于 $S/I(P_n)^t$ 的深度行为？
• RQ3 路径理想幂次的Stanley深度行为能否用闭式公式描述？
• RQ4 与Morey工作所得的深度下界相比，$S/I(P_n)^t$ 的Stanley深度如何？

主要发现

• 当 $2 \leq t \leq n-3$ 时，$S/I(P_n)^t$ 的Stanley深度恰好为 $\left\lceil \frac{n-t+1}{3} \right\rceil$。
• 当 $t \geq n-2$ 时，$S/I(P_n)^t$ 的Stanley深度稳定于1。
• 对所有 $t \geq 1$，公式 $sdepth(S/I(P_n)^t) = \max\left\{ \left\lceil \frac{n-t+1}{3} \right\rceil, 1 \right\}$ 成立。
• 路径理想幂次的Stanley深度行为与Brodmann关于深度稳定性的结果一致。
• 通过在偏序集分解中基于反证法证明了Stanley深度的上界，表明关键分量中存在未被覆盖的元素。
• 该结果证实了Stanley深度在路径理想情形下与深度行为类似，支持了该类中的Stanley猜想。