FELL’S ABSORPTION PRINCIPLE FOR SEMIGROUP OPERATOR ALGEBRAS

. Fell’s absorption principle states that the left regular representation of a group absorbs any unitary representation of the group when tensored with it. In a weakened form, this result carries over to the left regular representation of a right LCM submonoid of a group and its Nica covariant isometric representations but it fails if the semigroup does not satisfy independence. In this paper we explain how to extend Fell’s absorption principle to an arbitrary submonoid P of a group G by using an enhanced version of the left regular representation. Li’s semigroup C ∗ -algebra C ∗ s ( P ) and its representations appear naturally in our context. Using the enhanced left regular representation, we not only provide a very concrete presentation for the reduced object for C ∗ s ( P ) but we also obtain very transparent proofs of earlier results. We also address the non-selfadjoint theory and we show that the non-selfadjoint object attached to the enhanced left regular representation coincides with that of the left regular representation. We obtain a non-selfadjoint version of Fell’s absorption principle involving the tensor algebra of a semigroup and we use it to improve recent results of Clouatre and Dor-On on the residual ﬁnite dimensionality of certain C ∗ -algebras associated with such tensor algebras. We also give yet another proof for the existence of a C ∗ -algebra which is co-universal for equivariant, Li-covariant representations of a submonoid P of a group G .


Introduction
Let G be a discrete group and let L := {L s } s∈G be its left regular representation, i.e., L s (δ t ) = δ st , s, t ∈ G, where {δ t } t∈G is the canonical basis of ℓ 2 (G).If U := {U s } s∈G is any unitary representation of G on Hilbert space H, then Fell's absorption principle states that the representations L ⊗ I and L ⊗ U are unitarily equivalent and so the map G) ⊗ H) extends to a * -isomorphism between the generated C * -algebras.
Let now P ⊆ G be a submonoid.Since its left regular representation on ℓ 2 (P ), denoted again as L, is now an isometric representation, one is naturally led to the study of isometric representations of P on Hilbert space (which coincide with the unitary representations if P happens to be a group).If V = {V p } p∈P is such an isometric representation of P , one does not expect the representations L ⊗ I and L ⊗ V to be unitarily equivalent as in the group case.(Indeed, if P = N\{1}, then L⊗I and L⊗L are not unitarily equivalent.)Nevertheless, in the case where P is a right LCM submonoid of a group, Fell's absorption principle generalizes in the following form, which is well-known to experts.Proposition 1.1.Let P be a right LCM submonoid of a group G and let V = {V p } p∈P be a Nica-covariant representation of P .Then the map extends to a * -isomorphism between the ambient C * -algebras.
In particular, one can take V p = L p , p ∈ P , in Proposition 1.1 and therefore obtain that the left regular representation of a right LCM submonoid is self-absorbing, in the sense that (1.1) extends to a * -isomorphism.(We will not be defining right LCM submonoids or Nica representations in this paper as we do not make use of them; the reader should consult [8,9] for the pertinent definitions and an extension of Proposition 1.1 to product system.)Perhaps counterintuitively, Proposition 1.1 may not hold if one drops the assumption of P being right LCM submonoid 1 .Indeed, it follows from [15, Proposition 2.24] that if P does not satisfy independence, then the canonical map does not extend to a * -homomorphism of the generated C * -algebras.Thus Fell's absorption principle fails in its most basic form as the left regular representation may not be self absorbing in general.The research in this paper was stimulated by this phenomenon and motivated us to search for possible generalizations of Fell's absorption principles in the spirit of Proposition 1.1.As it turns out, this can be done and the key step for such a generalization is an "enhancement" of the left regular representation (Definition 3.1).In Corollary 3.5 we show that the enhanced left regular representation is indeed selfabsorbing.Using this result as a first step, we introduce the C * -algebra T (P ), which is the full C * -algebra of the Fell bundle associated with the enhanced left regular representation of P .We establish two versions of Fell's absorption principle for submonoids of groups.Theorem 3.8 generalizes Proposition 1.1 to arbitrary submonoids of groups using the representations of T (P ) as a substitute for Nica covariant representations.Theorem 4.6 characterizes which isometric representations of a semigroup P are actually absorbed by its enhanced left regular representation.In order to establish Theorem 4.6, we discover that Li's semigroup C * -algebra C * s (P ) [15] and its representations play a pivotal role.Indeed, in Theorem 4.3 we show that the universal algebra T (P ) is canonically isomorphic with Li's semigroup C * -algebra C * s (P ).This result is not only a key ingredient in the proof of Theorem 4.6 but it also leads to short proofs of earlier results that had more involved proofs.These improvements together with a pertinent discussion appear at the second half of Section 4 and at the end of Section 5.
In Section 5 we look at the non-selfadjoint aspects of the theory.In Theorem 5.1 we show that the non-selfadjoint object attached to the enhanced left regular representation coincides with that attached to the left regular representation, i.e., the tensor algebra T λ (P ) + of P .A significant generalization of this fact is later obtained in Theorem 5.12.In Theorem 5.4 we completely characterize the submonoids P for which T λ (P ) + admits a character ω satisfying ω(L p ) = 1, for all p ∈ P .In Theorem 5.5 we obtain a non-selfadjoint version of Fell's absorption principle.In particular, we obtain a characterization of which representations of P extend to coactions of P on the tensor algebra T λ (P ) + , provided that P is left reversible and contained in an amenable group.We then use our non-selfadjoint version of Fell's absorption principle in order to improve recent results from Clouatre and Dor-On [5] regarding the residual finite dimensionality of the maximal C * -algebra of various tensor algebras.As another application, we give yet another proof for the existence of a C * -algebra which is co-universal for equivariant, Licovariant representations of a submonoid P of a group G.This proof is quite elementary and avoids the use of partial crossed products or strong covariance.
The paper ends with a short Section containing examples and open problems.

Coactions and their Fell bundles
In this introductory section, which borrows heavily from [9, Section 3], we list several prerequisites regarding coactions and their associated Fell bundles.We will not be defining here what a Fell bundle is and we will not be listing the basic results of their C *algebraic theory.We suggest that the reader consults [10] for an expedited introduction and [11] for a detailed treatment.
In what follows G will always denote a fixed discrete group.We write u g , g ∈ G, for the generators of the universal group C*-algebras C * (G) and l g , g ∈ G, for the generators of the reduced group C * -algebra C * r (G).We write l : C * (G) → C * r (G) for the canonical * -epimorphism.Recall that C * (G) admits a faithful * -homomorphism If, in addition, the map (id ⊗ l)δ is injective then the coaction δ is called normal.
A map δ as in Definition 2.1 automatically satisfies the coaction identity Indeed, (2.1) is readily seen to hold on A g , g ∈ G, and therefore on A, since g∈G A g is norm-dense in A.

It follows from the definition that if
because δ is a homomorphism.Conversely, if there are subspaces {A g } g∈G such that g∈G A g is norm-dense in A and a representation δ : then δ is a coaction of G on A. Indeed δ satisfies the coaction identity and it is completely isometric since (id In [9,Remark 3.3] it was noted that Definition 2.1 coincides with that of Quigg [23] when A is a C*-algebra.Furthermore in this case δ is a faithful * -homomorphism and we have that Also the coaction is then non-degenerate, i.e., it is a full coaction.
The following gives a sufficient condition for the existence a compatible normal coaction.
Proposition 2.2.[9, Proposition 3.4] Let A be an operator algebra and let G be a group.Suppose there are subspaces {A g } g∈G such that g∈G A g is norm-dense in A, and there is a completely isometric homomorphism Then A admits a normal coaction δ of G satisfying δ λ = (id ⊗ l)δ.
Let us close this section with a discussion on gradings of C*-algebras in the sense of [11].Definition 2.3.Let A be a C*-algebra and G a discrete group.A collection of closed linear subspaces g∈G B g is dense in A. If in addition there is a conditional expectation E : B → B e which vanishes on B g for g = e, we say that the pair ({B g } g∈G , E) is a topological grading of A.
When δ is a coaction on a C*-algebra A, the spectral subspaces A g for g ∈ G comprise a topological grading for A with conditional expectation E e = (id ⊗ F e ) • δ where F e : C * (G) → A is the e-th Fourier coefficient.Completely contractive maps E g : B → B g can be similarly defined by setting E g := (id ⊗ F g ) • δ, where F g : C * (G) → C is the g-th Fourier coefficient.
A grading of a C*-algebra by a group constitutes a Fell bundle over the group, and every Fell bundle arises this way, but not uniquely.Indeed, there may be many non-isomorphic graded C*-algebras whose gradings are all equal to a pre-assigned Fell bundle B. At one extreme sits the maximal C*-algebra C * (B), which is universal for representations of B, while at the other extreme is the minimal (reduced) cross sectional algebra C * r (B) which is defined via the left regular representation of B. We refer again to [10,11] for the precise definitions and details.

Fell's absorption principle for semigroup C * -algebras
If H is a Hilbert space then H ⊗n will denote its n-fold tensor product.Similarly, if S is a bounded operator on H (or a representation of a semigroup on H) then S ⊗n will denote the n-fold tensor product.Definition 3.1.Let P be a semigroup.The enhanced left regular representation of P is the representation , where L = {L p } p∈P denotes the left regular representation of P .(For notational simplicity, we will be writing l2 (P ) instead of ⊕ ∞ n=1 ℓ 2 (P ) ⊗n .)In order to study the enhanced left regular representation in the context of C * -algebras, we need to built a universal C * -algebra with the enhanced left regular representation as a distinguished representation.For that reason, we will show that the algebra Tλ (P ) := C * ( L), being a reduced type object, admits a normal coaction and then we use Fell bundle theory.But first we need to establish some notation.
Let P be a semigroup of a group G.For each k ∈ N we consider the set of words of length 2k in P , W(P ) k := {(p 1 , p 2 , . . ., p 2k−1 , p 2k ) | p j ∈ P, for j = 1, 2, . . ., 2k} and we let W(P ) := ∪ ∞ k=0 W(P ) k , with the understanding W (P ) 0 = ∅.(When the context makes it clear what P is, we simply write W instead of W(P ).)With each word a ∈ W k we make the assignment Moreover each spectral subspace Tλ (P ) g , g ∈ G, of δ satisfies Proof.It is enough to establish a normal coaction so that each spectral space T λ (P ) g , g ∈ G, satisfies Then the desired coaction is the restriction of The existence of such a coaction δ on T λ (P ) is well-known.Indeed, consider the operator U : ℓ 2 (P ) ⊗ ℓ 2 (G) → ℓ 2 (P ) ⊗ ℓ 2 (G) be given by Then U is a unitary in B(ℓ 2 (P ) ⊗ ℓ 2 (G)) satisfying U (L p ⊗ I) = (L p ⊗ l p )U for all p ∈ P .Thus ad U implements a normal coaction that promotes to desired coaction δ by Proposition 2.2.
The existence of the coaction δ implies that other natural algebras associated with the representation L also admit coactions whose spectral subspaces have similar descriptions, e.g., C * ( L ⊗ L) ⊆ Tλ (P ) ⊗ Tλ (P ).
This will be a recurring theme in this paper.We now need the following Lemma 3.3 (cf.Lemma 1.4 of [13]).Suppose F is a finite family of mutually commuting projections in a unital C * -algebra and let λ X ∈ C for each X ∈ F .For every subset A of F define which includes the cases Proposition 3.4.Let P be a submonoid of a group G.The mapping p , p ∈ P, extends to an isometric * -representation of Tλ (P ).
Proof.It is elementary to verify that (3.1) extends to a well-defined * -representation ρ of Tλ .Now arguments similar to that of Lemma 3.2 show that C * (ρ) admits a coaction δ ρ , whose spectral subspaces C * (ρ) g , g ∈ G, have a similar description to that of δ.Hence both Tλ (P ) and C * (ρ) become graded C * -algebras and ρ induces a surjective bundle homomorphism between the associated Fell bundles.
We show now that ρ is isometric on Tλ (P ) e .Consider a non-zero element of Tλ (P ) of the form where F is a finite collection of neutral words.We claim that ρ(α) = α .By way of contradiction assume otherwise.Then the second half of Lemma 3.3 implies the existence of a non-empty A ⊆ F so that the projection and so b∈F \A This contradiction shows that ρ is isometric on sums of the form (4.1) and therefore on the generated subspace of Tλ (P ), i.e., Tλ (P ) e .
From the above, it follows that ρ induces a bundle isomorphism between { Tλ (P ) g } g∈G and {C * (ρ)} g∈G and so ρ induces a * -isomorphism between the reduced cross sectional C * -algebras C * r ({ Tλ (P ) g } g∈G ) and C * r ({C * (ρ) g } g∈G ) which coincides with ρ on fibers.However, both Tλ (P ) and C * (ρ) admit faithful expectations that act as the identity on the unit fibers and annihilate all other fibers.Hence by [10, Proposition 3.7] we have C * r ({ Tλ (P ) g } g∈G ) ≃ Tλ (P ) and C * r ({C * (ρ) g } g∈G ) ≃ C * (ρ) canonically and the proof of the proposition is complete.
Unlike the left regular representation, the enhanced left regular representation of a semigroup is always self-absorbing.Indeed Corollary 3.5.Let P be a submonoid of a group G.The mapping extends to a * -isomorphism between the ambient C * -algebras.
Proof.It is easy to see that the mapping p , p ∈ P, extends to an isometric * -representation of Tλ (P ) and the conclusion follows.
In order to obtain our isometric Fell's absorption principle, we now need to identify a suitable analogue of Nica-covariance that applies to isometric representations of arbitrary semigroups.
It is known [9, Proposition 4.3] that the Nica-covariant representations of a right LCM semigroup P are exactly the isometric representations of P which extend to *representations of the full cross-sectional C * -algebra of the Fell bundle {T λ (P ) g } g∈G arising from the coaction δ appearing in the proof of Proposition 3.2.Following this lead, let T (P ) := C * ({ Tλ (P ) g } g∈G ) be the full cross sectional C * -algebra of the Fell bundle { Tλ (P ) g } g∈G .Let t be the natural * -embedding of { Tλ (P ) g } g∈G in T (P ) and let λ : T (P ) → Tλ (P ) be the * -homomorphism that makes the following diagram commutative.For ease of notation, we write tp instead of t( Lp ), p ∈ P .Observe that since T (P ) and Tλ (P ) are cross sectional C * -algebra of the same bundle, λ : T (P ) → Tλ (P ) is a * -isomorphism on the unit fiber T (P ) e .
Lemma 3.6.Let P be a submonoid of a group G. Then the map establishes a bundle homomorphism from the Fell bundle {C * ( L ⊗ t) g } g∈G onto {C * ( L ⊗ L) g } g∈G .However the restriction of id ⊗ λ on Tλ (P ) e ⊗ T (P ) e is injective because λ| T (P )e is injective.Since C * ( L ⊗ t) e ⊆ Tλ (P ) ⊗ T (P ) the bundle homomorphism from the Fell bundle {C * ( L ⊗ t) g } g∈G onto {C * ( L ⊗ L) g } g∈G is actually an isomorphism, which promotes to a * -isomorphism between their reduced cross-sectional C * -algebras.This completes the proof.
The Nica-covariant representations of a right LCM semigroup are faithful on monomials, i.e., if {V p } p∈P is a Nica-covariant representation of a right LCM semigroup P and This property follows directly from the definition of a right LCM group but one can also deduce it from Proposition 1.1.Indeed, if {V p } p∈P is a Nica-covariant representation of a right LCM semigroup P , then the injectivity of the * -homomorphism coming from (1.1) implies that {V p } p∈P is necessarily faithful on monomials because the left regular representation is.We now observe that this property also holds for our analogue of Nica-covariant representations, which appear in (3.5) below.Lemma 3.7.Let P be a submonoid of a group G and let π : T (P ) → B(H) be a * -representation.Then the semigroup representation is faithful on monomials.
We have arrived to our first version of Fell's absorption principle.we obtain that the map in (3.7) extends to a (well-defined) * -homomorphism ρ between the ambient C * -algebras.It remains to establish its injectivity.
Arguments similar to that of Lemma 3.2 show that C * (ρ) admits a coaction δ ρ , whose spectral subspaces C * (ρ) g satisfy Hence both Tλ (P ) and C * (ρ) become graded C * -algebras and ρ induces a surjective bundle homomorphism between the associated Fell bundles.
We show now that ρ is isometric on Tλ (P ) e .Consider a non-zero element of Tλ (P ) of the form where F is a finite collection of neutral words.We claim that ρ(α) = α .The second half of Lemma 3.3 implies the existence of a non-empty A ⊆ F so that the projection for all b ∈ F \A. Furthermore a∈A π( ṫa ) = 0 because the representation π is faithful on monomials (Lemma 3.7).Therefore This arguments above show that ρ is isometric on sums of the form (3.8) and therefore on the generated subspace of Tλ (P ), i.e., Tλ (P ) e .
From the above, it follows that ρ induces a bundle isomorphism between { Tλ (P ) g } g∈G and {C * (ρ)} g∈G and so ρ induces a * -isomorphism between the reduced cross sectional C * -algebras C * r ({ Tλ (P ) g } g∈G ) and C * r ({C * (ρ) g } g∈G ) which coincides with ρ on fibers.However, both Tλ (P ) and C * (ρ) admit faithful expectations that act as the identity on the unit fiber and annihilate all other fibers.Hence by [10, Proposition 3.7] we have that C * r ({ Tλ (P ) g } g∈G ) ≃ Tλ (P ) and C * r ({C * (ρ) g } g∈G ) ≃ C * (ρ) canonically and the proof of the theorem is complete.Remark 3.9.In the case where P is a right LCM submonoid of a group G, Proposition 1.1 implies that the map extends to an isomorphism between the ambient C * -algebras and so Theorem 3.8 reduces to Proposition 1.1 in that case.4. T (P ) coincides with Li's semigroup C * -algebra C * s (P ) Theorem 3.8 brings on the spotlight the representations of P coming from T (P ).It is therefore desirable to have an explicit description for such representations in terms of relations, which will make them more usable.Such a description can be achieved by introducing Li's semigroup C * -algebra C * s (P ) [16] and its defining relations.This will allow us to give a more concrete version of Fell's absorption principle and actually characterize which isometric representations of P can be absorbed by the enhanced left regular representation.On the other hand, we will be able to connect Li's semigroup C * -algebra with a very concrete object, i.e., Tλ (P ).Using this connection we will give easy to remember proofs of some earlier results requiring the consideration of inverse semigroup theory.More applications will appear in the next Section.For the moment, we need some additional notation.
If a = (p 1 , p 2 , . . .p 2k−1 , p 2k ) is a word in W(P ), we write P, for the constructible right ideal associated with a.It is easy to see that if {δ p } p∈P is the canonical orthonormal basis for ℓ 2 (P ), then We let J(P ) := {K(a) | a ∈ W(P )}, dropping the reference to P and simply writing J, if there is no source of confusion.Definition 4.1 (Definition 3.2 of [16]).Let P be a submonoid of a group G and let J be the collection of all constructible right ideals of P .Li's semigroup C * -algebra of P , denoted as C * s (P ), is the universal C * -algebra generated by a family of isometries {v p } p∈P and projections {e S } S∈J∪{∅} such that (i) v p v q = v pq whenever p, q ∈ P ; (ii) e ∅ = 0 (iii) va = e S whenever S ∈ J and a ∈ W satisfy ȧ = e and K(a) = S.
It turns out that C * s (P ) admits a "lighter" set of axioms that makes it easier to identify its representations.Indeed, Laca and Sehnem show in In particular, any map w : P → B(H) satisfying the relations (T1), (T2) and (T3) is a representation of P by isometries.In this paper we will use the Laca and Sehnem picture for C * s (P ) and we will call any representation satisfying the relations (T1), (T2) and (T3) a Li-covariant representation of P .Lemma 4.2.Let X be a set and {X i } k i=1 be subsets of X so that their n-fold cartesian products satisfy for all n ∈ N. Then there exists i 0 ∈ {1, 2, . . ., k} so that X = X i 0 .
Proof.Indeed if not, then for each 1 ≤ i ≤ k, choose x i ∈ X\X i and note that i , a contradiction.Theorem 4.3.Let P be a submonoid of a group G. Then T (P ) is canonically isomorphic with Li's semigroup C * -algebra C * s (P ).Proof.Since all three relations (T1), (T2) and (T3) manifest in the unit fiber of Tλ (P ) with w p = Lp , p ∈ P , the isometries { tp } p∈P ⊆ T (P ) will also satisfy properties (T1), (T2) and (T3).By universality, there exists a * -homomorphism ρ : C * s (P ) −→ T (P ); w p −→ tp , for all p ∈ P. In order to produce an inverse for ρ, we need to establish that C * s (P ) is a cross-sectional C * -algebra for the Fell bundle { Tλ (P ) g } g∈G .
It is easily seen that C * s (P ) admits a coaction δ s : C * s (P ) → C * s (P ) ⊗ C * (G) with spectral subspaces satisfying C * s (P ) g = span{ ẇa | a ∈ W, ȧ = g}, g ∈ G. Let ρ g be the restriction of ( λ) • ρ on the fiber C * s (P ) g , g ∈ G.We will show that {ρ g } g∈G promotes to an isomorphism between the Fell bundles {C * s (P ) g } g∈G and { Tλ (P ) g } g∈G .Consider a non-zero element of C * s (P ) of the form (4.1) where F is a finite collection of neutral words.
Claim: ρ e (α) = α .Proof of Claim.By way of contradiction assume otherwise.Then the second half of Lemma 3.3 implies the existence of a non-empty A ⊆ F so that the projection By concatenating all words in A we obtain a 0 ∈ W so that ẇa 0 = a∈A ẇa and La 0 = a∈A La and so (4.2) The right side of the last equality implies that K(a 0 ) (n) = ∪ b∈F \A K(a 0 b) (n) , for all n ∈ N, and so Lemma 4.2 implies that there exist b 0 ∈ F \A so that K(a 0 ) = K(a 0 b 0 ).Hence (T3) implies that ẇa 0 = ẇa 0 b 0 and so by substituting in (4.2) we obtain that Q A = 0, a contradiction that proves the claim.
The claim shows now that ρ e is isometric on a dense subset of C * s (P ) e and so an injective * -isomorphism between C * s (P ) e and Tλ (P ) e .Using the C * -identity, it follows that ρ g is well defined and isometric for all g ∈ G.It is routine to verify the rest of the properties that establish that {ρ g } g∈G is an isomorphism between the Fell bundles {C * s (P ) g } g∈G and { Tλ (P ) g } g∈G , as desired.Since C * s (P ) is a cross-sectional C * -algebra for the Fell bundle { Tλ (P ) g } g∈G , there exists a surjective * -homomorphism T (P ) = C * ({ Tλ (P ) g } g∈G ) −→ C * s (P ); tp −→ w p , for all p ∈ P.This is the desired inverse for ρ and the proof of the theorem is complete.
Remark 4.4.It follows now from the proof of Theorem 4.3 that the unit fiber of {C * s (P ) g } g∈G demonstrates a remarkable property which we record here for future reference.
In [12, Introduction: Question 3] the authors ask: is there a co-universal algebra and what is its form?We can answer this question fully for C * s (P ) in the case where the submonoid P embeds in an amenable group.
Corollary 4.5.Let P be a submonoid of an amenable group G. Then Li's semigroup C * -algebra C * s (P ) is canonically isomorphic with Tλ (P ), i.e., the C * -algebra generated by the enhanced left regular representation.
We now state Fell's absorption principle for submonoids of groups and characterize which isometric representations can actually be absorbed by the enhanced left regular representation.Proof.Verifying that (i) implies (ii) is elementary.Assume that (ii) is holding.It is easy to see that the representation L ⊗ V satisfies (T1), (T2) and (T3) and so the map extends to a representation of Li's algebra C * s (P ).By composing with the canonical isomorphism of Theorem 4.3 we obtain a representation π of T (P ) satisfying π( tp ) = Lp ⊗ V p , for all p ∈ P .Theorem 3.8 implies now that the map extends to a * -isomorphism between the generated C * -algebras.
On the other hand, we have from Corollary 3.5 that Lp ⊗ Lp −→ Lp , p ∈ P extends to a * -isomorphism and so by a fundamental property of the spatial tensor product of C * -algebras, the same is true for The conclusion follows now by composing the * -isomorphisms coming from (4.3) and (4.4).
Remark 4.7.One might hope that the strategy in the proof of Theorem 4.6 might also work for the map and thus show that it extends to an injective * -homomorphism from the Toeplitz algebra T λ (P ).We remind the reader that this cannot be done even in the simplest case where V is the left regular representation.
The enhanced left regular representation and the connection with C * s (P ) of Theorem 4.3 offers great insight in the structure of semigroup C * -algebras.Apart from establishing Theorem 4.6 and Corollary 4.5 it will allow us to obtain now direct proofs for results which were obtained elsewhere with more involved proofs.In Section 5 we will see more applications.
Consider the inverse semigroup I L := { La | a ∈ W} ⊆ T λ (P ) and let C * (I L ) be its universal C * -algebra.The following was obtained in [16] under the assumption that P satisfies the Toeplitz condition.That assumption was removed several years later in [12] with a proof that required a clever argument.It now follows directly from Theorem 4.3.Here is another application of Theorem 4.3.Recall that a cancellative semigroup P is said to satisfy independence if for every X ∈ J and all X 1 , X 2 , . . ., X n ∈ J , X = ∪ n i=1 X i implies that X = X i for some i = 1, 2, . . ., n.In [12,Corollary 3.3]Here is a proof that avoids that theory.
Proof.Consider the map where the first arrow (from the left) comes from the inverse of (4.5), the second arrow comes from the universality of C * s (P ) ≃ T (P ), the third comes from Corollary 3.5 and the fourth from restricting to a reducing subspace.The conclusion follows now from combining [15, Proposition 2.24(v)] with [15, Corollary 2.22].

The non-selfadjoint theory
It is natural to ask how the concepts explored in the previous sections manifest in the non-selfadjoint context.Indeed, consider the non-selfadjoint algebra Tλ (P ) + generated by the image of the enhanced left regular representation of a submonoid P .Such an algebra is Tλ (P ) + the "enhanced" analogue of the familiar tensor algebra T λ (P ) + which has been studied extensively [5,6,8,9,12,18,19].One might ask how does Tλ (P ) + compared to T λ (P ) + .The following answers that question.Theorem 5.1.Let P be a submonoid of a group G and let Tλ (P ) + denote the nonselfadjoint algebra generated by the enhanced left regular representations L. Then Tλ (P ) + is completely isometrically isomorphic to T λ (P ) + via a map that sends generators to generators.

Proof. Consider the normal coaction
appearing in the proof of Proposition 3.2 and note that the completely contractive map defined by is multiplicative because ℓ 2 (P ) is invariant by all l p , p ∈ P .Iterations of the above argument show that the maps p , n = 3, 4, . . .are completely contractive and multiplicative.By taking a direct sum of all these maps, we produce a completely isometric map from T λ (P ) + onto Tλ (P ) + , which sends generators to generators.We can now use our theory to see that in contrast with its selfadjoint counterpart, T λ (P ) + admits a semigroup comultiplication for an arbitrary submonoid P .This not only extends [5, Corollary 5.5] but also makes the RFD-coaction theory developed in [5] available for all submonoids, not just the ones satisfying independence.We will have to say more about this theory shortly.
Corollary 5.3.Let P be a submonoid of a group G. Then there is a completely isometric comultiplication ∆ P on T λ (P ) + given by ∆ P (L p ) = L p ⊗ L p , p ∈ P .
Of course we could obtain a more general result than that of Corollary 5.3 by invoking our Fell's absorption principle (Theorem 4.6) instead of Corollary 3.5 in its proof.Instead we follow a different path and we obtain a much stronger result.We begin with Theorem 5.4 below in order to characterize for which submonoids P , the tensor algebra T + λ (P ) admits a special kind of character.Apart from its intrinsic interest, this characterization will allow us later on to clarify one of the assumptions of [5,Theorem 4.6] and obtain a non-selfadjoint Fell's absorption principle (Theorem 5.5).We remark that the requirement below that P is to be contained in an amenable group is not as strict as it appears at first.Many highly non-amenable groups contain as semigroups submonoids of amenable groups.The most distinguished example of such a behavior is that of the free semigroup on n-generators, which is contained in an amenable (actually solvable) group.(See [7, pg 238] for more information.)Theorem 5.4.If P is a submonoid of a group G, then the following are equivalent (i) T λ (P ) + admits a character ω satisfying ω(L p ) = 1, for all p ∈ P .
(ii) P is left reversible, i.e., pP ∩ qP = ∅ for any p, q ∈ P , and it embeds in an amenable group.
Proof.Assume first that T λ (P ) + admits such a character with ω(L p ) = 1, for all p ∈ P .
Extend ω to a positive linear form ω on T λ (P ) and notice that for any p ∈ P , we have ω(L * p )ω(L p ) = ω(L * p L p ) = 1 and so all L p , p ∈ P , belong to the right multiplicative domain of ω ( [22, pg 39]).According to [22,Theorem 3.18 Conversely assume that P embeds in an amenable group G ′ .Theorem 5.1 implies that it is enough to show that Tλ (P ) + admits such a character.We will show instead that C * s (P ) admits a character and this will suffice since the amenability of G ′ implies that Tλ (P ) = C * s (P ) and so Tλ (P ) + ⊆ Tλ (P ) inherits that character.Consider the semigroup representation P ∋ p → 1 ∈ C.This representation obviously satisfies the defining relations (T1) and (T3) for C * s (P ).It also satisfies (T2) because when P is left reversible, then K(a) = ∅ for any non-emty neutral word a ∈ W. This is a well known fact but we sketch a proof for completeness.
Indeed it suffices to show that for any word b ∈ W and p ∈ P , we have Lb L p = 0 (or equivalently, Lb L p L * p = 0), provided that Lb = 0. Now Lb L p L * p = 0 means that its domain projection has to be non-zero, i.e., K(b(e, p)(p, e)) = ∅.Let q ∈ K(b), which is non-empty by assumption, and so qP ⊆ K(b).But then [14, Proposition 2.6( 5 Since the semigroup representation P ∋ p → 1 ∈ C satisfies all the defining relations of C * s (P ), it induces a representation on C, i.e., a character for C * s (P ), as desired.Initial motivation for our Theorem 5.4 came from one of the main results of [5], Theorem 4.6, which has as one of its assumptions that the tensor algebra T λ (P ) + admits a character ω satisfying ω(L p ) = 1, for all p ∈ P .Theorem 5.4 clarifies now that the presence of such a character ω is equivalent to P being left reversible and embedding in an amenable group.Here is a more significant application of Theorem 5.4.
Theorem 5.5 (Fell's absorption principle for semigroups; non-selfadjoint version).Let P be a submonoid of a group G, let L be the left regular representation of P and let V = {V p } p∈P be a representation of P by isometries on Hilbert space H. Consider (i) The representation V = {V p } p∈P extends to a completely contractive representation of T λ (P ) + .(ii) The map extends to a completely isometric representation of T λ (P ) + .Then (i) =⇒ (ii).If P is left reversible and G amenable, then (ii) =⇒ (i).
Proof.Assume that we have a completely contractive representation If ∆ P is the comultiplication of Corollary 5.3, then the completely contractive map φ := (id ⊗ π V ) • ∆ P indeed satisfies φ(L p ) = L p ⊗ V p , for all p ∈ P .We need to verify now that φ is completely isometric, not just a complete contraction.For that, we use a familiar trick.

Consider the isometry
where {δ p } p∈P is the canonical orthonormal basis of ℓ 2 (P ).It is easy to verify that W (L p ⊗ I) = (L p ⊗ V p )W, for all p ∈ P, by applying the left and right sides of the above equation on a vector of the form δ s ⊗ V t h.Therefore and so φ is an isometry.A matricial analogue of the above argument establishes that φ is a complete isometry and we are done.
Assume now that P is left reversible, G is amenable and that the map extends to a completely isometric representation φ of T λ (P ) + .Theorem 5.4 implies now the existence of a character ω satisfying ω(L p ) = 1, for all p ∈ P .Then the map (ω ⊗ id)φ is a completely contractive representation of T λ (P ) + satisfying and the conclusion follows.
One can recast Theorem 5.5 using the language of semigroup coactions of Clouatre and Dor-On [5].Definition 5.6 (Clouatre and Dor-On [5]).Let A be an operator algebra, P be a cancellative discrete semigroup and let T + λ (P ) denote the non-selfadjoint algebra generated by the left regular representation of P .A completely isometric homomorphism δ : A → A ⊗ T + λ (P ) is said to be a coaction of P on A if the linear span of the spectral subspaces In light of the above definition, our Theorem 5.5 characterizes the semigroup representations of P that lead to coactions of P on T λ (P ) + .In [5], Clouatre and Dor-On make heavy use of these semigroup coactions in order to investigate questions regarding residual finite dimensionality in the context of general operator algebras.In particular they are interested when the maximal C * -cover C * max (A) of an operator algebra A is residually finite dimensional (RFD).All of their results are confined however to semigroups which are independent, the reason being that they utilize heavily the selfadjoint theory and there, as we have already mentioned, there are significant issues with the left regular representation beyond independent semigroups.
The following result was obtained by Clouatre and Dor-On [5] only in the case where P is independent and it required an intricate proof.which is multiplicative on the subalgebra of C * (G) generated by all u p , p ∈ P .Since ψ(u p ) = Lp for all p ∈ P , the following diagram of completely contractive homomorphisms Tλ (P ) + φ / / B ⊗ Tλ (P ) commutes.By Theorem 3.8 the upper horizontal map is a restriction of an injective *homomorphism and thus it is completely isometric.Hence φ is completely isometric.
Note that we could have obtained Theorem 5.1 as a corollary of Theorem 5.12 by considering the equivariant epimorphism Tλ (P ) ∋ Lp −→ L p ∈ T λ (P ), p ∈ P.
However, the current proof is more direct as it does not require the use of our Fell's absorption principle (Theorem 3.8).
Definition 5.13.We say that a Li-covariant representation v of a submonoid G is gaugecompatible, or simply equivariant if C * (v) admits a coaction of G that makes the canonical epimorphism T (P ) → C * (v) equivariant with respect to the natural (gauge) coaction of G on T (P ).
Definition 5.14.Let P be a submonoid of a group G. Suppose (C, G, γ) is a cosystem and j : P → C is a Li-covariant isometric representation, with integrated version denoted by j * : C * s (P ) → C. We say that (C, G, γ, j) has the co-universal property for equivariant, Li-covariant representations of P if (i) j * : C * s (P ) → C is δ-γ equivariant; and (ii) for every equivariant, Li-covariant representation v : P → C * (v), there is a surjective * -homomorphism φ : C * (v) → C such that φ(v p ) = j p , for all p ∈ P.
Notice that, as observed at the beginning of [4, Section 4], the map φ is automatically equivariant because j * and t * are surjective.
Our next result shows that the C*-envelope of the tensor algebra T λ (P ) + taken with its natural coaction satisfies the co-universal property.This result was first obtained in [12] and later was generalized in [24].Both proofs make use of strong covariance, as developed in [25].Our proof below is self-contained and perhaps more transparent.which establishes that C * env ( Tλ (P ) + , G, δ + ),δ env , ι env ) satisfies the co-universal property for P , as desired.

Concluding remarks and open problems
(i) In this paper we advocate for an alternative approach in the study of semigroups and their Hilbert space representation theory.An approach which instead of having the left regular representation as a centerpiece, it focuses on the enhanced left regular representation.Such an approach is of course dedicated to semigroups which do not satisfy independence.Therefore it seems fitting to present a very accessible example of a submonoid that does not satisfy independence for the benefit of the uninitiated reader.The example is taken from
extends to a * -isomorphism between the generated C * -algebras.Proof.Arguing as in the proof of Proposition 3.2, one can see that the C * -algebras C * ( L ⊗ L) and C * ( L ⊗ t) admit coactions whose spectral subspaces {C * ( L ⊗ L) g } g∈G and C * ( L ⊗ t) g } g∈G respectively satisfy C * ( L ⊗ L) g = span{ La ⊗ La | a ∈ W, ȧ = g} and C * ( L ⊗ t) g = span{ La ⊗ ṫa | a ∈ W, ȧ = g}, for all g ∈ G. Furthermore both C * ( L ⊗ L) and C * ( L ⊗ t) admit faithful expectations that act as the identity map on the zero fibers C * ( L ⊗ L) e and C * ( L ⊗ L) e and annihilate all other spectral subspaces.Hence C

Theorem 4 . 6 (
Fell's absorption principle for semigroups; second version).Let P be a submonoid of a group G and let L be the enhanced left regular representation of P .If V = {V p } p∈P is an isometric representation of P , then the following are equivalent (i) The map Tλ (P ) ∋ Lp −→ Lp ⊗ V p , p ∈ P, extends to an injective * -homomorphism.(ii) Va = Vb , provided that a, b ∈ W are neutral words with K(a) = K(b) = ∅.

Corollary 4 . 8 (
Theorem 3.2 of[12]).Let P be a submonoid of a group G. Then C * s (P ) is canonically isomorphic to C * (I L ).Proof.Note that every inverse semigroup representation of I L determines a Li-covariant representation of P .Hence there exists a * -homomorphism ρ : C * s (P ) → C * (I L ) that sends generators to generators.Now the representation La −→ La , a ∈ W, is clearly an inverse semigroup representation of I L and so we have a map C * (I L ) → C * ( L) ≃ C * s (P ) who acts as the inverse of ρ.
The reduced C * -algebra C * λ (I L ) associated with the inverse semigroup I L (see Corollary 4.8) is the C * -algebra generated by the operators l(w) : ℓ 2 (I L \{0}) → ℓ 2 (I L \{0}) determined by l(w)δ x = δ wx if w * w ≥ xx * 0 otherwise, with w ∈ I L .By [12, Theorem 3.10] and Theorem 4.3, we have that Tλ (P ) is canonically isomorphic to C * λ (I L ).Therefore Theorem 5.1 leads to the following alternative description of the tensor algebra T λ (P ) + .Corollary 5.2.Let P be a submonoid of a group G. Then the map T λ (P ) + ∋ L p −→ l p ∈ C * λ (I L ), p ∈ P, extends to a completely isometric representation of T λ (P ) + .
is an isomorphism, then P satisfies independence.The proof is based on [12, Theorem 3.2] and an earlier result of Norling [20, Theorem 3.2.14]requiring inverse semigroup theory.