<ph f="cmex"> </ph><ph f="cmbx">Some Twisted Results</ph>

M.D. Gould and T. Lekatsas

November 27, 2006

Department of Mathematics, The University of Queensland, Brisbane, Qld 4072, Australia Email: tel@maths.uq.edu.au November 27, 2006
Abstract
The Drinfeld twist for the opposite quasi-Hopf algebra, H c o p   is determined and is shown to be related to the (second) Drinfeld twist on a quasi-Hopf algebra. The twisted form of the Drinfeld twist is investigated. In the quasi-triangular case it is shown that the Drinfeld u   operator arises from the equivalence of H c o p   to the quasi-Hopf algebra induced by twisting H   with the R   -matrix. The Altschuler-Coste u   operator arises in a similar way and is shown to be closely related to the Drinfeld u   operator. The quasi-cocycle condition is introduced, and is shown to play a central role in the uniqueness of twisted structures on quasi-Hopf algebras. A generalisation of the dynamical quantum Yang-Baxter equation, called the quasi-dynamical quantum Yang-Baxter equation is introduced.

1 Introduction

Quasi-Hopf algebras (QHA) were introduced by Drinfeld [6] as generalisations of Hopf algebras.
QHA are the underlying algebraic structures of elliptic quantum groups [8, 9, 10, 11, 14, 20] and hence have an important role in obtaining solutions to the dynamical Yang-Baxter equation. They arise in conformal field theory [3, 4] , algebraic number theory [7] and in the theory of knots [1, 15, 16] .
The antipode S   of a Hopf algebra H   is uniquely determined as the inverse of the identity map on H   under the convolution product. For a quasi-Hopf algebra, the triple ( S , α , β )   consisting of the antipode S   and canonical elements α , β ∈ H   is termed the quasi-antipode. The quasi-antipode of a QHA is not unique [2, 6, 17] . However, given two QHA which differ only in their quasi-antipodes, there exists a unique invertible element v ∈ H   relating them. Moreover, to each invertible element v ∈ H   there corresponds a quasi-antipode, so that the invertible elements v ∈ H   are in bijection with the quasi-antipodes. This allows us to work with a fixed choice for the quasi-antipode (more precisely, a fixed equivalence class for the quasi-antipode). We show that the operator v ∈ H   is universal i.e.
invariant under an arbitrary twist F ∈ H ⊗ H   . In the quasi-triangular case, the equivalence of the quasi-antipode of the opposite QHA H c o p   and the quasi-antipode induced by twisting H   with the R   -matrix, gives rise to a specific form of the v   operator, which we call the Drinfeld Reshetikhin [5, 18]  u   operator. The u   -operator introduced by Altschuler and Coste [1] , arises in a similar way and is shown to be simply related to the Drinfeld Reshetikhin u   operator. In view of the invariance of the v   operators these u   operators are also invariant under twisting.
For a Hopf algebra H   the antipode S   is both an algebra and a co-algebra anti-homomorphism.
In the QHA case Drinfeld has shown that the antipode S   is a co-algebra anti-homomorphism only upto conjugation by a twist, F δ   (the Drinfeld twist). Assuming the antipode S   is invertible with inverse S − 1   , we show that S − 1   is a co-algebra anti-homomorphism upto conjugation by an invertible element F 0   , which we call the second Drinfeld twist on H   . The form of the Drinfeld twist for the opposite QHA H c o p   is determined and shown to be simply related to this second Drinfeld twist.
The behaviour of the Drinfeld twist F δ   under an arbitrary twist G ∈ H ⊗ H   is also investigated.
The set of twists on a QHA H   form a group. We study a sub-group of the group of twists on a QHA, namely those that leave the co-product Δ : H → H ⊗ H   and co-associator Φ ∈ H ⊗ H ⊗ H   unchanged. These twists are called compatible twists. Twists that leave the coassociator Φ   unchanged are said to satisfy the quasi-cocycle condition. The quasi-cocycle condition is intimately related to the uniqueness of the structure obtained by twisting the quasi-bialgebra part of a QHA. In the quasi-triangular case we show that ℛ T ℛ   and its powers are compatible twists.
Following on from our considerations of the quasi-cocycle condition we introduce the shifted quasi-cocycle condition on a twist F ( λ ) ∈ H ⊗ H   , where λ ∈ H   depends on one (or more) parameters.
We conclude with the quasi-dynamical quantum Yang-Baxter equation (QQYBE), which is the quasi-Hopf analogue of the usual dynamical QYBE.

2 Preliminaries

We begin by recalling the definition [6] of a quasi-bialgebra.
Definition 1. A quasi-bialgebra ( H , Δ , ε , Φ )   is a unital associative algebra H   over a field F   , equipped with algebra homomorphisms ε : H → F   (co-unit), Δ : H → H ⊗ H   (co-product) and an invertible element Φ ∈ H ⊗ H ⊗ H   (co-associator) satisfying
( 1 ⊗ Δ ) Δ ( a ) = Φ − 1 ( Δ ⊗ 1 ) Δ ( a ) Φ , ∀ a ∈ H , (2.1)
( Δ ⊗ 1 ⊗ 1 ) Φ ⋅ ( 1 ⊗ 1 ⊗ Δ ) Φ = ( Φ ⊗ 1 ) ⋅ ( 1 ⊗ Δ ⊗ 1 ) Φ ⋅ ( 1 ⊗ Φ ) , (2.2)
( ε ⊗ 1 ) Δ = 1 = ( 1 ⊗ ε ) Δ , (2.3)
( 1 ⊗ ε ⊗ 1 ) Φ = 1 . (2.4)
It follows from equations ( 2.2 ), ( 2.3 ) and ( 2.4 ) that the co-associator Φ   has the additional properties
( ε ⊗ 1 ⊗ 1 ) Φ = 1 = ( 1 ⊗ 1 ⊗ ε ) Φ .
We now fix the notation to be used throughout the paper. For the co-associator we follow the notation of [12, 13] and write
Φ = ∑ ν X ν ⊗ Y ν ⊗ Z ν , Φ − 1 = ∑ ν X ¯ ν ⊗ Y ¯ ν ⊗ Z ¯ ν .
We adopt Sweedler's [19] notation for the co-product
Δ ( a ) = ∑ ( a ) a ( 1 ) ⊗ a ( 2 ) , ∀ a ∈ H
throughout. Since the co-product is quasi-coassociative we use the following extension of Sweedler's notation
( 1 ⊗ Δ ) Δ ( a ) = a ( 1 ) ⊗ Δ ( a ( 2 ) ) = a ( 1 ) ⊗ a ( 2 ) ( 1 ) ⊗ a ( 2 ) ( 2 )
( Δ ⊗ 1 ) Δ ( a ) = Δ ( a ( 1 ) ) ⊗ a ( 2 ) = a ( 1 ) ( 1 ) ⊗ a ( 1 ) ( 2 ) ⊗ a ( 2 ) . (2.5)
In general, the summation sign is omitted from expressions, with the convention that repeated indices are to be summed over.
Definition 2. A quasi-Hopf algebra ( H , Δ , ε , Φ , S , α , β )   is a quasi-bialgebra ( H , Δ , ε , Φ )   equipped with an algebra anti-homomorphism S   (antipode) and canonical elements α , β ∈ H   such that
S ( X ν ) α Y ν β S ( Z ν ) = 1 = X ¯ ν β S ( Y ¯ ν ) α Z ¯ ν , (2.6)
S ( a ( 1 ) ) α a ( 2 ) = ε ( a ) α , a ( 1 ) β S ( a ( 2 ) ) = ε ( a ) β , ∀ a ∈ H . (2.7)
Throughout we assume bijectivity of the antipode S   so that S − 1   exists. The antipode equations ( 2.6 ), ( 2.7 ) imply ε ( α ) ⋅ ε ( β ) = 1   and ε ( S ( a ) ) = ε ( S − 1 ( a ) ) = ε ( a ) , ∀ a ∈ H   . A triple ( S , α , β )   satisfying equations ( 2.6 ), ( 2.7 ) is called a quasi-antipode.
We shall need the following relations:  2.2 
X ν a ⊗ Y ν β S ( Z ν ) = a ( 1 ) ( 1 ) X ν ⊗ a ( 1 ) ( 2 ) Y ν β S ( Z ν ) S ( a ( 2 ) ) , ∀ a ∈ H (2.8)
Φ ⊗ 1 = ( ) ( Δ ⊗ 1 ⊗ 1 ) Φ ⋅ ( 1 ⊗ 1 ⊗ Δ ) Φ ⋅ ( 1 ⊗ Φ − 1 ) ⋅ ( 1 ⊗ Δ ⊗ 1 ) Φ − 1
= X ν ( 1 ) X μ X ¯ ρ ⊗ X ν ( 2 ) Y μ X ¯ σ Y ¯ ρ ( 1 ) ⊗ Y ν Z μ ( 1 ) Y ¯ σ Y ¯ ρ ( 2 ) ⊗ Z ν Z μ ( 2 ) Z ¯ σ Z ¯ ρ (2.9)
1 ⊗ Φ = ( 1 ⊗ Δ ⊗ 1 ) Φ − 1 ⋅ ( Φ − 1 ⊗ 1 ) ⋅ ( Δ ⊗ 1 ⊗ 1 ) Φ ⋅ ( 1 ⊗ 1 ⊗ Δ ) Φ
= X ¯ ν X ¯ μ X ρ ( 1 ) X σ ⊗ Y ¯ ν ( 1 ) Y ¯ μ X ρ ( 2 ) Y σ ⊗ Y ¯ ν ( 2 ) Z ¯ μ Y ρ Z σ ( 1 ) ⊗ Z ¯ ν Z ρ Z σ ( 2 ) (2.10)
where we have adopted the notation of equation ( 2.5 ) in ( 2.8 ) and the obvious notation in ( 2.9 ), ( 2.10 ) so that, for example Δ ( X ν ) = X ν ( 1 ) ⊗ X ν ( 2 ) , e t c .   Equation ( 2.8 ) follows from applying ( 1 ⊗ m ) ( 1 ⊗ 1 ⊗ β S )   to equation ( 2.1 ), then using ( 2.7 ).

3 Uniqueness of the quasi-antipode.

For Hopf algebras the antipode S   is uniquely determined as the inverse of the identity map on H   under the convolution product. The quasi-antipode ( S , α , β )   for a QHA, is not unique. Nevertheless it is almost unique as the following result due to Drinfeld [6] (whose proof is similar to the one given below) shows:
Theorem 1. Suppose H   is also a QHA, but with quasi-antipode ( S ~ , α ~ , β ~ )   satisfying ( 2.6 ),( 2.7 ). Then there exists a unique invertible v ∈ H   such that
v α = α ~ , β ~ v = β , S ~ ( a ) = v S ( a ) v − 1 , ∀ a ∈ H . (3.11)
Explicitly
( i ) v = S ~ ( X ν ) α ~ Y ν β S ( Z ν ) = S ~ ( S − 1 ( X ¯ ν ) ) S ~ ( S − 1 ( β ) ) S ~ ( Y ¯ ν ) α ~ Z ¯ ν
( i i ) v − 1 = S ( X ν ) α Y ν β ~ S ~ ( Z ν ) = X ¯ ν β ~ S ~ ( Y ¯ ν ) S ~ ( S − 1 ( α ) ) S ~ ( S − 1 ( Z ¯ ν ) )
(3.12)
  • Proof. We proceed stepwise.
    Applying m ⋅ ( S ~ ⊗ 1 ) ( 1 ⊗ α ~ )   to equation ( 2.8 ) gives S ~ ( X ν a ) α ~ Y ν β S ( Z ν ) = S ~ ( a ( 1 ) ( 1 ) X ν ) α ~ a ( 1 ) ( 2 ) Y ν β S ( Z ν ) S ( a ( 2 ) )   so that,
     2.7 
    S ~ ( a ) v = S ~ ( X ν ) S ~ ( a ( 1 ) ( 1 ) ) α ~ a ( 1 ) ( 2 ) Y ν β S ( Z ν ) S ( a ( 2 ) ) = ( ) v S ( a ) , ∀ a ∈ H (3.13)
    where m : H ⊗ H → H   is the multiplication map m ( a ⊗ b ) = a b , ∀ a , b ∈ H   .
    Next observe, from equation ( 2.9 ) that, in view of ( 2.7 ),
    v ⊗ 1 = S ~ ( X ν ( 1 ) X μ X ¯ ρ ) α ~ X ν ( 2 ) Y μ X ¯ σ Y ¯ ρ ( 1 ) β S ( Y ν Z μ ( 1 ) Y ¯ σ Y ¯ ρ ( 2 ) ) ⊗ Z ν Z μ ( 2 ) Z ¯ σ Z ¯ ρ
    = S ~ ( X μ ) α ~ Y μ X ¯ σ β S ( Z μ ( 1 ) Y ¯ σ ) ⊗ Z μ ( 2 ) Z ¯ σ .
    Applying m ⋅ ( 1 ⊗ α )   from the left gives
     2.6 
    v α = S ~ ( X μ ) α ~ Y μ X ¯ σ β S ( Z μ ( 1 ) Y ¯ σ ) α Z μ ( 2 ) Z ¯ σ
    = α ~ X ¯ σ β S ( Y ¯ σ ) α Z ¯ σ = ( ) α ~ . (3.14)
    From this it follows that  3.14  3.13   2.6 
    S ~ ( S − 1 ( X ¯ ν ) ) ⋅ S ~ ( S − 1 ( β ) ) ⋅ S ~ ( Y ¯ ν ) α ~ Z ¯ ν
    = ( ) S ~ ( S − 1 ( X ¯ ν ) ) ⋅ S ~ ( S − 1 ( β ) ) S ~ ( Y ¯ ν ) ⋅ v α Z ¯ ν
    = ( ) v ⋅ S ( S − 1 ( X ¯ ν ) ) ⋅ S ( S − 1 ( β ) ) ⋅ S ( Y ¯ ν ) α Z ¯ ν
    = v ⋅ X ¯ ν β S ( Y ¯ ν ) α Z ¯ ν = v
    which proves ( 3.12 )(i). To see v   is invertible observe that  3.13  3.14  2.6 
    v ⋅ S ( X ν ) α Y ν β ~ S ~ ( Z ν ) = ( ) S ~ ( X ν ) v α Y ν β ~ S ~ ( Z ν )
    = ( ) S ~ ( X ν ) α ~ Y ν β ~ S ~ ( Z ν )
    = ( ) 1
    so v − 1 = S ( X ν ) α Y ν β ~ S ~ ( Z ν )   as stated.
    Now using equation ( 2.10 ) we have
     2.7 
    1 ⊗ v − 1 = X ¯ ν X ¯ μ X ρ ( 1 ) X σ ⊗ S ( Y ¯ ν ( 1 ) Y ¯ μ X ρ ( 2 ) Y σ ) α Y ¯ ν ( 2 ) Z ¯ μ Y ρ Z ¯ σ ( 1 ) β ~ S ~ ( Z ¯ ν Z ρ Z σ ( 2 ) )
    = ( ) X ¯ μ X ρ ( 1 ) ⊗ S ( Y ¯ μ X ρ ( 2 ) ) α Z ¯ μ Y ρ β ~ S ~ ( Z ρ ) .
    Applying m ⋅ ( 1 ⊗ β )   gives
     2.6 
    β v − 1 = X ¯ μ X ρ ( 1 ) β S ( Y ¯ μ X ρ ( 2 ) ) α Z ¯ μ Y ρ β ~ S ~ ( Z ρ )
    = X ¯ μ β S ( Y ¯ μ ) α Z ¯ μ ⋅ β ~ = ( ) β ~ (3.15)
    which completes the proof of ( 3.11 ). As to ( 3.12 )(ii) observe that  3.15  3.13  2.6 
    X ~ ν β ~ S ~ ( Y ¯ ν ) S ~ ( S − 1 ( α ) ) S ~ ( S − 1 ( Z ¯ ν ) )
    = ( ) X ¯ ν β v − 1 S ~ ( Y ¯ ν ) S ~ ( S − 1 ( α ) ) S ~ ( S − 1 ( Z ¯ ν ) )
    = ( ) X ¯ ν β S ( Y ¯ ν ) S ( S − 1 ( α ) ) S ( S − 1 ( Z ¯ ν ) ) v − 1
    = X ¯ ν β S ( Y ¯ ν ) α Z ¯ ν ⋅ v − 1 = ( ) v − 1
    as required. It finally remains to prove uniqueness. Hence suppose u ∈ H   satisfies u S ( a ) = S ~ ( a ) u , ∀ a ∈ H , u α = α ~ , β ~ u = β .   Then  2.6 
    u v − 1 = u ⋅ S ( X ν ) α Y ν β ~ S ~ ( Z ν )
    = S ~ ( X ν ) u α Y ν β ~ S ~ ( Z ν )
    = S ~ ( X ν ) α ~ Y ν β ~ S ~ ( Z ν ) = ( ) 1
    which implies u = v   as required.
In the special case S ~ = S   we obtain the following useful result.
Corollary. Suppose H   is also a QHA with quasi-antipode ( S , α ~ , β ~ )   . Then there is a unique invertible central element v ∈ H   , given explicitly by equation ( 3.12 )(i) (with S ~ = S   ), such that v α = α ~ , β ~ v = β .  
It thus follows that the triple ( S , α , β )   satisfying ( 2.6 ), ( 2.7 ) for a QHA is not unique. Indeed following Theorem  1 , for arbitrary invertible v ∈ H   , the triple ( S ~ , α ~ , β ~ )   defined by S ~ ( a ) = v S ( a ) v − 1 , ∀ a ∈ H ; α ~ = v α , β ~ = β v − 1   is easily seen to satisfy ( 2.6 ), ( 2.7 ) and thus gives rise to a quasi-antipode ( S ~ , α ~ , β ~ )   . Theorem  1 then shows that all such quasi-antipodes ( S ~ , α ~ , β ~ )   are obtainable this way: thus there is a 1–1 correspondence between the latter and invertible v ∈ H   . We say that these structures are equivalent since they clearly give rise to equivalent QHA structures. Throughout we work with a fixed choice for the quasi-antipode ( S , α , β )   .
We conclude this section with the following useful result, proved in [13] , concerning the opposite QHA structure on H   :
Proposition 1. H   is also a QHA, with co-unit ε   , under the opposite co-product and co-associator Δ T   , Φ T ≡ Φ 321 − 1   respectively, with quasi-antipode ( S − 1 , α T = S − 1 ( α ) , β T = S − 1 ( β ) )   .
The QHA H c o p ≡ ( H , Δ T , ε , Φ T , S − 1 , α T , β T )   is called the opposite QHA structure. We remark that above we have adopted the notation of [12] and [13] so that Δ T = T ⋅ Δ , T   the usual twist map, and Φ 321 − 1 = Z ¯ ν ⊗ Y ¯ ν ⊗ X ¯ ν .   This latter notation extends in a natural way and will be employed throughout.

4 Twisting

Let H   be a quasi-bialgebra. Then F ∈ H ⊗ H   is called a twist if it is invertible and satisfies the co-unit property ( ε ⊗ 1 ) F = ( 1 ⊗ ε ) F = 1 .   We recall that H   is also a QBA with the same co-unit ε   but with co-product and co-associator given by
Δ F ( a ) = F Δ ( a ) F − 1 , ∀ a ∈ H
Φ F = ( F ⊗ 1 ) ⋅ ( Δ ⊗ 1 ) F ⋅ Φ ⋅ ( 1 ⊗ Δ ) F − 1 ⋅ ( 1 ⊗ F − 1 ) , (4.16)
called the twisted structure induced by F   . If moreover H   is a QHA with quasi-antipode ( S , α , β )   then H   is also a QHA under the above twisted structure with the same antipode S   but with canonical elements
α F = m ⋅ ( 1 ⊗ α ) ( S ⊗ 1 ) F − 1 β F = m ⋅ ( 1 ⊗ β ) ( 1 ⊗ S ) F (4.17)
respectively. A detailed proof of these well known results is given in [20] . We now investigate the behaviour of the operator v   of Theorem  1 under the twisted structure induced by F   .

4.1 Universality of v  

Recall that the operator v   is given by v = S ~ ( X ν ) α ~ Y ν β S ( Z ν )   Let F ∈ H ⊗ H   be an arbitrary twist. We use the following notation for the twist F   and its inverse F − 1   , F = f i ⊗ f i , F − 1 = f ¯ i ⊗ f ¯ i .   The twisted form of the co-associator is given by ( 4.16 )
Φ F = X ν F ⊗ Y ν F ⊗ Z ν F = f i f j ( 1 ) X ν f ¯ k ⊗ f i f j ( 2 ) Y ν f ¯ ( 1 ) k f ¯ l ⊗ f j Z ν f ¯ ( 2 ) k f ¯ l . (4.18)
For the twisted forms of the canonical elements we have from ( 4.17 )
α ~ F = m ⋅ ( 1 ⊗ α ~ ) ( S ~ ⊗ 1 ) F − 1 = S ~ ( f ¯ p ) α ~ f ¯ p
β F = m ⋅ ( 1 ⊗ β ) ( 1 ⊗ S ) F = f q β S ( f q ) . (4.19)
We note that
 4.19 
S ~ ( f j ) α ~ F f j = ( ) S ~ ( f ¯ p f j ) α ~ f ¯ p f j = m ⋅ ( 1 ⊗ α ) ( S ~ ⊗ 1 ) ( F − 1 F ) = α ~ (4.20)
and similarly,
f ¯ j β F S ( f ¯ j ) = β . (4.21)
The twisted form of v   is given by
 4.18  4.20  4.21 
v F = S ~ ( X ν F ) α ~ F Y ν F β F S ( Z ν F )
= ( ) S ~ ( f i f j ( 1 ) X ν f ¯ k ) α ~ F f i f j ( 2 ) Y ν f ¯ ( 1 ) k f ¯ l β F S ( f j Z ν f ¯ ( 2 ) k f ¯ l )
= S ~ ( f j ( 1 ) X ν f ¯ k ) S ~ ( f i ) α ~ F f i f j ( 2 ) Y ν f ¯ ( 1 ) k f ¯ l β F S ( f ¯ l ) S ( f j Z ν f ¯ ( 2 ) k )
= ( ) S ~ ( f j ( 1 ) X ν f ¯ k ) α ~ f j ( 2 ) Y ν f ¯ ( 1 ) k f ¯ l β F S ( f ¯ l ) S ( f j Z ν f ¯ ( 2 ) k )
= ( ) S ~ ( f j ( 1 ) X ν f ¯ k ) α ~ f j ( 2 ) Y ν f ¯ ( 1 ) k β S ( f j Z ν f ¯ ( 2 ) k )
= S ~ ( X ν f ¯ k ) S ~ ( f j ( 1 ) ) α ~ f j ( 2 ) Y ν f ¯ ( 1 ) k β S ( f ¯ ( 2 ) k ) S ( f j Z ν )
= S ~ ( X ν f ¯ k ) α ~ Y ν f ¯ ( 1 ) k β S ( f ¯ ( 2 ) k ) S ( Z ν )
= S ~ ( X ν ) α ~ Y ν β S ( Z ν ) = v ,
where, in the last two lines we have used the antipode properties of α , β   ( 2.7 ) and the co-unit property of twists. We have thus proved
Theorem 2. The operator v   is universal (i.e. invariant under twisting).

5 The Drinfeld twists

We turn our attention to the Drinfeld twist for the opposite structure of proposition  1 . It is tempting to assume that F δ T   qualifies as a Drinfeld twist for the opposite structure. However this is not true since the antipode for the latter is S − 1   rather than S   . We shall show that the Drinfeld twist for the opposite structure is in fact related to the second Drinfeld twist which we define below.
We begin with a review of the Drinfeld twist.

5.1 The Drinfeld twist

Observe that Δ ′   defined by
Δ ′ ( a ) = ( S ⊗ S ) Δ T ( S − 1 ( a ) ) , ∀ a ∈ H (5.22)
also determines a co-product on H   . Associated with this co-product we have a new QHA structure on H   , which was proved in [13] and which we restate here:
Proposition 2. H   is also a QHA with the same co-unit ε   and antipode S   but with co-product Δ ′   , co-associator Φ ′ = ( S ⊗ S ⊗ S ) Φ 321   , and canonical elements α ′ = S ( β ) , β ′ = S ( α )   respectively.
Drinfeld has proved the remarkable result that this QHA structure is obtained by twisting with the Drinfeld twist, herein denoted F δ   , given explicitly by
( i ) F δ = ( S ⊗ S ) Δ T ( X ν ) ⋅ γ ⋅ Δ ( Y ν β S ( Z ν ) )
= Δ ′ ( X ¯ ν β S ( Y ¯ ν ) ) ⋅ γ ⋅ Δ ( Z ¯ ν )
where
( i i ) γ = S ( B i ) α C i ⊗ S ( A i ) α D i
with
( i i i ) A i ⊗ B i ⊗ C i ⊗ D i = { ( Φ − 1 ⊗ 1 ) ⋅ ( Δ ⊗ 1 ⊗ 1 ) Φ or ( 1 ⊗ Φ ) ⋅ ( 1 ⊗ 1 ⊗ Δ ) Φ − 1 .
(5.23)
The inverse of F δ   is given explicitly by
( i ) F δ − 1 = Δ ( X ¯ ν ) ⋅ γ ¯ ⋅ Δ ′ ( S ( Y ¯ ν ) α Z ¯ ν )
= Δ ( S ( X ν ) α Y ν ) ⋅ γ ¯ ⋅ ( S ⊗ S ) Δ T ( Z ν )
where
( i i ) γ ¯ = A ¯ i β S ( D ¯ i ) ⊗ B ¯ i β S ( C ¯ i )
with
( i i i ) A ¯ i ⊗ B ¯ i ⊗ C ¯ i ⊗ D ¯ i = { ( Δ ⊗ 1 ⊗ 1 ) Φ − 1 ⋅ ( Φ ⊗ 1 ) or ( 1 ⊗ 1 ⊗ Δ ) Φ ⋅ ( 1 ⊗ Φ − 1 ) .
(5.24)
The detailed proof that the QHA structure of proposition  2 is obtained by twisting with F δ   , as given in ( 5.23 ), and in particular
Δ ′ ( a ) = F δ Δ ( a ) F δ − 1 , ∀ a ∈ H (5.25)
is proved in [13] . We simply state here some properties of γ , γ ¯   proved in [13] and which are crucial to the demonstration of Drinfeld's result:
Proposition 3.
( i ) ( S ⊗ S ) Δ T ( a ( 1 ) ) ⋅ γ ⋅ Δ ( a ( 2 ) ) = ε ( a ) γ , ∀ a ∈ H
( i i ) Δ ( a ( 1 ) ) ⋅ γ ¯ ⋅ ( S ⊗ S ) Δ T ( a ( 2 ) ) = ε ( a ) γ ¯ , ∀ a ∈ H
( i i i ) F δ Δ ( α ) = γ , Δ ( β ) F δ − 1 = γ ¯ . (5.26)

5.2 The second Drinfeld twist

Replacing S   with S − 1   we obtain yet another co-product Δ 0   on H   :
Δ 0 ( a ) = ( S − 1 ⊗ S − 1 ) Δ T ( S ( a ) ) , ∀ a ∈ H . (5.27)
We have the following analogue of proposition  2 , the proof of which parallels that of [13] proposition 4, but with S   and S − 1   interchanged:
Proposition  2  ′   H   is also a QHA with the same co-unit ε   and antipode S   but with co-product Δ 0   , co-associator Φ 0 = ( S − 1 ⊗ S − 1 ⊗ S − 1 ) Φ 321   and canonical elements α 0 = S − 1 ( β ) , β 0 = S − 1 ( α )   respectively.
By symmetry we would expect this structure to be obtainable twisting. Indeed we have
Theorem 3. : The QHA structure of proposition  2  ′   is obtained by twisting with
F 0 ≡ ( S − 1 ⊗ S − 1 ) F δ T (5.28)
herein referred to as the second Drinfeld twist, where F δ   is the Drinfeld twist and F δ T = T ⋅ F δ .  
  • Proof. It is clear that F 0   is invertible with inverse F 0 − 1 = ( S − 1 ⊗ S − 1 ) ( F δ T ) − 1   and qualifies as a twist. For the co-product we observe,  5.25  5.27 
    F 0 Δ ( a ) F 0 − 1 = ( S − 1 ⊗ S − 1 ) F δ T ⋅ Δ ( a ) ⋅ ( S − 1 ⊗ S − 1 ) ( F δ T ) − 1
    = ( S − 1 ⊗ S − 1 ) ⋅ T ⋅ [ F δ − 1 ⋅ ( S ⊗ S ) Δ T ( a ) ⋅ F δ ]
    = ( S − 1 ⊗ S − 1 ) ⋅ T ⋅ [ F δ − 1 Δ ′ ( S ( a ) ) F δ ]
    = ( ) ( S − 1 ⊗ S − 1 ) ⋅ T ⋅ Δ ( S ( a ) ) = ( S − 1 ⊗ S − 1 ) Δ T ( S ( a ) )
    = ( ) Δ 0 ( a ) , ∀ a ∈ H .
    The co-associator is slightly more complicated, though also simple. We have from Drinfeld's result Φ ′ ≡ ( S ⊗ S ⊗ S ) Φ 321 = ( F δ ⊗ 1 ) ⋅ ( Δ ⊗ 1 ) F δ ⋅ Φ ⋅ ( 1 ⊗ Δ ) F δ − 1 ⋅ ( 1 ⊗ F δ − 1 )   which implies ( S ⊗ S ⊗ S ) Φ = [ ( F δ ⊗ 1 ) ⋅ ( Δ ⊗ 1 ) F δ ⋅ Φ ⋅ ( 1 ⊗ Δ ) F δ − 1 ⋅ ( 1 ⊗ F δ − 1 ) ] 321   = ( 1 ⊗ F δ T ) ⋅ ( 1 ⊗ Δ T ) F δ T ⋅ Φ 321 ⋅ ( Δ T ⊗ 1 ) ( F δ T ) − 1 ⋅ ( F δ T − 1 ⊗ 1 ) .   Applying ( S − 1 ⊗ S − 1 ⊗ S − 1 )   gives
    Φ = ( F 0 − 1 ⊗ 1 ) ⋅ ( Δ 0 ⊗ 1 ) F 0 − 1 ⋅ Φ 0 ⋅ ( 1 ⊗ Δ 0 ) F 0 ⋅ ( 1 ⊗ F 0 )
    = ( Δ ⊗ 1 ) F 0 − 1 ⋅ ( F 0 − 1 ⊗ 1 ) ⋅ Φ 0 ⋅ ( 1 ⊗ F 0 ) ⋅ ( 1 ⊗ Δ ) F 0
    with F 0   as in the Theorem. Thus Φ 0 = ( F 0 ⊗ 1 ) ⋅ ( Δ ⊗ 1 ) F 0 ⋅ Φ ⋅ ( 1 ⊗ Δ ) F 0 − 1 ⋅ ( 1 ⊗ F 0 − 1 )   which shows that indeed Φ 0   is obtained from Φ   by twisting with F 0   . The proof for the canonical elements is straightforward.

5.3 The Drinfeld twists for the opposite structure

Recall that under the opposite structure of proposition  1  H   is a QHA with antipode S − 1   , co-product Δ T   and co-associator Φ T = Φ 321 − 1   . It follows that if F δ 0   is the Drinfeld twist for this opposite structure then, ∀ a ∈ H  
F δ 0 Δ T ( a ) ( F δ 0 ) − 1 = ( Δ T ) ′ ( a )
= ( S − 1 ⊗ S − 1 ) Δ ( S ( a ) ) = Δ 0 T ( a )
since S − 1   is the antipode for this structure. On the other hand if F 0   is the Drinfeld twist of equation ( 5.28 ) we have also F 0 T Δ T ( a ) ( F 0 T ) − 1 = Δ 0 T ( a )   with Δ 0   as in equation ( 5.27 ). Here we show in fact that F δ 0 = F 0 T   .
Before proceeding we note that the Drinfeld twist is given by the canonical expression of equation ( 5.23 )(i) with γ   as in ( 5.23 )(ii) constructed from the operator of ( 5.23 )(iii); viz
A i ⊗ B i ⊗ C i ⊗ D i = { ( Φ − 1 ⊗ 1 ) ⋅ ( Δ ⊗ 1 ⊗ 1 ) Φ or ( 1 ⊗ Φ ) ⋅ ( 1 ⊗ 1 ⊗ Δ ) Φ − 1 .
This gives rise to two equivalent expansions for γ   . Using the first expression we have, in obvious notation,
A i ⊗ B i ⊗ C i ⊗ D i = ( Φ − 1 ⊗ 1 ) ⋅ ( Δ ⊗ 1 ⊗ 1 ) Φ
= X ¯ ν X μ ( 1 ) ⊗ Y ¯ ν X μ ( 2 ) ⊗ Z ¯ ν Y μ ⊗ Z μ
which gives, upon substitution into ( 5.23 )(ii), γ = S ( Y ¯ ν X μ ( 2 ) ) α Z ¯ ν Y μ ⊗ S ( X ¯ ν X μ ( 1 ) ) α Z μ   which is the expression obtained in [13] . On the other hand using the second expression gives
A i ⊗ B i ⊗ C i ⊗ D i = ( 1 ⊗ Φ ) ⋅ ( 1 ⊗ 1 ⊗ Δ ) Φ − 1
= X ¯ μ ⊗ X ν Y ¯ μ ⊗ Y ν Z ¯ μ ( 1 ) ⊗ Z ν Z ¯ μ ( 2 )
and substituting into ( 5.23 )(ii) gives the alternative expansion
γ = S ( X ν Y ¯ μ ) α Y ν Z ¯ μ ( 1 ) ⊗ S ( X ¯ μ ) α Z ν Z ¯ μ ( 2 ) (5.29)
which is equivalent to the expression above [13] .
Using ( 5.23 )(i) for the opposite structure we have for the Drinfeld twist F δ 0 = ( S − 1 ⊗ S − 1 ) Δ ( X ν 0 ) ⋅ γ 0 ⋅ Δ T ( Y ν 0 β T S − 1 ( Z ν 0 ) )   where we have used the fact that the co-product for the opposite structure is Δ T   , the antipode is S − 1   , with canonical elements α T = S − 1 ( α ) , β T = S − 1 ( β )   and where we have set X ν 0 ⊗ Y ν 0 ⊗ Z ν 0 = Φ T = Φ 321 − 1 ,   which is the opposite co-associator, and where from ( 5.23 )(ii) γ 0 = S − 1 ( B i 0 ) α T C i 0 ⊗ S − 1 ( A i 0 ) α T D i 0   with
A i 0 ⊗ B i 0 ⊗ C i 0 ⊗ D i 0 = [ ( Φ T ) − 1 ⊗ 1 ] ⋅ ( Δ T ⊗ 1 ⊗ 1 ) Φ T
= ( Φ 321 ⊗ 1 ) ⋅ ( Δ T ⊗ 1 ⊗ 1 ) Φ 321 − 1 .
In obvious notation the latter is given by ( Φ 321 ⊗ 1 ) ⋅ ( Δ T ⊗ 1 ⊗ 1 ) Φ 321 − 1 = Z ν Z ¯ μ ( 2 ) ⊗ Y ν Z ¯ μ ( 1 ) ⊗ X ν Y ¯ μ ⊗ X ¯ μ   so that, using α T = S − 1 ( α ) ,    5.29 
γ 0 = S − 1 ( Y ν Z ¯ μ ( 1 ) ) S − 1 ( α ) X ν Y ¯ μ ⊗ S − 1 ( Z ν Z ¯ μ ( 2 ) ) S − 1 ( α ) X ¯ μ
= ( ) ( S − 1 ⊗ S − 1 ) ( γ ) .
Thus we may write, using β T = S − 1 ( β ) ,   F δ 0 = ( S − 1 ⊗ S − 1 ) Δ ( X ν 0 ) ⋅ ( S − 1 ⊗ S − 1 ) γ ⋅ Δ T ( Y ν 0 S − 1 ( β ) S − 1 ( Z ν 0 ) )   so that, substituting X ν 0 ⊗ Y ν 0 ⊗ Z ν 0 = Φ T = Φ 321 − 1 = Z ¯ ν ⊗ Y ¯ ν ⊗ X ¯ ν ,   gives  5.23  5.28 
F δ 0 = ( S − 1 ⊗ S − 1 ) Δ ( Z ¯ ν ) ⋅ ( S − 1 ⊗ S − 1 ) γ ⋅ Δ T ( Y ¯ ν S − 1 ( β ) S − 1 ( X ¯ ν ) )
= ( S − 1 ⊗ S − 1 ) ⋅ [ ( S ⊗ S ) Δ T ( Y ¯ ν S − 1 ( X ¯ ν β ) ) ⋅ γ ⋅ Δ ( Z ¯ ν ) ]
= ( S − 1 ⊗ S − 1 ) ⋅ [ Δ ′ ( X ¯ ν β S ( Y ¯ ν ) ) ⋅ γ ⋅ Δ ( Z ¯ ν ) ]
= ( ) ( i ) ( S − 1 ⊗ S − 1 ) F δ = ( ) F 0 T .
Thus we have proved
Proposition 4. The Drinfeld twist for the opposite QHA structure of proposition  1 is given explicitly by F δ 0 = ( S − 1 ⊗ S − 1 ) F δ = F 0 T .  
To see how F δ T   fits into the picture we need to consider the second Drinfeld twist F 0   of Theorem  3 associated with the co-product of equation ( 5.27 ). We have immediately from proposition  4 
Corollary. The second Drinfeld twist for the opposite structure is F δ T .  
  • Proof. Since the antipode for the opposite structure is S − 1   , Theorem  3 implies that the second Drinfeld twist for this structure is ( S ⊗ S ) ( F δ 0 ) T   where F δ 0   is the Drinfeld twist for the opposite structure, given explicitly in proposition  4 . It follows that the second Drinfeld twist for the opposite structure is ( S ⊗ S ) ⋅ [ ( S − 1 ⊗ S − 1 ) F δ T ] = F δ T .  

5.4 Twisting the Drinfeld twist

It is first useful to determine the behaviour of γ ¯   in equation ( 5.24 )(ii) under an arbitrary twist G ∈ H ⊗ H   . Under the twisted structure induced by G   the operator γ ¯   is twisted to γ ¯ G   , given by equation ( 5.24 )(ii,iii) for the twisted structure, so that
( i ) γ ¯ G = A ¯ i G β G S ( D ¯ i G ) ⊗ B ¯ i G β G S ( C ¯ i G )
where ( i i ) A ¯ i G ⊗ B ¯ i G ⊗ C ¯ i G ⊗ D ¯ i G = ( Δ G ⊗ 1 ⊗ 1 ) Φ G − 1 ⋅ ( Φ G ⊗ 1 ) . (5.30)
We have
Proposition 5. Let G = g i ⊗ g i ∈ H ⊗ H   be a twist on a QHA H   . Then
γ ¯ G = G ⋅ Δ ( g i ) ⋅ γ ¯ ⋅ ( S ⊗ S ) ( G T Δ T ( g i ) ) .
  • Proof. Throughout we write
    G − 1 = g ¯ i ⊗ g ¯ i .
    For the RHS of equation ( 5.30 )(ii) we have
    ( Δ G ⊗ 1 ⊗ 1 ) Φ G − 1 ⋅ ( Φ G ⊗ 1 ) = ( Δ G ⊗ 1 ⊗ 1 ) ⋅
    [ ( 1 ⊗ G ) ⋅ ( 1 ⊗ Δ ) G ⋅ Φ − 1 ⋅ ( Δ ⊗ 1 ) G − 1 ⋅ ( G − 1 ⊗ 1 ) ] ⋅
    { [ ( G ⊗ 1 ) ⋅ ( Δ ⊗ 1 ) G ⋅ Φ ⋅ ( 1 ⊗ Δ ) G − 1 ⋅ ( 1 ⊗ G − 1 ) ] ⊗ 1 }
    where we have used equation ( 4.16 ) for Φ G   and its inverse, thus
     2.1 
    ( Δ G ⊗ 1 ⊗ 1 ) Φ G − 1 ⋅ ( Φ G ⊗ 1 ) =
    ( 1 ⊗ 1 ⊗ G ) ⋅ ( Δ G ⊗ Δ ) G ⋅ ( Δ G ⊗ 1 ⊗ 1 ) Φ − 1 ⋅ [ ( Δ G ⊗ 1 ) Δ ⊗ 1 ] G − 1
    ⋅ [ ( Δ G ⊗ 1 ) G − 1 ⊗ 1 ] ⋅ ( G ⊗ 1 ⊗ 1 ) ⋅ [ ( Δ ⊗ 1 ) G ⊗ 1 ] ⋅ ( Φ ⊗ 1 )
    ⋅ [ ( 1 ⊗ Δ ) G − 1 ⊗ 1 ] ⋅ ( 1 ⊗ G − 1 ⊗ 1 )
    = ( G ⊗ G ) ⋅ ( Δ ⊗ Δ ) G ⋅ ( Δ ⊗ 1 ⊗ 1 ) Φ − 1 ⋅ [ ( Δ ⊗ 1 ) Δ ⊗ 1 ] G − 1
    ⋅ [ ( Δ ⊗ 1 ) G − 1 ⊗ 1 ] ⋅ [ ( Δ ⊗ 1 ) G ⊗ 1 ] ⋅ ( Φ ⊗ 1 )
    ⋅ [ ( 1 ⊗ Δ ) G − 1 ⊗ 1 ] ⋅ ( 1 ⊗ G − 1 ⊗ 1 )
    = ( G ⊗ G ) ⋅ ( Δ ⊗ Δ ) G ⋅ ( Δ ⊗ 1 ⊗ 1 ) Φ − 1 ⋅ [ ( Δ ⊗ 1 ) Δ ⊗ 1 ] G − 1 ⋅
    ⋅ ( Φ ⊗ 1 ) ⋅ [ ( 1 ⊗ Δ ) G − 1 ⊗ 1 ] ⋅ ( 1 ⊗ G − 1 ⊗ 1 )
    = ( ) ( G ⊗ G ) ⋅ ( Δ ⊗ Δ ) G ⋅ { ( Δ ⊗ 1 ⊗ 1 ) Φ − 1 ⋅ ( Φ ⊗ 1 ) }
    ⋅ [ ( 1 ⊗ Δ ) Δ ⊗ 1 ] G − 1 ⋅ [ ( 1 ⊗ Δ ) G − 1 ⊗ 1 ] ⋅ ( 1 ⊗ G − 1 ⊗ 1 ) .
    Now using the notation of equation ( 5.24 )(iii) we have
    ( Δ ⊗ 1 ⊗ 1 ) Φ − 1 ⋅ ( Φ ⊗ 1 ) = A ¯ i ⊗ B ¯ i ⊗ C ¯ i ⊗ D ¯ i
    so that in the notation of equation ( 5.30 )(i)
    A ¯ i G ⊗ B ¯ i G ⊗ C ¯ i G ⊗ D ¯ i G = ( Δ G ⊗ 1 ⊗ 1 ) Φ G − 1 ⋅ ( Φ G ⊗ 1 )
    = ( G ⊗ G ) ⋅ ( Δ ⊗ Δ ) G ⋅ { A ¯ i ⊗ B ¯ i ⊗ C ¯ i ⊗ D ¯ i }
    ⋅ [ ( 1 ⊗ Δ ) Δ ⊗ 1 ] G − 1 ⋅ [ ( 1 ⊗ Δ ) G − 1 ⊗ 1 ] ⋅ ( 1 ⊗ G − 1 ⊗ 1 )
    = g s g j ( 1 ) A ¯ i g ¯ l ( 1 ) g ¯ k ⊗ g s g j ( 2 ) B ¯ i g ¯ l ( 1 ) ( 2 ) g ¯ ( 1 ) k g ¯ m ⊗ g t g ( 1 ) j C ¯ i g ¯ l ( 2 ) ( 2 ) g ¯ ( 2 ) k g ¯ m ⊗ g t g ( 2 ) j D ¯ i g ¯ l
    where we have used the obvious notation, so that
    Δ ( g i ) = g i ( 1 ) ⊗ g i ( 2 ) ,
    ( 1 ⊗ Δ ) Δ ( g i ) = g i ( 1 ) ⊗ Δ ( g i ( 2 ) ) = g i ( 1 ) ⊗ g i ( 1 ) ( 2 ) ⊗ g i ( 2 ) ( 2 ) , etc
    and all repeated indices are understood to be summed over.
    Substituting into equation ( 5.30 )(i) gives
    γ ¯ G = g s g j ( 1 ) A ¯ i g ¯ l ( 1 ) g ¯ k β G S ( g t g ( 2 ) j D ¯ i g ¯ l )
    ⊗ g s g j ( 2 ) B ¯ i g ¯ l ( 1 ) ( 2 ) g ¯ ( 1 ) k g ¯ m β G S ( g t g ( 1 ) j C ¯ i g ¯ l ( 2 ) ( 2 ) g ¯ ( 2 ) k g ¯ m )
    = g s g j ( 1 ) A ¯ i g ¯ l ( 1 ) g ¯ k β G S ( g t g ( 2 ) j D ¯ i g ¯ l )
    ⊗ g s g j ( 2 ) B ¯ i g ¯ l ( 1 ) ( 2 ) g ¯ ( 1 ) k g ¯ m β G S ( g ¯ m ) S ( g ¯ ( 2 ) k ) S ( g ¯ l ( 2 ) ( 2 ) ) S ( g t g ( 1 ) j C ¯ i ) .
    Now using
    g ¯ m β G S ( g ¯ m ) = ( β G ) G − 1 = β G − 1 G = β (5.31)
    and making repeated use of equation ( 2.7 ) gives  5.31  5.24 
    γ ¯ G = g s g j ( 1 ) A ¯ i g ¯ l ( 1 ) g ¯ k β G S ( g t g ( 2 ) j D ¯ i g ¯ l )
    ⊗ g s g j ( 2 ) B ¯ i g ¯ l ( 1 ) ( 2 ) g ¯ ( 1 ) k β S ( g ¯ ( 2 ) k ) S ( g ¯ l ( 2 ) ( 2 ) ) S ( g t g ( 1 ) j C ¯ i )
    = g s g j ( 1 ) A ¯ i g ¯ l β G S ( g ¯ l ) S ( g t g ( 2 ) j D ¯ i ) ⊗ g s g j ( 2 ) B ¯ i β S ( g t g ( 1 ) j C ¯ i )
    = ( ) g s g j ( 1 ) A ¯ i β S ( D ¯ i ) S ( g t g ( 2 ) j ) ⊗ g s g j ( 2 ) B ¯ i β S ( C ¯ i ) S ( g t g ( 1 ) j )
    = ( ) ( i i ) ( g s g j ( 1 ) ⊗ g s g j ( 2 ) ) ⋅ γ ¯ ⋅ ( S ⊗ S ) ( g t g ( 2 ) j ⊗ g t g ( 1 ) j )
    = G ⋅ Δ ( g j ) ⋅ γ ¯ ⋅ ( S ⊗ S ) ( G T ⋅ Δ T ( g j ) )
    which proves the result.
We are now in a position to determine the action of an arbitrary twist G ∈ H ⊗ H   on the inverse Drinfeld twist F δ − 1   , given in equation ( 5.24 ). Under the twisted structure induced by G   , F δ − 1   is twisted to ( F δ G ) − 1 ≡ ( F δ − 1 ) G   , given as in equation ( 5.24 ), but in terms of the twisted structure, so that, with the notation of equation ( 5.30 ), we have from ( 5.24 )(i)
( F δ G ) − 1 = Δ G ( S ( X ν G ) α G Y ν G ) ⋅ γ ¯ G ⋅ ( S ⊗ S ) Δ G T ( Z ν G )
with γ ¯ G   as in proposition  5 .
In obvious notation we may write
X ν G ⊗ Y ν G ⊗ Z ν G = Φ G = ( G ⊗ 1 ) ⋅ ( Δ ⊗ 1 ) G ⋅ Φ ⋅ ( 1 ⊗ Δ ) G − 1 ⋅ ( 1 ⊗ G − 1 )
= g i g j ( 1 ) X ν g ¯ k ⊗ g i g j ( 2 ) Y ν g ¯ ( 1 ) k g ¯ l ⊗ g j Z ν g ¯ ( 2 ) k g ¯ l
which implies
( F δ G ) − 1 = Δ G [ S ( g i g j ( 1 ) X ν g ¯ k ) α G g i g j ( 2 ) Y ν g ¯ ( 1 ) k g ¯ l ] ⋅ γ ¯ G ⋅ ( S ⊗ S ) Δ G T ( g j Z ν g ¯ ( 2 ) k g ¯ l )
= Δ G [ S ( X ν g ¯ k ) S ( g j ( 1 ) ) S ( g i ) α G g i g j ( 2 ) Y ν g ¯ ( 1 ) k g ¯ l ] ⋅ γ ¯ G
⋅ ( S ⊗ S ) Δ G T ( g j Z ν g ¯ ( 2 ) k g ¯ l ) .
Using
S ( g i ) α G g i = ( α G ) G − 1 = α G − 1 G = α ,
and equation ( 2.7 ), then gives  5 
( F δ G ) − 1 = Δ G [ S ( X ν g ¯ k ) α Y ν g ¯ ( 1 ) k g ¯ l ] ⋅ γ ¯ G ⋅ ( S ⊗ S ) Δ G T ( Z ν g ¯ ( 2 ) k g ¯ l )
= G ⋅ Δ [ S ( X ν g ¯ k ) α Y ν g ¯ ( 1 ) k g ¯ l ] ⋅ G − 1 ⋅ γ ¯ G
⋅ ( S ⊗ S ) ( G T ) − 1 ⋅ ( S ⊗ S ) Δ T ( Z ν g ¯ ( 2 ) k g ¯ l ) ⋅ ( S ⊗ S ) G T
= p r o p . ( ) G ⋅ Δ [ S ( X ν g ¯ k ) α Y ν g ¯ ( 1 ) k g ¯ l ] ⋅ Δ ( g i ) ⋅ γ ¯
⋅ ( S ⊗ S ) Δ T ( g i ) ⋅ ( S ⊗ S ) Δ T ( Z ν g ¯ ( 2 ) k g ¯ l ) ⋅ ( S ⊗ S ) G T
= G ⋅ Δ [ S ( X ν g ¯ k ) α Y ν g ¯ ( 1 ) k ] ⋅ Δ ( g ¯ l ) Δ ( g i ) ⋅ γ ¯
⋅ ( S ⊗ S ) Δ T ( g i ) ⋅ ( S ⊗ S ) Δ T ( g ¯ l ) ⋅ ( S ⊗ S ) Δ T ( Z ν g ¯ ( 2 ) k )
⋅ ( S ⊗ S ) G T
= G ⋅ Δ [ S ( X ν g ¯ k ) α Y ν g ¯ ( 1 ) k ] ⋅ Δ ( g ¯ l g i ) ⋅ γ
⋅ ( S ⊗ S ) Δ T ( g ¯ l g i ) ⋅ ( S ⊗ S ) Δ T ( Z ν g ¯ ( 2 ) k ) ⋅ ( S ⊗ S ) G T
= G ⋅ Δ [ S ( X ν g ¯ k ) α Y ν ] ⋅ Δ ( g ¯ ( 1 ) k ) ⋅ γ
⋅ ( S ⊗ S ) Δ T ( g ¯ ( 2 ) k ) ⋅ ( S ⊗ S ) Δ T ( Z ν ) ⋅ ( S ⊗ S ) G T
where we have used the obvious result that
g ¯ l g i ⊗ g ¯ l g i = G − 1 G = 1 ⊗ 1 .
It then follows from proposition  3 that  5.24 
( F δ G ) − 1 = G ⋅ Δ [ S ( X ν ) α Y ν ] ⋅ γ ¯ ⋅ ( S ⊗ S ) Δ T ( Z ν ) ⋅ ( S ⊗ S ) G T
= ( ) ( i ) G ⋅ F δ − 1 ⋅ ( S ⊗ S ) G T .
We have thus proved
Theorem 4. Let G ∈ H ⊗ H   be a twist on a QHA H   . Then under the twisted structure induced by G   , F δ − 1   is twisted to
( F δ G ) − 1 ≡ ( F δ − 1 ) G = G ⋅ F δ − 1 ⋅ ( S ⊗ S ) G T .
Equivalently, the Drinfeld twist is twisted to
F δ G ≡ ( F δ ) G = ( S ⊗ S ) ( G T ) − 1 ⋅ F δ ⋅ G − 1 .
Corollary. F 0   as in equation ( 5.28 ) is twisted to
F 0 G ≡ ( F 0 ) G = ( S − 1 ⊗ S − 1 ) ( G T ) − 1 ⋅ F 0 ⋅ G − 1 .
  • Proof. Follows from the definition of F 0 ≡ ( S − 1 ⊗ S − 1 ) F δ T   and the Theorem above.
When H   is quasi-triangular the opposite structure of proposition  1 is obtainable, up to equivalence modulo ( S , α , β )   , via twisting. In such a case the results of Section  3 have further useful consequences.

6 Quasi-triangular QHAs

A QHA H   is called quasi-triangular if there exists an invertible element
ℛ = ∑ i e i ⊗ e i ∈ H ⊗ H
called the R   -matrix, such that
( i ) Δ T ( a ) ℛ = ℛ Δ ( a ) , ∀ a ∈ H
( i i ) ( Δ ⊗ 1 ) ℛ = Φ 231 − 1 ℛ 13 Φ 132 ℛ 23 Φ 123 − 1
( i i i ) ( 1 ⊗ Δ ) ℛ = Φ 312 ℛ 13 Φ 213 − 1 ℛ 12 Φ 123 , (6.32)
where ℛ 12 = e i ⊗ e i ⊗ 1 , ℛ 13 = e i ⊗ 1 ⊗ e i , etcetera .   We first summarise some well known results for quasi-triangular QHAs. It was shown in [13] that Proposition  1  ′   Under the opposite QHA structure of proposition  1 , H   is also quasi-triangular with R   -matrix ℛ T = T ⋅ ℛ   , called the opposite R   -matrix.
It follows from ( 6.32 ) (ii,iii) that ( ε ⊗ 1 ) ℛ = ( 1 ⊗ ε ) ℛ = 1   so that ℛ   qualifies as a twist. Moreover if F ∈ H ⊗ H   is any twist then, as shown in [13] , H   is also quasi-triangular under the twisted structure of equations ( 4.16 ,  4.17 ) with R   -matrix
ℛ F = F T ℛ F − 1 . (6.33)
It was shown in [13] that
Proposition 6. Under the QHA of proposition  2 , H   is also quasi-triangular with R   -matrix ℛ ′ = ( S ⊗ S ) ℛ .  
We have seen that the QHA structure of proposition  2 is obtainable by twisting with the Drinfeld twist F δ   . It was further shown in [13] that the full structure of proposition  6 is also obtained by twisting with F δ   which, in view of equation ( 6.33 ), is equivalent to
( S ⊗ S ) ℛ = F δ T ℛ F δ − 1 . (6.34)
This result in fact follows from the following relation ( S ⊗ S ) ℛ ⋅ γ = γ T ℛ ,   where γ T = T ⋅ γ   , proved in [13] . In view of proposition  3 this last equation is equivalent to ℛ γ ¯ = γ ¯ T ⋅ ( S ⊗ S ) ℛ   where γ ¯ T = T ⋅ γ ¯   , with γ   and γ ¯   as in equations ( 5.23 ,  5.24 ).
In view of ( 6.32 ) (i) the opposite co-product is obtained from Δ   by twisting with ℛ   . In fact we have the following result proved in [13] :
Proposition 7. The opposite structure of propositions  1 ,  ??   is obtainable by twisting with the R-matrix ℛ   but with antipode S   and canonical elements α ℛ ,   β ℛ   respectively.
Above α ℛ , β ℛ   are given by equation ( 4.17 ), so that
( i ) α ℛ = m ⋅ ( 1 ⊗ α ) ( S ⊗ 1 ) ℛ − 1 , β ℛ = m ⋅ ( 1 ⊗ β ) ( 1 ⊗ S ) ℛ .
Below we set ( i i ) ℛ = e i ⊗ e i , ℛ − 1 = e ¯ i ⊗ e ¯ i in terms of which we may write ( i i i ) α ℛ = S ( e ¯ i ) α e ¯ i , β ℛ = e i β S ( e i ) .
Thus with the co-product Δ T   and co-associator Φ T = Φ 321 − 1   of proposition  1 we have two QHA structures with differing quasi-antipodes ( S , α ℛ , β ℛ )   and ( S − 1 , α T , β T )   where, from proposition  1 , α T = S − 1 ( α ) , β T = S − 1 ( β )   . It follows from Theorem  1 that
Theorem 5. There exists a unique invertible u ∈ H   such that S ( a ) = u S − 1 ( a ) u − 1 , or S 2 ( a ) = u a u − 1 , ∀ a ∈ H   and
u S − 1 ( α ) = α ℛ , β ℛ u = S − 1 ( β ) . (6.35)
Explicitly,
u = S ( Y ν β S ( Z ν ) ) α ℛ X ν = S ( Z ¯ ν ) α ℛ Y ¯ ν S − 1 ( β ) S − 1 ( X ¯ ν )
u − 1 = Z ν β ℛ S ( S ( X ν ) α Y ν ) = S − 1 ( Z ¯ ν ) S − 1 ( α ) Y ¯ ν β ℛ S ( X ¯ ν ) . (6.36)
Above we have used the fact that the opposite QHA structure has co-associator Φ T = Φ 321 − 1   and quasi-antipode ( S − 1 , α T , β T )   . We have then applied Theorem  1 with ( S ~ , α ~ , β ~ ) = ( S , α ℛ , β ℛ )   to give the result.
The above gives the u   -operator of Drinfeld-Reshetikhin [5, 18] . It differs from, but is related to, the u   -operator of Altschuler and Coste [1] . To see how the latter arises, it is easily seen that ℛ ~ ≡ ( ℛ T ) − 1   also satisfies equation ( 6.32 ) and thus constitutes an R   -matrix. Thus proposition  7 and Theorem  3 also hold with ℛ   replaced by ℛ ~   . This implies the existence of a unique invertible u ~ ∈ H   such that S 2 ( a ) = u ~ a u ~ − 1 , ∀ a ∈ H   and u ~ S − 1 ( α ) = α ℛ ~ , β ℛ ~ u ~ = S − 1 ( β )   with α ℛ ~ , β ℛ ~   as in equation ( ??  ) but with ℛ   replaced by ℛ ~   . Explicitly we have, in this case,
u ~ = S ( Y ν β S ( Z ν ) ) α ℛ ~ X ν = S ( Z ¯ ν ) α ℛ ~ Y ¯ ν S − 1 ( β ) S − 1 ( X ¯ ν )
u ~ − 1 = Z ν β ℛ ~ S ( S ( X ν ) α Y ν ) = S − 1 ( Z ¯ ν ) S − 1 ( α ) Y ¯ ν β ℛ ~ S ( X ¯ ν ) . (6.37)
Then, as can be seen from [12]  u ~   is precisely the u   -operator of Altschuler and Coste. To see the relation between u   and u ~   we first note that u S ( u ) = S ( u ) u   is central. This follows by applying S   to S ( a ) = u S − 1 ( a ) u − 1   , giving S 2 ( a ) = S ( u − 1 ) a S ( u ) , ∀ a ∈ H .   Before proceeding it is worth noting the following
Lemma 1.
( i ) β ℛ ~ = S ( u ) S ( β ) , α ℛ ~ = S ( α ) S ( u − 1 )
( i i ) β ℛ = S ( u ~ ) S ( β ) , α ℛ = S ( α ) S ( u ~ − 1 ) . (6.38)
  • Proof. By symmetry it suffices to prove (i). Now  6.35 
    β ℛ ~ = m ⋅ ( 1 ⊗ β ) ( 1 ⊗ S ) ( ℛ T ) − 1 = e ¯ i β S ( e ¯ i )
    = ( ) e ¯ i S ( β ℛ u ) S ( e ¯ i ) = e ¯ i S ( u ) S ( β ℛ ) S ( e ¯ i )
    = e ¯ i S ( u ) S [ e j β S ( e j ) ] S ( e ¯ i )
    = e ¯ i S ( u ) S 2 ( e j ) S ( β ) S ( e j ) S ( e ¯ i )
    = S ( u ) S 2 ( e ¯ i ) S 2 ( e j ) S ( β ) S ( e j ) S ( e ¯ i )
    = S ( u ) S 2 ( e ¯ i e j ) S ( β ) S ( e ¯ i e j ) = S ( u ) S ( β )
    where we have used the obvious result e ¯ i e j ⊗ e ¯ i e j = ℛ − 1 ℛ = 1 ⊗ 1 .   Similarly  6.35 
    α ℛ ~ = m ⋅ ( 1 ⊗ α ) ( S ⊗ 1 ) R T = S ( e i ) α e i
    = ( ) S ( e i ) S ( u − 1 α ℛ ) e i = S ( e i ) S ( α ℛ ) S ( u − 1 ) e i
    = S ( e i ) S [ S ( e ¯ j ) α e ¯ j ] S ( u − 1 ) e i
    = S ( e i ) S ( e ¯ j ) S ( α ) S 2 ( e ¯ j ) S ( u − 1 ) e i
    = S ( e i ) S ( e ¯ j ) S ( α ) S 2 ( e ¯ j ) S 2 ( e i ) S ( u − 1 )
    = S ( e ¯ j e i ) S ( α ) S 2 ( e ¯ j e i ) S ( u − 1 ) = S ( α ) S ( u − 1 ) .
We are now in a position to prove
Lemma 2. u ~ = S ( u − 1 )  
  • Proof. From equation ( 6.37 ) we have  6.38  2.6 
    u ~ = S ( Y ν β S ( Z ν ) ) α ℛ ~ X ν
    = ( ) ( i ) S ( Y ν β S ( Z ν ) ) S ( α ) S ( u − 1 ) X ν
    = S ( Y ν β S ( Z ν ) ) S ( α ) S 2 ( X ν ) S ( u − 1 )
    = S [ S ( X ν ) α Y ν β S ( Z ν ) ] S ( u − 1 )
    = ( ) S ( u − 1 ) .
The above result clearly shows the connection between the u   -operator of Theorem  3 and that due to Altschuler and Coste. Obviously the existence of the u   -operator in the quasi-triangular case is a direct consequence of Theorem  1 and proposition  7 , the latter showing the equivalence of the opposite structure of proposition  1 with that due to twisting with ℛ   . In the case H   is not quasi-triangular, this opposite structure is not in general obtainable by a twist.
The operators u   and u ~   are special cases of the v   operator of Theorem  1 , it follows then from Theorem  2 , that
Theorem 6. The operators u   and u ~   are invariant under twisting.
In section  3 we discussed the uniqueness of the quasi-antipode ( S , α , β )   , but nothing has been said about the uniqueness of the twisted structures or the R   -matrix in the quasi-triangular case.
This is intimately connected with the quasi-cocycle condition to which we now turn.

7 The quasi-cocycle condition

The set of twists on a QHA H   forms a group, moreover, the twisted structure of equations ( 4.16 ,  4.17 ) induced on a QHA H   preserves this group structure in the following sense.
Lemma 3. Let F , G ∈ H ⊗ H   be twists on a QHA H   . Then in the notation of equations ( 4.16 ,  4.17 )
( i ) Δ F G = ( Δ G ) F , Φ F G = ( Φ G ) F
( i i ) α F G = ( α G ) F , β F G = ( β G ) F .
Moreover, if H is quasi-triangular then ( i i i ) ℛ F G = ( ℛ G ) F . (7.39)
In other words the structure obtained from twisting with G   and then with F   is the same as twisting with the twist F G   . It is important that the right hand side of equation ( 7.39 ) is interpreted correctly, e.g. ( Φ G ) F   is given as in equation ( 4.16 ) but with Φ   replaced by Φ G   and Δ   by Δ G   etc.
Given any QBA H   we may impose on a twist F ∈ H ⊗ H   the following condition
( F ⊗ 1 ) ⋅ ( Δ ⊗ 1 ) F ⋅ Φ = Φ ⋅ ( 1 ⊗ F ) ⋅ ( 1 ⊗ Δ ) F (7.40)
which we call the quasi-cocycle condition.
When Φ = 1 ⊗ 1 ⊗ 1   this reduces to the usual cocycle condition on Hopf algebras. In the notation of equation ( 4.16 ), the quasi-cocycle condition is equivalent to
Φ F = Φ . (7.41)
Thus twisting on a QBA by a twist F   satisfying the quasi-cocycle condition results in a QBA structure with the same co-associator.
It is thus not surprising that the quasi-cocycle condition ( 7.40 ) is intimately related to the uniqueness of twisted structures on a QHA H   . Indeed, if F , G ∈ H ⊗ H   are twists giving rise to the same QBA structure, so that
Δ F = Δ G , Φ F = Φ G (7.42)
then C ≡ F − 1 G   must commute with the co-product Δ   and satisfy the quasi-cocycle condition.
Indeed in view of lemma  3 we have  7.42  7.42 
Δ C = Δ F − 1 G = ( Δ G ) F − 1 = ( ) ( Δ F ) F − 1 = Δ F − 1 F = Δ
Φ C = Φ F − 1 G = ( Φ G ) F − 1 = ( ) ( Φ F ) F − 1 = Φ F − 1 F = Φ .
This leads to the following
Definition 3. A twist C ∈ H ⊗ H   on any QBA H   is called compatible if
( i ) C commutes with the co-product Δ
( i i ) C satisfies the quasi-cocycle condition .
In other words twisting a QBA H   with a compatible twist C   gives exactly the same QBA structure. The set of compatible twists on H   thus forms a subgroup of the group of twists on H   .
Proposition 8. Let F , G ∈ H ⊗ H   be twists on a QBA H   . Then the twisted structures induced by F   and G   coincide if and only if there exists a compatible twist C ∈ H ⊗ H   such that G = F C   .
  • Proof. We have already seen that if F , G   give rise to the same QBA structure then C = F − 1 G   is a compatible twist and G = F C   . Conversely, suppose C   is a compatible twist and set G = F C   . Then
    Δ G = Δ F C = ( Δ C ) F = Δ F
    Φ G = Φ F C = ( Φ C ) F = Φ F
    so that G   gives precisely the same twisted structure as F   .
Setting G = 1 ⊗ 1   into the above gives
Corollary. Let F ∈ H ⊗ H   be a twist on a QBA H   . Then the twisted structure induced by F   coincides with the structure on H   if and only if F   is a compatible twist.
In view of the group properties of twists the above corollary is equivalent to proposition  8 .
Let H   be a quasi-triangular QHA with R   -matrix ℛ   satisfying equation ( 6.32 ). From proposition  7 , the opposite co-associator Φ T = Φ 321 − 1   and co-product Δ T   are obtained by twisting with ℛ   , so that Φ T = Φ ℛ   . The proof of this result utilises only the properties ( 6.32 ). Hence, since
Φ = Φ ℛ − 1 ℛ = ( Φ ℛ ) ℛ − 1 = ( Φ T ) ℛ − 1
it follows that if Q   is another R   -matrix for H   i.e. satisfies equation ( 6.32 ), then we must have also
( Φ T ) Q − 1 = Φ .
Then Q − 1 ℛ   must qualify as a compatible twist. Indeed it obviously commutes with Δ   , while as to the quasi-cocycle condition, we have
Φ Q − 1 ℛ = ( Φ ℛ ) Q − 1 = ( Φ T ) Q − 1 = Φ .
Note that ( Q T ) − 1 , ( ℛ T ) − 1   also determine R   -matrices so the following must all determine compatible twists: Q − 1 ℛ , Q T ℛ , ℛ − 1 Q , ℛ T Q   . In particular ℛ T ℛ   must determine a compatible twist, as may be verified directly.
With the notation of section  4 , it is easily seen that the operator
A = Δ ( u − 1 ) F δ − 1 ( u ⊗ u ) F 0 = F δ − 1 ( u ⊗ u ) F 0 Δ ( u − 1 ) (7.43)
commutes with Δ   . This operator appears in the work of Altschuler and Coste [1] in connection with ribbon QHAs. The operator A   satisfies the quasi-cocycle condition and thus determines a compatible twist.
For general QBAs H   , to see that there are sufficiently many compatible twists, we have
Lemma 4. Let z ∈ H   be an invertible central element. Then
C = ( z ⊗ z ) Δ ( z − 1 )
is a compatible twist.
  • Proof. Obviously C   commutes with the co-product Δ   so it remains to prove that it satisfies the quasi-cocycle condition. To this end note that
    ( C ⊗ 1 ) ( Δ ⊗ 1 ) C = ( z ⊗ z ⊗ 1 ) ( Δ ( z − 1 ) ⊗ 1 ) ( Δ ( z ) ⊗ z ) ( Δ ⊗ 1 ) Δ ( z − 1 )
    = ( z ⊗ z ⊗ z ) ( Δ ⊗ 1 ) Δ ( z − 1 ) (7.44)
    and similarly
    ( 1 ⊗ C ) ( 1 ⊗ Δ ) C = ( 1 ⊗ z ⊗ z ) ( 1 ⊗ Δ ( z − 1 ) ) ( z ⊗ Δ ( z ) ) ( 1 ⊗ Δ ) Δ ( z − 1 )
    = ( z ⊗ z ⊗ z ) ( 1 ⊗ Δ ) Δ ( z − 1 ) (7.45)
    thus  7.44  2.1  7.45 
    ( C ⊗ 1 ) ( Δ ⊗ 1 ) C Φ = ( ) ( z ⊗ z ⊗ z ) ( Δ ⊗ 1 ) Δ ( z − 1 ) Φ
    = ( ) ( z ⊗ z ⊗ z ) Φ ( 1 ⊗ Δ ) Δ ( z − 1 )
    = ( ) ( z ⊗ z ⊗ z ) Φ ( z − 1 ⊗ z − 1 ⊗ z − 1 )
    ( 1 ⊗ C ) ( 1 ⊗ Δ ) C
    = Φ ( 1 ⊗ C ) ( 1 ⊗ Δ ) C .
With C   as in the lemma, we see that
( ε ⊗ 1 ) C = ( 1 ⊗ ε ) C = ε ( z ) .
Thus, strictly speaking, ε ( z − 1 ) C   qualifies as a compatible twist.
Following Altschuler and Coste [1] , a quasi-triangular QHA is called a ribbon QHA if the operator A   of equation ( 7.43 ) is given by
A = ( v ⊗ v ) Δ ( v − 1 )
for a certain invertible central element v   , related to the u   -operator u   . This is consistent with the lemma above and the fact that A   determines a compatible twist.
In the case of ribbon Hopf algebras, we have ℛ T ℛ = ( v ⊗ v ) Δ ( v − 1 )   , so that the compatible twist ℛ T ℛ   is also of the form of lemma  4 . This may not be the case for quasi-triangular QHAs in general.
It is worth noting that if H   is a QHA and C ∈ H ⊗ H   a compatible twist then H   is also a QHA under the twisted structure induced by C   with exactly the same co-product Δ   , co-unit ε   , co-associator Φ   , antipode S   , but with canonical elements given by equation ( 4.17 ); viz
α C = m ⋅ ( S ⊗ 1 ) ( 1 ⊗ α ) C − 1 , β C = m ⋅ ( 1 ⊗ S ) ( 1 ⊗ β ) C .
In view of Theorem  1 and it corollary, we have immediately
Proposition 9. Suppose C ∈ H ⊗ H   is a compatible twist on a QHA H   . Then there exists a unique invertible central element z ∈ H   such that
z α = α C , β C z = β .
Explicitly
z = S ( X ν ) α C Y ν β S ( Z ν ) = X ¯ ν β S ( Y ¯ ν ) α C Z ¯ ν
z − 1 = S ( X ν ) α Y ν β C S ( Z ν ) = X ¯ ν β C S ( Y ¯ ν ) α Z ¯ ν .
In the case H   is quasi-triangular we have seen that C = ℛ T ℛ   is a compatible twist. Since the latter form a group we have the infinite family of compatible twists C = ( ℛ T ℛ ) m , m ∈ Z   , in which case the central elements z ± 1   of proposition  9 give the quadratic invariants of [12] .
We conclude this section by noting, in the quasi-triangular case, that twisting the Drinfeld twist with the R   -matrix ℛ   gives, from Theorem  4 , the twisted Drinfeld twist
F δ ℛ ≡ ( F δ ) ℛ = ( S ⊗ S ) ( ℛ T ) − 1 ⋅ F δ ⋅ ℛ − 1 .
On the other hand, since ( ℛ T ) − 1   is an R   -matrix we have, from eq. ( 6.34 ),
( S ⊗ S ) ( ℛ T ) − 1 = F δ T ( ℛ T ) − 1 F δ − 1
which implies
F δ ℛ = F δ T ( ℛ T ) − 1 ⋅ ℛ − 1 = F δ T ( ℛ ℛ T ) − 1
where ℛ ℛ T   and its inverse are compatible twists under the opposite structure. This shows that F δ T   will give rise to a Drinfeld twist under the opposite structure of proposition  7 induced by twisting with ℛ   (which has antipode S   rather than S − 1   ). Applying T   to the equation above gives
( F δ R ) T = F δ ( ℛ T ℛ ) − 1
which shows that, since ℛ T ℛ   and its inverse are compatible twists, ( F δ ℛ ) T   also gives rise to a Drinfeld twist on H   .

8 Quasi-dynamical QYBE

Throughout we assume H   is a quasi-triangular QHA with R   -matrix ℛ   satisfying ( 6.32 ) which we reproduce here:
( i ) Δ T ( a ) ℛ = ℛ Δ ( a ) , ∀ a ∈ H
( i i ) ( Δ ⊗ 1 ) ℛ = Φ 231 − 1 ℛ 13 Φ 132 ℛ 23 Φ 123 − 1
( i i i ) ( 1 ⊗ Δ ) ℛ = Φ 312 ℛ 13 Φ 213 − 1 ℛ 12 Φ 123 . (8.46)
Applying T ⊗ 1   to (ii) and 1 ⊗ T   to (iii) then gives
( i i ′ ) ( Δ T ⊗ 1 ) ℛ = Φ 321 − 1 ℛ 23 Φ 312 ℛ 13 Φ 213 − 1
( i i i ′ ) ( 1 ⊗ Δ T ) ℛ = Φ 321 ℛ 12 Φ 231 − 1 ℛ 13 Φ 132 .
It follows that ℛ 12 ( Δ ⊗ 1 ) ℛ = ( Δ T ⊗ 1 ) ℛ ⋅ ℛ 12   from which we deduce that ℛ   must satisfy the quasi-QYBE:
ℛ 12 Φ 231 − 1 ℛ 13 Φ 132 ℛ 23 Φ 123 − 1 = Φ 321 − 1 ℛ 23 Φ 312 ℛ 13 Φ 213 − 1 ℛ 12 . (8.47)
If we twist H   with a twist F ∈ H ⊗ H   then H   is also a quasi-triangular QHA under the twisted structure ( 4.16 , 4.17 ) induced by F   with universal R   -matrix ℛ F = F T ℛ F − 1 .   Following equation ( 7.40 ) we say a twist F ( λ ) ∈ H ⊗ H   satisfies the shifted quasi-cocycle condition if
[ F ( λ ) ⊗ 1 ] ⋅ ( Δ ⊗ 1 ) F ( λ ) ⋅ Φ = Φ ⋅ [ 1 ⊗ F ( λ + h ( 1 ) ) ] ⋅ ( 1 ⊗ Δ ) F ( λ ) (8.48)
where λ ∈ H   depends on one (or possibly several) parameters and h ∈ H   is fixed. Alternatively, we may write in obvious notation
F 12 ( λ ) ⋅ ( Δ ⊗ 1 ) F ( λ ) ⋅ Φ = Φ ⋅ F 23 ( λ + h ( 1 ) ) ⋅ ( 1 ⊗ Δ ) F ( λ ) . (8.49)
When h = 0   , this reduces to the quasi-cocycle condition ( 7.40 ) satisfied by F = F ( λ )   . When Φ = 1 ⊗ 1 ⊗ 1   (i.e. the normal Hopf-algebra case) equation ( 8.48 ) reduces to the usual shifted cocycle condition.
Twisting H   with a twist F   satisfying the (unshifted) quasi-cocycle condition results in a QHA with the same co-associator Φ   , co-unit ε   and antipode S   but with the twisted co-product Δ F   , R   -matrix ℛ F   (and canonical elements α F , β F   ). We now consider twisting H   with a twist F = F ( λ )   satisfying the shifted condition ( 8.48 ). Then under this twisted structure H   is also a quasi-triangular QHA with the same co-unit ε   and antipode S   but with the co-associator Φ ( λ ) = Φ F ( λ )   , and co-product and R   -matrix given by
Δ λ ( a ) = F ( λ ) Δ ( a ) F ( λ ) − 1 , ∀ a ∈ H , ℛ ( λ ) = F T ( λ ) ℛ F ( λ ) − 1 (8.50)
with canonical elements α λ = α F ( λ ) , β λ = β F ( λ )   .
In view of equation ( 8.49 ) we have for the co-associator
Φ ( λ ) = F 12 ( λ ) ⋅ ( Δ ⊗ 1 ) F ( λ ) ⋅ Φ ⋅ ( 1 ⊗ Δ ) F ( λ ) − 1 ⋅ F 23 ( λ ) − 1
= Φ ⋅ F 23 ( λ + h ( 1 ) ) ⋅ ( 1 ⊗ Δ ) F ( λ ) ⋅ ( 1 ⊗ Δ ) F ( λ ) − 1 ⋅ F 23 ( λ ) − 1
= Φ ⋅ F 23 ( λ + h ( 1 ) ) ⋅ F 23 ( λ ) − 1 (8.51)
which implies Φ ( λ ) − 1 = F 23 ( λ ) ⋅ F 23 ( λ + h ( 1 ) ) − 1 ⋅ Φ − 1 .   In the Hopf-algebra case equation ( 8.51 ) reduces to the expression for Φ ( λ )   obtained in [13] ( Φ = 1 ⊗ 1 ⊗ 1 )   .
Under the above twisted structure equation ( 6.32 )(ii) becomes ( Δ λ ⊗ 1 ) ℛ ( λ ) = Φ 231 ( λ ) − 1 ⋅ ℛ 13 ( λ ) ⋅ Φ 132 ( λ ) ⋅ ℛ 23 ( λ ) ⋅ Φ 123 − 1 ( λ ) .   Now
 8.51 
Φ 132 ( λ ) = ( 1 ⊗ T ) Φ 123 ( λ )
= ( ) Φ 132 ⋅ F 23 T ( λ + h ( 1 ) ) ⋅ F 23 T ( λ ) − 1 (8.52)
which implies  8.51  8.50 
( Δ λ ⊗ 1 ) ℛ ( λ ) = Φ 231 ( λ ) − 1 ⋅ ℛ 13 ( λ ) ⋅ Φ 132 ⋅ F 23 T ( λ + h ( 1 ) )
⋅ F 23 T ( λ ) − 1 ⋅ ℛ 23 ( λ ) ⋅ Φ 123 − 1 ( λ )
= ( ) Φ 231 ( λ ) − 1 ⋅ ℛ 13 ( λ ) ⋅ Φ 132 ⋅ F 23 T ( λ + h ( 1 ) )
⋅ F 23 T ( λ ) − 1 ⋅ ℛ 23 ( λ ) ⋅ F 23 ( λ ) ⋅ F 23 ( λ + h ( 1 ) ) − 1 ⋅ Φ 123 − 1
= ( ) Φ 231 ( λ ) − 1 ⋅ ℛ 13 ( λ ) ⋅ Φ 132 ⋅ ℛ 23 ( λ + h ( 1 ) ) ⋅ Φ 123 − 1 .
Similarly equation ( 6.32 )(iii) becomes ( 1 ⊗ Δ λ ) ℛ ( λ ) = Φ 312 ( λ ) ⋅ ℛ 13 ( λ ) ⋅ Φ 213 − 1 ( λ ) ⋅ ℛ 12 ( λ ) ⋅ Φ 123 ( λ ) .   Now
 8.51 
Φ 312 ( λ ) = ( T ⊗ 1 ) ( 1 ⊗ T ) Φ 123 ( λ )
= ( ) ( T ⊗ 1 ) [ Φ 132 ⋅ F 23 T ( λ + h ( 1 ) ) ⋅ F 23 T ( λ ) − 1 ]
= Φ 312 ⋅ F 13 T ( λ + h ( 2 ) ) ⋅ F 13 T ( λ ) − 1
while
 8.51 
Φ 213 − 1 ( λ ) = ( T ⊗ 1 ) Φ ( λ ) − 1
= ( ) ( T ⊗ 1 ) [ F 23 ( λ ) ⋅ F 23 ( λ + h ( 1 ) ) − 1 ⋅ Φ − 1 ]
= F 13 ( λ ) ⋅ F 13 ( λ + h ( 2 ) ) − 1 ⋅ Φ 213 − 1 .
Therefore
 8.50 
( 1 ⊗ Δ λ ) ℛ ( λ ) = Φ 312 ⋅ F 13 T ( λ + h ( 2 ) ) ⋅ F 13 T ( λ ) − 1 ⋅ ℛ 13 ( λ )
⋅ F 13 ( λ ) ⋅ F 13 ( λ + h ( 2 ) ) − 1 ⋅ Φ 213 − 1 ⋅ ℛ 12 ( λ ) ⋅ Φ 123 ( λ )
= ( ) Φ 312 ⋅ R 13 ( λ + h ( 2 ) ) ⋅ Φ 213 − 1 ⋅ R 12 ( λ ) ⋅ Φ 123 ( λ ) .
We thus arrive at
Lemma 5. ℛ ( λ )   satisfies the co-product properties
( i ) ( Δ λ ⊗ 1 ) ℛ ( λ ) = Φ 231 − 1 ( λ ) ⋅ ℛ 13 ( λ ) ⋅ Φ 132 ⋅ ℛ 23 ( λ + h ( 1 ) ) ⋅ Φ 123 − 1
( i i ) ( 1 ⊗ Δ λ ) ℛ ( λ ) = Φ 312 ⋅ R 13 ( λ + h ( 2 ) ) ⋅ Φ 213 − 1 ⋅ R 12 ( λ ) ⋅ Φ 123 ( λ )
( i i i ) ( Δ λ T ⊗ 1 ) ℛ ( λ ) = Φ 321 − 1 ( λ ) ⋅ ℛ 23 ( λ ) ⋅ Φ 312 ⋅ ℛ 13 ( λ + h ( 2 ) ) ⋅ Φ 213 − 1
( i v ) ( 1 ⊗ Δ λ T ) ℛ ( λ ) = Φ 321 ⋅ R 12 ( λ + h ( 3 ) ) ⋅ Φ 231 − 1 ⋅ R 13 ( λ ) ⋅ Φ 132 ( λ ) .
(8.53)
  • Proof. We have already proved (i) and (ii) while (iii) follows by applying ( T ⊗ 1 )   to (i) and (iv) by applying ( 1 ⊗ T )   to (ii).
We are now in a position to determine the QQYBE ( 8.47 ) satisfied by ℛ = ℛ ( λ )   for this twisted structure. We have  8.53  6.32  8.53 
ℛ 23 ( λ ) ⋅ Φ 312 ⋅ ℛ 13 ( λ + h ( 2 ) ) ⋅ Φ 213 − 1 ⋅ R 12 ( λ )
= ( ) ( i i ) ℛ 23 ( λ ) ⋅ ( 1 ⊗ Δ λ ) ℛ ( λ ) ⋅ Φ 123 − 1 ( λ )
= ( ) ( i ) ( 1 ⊗ Δ λ T ) ℛ ( λ ) ⋅ ℛ 23 ( λ ) ⋅ Φ 123 − 1 ( λ )
= ( ) ( i v ) Φ 321 ⋅ R 12 ( λ + h ( 3 ) ) ⋅ Φ 231 − 1 ⋅ R 13 ( λ ) ⋅ Φ 132 ( λ ) ⋅ ℛ 23 ( λ ) ⋅ Φ 123 − 1 ( λ )
where for the last three terms we have  8.51   8.52  8.50 
Φ 132 ( λ ) ⋅ ℛ 23 ( λ ) ⋅ Φ 123 − 1 ( λ ) = ( , ) Φ 132 ⋅ F 23 T ( λ + h ( 1 ) ) ⋅ F 23 T ( λ ) − 1
⋅ R 23 ( λ ) ⋅ F 23 ( λ ) ⋅ F 23 ( λ + h ( 1 ) ) − 1 ⋅ Φ 123 − 1
= ( ) Φ 132 ⋅ ℛ 23 ( λ + h ( 1 ) ) ⋅ Φ 123 − 1 .
Hence
ℛ 23 ( λ ) ⋅ Φ 312 ⋅ ℛ 13 ( λ + h ( 2 ) ) ⋅ Φ 213 − 1 ⋅ R 12 ( λ )
= Φ 321 ⋅ ℛ 12 ( λ + h ( 3 ) ) ⋅ Φ 231 − 1 ⋅ ℛ 13 ( λ ) ⋅ Φ 132 ⋅ ℛ 23 ( λ + h ( 1 ) ) ⋅ Φ 123 − 1 .
We thus arrive at
Proposition 10. ℛ ( λ )   satisfies the quasi-dynamical QYBE
ℛ 12 ( λ + h ( 3 ) ) ⋅ Φ 231 − 1 ⋅ ℛ 13 ( λ ) ⋅ Φ 132 ⋅ ℛ 23 ( λ + h ( 1 ) ) ⋅ Φ 123 − 1
= Φ 321 − 1 ⋅ ℛ 23 ( λ ) ⋅ Φ 312 ⋅ ℛ 13 ( λ + h ( 2 ) ) ⋅ Φ 213 − 1 ⋅ ℛ 12 ( λ ) . (8.54)
In the Hopf algebra case ( Φ = 1 ⊗ 1 ⊗ 1   ) equation ( 8.54 ) reduces to the usual dynamical QYBE. If we set h = 0   then equation ( 8.54 ) reduces to the quasi-QYBE ( 8.47 ) satisfied by ℛ = ℛ ( λ )   . Hence the term quasi-dynamical QYBE for ( 8.54 ): we could, alternatively, refer to ( 8.54 ) as the dynamical quasi-QYBE (dynamical QQYBE), since it is obviously the quasi-Hopf algebra analogue of the usual dynamical QYBE. With respect to the QHA structure of propositions  2 ,  ??   we have the R   -matrices ℛ ′ ( λ ) = ( S ⊗ S ) ℛ ( λ ) , ℛ 0 ( λ ) = ( S − 1 ⊗ S − 1 ) ℛ ( λ )   respectively. Then applying ( S ⊗ S ⊗ S ) , ( S − 1 ⊗ S − 1 ⊗ S − 1 )   respectively to equation ( 8.54 ) it follows that both of these R   -matrices satisfy the opposite quasi-dynamical QYBE
ℛ ~ 12 ( λ ) ⋅ Φ ~ 231 − 1 ⋅ ℛ ~ 13 ( λ + h ( 2 ) ) ⋅ Φ ~ 132 ⋅ ℛ ~ 23 ( λ ) ⋅ Φ ~ 123 − 1
= Φ ~ 321 − 1 ⋅ ℛ ~ 23 ( λ + h ( 1 ) ) ⋅ Φ ~ 312 ⋅ ℛ ~ 13 ( λ ) ⋅ Φ ~ 213 − 1 ⋅ ℛ ~ 12 ( λ + h ( 3 ) )
where Φ ~   is the co-associator of propositions  2 , ??   and ℛ ~ ( λ )   denotes ℛ ′ ( λ )   , ℛ 0 ( λ )   respectively.
Moreover applying ( T ⊗ 1 ) ( ( 1 ⊗ T ) ( T ⊗ 1 )   to equation ( 8.54 ) it is easily seen that ℛ T ( λ )   also satisfies the above opposite quasi-dynamical QYBE but with respect to the opposite co-associator Φ T   of proposition  1 .
We anticipate that the quasi-dynamical QYBE will play an important role in obtaining elliptic solutions to the QQYBE from trigonometric ones via twisted QUEs. Of particular interest is the quasi-dynamical QYBE for elliptic quantum groups.
References

  1. Altschuler, D., Coste, A.: Quasi-quantum groups, knots, three manifolds and topological field theory, Commun. Math. Phys., 150 No. 1 83–107 (1992) arXiv:hep-th/9202047.
  2. Chari, V., Pressley, A.: A Guide to Quantum Groups, Cambridge University Press, Cambridge (1994).
  3. Dijkgraaf, R., Pasquier, V., Roche, P.: Quasi-quantum groups related to orbifold models, Proc. Int. Coll. on Modern Quantum Field Theory, Tata Institute, Bombay, (1990).
  4. Dijkgraaf, R., Vafa, C., Verlinde, E., Verlinde, H.: The operator algebra of orbifold models, Commun. Math. Phys., 123 No. 3 485–526 (1989).
  5. Drinfeld, V.G.: On almost cocommutative Hopf algebras, Leningrad Math. J., 1 No. 2 321–342 (1990).
  6. Drinfeld, V.G.: Quasi-Hopf Algebras, Leningrad Math. J., 1 No. 6 1419–1457 (1990).
  7. Drinfeld, V.G.: On quasitriangular quasi-Hopf algebras and a group closely connected with G a l ( Q ¯ / Q )   , Leningrad Math. J., 2 No. 4 829–860 (1991).
  8. Enriquez, B., Felder, G.: Elliptic quantum group E τ , η ( s l 2 )   and quasi-Hopf algebras, Commun. Math. Phys., 195 651–689, (1998) arXiv:q-alg/9703018.
  9. Foda, O., Iohara, K., Jimbo, M., Kedem, R., Miwa, T.,Yan, H.: An elliptic quantum algebra for s l 2 ^   , Lett. Math. Phys., 32 No. 3 259–268, (1994) arXiv:hep-th/9403094.
  10. Felder, G.: Elliptic quantum groups, Proc. XIth ICMP (Paris, 1994), 211–218, (1995).
  11. Fronsdal, C.: Quasi-Hopf deformations of quantum groups, Lett. Math. Phys., 40 117–134, (1997) arXiv:q-alg/9611028.
  12. Gould, M.D., Zhang, Y.-Z., Isaac, P.S.: Casimir invariants from quasi-Hopf (super) algebras, J. Math. Phys., 41 547–568, (2000) arXiv:math.QA/9811052.
  13. Gould, M.D., Zhang, Y.-Z., Isaac, P.S.: On quasi-Hopf superalgebras, Commun. Math. Phys., 224 341–372 (2001) arXiv:math.QA/9811062.
  14. Jimbo M., Odake S., Konno H., Shiraishi J.: Quasi-Hopf twistors for elliptic quantum groups, Transform. Groups, 4 303–327, (1999) arXiv:q-alg/9712029.
  15. Links, J. R., Gould, M. D., Zhang, Y.-Z.: Twisting invariance of link polynomials derived from ribbon quasi-Hopf algebras, J. Math. Phys., 41, 5020–5032, (2000) arXiv:math.QA/9904069.
  16. Mack, G., Schomerus, V.: Quasi quantum group symmetry and local braid relations in the conformal Ising model, Phys. Lett. B, 267, 207–213, (1991).
  17. Majid, S.: Foundations of Quantum Group Theory, Cambridge University Press, Cambridge (2000).
  18. Reshetikhin, N.: Quasitriangle Hopf algebras and invariants of links, Leningrad Math. J., 1 No. 2 491–513 (1990).
  19. Sweedler, M.E.: Hopf Algebras, Benjamin, New York (1969).
  20. Zhang, Y.-Z., Gould, M.D.: Quasi-Hopf superalgebras and elliptic quantum supergroups, J. Math. Phys., 40 No. 10 5264–5282 (1999) arXiv:math.QA/9809156.