[论文解读] Lexsegment ideals are sequentially Cohen-Macaulay

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

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

一句话总结

本文證明了在域上多項式環中的所有 lexsegment 理想都是順序 Cohen-Macaulay，方法是顯示其關聯素理想完全有序，且商環為漂亮的乾淨環。關鍵結果為：對這些理想而言，Stanley 的猜想成立，其 Stanley 深度至少等於其深度。

ABSTRACT

The associated primes of an arbitrary lexsegment ideal $I\subset S=K[x_1,...,x_n]$ are determined. As application it is shown that $S/I$ is a pretty clean module, therefore, $S/I$ is sequentially Cohen-Macaulay and satisfies Stanley's conjecture.

研究动机与目标

• 確定多項式環中任意 lexsegment 理想的關聯素理想。
• 建立 lexsegment 理想 $ I $ 的商環 $ S/I $ 為漂亮的乾淨環。
• 證明 $ S/I $ 為順序 Cohen-Macaulay，此為交換代數中的關鍵性質。
• 驗證 Stanley 的猜想對 $ S/I $ 成立，即 $ \operatorname{sdepth}(S/I) \geq \operatorname{depth}(S/I) $。

提出的方法

• 以 $ x_1 > x_2 > \cdots > x_n $ 的字典序定義 lexsegment 理想，作為介於兩個固定單項式之間的單項式所生成的理想。
• 透過分析 colon 理想並使用多重分次模的正合序列，將問題簡化為初始與終極 lexsegment 理想的情形。
• 利用主要分解的結構分析關聯素理想，特別著重於由 $ (x_1,\ldots,x_j) $ 所生成的理想，其中 $ j \in \operatorname{supp}(v) \cup \{n\} $。
• 透過顯示關聯素理想在包含關係下完全有序，來運用漂亮的乾淨模之概念。
• 使用如 $ 0 \to (I:x_1)/I \to S/I \to S/(I:x_1) \to 0 $ 之正合序列，以數學歸納法分析模的濾子結構。
• 應用 Ene 與 Herzog 對漂亮乾淨模與 Stanley 深度的研究成果，以結論出順序 Cohen-Macaulay 性質及 Stanley 的猜想。

实验结果

研究问题

• RQ1 在 $ S = K[x_1,\ldots,x_n] $ 中，任意 lexsegment 理想的關聯素理想為何？
• RQ2 對於 lexsegment 理想 $ I $，其商環 $ S/I $ 是否為漂亮的乾淨模？
• RQ3 $ S/I $ 是否滿足順序 Cohen-Macaulay 的條件？
• RQ4 Stanley 的猜想是否對 $ S/I $ 成立，即 $ \operatorname{sdepth}(S/I) \geq \operatorname{depth}(S/I) $？
• RQ5 $ I $ 的關聯素理想結構如何與 $ S/I $ 的深度及 Stanley 深度相關？

主要发现

• 對於滿足 $ x_1 \mid u $、$ x_1 \nmid v $ 且 $ v \neq x_n^d $ 的 lexsegment 理想 $ I = (L(u,v)) $，其關聯素理想恰好為 $ \{(x_1,\ldots,x_j) \mid j \in \operatorname{supp}(v) \cup \{n\} \} $。
• 對於初始 lexsegment 理想 $ I = (L^i(v)) $，其關聯素理想為 $ \{(x_1,\ldots,x_j) \mid j \in \operatorname{supp}(v) \cup \{n\} \} $，且在包含關係下形成完全有序集合。
• 商環 $ S/I $ 為漂亮的乾淨 $ S $-模，因其關聯素理想完全有序，且模具有乾淨濾子結構。
• 因此，$ S/I $ 為順序 Cohen-Macaulay，表示其關聯分次模具有連續 Cohen-Macaulay 因子的濾子結構。
• $ S/I $ 的 Stanley 深度滿足 $ \operatorname{sdepth}(S/I) \geq \operatorname{depth}(S/I) $，確認了 lexsegment 理想的 Stanley 猜想。
• 透過利用 colon 理想與多重分次模的正合序列，將結果推廣至所有 lexsegment 理想，僅需考慮初始與終極情形。