ON A FAMILY OF REPRESENTATIONS OF RESIDUALLY FINITE
GROUPS

arXiv:1802.08592v2 [] 27 Feb 2018

V. MANUILOV

Abstract. For a residually finite group G, its normal subgroups G ⊃ G1 ⊃ G2 · · · with
∩n∈N Gn = {e} and for a growth function γ we construct a unitary representation πγ
of G. For the minimal growth, πγ is weakly equivalent to the regular representation,
and for the maximal growth it is weakly equivalent to the direct sum of the quasiregular
representations on the quotients G/Gn . In the case of intermediate growth we show two
examples of different behaviour of πγ .

Introduction
Let G be a residually finite group with normal subgroups G ⊃ G1 ⊃ G2 · · · such that
∩n∈N Gn = {e}. Let Xn = G/Gn be the quotient finite group, with the natural action of
G denoted by (g, x) → gx, g ∈ G, x ∈ Xn . Let νn = |Xn |, where |A| denotes the number
of elements in the set A. A sequence (γn )n∈N of integers such that 1 ≤ γn ≤ νn for any
n ∈ N will be referred to as a growth function.
It is well known that the regular representation λG of G is weakly contained in the direct
sum of quasi-regular representations λn , which factorize through the quotients G/Gn , i.e.
kλG (a)k ≤ supn∈N kλn (a)k for any a ∈ C[G]. In view of abundance of exotic group norms
[2, 6], we were interested to find intermediate norms between the norms kλG (·)k and
supn∈N kλn (·)k (in the case of non-amenable G — otherwise these two norms coincide).
We had not succeeded, but we have constructed a family πγ , γ ∈ Z, of representations
on Hilbert spaces Hγ , where Z is a partially ordered set of growth functions, such that
πγ is weakly equivalent to λ for the minimal growth function (γn = 1 for any n ∈ N),
and to ⊕n∈N λn for the maximal growth function (γn = νn for any n ∈ N). The most
interesting case is that of intermediate growth. We prove an estimate on the norm of
πγ when the growth function γ is sufficiently slow. We also determine, in two cases,
whether the trivial representation is weakly contained in πγ . For a property (τ ) group
G the answer is negative for all growth functions that are slower than the maximal one,
but for a certain choice of finite index subgroups of a free group the answer is positive for
some γ of an intermediate growth. We were not able to check if the norms kπγ (·)k are
all different. We hope they are; if not, then there should be a boundary growth function
such that slower growth functions give the regular norm, and faster ones give the norm
supn∈N kλn (·)k.
1. Construction of a family of representations
In this section we modify the Calkin’s construction [3] to obtain representations of
certain quotient C ∗ -algebras.
Let l2 (Xn ), n ∈ N, be the finitedimensional Hilbert spaces with respect to the atomic
measure µ given by µ(x) = 1 for any x ∈ Xn . Set σ = ⊕n∈N λn , and let A = Cσ∗ (G) be
the C ∗ -algebra generated by all σ(g), g ∈ G. Note that σ is a representation
of G on
Q
2
2
the Hilbert space ⊕n∈N l (Xn ), and there is a canonical inclusion A ⊂ n∈N B(l (Xn )) ⊂
B(⊕n∈N l2 (Xn )).
1

2

V. MANUILOV

2
Fix some non-principal ultrafilter
Q U on2 N and let τn be the trace on B(l (Xn )) normalized by τn (id) = 1. Let J ⊂ n∈N B(l (Xn )) be the ideal consisting of all sequences
(mn )n∈N , mn ∈ B(l2 (Xn )), such that limU τn (m∗n mn ) = 0. Then I = J ∩ A is an ideal in
A.
Following Calkin, set
e = {ξ = (ξn )n∈N : ξn ∈ l2 (Xn ), sup kξn k < ∞}
H
n∈N

e by hξ, ηi = limU hξn , ηn i, where ξn , ηn ∈ l2 (Xn ),
and define a sesquilinear form on H
e
ξ = (ξn )n∈N , η = (ηn )n∈N ∈ H.
e 0 = {ξ ∈ H
e : limU hξ, ξi = 0} ⊂ H.
e When passing to the quotient linear space
Set H
e H
e 0 , the sesquilinear form becomes positive-definite, hence defines an inner product.
H/
e H
e 0 with respect to the corresponding norm is a (non-separable) Hilbert
Completion of H/
b
space H.
b of the C ∗ -algebra A on H
e
The sequence λn , n ∈ N, defines a unitary representation λ
b
by λ(g)(ξ
n ) = (λn (g)ξn ), and it is well-known due to Calkin [3] that this representation
annulates the ideal I0 in A consisting of sequences (mn )n∈N that vanish at infinity, i.e.
limn→∞ kmn k = 0.
b invariant
This ideal is smaller than I. One of our aims is to find a subspace H1 ⊂ H
b
b
under λ such that λ|H1 would annulate I.
Recall that νn = |Xn |, and, by the definition, νn+1
≥ 2, so limn→∞ νn = ∞. Let
νn
Z denote the set of all non-decreasing integer-valued sequences γ = (γn )n∈N such that
1 ≤ γn ≤ νn for any n ∈ N. For γ, γ ′ ∈ Z, we write γ ≤ γ ′ if there is ε > 0 such that
εγn ≤ γn′ for any n ∈ N, and γ ∼ γ ′ if γ ≤ γ ′ and γ ′ ≤ γ. The set Z contains the minimal
element ι such that ιn = 1 for any n ∈ N, and the maximal element ν (νn = |Xn | for any
n ∈ N). We write γ ≺ γ ′ if limU γγn′ = 0.
n
e γ(k) ⊂ H
e be the subset of all sequences (ξn ) such that | supp ξn | ≤ kγn
Fix γ ∈ Z. Let H
e γ = ∪∞ H
e (k) is. Indeed, if (ξn ) ∈ H
e γ(k) ,
for each n. This is not a linear subspace, but H
k=1 γ
′
′
e γ(k ) then (ξn + ξ ′ ) ∈ H
e γ(k+k ) .
(ξn′ ) ∈ H
n
e γ(k) + H
e 0 )/H
e 0 ⊂ H.
b Note that if γ, γ ′ ∈ Z, γ ≤ γ ′ , then
Let Hγ denote the closure of (H
b
Hγ ⊂ Hγ ′ , hence Hγ = Hγ ′ if γ ∼ γ ′ . If γ = ν then Hν = H.
2. Some properties of the Hilbert spaces Hγ

Lemma 2.1. Let γ ≺ γ ′ . Then Hγ 6= Hγ ′ .
e with
Proof. Assume the contrary, and let En′ ⊂ Xn , |En′ | = γn′ . Take ξ = (ξn ) ∈ H,
1
ξn = √ ′ χEn′ , where χE denotes the characteristic function of the set E. Then, for any
γn

(k)

e γ such that kξ − ηk < ε. Let En = supp ηn ,
ε ∈ (0, 1) there exists k ∈ N and η ∈ H
|En | ≤ kγn . Then
X
|En′ \ En |
γn′ − kγn
|ξn (x)|2
≤
=
′
′
γn
γn
′ \E
x∈En
n
X
X
|ξn (x) − ηn (x)|2 = kξn − ηn k2 < ε2 ,
|ξn (x)|2 +
≤
x∈En

′ \E
x∈En
n

hence

k γγn′
n

> 1 − ε2 . Then 0 = k

limU γγn′
n

≥ 1 − ε2 , a contradiction with γ ≺ γ ′ .



ON A FAMILY OF REPRESENTATIONS OF RESIDUALLY FINITE GROUPS

3

Remark 2.2. Note that the same argument shows that Hγ is strictly greater than the
closure of the union of all Hγ ′ over all γ ′ such that γ ′ ≺ γ.
e If η ∈ H
e 1 and limU kηn k∞ = 0 then η ∈ H
e0.
Lemma 2.3. Let η = (ηn )n∈N ∈ H.

e 1(k) for some k ∈ N. This means
Proof. It suffices to prove Lemma in the case when η ∈ H
2
2
that | supp ηn | ≤ k for any n ∈ N. Then kηn k ≤ kkηn k∞ .

Remark 2.2 shows that the family of Hilbert spaces is not lower semicontinuous. Now
let us show that it is upper semicontinuous.
Proposition 2.4. For any γ 0 ∈ Z one has Hγ 0 = ∩γ≻γ 0 Hγ .

Proof. Let ξ ∈ ∩γ≻γ 0 Hγ be represented by a sequence (ξn )n∈N . For any ε > 0 and for any
n ∈ N, consider all ηn ∈ l2 (Xn ) such that kξn − ηn k < ε. Among all these ηn one can find
ηn′ with minimal possible | supp ηn |. Set αnε = | supp ηn′ |.
e γ(k)
Since ξ ∈ ∩γ≻γ 0 Hγ , for any ε > 0 and for any γ ≻ γ 0 there exists k ∈ N and ζ ∈ H
such that kξ − ζk < ε. In particular, | supp ζn | ≤ kγn for all n ∈ N.
It follows from kξ − ζk < ε that there exists A ∈ U sich that kξn − ζn k < ε for any
n ∈ A. By assumption, αnε ≤ | supp ζn | ≤ kγn for any n ∈ A. Thus, for any ε > 0 and
any γ ≻ γ 0 there exists k ∈ N and A ∈ U such that αnε ≤ kγn forpany n ∈ A.
ε
Suppose that limU αγ 0n = ∞ for some ε > 0. Then set γn′ = αnε γn0 . By assumption,
q ε n
′
limU γγn0 = limU αγ 0n = ∞, hence γ ′ ≻ γ 0 . As we have already shown, there exists k ∈ N
n
n
p
and A ∈ U such that αnε ≤ kγn′ = k αnε γn0 for any n ∈ A, hence αnε ≤ k 2 γn0 . This
contradicts our assumption.
ε
Thus, for any ε > 0 we have limU αγ 0n < ∞, i.e. for any ε > 0 there exists C ∈ R
n
 ′
ηn if n ∈ A;
and A ∈ U such that αnε ≤ Cγn0 for any n ∈ A. Set ηn =
Then
0 if n ∈
/ A.
η = (ηn )n∈N ∈ Hγ 0 , and kξ − ηk = limU kξn − ηn k < ε. As ε is arbitrary, this implies that
ξ ∈ Hγ 0 and we are done.

b
Lemma 2.5. The subspaces Hγ are invariant under λ.
Proof. Obvious: translation by g ∈ G, of functions in l2 (Xn ) does not change the size of
their supports.

b to Hγ for any γ ∈ Z. Denote this restriction
Thus, we can restrict the representation λ
b Hγ .
by πγ = λ|
Note that if γ ≤ γ ′ then Hγ ⊂ Hγ ′ , hence the representation πγ ′ contains the representation πγ .
3. Case of maximal growth
Theorem 3.1. The representations πν and ⊕n∈N λn are weakly equivalent.

Proof. When γ = ν is maximal, there is no restrictions on the size of supports of vectors
b The classical result of J. W. Calkin [3] states that the kernel of the
e so πν = λ.
in H,
b of A on H
b is A∩K(⊕n∈N l2 (Xn )) (recall that A is generated by ⊕n∈N λn (g),
representation λ
g ∈ G). As λn is a subrepresentation in any λm with m > n, each λn repeats infinitely in
b
σ = ⊕n∈N λn , hence kλ(·)k
= supn∈N kλn (·)k.


4

V. MANUILOV

4. Case of very slow growth
Theorem 4.1. There exists a growth function γ with limn→∞ γn = ∞ such that πγ ′ is
weakly equivalent to the regular representation λ of G for any γ ′ ≤ γ. In particular, πι is
weakly equivalent to λ.
Proof. It suffices to prove the theorem in the case when G is finitely generated. Let
qn : G → G/Gn = Xn denote the quotient maps, and let l (resp. ln ) be the word length
function on G (resp. on Xn ) with respect to a fixed set S ⊂ G (resp. qn (S) ⊂ Xn ) of
generators, and let d(g, h) = l(g −1 h (resp. dn (x, y) = ln (x−1 y)) determine a left invariant
metric on G (resp. on Xn ). Let Br ⊂ G denote the ball of radius r. Let a ∈ C[G],
e γ(k) such that kξn k = 1
supp a ⊂ Br . For any γ ∈ Z and for any ε > 0 there exists ξ ∈ H
for any n ∈ N and
kπγ (a)k2 < kπγ (a)ξk2 + ε.
(4.1)
Let supp ξn = A ⊂ Xn . By assumption, |A| ≤ kγn for any n ∈ N. Our aim is to show
that although A may be scattered on Xn , one can replace ξn by another functions ζn such
that kπγ (a)k2 < kπγ (a)ζk2 + ε, kζn k = 1, n ∈ N, and such that supp ζn lies in a ball of a
controlled radius.
Decompose the set A into a disjoint union of its subsets A = A1 ⊔ · · · ⊔ Ak such that
(A1) For any x ∈ Ai , i = 1, . . . , k, there exists y ∈ Ai such that ρ(x, y) < 3r;
(A2) If x ∈ Ai , y ∈ Aj , i 6= j, then ρ(x, y) ≥ 3r.
Set ξn |Ai = ηi . Then kη1 k2 + · · · + kηk k2 = kξn k2 = 1 and, as supp x∗ x ⊂ B2r , so by
(A2), one has hλn (a∗ a)ηi , ηj i = 0 when i 6= j, hence
2

kλn (a)ξn k =
Suppose that for any i = 1, . . . , k one has

k
X
i=1

hλn (a∗ a)ηi , ηi i.

kλn (a∗ a)ηi , ηi k ≤ (kλn (a∗ a)k − ε)kηi k2 .

(4.2)

Then, summing (4.2) up, we get
2

kλn (a)ξn k =

k
X
i=1

∗

∗

kλn (a a)ηi , ηi k ≤ (kλn (a a)k − ε)

Passing to the limit over U, we get

k
X
i=1

kηi k2 = kλn (a∗ a)k − ε.

kπγ (a)ξk2 ≤ kπγ (a)k2 − ε,

which contradicts (4.1). Thus, for any n ∈ N, there exists i such that
kλn (a∗ a)ηi , ηi k ≤ (kλn (a∗ a)k − ε)kηi k2 .

er′ (zn ) of
Note that | supp ηi | = |Ai | ≤ |A| ≤ kγn , hence, by (A1), there exists a ball B
′
er′ (zn ) (we use tilde
radius r = kγn · 3r centered at some zn ∈ Xn , such that supp ηi ⊂ B
to distinguish balls in Xn from balls in G).
er′ (zn ), | supp ζn | ≤ kγn for any n ∈ N, and there exists
Set ζn = kηηii k . Then supp ζn ⊂ B
A ∈ U such that kλn (a)ζn k > kλn (a)k − ε for any n ∈ A.
er′ (zn ) if ln (z −1 y) ≤ r ′ .
Note that y ∈ B
n
Let αn = ming∈Gn ,g6=e l(g). It follows from ∩∞
n=1 Gn = {e} that limn→∞ αn = ∞. The
following statement is folklore.
Lemma 4.2. Let g ∈ G, z = qn (g), and let BR (g) ⊂ G be the ball of radius R centered
eR (z) for any R < αn /4.
at g. Then qn maps BR (g) isometrically onto B

ON A FAMILY OF REPRESENTATIONS OF RESIDUALLY FINITE GROUPS

5

Proof. Let h, k ∈ BR (g). Then d(h, k) = l(h−1 k) ≤ 2R. Note that for any x ∈ G,
l(x) ≥ l(qn (x)), and ln (qn (x)) = miny∈Gn ,y6=e l(xy). Suppose that there exists y ∈ Gn
such that l(xy) < l(x). Then, by the triangle inequality, l(xy) ≥ l(y) − l(x), hence
l(y)−l(x) < l(x), or, equivalently, l(x) > l(y)/2. Taking x = h−1 k, we get 2R ≥ d(h, k) =
l(x) > l(y)/2 ≥ αn /2, hence R ≥ αn /4 — a contradiction. Thus, dn (qn (h), qn (k)) =
ln (qn (x)) = l(x) = d(h, k).

eR (zn )) → l2 (G) be an
Let gn ∈ G satisfy qn (gn ) = zn , R < αn /4, and let un : l2 (B
isometry defined by

eR (gn );
ϕn (qn (h)) if h ∈ B
un (ϕn )(h) =
eR (gn ).
0
if h ∈
/B

eR (zn ) then un λn (g)ϕn = λ(g)unϕn . Both
If the supports of ϕn and of λn (g)ϕn lie in B
er′ +r (zn ), hence, for r ′ + r < αn /4 one has
ζn and λn (x)ζn have supports in the ball B
un λn (x)ζn = λ(x)un ζn , so kλn (x)ζn k = kλ(x)ζn′ k, where ζn′ = un ζn ∈ l2 (G).
Thus,
kπγ (a)k2 < kλn (a)ζn k2 + ε = kλ(a)ζn′ k2 + ε
(4.3)
′
for any n ∈ A when r + r < αn /4.
For any ε > 0, there exists A′ ∈ U such that
′

kλ(a)ζn′ k2 < kλ(a)k2 + ε

(4.4)

for any n ∈ A .
Choose γ such that limU αγnn = 0. Then, as r ′ = 3rkγn , so there exists A′′ ∈ U such that
r ′ + r < αn /4 holds for any n ∈ A′′ . As the set A ∩ A′ ∩ A′′ is not empty, it follows from
(4.3) and (4.4) that
kπγ (a)k2 < kλ(a)k2 + 2ε
holds for any a ∈ C[G] with supp a ∈ Br . As r is arbitrary, we conclude that kπγ (a)k ≤
kλ(a)k for any a ∈ C[G].

5. Case of small growth
Let Un−1 : l2 (Xn−1 ) → l2 (Xn ) be the isometry defined by
1
Un−1 (ξn−1 )(x) = p
ξn−1 (qn (x)),
νn /νn−1

where qn : G/Gn → G/Gn−1 is the quotient homomorphism and νn = |Xn |. This allows
to consider Hn−1 as a subspace of Hn . Note that λn−1 is a subrepresentation of λn . Set
ρn = λn ⊖ λn−1 . This is a representation of G on l2 (Xn ) ⊖ l2 (Xn−1 ).

Theorem 5.1. Let γ ≺ γ ′ , where γn′ =
any a ∈ C[G].

νn
.
νn−1

Then kπγ (a)k ≤ lim supn→∞ kρn (a)k for

b and a
Proof. We are going to construct a Hilbert space L such that Hγ ⊂ L ⊂ Hν = H
b L and kρ(a)k = lim sup
representation ρ of G on L such that ρ = λ|
n→∞ kρn (a)k for any
a ∈ C[G]. This would obviously imply that ρ contains πγ , hence the claim of the theorem.
e of all the sequences (ξn )n∈N such that
In order to construct L let us consider the set L
2
2
ξn ∈ l (Xn ) ⊖ l (Xn−1 ) and the norms kξn k are uniformly bounded, with the degenerate
inner product as before, which becomes positive definite after taking quotient modulo

6

V. MANUILOV

e ⊂ H,
e and we define L as the closure of L
e +H
e 0 /H
e0
sequences with limU kξn k2 = 0. Then L
b Then ρ(g)(ξn ) = (ρn (g)ξn ), g ∈ G, defines the representation ρ on L.
in H.
Let σk , k ∈ N, be the sequence of irreducible representations of G that appear as direct
summands in λ1 , λ2 , . . .. Let σk be a subrepresentation of λn−1 . As the multiplicity of
σk in λn−1 and in λn is the same and equals its dimension, it is not contained in ρn .
Thus, each σk appears only in one of ρ1 , ρ2 , . . .. Let B be the C ∗ -algebra generated by all
⊕n∈N ρn (g), g ∈ G, in H ′ = ⊕n∈N l2 (Xn ) ⊖ l2 (Xn−1 ). Then kρ(a)k equals the norm of a in
B/B ∩ K(H ′ ) by Theorem 5.3 of [3]. Since each σk appears only in one of ρ1 , ρ2 , . . ., the
latter norm equals lim supk→∞ kσk (a)k = lim supn→∞ kρn (a)k.
To finish the argument, it remains to show that Hγ ⊂ L. Let Pn : l2 (Xn ) → l2 (Xn ) ⊖
2
l (Xn−1 ) be the orthogonal projection, Qn = 1 − Pn . We claim that limU kξn − Pn ξn k = 0
e γ(k) for some k ∈ N.
for any ξ ∈ Hγ . Let ξ ∈ H
Let x ∈ Xn−1 = G/Gn−1 , δx its characteristic delta-function,
ηx = Un−1 δx ∈ l2 (Xn ).
(
1
√
if qn (y) = x;
P
νn /νn−1
Then Qn ξn = x∈Xn−1 hηx , ξn iηx . Note that ηx (y) =
0
if qn (y) 6= x.
Note also that supp ηx ∩ supp ηyP
= ∅ when x 6= y. Let Ax = supp ξn ∩ supp ηx ⊂ Xn .
Then supp ξn = ⊔x∈Xn−1 Ax , hence x∈Xn−1 |Ax | ≤ kγn .
X
X X
X
|ξn (y)|2
|ηx (y)|2
|hηx , ξn i|2 ≤
kQn ξn k2 =
≤

X

x∈Xn−1

y∈Ax

x∈Xn−1 y∈Ax

x∈Xn−1

|Ax |

νn−1
1
kξn k2 ≤ kγn
kξn k2 .
νn /νn−1
νn

e
So, limU kQn ξn k = 0, hence ξ ∈ L.



6. Case of intermediate growth

Here we consider the case of intermediate growth and show two different kinds of
behaviour of representations πγ — for property (T) groups and for free groups.
6.1. Case of property (τ ) groups. Recall that the property (τ ) is a generalization of
the property (T) of Kazhdan and means that the trivial representation is isolated among
finitedimensional representations. For more details about property (τ ) we refer to [4].
Theorem 6.1. Let G be a finitely generated property (τ ) group, and let γ ≺ ν. Then the
trivial representation is not weakly contained in πγ .
P
1
Proof. Let S ⊂ G be a finite symmetric generating set, and let x = |S|
g∈S g ∈ C[G].
e γ such that kξ (k) k = 1 and
Suppose the contrary: for any ε > 0 there exists ξ (k) ∈ H
e γ(k) , and
kπγ (x)ξ (k) − ξ (k) k < ε. Without loss of generality we may assume that ξ (k) ∈ H
that kξn k = 1 for each n ∈ N, where ξ = (ξn )n∈N . A fixed ε determines k such that
kπγ (x)ξ (k) − ξ (k) k = lim kλn (x)ξn(k) − ξn(k)k < ε.

Then there exists A ∈ U such that

U

kλn (x)ξn(k) − ξn(k) k < ε

(6.1)

for any n ∈ A.
Note that each λn contains exactly one copy of the trivial representation, with the
representation space spanned by the single vector ξn0 = √ 1 χXn . By property (τ ), there
|Xn |

ON A FAMILY OF REPRESENTATIONS OF RESIDUALLY FINITE GROUPS

7

exists δ > 0 (which does not depend on n) such that kλn (x)ηn − ηn k ≥ δkηn k for any
(k)
ηn ∈ l2 (Xn ) orthogonal to ξn0 . Let ξn = αξn0 + ηn , where ηn ⊥ ξn0 . Then

δkηn k ≤ kλn (x)ηn − ηn k = kλn (x)ξn(k) − ξn(k) k < ε,
q
p
2
ε
2
for any n ∈ A, hence kηn k < δ when n ∈ A. Then |α| = 1 − kηn k > 1 − δε2 , and
r
p
ε
(k)
0
2
2
kξn − ξn k = (1 − α) + kηn k < 2
(6.2)
δ
when n ∈ A and ε ≤ δ.
q
(k)
(k) 0
kγn
But | supp ξn | ≤ kγn for any n ∈ N, hence |hξn , ξn i| ≤ |X
. So, by assumption,
n|
(k)

limn→∞ hξn , ξn0 i = 0, which contradicts (6.2) when ε < δ/4.



6.2. Case of free groups. Let G = F2 be the free group on two generators. Here we
show that Hγ may weakly contain the trivial representation for a certain sequence of finite
index subgroups and for certain intermediate γ. We follow here [1].
(2)
(2)
Let G0 = F2 , G1 = F2 , Gn+1 = Gn , be the iterated subgroups generated by the
squares of all elements of the previous group. There is a nice description of Xn = F2 /Gn
in [1] as vertices of Cayley graphs of Xn . The Cayley graph of F2 /G0 is the wedge of
two circles with a single vertex, and the Cayley graphs Cay(Xn ) of F2 /Gn = Xn are
constructed from it inductively. Let Vn and En denote the set of vertices and edges of the
Cayley graph of Xn , let Tn be a maximal tree in Cay(Xn ), and let e1 , . . . , ern be the edges
not in Tn . Then Vn+1 = Vn × (Z/2)rn , En+1 = En × (Z/2)rn . Let e ∈ En , α ∈ (Z/2)rn .
Let e connect the vertices v, w ∈ Vn . If e ∈ Tn then the edge (e, α) ∈ En+1 connects (v, α)
with (w, α). If e = ei , 1 ≤ i ≤ rn , then (e, α) connects (v, α) with (w, α + ēi ), where
ēi = (0, . . . , 0, 1, 0, . . . , 0) ∈ (Z/2)rn has 1 as its i’s component.
For a Cayley graph Cay(Xn ) and for a subset A of vertices of Cay(Xn ) we denote by
|∂A| the number of edges in Cay(Xn ) such that they connect a point from A with a point
from Xn \ A.
Lemma 6.2. There exists a sequence An ⊂ Xn such that
lim |An | = ∞;

n→∞

|An |
= 0;
n→∞ |Xn |
|∂An |
lim
= 0.
n→∞ |An |
lim

Proof. Let 1 < kn < rn . Set

(6.3)
(6.4)
(6.5)

An+1 = {(v, α) : v ∈ Vn , α ∈ (Z/2)rn , αi = 0 for kn < i ≤ rn }.

Then |An+1 | = |Xn |2kn , and (6.3) holds for any kn ≥ 1. Note that (6.4) means that
|An+1|
= lim 2kn −rn = 0,
n→∞
n→∞ |Xn+1 |
lim

which is equivalent to limn→∞ (rn − kn ) = ∞.
Let us evaluate |∂An+1 |. If e ∈ Tn then both ends of (e, α) are either in An+1 or
in Vn+1 \ An+1 , so let e = ei be one of e1 , . . . , ern . If (e, α) ∈ ∂An+1 then i > kn , so
|∂An+1 | = 2(rn − kn )2kn .

8

V. MANUILOV

n −kn )
n+1 |
= 2(r|X
. As both (rn )n∈N and (|Xn |)n∈N grow faster than an iterated
Thus, |∂A
|An+1 |
n|
exponential, so one can easily find a sequence (kn )n∈N such that
• limn→∞ (rn − kn ) = ∞;
n)
• limn→∞ (rn|X−k
=0
n|

(the latter implies (6.5)).


Theorem 6.3. There exists γ with limn→∞ γn = ∞ and limn→∞ γdnn = 0 such that πγ
weakly contains the trivial representation.
Proof. Let An ⊂ Xn be as in Lemma 6.2. Set γn = |An |, and ξn = √1γn χAn . Then
e γ . If g ∈ S ⊂ G is one of the generators then
ξ = (ξn )n∈N ∈ H
1
kλn (g)ξn − ξn k2 ≤
(|g(An ) \ An | + |An \ g(An )|)
γn
2|∂An |
1
(|g(An ) \ An | + |g −1(An ) \ An |) ≤
,
=
γn
γn
hence ξ is almost invariant for πγ by Lemma 6.2.

References
[1] G. Arzhantseva, E. Guentner. Coarse non-amenability and covers with small eigenvalues. Math. Ann.
354 (2012), 863–870.
[2] N. P. Brown, E. P. Guentner. New C ∗ -completions of discrete groups and related spaces. Bull. Lond.
Math. Soc. 45 (2013), 1181–1193.
[3] J. W. Calkin. Two-sided ideals and congruences in the ring of bounded operators in Hilbert space.
Ann. Math. 42 (1941), 839–873.
[4] A. Lubotzky. Discrete groups, expanding graphs and invariant measures. Progress in Math. 125,
Birkhäuser Verlag, Basel (1994).
[5] S. Wassermann. On tensor products of certain group C ∗ -algebras. J. Funct. Anal. 23 (1976), 239–254.
[6] M. Wiersma. Constructions of exotic group C ∗ -algebras. Illinois J. Math. 60 (2016), 655–667.
Moscow State University, Leninskie Gory 1, Moscow, 119991, Russia
E-mail address: manuilov@mech.math.msu.su

