Symmetric Rota-Baxter systems and applications

TL;DR

This paper introduces symmetric Rota-Baxter antisymmetric infinitesimal bisystems, generalizing existing algebraic structures and exploring their connections to solutions of the associative Yang-Baxter equation, with applications in mathematical physics.

Contribution

It defines symmetric Rota-Baxter ASI bisystems, generalizes several algebraic structures, and links solutions of the associative Yang-Baxter equation to these systems.

Findings

Introduction of symmetric Rota-Baxter ASI bisystems.

Generalization of known algebraic structures.

Construction of solutions to the associative Yang-Baxter equation.

Abstract

Rota-Baxter operators and bialgebras are closely connected in several applications, such as the Connes-Kreimer renormalization framework and the operator approach to the classical Yang-Baxter equation. The concept of a Rota-Baxter system was introduced in 2016 as a generalization of a Rota-Baxter operator. In this work, we introduce a bialgebra structure compatible with a symmetric Rota-Baxter system, called a symmetric Rota-Baxter antisymmetric infinitesimal (ASI) bisystem. This bialgebra is characterized by generalizations of matched pairs of algebras and double constructions of Frobenius algebras to the setting of symmetric Rota-Baxter systems. Investigating the coboundary case leads to an enriched version of the associative Yang-Baxter equation (aYBe) adapted to symmetric Rota-Baxter systems. Antisymmetric solutions of this equation are used to construct symmetric Rota-Baxter ASI bisystems. We also introduce the notion of an $\mathcal{O}$-operator on a symmetric Rota-Baxter system, which produces solutions of the admissible aYBe in such systems and thereby gives rise to symmetric Rota-Baxter ASI bisystems. A symmetric Rota-Baxter bisystem generalizes several known structures, including Rota-Baxter Lie bisystems, Rota-Baxter ASI bialgebras, Rota-Baxter Lie bialgebras, averaging ASI bialgebras, averaging Lie bialgebras, and special apre-perm bialgebras.