[論文レビュー] Persistence and stability properties of powers of ideals

Jürgen Herzog, Ayesha Asloob Qureshı|arXiv (Cornell University)|Aug 23, 2012

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

ひとこと要約

この論文は、イデアルにおける強い持続性（strong persistence）の概念を導入し、これがイデアルの冪における関連素イデアルの持続性を示し、すべての $k$ に対して Ratliff の条件 $I^{k+1}:I = I^k$ と同値であることを示している。主な貢献は、多型的イデアル（polymatroidal ideals）が強い持続性を満たすことを証明し、解析的スプレッドを用いて深さ安定化のインデックスおよび関連素イデアルの安定化のインデックスに対する上限を得たことである。

ABSTRACT

We introduce the concept of strong persistence and show that it implies persistence regarding the associated prime ideals of the powers of an ideal. We also show that strong persistence is equivalent to a condition on power of ideals studied by Ratliff. Furthermore, we give an upper bound for the depth of powers of monomial ideals in terms of their linear relation graph, and apply this to show that the index of depth stability and the index of stability for the associated prime ideals of polymatroidal ideals is bounded by their analytic spread.

研究の動機と目的

• 関連素イデアルの冪に対する持続性を強化する、イデアルの強い持続性の性質を定義し、分析すること。
• 強い持続性がすべての $k$ に対して $I^{k+1}:I = I^k$ であるという Ratliff の条件と同値であることを確立すること。
• 多型的イデアルが強い持続性を満たすことを証明し、これにより深さ安定化のインデックスおよび関連素イデアル安定化のインデックスが有界であることを示すこと。
• 線形関係グラフを用いて、単項式イデアルの冪の深さに対する上界を提供すること。
• 多型的イデアルにおいて、深さ安定化のインデックスおよび関連素イデアル安定化のインデックスが解析的スプレッドによって有界であることを示すこと。

提案手法

• イデアルの生成元による乗算におけるソクル元の挙動と局所化を用いて、強い持続性の概念を導入する。
• すべての $k \geq 1$ に対して、強い持続性が $I^{k+1}:I = I^k$ であるという条件と同値であることを証明し、Ratliff の研究と結びつける。
• Serre の条件 $S_2$ を満たす Rees 環 $\mathcal{R}(I)$ を用いて、正の次数のイデアルに対して強い持続性を導出する。
• 単項式イデアルの線形関係グラフ $\Gamma$ を分析し、$S/I^k$ の深さを上界で評価する。
• 横断的多型的イデアル（transversal polymatroidal ideals）の線形関係グラフ $\Gamma$ の連結成分を、単体的複体 $\Delta$ の連結成分の頂点集合上での完全グラフとして特徴付ける。
• これらの結果を Veronese 型多型的イデアルに適用し、$\Gamma$ が連結であり、$ \ell(I) = \operatorname{supp}(I)$ であることを示す。

実験結果

リサーチクエスチョン

• RQ1 強い持続性の性質は、イデアルの冪における関連素イデアルの持続性を示すか？
• RQ2 すべての $k$ に対して $I^{k+1}:I = I^k$ であるという条件は、強い持続性と同値か？
• RQ3 多型的イデアルにおいて、深さ安定化のインデックスおよび関連素イデアル安定化のインデックスは有界に抑えられるか？
• RQ4 単項式イデアルの線形関係グラフは、その冪の深さとどのように関係するか？
• RQ5 横断的多型的イデアルの解析的スプレッドは何か？ また、安定化インデックスとどのように関係するか？

主な発見

• 強い持続性は関連素イデアルの持続性を示し、すべての $k$ に対して $I^{k+1}:I = I^k$ であるという条件と同値である。
• 多型的イデアルは強い持続性を満たすため、関連素イデアルは安定化し、深さ関数は非増加的である。
• 多型的イデアルにおいて、深さ安定化のインデックス $\operatorname{dstab}(I)$ および関連素イデアル安定化のインデックス $\operatorname{astab}(I)$ は、いずれも解析的スプレッド $\ell(I)$ によって上界で抑えられる。
• 横断的多型的イデアルにおいて、線形関係グラフ $\Gamma$ の連結成分は、単体的複体 $\Delta$ の連結成分に対応し、それぞれ完全グラフである。
• Veronese 型多型的イデアルにおいて、線形関係グラフ $\Gamma$ は連結であり、$ \ell(I) = \operatorname{supp}(I)$ である。ここで $\operatorname{supp}(I)$ は、ある生成元を割り切る変数の集合を表す。
• すべての多型的イデアルにおいて、深さ関数 $\operatorname{depth}S/I^k$ は非増加的であり、十分大きな $k$ に対して安定化する。