[論文レビュー] Ideals with an assigned initial ideal

Margherita Roggero, Lea Terracini|arXiv (Cornell University)|Jul 24, 2008

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

ひとこと要約

本稿では、項順序のもとで固定された初期理想をもつイデアルの層に対して、レベルに基づく段階的 graduation を導入し、これらの代数的スキームの計算的に効率的な構成を可能にする。主な貢献は、層が滑らかであることと、アフィン空間に同型であることの必要十分条件を示したことであり、特に、飽和された Lex および RevLex セグメントイデアルの同次層に対して明示的な次元公式を提供することにある。

ABSTRACT

The stratum St(J,

研究の動機と目的

• 項順序のもとで初期理想が固定されたイデアルの族に対して、明確で計算可能であるスキーム構造を提供すること。
• 非標準的なレベル graduation を導入することで、層の構成における曖昧さを解消し、整合性と同次性を保証すること。
• ヒルベルトスキームやグレブナー基底理論と関連して、層を研究するための理論的・計算的ツールを確立すること。
• 層が滑らかであることと、アフィン空間に同型であることの必要十分条件を証明すること。これは以前に主張されていたが、証明が与えられていなかった結果である。
• 飽和された Lex-および RevLex-セグメントイデアルの同次層の次元を計算し、明示的な公式を提示すること。

提案手法

• 項順序 $\prec$ に対して初期理想が $J$ であるイデアルの族を $\mathcal{S}t(J,\prec)$ と定義し、同次イデアルに対しては $\mathcal{S}t_h(J,\prec)$ を定義する。
• パラメータの多項式環に非標準的なレベル graduation を導入し、層のイデアルがレベル同次的になるようにする。
• ブルーチャーのアルゴリズムと還元技術を用いて、層の式を導出し、レベルに基づくパラメータの削除を活用する。
• レベル解析に基づいた改良型アルゴリズムである手順 3.7 を適用し、方程式系を簡略化し、計算複雑性を低減する。
• レベル同次性が、原点における層がそのザリスキ接空間に同型に埋め込まれることを証明する。
• 帰納法と S-多項式の構造的解析を用いて、不要なパラメータを削除し、埋め込み次元を計算する。

実験結果

リサーチクエスチョン

• RQ1 項順序 $\prec$ に対して初期理想が固定されたイデアルの層 $\mathcal{S}t(J,\prec)$ が、アフィン空間 $\mathbb{A}^s(k)$ に同型であるのはどのような条件下か？
• RQ2 ナイーブなグレブナー基底法による計算の爆発的増大を避けるために、層のイデアルを効率的に計算する方法は何か？
• RQ3 飽和された Lex-セグメントイデアル $J$ に対して、同次層 $\mathcal{S}t_h(J,\text{Lex})$ の次元は何か？
• RQ4 $k[x_0,x_1,x_2]$ における飽和された RevLex-セグメントイデアル $\mathcal{R}$ に対して、同次層 $\mathcal{S}t_h(\mathcal{R},\text{RevLex})$ は滑らかか？
• RQ5 変数の数 $n$ が増加するに従って、このような層の埋め込み次元はどのように変化するか？

主な発見

• 層 $\mathcal{S}t(J,\prec)$ が滑らかであることと、アフィン空間 $\mathbb{A}^s(k)$ に同型であることの必要十分条件は、レベル同次性によって証明された。
• 飽和された Lex-セグメントイデアル $J$ に対して、同次層 $\mathcal{S}t_h(J,\text{Lex})$ は滑らかであり、その次元は明示的な公式で与えられる。
• 任意の $k[x_0,x_1,x_2]$ における飽和された RevLex-セグメントイデアル $\mathcal{R}$ に対して、同次層 $\mathcal{S}t_h(\mathcal{R},\text{RevLex})$ は滑らかである。
• このような $\mathcal{R}$ に対して、層 $\mathcal{S}t_h(\mathcal{R},\text{RevLex})$ の埋め込み次元は $2\mu$ 以下である。ここで $\mu$ はセグメントに含まれる単項式の数である。
• レベルベースのパラメータ削除における次数差制約のため、層の次元は変数の数 $n$ に対して二次関数的に増加する。
• 本手法により、ナイーブなグレブナー基底法に比べて著しく計算複雑性が低減された、層のイデアルの明示的計算が可能である。