[論文レビュー] Gröbner-Shirshov Bases and Hilbert Series of Free Dendriform Algebras

Yuqun Chen, Bin Wang|arXiv (Cornell University)|Sep 1, 2010

Advanced Topics in Algebra参考文献 4被引用数 7

ひとこと要約

この論文は、L代数のComposition-Diamond補題を活用することで、有限生成元集合上の自由dendriform代数に対してGröbner-Shirshov基底を確立し、正規形を導出し、Hilbert級数の明示的計算を実行する。主な結果は、自由dendriform代数のHilbert級数に対する閉形式の式であり、生成集合が有限である場合、そのGelfand-Kirillov次元が無限大であることを示唆する。

ABSTRACT

In this paper, we give a Gröbner-Shirshov basis of the free dendriform algebra as a quotient algebra of an $L$-algebra. As applications, we obtain a normal form of the free dendriform algebra. Moreover, Hilbert series and Gelfand-Kirillov dimension of finitely generated free dendriform algebras are obtained.

研究の動機と目的

• 自由L代数の商としての自由dendriform代数に対してGröbner-Shirshov基底を構築すること。
• 基底を用いて自由dendriform代数の要素に対する正規形を導出すること。
• 有限生成自由dendriform代数のHilbert級数を計算すること。
• そのような代数のGelfand-Kirillov次元を特定すること。
• 自由dendriform代数の同次成分の次元に対する明示的公式を提供すること。

提案手法

• L代数のComposition-Diamond補題を用いて、自由L代数内にGröbner-Shirshov基底を構成する。
• 正規L語を定義し、それらの上に単項式順序を導入することで、表現の一意性を保証する。
• Gröbner-Shirshov基底を適用して、自由dendriform代数の正規形を導出する。
• 正規dendriform語の構造に基づいて再帰的方程式を立て、Hilbert級数を導出する。
• Hilbert級数のための連立式を解き、一般化された二項級数を含む閉形式の式を得る。
• Hilbert級数の係数の漸近的解析を用いて、Gelfand-Kirillov次元が無限大であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 自由dendriform代数は自由L代数の商としてどのように構造化されるのか。また、そのためにGröbner-Shirshov基底を構築できるか。
• RQ2 自由dendriform代数の要素の正規形は何か。また、Gröbner-Shirshov基底からどのように導出されるか。
• RQ3 有限生成自由dendriform代数のHilbert級数は何か。また、閉形式で表現可能か。
• RQ4 有限生成集合をもつ自由dendriform代数のGelfand-Kirillov次元は何か。
• RQ5 自由dendriform代数の同次成分の次元は、次数とともにどのように増加するか。

主な発見

• 生成元の集合のサイズが $ n $ である自由dendriform代数のHilbert級数は $ \mathcal{H}(DD(X),t) = \frac{1 - 2nt - \sqrt{1 - 4nt}}{2nt} $ である。
• 自由dendriform代数の $ m $ 番目の同次成分の次元は、$ m \geq 1 $ に対して $ \frac{(2m)! \cdot n^m}{(m+1)! \, m!} $ である。
• Hilbert級数は、$ \sum_{m=1}^{\infty} \frac{(2m)! \cdot n^m \cdot t^m}{(m+1)! \, m!} $ のべき級数展開をもつ。
• 有限生成集合をもつ自由dendriform代数のGelfand-Kirillov次元は無限大である。
• 同次成分の次元の増加率は任意の多項式を上回り、Gelfand-Kirillov次元が無限大であることを確認する。
• 次元公式の対数的増加の漸近的解析により、$ d \to \infty $ のとき発散することを示し、結果が導かれる。