[論文レビュー] Integral closure of ideals

Douglas A. Leonard|arXiv (Cornell University)|Sep 18, 2012

Polynomial and algebraic computation参考文献 1被引用数 79

ひとこと要約

本稿では、有限体上のアフィン代数的領域におけるイデアルの整閉包の構造的表現を計算するための修正された Q 乗法アルゴリズムを提示する。非同次リース代数と局所モナミアル順序を用い、ネストされた $P$-モジュール列を介してイデアルの整閉包を計算する。Macaulay2 における実用的な計算フレームワークを提供し、出力対象として $C(I^k, \overline{A})$ を自然な形で得る。

ABSTRACT

The Qth-power algorithm for computing structured global presentations of integral closures of affine domains over finite fields is modified to compute structured presentations of integral closures of ideals in affine domains over finite fields relative to a local monomial ordering. A non-homogeneous version of the standard (homogeneous) Rees algebra is introduced as well.

研究の動機と目的

• 有限体上のアフィン代数的領域におけるイデアルの整閉包を、構造的出力を持つ計算手法を開発すること。
• Q 乗法アルゴリズムを局所モナミアル順序に適応させ、グローバル順序よりもイデアルの整閉包計算に適していることを目的とする。
• イデアルの整閉包を内部化する計算フレームワークとして、非同次リース代数を導入すること。
• $C(I^k, \overline{A})$ を直接主出力として得ることで、環の整閉包から抽出するのを避けること。
• Macaulay2 にこの手法を実装し、イデアルの整閉包の実用的で構造的な表現を提供すること。

提案手法

• 局所モナミアル順序を可能にするために、リース代数写像を内部化する非同次商環 $\text{rees}(I) := \overline{A}[G_0,\ldots,G_s][t^{-1}]/\langle g_j - G_j t^{-1}\rangle$ を使用する。
• 各 $M_i(I^k_j) \supseteq M_{i+1}(I^k_j)$ を $M_{i+1}(I^k_j) := \{ g \in M_i(I^k_j) \mid g^Q \in M_i(I^k_j)^{Q-1} I^k_j \}$ で定義するネストされた $P$-モジュール列を計算する。
• 拡張された環上でグローバル基底計算を用いて、$I^k_j$ から $I^k_{j+1}$ を繰り返し構築し、$C(I^k, \overline{A})$ に到達する。
• 局所モナミアル順序を用いて、$t^{-1}$-次数構造における低次の項を優先することで、イデアルの整閉包計算の効率性が向上する。
• この手法は、$C(I^k, \overline{A})$ がアルゴリズムによって自然に生成されることを活用し、環の閉包から抽出する必要を回避する。
• この手法は Macaulay2 に実装され、$\overline{A}$ と $\text{rees}(I)$ の明示的表現を持つ例に適用されている。

実験結果

リサーチクエスチョン

• RQ1 Q 乗法アルゴリズムをどのように局所モナミアル順序を用いて、イデアルの整閉包を計算するように適応できるか？
• RQ2 非同次リース代数は、イデアルの整閉包のための構造的かつ局所的な計算を可能にする役割を果たすか？
• RQ3 整閉包アルゴリズムの文脈において、なぜ $C(I^k, \overline{A})$ が $C(I^k, A)$ よりも自然な出力となるのか？
• RQ4 ネストされた $P$-モジュール列は、有限体上のアフィン代数的領域における $C(I^k, \overline{A})$ の計算をどのように効率的に行うか？
• RQ5 標準的な同次リース代数表現と比較して、$\text{rees}(I)$ に内部化された写像が提供する計算上の利点は何か？

主な発見

• 非同次リース代数 $\text{rees}(I)$ は、整閉包写像の内部化された表現を可能にし、計算の取り扱いやすさを向上させる。
• アルゴリズムはネストされた $P$-モジュール列を介して $C(I^k, \overline{A})$ を直接計算し、環の閉包から抽出する必要を回避する。
• 局所モナミアル順序は、グローバル順序よりもイデアルの整閉包計算に適していることが示され、リース代数の構造と整合する。
• 例において $C(I^k, \overline{A})$ が正しく計算され、たとえば $x^3y^2z \mapsto G_{4,3}G_{4,2}G_{3,0}$ のように、$k \leq 3$ の範囲で $C(I^k, \overline{A})$ に属するかの確認がなされた。
• Macaulay2 における実装は、明示的なグローバル基底の簡約を伴う具体的な例において、この手法の実現可能性と効率性を示している。
• 局所表現における $u = 1/(1 + y_{9,9})$ のような単位元の使用は、関係を単純化し、$C(I^k, \overline{A})$ の要素に対する正規形の簡約を可能にする。