Next Article in Journal
RDF 1.1: Knowledge Representation and Data Integration Language for the Web
Next Article in Special Issue
Maximum-Entropy-Model-Enabled Complexity Reduction Algorithm in Modern Video Coding Standards
Previous Article in Journal
The Asymmetric Alpha-Power Skew-t Distribution
Previous Article in Special Issue
CQ-Type Algorithm for Reckoning Best Proximity Points of EP-Operators
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Quantum Duality of Group Amenability

School of Mathematical Sciences, Tiangong University, Tianjin 300387, China
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Symmetry 2020, 12(1), 85; https://doi.org/10.3390/sym12010085
Submission received: 3 November 2019 / Revised: 24 December 2019 / Accepted: 27 December 2019 / Published: 2 January 2020
(This article belongs to the Special Issue Advance in Nonlinear Analysis and Optimization)

Abstract

:
In this paper, we investigate the co-amenability of compact quantum groups. Combining with some properties of regular C*-norms on algebraic compact quantum groups, we show that the quantum double of co-amenable compact quantum groups is unique. Based on this, this paper proves that co-amenability is preserved under formulation of the quantum double construction of compact quantum groups, which exhibits a type of nice symmetry between the co-amenability of quantum groups and the amenability of groups.

1. Introduction

Given a compact group G, denoted by C ( G ) the C*-algebra of continuous functions on G, one can define a morphism
Δ : C ( G ) C ( G ) C ( G ) ,
by Δ ( f ) ( g 1 , g 2 ) = f ( g 1 g 2 ) , where f C ( G ) , g 1 , g 2 G , and C ( G ) C ( G ) is naturally identified with C ( G × G ) , which satisfies the co-associativity
( i d Δ ) Δ = ( Δ i d ) Δ .
The morphism Δ is called a co-multiplication on C ( G ) , under which the pair ( C ( G ) , Δ ) comes into being a compact quantum group defined in the sense of Woronowicz [1].
Definition 1
([1]). Assume that A is a C*-algebra with an identity and Δ : A A A is a unital *-homomorphism satisfying the following two relationships,
(i) 
( i d Δ ) Δ = ( Δ i d ) Δ ,
(ii) 
the linear spans of ( 1 A ) Δ ( A ) and ( A 1 ) Δ ( A ) are each equal to A A .
Then, the pair ( A , Δ ) is called a compact quantum group ( C Q G ).
For an arbitrary C Q G ( A , Δ ) , by [2], there exists a unique state h A on A so that for all a A ,
( i d h A ) Δ ( a ) = ( h A i d ) Δ ( a ) = h A ( a ) 1 ,
which is called the Haar integral of ( A , Δ ) . For the commutative C Q G ( C ( G ) , Δ ) associated to a classical compact group G described as above, the Haar integral h C ( G ) is the integral with respect to the Haar measure on G, which has full support and, therefore, is faithful. However, the Haar integral on an arbitrary C Q G ( A , Δ ) needs not be always faithful. Each C Q G ( A , Δ ) has a canonical dense Hopf *-subalgebra ( A 0 , Δ 0 ) linearly spanned by matrix entries of all finite dimensional co-representations of ( A , Δ ) , where Δ 0 is given by restricting the co-multiplication Δ from A to A 0 . In the article, we call ( A 0 , Δ 0 ) the associated algebraic C Q G of ( A , Δ ) ( a l g C Q G ).
Let Γ be a discrete group, and let C r ( Γ ) and C ( Γ ) be its reduced and full group C*-algebras. Γ is called amenable if there exists an invariant mean on L ( Γ ) . Endowed with co-multiplications Δ r and Δ , ( C r ( Γ ) , Δ r ) and ( C ( Γ ) , Δ ) come into being C Q G s , which are called reduced and universal C Q G , respectively. The Haar integral of ( C r ( Γ ) , Δ r ) is faithful, but that of ( C ( Γ ) , Δ ) may not be; the co-unit of ( C ( Γ ) , Δ ) is norm-bounded, but that of ( C r ( Γ ) , Δ r ) may not be. From [3], the Haar integral of ( C ( Γ ) , Δ ) is faithful if and only if the co-unit of ( C ( Γ ) , Δ ) is norm-bounded if and only if Γ is amenable. Under what conditions is the Haar integral on a C Q G faithful and the co-unit norm-bounded? In [3], Bédos, Murphy, and Tuset defined the co-amenability of C Q G , which can induce the faithfulness of its Haar integral and the norm-boundness of its co-unit. As the quantum dual of group amenability, ( C r ( Γ ) , Δ r ) is co-amenable if and only if Γ is amenable. Denote C [ Γ ] the group algebra of Γ equipped with its canonical Hopf *-algebra structure. By [3], C r ( Γ ) and C ( Γ ) are the C Q G completions of C [ Γ ] . Under what conditions, for an arbitrary a l g C Q G ( A 0 , Δ 0 ) , is the C Q G completion of ( A 0 , Δ 0 ) unique? Generally, it is not unique. However, in the co-amenable case, the answer is affirmative [3]. Moreover, in [4,5], Bédos, Murphy, and Tuset studied the amenability and co-amenability of algebraic quantum groups, a sufficient large quantum group class including C Q G s and discrete quantum groups( D Q G s ), which admits a dual that is also an algebraic quantum group.
In the group case, a product of two discrete amenable groups is amenable; as a quantum counterpart, co-amenability is preserved under formulation of the tensor product of two C Q G s [3]. In [6], we constructed the reduced and universal quantum double of two dually paired C Q G s . Since the tensor product of two C Q G s is a special case of quantum double of C Q G s when the pairing is trivial, inspired by the underlying stability of co-amenability of C Q G s and the symmetrical idea, in the article, we will focus on studying the stability of the co-amenability in the process of quantum double constructions. In Section 2, we first recall the definition of co-amenability of compact quantum groups, as well as some related properties, and then briefly present the quantum double construction procedure. By symmetric calculations, as used in the case of the group amenability, in Section 3, we show that the quantum double of C Q G s is unique when the paired C Q G s are both co-amenable and that co-amenability is preserved under formulation of the quantum double constructions of C Q G s . Using this result, one can yield a co-amenable new C Q G from a pair of co-amenable C Q G s .
In the article, all algebras are considered over the complex field C . For the details on C Q G s and C*-norms, we refer to [6,7,8,9,10,11,12,13]; and for the general conclusions for pairing and quantum double, we refer to [2,6,14,15,16,17]. In our proofs, we make use of a large quantity of calculations by the standard Sweedler notation.

2. Preliminaries

In this section, we first recall the definition of co-amenability of C Q G s and some of its properties.
Let ( A , Δ ) be a C Q G , ( A 0 , Δ 0 ) be the associated a l g C Q G of ( A , Δ ) , and h the Haar integral of ( A , Δ ) . As is well known, h is faithful on ( A 0 , Δ 0 ) but need not be faithful on the C*-algebra ( A , Δ ) . Set
A r = A / N h ,
where N h is the left kernel of h. Then, A r becomes a C Q G , where its co-multiplication Δ r is defined as
Δ r ( η ( a ) ) = ( η η ) Δ ( a ) ,
for all a A , where η : A A r is the canonical map. ( A r , Δ r ) is called the reduced quantum group of ( A , Δ ) , where its co-unit ε r , antipode S r , and Haar state h r are determined by
ε = ε r η , η S = S r η , h = h r η ,
respectively. What needs to be pointed out is that the co-unit ε r of ( A r , Δ r ) is faithful. However, generally, the co-unit ε r needs not be norm-bounded.
Definition 2
([3]). A C Q G ( A , Δ ) is called co-amenable if the co-unit ε r of ( A r , Δ r ) is norm-bounded, where ( A r , Δ r ) is the reduced quantum group of ( A , Δ ) .
With the following proposition, one can obtain the co-amenability of ( A , Δ ) without reference to the reduced quantum group ( A r , Δ r ) .
Proposition 1
([3]). Let ( A , Δ ) be a C Q G , and h and ε be its Haar integral and co-unit, respectively. Then, ( A , Δ ) is co-amenable if and only h is faithful and ε is norm-bounded.
Assume that ( A , Δ ) and ( A 0 , Δ 0 ) are described as above. Let · c be a C*-norm on ( A 0 , Δ 0 ) , and let ( A c , Δ c ) be a compact quantum group completion of ( A 0 , Δ 0 ) . · c is called regular on A 0 , if it is the restriction to A 0 of the C*-norm on ( A c , Δ c ) . Define · u on A 0 as
a u : = sup π π ( a ) ,
where the variable π travels over all unital *-representations π of A 0 . It is not difficult to find that · u is the greatest regular C*-norm on A 0 . Denote A u as the C*-algebra completion of A 0 with respect to · u and Δ u the extension to A u of Δ . Then, ( A u , Δ u ) is a C Q G , which is called the universal quantum group of ( A , Δ ) . Define · r on A 0 as
a r : = η ( a ) ,
for all a A 0 , which is the least regular C*-norm on A 0 . Then, the underlying A r is the C*-algebraic completion of A 0 with respect to · r .
Proposition 2
([3]). Let ( A , Δ ) be a C Q G , ( A 0 , Δ 0 ) be the associated a l g C Q G of ( A , Δ ) , and · c a regular C*-norm on A 0 . Then,
(i) 
For all a A 0 ,
a r a c a u .
(ii) 
( A , Δ ) is co-amenable if and only if
( A , Δ ) = ( A u , Δ u ) = ( A r , Δ r ) .
Now, we recall the procedure of quantum double construction for C Q G s simply exhibited in [11].
Definition 3.
Let ( A , Δ A ) and ( B , Δ B ) be two dully paired C Q G s , and let ( A 0 , Δ A 0 ) and ( B 0 , Δ B 0 ) be the associated a l g C Q G s .
(1) 
Let A 0 and B 0 be two a l g C Q G s , and < · , · > : A 0 B 0 C be a bilinear form. Assume that they satisfy the relations
Δ ( a ) , b 1 b 2 = a , b 1 b 2 , a 1 a 2 , Δ ( b ) = a 1 a 2 , b , a , b = a , S B 0 ( b ) ¯ ,
a , 1 B 0 = ε A 0 ( a ) , 1 A 0 , b = ε B 0 ( b ) , S A 0 ( a ) , b = a , S B 0 ( b ) ,
for all a 1 , a 2 , a A 0 , b 1 , b 2 , b B 0 , where ε A 0 , S A 0 (resp. ε B 0 , S B 0 ) denote the co-unit and antipode on A 0 (resp. B 0 ), respectively. Then, ( A 0 , B 0 , · , · ) is called an algebraic compact quantum group pairing.
(2) 
Let · , · : A B C is a bilinear form. If ( A 0 , B 0 , · , · | A 0 B 0 ) is an algebraic compact quantum group pairing, then the bilinear form is called a compact quantum group pairing, denoted by ( A , B , · , · ) .
Let ( A , Δ A ) and ( B , Δ B ) be two dually paired C Q G s , and let ( A 0 , Δ A 0 ) and ( B 0 , Δ B 0 ) be described as above. Denote by A 0 B 0 . It is well known that A 0 B 0 , the algebraic tensor product of A 0 and B 0 , can be made into a linear space in a natural way. Under the multiplication map, m D and involution D on A 0 B 0 defined as the following:
m D ( ( a , b ) ( a , b ) ) : = ( a ) ( b ) ( a a ( 2 ) , b ( 2 ) b ) a ( 1 ) , S B 0 1 ( b ( 3 ) ) a ( 3 ) , b ( 1 ) ,
D ( a , b ) : = ( a ) ( b ) ( a ( 2 ) , b ( 2 ) ) a ( 3 ) , b ( 1 ) a ( 1 ) , S B 0 b ( 3 ) ( a , b ) ,
where ( a , b ) , ( a , b ) A 0 B 0 , A 0 B 0 turn into a non-degenerate associative ∗–algebra, which is similar to the classical Drinfeld’s quantum double [18] in the pure algebra level, and then we denote it by D ( A 0 , B 0 ) . To avoid using too many brackets, we will simplify m D ( ( a , b ) ( a , b ) ) as ( a , b ) ( a , b ) and simplify S ( a ) as S a in sequel.
Under the structure maps,
Δ D 0 ( a , b ) : = ( a ) ( b ) ( a ( 1 ) , b ( 1 ) ) ( a ( 2 ) , b ( 2 ) ) , ε D 0 ( a , b ) : = ε A 0 ( a ) ε B 0 ( b ) ,
S D 0 ( a , b ) : = ( a ) ( b ) ( S A 0 a ( 2 ) , S B 0 b ( 2 ) ) < a ( 1 ) , S B 0 b ( 3 ) > < a ( 3 ) , b ( 1 ) > .
D ( A 0 , B 0 ) forms a Hopf ∗-algebra. Furthermore, we have:
Proposition 3.
( D ( A 0 , B 0 ) , Δ D 0 ) is an a l g C Q G .
Define
D u ( A , B ) : = D ( A 0 , B 0 ) ¯ · u ,
where for any ( a , b ) D ( A 0 , B 0 ) ,
( a , b ) u : = sup π ( a , b ) .
By Theorem 5.4.3 in [19], ( D u ( A , B ) , Δ D u ) is the universal compact quantum group of D ( A 0 , B 0 ) , where Δ D u is the extension to D u ( A , B ) of Δ D . Let h D u be the Haar state on D u ( A , B ) and ( H , Λ , π ) be the GNS- representation of ( D u ( A , B ) , Δ D u ) for the Haar integral h D u . Define
D r ( A , B ) : = π ( D u ( A , B ) ) .
Denote Δ D r the extension to D r ( A , B ) of Δ D 0 . Then, ( D r ( A , B ) , Δ D r ) is the reduced quantum group of D ( A 0 , B 0 ) , and its Haar integral h D r is faithful naturally.
Proposition 4.
( D u ( A , B ) , Δ D u ) and ( D r ( A , B ) , Δ D r ) are both C Q G s .
Definition 4.
( D u ( A , B ) , Δ D u ) and ( D r ( A , B ) , Δ D r ) are called the universal and reduced quantum double of A and B, respectively.

3. The Main Results

Theorem 1.
Let ( A , B , · , · ) be a non-degenerate compact quantum group pairing. If ( A , Δ A ) and ( B , Δ B ) are two co-amenable CQGs, then ( D u ( A , B ) , Δ D u ) = ( D r ( A , B ) , Δ D r ) .
Proof. 
Suppose that ( A 0 , Δ A 0 ) and ( B 0 , Δ B 0 ) are the associated a l g C Q G s , respectively. Let · c be a regular C*-norm and A c be the C Q G completion of ( A 0 , Δ A 0 ) . As described in Section 2, A u and A r are both C Q G completions of ( A 0 , Δ A 0 ) . Because A is co-amenable, by Proposition 2 (ii), there is a unique C Q G completion for the associated a l g C Q G s ( A 0 , Δ A 0 ) . Hence,
A r = A c = A u .
Analogously,
B r = B c = B u .
By Proposition 2 (i),
a r a c a u , b r a c b u ,
for all a A 0 and b B 0 . Combining with the equations A r = A u and B r = B u , one can symmetrically obtain that
a r = a u , b r = b u .
So,
· r = · c = · u
on A 0 and B 0 . Moreover, Equation (1) also holds on A 0 B 0 . In fact, for any C*-norm · on A 0 B 0 , we have
a b = a b ,
for all a A 0 , b B 0 . Then,
a b u = a u b u = a r b r = a b r .
From Proposition 2 (i),
a b r = a b c = a b u
for all a b A 0 B 0 .
Considering the multiplication rule on the quantum double D ( A 0 , B 0 ) ([6]), for any ( a , b ) D ( A 0 , B 0 ) ,
( a , b ) = ( a ) ( b ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) ( a ( 2 ) b ( 2 ) ) .
From the above expression Equation (2), one can find that each element ( a , b ) in D ( A 0 , B 0 ) is a linear combination of elements as c d A 0 B 0 . By the discussion in the underlying paragraph, we have
a ( 2 ) b ( 2 ) u = a ( 2 ) b ( 2 ) r ,
where a ( 2 ) and b ( 2 ) are as presented in Equation (2), which induces that
( a , b ) u = ( a , b ) r ,
i.e., Equation (1) holds on D ( A 0 , B 0 ) . Hence, D ( A 0 , B 0 ) has a unique C Q G completion. Therefore, ( D u ( A , B ) , Δ D u ) coincides with ( D r ( A , B ) , Δ D r ) , i.e.,
( D u ( A , B ) , Δ D u ) = ( D r ( A , B ) , Δ D r ) .
 □
In sequel, ( D u ( A , B ) , Δ D u ) and ( D r ( A , B ) , Δ D r ) will be denoted by ( D ( A , B ) , Δ D ) .
Theorem 2.
Let ( D ( A , B ) , Δ D ) be the quantum double of ( A , Δ A ) and ( B , Δ B ) based on a non-degenerate compact quantum group pairing ( A , B , · , · ) . Assume that ( A , Δ A ) and ( B , Δ B ) are both co-amenable. Then, ( D ( A , B ) , Δ D ) is co-amenable.
Proof. 
By Proposition 1, we have to prove that the following two conditions hold.
(i) The Haar integral of D ( A , B ) is faithful.
Above all, we show that there exists a Haar integral h D 0 on it. For all ( a , b ) D ( A 0 , B 0 ) , we define
h D 0 ( a , b ) : = h A 0 ( a ) h B 0 ( b ) .
Denote b b by k; then, we can obtain that
h D 0 ( ( a , b ) ( a , b ) ) = h D 0 ( ( a , k ) ( a , 1 B 0 ) ) = ( a ) ( k ) h ( ( a a ( 2 ) , c ( 2 ) ) ) a ( 1 ) , S B 0 k ( 3 ) a ( 3 ) , k ( 1 ) = ( a ) ( k ) h A 0 ( a a ( 2 ) ) h B 0 ( c ( 2 ) ) a ( 1 ) , S B 0 k ( 3 ) a ( 3 ) , k ( 1 ) = ( a ) ( k ) h A 0 ( a a ( 2 ) ) a ( 1 ) , S B 0 k ( 3 ) a ( 3 ) , h B 0 ( k ( 2 ) ) k ( 1 ) = ( a ) ( k ) h A 0 ( a a ( 2 ) ) a ( 1 ) , S B 0 k ( 2 ) a ( 3 ) , 1 B 0 h B 0 ( k ( 1 ) ) = ( a ) ( c ) h A 0 ( a ε A 0 ( a ( 3 ) ) a ( 2 ) ) a ( 1 ) , S B 0 k ( 2 ) h B 0 ( k ( 1 ) ) = ( a ) ( k ) h A 0 ( a a ( 2 ) ) a ( 1 ) , S B 0 k ( 2 ) h B 0 ( k ( 1 ) ) .
Considering h B 0 S B 0 = h B 0 , we have
h D 0 ( ( a , b ) ( a , b ) ) = ( a ) ( k ) h A 0 ( a a ( 2 ) ) a ( 1 ) , h B 0 S B 0 k ( 1 ) S B 0 k ( 2 ) = ( a ) ( k ) h A 0 ( a a ( 2 ) ) a ( 1 ) , 1 B 0 h B 0 ( k ) = ( a ) ( k ) h A 0 ( a a ( 2 ) ) ε A 0 ( a ( 1 ) ) h B 0 ( k ) = h A 0 ( a a ) h B 0 ( b b ) 0 .
Again, for all ( c , d ) D ( A 0 , B 0 ) , one can get
h D 0 ( ( a , b ) ( c , d ) ) = h D 0 ( ( ( a ) ( b ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) ( a ( 2 ) b ( 2 ) ) ) ( ( c ) ( d ) c ( 1 ) , S B 0 d ( 1 ) c ( 3 ) , d ( 3 ) ( c ( 2 ) d ( 2 ) ) ) ) = h D 0 ( ( ( a ) ( b ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) ( a ( 2 ) b ( 2 ) ) ) ( c ) ( d ) c ( 1 ) , S B 0 d ( 1 ) c ( 3 ) , d ( 3 ) ( c ( 2 ) d ( 2 ) ) ) = ( a ) ( b ) ( c ) ( d ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) h D 0 ( a ( 2 ) b ( 2 ) ) h D 0 ( c ( 2 ) d ( 2 ) ) = ( a ) ( b ) ( c ) ( d ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) c ( 1 ) , S B 0 d ( 1 ) c ( 3 ) , d ( 3 ) h A 0 ( a ( 2 ) c ( 2 ) ) h B 0 ( b ( 2 ) d ( 2 ) )
and
h D 0 ( ( a , b ) ( c , d ) ) = h D 0 ( ( ( a ) ( b ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) ( a ( 2 ) b ( 2 ) ) ) ( ( c ) ( d ) c ( 1 ) , S B 0 d ( 1 ) c ( 3 ) , d ( 3 ) ( c ( 2 ) d ( 2 ) ) ) ) = h D 0 ( ( ( a ) ( b ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) ( a ( 2 ) b ( 2 ) ) ) ( c ) ( d ) c ( 1 ) , S B 0 d ( 1 ) c ( 3 ) , d ( 3 ) ( c ( 2 ) d ( 2 ) ) ) = ( a ) ( b ) ( c ) ( d ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) c ( 1 ) , S B 0 d ( 1 ) c ( 3 ) , d ( 3 ) h D 0 ( a ( 2 ) b ( 2 ) ) h D 0 ( c ( 2 ) d ( 2 ) ) = ( a ) ( b ) ( c ) ( d ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) c ( 1 ) , S B 0 d ( 1 ) c ( 3 ) , d ( 3 ) h A 0 ( a ( 2 ) c ( 2 ) ) h B 0 ( b ( 2 ) d ( 2 ) ) ,
which implies that
h D 0 ( ( a , b ) ( c , d ) + ( a , b ) ( c , d ) ) 0 .
Therefore, h D 0 is positive on D ( A 0 , B 0 ) . From the underlying formula, h D 0 ( ( a , b ) ( a , b ) ) = 0 if and only if ( a , b ) = 0 . Thus, h D 0 is a positive faithful linear functional on D ( A 0 , B 0 ) . Considering the invariance of h A 0 and h B 0 , we can get
( ι h D 0 ) Δ D 0 ( ( a , b ) ) = ( h D 0 ι ) Δ D 0 ( ( a , b ) ) = h D 0 ( ( a , b ) ) 1 ,
for all ( a , b ) D ( A 0 , B 0 ) .
Define h D is the extension to ( D ( A , B ) , Δ D ) of h D 0 . It is easy to see that h D is a Haar state on ( D ( A , B ) , Δ D ) by the fact h D 0 is a Haar integral on D ( A 0 , B 0 ) . Denote by h A and h B the Haar integrals on A and B, respectively. Then, one can get that
h D = h A h B .
To prove h D is faithful, it suffices to show that the Haar integral h D u of D u ( A , B ) is faithful, since the Haar integral of D r ( A , B ) is always faithful. Moreover, we just need to check the faithfulness of h D u on D u ( A , B ) \ D ( A 0 , B 0 ) .
Let ( a , b ) D u ( A , B ) \ D ( A 0 , B 0 ) . From the definitions of D u ( A , B ) and D ( A 0 , B 0 ) , we have that
( a , b ) = lim α ( a , b ) α ,
( a , b ) = ( a ) ( b ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) ( a ( 2 ) b ( 2 ) ) ,
where ( a , b ) D ( A 0 , B 0 ) , α s are in some index set, and the limit is taken with respect to the universal C*-norm · u on D ( A 0 , B 0 ) . Thus, ( a , b ) can be rewritten as the following:
( a , b ) = ( a ) ( b ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) ( a ( 2 ) b ( 2 ) ) ,
where a ( 2 ) is in A u \ A 0 or b ( 2 ) is in B u \ B 0 . If h D u ( ( a , b ) ( a , b ) ) = 0 , then
h D u ( ( a , b ) ( a , b ) ) = h D u ( ( ( a ) ( b ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) ( a ( 2 ) b ( 2 ) ) ) ( ( a ) ( b ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) ( a ( 2 ) b ( 2 ) ) ) ) = h D u ( ( ( a ) ( b ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) ( a ( 2 ) b ( 2 ) ) ) ( a ) ( b ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) ( a ( 2 ) b ( 2 ) ) ) = ( a ) ( b ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) h D u ( a ( 2 ) b ( 2 ) ) h D u ( a ( 2 ) b ( 2 ) ) = ( a ) ( b ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) h A u ( a ( 2 ) a ( 2 ) ) h B u ( b ( 2 ) b ( 2 ) ) = 0 .
Because ( A , Δ A ) and ( B , Δ B ) are both co-amenable, by Proposition 1, h A and h B are both faithful. Hence, h A u and h B u are also faithful. Combining with the underlying equation, we obtain that a ( 2 ) = 0 and b ( 2 ) = 0 ; thus, by (5), we get
( a , b ) = 0 ,
which states that h D u is faithful on D u ( A , B ) .
(ii) The co-unit of D ( A , B ) is norm-bounded.
First, we show that ε D 0 defined as before Proposition 3 is a *-homomorphism. Using the definition of ε D 0 , we have
ε D 0 ( ( a , b ) ) = ε D 0 ( ( 1 A 0 , b ) ( a , 1 B 0 ) ) = ε D 0 ( 1 A 0 , b ) ε D 0 ( a , 1 B 0 ) = ε B 0 ( b ) ε A 0 ( a ) = ( ε A 0 ( a ) ε B 0 ( b ) ) = ( ε D 0 ( a , b ) ) .
Let ε A and ε B be the co-units on A and B, respectively. For all ( a , b ) D ( A , B ) , we define
ε D ( a , b ) : = ε A ( a ) ε B ( b ) ,
i.e.,
ε D = ε A ε B ,
which can be regarded as the extension to ( D ( A , B ) , Δ D ) of ε D 0 .
Considering the continuity of extension of ε D 0 from D ( A 0 , B 0 ) to D ( A , B ) , ε D is a *-homomorphism and then the co-unit on D ( A , B ) .
To prove that the co-unit ε D on D ( A , B ) is norm-bounded, it suffices to show that the Haar integral ε D r of D r ( A , B ) is norm-bounded with respect to the supremum norm, since the co-unit of D u ( A , B ) is always norm-bounded. Moreover, we just need to check the norm-bounded-ness of ε D r on D r ( A , B ) \ D ( A 0 , B 0 ) . Let ( a , b ) D r ( A , B ) \ D ( A 0 , B 0 ) . By a similar discussion, in Equations (3)–(5), we have
( a , b ) = ( a ) ( b ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) ( a ( 2 ) b ( 2 ) ) ,
where a ( 2 ) is in A r \ A 0 or b ( 2 ) is in B r \ B 0 . Since A and B are co-amenable, by Proposition 1, ε A and ε B are both norm-bounded. Hence, ε A r and ε B r are norm-bounded, i.e., there exist two positive number M A and M B such that
ε A r = sup a r = 1 ε A r ( a ) M A ,
and
ε B r = sup b r = 1 ε B r ( b ) M B .
Thus,
ε D r = sup ( a , b ) r = 1 ε D r ( ( a , b ) ) = sup ( a , b ) r = 1 ε D r ( ( a ) ( b ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) ( a ( 2 ) b ( 2 ) ) ) = sup ( a , b ) r = 1 ( a ) ( b ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) ε A r ( a ( 2 ) ) ε B r ( b ( 2 ) ) sup ( a , b ) r = 1 ( a ) ( b ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) M A M B K M A M B ,
where K represents the supremum of { ( a ) ( b ) a ( 1 ) , S B 0 b ( 1 ) a ( 3 ) , b ( 3 ) | ( a , b ) r = 1 } and is a finite positive real number, which states that ε D r is norm-bounded. □
Remark 1.
Consider the trivial case where A = B = C ( S 1 ) , the C*-algebra of continuous functions on the circle group S 1 . Clearly, D ( A , B ) = C ( S 1 × S 1 ) = C ( T ) , where T represents the 2-torus. It is easy to know that in this case A, B and D ( A , B ) are all co-amenable C Q G s for their commutativity. In fact, we can also get the co-amenability of D ( A , B ) by Theorem 2. The Haar integral h D on C ( T ) is the integral with respect to the Haar measure μ on T. For all f C ( T ) , t = ( g 1 , g 2 ) S 1 × S 1 = T , we have
h D ( f ) ( t ) = T f ( t ) d μ ( t ) = S 1 × S 1 f ( g 1 , g 2 ) d μ 1 ( g 1 ) d μ 2 ( g 2 ) = S 1 f ( g 1 ) d μ 1 ( g 1 ) S 1 f ( g 2 ) d μ 2 ( g 2 ) = h A ( f 1 ) ( g 1 ) h B ( f 2 ) ( g 2 ) ,
where f 1 , μ 1 and f 2 , μ 2 are the restrictions of f and μ on A and B, respectively. From the formula, since h A and h B are both faithful, h D is also faithful.
The co-unit ε D on C ( T ) is the evaluation map on the unit of T, i.e., for all f C ( T ) ,
ε D ( f ) = f ( e ) = f ( e 1 , e 2 ) ,
where e 1 and e are the units of S 1 and T, respectively. Thus, we have
ε D = sup f = 1 ε D ( f ) = sup f = 1 f ( e 1 , e 2 ) = sup f = 1 ( f 1 f 2 ) ( e 1 , e 2 ) = sup ( f 1 , f 2 ) = 1 f 1 ( e 1 ) f 2 ( e 2 ) = sup ( f 1 , f 2 ) = 1 f 1 ( e 1 ) f 2 ( e 2 ) 1 .
By the formula, we have ε D is norm-bounded.

4. Conclusions

Based on the research for quantum double construction arising from co-amenable compact quantum groups and the C*-norms on quantum groups, in the article, using the C*-norm inequality and norm-bounded-ness of the co-unit on algebraic compact quantum groups, we prove that co-amenability is preserved under formulation of the quantum double construction of compact quantum groups. The result not only presents the stability of the co-amenability of quantum groups in the quantum double construction process but also exhibits the nice quantum symmetry between the co-amenability of quantum groups and the amenability of group.

Author Contributions

All authors participated in the conceptualization, validation, formal analysis, and investigation, as well as the writing of the original draft preparation, reviewing, and editing. All authors have read and agreed to the published version of the manuscript.

Funding

This work research was funded by the National Natural Science Foundation of China (Grant No. 11301380), the Natural Science Foundation of Tianjin (Grant No. 18JCYBJC18900) and the Higher School Science and Technology Development Fund Project in Tianjin (Grant No. 20131003).

Acknowledgments

The authors are grateful to the reviewers and to the editors for their valuable comments and suggestions which helped us improve the paper significantly.

Conflicts of Interest

The authors declare no conflict of interest.

Abbreviations

The following abbreviations are used in this manuscript:
CQGCompact Quantum Group
CQGsCompact Quantum Groups
algCQGalgebraic Compact Quantum Group
DQGDiscrete Quantum Group

References

  1. Woronowicz, S.L. Compact Quantum Groups. In Symétries Quantiques; North-Holland Publishing House: Amsterdam, The Netherlands, 1998; pp. 845–884. [Google Scholar]
  2. Guo, M.Z.; Jiang, L.N.; Zhao, Y.W. A Pairing Theorem between a Braided Bialgebra and Its Dual Bialgebra. J. Algebr. 2001, 245, 532–551. [Google Scholar]
  3. Bédos, E.; Murphy, G.J.; Tuset, L. Co-amenability of compact quantum groups. J. Geom. Phys. 2001, 40, 130–153. [Google Scholar]
  4. Bédos, E.; Murphy, G.J.; Tuset, L. Amenaiblity and Co-amenability of algebraic quantum groups. Int. J. Math. Math. Sci. 2002, 31, 577–601. [Google Scholar]
  5. Bédos, E.; Murphy, G.J.; Tuset, L. Amenaiblity and Co-amenability of algebraic quantum groups II. J. Funct. Anal. 2003, 201, 303–340. [Google Scholar]
  6. Liu, M.; Zhang, X. Quantum double constructions for compact quantum groups. Acta Math. Sin. 2013, 29, 2973–2982. [Google Scholar] [CrossRef]
  7. Chen, X. Bekka-type amenability for unitary corepresentations of Locally compact quantum groups. Ann. Funct. Ansl. 2018, 2, 210–219. [Google Scholar] [CrossRef]
  8. Abe, E. Hopf Algebras; Cambridge University Press: Cambridge, UK, 1977. [Google Scholar]
  9. Jiang, L.N.; Guo, M.Z.; Qian, M. The duality theory of a finite dimensional discrete quantum group. Proc. Am. Math. Soc. 2004, 132, 3537–3547. [Google Scholar] [CrossRef]
  10. Jiang, L.N.; Li, Z.Y. Representation and duality of finite Hopf C*-algebra. Acta Math. Sin. 2004, 47, 1155–1160. (In Chinese) [Google Scholar]
  11. Liu, M.; Zhang, X. Characterization of compact quantum group. Front. Math. China 2014, 9, 321–328. [Google Scholar] [CrossRef]
  12. Woronowicz, S.L. Compact matrix pseudogroups. Comm. Math. Phys. 1987, 111, 613–665. [Google Scholar] [CrossRef]
  13. Zhang, X.X.; Guo, M.Z. The regular representation and regular covariant representation of crossed products of Woronowicz C*-algebras. Sci. China Ser. A 2005, 48, 1245–1259. [Google Scholar] [CrossRef]
  14. Arano, Y. Comparison of unitary duals of Drinfeld doubles and complex semisimple Lie groups. Commun. Math. Phys. 2017, 351, 1137–1147. [Google Scholar] [CrossRef] [Green Version]
  15. Guo, M.Z.; Jiang, L.N.; Qian, M. A pairing theorem between multi-parameter bialgebra and its dual bialgebra. Sci. China Ser A 2001, 44, 867–876. [Google Scholar] [CrossRef]
  16. Jiang, L.N.; Wang, L.G. C*-structure of quantum double for finite Hopf C*-algebra. J. Beijing Inst. Technol. 2005, 14, 328–331. [Google Scholar]
  17. Xin, Q.L.; Jiang, L.N.; Ma, Z.H. The basic construction from the conditional expectation on the quantum double of a finite group. Czechoslovak Math. J. 2015, 65, 347–359. [Google Scholar] [CrossRef] [Green Version]
  18. Drinfeld, V.G. Quantum Groups; International Congress of Mathematicians: Berkeley, CA, USA, 1986. [Google Scholar]
  19. Timmermann, T. An Invitation to Quantum Groups and Duality-From Hopf Aalgebras to Multiplicative Unitaries and Beyond; European Mathematical Society Publishing House: Zürich, Switzerland, 2008. [Google Scholar]

Share and Cite

MDPI and ACS Style

Zhang, X.; Liu, M. On Quantum Duality of Group Amenability. Symmetry 2020, 12, 85. https://doi.org/10.3390/sym12010085

AMA Style

Zhang X, Liu M. On Quantum Duality of Group Amenability. Symmetry. 2020; 12(1):85. https://doi.org/10.3390/sym12010085

Chicago/Turabian Style

Zhang, Xia, and Ming Liu. 2020. "On Quantum Duality of Group Amenability" Symmetry 12, no. 1: 85. https://doi.org/10.3390/sym12010085

APA Style

Zhang, X., & Liu, M. (2020). On Quantum Duality of Group Amenability. Symmetry, 12(1), 85. https://doi.org/10.3390/sym12010085

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop