TY - JOUR

T1 - Deformations and Their Controlling Cohomologies of O -Operators

AU - Tang, Rong

AU - Bai, Chengming

AU - Guo, Li

AU - Sheng, Yunhe

N1 - Publisher Copyright:
© 2019, Springer-Verlag GmbH Germany, part of Springer Nature.

PY - 2019/6/1

Y1 - 2019/6/1

N2 - O-operators are important in broad areas of mathematics and physics, such as integrable systems, the classical Yang–Baxter equation, pre-Lie algebras and splitting of operads. In this paper, a deformation theory of O-operators is established in consistence with the general principles of deformation theories. On the one hand, O-operators are shown to be characterized as the Maurer–Cartan elements in a suitable graded Lie algebra. A given O-operator gives rise to a differential graded Lie algebra whose Maurer–Cartan elements characterize deformations of the given O-operator. On the other hand, a Lie algebra with a representation is identified from an O-operator T such that the corresponding Chevalley–Eilenberg cohomology controls deformations of T, thus can be regarded as an analogue of the André–Quillen cohomology for the O-operator. Thereafter, linear and formal deformations of O-operators are studied. In particular, the notion of Nijenhuis elements is introduced to characterize trivial linear deformations. Formal deformations and extendibility of order n deformations of an O-operator are also characterized in terms of the new cohomology theory. Applications are given to deformations of Rota–Baxter operators of weight 0 and skew-symmetric r-matrices for the classical Yang–Baxter equation. For skew-symmetric r-matrices, there is an independent Maurer–Cartan characterization of the deformations as well as an analogue of the André–Quillen cohomology, which turn out to have an explicit relationship with the ones obtained as O-operators associated to the coadjoint representations. Finally, linear deformations of skew-symmetric r-matrices and their corresponding triangular Lie bialgebras are studied.

AB - O-operators are important in broad areas of mathematics and physics, such as integrable systems, the classical Yang–Baxter equation, pre-Lie algebras and splitting of operads. In this paper, a deformation theory of O-operators is established in consistence with the general principles of deformation theories. On the one hand, O-operators are shown to be characterized as the Maurer–Cartan elements in a suitable graded Lie algebra. A given O-operator gives rise to a differential graded Lie algebra whose Maurer–Cartan elements characterize deformations of the given O-operator. On the other hand, a Lie algebra with a representation is identified from an O-operator T such that the corresponding Chevalley–Eilenberg cohomology controls deformations of T, thus can be regarded as an analogue of the André–Quillen cohomology for the O-operator. Thereafter, linear and formal deformations of O-operators are studied. In particular, the notion of Nijenhuis elements is introduced to characterize trivial linear deformations. Formal deformations and extendibility of order n deformations of an O-operator are also characterized in terms of the new cohomology theory. Applications are given to deformations of Rota–Baxter operators of weight 0 and skew-symmetric r-matrices for the classical Yang–Baxter equation. For skew-symmetric r-matrices, there is an independent Maurer–Cartan characterization of the deformations as well as an analogue of the André–Quillen cohomology, which turn out to have an explicit relationship with the ones obtained as O-operators associated to the coadjoint representations. Finally, linear deformations of skew-symmetric r-matrices and their corresponding triangular Lie bialgebras are studied.

UR - http://www.scopus.com/inward/record.url?scp=85061193097&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85061193097&partnerID=8YFLogxK

U2 - 10.1007/s00220-019-03286-x

DO - 10.1007/s00220-019-03286-x

M3 - Article

AN - SCOPUS:85061193097

SN - 0010-3616

VL - 368

SP - 665

EP - 700

JO - Communications In Mathematical Physics

JF - Communications In Mathematical Physics

IS - 2

ER -