Abstract
We discuss amenability of the restricted Fourier-Stieltjes algebras on inverse semigroups. We show that, for an E-unitary inverse semigroup, amenability of the restricted Fourier-Stieltjes algebra is related to the amenability of an associated Banach algebra on a Fell bundle.
1. Introduction and Preliminaries
An inverse semigroup is a discrete semigroup such that, for each , there is a unique element such that One can show that is an involution on [1]. Set consisting of idempotents of , elements of the form , , is a commutative sub-semigroup of [1]. There is a natural order on defined by if and only if . The semigroup algebra is a Banach algebra under convolution and norm . Although has some common features with the group algebra , there are certain technical difficulties when one tries to do things on inverse semigroups similar to the group case, and some well-known properties of the group algebra break down for inverse semigroups. For instance, is a Banach -algebra under the canonical involution . This is important when one constructs the enveloping -algebra of or studies the automatic continuity properties of characters and homomorphisms. For an inverse semigroup , the natural involution on is . This is an isometry on but does not satisfy . On the other hand, unlike the group case, does not have a bounded approximate identity (this happens when fails to satisfy the condition () of Duncan and Namioka [2] for any positive integer , a Brandt semigroup on an infinite index set is a concrete example). Finally, the left regular representation of an inverse semigroup loses its connection with positive definite functions. This is because the crucial equality for and fails in general. This makes it difficult to study positive definite functions [3] and Fourier (Fourier-Stieltjes) algebras on semigroups [4].
The first author and Medghalchi introduced and studied the notion of restricted semigroup algebra in [5, 6] to overcome such difficulties. They showed that, if the convolution product on is appropriately modified, one gets a Banach -algebra , called the restricted semigroup algebra with an approximate identity (not necessarily bounded). In the new convolution product, positive definite functions fit naturally with a restricted version of the left regular representation . The idea is that one requires the homomorphism property of representations to hold only for those pairs of elements in the semigroup whose range and domain match. This is quite similar to what is done in the context of groupoids, but the representation theory of groupoids is much more involved [6].
The basic idea of the restricted semigroup algebra is to consider the associated groupoid of an inverse semigroup . Given , the restricted product of is if , and undefined, otherwise. The set with its restricted product forms a groupoid, which is called the associated groupoid of and is denoted by . If we adjoin a zero element to this groupoid, and put , we get an inverse semigroup with the multiplication rule for , which is called the restricted semigroup of . A restricted representation of is a pair consisting of a Hilbert space and a map into the algebra of bounded operators on such that for and for . Let be the family of all restricted representations of with . It is clear that, via a canonical identification, consists of all with [5]. One of the central concepts in the analytic theory of inverse semigroup is the left regular representation defined by for . The restricted left regular representation is defined in [5] by for . The main objective of [5] is to change the convolution product on the semigroup algebra to restore the relation between positive definite functions and left regular representation [6].
Throughout this paper, is an inverse semigroup. For each , define and , for . Then, is a Banach -algebra with an approximate identity [5]. The restricted left regular representation lifts to a faithful representation of . We call the completion of in the -norm the restricted reduced -algebra of and its completion in the -norm the restricted full -algebra of . The dual space of the -algebra is a unital Banach algebra which is called the restricted Fourier-Stieltjes algebra and is denoted by . The closure of the set of finitely support functions in is called the restricted Fourier algebra and is denoted by [6].
In this paper, we discuss the amenability of the restricted Fourier and Fourier-Stieltjes algebras on inverse semigroups. We show that, for an -unitary inverse semigroup, the restricted Fourier algebra is amenable if and only if its maximal homomorphic group image is abelian by finite (i.e., it has an abelian subgroup of finite index). We refer the readers to [5, 6] for more details about restricted semigroup algebra, restricted semigroup -algebra, restricted positive definite functions, and restricted Fourier and Fourier-Stieltjes algebras.
A bounded complex valued function is called positive definite if for all positive integers and all , and we have and it is called restricted positive definite if for all positive integers and all and we have The sets of all positive definite and restricted positive definite functions on are denoted by and , respectively. Positive definite functions are usually considered on unital semigroups. Of course, one can always adjoin a unit 1 to an inverse semigroup with . But extending a positive definite function on to one on is not always possible. We denote all extendable restricted positive definite functions by which are exactly those such that , and there exists a constant such that for all , , and , Then, and is the linear span of [5]. Since the restricted Fourier-Stieltjes algebra is the dual space of the restricted semigroup -algebra, it is an ordered Banach algebra in the sense of [7], where the order structure comes from the set of extendable restricted positive definite functions as the positive cone. The same applies to the restricted Fourier algebra.
For each inverse semigroup , the states on the -algebra (the vector space over spanned by with convolution and involution comes from ) are defined by Milan in [8]. A state on a -algebra is a positive linear map such that If is the set of states on , we know that for each in [8]. When is a (discrete) group, all these concepts are already discussed by Eymard in [9]. The amenability results for Fourier and Fourier-Stieltjes algebras on groups are surveyed in [10].
2. Amenability and Restricted Weak Containment Property
Working with an inverse semigroup, it is quite natural to go to the maximal group homomorphic image. However, when one deals with an inverse semigroup with zero such as , some modification is necessary. This is because the maximum group homomorphic image of is trivial. To remedy this, we work with maps which are not quite homomorphism. This is the idea of Milan in [8, Section 4].
Definition 2.1. Let be an inverse semigroup with zero, a grading of by the group is a map such that and provided that .
A Fell bundle over a discrete group is a collection of closed subspaces of a -algebra , satisfying and for all and in . The cross-sectional algebra of is the Banach -algebra consisting of the cross-sections of under the canonical multiplication, involution, and norm, and the cross-sectional -algebra of is the enveloping algebra of [11]. We also denote the dual space of by .
Next, let us define the Fell bundle arising from a grading . For an inverse semigroup with zero, the algebras and are the quotients of the algebras and by the (closed) ideal generated by the zero of . For each , let By [8, Proposition 3.3], the collection is a Fell bundle for and representations of are in one-one correspondence with representations of , and hence is isomorphic to .
Since is an inverse semigroup with zero, the grading map technique applies to . Let be an inverse semigroup and its maximal group homomorphic image with , we define the following new product on . Put and . It is easy to see that, with this new multiplication, is an inverse semigroup, which is denoted by .
Now, there is a homomorphism , , and that induces the natural map defined by
Proposition 2.2. With the above notation, is a positive map.
Proof. Let be a typical element of . It is enough to show that is positive for each . Observe that Hence, we have , which is a positive element of .
Proposition 2.3. For each , .
Proof. It is enough to check the relation between states on these spaces. It is easy to check that, for each , . Indeed, by the previous proposition, is positive, since, for each , . It follows that, for each with , we have with . Therefore,
Recall that a strongly -unitary inverse semigroup is an inverse semigroup that admits a grading such that is equal to the set of nonzero idempotent of , where is the identity of .
Lemma 2.4. If is -unitary, then is strongly -unitary.
Proof. Let be the natural epimorphism of onto its maximal group homomorphic image. Then, with is a grading map and .
Proposition 2.5. Let be an -unitary inverse semigroup with the maximal group homomorphic image . Then, the natural map is an isometry.
Proof. Let be a representation of the inverse semigroup such that . Clearly, maps the idempotents of to projections on . Since is strongly -unitary, induces a representation on defined by , for each and , where is the equivalence class of . Therefore, representations of lift to representations on the corresponding inverse semigroup .
Now, assume that is a hermitian element. Then, . By the definition of the quotient norm for , for each , there is a projection such that . But is positive as an element in the -algebra thus , and therefore . Hence, , and the result follows from Proposition 2.3 and the definition of the -norm.
Proposition 2.6. Let be the quotient map of an unitary inverse semigroup onto its maximal group homomorphic image. Then, there exists an isometric isomorphism such that, for each in , , where is the Fell bundle for .
Proof. Let be the induced homomorphism of on and the natural map defined in Proposition 2.3. Then, Proposition 2.5 says that the natural map extends to an isometric surjection which maps zero to zero. Hence, we have the following map, again denoted by which induces an homomorphism and gives the isometric linear isomorphism . By the paragraph before Proposition 2.2, there is an isometric isomorphism of Banach algebras where is the Fell bundle for . Note that, for each and , . This means that . Therefore, is the required map.
Next, we adapt the notion of weak containment property of inverse semigroups [8] to the restricted case.
Definition 2.7. The inverse semigroup has restricted weak containment property if .
Proposition 2.8. For an inverse semigroup , has weak containment property if and only if has restricted weak containment property.
Proof. The result follows from the following isomorphisms [5]: where is the left regular representation of and is the completion of in the norm .
Proposition 2.9. For an inverse semigroup , the following three conditions are equivalent:(i) is amenable,(ii) is finite,(iii) has a bounded approximate identity.
Proof. If is finite then so is , hence is amenable [2], and so is .
Conversely, if is amenable, then and are both amenable. Hence, is amenable, therefore and so are finite [2].
Let be the quotient map of the inverse semigroup onto its maximal group homomorphic image and a grading of by the group , let and . There is a conditional expectation These are extensions of the restriction map , where . By [8, Theorem 4.2], has weak containment property if and only if is faithful and has weak containment property, that is . It follows that has restricted weak containment property if and only if is faithful and has restricted weak containment property. Now, most of the results in [8] extend to the restricted version. In particular, we have the following two results, where, in the latter, the amenability of the Fell bundle is in the sense of Exel [11].
Theorem 2.10. Let where is the quotient map of onto its maximal group homomorphic image. Then, has restricted weak containment property if and only if is faithful and has restricted weak containment property.
Corollary 2.11. For an -unitary inverse semigroup , the following three conditions are equivalent:(i) has restricted weak containment property,(ii) is faithful,(iii)the Fell bundle of is amenable.