[論文レビュー] A Constructive Characterization of Solvable Polynomial Algebras

Huishi Li|arXiv (Cornell University)|Dec 25, 2012

Polynomial and algebraic computation参考文献 11被引用数 4

ひとこと要約

本稿は、自由代数におけるグレブナー基底を用いて、可解な多項式代数の構成的特徴付けを提供し、このような代数がグレブナー基底の条件によって完全に決定可能であることを確立している。主な貢献は定理2.5であり、自由代数における適合する単項式順序に関して、定義される両側イデアルのグレブナー基底を用いて、可解な多項式代数を効果的に同定するための計算的基準を提示している。

ABSTRACT

For the solvable polynomial algebras introduced and studied by Kandri-Rody and Weispfenning [J. Symbolic Comput., 9(1990)], a constructive characterization is given in terms of Gröbner bases for ideals of free algebras, thereby solvable polynomial algebras are completely determinable in a computational way.

研究の動機と目的

• 自由非可換代数におけるグレブナー基底理論を用いて、可解な多項式代数の完全な構成的特徴付けを提供すること。
• 計算的手法を用いてすべての可解な多項式代数を効果的に特定するという未解決問題を解決すること。
• 既知の二次可解な多項式代数に関する結果を、グレブナー基底を用いて必要な十分条件を同定することで一般化すること。
• このような代数のゲルファンド＝キリロフ次元、多重度、および$K_0$群が、提示された特徴付けを用いて計算可能であることを確立すること。

提案手法

• 本稿では、可解な多項式代数を、自由代数$K\langle X_1,\dots,X_n\rangle$の両側イデアル$I$による商として定義し、$I$は交換関係系$Q$によって生成される。
• 自由代数の基底に、与えられた可換多項式基底における単項式順序$\prec$を拡張する単項式順序$\prec'$を導入する。
• 主な基準は、イデアル$I(Q)$が条件(H) —— つまり、非ゼロの可換多項式を含まない——を満たすための必要十分条件が、$\prec'$に関して$Q$がグレブナー基底であることである。
• 本稿では、PBW基底と単項式順序を用いて代数にフィルター構造を定義し、関連する順序付き代数の研究を可能にしている。
• 非可換グレブナー基底理論およびフィルター環論の結果を応用して、ゲルファンド＝キリロフ次元と$K_0$群を分析している。
• 命題2.4と定理2.5の間の同値性により、代数的構造とグレブナー基底の性質が結びつけられている。

実験結果

リサーチクエスチョン

• RQ1 自由代数におけるグレブナー基底を用いて、可解な多項式代数を構成的かつアルゴリズム的に完全に特徴付けられるか？
• RQ2 自由代数$K\langle X_1,\dots,X_n\rangle$における両側イデアルが、商が可解な多項式代数であるための条件は何か？
• RQ3 定義イデアル$I(Q)$が適合する単項式順序$\prec'$に関してグレブナー基底をもつ場合、$I(Q)$が条件(H)を満たすことが保証されるか？
• RQ4 ゲルファンド＝キリロフ次元や$K_0$群のような構造的不変量が、この特徴付けを用いて任意の可解な多項式代数について計算可能か？
• RQ5 命題2.4の同値条件を満たす代数のクラスは、テンソル積に関して閉じており、コーゾール型の性質を保つのか？

主な発見

• 定理2.5は完全な構成的特徴付けを提供する：可解な多項式代数$A$が$K\langle X\rangle/I$として現れるための必要十分条件は、定義イデアル$I$が適合する単項式順序$\prec'$に関してグレブナー基底$Q$を持ち、かつ$I$が条件(H)を満たすことである。
• 可解な多項式代数$A$の関連順序付き代数$G^\mathcal{F}(A)$は、均質な可解な多項式代数であり、順序付き技法の適用が可能になる。
• フィルター構造が単項式順序によって誘導されるため、巡回加群$A/L$のゲルファンド＝キリロフ次元とその多重度を計算可能である。
• このような代数のグローバルなホモロジー次元は$\mathrm{gl.dim}\, A \leq n$を満たし、$K_0$群は$\mathbb{Z}$に同型である。これは二次の場合の結果を一般化する。
• 命題2.4の条件を満たす代数のクラス$\mathcal{A}_{\rm gpbw}$はテンソル積に関して閉じており、可解な多項式代数の構造を保つ。
• クラス$\mathcal{A}_{\rm gpbw}$に属する代数は、均質または非均質なコーゾール代数であり、そのリース代数は均質なコーゾール代数である。