[論文レビュー] Bialgebra structures of 2-associative algebras

Khadra Dekkar, Abdenacer Makhlouf|ArXiv.org|Sep 6, 2008

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

ひとこと要約

本稿は、アソシエイティブ代数から拡張されたKaplanskyの構成を用いて、2-結合的双代数、2-双代数、2-2-双代数という新しい双代数構造を導入し、分類する。2つのアソシエイティブ代数を用いた明示的構成が行われ、次元3まですべての構造を分類し、13個の自明な2-結合的双代数と、タイプ(1,1)の25個の同型類の2-双代数を同定する。低次元における非同型例の完全な列挙がなされている。

ABSTRACT

This work is devoted to study new bialgebra structures related to 2-associative algebras. A 2-associative algebra is a vector space equipped with two associative multiplications. We discuss the notions of 2-associative bialgebras, 2-bialgebras and 2-2-bialgebras. The first structure was revealed by J.-L. Loday and M. Ronco in an analogue of a Cartier-Milnor-Moore theorem, the second was suggested by Loday and the third is a variation of the second one. The main results of this paper are the construction of 2-associative bialgebras, 2-bialgebras and 2-2-bialgebras starting from an associative algebra and the classification of these structures in low dimensions.

研究の動機と目的

• アソシエイティブ代数へのKaplanskyの構成を拡張し、非ココミュタティブな設定へとCartier-Milnor-Mooreの定理を一般化する。
• 任意の2つのアソシエイティブ代数から2-結合的双代数および関連構造を生成するKaplanskyの双代数構成を一般化する。
• 体上の次元2および3のユニタリ2-結合的双代数、2-双代数、2-2-双代数をすべて分類する。
• これらの構造の非同型例を特定・列挙し、特にインフィニティズマル双代数およびRota-Baxter代数との関係に焦点を当てる。
• 低次元の場合の余乗法および余単位の明示的公式を提供し、構造的および計算的解析を可能にする。

提案手法

• Kaplanskyの双代数構成を2つのアソシエイティブ代数から2-結合的双代数を生成するように適応し、テンソル積構造と適合条件を用いる。
• 2-結合的双代数を、2つの結合的乗法と、それらと適合する余乗法および余単位を持つベクトル空間として定義し、代数準同型条件を満たす。
• 余自由な余代数の普遍性を用いて、アソシエイティブ代数から双代数を構成し、乗法と余乗法の適合を保証する。
• 次元2および3の基底における余乗法および余単位の明示的行列表現を用い、ケース解析により構造を分類する。
• ユニタリティおよびインフィニティズマル双代数条件を課して、可能な双代数の空間を制限し、Rota-Baxter代数候補を同定する。
• 同型不変量および構造的制約を用いて、2-双代数および2-2-双代数の非同型類を列挙する。

実験結果

リサーチクエスチョン

• RQ1 2つの適合する結合的乗法と2つの適合する余乗法を含む双代数構造は、どのように一般化できるか？
• RQ2 2つのアソシエイティブ代数がKaplanskyの構成によって2-結合的双代数を生成するための条件は何か？
• RQ3 次元2および3において、非同型の2-結合的双代数、2-双代数、2-2-双代数はそれぞれいくつ存在するか？
• RQ4 これらの双代数のうち、インフィニティズマル双代数構造をもつものはどれであり、それらはRota-Baxter代数とどのように関係するか？
• RQ5 2-2-双代数の分類は何か？次元3では一意の例が存在するか？

主な発見

• 3次元の非同型な自明な2-結合的双代数は13個存在する（両方の演算で同一の乗法をもつ）。
• 次元3において、タイプ(1,1)の2-双代数は25個の同型類、タイプ(1,2)は159個、タイプ(2,1)は1個、タイプ(2,2)は3個存在する。
• 次元3には2-2-双代数が唯一1つ存在し、特定の余乗法Δ₁,₅³およびΔ₂,₁³をもつ乗法μ₁³とμ₂³によって明示的に与えられる。
• ユニタリインフィニティズマル双代数は列挙された：μ₁³に対して8個、μ₂³に対して2個、μ₃³に対して2個、μ₅³に対して1個、μ₄³に対して0個。
• 乗法μ₄³に対しては双代数構造は存在せず、その場合に構造的障害が生じていることが示された。
• 乗法(μ₁³, μ₂³)と余乗法(Δ₁,₅³, Δ₂,₁³)は、次元3における唯一の2-2-双代数をなしており、その一意性が確認された。