[論文レビュー] Curved O-operator systems

Tianshui Ma, Abdenacer Makhlouf+1 more|arXiv (Cornell University)|Oct 14, 2017

Advanced Topics in Algebra参考文献 11被引用数 9

ひとこと要約

本稿は、Rota-Baxter系と𝒪-作用素の一般化として曲率を含む𝒪作用素系を導入し、曲率付きRota-Baxter代数、(tri) dendriform代数、pre-Lie代数を統一する。曲率付き𝒪作用素系は、結合的、dendriform、pre-Lie代数構造を誘導し、特に二重曲率付きRota-Baxter系が曲率条件を介して弱い擬twistorとpre-Lie代数に結びつく重要な結果を確立する。

ABSTRACT

In this paper, we introduce the notion of curved $\mathcal{O}$-operator systems as a generalization of T. Brzeziński's (curved) Rota-Baxter systems, and then investigate their relations with $\mathcal{O}$-operator systems, (tri)dendriform systems, pre-Lie algebras, associative Yang-Baxter pairs and quasitriangular covariant bialgebras.

研究の動機と目的

• T. Brzezińskiの曲率付きRota-Baxter系とC. M. Baiらの𝒪作用素を一般化し、統一的枠組みを構築すること。
• 曲率付き𝒪作用素系と(dendriform)、pre-Lie代数、結合的代数との関係を調査すること。
• 一般化されたRota-Baxter代数と結合的対、および二重曲率付きRota-Baxter系といった特別なケースを調査すること。
• 二重曲率付きRota-Baxter系と弱い擬twistorおよび曲率写像を有する共伴構造の間の対応関係を確立すること。

提案手法

• A-両側加群V、線形写像R, S: V → A、およびω: V⊗V → Vを備えた5重組(A, V, R, S, ω)として曲率付き𝒪作用素系を定義する。
• R(S(x)·y + x·S(y) + ω(x⊗y))およびS(R(x)·y + x·S(y) + ω(x⊗y))を含む2つの式を用いて系を定義し、曲率項としてω₁ = R∘ωおよびω₂ = S∘ωを導入する。
• RとSを含む修正された積を用いて、A上で結合的代数構造が誘導されることを確立する。
• V上の特定の作用を用いて、曲率付き𝒪作用素系がdendriformおよびtridendriform代数構造を誘導することを示す。
• 二重曲率付きRota-Baxter系を導入し、共伴𝒯および曲率写像ω₁, ω₂を有する二重曲率付き弱い擬twistor Tを構成する。
• μ∘Tが結合的であることと、pre-Lie積a∘b = R(a)b − bS(a)がpre-Lieであることの必要十分条件が、ω₁(a⊗b) − ω₂(b⊗a)がAの中心にあることであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 Rota-Baxter系と𝒪作用素は、曲率項を含む一般化された枠組みにおいてどのように統一できるか？
• RQ2 曲率付き𝒪作用素系からどのような代数的構造（例：dendriform, pre-Lie）が生じるか？
• RQ3 二重曲率付きRota-Baxter系が弱い擬twistor構造を誘導する条件は何か？
• RQ4 曲率写像ω₁とω₂は、誘導された積の結合性およびpre-Lie性にどのように影響するか？
• RQ5 演算a∘b = R(a)b − bS(a)がpre-Lie代数を定義する正確な条件は何か？

主な発見

• 曲率付き𝒪作用素系は、Rota-Baxter系と𝒪作用素を一般化し、曲率付き代数的構造を統一する枠組みを提供する。
• 曲率ωがRとSと特定の適合性条件を満たすとき、V上でdendriform代数構造が誘導される。
• 二重曲率付きRota-Baxter系は、共伴𝒯および曲率写像ω₁, ω₂を有する二重曲率付き弱い擬twistor Tを誘導する。
• 積μ∘Tが結合的であることと、図式(3.8)と(3.9)が可換であること、および方程式(3.7)の曲率条件が同値であることの必要十分条件である。
• 演算a∘b = R(a)b − bS(a)がA上でpre-Lie代数を定義するための必要十分条件は、ω₁(a⊗b) − ω₂(b⊗a)がAの中心にあることである。
• この構成により、曲率制御による非結合性を介して、曲率付きRota-Baxter系とpre-Lie代数の直接的な関係が確立される。