[論文レビュー] Rota-Baxter operators on $ω$-Lie algebras

Yin Chen, Shan Ren+2 more|arXiv (Cornell University)|Feb 20, 2026

Advanced Topics in Algebra被引用数 0

ひとこと要約

この論文は特性が2でない体上の有限次元 ω-Lie代数上のロータ-バター演算子を研究し、互換的な演算子が左手代数、ω-Lie、およびHom-Lie構造を生み出す様子を示し、複素数場上の演算子多様体の幾何を解析する。

ABSTRACT

This article explores Rota-Baxter operators on finite-dimensional $ω$-Lie algebras over a field of characteristic not 2. We provide several methods for constructing left-symmetric algebras, $ω$-Lie algebras, and Hom-Lie algebras via compatible Rota-Baxter operators on a given $ω$-Lie algebra. We also study the geometric structures of compatible Rota-Baxter operators of weight $0$ and isometric Rota-Baxter operators of weight $1$ over the field of complex numbers. In particular, we prove that the affine variety of all isometric Rota-Baxter operators of weight $1$ on any finite-dimensional non-Lie complex simple $ω$-Lie algebra is $1$-dimensional. Furthermore, we show that for every $4$-dimensional non-Lie complex $ω$-Lie algebra, there always exists a nilpotent compatible Rota-Baxter operator of weight $0$ such that the induced Hom-Lie algebra is nonabelian but solvable.

研究の動機と目的

• ω-Lie代数上のロータ-バター演算子と他の非結合代数構造との関係を確立する。
• 互換的なロータ-バター演算子を用いて左手代数、ω-Lie代数、およびHom-Lie代数を構成する方法を提供する。
• C上での互換的および等距離（isometric）ロータ-バター演算子多様体の幾何構造を研究する。
• 低次元のω-Lie代数に対する明示的な計算と分類を示す。
• この設定における表現論と逆行導来の性質への含意を探る。

提案手法

• ω-Lie代数上の重λのロータ-バター演算子と対応する演算子多様体を定義する。
• 重0の演算子を用いたGolubchik–Sokolovの左手代数構成のω版を開発する（Prop. 2.4）。
• 互換的な重0演算子から新しいω-Lie代数を構成する（定理 2.7）。
• 零化可能な互換的重0演算子からHom-Lie代数を構成する（定理 2.12）。
• ロータ-バター演算子と自同型、導来、表現論との関係を示す（Prop. 2.1、Prop. 2.14）。
• ガオブナー基底と計算的理想論を用いて演算子多様体の不可約成分を決定する（セクション 3）。

実験結果

リサーチクエスチョン

• RQ1 ω-Lie代数上のロータ-バター演算子を用いて新しい左手代数、ω-Lie代数、Hom-Lie代数を生成できるか？
• RQ2 互換的（重0）および等距離（重1）のω-Lie代数上のロータ-バター演算子の多様体の幾何構造は特にC上でどうなっているか？
• RQ3 低次元のω-Lie代数（例：3次元・4次元）において、ロータ-バター演算子の存在と誘導代数の性質について何が言えるか？
• RQ4 有限次元の非Lie単純ω-Lie代数における等距離重1ロータ-バター演算子は1次のアフィン多様体を形成するか？
• RQ5 4次元の非Lie ω-Lie代数に対して、非可換可解Hom-Lie構造を生じる互換的重0ロータ-バター演算子を常に見つけられるか？」] ,
• RQ6 key_findings:[
• RQ7 3次元の場合、全ての等距離重1ロータ-バター演算子のイファンス多様体は1次元である（Corollary 3.10）。
• RQ8 4次元の非Lie複 ω-Lie代数ごとに、誘導されたHom-Lie代数が非可換だが可解である nilpotent compatible weight-0 ロータ-バター演算子が存在する（Corollary 4.7）。
• RQ9 ω版Golubchik–Sokolov構成は、imageがker(ω)に入る重0ロータ-バター演算子から左手代数を生み出す（Prop. 2.4、Example 2.5）。
• RQ10 互換的ロータ-バター演算子と互換的自同型導来との対応はR^{-1}を介して存在する（Prop. 2.1とRemark 2.2–2.3）。
• RQ11 3Dの場合、B^c(L1)はアフィン多様体で2つの3次元不可約成分を持つ（Prop. 3.2、Corollary 3.5）。
• RQ12 既知のω-Lie代数から互換的重0演算子Rを用いて新しいω-Lie代数L_Rを構成する過程は反復可能である（Remark 2.11）。