[論文レビュー] Stanley Depth of Multigraded Modules

Dorin Popescu|ArXiv.org|Jan 17, 2008

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

ひとこと要約

この論文は、5変数多項式環における単項式イデアルの多重次数付き加群のStanley深さに関するStanleyの予想を証明し、すべての such イデアルがStanleyイデアルであることを示している。次元フィルトレーション、素イデアルフィルトレーション、および次元2におけるCohen-Macaulay加群の性質を用いて、5変数の場合にStanley深さが深さ以上であることを確立し、4変数から5変数への結果の拡張を行い、この場合の予想を確認した。

ABSTRACT

The Stanley's Conjecture on Cohen-Macaulay multigraded modules is studied especially in dimension 2. In codimension 2 similar results were obtained by Herzog, Soleyman-Jahan and Yassemi. As a consequence of our results Stanley's Conjecture holds in 5 variables.

研究の動機と目的

• 5変数多項式環における単項式イデアルについてStanleyの予想を証明すること。
• 4変数から5変数へのStanley深さに関する既存の結果を拡張すること。
• 5変数におけるすべての単項式イデアルがStanleyイデアルであることを確立すること、すなわち、深さ以上である次元の自由 $ K[Z] $-加群への分解を許容すること。
• 次元2におけるクリーンフィルトレーション、プリティクリーンフィルトレーション、および逐次的にCohen-Macaulay加群の関係を調査すること。
• 5変数の場合、プリティクリーン加群が逐次的にCohen-Macaulay加群と一致することを示すこと。これは $ n = 4 $ の結果を一般化する。

提案手法

• 多重度付き加群 $ M $ の次元フィルトレーション $ D_i(M) $ を用いる。ここで $ D_i(M) $ は次元 $ \leq i $ の最大部分加群として定義される。
• 素イデアルフィルトレーションとクリーンフィルトレーションを用いて $ S/I $ の構造を分析し、特にさまざまな次元の関連素イデアルに注目する。
• 部分極化と単項式準素分解の技術を用いて、問題を次元を低くした場合に還元する。
• 定理3.3を適用し、次元2のCohen-Macaulay多重度付き加群はクリーンであるため、Stanleyの予想を満たすことを示す。
• 補題1.2を用いて、$ U/(p \cap U) $ が次元2のCohen-Macaulay加群であるような $ \operatorname{Ass}(S/I) $ の素イデアル $ p $ が存在することを示す。
• 既知の結果に依存する：[9, 系1.4] はcodimension2イデアル、[12, 系2.2] は次元1の因子に適用可能。

実験結果

リサーチクエスチョン

• RQ1 5変数における単項式イデアルについて、Stanleyの予想は成り立つか？
• RQ2 5変数におけるすべての単項式イデアルはStanleyイデアルであるか、すなわち、深さ以上である次元のStanley分解を許容するか？
• RQ3 5変数の場合、すべての逐次的にCohen-Macaulay加群はプリティクリーン加群か？
• RQ4 5変数の場合、$ S/I $ のStanley深さは深さ以上に下から抑えられるか？
• RQ5 多重度付き加群の次元2において、クリーンフィルトレーションと次元フィルトレーションの関係は何か？

主な発見

• 定理4.3により、5変数におけるすべての単項式イデアルについてStanleyの予想が成り立つことが証明された。
• 定理4.1により、5変数の場合、すべての逐次的にCohen-Macaulay加群はプリティクリーン加群であることが示された。
• 5変数におけるすべての単項式イデアルについて、$ S/I $ のStanley深さは深さ以上であり、等しくなることもあるが、必ずしもそうではない。
• 例4.4により、Stanley深さが深さを厳密に上回ることも可能であることが示された：$ I = (x_1,x_2) \cap (x_3,x_4,x_5) $ の場合、$ \operatorname{sdepth}(S/I) = 2 > 1 = \operatorname{depth}(S/I) $ である。
• 補題3.4により、次元2の単項式Cohen-MacaulayイデアルはStanleyイデアルであることが示された。これはcodimension2の結果の拡張である。
• 証明は、すべての次元フィルトレーションの因子がクリーンであることを示すことに依存しており、特に次元2の因子については定理3.3を、低次元の因子については既知の結果を用いた。