[论文解读] Values and bounds of the Stanley depth

Muhammad Ishaq|arXiv (Cornell University)|Oct 22, 2010

Commutative Algebra and Its Applications参考文献 12被引用 3

一句话总结

本文為多項式環中單項式理想的Stanley深度建立了新的上下界，證明了理想Stanley深度的上界由其關聯素理想中Stanley深度的最小值所限制。當關聯素理想由互不相交的變量集生成時，即使對於非平方自由的理想，也確認了Stanley猜想成立，並透過組合分解技術與分次理想列的遞歸簡化方法，提供了緊緻的界。

ABSTRACT

We give different bounds for the Stanley depth of a monomial ideal $I$ of a polynomial algebra $S$ over a field $K$. For example we show that the Stanley depth of $I$ is less or equal with the Stanley depth of any prime ideal associated to $S/I$. Also we show that the Stanley conjecture holds for $I$ and $S/I$ when the associated prime ideals of $S/I$ are generated by disjoint sets of variables.

研究动机与目标

• 為單項式理想的Stanley深度建立緊緻的上下界。
• 研究Stanley猜想成立的條件，特別是當關聯素理想由互不相交的變量集生成時。
• 將已知的Stanley深度結果推廣至非平方自由的單項式理想。
• 利用分次理想與遞歸分解技術，提供可計算的界。

提出的方法

• 使用分次理想技術：對於單項式 $ w \notin I $，有 $ \operatorname{sdepth}(I) \leq \operatorname{sdepth}(I:w) $，並將此技術應用於 $ S/I $ 的關聯素理想。
• 應用已知的素理想Stanley深度結果，例如 $ \operatorname{sdepth}(P) = n - \lfloor \operatorname{ht}(P)/2 \rfloor $，以界定 $ \operatorname{sdepth}(I) $。
• 透過對適當的單項式 $ v $ 使用 $ I:v $ 的遞歸簡化，將問題轉化為低維子環中的問題。
• 使用分解式 $ \operatorname{sdepth}(I) \leq \operatorname{sdepth}(I' \cap K[x_1,\dots,x_r]) + (n - r) $ 來界定高維空間中的深度。
• 應用[7]與[6]中的組合界，推導出涉及二項係數與下取整整函數的多理想交集表達式。
• 將結果推廣至具有互不相交生成元的四個或更多素理想的交集，推導出複雜但緊緻的上界。

实验结果

研究问题

• RQ1 在什麼條件下，單項式理想 $ I $ 及其商 $ S/I $ 的Stanley猜想成立？
• RQ2 如何以關聯素理想的Stanley深度來界定 $ \operatorname{sdepth}(I) $？
• RQ3 當 $ I $ 是三個或更多具有非互不相交生成元的素理想的交集時，$ \operatorname{sdepth}(I) $ 的有效上界為何？
• RQ4 當關聯素理想非由互不相交的變量生成時，能否為 $ \operatorname{sdepth}(I) $ 推導出緊緻的界？
• RQ5 當 $ I $ 由 $ m $ 個單項式生成，且某個關聯素理想 $ P $ 滿足 $ \operatorname{ht}(P) = m $ 時，$ \operatorname{sdepth}(I) $ 的行為如何？

主要发现

• 單項式理想 $ I $ 的Stanley深度由其關聯素理想的Stanley深度最小值所限制：$ \operatorname{sdepth}(I) \leq \min_{1 \leq i \leq s} \operatorname{sdepth}(P_i) $。
• 當 $ I $ 有 $ m $ 個極小生成元，且某個關聯素理想 $ P $ 滿足 $ \operatorname{ht}(P) = m $ 時，有 $ \operatorname{sdepth}_S(I) = n - \lfloor m/2 \rfloor $。
• 若 $ S/I $ 的關聯素理想的極小生成元彼此互不相交，則即使 $ I $ 非平方自由，Stanley猜想對 $ I $ 和 $ S/I $ 均成立。
• 對於具有互不相交生成元的三個關聯素理想 $ P_1, P_2, P_3 $，本文提供了緊緻的上界 $ \operatorname{sdepth}(I) \leq d $，其中 $ d $ 為包含 $ n, t, r, s, q $ 及下取整整函數的複雜表達式。
• 在四個兩兩互不相交的素理想的情況下，本文推導出包含二項係數的上界：$ \operatorname{sdepth}(I) \leq 3 + d + \frac{1}{d_1 d_2 d_3} \left[ \binom{n-d}{4} - \sum \binom{d_i}{4} - \sum \binom{d_i}{3}(n - d_i) - \sum \binom{d_i}{2}\binom{d_j}{2} \right] $。
• 在例3.12中，界為 $ \operatorname{sdepth}(I) \in [10, 11] $，並根據[7, 推論2.2]，得出 $ \operatorname{sdepth}(I) = 11 $。