[論文レビュー] O-operators on associative algebras and dendriform algebras

Chengming Bai, Li Guo+1 more|arXiv (Cornell University)|Mar 11, 2010

Advanced Topics in Algebra参考文献 20被引用数 5

ひとこと要約

この論文は、結合的代数上のO作用素と双対代数および三重代数の間の包括的な対応関係を確立し、古典的なRota-Baxter接続を一般化する。すべての双対代数および三重代数がO作用素から生じることを証明し、可逆なO作用素の同値類とこれらの代数の同値類の間の明示的な全単射を構成することで、分野における既存の結果を統合・拡張する。

ABSTRACT

An O-operator is a relative version of a Rota-Baxter operator and, in the Lie algebra context, is originated from the operator form of the classical Yang-Baxter equation. We generalize the well-known construction of dendriform dialgebras and trialgebras from Rota-Baxter algebras to a construction from O-operators. We then show that this construction from O-operators gives all dendriform dialgebras and trialgebras. Furthermore there are bijections between certain equivalence classes of invertible O-operators and certain equivalence classes of dendriform dialgebras and trialgebras.

研究の動機と目的

• 双対代数の既知のRota-Baxter作用素による構成を、より広いクラスの作用素へ一般化すること。
• すべての双対代数および三重代数が結合的代数上のO作用素から生じることを示すこと。
• 可逆なO作用素の同値類と双対代数および三重代数の同値類の間の全単射対応を確立すること。
• 作用素の定義域および値域におけるO作用素を定義・研究し、定義域上の構造と値域上の構造を区別すること。
• O作用素の値域における代数的構造が元の結合的積と整合的であり、積が双対成分に分解されることを証明すること。

提案手法

• A-bimodule V におけるO作用素を、すべての u, v ∈ V に対して α(u)∗α(v) = α(ℓ(α(u))v) + α(ur(α(v))) を満たす k-線形写像 α: V → A として定義する。
• x ≺α y = x r(α(y)) および x ≻α y = ℓ(α(x)) y を用いて、V に双対代数構造を構成する。
• 非ゼロの重みを持つ結合的代数上のO作用素へ一般化し、定義域に双対三重代数構造を導く。
• α を通じて操作を引き戻すことにより、A に ≺α,A、≻α,A、⋅α,A を定義する。
• A 上の操作が元の結合的積を ∗ = ≺α,A + ≻α,A + ⋅α,A に分解することを証明する。
• O作用素の同値性が誘導された双対代数構造の同型にちょうど一致することを示し、O作用素と双対代数の間の同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 すべての双対代数は、結合的代数上のO作用素から実現可能か？
• RQ2 双対代数および三重代数をすべて包含する、Rota-Baxter構成の一般化は存在するか？
• RQ3 O作用素は定義域および値域の両方で整合的な双対構造を誘導するか？
• RQ4 可逆なO作用素の同値類と双対代数および三重代数の同値類の間には自然な全単射が存在するか？
• RQ5 O作用素の同型は、値域における誘導された双対代数の同型とどのように関係するか？

主な発見

• すべての双対代数は、結合的代数上のbimoduleにおけるO作用素から生じる。これはRota-Baxter構成を一般化する。
• すべての三重代数は、非ゼロの重みを持つ結合的代数上のO作用素から生じる。
• 可逆なO作用素の同値類と双対代数および三重代数の同値類の間には全単射が存在する。
• O作用素 α: V → A の値域 A における双対構造は、元の結合的積 ∗ と整合的であり、∗ = ≺α,A + ≻α,A + ⋅α,A に分解される。
• O作用素の同型は、値域 A における誘導された双対三重代数の同型にちょうど一致する。
• この対応は函子的全単射によって定量的に記述され、O作用素の構成がすべてのこのような双対代数を生成するのに必要かつ十分であることを証明する。