[論文レビュー] Relative Rota-Baxter operators and crossed homomorphisms on Lie 2-groups

Honglei Lang, Shining Wang|arXiv (Cornell University)|Feb 2, 2026

Advanced Topics in Algebra被引用数 0

ひとこと要約

この論文は Lie 2-群上の相対 Rota-Baxter 演算子を定義し、それを Lie 群の横断モジュール上の相対 Rota-Baxter 演算子と同値であることを証明し、分解定理と圏論的 Yang–Baxter 方程式の解を確立し、この設定における相対 Rota-Baxter 演算子の逆作用として横断同型を研究する。

ABSTRACT

A relative Rota-Baxter operator on Lie 2-groups is introduced as a pair of relative Rota-Baxter operators on the underlying Lie groups which is also a Lie groupoid morphism. Such an operator induces a factorization theorem for Lie 2-groups and gives rise to a categorical solution of the Yang-Baxter equation. We further define relative Rota-Baxter operators on Lie group crossed modules. The well-known one-to-one correspondence between Lie 2-groups and crossed modules is extended to an equivalence between the respective relative Rota-Baxter operators on these two structures. Finally, as the formal inverse of relative Rota-Baxter operators, crossed homomorphisms on Lie 2-groups are also studied.

研究の動機と目的

• Lie 2-群と横断モジュール上の categorified Rota-Baxter 構造の研究を動機づける。
• Lie 2-群上の相対 Rota-Baxter 演算子を定義し、それを Lie 2-群への作用と関連づける。
• Lie 2-群上の相対 Rota-Baxter 演算子と Lie 群横断モジュール上のそれとの同値性を確立する。
• Rota-Baxter Lie 2-群の分解定理を構築し、Yang–Baxter 方程式の圏論的解を構成する。
• Lie 2-群上の相対 Rota-Baxter 演算子の横断同型を、相対 Rota-Baxter 演算子の形式的な逆として研究する。

提案手法

• 基礎となる Lie 群上の相対 Rota-Baxter 演算子の対と Lie 群群oids の射を用いて Lie 2-群上の相対 Rota-Baxter 演算子の概念を導入する。
• こうした演算子を半直積 Lie 2-群として特徴づけ、グラフが Lie 2-部分群を形成すること（定理3.9）を示す。
• 相対 Rota-Baxter 演算子が子孫 Lie 2-群と誘導作用をもたらすこと（定理3.10）を示す。
• Rota-Baxter Lie 2-群の分解定理（定理3.17）を導出し、Yang–Baxter 方程式の圏論的解（定理3.18）を構築する。
• Lie 群横断モジュール上の相対 Rota-Baxter 演算子へ理論を拡張し、 Lie 2-群上の演算子理論との全単射を確立する（定理4.6）。
• 微分可能な対応と Lie アルジェブラ横断モジュールとの関係を議論する（定理4.18）。
• Lie 2-群上の横断同型を相対 Rota-Baxter 演算子の形式的な逆として導入する（定理5.6）。

実験結果

リサーチクエスチョン

• RQ1 Lie 2-群に対して相対 Rota-Baxter 演算子をどう定義し、その主な構造的性質は何か？
• RQ2 Lie 2-群上の相対 Rota-Baxter 演算子と Lie 群横断モジュール上のそれとの関係はどうなるか？
• RQ3 これらの演算子から分解定理と圏論的 Yang–Baxter 解は得られるか？
• RQ4 この高次カテゴリ設定で相対 Rota-Baxter 演算子の逆としての横断同型の役割は何か？
• RQ5 相対 Rota-Baxter 理論の無限小（Lie 代数）類比は横断モジュールに対してどうなるか？

主な発見

• Lie 2-群上の相対 Rota-Baxter 演算子の厳密な定義は、基礎となる Lie 群上の演算子二つと Lie 群群oid 同型写像の対を用いて与えられる。
• 半直積構成により特徴づけが得られ: 演算子は半直積の Lie 2-部分群に対応する（Gr(B) は Lie 2-部分群）。
• 理論は子孫 Lie 2-群と誘導作用を生み出し、演算子を新たな Lie 2-群構造へ結びつける（定理3.10）。
• Lie 2-群上の Rota-Baxter の分解定理を確立し、Lie 群の分解結果に類似する（定理3.17）。
• 相対 Rota-Baxter 演算子から Yang–Baxter 方程式の圏論的解を構築する（定理3.18）。
• Lie 2-群上の相対 Rota-Baxter 演算子は Lie 群横断モジュール上の対応する演算子と全単射で対応し、無限小の対応関係も検討する（定理4.6および4.18）。
• Lie 2-群上の横断同型を相対 Rota-Baxter 演算子の形式的逆として研究する（定理5.6）。