Table of Contents
Fetching ...

From pre-Lie bialgebras to phase spaces of Lie algebras: a categorical correspondence

Qi Wang, Xueyi Wang, Jiefeng Liu

TL;DR

The work builds a comprehensive categorical framework linking phase spaces of Lie algebras, pre-Lie bialgebras, Manin triples, classical $\mathfrak s$-matrices, and relative Rota-Baxter operators through coherent homomorphisms and endo/polarization techniques. By translating structural correspondences into functors and equivalences, it unifies endo pre-Lie, endo phase spaces, and endo Manin triples with matched pairs and bialgebras, yielding parallel category structures across the classical objects. It also develops a cohomology theory for symmetric $\mathfrak s$-matrices and a deformation theory via the associated relative Rota-Baxter operators, including a $\psi$-CYBE variant, and establishes precise links between $\mathfrak s$-matrices and RB-operators. The results provide a cohesive, category-theoretic lens on phase spaces, Yang-Baxter-type equations, and their cohomological deformations, with potential applications to integrable systems and geometric structures on Lie groups.

Abstract

This paper establishes a categorical framework for phase spaces of Lie algebras, pre-Lie bialgebras, Manin triples, classical s-matrices, and relative Rota-Baxter operators by introducing the concept of coherent homomorphisms. Starting with endo pre-Lie algebras (pre-Lie algebras equipped with endomorphisms), we extend classical constructions to this enhanced setting, which leads to the notion of coherent endomorphisms for each class of structures. Through polarization, these endomorphisms naturally generalize to coherent homomorphisms, establishing well-defined categories of these algebraic objects. Furthermore, mappings between categories are elevated to functors or equivalences, formalizing interconnections among the constructions. Finally, exploiting the categorical correspondence between s-matrices and relative Rota-Baxter operators, we develop cohomology and deformation of s-matrices, thereby bridging algebraic structures with category-theoretic methods.

From pre-Lie bialgebras to phase spaces of Lie algebras: a categorical correspondence

TL;DR

The work builds a comprehensive categorical framework linking phase spaces of Lie algebras, pre-Lie bialgebras, Manin triples, classical -matrices, and relative Rota-Baxter operators through coherent homomorphisms and endo/polarization techniques. By translating structural correspondences into functors and equivalences, it unifies endo pre-Lie, endo phase spaces, and endo Manin triples with matched pairs and bialgebras, yielding parallel category structures across the classical objects. It also develops a cohomology theory for symmetric -matrices and a deformation theory via the associated relative Rota-Baxter operators, including a -CYBE variant, and establishes precise links between -matrices and RB-operators. The results provide a cohesive, category-theoretic lens on phase spaces, Yang-Baxter-type equations, and their cohomological deformations, with potential applications to integrable systems and geometric structures on Lie groups.

Abstract

This paper establishes a categorical framework for phase spaces of Lie algebras, pre-Lie bialgebras, Manin triples, classical s-matrices, and relative Rota-Baxter operators by introducing the concept of coherent homomorphisms. Starting with endo pre-Lie algebras (pre-Lie algebras equipped with endomorphisms), we extend classical constructions to this enhanced setting, which leads to the notion of coherent endomorphisms for each class of structures. Through polarization, these endomorphisms naturally generalize to coherent homomorphisms, establishing well-defined categories of these algebraic objects. Furthermore, mappings between categories are elevated to functors or equivalences, formalizing interconnections among the constructions. Finally, exploiting the categorical correspondence between s-matrices and relative Rota-Baxter operators, we develop cohomology and deformation of s-matrices, thereby bridging algebraic structures with category-theoretic methods.
Paper Structure (20 sections, 55 theorems, 113 equations)