[論文レビュー] Lexsegment ideals are sequentially Cohen-Macaulay

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

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

ひとこと要約

この論文は、多項式環上のすべてのlexsegmentイデアルが、その関連素イデアルが完全に順序付けられており、商環がきれいな構造を持つことにより、すべてのlexsegmentイデアルが逐次的Cohen-Macaulayであることを証明している。主な結果は、これらのイデアルに対してスターリングの予想が成り立つこと、すなわちスターリング次元が深さ以上であるということである。

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であること、すなわち可換代数における重要な性質を証明すること。
• スターリングの予想が $ S/I $ に対して成り立つかどうかを確認すること、すなわち $ \operatorname{sdepth}(S/I) \geq \operatorname{depth}(S/I) $ が成り立つかどうか。

提案手法

• $ x_1 > x_2 > \cdots > x_n $ と定めることで、単項式の辞書的順序を用いて、二つの固定された単項式の間の単項式によって生成されるlexsegmentイデアルを定義する。
• 列のイデアルと完全系列を用いた多重次数モジュールの解析により、問題を初期および最終の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 $ のような完全系列を用いて、モジュールのフィルトレーションを帰納的に分析する。
• エーネとエルツォグのきれいなモジュールおよびスターリング次元に関する結果を応用し、逐次的Cohen-Macaulay性およびスターリングの予想の結論を得る。

実験結果

リサーチクエスチョン

• RQ1 $ S = K[x_1,\ldots,x_n] $ の任意のlexsegmentイデアルの関連素イデアルは何か？
• RQ2 lexsegmentイデアル $ I $ に対する商環 $ S/I $ はきれいなモジュールか？
• RQ3 $ S/I $ は逐次的Cohen-Macaulayを満たすか？
• RQ4 スターリングの予想は $ S/I $ に対して成り立つか、すなわち $ \operatorname{sdepth}(S/I) \geq \operatorname{depth}(S/I) $ が成り立つか？
• RQ5 $ I $ の関連素イデアルの構造は、 $ S/I $ の深さおよびスターリング次元にどのように関係するか？

主な発見

• $ 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 $ のスターリング次元は $ \operatorname{sdepth}(S/I) \geq \operatorname{depth}(S/I) $ を満たし、lexsegmentイデアルに対してスターリングの予想が確認された。
• 列のイデアルと完全系列による多重量モジュールの還元を用いて、すべてのlexsegmentイデアルにこの結果を拡張できる。