Prerpints.org logo
Preprint
Article

Generalized Reynolds Operators on Hom-Lie Triple Systems

Altmetrics

Downloads

85

Views

143

Comments

0

A peer-reviewed article of this preprint also exists.

This version is not peer-reviewed

Submitted:

31 December 2023

Posted:

02 January 2024

You are already at the latest version

Alerts
Abstract
Uchino first initiated the study of generalized Reynolds operators on associative algebras. Recently, related research has become a hot topic. In this paper, we first introduce the notion of generalized Reynolds operators on Hom-Lie triple systems associated to a representation and a 3-cocycle. Then, we develop cohomology of generalized Reynolds operators on Hom-Lie triple systems with coefficients in a suitable representation. As applications, we use the first cohomology group to classify linear deformations and we study the obstruction class of an extendable order $n$ deformation. Finally, we introduce and investigate Hom-NS-Lie triple system as the underlying structure of generalized Reynolds operators on Hom-Lie triple systems.
Keywords: 
Subject: Computer Science and Mathematics  -   Algebra and Number Theory

MSC:  17A30; 17B38; 17B56; 17B61

1. Introduction

Lie triple system first appeared in Cartan’s work [4] on Riemannian geometry. Since then, Jacobson [14,15] studied Lie triple systems from Jordan theory and quantum mechanics. Lie triple systems extend the classical theory of Lie algebras and Lie groups by introducing a trilinear product, capturing the interplay between three elements. After that, Lie triple systems have found applications in diverse fields such as quantum mechanics, differential geometry and numerical analysis of differential equations. As a Hom-type algebra [11] generalization of Lie triple system, Hom-Lie triple system was introduced by Yau in [29]. Further, Ma et al. [20] established the cohomology, central extensions and deformations of Hom-Lie triple systems. More research on Hom-Lie triple systems have been developed, see [1,13,24,30] and references cited therein.
The notion of Rota-Baxter operators on associative algebras was introduced by Baxter [3] in his study of the fluctuation theory. Later, the notion of a relative Rota-Baxter operator (also called an O -operator) on a Lie algebra was independently introduced by Kupershmidt [17] to better understand the classical Yang-Baxter equation. Recently, relative Rota-Baxter operators were widely studied, see [2,5,6,18,21,26]. In addition, other operators related to (relative) Rota-Baxter operators are constantly emerging. Among them is Reynolds operator in fluid dynamics, which was originally proposed by Reynolds [23] in his renowned work on fluctuation theory. And then, Kamp e ´ de F e ´ riet [16] created the notion of the Reynolds operator as a mathematical subject in general. Inspired by the twisted Poisson structure, Uchino [22] introduced the generalized Reynolds operators on associative algebras, also known as twisted Rota-Baxter operators, and studied its relationship with NS-algebras.
In recent years, Das [8] introduced the cohomology of generalized Reynolds operators on associative algebras and considers NS-algebras as the underlying structure motivated by Uchino’s work. He also developed the notions of generalized Reynolds operators on Lie algebras and NS-Lie algebras in [9]. Generalized Reynolds operators on other algebraic structures have also been widely studied, including 3-Lie algebras [7,12], 3-Hom-Lie algebras [19], Lie-Yamaguti algebras [25], Lie triple systems [10,25] and Lie supertriple systems [27].
Inspired by these works, we propose generalized Reynolds operators on Hom-Lie triple systems, investigate the corresponding cohomology theory which will be used to describe deformations and establish Hom-NS-Lie triple system as the underlying structure in present paper.
The paper is organized as follows. In Section 2, we recall some basic notions and facts about Hom-Lie triple systems. In Section 3, we introduce the notion of generalized Reynolds operators on a Lie triple system and we give some constructions. In Section 4, we develop the cohomologies of generalized Reynolds operators on Hom-Lie triple systems with coefficients in a suitable representation.. In Section 5, we study linear deformations and higher order deformations of generalized Reynolds operators on Hom-Lie triple systems via the cohomology theory. In Section 6, we introduce the notion of Hom-NS-Lie triple systems, which is the underlying algebraic structure of generalized Reynolds operators on Hom-Lie triple systems.
Throughout this paper, K denotes a field of characteristic zero. All the vector spaces and (multi)linear maps are taken over K .

2. Preliminaires

In this section, we will briefly recall representations and cohomology of Hom-Lie triple systems from [29] and [20].
A Hom-Lie triple system (Hom-L.t.s.) is a triplet ( L , [ − , − , − ] , α ) in which L is a vector space together with a trilinear operation [ − , − , − ] : L × L × L → L and a linear map α : L → L , called the twisted map, satisfying α ( [ a , b , c ] ) = [ α ( a ) , α ( b ) , α ( c ) ] such that
[ a , b , c ] + [ b , a , c ] = 0 ,
[ a , b , c ] + [ c , a , b ] + [ b , c , a ] = 0 ,
[ α ( a ) , α ( b ) , [ x , y , z ] ] = [ [ a , b , x ] , α ( y ) , α ( z ) ] + [ α ( x ) , [ a , b , y ] , α ( z ) ] + [ α ( x ) , α ( y ) , [ a , b , z ] ] ,
where x , y , z , a , b ∈ L . In particular, ( L , [ − , − , − ] , α ) is called regular Hom-Lie triple system if α is an algebraic automorphism of L .
A homomorphism between two Hom-Lie triple systems ( L 1 , [ − , − , − ] 1 , α 1 ) and ( L 2 , [ − , − , − ] 2 , α 2 ) is a linear map φ : L 1 → L 2 satisfying
φ ( α 1 ( x ) ) = α 2 ( φ ( x ) ) , φ ( [ x , y , z ] 1 ) = [ φ ( x ) , φ ( y ) , φ ( z ) ] 2 , ∀ x , y , z ∈ L 1 .
Example 2.1.
Let ( L , [ − , − ] , α ) be a Hom-Lie algebra, then ( L , [ − , − , − ] , α ) is a Hom-Lie triple system, where [ x , y , z ] = [ [ x , y ] , α ( z ) ] , ∀ x , y , z ∈ L .
Note that Yamaguti [28] introduced the representation and cohomology theory of Lie triple system. Furthermore, based on Yamaguti’s work, the authors in [20] developed the representation and cohomology theory of Hom-Lie triple system, which can be described as follows.
Definition  2.2.
[20] A representation of a Hom-Lie triple system ( L , [ − , − , − ] , α ) on a Hom-vector space ( V , β ) is a bilinear map θ : L × L → End ( V ) , such that for all x , y , a , b ∈ L
θ ( α ( x ) , α ( y ) ) ∘ β = β ∘ θ ( x , y ) ,
θ ( α ( a ) , α ( b ) ) θ ( x , y ) − θ ( α ( y ) , α ( b ) ) θ ( x , a ) − θ ( α ( x ) , [ y , a , b ] ) ∘ β + D ( α ( y ) , α ( a ) ) θ ( x , b ) = 0 ,
θ ( α ( a ) , α ( b ) ) D ( x , y ) − D ( α ( x ) , α ( y ) ) θ ( a , b ) + θ ( [ x , y , a ] , α ( b ) ) ∘ β + θ ( α ( a ) , [ x , y , b ] ) ∘ β = 0 ,
where D ( x , y ) = θ ( y , x ) − θ ( x , y ) . We also denote a representation of L on ( V , β ) by ( V , β ; θ ) . In particular, ( V , β ; θ ) is called regular representation of L if β is an automorphism of vector space V.
Example 2.3.
Let ( L , [ − , − , − ] , α ) be a Hom-Lie triple system. Define bilinear map
R : L × L → End ( L ) , ( a 1 , a 2 ) ↦ ( x ↦ [ x , a 1 , a 2 ] ) ,
with L ( a 1 , a 2 ) ( x ) = R ( a 2 , a 1 ) x − R ( a 1 , a 2 ) x = [ a 1 , a 2 , x ] . Then, ( L , α ; R ) is a representation of the Hom-Lie triple system L , which is called the adjoint representation of L .
Let ( V , β ; θ ) be a representation of a Hom-Lie triple system ( L , [ − , − , − ] , α ) . Denote the ( 2 n + 1 ) -cochains of L with coefficients in representation ( V , β ; θ ) by
C HLts 2 n + 1 ( L , V ) : = { f ∈ Hom ( L ⊗ 2 n + 1 , V ) | β ( f ( a 1 , ⋯ , a 2 n + 1 ) = f ( α ( a 1 ) , ⋯ , α ( a 2 n + 1 ) ) , f ( a 1 , ⋯ , a 2 n − 2 , a , b , c ) + f ( a 1 , ⋯ , a 2 n − 2 , b , a , c ) = 0 , ⥁ a , b , c f ( a 1 , ⋯ , a 2 n − 2 , a , b , c ) = 0 } .
For n ≥ 1 , let δ : C HLts 2 n − 1 ( L , V ) → C HLts 2 n + 1 ( L , V ) be the corresponding coboundary operator of the Hom-Lie triple system ( L , [ − , − , − [ , α ) with coefficients in the representation ( V , β ; θ ) , More precisely, for a 1 , ⋯ , a 2 n + 1 ∈ L and f ∈ C HLts 2 n − 1 ( L , V ) , as
δ f ( a 1 , ⋯ , a 2 n + 1 ) = θ ( α n − 1 ( a 2 n ) , α n − 1 ( a 2 n + 1 ) ) f ( a 1 , ⋯ , a 2 n − 1 ) − θ ( α n − 1 ( a 2 n − 1 ) , α n − 1 ( a 2 n + 1 ) ) f ( a 1 , ⋯ , a 2 n − 2 , a 2 n ) + ∑ i = 1 n ( − 1 ) i + n D ( α n − 1 ( a 2 i − 1 ) , α n − 1 ( a 2 i ) ) f ( a 1 , ⋯ , a 2 i − 2 , a 2 i + 1 , ⋯ , a 2 n + 1 ) + ∑ i = 1 n ∑ j = 2 i + 1 2 n + 1 ( − 1 ) i + n + 1 f ( α ( a 1 ) , ⋯ , α ( a 2 i − 2 ) , α ( a 2 i + 1 ) , ⋯ , [ a 2 i − 1 , a 2 i , a j ] , ⋯ , α ( a 2 n + 1 ) ) .
So δ ∘ δ = 0 . See [20] for more details.
In particular, for f ∈ C HLts 1 ( L , V ) , f is a 1-cocycle on ( L , [ − , − , − ] , α ) with coefficients in ( V , β ; θ ) if δ f = 0 , i.e.,
θ ( a 2 , a 3 ) f ( a 1 ) − θ ( a 1 , a 3 ) f ( a 2 ) + D ( a 1 , a 2 ) f ( a 3 ) − f ( [ a 1 , a 2 , a 3 ] ) = 0 .
A 3-cochain H ∈ C HLts 3 ( L , V ) is a 3-cocycle on ( L , [ − , − , − ] , α ) with coefficients in ( V , β ; θ ) if δ H = 0 , i.e.,
θ ( α ( a 4 ) , α ( a 5 ) ) H ( a 1 , a 2 , a 3 ) − θ ( α ( a 3 ) , α ( a 5 ) ) H ( a 1 , a 2 , a 4 ) − D ( α ( a 1 ) , α ( a 2 ) ) H ( a 3 , a 4 , a 5 ) + D ( α ( a 3 ) , α ( a 4 ) ) H ( a 1 , a 2 , a 5 ) + H ( [ a 1 , a 2 , a 3 ] , α ( a 4 ) , α ( a 5 ) ) + H ( α ( a 3 ) , [ a 1 , a 2 , a 4 ] , α ( a 5 ) ) + H ( α ( a 3 ) , α ( a 4 ) , [ a 1 , a 2 , a 5 ] ) − H ( α ( a 1 ) , α ( a 2 ) , [ a 3 , a 4 , a 5 ] ) = 0 .

3. Generalized Reynolds operators on Hom-Lie triple systems

In this section, we introduce the notion of generalized Reynolds operators on Hom-Lie triple systems, which can be regarded as the generalization of relative Rota-Baxter operators on Hom-Lie triple systems [18,26] and generalized Reynolds operators on Lie triple systems [10,25]. We give its characterization by a graph and provide some examples.
Definition 3.1.  (i) Let ( L , [ − , − , − ] , α ) be a Hom-Lie triple system and ( V , β ; θ ) be a representation of L . A linear operator R : V → L is called a generalized Reynolds operator on Hom-Lie triple system associated to ( V , β ; θ ) and 3-cocycle H if R satisfies:
α ( R u ) = R β ( u ) ,
[ R u , R v , R w ] = R ( θ ( R v , R w ) u + D ( R u , R v ) w − θ ( R u , R w ) v + H ( R u , R v , R w ) ) ,
where u , v , w ∈ V .
(ii) A morphism of generalized Reynolds operators from R to R ′ consists of a pair ( η , ζ ) of a Hom-Lie triple system morphism η : ( L , [ − , − , − ] , α ) → ( L ′ , [ − , − , − ] ′ , α ′ ) and a linear map ζ : V → V ′ satisfying
α ′ ∘ η = η ∘ α , β ′ ∘ ζ = ζ ∘ β ,
η ∘ R = R ′ ∘ ζ ,
ζ ( θ ( a , b ) u ) = θ ′ ( η ( a ) , η ( b ) ) ζ ( u ) ,
ζ ( H ( a , b , c ) ) = H ′ ( η ( a ) , η ( b ) , η ( c ) ) ,
for a , b , c ∈ L , u ∈ V .
Remark 3.2.  (i) A generalized Reynolds operator R on Hom-Lie triple system ( L , [ − , − , − ] , α ) with α = id is nothing but a generalized Reynolds operator R on Lie triple system ( L , [ − , − , − ] ) . See [10,25] for more details about generalized Reynolds operators on Lie triple systems.
(ii) Any relative Rota-Baxter operator (in particular, Rota-Baxter operator of weight 0) on a Hom-Lie triple system is a generalized Reynolds operator with H = 0 . See [18,26] for more details about relative Rota-Baxter operators on Hom-Lie triple systems.
Example 3.3.
Let ( V , β ; θ ) be a representation of a Hom-Lie triple system ( L , [ − , − , − ] , α ) . Suppose that f : L → V is an invertible linear map and f satisfies β ∘ f = f ∘ α , take H = − δ f . Then R = f − 1 : V → L is a generalized Reynolds operator.
Example 3.4.
In [13], Hou, Ma and Chen introduced the notion of Nijenhuis operator by the 2-order deformation of Hom-Lie triple system ( L , [ − , − , − ] , α ) . More precisely, a linear map N : L → L is called a Nijenhuis operator if for all a , b , c ∈ L , the following equations hold:
N ∘ α = α ∘ N , [ N a , N b , N c ] = N ( [ a , N b , N c ] + [ N a , b , N c ] + [ N a , N b , c ] ) − N 2 ( [ N a , b , c ] + [ a , N b , c ] + [ a , b , N c ] ) + N 3 [ a , b , c ] .
In this case, the Hom-vector space ( L , α ) carries a new Hom-Lie triple system structure with bracket
[ a , b , c ] N = [ a , N b , N c ] + [ N a , b , N c ] + [ N a , N b , c ] − N ( [ N a , b , c ] + [ a , N b , c ] + [ a , b , N c ] ) + N 2 [ a , b , c ] , ∀ a , b , c ∈ L .
This deformed Hom-Lie triple system L N = ( L , [ − , − , − ] N , α ) has a representation on ( L , α ) by θ N ( a , b ) c = [ c , N a , N b ] , for a , b ∈ L N , c ∈ L . The map H : L N × L N × L N → L , H ( a , b , c ) = − N ( [ N a , b , c ] + [ a , N b , c ] + [ a , b , N c ] ) + N 2 [ a , b , c ] is a 3-cocycle with coefficients in ( L , α ; θ N ) . Moreover, the identity map i d : L → L N is a generalized Reynolds operator.
Example 3.5.
Let ( L , [ − , − , − ] , α ) be a Hom-Lie triple system and ( L , α ; R ) the adjoint representation. Set the 3-cocycle H ( a , b , c ) = − [ a , b , c ] , for a , b , c ∈ L , then, a linear operator T : L → L defined by Eqs. (3.1) and (3.2) is called a Reynolds operator on ( L , [ − , − , − ] , α ) , more specifically, T satisfies:
α ( T a ) = T α ( a ) ,
[ T a , T b , T c ] = T ( [ T a , T b , c ] + [ a , T b , T c ] + [ T a , b , T c ] − [ T a , T b , T c ] ) ,
where a , b , c ∈ L .
Example 3.6.
Let D : L → L be a derivation on a Hom-Lie triple system ( L , [ − , − , − ] , α ) . If D + 1 2 i d is invertible, then ( D + 1 2 i d ) − 1 is a Reynolds operator on ( L , [ − , − , − ] , α ) .
Given a 3-cocycle H in the cochain complex of L with coefficients in V, one can construct the twisted semidirect product Hom-Lie triple system. More precisely, the direct sum L ⊕ V carries a Hom-Lie triple system structure with the bracket given by
[ a + u , b + v , c + w ] ⋉ H = [ a , b , c ] + D ( a , b ) w − θ ( a , c ) v + θ ( b , c ) u + H ( a , b , c ) , ( α ⊕ β ) ( a + u ) = α ( a ) + β ( u ) , ∀ a , b , c ∈ L , u , v , w ∈ V .
We denote this twisted semidirect product Hom-Lie triple system by L ⋉ H V .
Proposition 3.7.
A linear map R : V → L is a generalized Reynolds operator on L if and only if the graph of R
G r ( R ) = { R u + u | u ∈ V }
is a subalgebra of the twisted semidirect product Hom-Lie triple system by L ⋉ H V .
Proof. 
Let R : V → L be a linear map, then for any u , v , w ∈ V , we have
α ⊕ β ( R u + u ) = α ∘ R ( u ) + β ( u ) , [ R u + u , R v + v , R w + w ] ⋉ H = [ R u , R v , R w ] + D ( R u , R v ) w − θ ( R u , R w ) v + θ ( R v , R w ) u + H ( R u , R v , R w ) ,
which implies that the graph G r ( R ) is a subalgebra of the twisted semidirect product Hom-Lie triple system L ⋉ H V if and only if R satisfies Eqs. (3.1) and (3.2), which means that R is a generalized Reynolds operator. □
Since G r ( R ) is isomorphic to V as a vector space. Define a trilinear operation on V by
[ u , v , w ] R = D ( R u , R v ) w − θ ( R u , R w ) v + θ ( R v , R w ) u + H ( R u , R v , R w ) , ∀ u , v , w ∈ V .
By Proposition 3.7, we get ( V , [ − , − , − ] R , β ) is a Hom-Lie triple system.

4. Cohomologies of generalized Reynolds operators on Hom-Lie triple systems

In this section, first, we construct a representation of the Hom-Lie triple system ( V , [ − , − , − ] R , β ) on the Hom-vector space ( L , α ) . Then we develop the cohomology of generalized Reynolds operator on the Hom-Lie triple system.
Lemma 4.1.
Let R : V → L be a generalized Reynolds operator on a Hom-Lie triple system ( L , [ − , − , − ] , α ) associated to ( V , β ; θ ) and 3-cocycle H . For any u , v ∈ V , a ∈ L , define θ R : V ⊗ V → End ( L ) by
θ R ( u , v ) ( a ) = [ a , R u , R v ] + R ( θ ( a , R v ) u − D ( a , R u ) v − H ( a , R u , R v ) ) ,
then ( L , α ; θ R ) is a representation of the Hom-Lie triple system ( V , [ − , − , − ] R , β ) .
Proof. 
For any u , v , s , t ∈ V , a ∈ L , note that
D R ( u , v ) ( a ) = θ R ( v , u ) ( a ) − θ R ( u , v ) ( a ) = [ a , R v , R u ] + R ( θ ( a , R u ) v − D ( a , R v ) u − H ( a , R v , R u ) ) − [ a , R u , R v ] − R ( θ ( a , R v ) u − D ( a , R u ) v − H ( a , R u , R v ) ) = [ R u , R v , a ] + R ( θ ( R u , a ) v − θ ( R v , a ) u − H ( R u , R v , a ) ) .
Further, we obtain that
θ R ( β ( u ) , β ( v ) ) α ( a ) = [ α ( a ) , R β ( u ) , R β ( v ) ] + R ( θ ( α ( a ) , R β ( v ) ) β ( u ) − D ( α ( a ) , R β ( u ) ) β ( v ) − H ( α ( a ) , R β ( u ) , R β ( v ) ) ) = [ α ( a ) , α ( R u ) , α ( R v ) ] + R ( θ ( α ( a ) , α ( R v ) ) β ( u ) − D ( α ( a ) , α ( R u ) ) β ( v ) − H ( α ( a ) , α ( R u ) , α ( R v ) ) ) = α ( [ a , R u , R v ] + R ( θ ( a , R v ) u − D ( a , R u ) v − H ( a , R u , R v ) ) ) = α ( θ R ( u , v ) ( a ) ) , θ R ( β ( u ) , β ( v ) ) θ R ( s , t ) a − θ R ( β ( t ) , β ( v ) ) θ R ( s , u ) a − θ R ( β ( s ) , [ t , u , v ] R ) α ( a ) + D R ( β ( t ) , β ( u ) ) θ R ( s , v ) a = [ [ a , R s , R t ] , R β ( u ) , R β ( v ) ] + R θ ( [ a , R s , R t ] , R β ( v ) ) β ( u ) − R D ( [ a , R s , R t ] , R β ( u ) ) β ( v ) − R H ( [ a , R s , R t ] , R β ( u ) , R β ( v ) ) + [ R θ ( a , R t ) s , R β ( u ) , R β ( v ) ] + R θ ( R θ ( a , R t ) s , R β ( v ) ) β ( u ) − R D ( R θ ( a , R t ) s , R β ( u ) ) β ( v ) − R H ( R θ ( a , R t ) s , R β ( u ) , R β ( v ) ) − [ R D ( a , R s ) t , R β ( u ) , R β ( v ) ] − R θ ( R D ( a , R s ) t , R β ( v ) ) β ( u ) + R D ( R D ( a , R s ) t , R β ( u ) ) β ( v ) + R H ( R D ( a , R s ) t , R β ( u ) , R β ( v ) ) − [ R H ( a , R s , R t ) , R β ( u ) , R β ( v ) ] − R θ ( R H ( a , R s , R t ) , R β ( v ) ) β ( u ) + R D ( R H ( a , R s , R t ) , R β ( u ) ) β ( v ) + R H ( R H ( a , R s , R t ) , R β ( u ) , R β ( v ) ) − [ [ a , R s , R u ] , R β ( t ) , R β ( v ) ] − R θ ( [ a , R s , R u ] , R β ( v ) ) β ( t ) + R D ( [ a , R s , R u ] , R β ( t ) ) β ( v ) + R H ( [ a , R s , R u ] , R β ( t ) , R β ( v ) ) − [ R θ ( a , R u ) s , R β ( t ) , R β ( v ) ] − R θ ( R θ ( a , R u ) s , R β ( v ) ) β ( t ) + R D ( R θ ( a , R u ) s , R β ( t ) ) β ( v ) + R H ( R θ ( a , R u ) s , R β ( t ) , R β ( v ) ) + [ R D ( a , R s ) u , R β ( t ) , R β ( v ) ] + R θ ( R D ( a , R s ) u , R β ( v ) ) β ( t ) − R D ( R D ( a , R s ) u , R β ( t ) ) β ( v ) − R H ( R D ( a , R s ) u , R β ( t ) , R β ( v ) ) + [ R H ( a , R s , R u ) , R β ( t ) , R β ( v ) ] + R θ ( R H ( a , R s , R u ) , R β ( v ) ) β ( t ) − R D ( R H ( a , R s , R u ) , R β ( t ) ) β ( v ) − R H ( R H ( a , R s , R u ) , R β ( t ) , R β ( v ) ) − [ α ( a ) , R β ( s ) , R [ t , u , v ] R ] − R θ ( α ( a ) , R [ t , u , v ] R ) β ( s ) + R D ( α ( a ) , R β ( s ) ) [ t , u , v ] R + R H ( α ( a ) , R β ( s ) , R [ t , u , v ] R ) + [ R β ( t ) , R β ( u ) , [ a , R s , R v ] ] + R θ ( R β ( t ) , [ a , R s , R v ] ) β ( u ) − R θ ( R β ( u ) , [ a , R s , R v ] ) β ( t ) − R H ( R β ( t ) , R β ( u ) , [ a , R s , R v ] ) + [ R β ( t ) , R β ( u ) , R θ ( a , R v ) s ] + R θ ( R β ( t ) , R θ ( a , R v ) s ) β ( u ) − R θ ( R β ( u ) , R θ ( a , R v ) s ) β ( t ) − R H ( R β ( t ) , R β ( u ) , R θ ( a , R v ) s ) − [ R β ( t ) , R β ( u ) , R D ( a , R s ) v ] − R θ ( R β ( t ) , R D ( a , R s ) v ) β ( u ) + R θ ( R β ( u ) , R D ( a , R s ) v ) β ( t ) + R H ( R β ( t ) , R β ( u ) , R D ( a , R s ) v ) − [ R β ( t ) , R β ( u ) , R H ( a , R s , R v ) ] − R θ ( R β ( t ) , R H ( a , R s , R v ) ) β ( u ) + R θ ( R β ( u ) , R H ( a , R s , R v ) ) β ( t ) + R H ( R β ( t ) , R β ( u ) , R H ( a , R s , R v ) ) = 0 .
Similarly, we also have
θ R ( β ( u ) , β ( v ) ) D R ( s , t ) a − D R ( β ( s ) , β ( t ) ) θ R ( u , v ) a + θ R ( [ s , t , u ] R , β ( v ) ) α ( a ) + θ R ( β ( u ) , [ s , t , v ] R ) α ( a ) = 0 .
Therefore, ( L , α ; θ R ) is a representation of ( V , [ − , − , − ] R , β ) . □
Denote by δ R : C HLts 2 n − 1 ( V , L ) → C HLts 2 n + 1 ( V , L ) the coboundary operator of the Hom-Lie triple system ( V , [ − , − , − ] R , β ) with coefficients in the representation ( L , α ; θ R ) . More precisely, for v 1 , ⋯ , v 2 n + 1 ∈ V and f ∈ C HLts 2 n − 1 ( V , L ) , as
δ R f ( v 1 , ⋯ , v 2 n + 1 ) = θ R ( β n − 1 ( v 2 n ) , β n − 1 ( v 2 n + 1 ) ) f ( v 1 , ⋯ , v 2 n − 1 ) − θ R ( β n − 1 ( v 2 n − 1 ) , β n − 1 ( v 2 n + 1 ) ) f ( v 1 , ⋯ , v 2 n − 2 , v 2 n ) + ∑ i = 1 n ( − 1 ) i + n D R ( β n − 1 ( v 2 i − 1 ) , β n − 1 ( v 2 i ) ) f ( v 1 , ⋯ , v 2 i − 2 , v 2 i + 1 , ⋯ , v 2 n + 1 ) + ∑ i = 1 n ∑ j = 2 i + 1 2 n + 1 ( − 1 ) i + n + 1 f ( β ( v 1 ) , ⋯ , β ( v 2 i − 2 ) , β ( v 2 i + 1 ) , ⋯ , [ v 2 i − 1 , v 2 i , v j ] R , ⋯ , β ( v 2 n + 1 ) ) .
In particular, for f ∈ C HLts 1 ( V , L ) , f is a 1-cocycle on ( V , [ − , − , − ] R , β ) with coefficients in ( L , α ; θ R ) if δ R f ( v 1 , v 2 , v 3 ) = 0 , i.e.,
θ R ( v 2 , v 3 ) f ( v 1 ) − θ R ( v 1 , v 3 ) f ( v 2 ) + D R ( v 1 , v 2 ) f ( v 3 ) − f ( [ v 1 , v 2 , v 3 ] R ) = 0
and
α ( f ( v 1 ) ) − f ( β ( v 1 ) ) = 0 .
Proposition 4.2.
Let R : V → L be a generalized Reynolds operator on a Hom-Lie triple system ( L , [ − , − , − ] , α ) associated to ( V , β ; θ ) and 3-cocycle H . If there exist two elements a , b ∈ L such that α ( a ) = a , α ( b ) = b , we define ℘ ( a , b ) : V → L by
℘ ( a , b ) u = R D ( a , b ) β − 1 ( u ) − [ a , b , R β − 1 ( u ) ] + R H ( a , b , R β − 1 ( u ) ) ,
for any u ∈ V . Then ℘ ( a , b ) is a 1-cocycle on ( V , [ − , − , − ] R , β ) with coefficients in ( L , α ; θ R ) .
Proof. 
For any v 1 , v 2 , v 3 ∈ V , first, obviously α ( ℘ ( a , b ) ( v 1 ) ) − ℘ ( a , b ) ( β ( v 1 ) ) = 0 . Next, by Eqs. (3.6), (4.1) and (4.2), we have
δ R ℘ ( a , b ) ( v 1 , v 2 , v 3 ) = θ R ( v 2 , v 3 ) ℘ ( a , b ) ( v 1 ) − θ R ( v 1 , v 3 ) ℘ ( a , b ) ( v 2 ) + D R ( v 1 , v 2 ) ℘ ( a , b ) ( v 3 ) − ℘ ( a , b ) ( [ v 1 , v 2 , v 3 ] R ) = θ R ( v 2 , v 3 ) R D ( a , b ) β − 1 ( v 1 ) − θ R ( v 2 , v 3 ) [ a , b , R β − 1 ( v 1 ) ] + θ R ( v 2 , v 3 ) R H ( a , b , R β − 1 ( v 1 ) ) − θ R ( v 1 , v 3 ) R D ( a , b ) β − 1 ( v 2 ) + θ R ( v 1 , v 3 ) [ a , b , R β − 1 ( v 2 ) ] − θ R ( v 1 , v 3 ) R H ( a , b , R β − 1 ( v 2 ) ) + D R ( v 1 , v 2 ) R D ( a , b ) β − 1 ( v 3 ) − D R ( v 1 , v 2 ) [ a , b , R β − 1 ( v 3 ) ] + D R ( v 1 , v 2 ) R H ( a , b , R β − 1 ( v 3 ) ) − R D ( a , b ) β − 1 ( [ v 1 , v 2 , v 3 ] R ) − [ a , b , R β − 1 ( [ v 1 , v 2 , v 3 ] R ) ] + R H ( a , b , R β − 1 ( [ v 1 , v 2 , v 3 ] R ) ) = [ R D ( a , b ) β − 1 ( v 1 ) , R v 2 , R v 3 ] + R θ ( R D ( a , b ) β − 1 ( v 1 ) , R v 3 ) v 2 − R D ( R D ( a , b ) β − 1 ( v 1 ) , R v 2 ) v 3 − R H ( R D ( a , b ) β − 1 ( v 1 ) , R v 2 , R v 3 ) − [ [ a , b , R β − 1 ( v 1 ) ] , R v 2 , R v 3 ] − R θ ( [ a , b , R β − 1 ( v 1 ) ] , R v 3 ) v 2 + R D ( [ a , b , R β − 1 ( v 1 ) ] , R v 2 ) v 3 + R H ( [ a , b , R β − 1 ( v 1 ) ] , R v 2 , R v 3 ) + [ R H ( a , b , R β − 1 ( v 1 ) ) , R v 2 , R v 3 ]
+ R θ ( R H ( a , b , R β − 1 ( v 1 ) ) , R v 3 ) v 2 − R D ( R H ( a , b , R β − 1 ( v 1 ) ) , R v 2 ) v 3 − R H ( R H ( a , b , R β − 1 ( v 1 ) ) , R v 2 , R v 3 ) − [ R D ( a , b ) β − 1 ( v 2 ) , R v 1 , R v 3 ] − R θ ( R D ( a , b ) β − 1 ( v 2 ) , R v 3 ) v 1 + R D ( R D ( a , b ) β − 1 ( v 2 ) , R v 1 ) v 3 + R H ( R D ( a , b ) β − 1 ( v 2 ) , R v 1 , R v 3 ) + [ [ a , b , R β − 1 ( v 2 ) ] , R v 1 , R v 3 ] + R θ ( [ a , b , R β − 1 ( v 2 ) ] , R v 3 ) v 1 − R D ( [ a , b , R β − 1 ( v 2 ) ] , R v 1 ) v 3 − R H ( [ a , b , R β − 1 ( v 2 ) ] , R v 1 , R v 3 ) − [ R H ( a , b , R β − 1 ( v 2 ) ) , R v 1 , R v 3 ] − R θ ( R H ( a , b , R β − 1 ( v 2 ) ) , R v 3 ) v 1 + R D ( R H ( a , b , R β − 1 ( v 2 ) ) , R v 1 ) v 3 + R H ( R H ( a , b , R β − 1 ( v 2 ) ) , R v 1 , R v 3 ) + [ R v 1 , R v 2 , R D ( a , b ) β − 1 ( v 3 ) ] + R θ ( R v 1 , R D ( a , b ) β − 1 ( v 3 ) ) v 2 − R θ ( R v 2 , R D ( a , b ) β − 1 ( v 3 ) ) v 1 − R H ( R v 1 , R v 2 , R D ( a , b ) β − 1 ( v 3 ) ) − [ R v 1 , R v 2 , [ a , b , R β − 1 ( v 3 ) ] ] − R θ ( R v 1 , [ a , b , R β − 1 ( v 3 ) ] ) v 2 + R θ ( R v 2 , [ a , b , R β − 1 ( v 3 ) ] ) v 1 + R H ( R v 1 , R v 2 , [ a , b , R β − 1 ( v 3 ) ] ) + [ R v 1 , R v 2 , R H ( a , b , R β − 1 ( v 3 ) ) ] + R θ ( R v 1 , R H ( a , b , R β − 1 ( v 3 ) ) ) v 2 − R θ ( R v 2 , R H ( a , b , R β − 1 ( v 3 ) ) ) v 1 − R H ( R v 1 , R v 2 , R H ( a , b , R β − 1 ( v 3 ) ) ) − R D ( a , b ) β − 1 ( D ( R v 1 , R v 2 ) v 3 ) + R D ( a , b ) β − 1 ( θ ( R v 1 , R v 3 ) v 2 ) − R D ( a , b ) β − 1 ( θ ( R v 2 , R v 3 ) v 1 ) − R D ( a , b ) β − 1 ( H ( R v 1 , R v 2 , R v 3 ) ) − [ a , b , R β − 1 ( D ( R v 1 , R v 2 ) v 3 ) ] + [ a , b , R β − 1 ( θ ( R v 1 , R v 3 ) v 2 ) ] − [ a , b , R β − 1 ( θ ( R v 2 , R v 3 ) v 1 ) ] − [ a , b , R β − 1 ( H ( R v 1 , R v 2 , R v 3 ) ) ] + R H ( a , b , R β − 1 ( D ( R v 1 , R v 2 ) v 3 ) ) − R H ( a , b , R β − 1 ( θ ( R v 1 , R v 3 ) v 2 ) ) + R H ( a , b , R β − 1 ( θ ( R v 2 , R v 3 ) v 1 ) ) + R H ( a , b , R β − 1 ( H ( R v 1 , R v 2 , R v 3 ) ) ) = 0 .
Therefore, δ R ℘ ( a , b ) = 0 . □
Definition 4.3.
Let R : V → L be a generalized Reynolds operator on a Hom-Lie triple system ( L , [ − , − , − ] , α ) associated to ( V , β ; θ ) and 3-cocycle H . Define the set of n-cochains by
C R n ( V , L ) = C HLts 2 n − 1 ( V , L ) , n ≥ 1 ; { ( a , b ) ∈ ∧ 2 L | α ( a ) = a , α ( b ) = b } , n = 0 .
Define ∂ R : C R n ( V , L ) → C R n + 1 ( V , L ) by
∂ R = δ R , n ≥ 1 ; ℘ , n = 0 .
By δ ∘ δ = 0 and Proposition 4.2, we know that ( ⊕ n = 0 + ∞ C R n ( V , g ) , ∂ ) is a cochain complex. Denote the set of n-cocycles by Z R n ( V , L ) , the set of n-coboundaries by B R n ( V , L ) , and n-th cohomology group by
H R n ( V , L ) = Z R n ( V , L ) B R n ( V , L ) , n ≥ 1 ,
which is taken to be the n-th cohomology group for the generalized Reynolds operator R.
Remark 4.4.
The cohomology theory for generalized Reynolds operators on Hom-Lie triple systems enjoys certain functorial properties. Let R , R ′ : V → L be two generalized Reynolds operators on a Hom-Lie triple system ( L , [ − , − , − ] , α ) associated to ( V , β ; θ ) and 3-cocycle H , and ( η , ζ ) be a homomorphism from R to R ′ in which ζ is invertible. Define linear map Φ : C R n ( V , L ) → C R ′ n ( V , L ) by
Φ ( f ) ( v 1 , ⋯ , v 2 n − 1 ) = η ( f ( ζ − 1 ( v 1 ) , ⋯ , ζ − 1 ( v 2 n − 1 ) ) ) ,
for any f ∈ C R n ( V , L ) and v 1 , ⋯ , v 2 n − 1 ∈ V . Then it is straightforward to deduce that Φ is a cochain map from the cochain complex ( ⊕ n = 1 + ∞ C R n ( V , L ) , ∂ R ) to the cochain complex ( ⊕ n = 1 + ∞ C R ′ n ( V , L ) , ∂ R ′ ) . Consequently, it induces a homomorphism Φ * from the cohomology group H R n ( V , L ) to H R ′ n ( V , L ) .

5. Deformatons of generalized Reynolds operators on Hom-Lie triple systems

In this section, we study linear deformations and higher order deformations of generalized Reynolds operators on Hom-Lie triple systems via the cohomology theory established in the former section.
First, we use the cohomology constructed to characterize the linear deformations of generalized Reynolds operators on Hom-Lie triple systems.
Definition 5.1.
Let R : V → L be a generalized Reynolds operator on a Hom-Lie triple system ( L , [ − , − , − ] , α ) associated to ( V , β ; θ ) and 3-cocycle H . A linear deformation of R is a generalized Reynolds operator of the form R t = R + t R 1 , where R 1 : V → L is a linear map and t is a parameter with t 2 = 0 .
Suppose R + t R 1 is a linear deformation of R, direct deduction shows that R 1 ∈ C R 1 ( V , L ) is a 1-cocycle on ( V , [ − , − , − ] R , β ) with coefficients in ( L , α ; θ R ) . So the cohomology class of R 1 defines an element in H R 1 ( V , L ) . Furthermore, the 1-cocycle R 1 is called the infinitesimal of the linear deformation R t of R.
Definition 5.2.
Let R : V → L be a generalized Reynolds operator on a regular Hom-Lie triple system ( L , [ − , − , − ] , α ) associated to regular representation ( V , β ; θ ) and 3-cocycle H . Two linear deformations R t = R + t R 1 and R t ′ = R + t R 1 ′ are called equivalent if there exist two elements a , b ∈ L such that α ( a ) = a , α ( b ) = b and the pair ( I d L + t α − 1 ( L ( a , b ) − ) , I d V + t β − 1 ( D ( a , b ) − ) + t β − 1 ( H ( a , b , R − ) ) ) is a homomorphism from R t to R t ′ .
Suppose R t and R t ′ are equivalent, then Eq. () yields that
( I d L + t α − 1 ( L ( a , b ) − ) ) R t u = R t ′ ( I d V + t β − 1 ( D ( a , b ) − ) + t β − 1 ( H ( a , b , R − ) ) ) u , ∀ u ∈ V .
which means that
R 1 u − R 1 ′ u = R β − 1 ( D ( a , b ) u ) − α − 1 ( [ a , b , R u ] ) + R β − 1 ( H ( a , b , R u ) ) = R D ( a , b ) β − 1 ( u ) − [ a , b , R β − 1 ( u ) ] + R H ( a , b , R β − 1 ( u ) ) .
By Proposition 4.2, we have R 1 − R 1 ′ = ℘ ( a , b ) = ∂ R ( a , b ) . So their cohomology classes are the same in H R 1 ( V , L ) .
Conversely, any 1-cocycle R 1 gives rise to the linear deformation R + t R 1 . To sum up, we have the following result.
Proposition 5.3.
Let R : V → L be a generalized Reynolds operator on a regular Hom-Lie triple system ( L , [ − , − , − ] , α ) associated to regular representation ( V , β ; θ ) and 3-cocycle H . Then there is a bijection between the set of all equivalence classes of linear deformation of R and the first cohomology group H R 1 ( V , L ) .
Next, we introduce a special cohomology class associated to an order n deformation of a generalized Reynolds operator, and show that an order n deformation of a generalized Reynolds operator is extendable if and only if this cohomology class in the second cohomology group vanishes.
Definition 5.4.
Let R : V → L be a generalized Reynolds operator on a Hom-Lie triple system ( L , [ − , − , − ] , α ) associated to ( V , β ; θ ) and 3-cocycle H . If R t = ∑ i = 0 n t i R i with R 0 = R , R i ∈ Hom ( V , L ) , i = 1 , ⋯ , n , defines a K [ [ t ] ] / ( t n + 1 ) -module map from V [ [ t ] ] / ( t n + 1 ) to the Hom-Lie triple system L [ [ t ] ] / ( t n + 1 ) satisfying
R t ∘ β = α ∘ R t , [ R t u , R t v , R t w ] = R t ( θ ( R t v , R t w ) u + D ( R t u , R t v ) w − θ ( R t u , R t w ) v + H ( R t u , R t v , R t w ) ) ,
for any u , v , w ∈ V , we say that R t is an order n deformation of R.
Definition 5.5.
Let R : V → L be a generalized Reynolds operator on a Hom-Lie triple system ( L , [ − , − , − ] , α ) associated to ( V , β ; θ ) and 3-cocycle H . Let R t = ∑ i = 0 n t i R i be an order n deformation of R. If there is a R n + 1 ∈ C R 1 ( V , L ) such that R t ′ = R t + t n + 1 R n + 1 is an order ( n + 1 ) deformation of R, then we say that R t is extendable.
Proposition 5.6.
Let R : V → L be a generalized Reynolds operator on a Hom-Lie triple system ( L , [ − , − , − ] , α ) associated to ( V , β ; θ ) and 3-cocycle H . Let R t = ∑ i = 0 n t i R i be an order n deformation of R. Then R t is extendable if and only if the cohomology class [ O b s n ] ∈ H R 2 ( V , L ) vanishes, where
O b s n ( u 1 , u 2 , u 3 ) = ∑ i + j + k = n + 1 0 ≤ i , j , k ≤ n ( [ R i u 1 , R j u 2 , R k u 3 ] − R i ( D ( R j u 1 , R k u 2 ) u 3 − θ ( R j u 1 , R k u 3 ) u 2 + θ ( R j u 2 , R k u 3 ) u 1 ) ) − ∑ i + j + k + l = n + 1 0 ≤ i , j , k , l ≤ n R i H ( R j u 1 , R k u 2 , R l u 3 ) .
Proof. 
Let R t ′ = R t + t n + 1 R n + 1 be the extension of R t , then for all u 1 , u 2 , u 3 ∈ V
[ R t ′ u 1 , R t ′ u 2 , R t ′ u 3 ] = R t ′ ( D ( R t ′ u 1 , R t ′ u 2 ) u 3 − θ ( R t ′ u 1 , R t ′ u 3 ) u 2 + θ ( R t ′ u 2 , R t ′ u 3 ) u 1 + H ( R t ′ u 1 , R t ′ u 2 , R t ′ u 3 ) ) .
Expanding the equation and comparing the coefficients of t n + 1 yields that:
∑ i + j + k = n + 1 0 ≤ i , j , k ≤ n + 1 [ R i u 1 , R j u 2 , R k u 3 ] − R i ( D ( R j u 1 , R k u 2 ) u 3 − θ ( R j u 1 , R k u 3 ) u 2 + θ ( R j u 2 , R k u 3 ) u 1 ) − ∑ i + j + k + l = n + 1 0 ≤ i , j , k , l ≤ n + 1 R i H ( R j u 1 , R k u 2 , R l u 3 ) = 0 ,
which is equivalent to
∑ i + j + k = n + 1 0 ≤ i , j , k ≤ n [ R i u 1 , R j u 2 , R k u 3 ] − R i ( D ( R j u 1 , R k u 2 ) u 3 − θ ( R j u 1 , R k u 3 ) u 2 + θ ( R j u 2 , R k u 3 ) u 1 ) − ∑ i + j + k + l = n + 1 0 ≤ i , j , k , l ≤ n R i H ( R j u 1 , R k u 2 , R l u 3 ) + [ R n + 1 u 1 , R u 2 , R u 3 ] + [ R u 1 , R n + 1 u 2 , R u 3 ] + [ R u 1 , R u 2 , R n + 1 u 3 ] − R n + 1 ( D ( R u 1 , R u 2 ) u 3 − θ ( R u 1 , R u 3 ) u 2 + θ ( R u 2 , R u 3 ) u 1 + H ( R u 1 , R u 2 , R u 3 ) ) − R ( D ( R n + 1 u 1 , R u 2 ) u 3 + D ( R u 1 , R n + 1 u 2 ) u 3 − θ ( R n + 1 u 1 , R u 3 ) u 2 − θ ( R u 1 , R n + 1 u 3 ) u 2 + θ ( R n + 1 u 2 , R u 3 ) u 1 + θ ( R u 2 , R n + 1 u 3 ) u 1 + H ( R n + 1 u 1 , R u 2 , R u 3 ) + H ( R u 1 , R n + 1 u 2 , R u 3 ) + H ( R u 1 , R u 2 , R n + 1 u 3 ) ) = 0 ,
that is O b s n ( u 1 , u 2 , u 3 ) + ∂ R R n + 1 ( u 1 , u 2 , u 3 ) = 0 . Hence O b s n = − ∂ R R n + 1 , further ∂ R O b s n = 0 , which implies that the cohomology class [ O b s n ] ∈ H R 2 ( V , L ) vanishes.
Conversely, suppose that the cohomology class [ O b s n ] vanishes, then there exists a 1-cochain R n + 1 ∈ C R 1 ( V , L ) such that O b s n = − ∂ R R n + 1 . Set R t ′ = R t + t n + 1 R n + 1 . Then R t ′ satisfies
∑ i + j + k = d [ A i u 1 , A j u 2 , A k u 3 ] g − A i ( D ( A j u 1 , A k u 2 ) u 3 − θ ( A j u 1 , A k u 3 ) u 2 + θ ( A j u 2 , A k u 3 ) u 1 ) − ∑ i + j + k + l = d R i H ( R j u 1 , R k u 2 , R l u 3 ) = 0 , 0 ≤ d ≤ n + 1 ,
which implies that R t ′ is an order ( n + 1 ) deformation of R. Hence it is an extension of R t . □

6. Hom-NS-Lie triple systems

In this section, we introduce the notion of Hom-NS-Lie triple system, which is the underlying algebraic structure of generalized Reynolds operators. Moreover, we show that there exists a Hom-Lie triple system structure on a Hom-NS-Lie triple system.
Definition 6.1.  (i) A Hom-NS-Lie triple system ( L , { − , − , − } , [ − , − , − ] , α ) consists of a vector space L with trilinear products { − , − , − } , [ − , − , − ] : L ⊗ L ⊗ L → L and an algebra morphism α : L → L such that
[ a 1 , a 2 , a 3 ] = − [ a 2 , a 1 , a 3 ] ,
⥀ a 1 , a 2 , a 3 [ a 1 , a 2 , a 3 ] = 0 , { α ( b 1 ) , α ( b 2 ) , [ [ a 1 , a 2 , a 3 ] ] } = { { b 1 , b 2 , a 1 } , α ( a 2 ) , α ( a 3 ) } − { { b 1 , b 2 , a 2 } , α ( a 1 ) , α ( a 3 ) }
+ { α ( a 1 ) , α ( a 2 ) , { b 1 , b 2 , a 3 } } * , { α ( b 1 ) , α ( b 2 ) , { a 1 , a 2 , a 3 } } * = { { b 1 , b 2 , a 1 } * , α ( a 2 ) , α ( a 3 ) } + { α ( a 1 ) , [ [ b 1 , b 2 , a 2 ] ] , α ( a 3 ) }
+ { α ( a 1 ) , α ( a 2 ) , [ [ b 1 , b 2 , a 3 ] ] } , α ( b 1 ) , α ( b 2 ) , [ [ a 1 , a 2 , a 3 ] ] ] = [ [ [ b 1 , b 2 , a 1 ] ] , α ( a 2 ) , α ( a 3 ) ] + [ α ( a 1 ) , [ [ b 1 , b 2 , a 2 ] ] , α ( a 3 ) ] + [ α ( a 1 ) , α ( a 2 ) , [ [ b 1 , b 2 , a 3 ] ] ] + { [ b 1 , b 2 , a 1 ] , α ( a 2 ) , α ( a 3 ) } − { [ b 1 , b 2 , a 2 ] , α ( a 1 ) , α ( a 3 ) } + { α ( a 1 ) , α ( a 2 ) , [ b 1 , b 2 , a 3 ] } *
− { α ( b 1 ) , α ( b 2 ) , [ a 1 , a 2 , a 3 ] } * ,
where a 1 , a 2 , a 3 , b 1 , b 2 ∈ L , { − , − , − } * and [ [ − , − , − ] ] are defined to be
{ a 1 , a 2 , a 3 } * = { a 3 , a 2 , a 1 } − { a 3 , a 1 , a 2 } ,
[ [ a 1 , a 2 , a 3 ] ] = { a 1 , a 2 , a 3 } * + { a 1 , a 2 , a 3 } − { a 2 , a 1 , a 3 } + [ a 1 , a 2 , a 3 ] .
(ii) A homomorphism between two Hom-NS-Lie triple systems ( L 1 , { − , − , − } 1 , [ − , − , − ] 1 , α 1 ) and ( L 2 , { − , − , − } 2 , [ − , − , − ] 2 , α 2 ) is a linear map φ : L 1 → L 2 satisfying φ ( α 1 ( a 1 ) ) = α 2 ( φ ( a 1 ) ) , φ ( { a 1 , a 2 , a 3 } 1 ) = { φ ( a 1 ) , φ ( a 2 ) , φ ( a 3 ) } 2 , φ ( [ a 1 , a 2 , a 3 ] 1 ) = [ φ ( a 1 ) , φ ( a 2 ) , φ ( a 3 ) ] 2 .
Remark 6.2.  (i) Let ( L , { − , − , − } , [ − , − , − ] , α ) be a Hom-NS-Lie triple system. If the bracket { − , − , − } = 0 , then we get ( L , [ − , − , − ] , α ) is a Hom-Lie triple system.
(ii) A NS-Lie triple system is a Hom-NS-Lie triple system with α = id L . See [10] for more details about NS-Lie triple systems.
Proposition 6.3.
Let ( L , { − , − , − } , [ − , − , − ] , α ) be a Hom-NS-Lie triple system. Then,
(i) the triple ( L , [ [ − , − , − ] ] , α ) is a Hom-Lie triple system, which is called the adjacent Hom-Lie triple system.
(ii) the triple ( L , α ; ϑ ) is a representation of the adjacent Hom-Lie triple system ( L , [ [ − , − , − ] ] , α ) , where
ϑ : L ⊗ L → End ( L ) , ( a 1 , a 2 ) ↦ ( b ↦ { b , a 1 , a 2 } ) , ∀ a 1 , a 2 , b ∈ L .
Proof. (i) Obviously, for any a 1 , a 2 , a 3 ∈ L , by Eqs. (6.1), (6.2), (6.6) and (6.7), we have [ [ a 1 , a 2 , a 3 ] ] = − [ [ a 2 , a 1 , a 3 ] ] and ⥀ a 1 , a 2 , a 3 [ [ a 1 , a 2 , a 3 ] ] = 0 . Further, for any a 1 , a 2 , a 3 , b 1 , b 2 ∈ L , by Eqs. (6.3)-(6.7), we have
[ [ α ( b 1 ) , α ( b 2 ) , [ [ a 1 , a 2 , a 3 ] ] ] ] − [ [ [ [ b 1 , b 2 , a 1 ] ] , α ( a 2 ) , α ( a 3 ) ] ] − [ [ α ( a 1 ) , [ [ b 1 , b 2 , a 2 ] ] , α ( a 3 ) ] ] − [ [ α ( a 1 ) , α ( a 2 ) , [ [ b 1 , b 2 , a 3 ] ] ] ] = { α ( b 1 ) , α ( b 2 ) , [ [ a 1 , a 2 , a 3 ] ] } * + { α ( b 1 ) , α ( b 2 ) , [ [ a 1 , a 2 , a 3 ] ] } − { α ( b 2 ) , α ( b 1 ) , [ [ a 1 , a 2 , a 3 ] ] } + [ α ( b 1 ) , α ( b 2 ) , [ [ a 1 , a 2 , a 3 ] ] ] − { [ [ b 1 , b 2 , a 1 ] ] , α ( a 2 ) , α ( a 3 ) } * − { [ [ b 1 , b 2 , a 1 ] ] , α ( a 2 ) , α ( a 3 ) } + { α ( a 2 ) , [ [ b 1 , b 2 , a 1 ] ] , α ( a 3 ) } − [ [ [ b 1 , b 2 , a 1 ] ] , α ( a 2 ) , α ( a 3 ) ] − { α ( a 1 ) , [ [ b 1 , b 2 , a 2 ] ] , α ( a 3 ) } * − { α ( a 1 ) , [ [ b 1 , b 2 , a 2 ] ] , α ( a 3 ) } + { [ [ b 1 , b 2 , a 2 ] ] , α ( a 1 ) , α ( a 3 ) } − [ α ( a 1 ) , [ [ b 1 , b 2 , a 2 ] ] , α ( a 3 ) ] − { α ( a 1 ) , α ( a 2 ) , [ [ b 1 , b 2 , a 3 ] ] } * − { α ( a 1 ) , α ( a 2 ) , [ [ b 1 , b 2 , a 3 ] ] } + { α ( a 2 ) , α ( a 1 ) , [ [ b 1 , b 2 , a 3 ] ] } − [ α ( a 1 ) , α ( a 2 ) , [ [ b 1 , b 2 , a 3 ] ] ] = 0 .
Hence, ( L , [ [ − , − , − ] ] , α ) is a Hom-Lie triple system.
(ii) For all a 1 , a 2 , a 3 ∈ L , we have
D ( a 1 , a 2 ) a 3 = ϑ ( a 2 , a 1 ) a 3 − ϑ ( a 1 , a 2 ) a 3 = { a 3 , a 2 , a 1 } − { a 3 , a 1 , a 2 } = { a 1 , a 2 , a 3 } * .
Obviously, ϑ ( α ( a 1 ) , α ( a 2 ) ) α ( a 3 ) = α ( ϑ ( a 1 , a 2 ) a 3 ) . Further, for any a 1 , a 2 , a 3 , b 1 , b 2 ∈ L , by Eqs. (6.3) and (6.4), we get
ϑ ( α ( b 1 ) , α ( b 2 ) ) ϑ ( a 1 , a 2 ) a 3 − ϑ ( α ( a 2 ) , α ( b 2 ) ) ϑ ( a 1 , b 1 ) a 3 − ϑ ( α ( a 1 ) , [ [ a 2 , b 1 , b 2 ] ] ) α ( a 3 ) + D ( α ( a 2 ) , α ( b 1 ) ) ϑ ( a 1 , b 2 ) a 3 = { { a 3 , a 1 , a 2 } , α ( b 1 ) , α ( b 2 ) } − { { a 3 , a 1 , b 1 } , α ( a 2 ) , α ( b 2 ) } − { α ( a 3 ) , α ( a 1 ) , [ [ a 2 , b 1 , b 2 ] ] } + { α ( a 2 ) , α ( b 1 ) , { a 3 , a 1 , b 2 } } * = 0 , ϑ ( α ( b 1 ) , α ( b 2 ) ) D ( a 1 , a 2 ) a 3 − D ( α ( a 1 ) , α ( a 2 ) ) ϑ ( b 1 , b 2 ) a 3 + ϑ ( [ [ a 1 , a 2 , b 1 ] ] , α ( b 2 ) ) α ( a 3 ) + ϑ ( α ( b 1 ) , [ [ a 1 , a 2 , b 2 ] ] ) α ( a 3 ) = { { a 1 , a 2 , a 3 } * , α ( b 1 ) , α ( b 2 ) } − { α ( a 1 ) , α ( a 2 ) , { a 3 , b 1 , b 2 } } * + { α ( a 3 ) , [ [ a 1 , a 2 , b 1 ] ] , α ( b 2 ) } + { α ( a 3 ) , α ( b 1 ) , [ [ a 1 , a 2 , b 2 ] ] } = 0 .
Therefore, ( L , α ; ϑ ) is a representation of the adjacent Hom-Lie triple system ( L , [ [ − , − , − ] ] , α ) . □
Corollary 6.4.
Let φ : ( L 1 , { − , − , − } 1 , [ − , − , − ] 1 , α 1 ) → ( L 2 , { − , − , − } 2 , [ − , − , − ] 2 , α 2 ) be a Hom-NS-Lie triple system homomorphism. Then, φ is also a Hom-Lie triple system homomorphism between the subadjacent Hom-Lie triple system from ( L 1 , [ [ − , − , − ] ] 1 , α 1 ) to ( L 2 , [ [ − , − , − ] ] 2 , α 2 ) .
The following proposition illustrate that Hom-NS-Lie triple systems can be viewed as the underlying algebraic structures of generalized Reynolds operators on Hom-Lie triple systems.
Proposition 6.5.
Let R : V → L be a generalized Reynolds operator on a Hom-Lie triple system ( L , [ − , − , − ] , α ) associated to ( V , β ; θ ) and 3-cocycle H . Then, the 4-tuple ( V , { − , − , − } θ , [ − , − , − ] H , β ) is a Hom-NS-Lie triple system, where
{ u , v , w } θ = θ ( R v , R w ) u , [ u , v , w ] H = H ( R u , R v , R w ) , ∀ u , v , w ∈ V .
Proof. 
For any u , v , w , s , t ∈ V , first, obviously, we have [ u , v , w ] H = − [ v , u , w ] H and ⥀ u , v , w [ u , v , w ] H = 0 . On the one hand
{ u , v , w } θ * = { w , v , u } θ − { w , u , v } θ = θ ( R v , R u ) w − θ ( R u , R v ) w = D ( R u , R v ) w , [ [ u , v , w ] ] V = { u , v , w } θ * + { u , v , w } θ − { v , u , w } θ + [ u , v , w ] H = D ( R u , R v ) w + θ ( R v , R w ) u − θ ( R u , R w ) v + H ( R u , R v , R w ) .
On the other hand, by Eqs. (2.5),(2.6), (3.1)-(3.2), we get
{ β ( s ) , β ( t ) , [ [ u , v , w ] ] V } θ − { { s , t , u } θ , β ( v ) , β ( w ) } θ + { { s , t , v } θ , β ( u ) , β ( w ) } θ − { β ( u ) , β ( v ) , { s , t , w } θ } θ * = θ ( R β ( t ) , R [ [ u , v , w ] ] V ) β ( s ) − θ ( R β ( v ) , R β ( w ) ) θ ( R t , R u ) s + θ ( R β ( u ) , R β ( w ) ) θ ( R t , R v ) s − D ( R β ( u ) , R β ( v ) ) θ ( R t , R w ) s = 0 , { { s , t , u } θ * , β ( v ) , β ( w ) } θ + { β ( u ) , [ [ s , t , v ] ] V , β ( w ) } θ + { β ( u ) , β ( v ) , [ [ s , t , w ] ] V } θ − { β ( s ) , β ( t ) , { u , v , w } θ } θ * = θ ( R β ( v ) , R β ( w ) ) D ( R s , R t ) u + θ ( R [ [ s , t , v ] ] V , R β ( w ) ) β ( u ) + θ ( R β ( v ) , R [ [ s , t , w ] ] V ) β ( u ) − D ( R β ( s ) , R β ( t ) ) θ ( R v , R w ) u = 0 , [ [ [ s , t , u ] ] V , β ( v ) , β ( w ) ] H + [ β ( u ) , [ [ s , t , v ] ] V , β ( w ) ] H + [ β ( u ) , β ( v ) , [ [ s , t , w ] ] V ] H + { [ s , t , u ] H , α ( v ) , α ( w ) } θ − { [ s , t , v ] H , β ( u ) , β ( w ) } θ + { β ( u ) , β ( v ) , [ s , t , w ] H } θ * − { β ( s ) , β ( t ) , [ u , v , w ] H } θ * − [ β ( s ) , β ( t ) , [ [ u , v , w ] ] V ] H = H ( R [ [ s , t , u ] ] V , R β ( v ) , R β ( w ) ) + H ( R β ( u ) , R [ [ s , t , v ] ] V , R β ( w ) ) + H ( R β ( u ) , R β ( v ) , R [ [ s , t , w ] ] V ) + θ ( R α ( v ) , R α ( w ) ) H ( R s , R t , R u ) − θ ( R β ( u ) , R β ( w ) ) H ( R s , R t , R v ) + D ( R β ( u ) , R β ( v ) ) H ( R s , R t , R w ) − D ( R β ( s ) , R β ( t ) ) H ( R u , R v , R w ) − H ( R β ( s ) , R β ( t ) , R [ [ u , v , w ] ] V ) = 0 .
Thus ( V , { − , − , − } θ , [ − , − , − ] H , β ) is a Hom-NS-Lie triple system. □
Example 6.6.
Let ( L , [ − , − , − ] , α ) be a Hom-Lie triple system and N : L → L be a Nijenhuis operator. Then ( L , { − , − , − } θ , [ − , − , − ] H , α ) is a Hom-NS-Lie triple system, where
{ a , b , c } θ = [ a , N b , N c ] , [ a , b , c ] H = − N ( [ N a , b , c ] + [ a , N b , c ] + [ a , b , N c ] ) + N 2 [ a , b , c ] , ∀ a , b , c ∈ L .
Proposition 6.7.
Let R 1 : V 1 → L 1 (resp. R 2 : V 2 → L 2 ) be a generalized Reynolds operators on a Hom-Lie triple system ( L 1 , [ − , − , − ] 1 , α 1 ) (resp. ( L 2 , [ − , − , − ] 2 , α 2 ) ) associated to ( V 1 , β 1 ; θ 1 ) (resp. ( V 2 , β 2 ; θ 2 ) ) and 3-cocycle H 1 (resp. H 2 ), and ( η , ζ ) be a homomorphism from R 1 to R 2 . Let ( V 1 , { − , − , − } θ 1 , [ − , − , − ] H 1 , β 1 ) and ( V 2 , { − , − , − } θ 2 , [ − , − , − ] H 2 , β 2 ) be the induced Hom-NS-Lie triple systems respectively. Then, ζ is a homomorphism from the Hom-NS-Lie triple system ( V 1 , { − , − , − } θ 1 , [ − , − , − ] H 1 , β 1 ) to ( V 2 , { − , − , − } θ 2 , [ − , − , − ] H 2 , β 2 ) .
Proof. 
For any u , v , w ∈ V , by Eqs. (3.3)-(3.6), we have
ζ ( { u , v , w } θ 1 ) = ζ ( θ 1 ( R 1 v , R 1 w ) u ) = θ 2 ( η ( R 1 v ) , η ( R 1 w ) ) ζ ( u ) = θ 2 ( R 2 ζ ( v ) , R 2 ζ ( w ) ) ζ ( u ) = { ζ ( u ) , ζ ( v ) , ζ ( w ) } θ 2 , ζ ( [ u , v , w ] H 1 ) = ζ ( H 1 ( R 1 u , R 1 v , R 1 w ) ) = H 2 ( η ( R 1 u ) , η ( R 1 v ) , η ( R 1 w ) ) = H 2 ( R 2 ζ ( u ) , R 2 ζ ( v ) , R 2 ζ ( w ) ) = [ ζ ( u ) , ζ ( v ) , ζ ( w ) ] H 2 .
Hence, φ h is a homomorphism from ( V 1 , { − , − , − } θ 1 , [ − , − , − ] H 1 , β 1 ) to ( V 2 , { − , − , − } θ 2 , [ − , − , − ] H 2 , β 2 ) . □

Acknowledgments

The paper is supported by the Foundation of Science and Technology of Guizhou Province(Grant No. [2018]1020 ).

References

  1. A. Baklouti. Quadratic Hom-Lie triple systems, J. Geometry and Physics, 2017, 121(18), 166–175.
  2. I. Bakayoko. Hom-post-Lie modules, O-operators and some functors on Hom-algebras, arXiv preprint, 2016, arXiv:1610.02845.
  3. Baxter, G. An analytic problem whose solution follows from a simple algebraic identity Pac. J. Math., 1960, 10, 731–742.
  4. E. Cartan. Oeuvres completes. Part 1. Gauthier-Villars. Paris. (1952) vol. 2. nos. 101–138.
  5. S. Chen, Q. Lou, Q. Sun. Cohomologies of Rota-Baxter Lie triple systems and applications, Commun. Algebra, 2023, 51(1957), 1–17.
  6. T. Chtioui, A. Hajjaji, S. Mabrouk, A. Makhlouf. Cohomologies and deformations of O-operators on Lie triple systems, J. Math. Phys., 2023, 64, 081701.
  7. T. Chtioui, A. Hajjaji, S. Mabrouk, A. Makhlouf. Twisted O-operators on 3-Lie algebras and 3-NS-Lie algebras, arXiv preprint, 2021, arXiv:2107.10890v1.
  8. A. Das. Cohomology and deformations of twisted Rota-Baxter operators and NS-algebras, J. Homotopy Relat. Struct., 2022, 17, 233–262.
  9. A. Das. Twisted Rota-Baxter operators and Reynolds operators on Lie algebras and NS-Lie algebras, J. Math. Phys., 2021, 62, 091701.
  10. R. Gharbi, S. Mabrouk, A. Makhlouf. Maurer-Cartan type cohomology on generalized Reynolds operators and NS-structures on Lie triple systems, arXiv preprint, 2023, arXiv:2309.01385.
  11. J.Hartwig, D. Larsson, S. Silvestrov, Deformations of Lie algebras using σ-derivations, J. Algebra, 2006, 295, 321–344.
  12. S. Hou, Y. Sheng. Generalized Reynolds operators on 3-Lie algebras and NS-3-Lie algebras, Int. J. Geom. Methods Mod. Phys., 2021, 18, 2150223.
  13. Y. Hou, Y. Ma, L. Chen. Product and complex structures on Hom-Lie triple systems. https://www.researchgate.net/publication/341360022.
  14. N. Jacobson. Lie and Jordan triple Systems, Amer. J. Math. Soc., 1949, 71(1), 49–170.
  15. N. Jacobson, General representation theory of Jordan algebras, Trans. Amer. Math. Soc., 1951, 70, 509–530.
  16. Kampé de Fériet. J. Introduction to the Statistical Theory of Turbulence, Correlation and Spectrum; The Institute for Fluid Dynamics and Applied Mathematics University of Maryland: College Park, MD, USA, 1951; pp. iv+162.
  17. Kupershmidt, B.A. What a classical r-matrix really is, J. Nonlinear Math. Phys., 1999, 6, 448–488.
  18. Y. Li, D. Wang. Relative Rota-Baxter operators on Hom-Lie triple systems, Communications in Algebra, DOI: 10.1080/00927872.2023.2258223.
  19. Y. Li, D. Wang. Twisted Rota-Baxter operators on 3-Hom-Lie algebras, Communications in Algebra, 2023, 51(1), 1–14.
  20. Y. Ma, L. Chen, J. Lin. Central extensions and deformations of Hom-Lie triple systems, Communications in Algebra, 46(3),(2018), 1212–1230.
  21. S. Mishra, A. Naolekar. O-operators on hom-Lie algebras, J. Math. Phys., 61 (2020), 121701.
  22. Uchino, K. Quantum analogy of Poisson geometry, related dendriform algebras and Ro-ta-Baxter operators, Lett. Math. Phys., 2008, 85, 91–109.
  23. O. Reynolds. On the dynamical theory of incompressible viscous fluids and the determina-tion of the criterion, Philos. Trans. Roy. Soc. A, 1895, 136, 123–164.
  24. W. Teng, F. Long, H. Zhang, J. Jin. On compatible Hom-Lie triple systems, arXiv preprint, 2023, arXiv:2311.07531.
  25. W. Teng, J. Jin, F. Long. Generalized reynolds operators on Lie-Yamaguti Algebras, Axioms, 2023, 12(10), 934.
  26. W. Teng, J. Jin, F. Long. Relative Rota-Baxter operators on Hom-Lie-Yamaguti algebras, Journal of Mathematical Research with Applications, 2023, 43(6),648–664.
  27. X. Wang, Y. Ma, L. Chen. Generalized Reynolds operators on Lie supertriple systems, 2023, https://www.researchgate.net/publication/371835147.
  28. K. Yamaguti. On the cohomology space of Lie triple system, Kumamoto J. Sci. Ser. A, 1960,5, 44–52.
  29. D. Yau. On n-ary Hom-Nambu and Hom-Nambu-Lie algebras, J. Geom. Phys., 2012, 62(2),506–522.
  30. J. Zhou, L, Chen, Y. Ma. Generalized Derivations of Hom-Lie triple systems, Bull.Malaysian Math. Sciences Society, 2018, 41, 637–656.
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

facebook logotwitter logolinkedin logo
MDPI Initiatives
Important Links
Subscribe

Disclaimer

Terms of Use

Privacy Policy

© 2024 MDPI (Basel, Switzerland) unless otherwise stated