[論文レビュー] Stability of associated primes of monomial ideals

Lê Tuâń Hoa|arXiv (Cornell University)|May 16, 2007

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

ひとこと要約

本稿は、多項式環内の単項式イデアル $ I $ について、その各次数成分 $ I^n/I^{n+1} $ の関連素イデアルの安定化に対する明示的な上界 $ B $ を確立する。整数計画法と局所コホホロジーの技術を用いて、toric 環上の加群の生成元の次数を評価し、Castelnuovo-Mumford 正則性と関連付ける。その結果、すべての $ n \geq B $ に対して $ \operatorname{Ass}(I^n/I^{n+1}) = \operatorname{Ass}(I^B/I^{B+1}) $ が成り立つことを証明する。この上界は変数の数 $ r $、生成元の数 $ s $、生成元の最大次数 $ d $ に依存する。

ABSTRACT

Let $I$ be a monomial ideal of a polynomial ring $R$. In this paper we determine a number $B$ such that $\Ass (I^n/I^{n+1}) = \Ass (I^{B}/I^{B+1})$ for all $n\geq B$.

研究の動機と目的

• 多項式環内の単項式イデアル $ I $ に対して、$ \operatorname{Ass}(I^n/I^{n+1}) $ の列がすべての $ n \geq B $ で安定化するような明示的上界 $ B $ を決定すること。
• 変数の数 $ r $、生成元の数 $ s $、生成元の最大次数 $ d $ の観点から、安定化インデックス $ B $ の定量的推定を提供すること。
• 局所コホホロジー加群 $ H^0_{\mathfrak{m}}(I^n/I^{n+1}) $ の消失性を分析することで、関連素イデアル列の非単調性を克服すること。
• $ \operatorname{Ass}(I^n/I^{n+1}) $ の安定化インデックス $ B $ が、$ r $、$ s $、$ d $ に依存して実際に計算可能であることを確立すること。
• 例を通じて、$ d $ と $ r $ に依存する必要性を示し、$ B $ がこれらのパラメータに従って増加しなければならないことを示すこと。

提案手法

• 補題 2.1 を用いて、$ \operatorname{Ass}(I^n/I^{n+1}) $ の安定化問題を、最大イデアル $ \mathfrak{m} $ がこの集合に属するかどうかの問題に還元する。
• 単項式イデアルを定義する線形制約の整数解の集合を半群 $ S $ としてモデル化し、その半群環 $ K[S] $ を研究する。
• ミンコフスキーの定理を適用して解集合を極端な方向に分解し、$ K[S] $ の生成元の記述を可能にする。
• 係数ベクトルのノルムを用いて $ K[S] $ の生成元の次数を束縛し、$ I^n $ の多項式に含まれる単項式の次数に対する有効な上界を得る。
• イデアル $ I $ の関連付き次数環の Castelnuovo-Mumford 正則性を用いて、$ \operatorname{Ass}(I^n/I^{n+1}) $ の列の増加的挙動を制御する。
• 生成元の次数の上界と正則性不変量を組み合わせて、一様な上界 $ B $ を構成し、関連素イデアル列の安定化を保証する。

実験結果

リサーチクエスチョン

• RQ1 単項式イデアル $ I $ に対して、すべての $ n \geq B $ で $ \operatorname{Ass}(I^n/I^{n+1}) = \operatorname{Ass}(I^B/I^{B+1}) $ が成り立つような明示的上界 $ B $ は何か？
• RQ2 安定化インデックス $ B $ は、変数の数 $ r $、生成元の数 $ s $、生成元の最大次数 $ d $ にどのように依存するか？
• RQ3 局所コホホロジーと加群生成の上界を用いて、$ \operatorname{Ass}(I^n/I^{n+1}) $ の非単調挙動を制御できるか？
• RQ4 $ B $ が $ d $ と $ r $ に従って増加しなければならない例は存在するか？ これにより、このような依存関係が避けられないことが示される。
• RQ5 $ \operatorname{Ass}(I^n/I^{n+1}) $ の安定化インデックス $ B $ は、単項式イデアルの不変量から実際に計算可能か？

主な発見

• 本稿は、$ r $、$ s $、$ d $ を用いて定義される $ B_1 $ と $ B_2 $ を用いて、明示的上界 $ B = \max\{B_1, B_2\} $ を構成し、すべての $ n \geq B $ で $ \operatorname{Ass}(I^n/I^{n+1}) = \operatorname{Ass}(I^B/I^{B+1}) $ が成り立つことを示す。
• 上界 $ B $ は、$ \max\left\{d(rs+s+d)(\sqrt{r})^{r+1}(\sqrt{2}d)^{(r+1)(s-1)},\ s(s+r)^4 s^{r+2} d^2 (2d^2)^{s^2-s+1} \right\} $ として与えられ、非常に大きいが有効である。
• 例 2.13 は、$ \mathfrak{m} \in \operatorname{Ass}(I^n/I^{n+1}) $ が $ n \geq d-2 $ のみで成り立つことから、$ d $ を上界から省略できないことを示しており、$ d $ に依存する必要性を裏付ける。
• 例 2.14 は、$ B \geq \frac{d(d-1)\cdots(d-r+3)}{r(r-3)} $ であることを示しており、$ r $ に依存する必要性を示している。
• 本稿は、$ n \geq B $ のとき $ \operatorname{Ass}(I^n/I^{n+1}) $ が減少することを証明し、関連付き次数環の正則性に関する上界のおかげで、列が安定化することを示している。
• 単項式イデアルでは $ A = B $ が成り立つことが確認され、$ \operatorname{Ass}(R/I^n) = \operatorname{Ass}(I^{n-1}/I^n) $ であるため、両方の列の安定化インデックスは同一である。