[論文レビュー] Local Gröbner fan: polyhedral and computational approach

Rouchdi Bahloul, Nobuki Takayama|ArXiv.org|Dec 2, 2004

Polynomial and algebraic computation参考文献 13被引用数 7

ひとこと要約

本稿では、形式的冪級数の環および解析的微分作用素の同次化環における局所グレブナー・ファンが多面体ファンであることを確立する。多面体幾何と次数付き環論を用いて、局所グレブナー錐の有限性、凸性、多面体性を証明し、それらを計算するためのアルゴリズムを提示する。これにより、先行研究が有限性のみを示していたが多面体構造を示さなかったというギャップを埋める。

ABSTRACT

The goal of this paper is to show that the local Gröbner fan is a polyhedral fan for ideals in the ring of power series and the homogenized ring of analytic differential operators. We will also discuss about relations between the local Gröbner fan and the (global) Gröbner fan for a given ideal and algorithms of computing local Gröbner fans. In rings of differential operators, finiteness and convexity of local Gröbner fans were firstly proved by Assi, Castro-Jiménez and Granger. But they did not prove that they are polyhedral fans.

研究の動機と目的

• 形式的冪級数の環および同次化微分作用素の環における局所グレブナー・ファンが多面体ファンであることを確立すること。
• 先行研究が有限性と凸性のみを示していたが、多面体構造を示さなかったというギャップを、局所グレブナー・ファンの多面体構造の証明によって埋めること。
• 可換および非可換設定における局所グレブナー・ファンを構築するための計算アルゴリズムを開発すること。
• 局所グレブナー・ファンとグローバル・ファンを比較し、特に最大次元の錐が一致することを示すが、グローバル・ファンは多面体ファンでない可能性があること。
• 計算例を通じて、本手法の実行可能性と限界を示し、二重同次化Weyl代数におけるメモリ集約的ケースを含む。

提案手法

• 重みベクトルに関する付随する次数付き環における標準基底理論を用いて、初期理想およびグレブナー錐を定義する。
• 次数付き環 $\mathrm{gr}^u(\hat{O})$ および $\mathrm{gr}^w(h_{(\mathbf{0,1})}(\hat{D}))$ における除法定理を適用して初期理想を特徴付ける。
• 同一の初期理想を持つ重みベクトルの同値類の閉包の集合として局所グレブナー・ファンを定義する。
• 可換の場合にはニュートン多面体の面の法錐、非可換の場合には標準錐が有理的で、凸かつ多面体的であることを示し、これにより局所グレブナー・ファンが多面体ファンをなすことを証明する。
• 特に二重同次化Weyl代数の文脈において、局所構造とグローバル・グレブナー・ファンを結びつけるために同次化技術を用いる。
• グレブナー・ウォークおよび基底変換を用いた局所グレブナー・ファンの計算アルゴリズムを実装し、高次元の場合のメモリ効率を最適化する。

実験結果

リサーチクエスチョン

• RQ1 形式的冪級数環 $\mathcal{O}_0$ における局所グレブナー・ファンは多面体ファンか？
• RQ2 解析的微分作用素の同次化環 $h_{(\mathbf{0,1})}(\mathcal{D}_0)$ における局所グレブナー・ファンは多面体ファンか？
• RQ3 局所グレブナー・ファンとグローバル・ファンはどのように比較できるか。特に多面体構造および最大次元の錐に関して。
• RQ4 Weyl代数のような非可換設定において、局所グレブナー・ファンを効率的に計算するアルゴリズムを開発できるか？
• RQ5 二重同次化Weyl代数における複雑なイデアルの局所グレブナー・ファンの構築において、計算上の限界とメモリ要件は何か？

主な発見

• $\mathcal{O}_0$ における局所グレブナー・ファンは多面体ファンであり、有限個の閉多面体錐がファン構造をなす。
• $h_{(\mathbf{0,1})}(\mathcal{D}_0)$ における局所グレブナー・ファンも多面体ファンであり、微分作用素設定における標準錐の多面体的性質を確認する。
• $h_{(\mathbf{0,1})}(D)$ における $x^3 - y^2$ で生成されるイデアルについて、局所グレブナー・ファンには最大次元の錐が1つしかないが、グローバル・ファンには複数ある。これによりグローバル・ファンが多面体ファンでないことが示される。
• 最大次元の同値類は、Corollary 4.2.3 に従い、局所とグローバルの両方で一致するが、グローバル・ファン全体が多面体ファンでない場合でも成り立つ。
• 計算実験により、グレブナー・ファンにおける最大次元の錐の数が急激に増加することが判明：同次化Weyl代数では $n=1$ で2、$n=2$ で39、$n=3$ で3246。
• 二重同次化Weyl代数において、グレブナー基底の計算中にメモリが枯渇する。2GBのメモリ制限を超えて、簡約グレブナー基底の構築が失敗した。