[論文レビュー] On the computation of Ratliff-Rush closure

Juan Elías|ArXiv.org|Feb 20, 2003

Advanced Numerical Analysis Techniques参考文献 5被引用数 4

ひとこと要約

本稿では、Cohen-Macaulay局文環における𝔪-一次的イデアルのRatliff-Rush閉包を計算するためのアルゴリズム的手順を提示する。Postulation numberと表面的系列を用い、Poincaré級数と還元理論を活用することで、有限個のcolon理想への計算に帰着される。主な結果として、イデアルのpostulation numberおよびその表面的系列による商のpostulation numberが与えられたとき、$k \geq$ postulation numberのとき、Ratliff-Rush閉包は$(I^{k+1} : (x_1^k, \dots, x_d^k))$に等しい。

ABSTRACT

Let $R$ be a Cohen-Macaulay local ring with maximal ideal $\max$. In this paper we present a procedure for computing the Ratllif-Rush closure of a $\max-$primary ideal $I \subset R$.

研究の動機と目的

• Cohen-Macaulay局文環における𝔪-一次的イデアルのRatliff-Rush閉包を構成的に計算するためのアルゴリズムを開発すること。
• postulation numberと最小還元を用いて、Ratliff-Rush閉包の計算を有限個のcolon操作に還元すること。
• Poincaré級数と消去技術を用いた明示的な計算手順を提供し、CoCoAを用いて実装可能であることを示すこと。
• 既知の係数イデアルに関する結果を拡張し、同一のHilbert係数を持つ最大のイデアルを系統的に計算するための方法を提供すること。

提案手法

• イデアル$I$のPoincaré級数を計算し、その次数$e_0(I)$とpostulation number$pn(I)$を特定する。
• $\ell(R/(x_1,\dots,x_d)) = e_0(I)$を満たすように、$I/\mathfrak{m}I$内の$d$個の一般な要素$x_1, \dots, x_d$を選択し、表面的系列を形成することを保証する。
• 商$I/(x_i)$のPoincaré級数を計算し、$pn(I/(x_i))$を特定することで、$pn(I; x_1, \dots, x_d)$を計算する。
• 定理2.1(i)を適用：$k \geq pn(I; x_1, \dots, x_d) + 1$のとき、Ratliff-Rush閉包は$\tilde{I} = (I^{k+1} : (x_1^k, \dots, x_d^k))$で与えられる。
• $I$が単項式イデアルである場合、計算コストの高いグレブナー基底を避けるために、消去技術とグレブナー基底フリーの手法を用いる。
• Castelnuovo-Mumford正則性の上限$ f(e_0(I), d) $を活用し、還元数の均一な上界を確立することで、$k \geq f(e_0(I), d) + 2$のとき、$\tilde{I} = (I^{k+1} : I^k)$による代替計算が可能になる。

実験結果

リサーチクエスチョン

• RQ1 Cohen-Macaulay局文環における𝔪-一次的イデアルのRatliff-Rush閉包をどのようにアルゴリズム的に計算できるか？
• RQ2 表面的系列$x_1, \dots, x_d$に対して、$\tilde{I} = (I^{k+1} : (x_1^k, \dots, x_d^k))$が成り立つ最小の$k$は何か？
• RQ3 イデアル$I$およびその商$I/(x_i)$のpostulation numberが、Ratliff-Rush閉包の計算をどのように制限できるか？
• RQ4 Ratliff-Rush閉包とイデアルのHilbert係数およびその還元との関係は何か？
• RQ5 CoCoAのような計算代数システムを用いて、明示的な例へのアルゴリズムの実装はどのように行えるか？

主な発見

• 𝔪-一次的イデアル$I$のRatliff-Rush閉包は、表面的系列$x_1, \dots, x_d$に対して、すべての$k \geq pn(I; x_1, \dots, x_d) + 1$で$(I^{k+1} : (x_1^k, \dots, x_d^k))$に等しい。
• 例2.4では、$I = (x^{10}, y^5, xy^4, x^8y)$のRatliff-Rush閉包が$(x^{10}, y^5, xy^4, x^7y^2, x^6y^3, x^8y)$として計算され、$I \subsetneq \tilde{I}$であることが示された。
• 例2.6のイデアルでは、$I = \tilde{I}$であるが、$\widetilde{I^2} = I^2 + (x^{24}y^{20}, x^{20}y^{24})$であるため、べきの閉包が非自明であることが示された。
• 例2.7では、$I = (x^8, x^3y^2, x^2y^4, y^8)$は$I = \tilde{I}$を満たすが、最初の係数イデアル$I_{[1]}$は$I$を真に含み、$I_{[1]} = (x^8, x^3y^2, x^2y^4, xy^6, y^8)$である。
• postulation number$pn(I; x_1, \dots, x_d)$は、$I$および$I/(x_i)$のPoincaré級数から計算可能であり、colon公式が成り立つ最小の$k$を決定する。
• Castelnuovo-Mumford正則性の上限$f(e_0(I), d)$は還元数の均一な上界を提供し、$k \geq f(e_0(I), d) + 2$のとき、代替公式$\tilde{I} = (I^{k+1} : I^k)$が有効である。