[論文レビュー] Monomial ideals with linear upper bound regularity

Mircea Cimpoeaş|ArXiv.org|Nov 3, 2006

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

ひとこと要約

この論文は、$\mathrm{D}$-固定イデアルと呼ばれる新しいクラスの単項式イデアルに対して、線形な正則性の上界を確立する。$\mathrm{D}$-固定イデアルは、$\mathrm{d}$-固定イデアルの和として定義される。著者らは、$e \geq \operatorname{reg}(I)$ に対して、$e$ 次以上の切り下げ $I_{\geq e}$ が安定であることを示し、Eisenbud-Reeves-Totaro の結果を一般化するとともに、切り下げの安定性と Pardue の公式を用いて、$\mathrm{D}$-固定イデアルに対して $\operatorname{reg}(I) \leq n(\deg(I)-1)+1$ の上界を再証明する。

ABSTRACT

In this paper, we extend a result of Eisenbud-Reeves-Totaro in the frame of ideals of Borel type. As a consequence, we obtain a linear upper bound for the regularity of a new class of ideals, called $\mathcal D$-fixed ideals.

研究の動機と目的

• Eisenbud-Reeves-Totaro の正則性上界に関する結果を、より広いクラスの単項式イデアルへと拡張すること。
• $\mathrm{d}$-固定イデアルおよび Borel 型イデアルの真に広いクラスとして、$\mathrm{D}$-固定イデアルを導入・研究すること。
• 高次切り下げの安定性を用いて、$\mathrm{D}$-固定イデアルの正則性に対する線形上界を確立すること。
• 切り下げの安定性と Pardue の公式を用いて、$\mathrm{D}$-固定イデアルに対する $\operatorname{reg}(I) \leq n(\deg(I)-1)+1$ の上界を再証明すること。

提案手法

• $\mathrm{d}$-固定イデアルの割り切れる性質に基づく単項式生成子による定義を用いて、$\mathrm{D}$-固定イデアルを $\mathrm{d}$-固定イデアルの和として導入する。
• 任意の Borel 型イデアル $I$ に対して、$I$ の逐次的チェーンの長さに関する帰納法を用いて、$e \geq \operatorname{reg}(I)$ のとき $I_{\geq e}$ が安定であることを証明する。
• $I_{\geq e}$ の安定性を応用し、Borel 型イデアルに対して $\operatorname{reg}(I) = \min\{e : I_{\geq e}\text{ が安定}\}$ が成り立つことを導出する。
• Pardue の公式 $\operatorname{reg}(I) = \max_q D_q$（ここで $D_q = \alpha_{qs_q}d_{s_q} + (i_q - 1)(d_{s_q} - 1)$）を用いて、主な $\mathrm{d}$-固定イデアルの正則性を計算する。
• $\mathrm{d}$-固定イデアルの和が安定であるという事実を活用し、$I = \sum I_i$ で $I_i$ が主な $\mathrm{d}$-固定イデアルであるとき、$e = \max_i \operatorname{reg}(I_i)$ に対して $I_{\geq e}$ が安定であることを示す。
• 上記の結果と既知の上界 $\operatorname{reg}(I_i) \leq n(\deg(I)-1)+1$ を組み合わせることで、$\mathrm{D}$-固定イデアルに対する線形上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 Eisenbud-Reeves-Totaro の正則性上界は、主な $p$-Borel イデアルを越えて、より広いクラスの単項式イデアルへと拡張可能か？
• RQ2 切り下げ $I_{\geq e}$ のどのような構造的性質が、単項式イデアルにおける正則性の制御を保証するか？
• RQ3 $\mathrm{d}$-固定イデアルを真に含むが、和に関して閉じており、正則性上界を保つ自然なイデアルクラスは存在するか？
• RQ4 $e \geq \operatorname{reg}(I)$ のとき、すべての Borel 型イデアルに対して $I_{\geq e}$ が安定であるか？そして、この性質を正則性の計算または上界の導出に応用可能か？
• RQ5 切り下げの安定性と Pardue の公式を用いて、新しいクラスのイデアルに対して線形正則性上界 $\operatorname{reg}(I) \leq n(\deg(I)-1)+1$ を再証明できるか？

主な発見

• 任意の Borel 型イデアル $I$ に対して、$e \geq \operatorname{reg}(I)$ のとき $I_{\geq e}$ は安定であり、これは Eisenbud-Reeves-Totaro の結果を一般化する。
• $\mathrm{D}$-固定イデアルを含むすべての Borel 型イデアルに対して $\operatorname{reg}(I) = \min\{e : I_{\geq e}\text{ が安定}\}$ が成り立つ。
• すべての $\mathrm{D}$-固定イデアルは Borel 型であり、$\mathrm{D}$-固定イデアルのクラスは $\mathrm{d}$-固定イデアルのクラスを真に含む。
• $\mathrm{D}$-固定イデアル $I$ の正則性は $\operatorname{reg}(I) \leq n(\deg(I)-1)+1$ を満たし、特定の単項式完全交差に対して等号が成立する可能性がある。
• $\mathrm{D}$-固定イデアル $I = \sum_{i=1}^m I_i$ で $I_i$ が主な $\mathrm{d}^{(i)}$-固定イデアルであるとき、$\operatorname{reg}(I) \leq \max_i \operatorname{reg}(I_i)$ が成り立ち、切り下げの安定性条件のもとでこの上界は鋭い。
• 例 2.7 は、すべてのアートティアン単項式イデアルが $\mathrm{D}$-固定であるとは限らず、すべての単項式完全交差が $\mathrm{d}$-固定であるとは限らないことを示しており、クラス間の真の包含関係を示している。