[論文レビュー] Equations of Rees algebras of ideals in two variables

Jeff. Madsen|arXiv (Cornell University)|Nov 12, 2015

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

ひとこと要約

本稿では、2変数多項式環における高さ2のイデアルのリース代数の定義方程式の最小生成元を計算するアルゴリズムを提示する。特に、単生行列の2番目に大きな列次数 e に対応する x-次数が e 以上の生成元に注目する。これらの生成元の二重次数に対して簡単な公式を導出し、ほとんど完全交差イデアルの場合に、次数 ≥ e−1 での生成元を完全に特定する。

ABSTRACT

Let I be an ideal of height two in R=k[x_0,x_1] generated by forms of the same degree, and let K be the ideal of defining equations of the Rees algebra of I. Suppose that the second largest column degree in the syzygy matrix of I is e. We give an algorithm for computing the minimal generators of K whose degree is at least e, as well as a simple formula for the bidegrees of these generators. In the case where I is an almost complete intersection, we give a generating set for each graded piece K_(i,*) with i>=e-1.

研究の動機と目的

• k[x₀,x₁] における高さ2の斉次イデアルが単一の次数で生成される場合、そのリース代数の定義方程式の理想の最小生成元を特定すること。
• 以前の「ほぼ線形に提示されたイデアル」に関する結果を、2変数における一般の高さ2イデアルへと拡張すること。
• 単生行列における2番目に大きな列次数 e に対応する x-次数 ≥ e を満たす生成元を系統的に計算するための方法を提供すること。
• イデアルがほとんど完全交差である場合に、i ≥ e−1 の各次数付き部分 K_{i,*} に対して完全な生成集合を与えること。
• スティーブル形式や有理正規スクリューディング構成を含む先行研究のアプローチを統合・一般化し、単一の再帰的枠組みへと統合すること。

提案手法

• イデアル I の単生行列 φ を用いて、2番目に大きな列次数 e を特定し、これが x-次数の閾値として機能することを確認する。
• 部分イデアルのリース代数上のモジュール論的枠組みを用いて、x-次数 ≥ e を満たす K の抽象的最小生成元を構成する。
• 第3.3節で提示される再帰的アルゴリズムを用い、部分代数からの関係の上げ上げと次数の追跡に基づき、これらの生成元を明示的に計算する。
• すべての列が線形項を除いて線形である「ほとんど線形に提示された」場合にこの手法を適用し、Kustin, Polini, Ulrich (2022) の結果を再現・再証明する。
• Cortadellas と D’Andrea (2010) のスティーブル形式法と整合性をとるために、同じ条件下で本アルゴリズムが彼らの手法に還元されることを示す。
• 第3.2節で導出した二重次数の公式を用いて、生成元の多重次数を特徴づけ、全グレブナー基底還元を避けて効率的な計算と分類を可能にする。

実験結果

リサーチクエスチョン

• RQ1 k[x₀,x₁] における高さ2のイデアルのリース代数の定義方程式の構造は、特に高次 x-次数を持つものに関してどのように特定できるか？
• RQ2 x-次数 ≥ e を満たすような生成元に対して、その定義理想 K の最小生成元をどのようにアルゴリズム的に計算できるか？
• RQ3 イデアルがほとんど完全交差である場合に、i ≥ e−1 の K_{i,*} の生成集合を完全に特定できるか？
• RQ4 本稿で提示された新しい生成元は、スティーブル形式や有理正規スクリューディング商構成といった先行構成をどれほど包含・一般化するか？
• RQ5 d₁, d₂, σ₁, σ₂ などの数値的不変量が、リース代数における最小生成元の数と二重次数をどの程度決定するか？

主な発見

• 本稿は、単生行列における2番目に大きな列次数 e に対応する x-次数が e 以上のすべての最小生成元を計算する完全なアルゴリズムを提供する。
• これらの生成元に対して、全グレブナー基底還元を経ずに直接多重次数を計算できる簡単な二重次数の公式が導出された。
• ほとんど完全交差イデアルの場合、i ≥ e−1 の各次数付き部分 K_{i,*} に対して完全な生成集合が与えられ、先行研究で残された重要なケースが解決された。
• 本手法は、Kustin, Polini, Ulrich (2022) の定理3.6（ほとんど線形に提示されたイデアルに関する）を再現・再証明し、以前の結果と整合性を保った。
• 単生行列に一般化されたゼロが存在する場合、本アルゴリズムは Cortadellas と D’Andrea (2010) のスティーブル形式法に還元され、その一般性が裏付けられた。
• 反例により、固定された x-次数における最小生成元の数は、d₁, d₂, σ₁, σ₂ のみでは決定できないことが示された。単なる数値的データではなく、単生行列の構造が本質的に重要である。