[論文レビュー] Finding all monomials in a polynomial ideal

Ezra Miller|arXiv (Cornell University)|May 26, 2016

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

ひとこと要約

この論文は、補助変数 t_i を用いた変形を介して、多項式環における任意のイデアル I に含まれる最大の A-次数付きイデアルを計算する単純でアルゴリズム的な方法を提示する。主な結果は、このイデアルが (t·I) ∩ k[x] に等しいことである。ここで t·I は各変数 x_i を t_i^{a_i}x_i に置き換えるものであり、I に含まれるすべての単項式を特定するための構成的解法が得られる。また、I の零点集合を含む最小の T-スキームも同定される。

ABSTRACT

Given a $d imes n$ integer matrix $A$, the main result is an elementary, simple-to-state algorithm that finds the largest $A$-graded ideal contained in any ideal $I$ in a polynomial ring $\Bbbk[x_1,\ldots,x_n]$. The special case where $A$ is an identity matrix yields that $(t.I) \cap \Bbbk[x_1,\ldots,x_n]$ is the largest monomial ideal in $I$, where the generators of $t.I$ are those of $I$ but with each variable $x_i$ replaced by $t_i x_i$ for an invertible variable $t_i$.

研究の動機と目的

• 多項式環 k[x] の与えられたイデアル I に含まれる最大の A-次数付きイデアルを特定すること。
• I に含まれるすべての単項式を特定する構成的アルゴリズムを提供すること。これは単項式イデアルの場合の一般化である。
• I の零スキームを含む最小の (C^*)^n-部分スキームを特定すること。
• 単項式の包含関係を多重次数代数の観点から定式化することで、単項式イデアルと二項式イデアルの問題を統一すること。
• トーラス作用と T-安定スキームを用いた幾何的解釈を提供すること。

提案手法

• 新しい変数 t_1, ..., t_n を導入し、k[x][t^±1] におけるラテン多項式環上で t·I を構成する。ここで各 x_i は t_i^{a_i}x_i に置き換えられる。
• d×n 整数行列 A を用いて k[x] 上に A-次数を定義し、各単項式 x^b に次数 Ab を割り当てる。
• 交差 (t·I) ∩ k[x] を用いて、I に含まれる最大の A-次数付きイデアルを抽出する。
• 幾何的直観を活用： (t·I) ∩ k[x] の零点スキームは、T ≅ (C^*)^d に対して、Z(I) を含む最小の T-安定部分スキームである。
• Y ⊆ T × k^n なるスキームの族を構成し、そのファイバーが τ⁻¹·Z(I) の平行移動であることを示し、射影像が求めるイデアルを与えることを示す。
• 射影像の消失イデアルがまさに (t·I) ∩ k[x] であり、これは I の最大の A-次数付き部分イデアルであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 多項式環 k[x] の与えられたイデアル I に含まれる最大の A-次数付きイデアルは何か？
• RQ2 与えられたイデアル I に含まれるすべての単項式をどのようにアルゴリズム的に特定できるか？
• RQ3 I の零スキームを含む最小の (C^*)^d-部分スキームは何か？
• RQ4 k[x][t^±1] 内の t-変形 t·I は、I の最大の A-次数付き部分イデアルをどのように回復するか？
• RQ5 トーラス作用を用いた観点から、(t·I) ∩ k[x] の交差の幾何的意味は何か？

主な発見

• I に含まれる最大の A-次数付きイデアルは、I の生成元における各 x_i を t_i^{a_i}x_i に置き換えた t·I に対して (t·I) ∩ k[x] に等しい。
• この構成は、A が単位行列である特別な場合を一般化した、I に含まれるすべての単項式を特定する完全で構成的な解法を提供する。
• (t·I) ∩ k[x] は、T ≅ (C^*)^d に対して、Z(I) を含む最小の T-安定部分スキームの消失イデアルである。
• この方法は構成的かつ初等的であり、トーラス作用による零点集合の平行移動に基づく幾何的証明を備えている。
• この結果は [KR05] の Tutorial 50(a) と同値であるが、幾何的ファミリーを用いた独立的で直感的な証明が提供されている。
• 本手法により、I における単項式の包含関係が、(I : (x_1⋯x_n)^∞) が単位イデアルであることと同値であることが明らかになるが、本研究の方法はより強く、構成的な特徴づけを提供する。