[論文レビュー] Some Results on dh-Closed Homogeneous Gr\"obner Bases and dh-Closed Graded Ideals

Huishi Li, Cang Su|arXiv (Cornell University)|Jul 3, 2009

Algebraic structures and combinatorial models参考文献 3被引用数 1

ひとこと要約

本稿は、$K$-代数 $R$ に SM $K$-基底を備えた場合、そのグレブナー基底と $R[t]$ における dh-閉同次グレブナー基底との間の一対一対応を確立する。さらに、$R[t]$ および自由代数における dh-閉同次イデアルがこれらの基底によって特徴付けられることを示し、より単純な同次構造を通じて、Rees代数としてのこのような代数の研究が可能になる。

ABSTRACT

Let $K$ be a field and $R=\oplus_{p\in\mathbb{N}}R_p$ an $\mathbb{N}$-graded $K$-algebra, which has an SM $K$-basis (i.e. a skew multiplicative $K$-basis) such that $R$ holds a Grobner basis theory. It is proved that there is a one-to-one correspondence between the set of Grobner bases in $R$ and the set of dh-closed homogeneous Grobner bases in the polynomial algebra $R[t]$; and that the similar result holds true if $R$ and $R[t]$ are replaced respectively by the free algebra $K $ and the free algebra $K $. Moreover, it is shown that dh-closed graded ideals in $R[t]$ and $K $ can be realized by dh-closed homogeneous Grobner bases. The latter result indeed tells us that algebras defined by dh-homogeneous Grobner bases can be studied as Rees algebras effectively via more simpler algebras as demonstrated in ([7], [8]).

研究の動機と目的

• グレブナー基底と $R[t]$ における dh-閉同次グレブナー基底との間の一対一対応を、$R$ が SM $K$-基底を備えた階付き $K$-代数である場合に確立すること。
• この対応関係を自由代数 $K$ および $K[t]$ の場合に拡張すること。
• dh-閉同次イデアルが、$R[t]$ および自由代数において dh-閉同次グレブナー基底を介して実現可能であることを示すこと。
• dh-同次グレブナー基底によって定義される代数が、より単純な代数的モデルを通じて Rees代数として効果的に解析可能であることを示すこと。
• 複雑な階付き代数の研究を単純化するための理論的基盤を提供すること。

提案手法

• 代数 $R$ にスケュー乗法的（SM）$K$-基底が存在することを用い、階付き $K$-代数 $R$ 内でグレブナー基底理論を構築する。
• $R$ を多項式代数 $R[t]$ に拡張し、グレブナー基底の性質を保つホモジーナイゼーション過程を導入する。
• 次数同次的生成元と特定の割り切り条件の下での閉包性を用いて、$R[t]$ における dh-閉同次グレブナー基底を定義する。
• SM $K$-基底の構造を用いて、$R$ におけるグレブナー基底と $R[t]$ における dh-閉同次グレブナー基底との間の全単射写像を確立する。
• dh-閉同次イデアルが、まさにこのような dh-閉同次グレブナー基底の初期イデアルとして生じることを証明する。
• 既知の Rees代数理論の結果（[7]、[8] で参照）を活用し、dh-同次グレブナー基底によって定義される代数が、より単純な代数の Rees代数として解釈可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 階付き $K$-代数 $R$ に SM $K$-基底を備えた場合、$R$ におけるグレブナー基底と $R[t]$ における dh-閉同次グレブナー基底との間の一対一対応が存在するか？
• RQ2 この対応関係は、自由代数 $K$ 及びその多項式拡張 $K[t]$ に対しても拡張可能か？
• RQ3 どのようにして $R[t]$ および $K[t]$ における dh-閉同次イデアルを dh-閉同次グレブナー基底を用いて特徴付けられるか？
• RQ4 dh-同次グレブナー基底によって定義される代数が、より単純な代数的モデルを通じてどの程度 Rees代数として研究可能になるか？
• RQ5 $R[t]$ および $K[t]$ のどの構造的性質が、dh-閉同次グレブナー基底がすべての関連する同次イデアルを捉えることを保証するか？

主な発見

• $R$ におけるグレブナー基底と $R[t]$ における dh-閉同次グレブナー基底との間には一対一対応が存在する。
• $R$ を自由代数 $K$ に、$R[t]$ を $K[t]$ に置き換えても、同じ対応関係が成り立つ。
• $R[t]$ におけるすべての dh-閉同次イデアルが、dh-閉同次グレブナー基底の初期イデアルとして実現される。
• 同様に、$K[t]$ における dh-閉同次イデアルも、dh-閉同次グレブナー基底によって捉えられる。
• dh-同次グレブナー基底によって定義される代数は、[7] および [8] で示されたように、より単純な代数を用いたモデルを通じて Rees代数として効果的に研究可能である。
• 代数 $R$ に SM $K$-基底が存在することは、対応関係を構築するために必要なグレブナー基底理論の有効性を保証する。