CC BY
10
UDC 512.53:517.986
DOI: 10.18698/1812-3368-2020-3-44-55
TOPOLOGICAL GRADING OF SEMIGROUP C*-ALGEBRAS
R.N. Gumerov1 E.V. Lipacheva2
[email protected] [email protected]
1 Kazan (Volga region) Federal University, Kazan, Russian Federation
2 Kazan State Power Engineering University, Kazan, Russian Federation
Abstract
The paper deals with the abelian cancellative semigroups and the reduced semigroup C*-algebras. It is supposed that there exist epimorphisms from the semigroups onto the group of integers modulo n. For these semigroups we study the structure of the reduced semigroup C*-algebras which are also called the Toeplitz algebras. Such a C*-algebra can be defined for any non-abelian left cancellative semigroup. It is a very natural object in the category of C*-algebras because this algebra is generated by the left regular representation of a semigroup. In the paper, by a given epimorphism a we construct the grading of a semigroup C*-algebra. To this aim the notion of the o-index of a monomial is introduced. This notion is the main tool in the construction of the grading. We make use of the o-index to define the linear independent closed subspaces in the semigroup C*-algebra. These subspaces constitute the C*-a1gebraic bundle, or the Fell bundle, over the group of integers modulo n. Moreover, it is shown that this grading of the reduced semigroup C*-algebra is topological. As a corollary, we obtain the existence of the contractive linear operators that are non-commutative analogs of the Fourier coefficients. Using these operators, we prove the result on the geometry of the underlying Banach space of the semigroup C*-algebra
Keywords
Cancellative semigroup, grading, monomial, reduced semigroup C*-algebra, topologically graded C*-algebra, a-index
Received 13.11.2019 Accepted 24.12.2019 © Author(s), 2020
The research was funded by the subsidy allocated to Mathematical Centre of Volga Federal District at Kazan Federal University for state assignment in the sphere of scientific activities (project no. 075-02-2020-1478)
Introduction. In the paper we study the structure of the reduced semigroup C*-algebras. These algebras are generated by the left regular representations of semigroups with the cancellation property. The study of such C*-algebras was
started in [1-3]. The theory of semigroup C*-algebras was further developed in the papers by a number of authors (see literature, for example, in [4-6]).
As is well-known, a grading for an object of a category sheds light on the structure of this object. In the category of C*-algebras, one considers the C*-gradings that are also called the C*-bundles, or the Fell bundles. These bundles were introduced in [7] in order to generalize the concepts of harmonic analysis for the non-commutative case. The notion of the topologically graded C*-algebra was introduced in [8]. An important property of such an algebra is the existence of special operators, namely, the conditional expectation and the Fourier coefficients. We refer the reader to [9] for a detailed presentation of the theory of graded C*-algebras.
This paper deals with the problem on a construction of gradings for the reduced semigroup C*-algebras. The work continues studies on graded semigroup C*-algebras started in [10-13]. The main result of the paper is the following statement (Theorem 2). If there exists a semigroup epimorphism cj: L —> Zn from an abelian cancellative semigroup L onto the group Zn of integers modulo n, then the semigroup C-algebra C^(L) is a topologically Zn-graded C*-algebra. To construct the indicated grading, the second author of the paper has proposed introducing the notion of the cj-index of a monomial. As a consequence of the above-mentioned result, one obtains the statement announced in [13, Theorem 5] on the topological grading of the Cf-algebra C*r(L) for a semigroup L, which is a normal extension of a certain semigroup.
Preliminaries. Let L be a discrete abelian additive semigroup with the cancellation property. Its neutral element will be denoted by the symbol 0.
The object of the study in the present paper is the reduced semigroup C-algebra C^ (L). Now we recall the definition of this algebra.
Let us consider the Hilbert space of all square summable complex-valued functions defined on the semigroup L:
l2(L):=\f:L^C | S |/(y)|2 < |
I
The canonical orthonormal basis of the Hilbert space l2(L) is denoted by {ey\yeL}, where
(l ify = x; eyW:~\0 ify*x.
The reduced semigroup C*-algebra (L) is the C -subalgebra in the algebra of all bounded operators on the Hilbert space l2(L) generated by the set of isometries {Ty 17 e L}. Here the operator Ty is defined as follows: Ty(ex) = ~ &x+y> x, y E L.
As usual, let Zn= Z / nZ be the additive group of integers modulo n. The elements of the group Zn are denoted by the symbols [0]n, [l]n,..., [«-1] it-
In what follows, we will assume that there is a surjective semigroup homomorphism
g:L->Z„. (1)
Then the semigroup L can be represented as the disjoint union of its subsets
L = L0\JL1\J...\JL„-1, (2)
where each L^ is the preimage of the element [k]n e Zn under a, that is, cj-\[k]n) = Lk,0<k<n-l.
Further, for the convenience of the reader, we recall the definition of a G-graded C*-algebra from [9, § 16.2].
Let A be an arbitrary C*-algebra and G be a group. The algebra A is said to be a G-graded C*-algebra, if there exists a family of linearly independent closed subspaces {Ag cz A}^g such that for any g, heG the following properties are
satisfied:
1) AgAh c Agh;
2) Aj = A^-i;
3) A = © Ag.
gsG
Moreover, the family of Banach spaces {A^ is called a C*-algebraic
bundle, or a Fell bundle, over the group G.
The notion of the grading in a stronger sense was considered in [9, § 19.2]. Namely, a G-graded C*-algebra A is said to be topologically graded, if there exists a bounded linear operator F: A —> A, which has the following properties. It is the identity operator on the subspace Ae, where e is the unit of the group, and it vanishes on each subspace Ag, where g^e. The original definition of the
topologically graded Cf-algebra [9, Definition 19.2] contains a stronger requirement. It assumes that the operator F is a conditional expectation on the subspace Ae. However, as was noted in [14], this requirement is satisfied automatically. This fact follows from Theorem 19.1 given in [9].
It is worth noting that an example of a G-graded C*-algebra, which is not topologically graded, is contained in [9, § 19.3].
As was noted in Introduction, an important property of a topologically graded C*-algebra is the existence of the Fourier coefficients (see [9, § 19.6]). This means that for each geG there exists a contractive linear operator Fg:A—>Ag such that the equality Fg(A) = Ag holds for every finite sum
A= £ where Ah e A^
heG
Grading of the C*-algebra Ct(L). To construct the grading of the semigroup Cf-algebra C^(L) we introduce the concepts of the monomial, the cj-index of monomial and the operator in this C-algebra corresponding to a monomial, where cr is surjective semigroup homomorphism (1).
Firstly, we consider the free semigroup with the set of generators (the alphabet) ,Ty \ y e ij. The elements of this semigroup are the words of the following form:
V = T'kTik-1...Tk, (3)
yk yk-l yi v '
where ylt..., yk e L, i1}..., ik e { 0, l}.
We call these words the monomials. The number k in (3) is called the monomial length. The free semigroup is said to be the monomial semigroup, and it is denoted by Mon.
Let us define the involution on Mon as follows. For a monomial of form (3) we set
y* _ J>l-J'l J-l-l'2 yl-lfc
yi yi "' yk
Thus, the monomial semigroup Mon becomes an involutive semigroup.
Secondly, we define the mapping ind:Mon—>Z„. To do this, for a monomial of form (3), we put by definition:
indV = (-1)* a(yk)+...+(-l)il a(yi).
It is easy to see that for any V,W e Mon the following equalities hold: ind (V ■ W) = ind V + ind W; ind(V>f) = -indVr.
Consequently, the mapping ind is an involutive surjective homomorphism of semigroups.
A
Thirdly, to each monomial Vwe assign the operator V" on the Hilbert space l2(L) by the rules:
T'O _ T1 'rl _ rr* ly — y* y — y
and if V" has form (3), then
y — f'k fik-l fk yk yk-l'" y\
Lemma 1. Let V e Mon and Vey 0 for a basis vector ey e l2(L). Then
A
the following equalities hold: Vey - ez and <j(z) = a(y) + ind V.
< Let V e Mon. We consider representation (3) of this monomial. Further, we prove the assertion of the lemma by induction on the monomial length.
Let k = 1. Then there are two possibilities: V = T^ or V = T^. Let Vey ^ 0, where yeL. In the first case, we obtain the equality Tyiey = ey+yv Hence, we have z = y + yi and
ct(z) = cy(y) + a(y1) = <i(y) + ind T° .
In the second case, we get Ty^Cy - where z + yi=y and
<y(z) + ct(^i ) = ct(^). Consequently, we have the following equalities:
a(z) = a{y) - cr(yi) = v(y) + ind T^.
Now, we assume that the assertion of the lemma is true for every monomial
A A
V' of the length k-1, i.e., if V'ey ^ 0 then V'ey = ez< and the equality
ct(z') = ci(y) + ind V' holds.
Next, let us consider an arbitrary monomial V of the length k. Obviously, it
can be written in the form V = T'k V'. Then we get Vev= Tik ez' =ez- In this
yk & ' yk z z
case, as in the case when k-1, one obtains the equality ct(z) = ct(z') + ind Tlk.
yk
Thus, using the induction hypothesis, we have the required equality:
a(z) = a(y) + ind V' + ind T'k =a(y) +ind F. ►
yk
A A
It follows from Lemma 1 that if V\ = V2 then ind V\ = ind V2. Further, for a monomial V e Mon, the value ind V" of the mapping ind at V" will be called
A
both the c-index of the monomial V and the c-index of the operator V".
We note that all finite linear combinations of operators of form (4) constitute a dense involutive subalgebra in the Cf-algebra C^(L). Let us denote this subalgebra by P(L).
It is easy to see that all monomials with the cr-indexes [0]n constitute an involutive subsemigroup in the monomial semigroup Mon. In the C*-algebra Cr(L) we consider the C*-subalgebra Ao generated by all operators of form (4) with the c-index [0]n. Moreover, we define the Banach subspace Ak in c£(L) for every integer k, where 1 < k < n -1. This space is the closure for the linear span of all operators of form (4) with the o-index [k]n, l<k<n-l.
Further, using decomposition (2), we represent the Hilbert space l2(L) as the orthogonal sum of its subspaces:
l2(L)=@Hk, (5)
k=0
where for each Hk the family of functions \ey \ yeLk} is an orthonormal basis.
The following lemma shows behaviors of the spaces Hk under actions of the elements of the spaces Ak.
Lemma 2. For every k, I e N such that 0 <k, I < n -1 and for every operator AeAk the following property holds: A(H/)cHr, where [r]„=[k + l]n. In particular, for each integer k satisfying the inequality 0<k<n-l the subspace Hk is invariant under the action of every element of the C*-algebra Ao.
< Since the finite linear combinations of operators having form (4) with the cj-index [k]n constitute a dense subspace in the Banach space Ak it is sufficient to prove the statement of the lemma for such operators.
Let Vbe a monomial with the cr-index [k]n. Take a vector ey e Hi. Thus we have the equality a(y) = [/]„. Then, by Lemma 1, the following property is
A A
fulfilled. If Vey ^ 0 then Vey = ez for zeL and the following equality is true: g(z) = a(y) + ind V. Thus we obtain the equality a(z) - [l]n +[k]n. Therefore we have ezsHr, where [r]n =[k + l]n. ►
Further we use Lemma 2 for proving the following lemma, which states that the family of subspaces {Ak | 0 < fc < n —l} is the C*-algebraic bundle over the group Z„.
Lemma 3. For the family of subspaces {Afc | 0<fc< n-l} the following statements hold:
1) AkAi a Am, where [m]„ =[/c + Z]„;
2) Afc = Am, where [m]„ =[n-/c]„;
3) the family [Ak \ 0<k<n-l} consists of the linearly independent closed subspaces of the C*-algebra C^(L);
4)C*r(L) = ® Afc. k=o
< It suffices to prove statements 1) and 2) for an operator of form (4) with the <7-index [k]n because the set of all finite linear combinations of such operators is dense in the Banach space Afc.
1. Let V and W be monomials with the c-indexes [k]n and [/]„, respectively. Then the following equalities hold: ind (VW) = ind V + ind W =
A A
= [k]n + [l]n =[k +1]„. Therefore we have VW e Am, where [m]M = [k + l]n.
2. Let V e Mon and Vey ^ 0 for a basis vector ey e Z2(L). Then, by
A
Lemma 1, we have Vey=ez for some zeL, and the equality indV =
A *
= g{z) - (j(y) holds. It is evident that V ez=ey and, by the same lemma, we obtain the relation ind V"* = a(y) - g(z) = -ind V". That is, if V" is a monomial with the (j-index [k]n then we get ind V* = - [k]n =[n- k]n.
n-1
3. Let A= ^ Afc =0, where Afc e Afc. We will show that this condition
k=0
implies the equality Afc = 0 for every k. To this end, we fix an integer k, 0<k<n-l. Obviously, we have
= - X Ar (6)
j = 0,j*k
By Lemma 2, for every integer I satisfying the inequality 0 < Z < n — 1 we get the property Afc(H/)<zHr, where [r]n=[k + l]n. This inclusion implies the following condition:
- Z Aj(Hi)czHr. (7)
j = 0,j*k
On the other hand, again by Lemma 2, we have the inclusion
- S Aj(Hi) cz © Hr (8)
j=0,j*k j=0,j*k
where [r? ]n — n. We claim that the following equality holds:
n-1
Hrf] © Hr={ 0}. (9)
j=o,j*k 1
Indeed, for the sake of contradiction, we assume that equality (9) is not true. Using the orthogonality of the subspaces Hfc, 0 < k < n -1, we have the equality Hr = Hrj for some j. That is, we have the equalities r = rj and [k + l]n - [j + /]„.
Hence, we get [k]n =[;']„. Since the inequalities 0<k, j<n-1 hold, we have the equality k = j. Thus we have the contradiction. Therefore, equality (9) is valid, as claimed. Now, by equalities (6)-(9), we obtain the condition Ak = 0. 4. The set of all finite linear combinations of operators of form (4) is dense in
n-1
the C -algebra Cr(L). Moreover, this set is also dense in 0 Ak, because each
k=0
n-1
such finite linear combination can be represented in the form £ where Ak
k=0
is a finite linear combination of operators of form (4) with the a-index [k]n.
n-1 ft—1
It follows from the relation ® Ajc Cr(L) that the space 0 Ak is dense in
k=0 k=0
C*r(L). ►
Lemma 3 allows us to formulate the following result on the Zn-grading of the semigroup C*-algebra C^(L).
Theorem 1. Let a: L —> Z„ be a surjective homomorphism of semigroups. Let Afc be the closed subspace in the C*-algebra C^(L) generated by all operators of form (4) with the a-index [k]n, where 0 < fc < n-1. Then the family of subspaces jA^ | 0< A; < n-l} constitutes the Fell bundle for the semigroup
C*-algebra C*r(L) over the group Z„.
Topological grading of the Cf-algebra Cf(L). Here we first prove that the grading of the semigroup C*-algebra C^(L) constructed in the previous section is topological. At the end of the paper we prove the statement on the geometry of the underlying Banach space of the reduced semigroup C -algebra. Namely, it is shown that the direct sum for the family of the closed subspaces {A ic |0</c<n-l} forming the Fell bundle of the semigroup C*-algebra C£(L) over the group Z„ coincides with Cr(L), i.e., the following equality holds:
n-1
C;(L)=0Afc. k=o
In the proof of the following statement, we construct a linear operator that allows us to talk about the topological Zn-grading of the semigroup C*-algebra C*r(L).
Lemma 4. There exists a contractive linear operator F: —C^(L), which is the identity mapping on Aq and vanishes on each subspace Afc, where \<k<n-l.
< We recall that the involutive subalgebra P(L) consisting of all finite linear combinations of operators of form (4) is dense in the C*-algebra Cr(L). Therefore, according to the principle of the extension by continuity (see, for example, [15, Ch. 2, § 1, Theorem 2]) it suffices to construct a linear bounded operator F:P(L)—>Cr(L), which satisfies the following two conditions. First, F is the identity operator on the linear combinations of operators of form (4) with the c-index [0]„. Second, F vanishes on the linear combinations of operators of form (4) with the c-index [k]n for each integer k such that 1 < k < n -1.
Since each element A e P(L) is uniquely represented as a finite sum
n-1
A=ZAfc, (10)
k=0
where Afc e A&, it is obvious that the formula F(A) = Aq defines the linear operator on the normed space P(L) satisfying the two conditions mentioned above.
We need to prove the boundedness of the operator F. To this end, we fix an element A e P(L) and consider its representation of form (10).
Let us show that the following estimation for norms is valid:
||F(A)|| = ||Ao||<||A||. (11)
To do this, we recall that for the Hilbert space l2(L) there is decomposition (5) into the orthogonal sum of subspaces. By Lemma 2, the subspaces H^ are invariant under the action of Ao. Therefore, for every element Ao sAq the following decomposition into the direct sum of the restrictions of the operator to the subspaces holds:
A0=A<j0)©...©A<j"-1),
where A^ = Aq\h^, 0<k<n-l. Consequently, we have the following equality:
= max 0<fc<n-l
4k)
Let ko be an integer such that the equality || Ao || = Now we note that the following inequality is valid:
holds.
||A||= sup (Ax,Ax) 2> sup (Ax,Ax) 2
\\x\\ = l,xel2(L) \\x\\=l,xeHko
Further, we evaluate the inner product (Ax, Ax) for a vector x e H^:
(Ax,Ax) =
n-1 n—1
x Akx, X Ai* k=0 1=0
n-1
= X (Akx,Aix).
k,l = 0
Let us show that (AfcX, A/*) = 0 whenever k^l. Indeed, by Lemma 2, if x e Hiq then Akx e Hr and Aix e Hs, where [r]n = [k + ko]n and [s]„ = [1 + ko]n. If k^l then r * s. Using the orthogonality of the subspaces Hr and Hs, we obtain the desired condition (Akx, A/x) = 0. Thus we have the following estimate:
n-1
(Ax,Ax)= X (Akx,Akx)>(Aox,Aox). k=o
It implies inequality (11) as follows:
||A||> sup (Ax, Ax) 2> sup (Aqx,Aqx)2= A^fco) ||JC||=1, jcsifjto ||jc|| = 1, jc e Wao
Lemmas 3 and 4 allow us to formulate the main result of the paper on the topological grading of the semigroup C*-algebra C^(L).
Theorem 2. Let c: L —» Z„ be a surjective homomorphism of semigroups and Ak be the closed subspace in the semigroup C*-algebra C*r{L) that is generated by operators of form (4) with the a-index [k]n, where 0<k<n-l. Then the family of the subspaces |0<A;<n-l} is a topological Zn-grading
of the C*-algebra C*r{L).
Finally, the following result shows that the underlying Banach space of the semigroup C*-algebra C*r{L) is decomposed into a direct sum of the finite family of its subspaces Ak.
Theorem 3. Let a: L —»• Z„ be a surjective homomorphism of semigroups and Ak be the closed subspace in the semigroup C*-algebra C}(L) that is generated by operators of form (4) with the a-index [k]n, where 0<k<n-l. Then we have the following equality for the Banach spaces:
n-1
Cr(L) = 0 Ak. k=0
< By [9, § 19.3], since the family of subspaces {A^ \ 0<k<n-l} is a
topological Z„-grading of the semigroup Cf-algebra Cr(L) for every non-negative integer k, k<n—l, there exists a contractive linear operator Fk : Cr(L) —» Ak satisfying the following condition. For every finite sum
n-1
A=ZAb k=0
(12)
where Afc e A^, one has the equality F^(A) = Afc.
Let us take an arbitrary element BeC^(L). We assert that the following equality holds:
B=ïm
k=0
(13)
Indeed, let us fix a real number e > 0. In the semigroup C*-algebra (L) we consider the subalgebra P(L) consisting of the finite linear combinations of monomials. Using the density of this subalgebra, we take a sequence of elements AmeP{L), meN, such that
lim Am = B.
(14)
m-H-oo
Obviously, each element Am can be represented in form (12). Therefore, by condition (14), the standard arguments allow us to choose a number me N such that the following estimates for the norms are valid:
B-Zflk(B)
k=0
< B-AJ +
k=0 fc=0
<(n + l)|B-Aj<s.
Since the choice of the number e>0 is arbitrary, equality (13) follows, as asserted. This completes the proof of the theorem. ►
Acknowledgment. The authors express their deep gratitude to the reviewer for thoughtful reading of the manuscript and comments made, which contributed to improving the text.
Translated by R.N. Gumerov
REFERENCES
[1] Coburn L.A. The C*-algebra generated by an isometry. Bull. Amer. Math. Soc., 1967, vol. 73, iss. 5, pp. 722-726. DOI: https://doi.org/10.1090/S0002-9904-1967-11845-7
[2] Douglas R.G. On the C*-algebra of a one-parameter semigroup of isometries: Acta Math., 1972, vol. 128, pp. 143-152. DOI: https://doi.org/10.1007/BF02392163
[3] Murphy G.J. Ordered groups and Toeplitz algebras. /. Oper. Theory, 1987, vol. 18, no. 2, pp. 303-326.
[4] Li X. Semigroup C -algebras. In: Carlsen T.M., Larsen N.S., Neshveyev S., Skau C., eds. Operator Algebras and Applications. Abel Symposia 2015, vol. 12. Cham, Springer, 2016, pp. 191-202. DOI: https://doi.org/10.1007/978-3-319-39286-8_9
[5] Lipacheva E.V., Hovsepyan K.H. Automorphisms of some subalgebras of the Toeplitz algebra. Sib. Math. J., 2016, vol. 57, iss. 3, pp. 525-531.
DOI: https://doi.org/10.1134/S0037446616030149
[6] Gumerov R.N. Limit automorphisms of the C*-algebras generated by isometric representations for semigroups of rationals. Sib. Math.}., 2018, vol. 59, iss. 1, pp. 73-84.
DOI: https://doi.org/10.1134/S0037446618010093
[7] Fell J.M.G. An extension of Mackeys method to Banach C*-algebraic bundles. AMS, 1969.
[8] Exel R. Amenability for Fell bundles. /. Reine Angew. Math., 1997, vol. 492, pp. 41-73.
[9] Exel R. Partial dynamical systems, Fell bundles and applications. AMS, 2017.
[10] Aukhadiev M.A., Grigoryan S.A., Lipacheva E.V. An operator approach to quantization of semigroups. Sb. Math., 2014, vol. 205, no. 3, pp. 319-342.
DOI: https://doi.org/10.1070/SM2014v205n03ABEH004378
[11] Lipacheva E.V. On a class of graded ideals of semigroup C*-algebras. Russ. Math., 2018, vol. 62, iss. 10, pp. 37-46. DOI: https://doi.org/10.3103/S1066369X18100055
[12] Grigoryan S.A., Lipacheva E.V., Sitdikov A.S. Nets of graded C*-algebras over partially ordered sets. St. Petersburg Math. J., 2019, vol. 30, no. 6, pp. 901-915.
DOI: https://doi.org/10.1090/spmj/1576
[13] Grigoryan S.A., Gumerov R.N., Lipacheva E.V. On extensions of semigroups and their applications to Toeplitz algebras. Lobachevskii J. Math., 2019, vol. 40, iss. 12, pp. 2052-2061. DOI: https://doi.org/10.1134/S1995080219120059
[14] Raeburn I. On graded C*-algebras. Bull. Aust. Math. Soc., 2018, vol. 97, iss. 1, pp. 127-132. DOI: https://doi.org/10.1017/S0004972717000776
[15] Helemskii A.Ya. Lectures and exercises in functional analysis. AMS Publishers, Providence, R.I., 2006.
Gumerov R.N. — Cand. Sc. (Phys.-Math.), Assoc. Professor, Department of Mathematical Analysis, Lobachevskii Institute of Mathematics and Mechanics, Kazan (Volga region) Federal University (Kremlevskaya ul. 35, Kazan, 420008 Russian Federation).
Lipacheva E.V. — Cand. Sc. (Phys.-Math.), Assoc. Professor, Department of Higher Mathematics, Kazan State Power Engineering University (Krasnoselskaya ul. 51, Kazan, 420066 Russian Federation).
Please cite this article as:
Gumerov R.N., Lipacheva E.V. Topological grading of semigroup C*-algebras. Herald of the Bauman Moscow State Technical University, Series Natural Sciences, 2020, no. 3 (90), pp. 44-55. DOI: https://doi.org/10.18698/1812-3368-2020-3-44-55
