[論文レビュー] A Combinatorial Approach to Involution and delta-Regularity I: Involutive Bases in Polynomial Algebras of Solvable Type

Werner M. Seiler|arXiv (Cornell University)|Aug 30, 2002

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

ひとこと要約

本稿は、可解型多項式代数における包あらゆる基底の組み合わせ的枠組みを導入し、構造的性質が強化されたグレブナー基底の一般化を行う。弱包あらゆる基底の新概念を提示し、半群順序および係数環上でのその構築のためのアルゴリズムを開発する。標準的でない設定へも適用可能でありながら、主要な代数的および組合せ的特徴を保持する。

ABSTRACT

General revision. In particular the parts concerning involutive bases over rings have been significantly changed. In addition some proofs have been improved.

研究の動機と目的

• 可解型多項式代数における包あらゆる基底の統一的理論を構築すること、特に微分作用素や差分作用素を含む非可換ケースを含む。
• 従来の包あらゆる基底アルゴリズムの限界を克服するため、弱包あらゆる基底の概念を導入すること。
• 半群順序（局所計算で一般的）および係数環へ理論を拡張すること、ここで標準的強い基底が存在しない場合がある。
• 特にポンマレ・タイプの基底を介してモジュール構造解析に応用する基盤を提供すること。
• ジャンネット＝リキエ理論を一般化し、グレブナー基底理論と接続する、厳密な代数的および組合せ的枠組みを確立すること。

提案手法

• 本稿は、指数ベクトルのモノイド（N₀ⁿ, +）における包あらゆる分割を定義し、特にジャンネット分割とポンマレ分割を主要な例として焦点を当てる。
• 標準的包あらゆる基底の一般化として、弱包あらゆる基底の概念を導入する。
• 乗法的変数制限を追加した標準的グレブナー基底手法を拡張する完成アルゴリズムにより、包あらゆる基底の構築を達成する。
• ヒルベルトの基底定理がこの文脈で有効であるかを分析することにより、一般の係数環上でも理論を展開する。
• 指数ベクトル上の項順序（次数適合および半群順序）を用い、微分方程式の慣習に合わせて変数順序を逆転する。
• ムーパッドを用いた実装では、ゲルトとブリンコフの最小基底アルゴリズムの最適化版を用いる。

実験結果

リサーチクエスチョン

• RQ1 可解型多項式代数、特に非可換および係数環設定下でも、包あらゆる基底を体系的に構築可能か？
• RQ2 弱包あらゆる基底は、標準的項順序を超えた包あらゆる基底アルゴリズムの適用範囲を拡張する役割を果たすか？
• RQ3 半群順序（特に逆辞書的および次数逆辞書的順序）は、包あらゆる基底構築とどのように作用するか？
• RQ4 係数体ではなく係数環上の多項式代数において、ヒルベルトの基底定理はどのような条件下で成立するか？
• RQ5 包あらゆる基底は、特にポンマレ基底の文脈において、多項式モジュールの組合せ的分解とどのように関係するか？

主な発見

• 本稿は、強い包あらゆる基底が存在しない状況（特に半群順序および係数環上）においても、弱包あらゆる基底が存在することを確立する。
• 次数逆辞書的順序が、多重指数の類を尊重する唯一の次数適合項順序であることを証明する。
• 包あらゆる基底理論を非体係数環へ拡張し、この一般化された設定においてヒルベルトの基底定理が特定の条件下で成立することを示す。
• 包あらゆる基底の完成アルゴリズムを半群順序に一般化し、局所計算への応用を可能にする。
• ジャンネット＝リキエ理論を自然に拡張し、グレブナー基底理論と接続する、組合せ的基盤を提供する。
• ムーパッドを用いた最適化アルゴリズムによる実装は、提案手法の実用的妥当性および効率性を確認する。