KAZHDAN SETS IN GROUPS AND EQUIDISTRIBUTION
PROPERTIES
by

arXiv:1601.04289v4 [math.GR] 3 Jun 2017

Catalin Badea & Sophie Grivaux

Abstract. — Using functional and harmonic analysis methods, we study Kazhdan sets in
topological groups which do not necessarily have Property (T). We provide a new criterion for
a generating subset Q of a group G to be a Kazhdan set; it relies on the existence of a positive
number ε such that every unitary representation of G with a pQ, εq-invariant vector has a
finite dimensional subrepresentation. Using this result, we give an equidistribution criterion
for a generating subset of G to be a Kazhdan set. In the case where G “ Z, this shows that
if pnk qkě1 is a sequence of integers such that pe2iπθnk qkě1 is uniformly distributed in the unit
circle for all real numbers θ except at most countably many, then tnk ; k ě 1u is a Kazhdan
set in Z as soon as it generates Z. This answers a question of Y. Shalom from [B. Bekka,
P. de la Harpe, A. Valette, Kazhdan’s property (T), Cambridge Univ. Press, 2008]. We
also obtain characterizations of Kazhdan sets in second countable locally compact abelian
groups, in the Heisenberg groups and in the group Aff` pRq. This answers in particular a
question from [B. Bekka, P. de la Harpe, A. Valette, Kazhdan’s property (T), op. cit.].

1. Introduction
A unitary representation of a topological group G on a Hilbert space H is a group
morphism from G into the group U pHq of all unitary operators on H which is strongly
/ πpgqx is continuous from G into H for all
continuous, i. e. such that the map g ✤
vectors x P H. As all the representations we consider in this paper are unitary, we will
often drop the word “unitary” and speak simply of representations of a group G on a
Hilbert space H. In this paper the Hilbert spaces will always be supposed to be complex,
and endowed with an inner product x ¨ , ¨ y which is linear in the first variable and antilinear
in the second variable.
2000 Mathematics Subject Classification. — 22D10, 22D40, 37A15, 11K069, 43A07, 46M05.
Key words and phrases. — Kazhdan sets, topological groups, Property (T), equidistributed sequences
in groups, tensor products of unitary representations, weakly mixing representations, abstract Wiener
theorem, Heisenberg groups.
We would like to thank an anonymous referee for very useful remarks and comments; the present version
has been completely rewritten after receiving his/her report. This work was supported in part by the
Labex CEMPI (ANR-11-LABX-0007-01) and by the EU IRSES grant AOS (PIRSES-GA-2012-318910).

2

CATALIN BADEA & SOPHIE GRIVAUX

Definition 1.1. — Let Q be a subset of a topological group G, ε a positive real number,
and π a unitary representation of G on a Hilbert space H. A vector x P H is said to be
pQ, εq-invariant for π if
sup ||πpgqx ´ x|| ă ε||x||.
g PQ

A pQ, εq-invariant vector for π is in particular non-zero. A G-invariant vector for π is a
vector x P H such that πpgqx “ x for all g P G.
The notions of Kazhdan sets and Kazhdan pairs will be fundamental in our work.
Definition 1.2. — A subset Q of a topological group G is a Kazhdan set in G if there
exists ε ą 0 such that the following property holds true: any unitary representation π of
G on a complex Hilbert space H with a pQ, εq-invariant vector has a non-zero G-invariant
vector. In this case, the pair pQ, εq is Kazhdan pair, and ε is a Kazhdan constant for Q.
A group G has Property (T), or is a Kazhdan group, if it admits a compact Kazhdan set.
Property (T) is a rigidity property of topological groups which has been introduced by
Kazhdan in [26] for locally compact groups, and which has spectacular applications to
many fields. For instance, the groups SLn pRq and SLn pZq have Property (T) if and only
if n ě 3. We refer the reader to the monograph [6] by Bekka, de la Harpe, and Valette
for a comprehensive presentation of Kazhdan’s Property (T) and its applications (see also
[19]).
The aim of this paper is to identify and study Kazhdan sets in topological groups. For
discrete groups with Property (T) the Kazhdan sets are known. Recall first the following
definition.
Definition 1.3. — If Q is a subset of a group G, we denote by xQy the smallest subgroup
of G containing Q, i. e. the set of all elements of the form g1˘1 . . . gn˘1 , where n ě 1 and
g1 , . . . , gn belong to Q. We say that Q generates G, or is generating in G, if xQy “ G.
Locally compact groups with Property (T) are compactly generated. In particular, discrete groups with Property (T) are finitely generated and it is known (see [6, Prop. 1.3.2])
that the Kazhdan subsets of a discrete group with Property (T) are exactly the generating
subsets of the group. More generally [6, Prop. 1.3.2], a generating set of a locally compact
group which has Property (T) is a Kazhdan set and, conversely, a Kazhdan set which has
non-empty interior is necessarily a generating set.
For groups without Property (T) the results about Kazhdan
? sets and Kazhdan pairs
are very sparse. It is known (see [6, Prop. 1.1.5]) that pG, 2q is a Kazhdan pair for
every topological group G, so G is always a (“large”) Kazhdan subset of itself. The main
motivations for the present paper are two questions from [6, Sec. 7.12]. The first one is
due to Y. Shalom:
Question 1.4. — [6, Sec. 7.12] “The question of knowing if a subset Q of Z is a Kazhdan
set is possibly related to the equidistribution of the sequence pe2iπnθ qn PQ for θ irrational,
in the sense of Weyl.”
We refer the reader to the classical book [28] by Kuipers and Niederreiter for more
information about equidistributed (sometimes called uniformly distributed) sequences.
Recall that the Weyl Criterion ([28, Th. 2.1]) states that if pxk qkě1 is a sequence of real
ř
2iπhxk tends to 0 as N
numbers, pe2iπxk qkě1 is equidistributed in T if and only if N1 N
k“1 e
tends to infinity for every non-zero integer h. Hence if pnk qkě1 is a sequence of elements

KAZHDAN SETS AND EQUIDISTRIBUTION PROPERTIES

3

řN

of Z, pe2iπnk θ qkě1 is equidistributed in T for every θ P RzQ if and only if N1 k“1 e2iπnk θ
tends to 0 as N tends to infinity for every θ P RzQ. If χθ denotes, for every θ P R, the
ř
character on Z associated to θ, this means that N1 N
k“1 χθ pnk q tends to 0 as N tends to
infinity for every θ P RzQ.

The first remark about Question 1.4 is that it concerns Kazhdan sets and equidistributed sequences; notice that a rearrangement of the terms of a sequence can destroy
its equidistribution properties. It is known [28, p. 135] that given a sequence of elements
of the unit circle T, there exists a certain rearrangement of the terms which is is equidistributed if and only if the original sequence is dense in T. The second remark is that,
as mentioned before, Kazhdan sets of Z are necessarily generating, while there are nongenerating subsets Q of Z, like Q “ pZ with p ě 2, for which the sequences pe2iπpkθ qk PZ
are equidistributed for all irrational θ’s. So Question 1.4 may be rephrased as follows:
Question 1.5. — (a) Let Q be a Kazhdan subset of Z. Does a certain rearrangement
pnk qk ě1 of the elements of Q exist such that pe2iπnk θ qk ě1 is equidistributed in T for every
θ P RzQ? Equivalently, is the sequence pe2iπnθ qn PQ dense in T for every θ P RzQ?
(b) Let Q “ tnk ; k ě 1u be a generating subset of Z. Suppose that the sequence
pe2iπnk θ qk ě1 is equidistributed in T for every θ P RzQ. Is Q a Kazhdan set in Z?
We will prove in this paper that Question 1.5 (a) has a negative answer, a counterexample being provided by the set Q “ t2k ` k ; k ě 1u (see Example 6.4). On the other
hand, one of the aims of this paper is to show that Question 1.5 (b) has a positive answer. Actually, we will consider Question 1.5 (b) in the more general framework of Moore
groups, and answer it in the affirmative (Theorem 2.1).
The second question of [6, Sec. 7.12] runs as follows:
Question 1.6. — [6, Sec. 7.12] “More generally, what are the Kazhdan subsets of Zk ,
Rk , the Heisenberg group, or other infinite amenable groups?”
We shall answer Question 1.6 in Section 6 by giving a complete description of Kazhdan
sets in many classic groups which do not have Property (T), including the groups Zk and
Rk , k ě 1, the Heisenberg groups of all dimensions, and the group Aff` pRq of orientationpreserving affine homeomorphisms of R.
2. Main results
Let us now describe our main results in more detail.
2.1. Equidistributed sets in Moore groups. — In order to state Question 1.5 (b) for
more general groups, we first need to define equidistributed sequences. There are several
possible ways of doing this. If pgk qkě1 is a sequence of elements in a locally compact
group G, uniform distribution of pgk qkě1 in any of these senses requires a certain form of
convergence, as N tends to infinity, of the means
(2.1)

N
1 ÿ
πpgk q
N k“1

to the orthogonal projection Pπ on the subspace of invariant vectors for π, for a certain
class of unitary representations π of G. Veech [37], [38] calls pgk qkě1 uniformly distributed
in G if the convergence of the means (2.1) holds in the weak operator topology for all

4

CATALIN BADEA & SOPHIE GRIVAUX

unitary representations of G (or, equivalently, for all irreducible unitary representations
of G, provided G is supposed to be second countable). Unitary uniform distribution in
the sense of Losert and Rindler [29], [17] requires the convergence in the strong operator
topology of the means (2.1) for all irreducible unitary representations of the group, while
Hartman uniform distribution only requires convergence in the strong operator topology
for all finite dimensional unitary representations.
In this paper we deal with the following natural extension to general locally compact
groups G of the equidistribution condition of Question 1.5 (b): if pgk qkě1 is a sequence
of elements of G, we require the sequence of means (2.1) to converge to 0 in the weak
topology for all finite dimensional irreducible unitary representations of G except those
belonging at most countably many equivalence classes of irreducible representations. In
the case of the group Z, sequences pnk qkě1 of integers such that pe2iπθnk qkě1 is uniformly
distributed in T for all θ P R except countably many are said to be of first kind (see for
instance [21]). The class of groups we will consider in relation to Question 1.5 (b) is the
class of second countable Moore groups. Recall that G is said to be a Moore group if all
irreducible representations of G are finite dimensional. Locally compact Moore groups are
completely described in [31]: a Lie group is a Moore group if and only if it has a closed
subgroup H such that H modulo its center is compact, and a locally compact group is a
Moore group if and only if it is a projective limit of Lie groups which are Moore groups. See
also the survey [33] for more information concerning the links between various properties
of topological groups, among them the property of being a Moore group. Of course all
locally compact abelian groups are Moore groups.
Here is the first main result of this paper.
Theorem 2.1. — Let G be a second countable locally compact Moore group. Let pgk qkě1
be a sequence of elements of G. Suppose that pgk qkě1 satisfies the following equidistribution
assumption:
for all (finite dimensional) irreducible unitary representations π of G on a
Hilbert space H, except those belonging to at most countably many equivalence
classes,
(2.2)
N
1 ÿ
/ 0 for every x, y P H.
xπpgk qx, yy
/ `8
N k“1
N
– If Q “ tgk ; k ě 1u generates G (in which case G has to be countable), then Q is a
Kazhdan set in G.
– If Q is not assumed to generate G, Q becomes a Kazhdan set when one adds to it
a suitable “small” perturbation.
More precisely, if pWn qně1 is an increasing sequence of
Ť
subsets of G such that ně1 Wn “ G, there exists n ě 1 such that Wn Y Q is a Kazhdan
set in G.

The equidistribution property (2.2) of the sequence pgk qkě1 takes a more familiar form
when the group G is supposed to be abelian: it is equivalent to requiring that condition
(2.3) below holds true for all characters χ of the group except possibly countably many.

KAZHDAN SETS AND EQUIDISTRIBUTION PROPERTIES

5

Theorem 2.2. — Let G be a locally compact abelian group, and let pgk qkě1 be a sequence
of elements of G. Suppose that
(2.3)

N
1 ÿ
χpgk q
N k“1

/0
N

/

`8

for all characters χ on G, except at most countably many. If Q “ tgk ; k ě 1u generates
G, then Q is a Kazhdan set in G. If Q is not assumed
to generate G, and if pWn qně1 is
Ť
an increasing sequence of subsets of G such that ně1 Wn “ G, then there exists n ě 1
such that Wn Y Q is a Kazhdan set in G.
Theorem 2.2 can thus be seen as a particular case of Theorem 2.1, except for the fact
that there is no need to suppose that the group is second countable when it is known to
be abelian. The case G “ Z provides a positive answer to Question 1.5 (b) above.

2.2. Kazhdan sets and finite dimensional subrepresentations. — The proof of
Theorem 2.2 relies on Theorem 2.3 below, which gives a new condition for a “small perturbation” of a subset Q of a group G to be a Kazhdan set in G. Theorem 2.3 constitutes the
core of the paper, and has, besides the proofs of Theorems 2.1 and 2.2, several interesting
applications which we will present in Sections 5 and 6.
Theorem 2.3. — Let G be a topological group, and let pWn qně1 be an increasing
Ť sequence
of subsets of G such that W1 is a neighborhood of the unit element e of G and ně1 Wn “
G. Let Q be a subset of G satisfying the following assumption:
there exists a positive constant ε such that every unitary representation
(*)
π of G on a Hilbert space H admitting a pQ, εq-invariant vector has a
finite dimensional subrepresentation.
Then there exists an integer n ě 1 such that Qn “ Wn Y Q is a Kazhdan set in G.
If the group G is locally compact, the same
Ť statement holds true for any increasing
sequence pWn qně1 of subsets of G such that ně1 Wn “ G.

The condition that W1 be a neighborhood of e, which appears in the first part of the
statement of Theorem 2.3, will be used in the proof in order to ensure the strong continuity
of some infinite tensor product representations (see Proposition A.2). When G is locally
compact, this assumption is no longer necessary (see Proposition A.1).
We stress that Theorem 2.3 is valid for all topological groups. We will apply it mainly
to groups which do not have Property (T) and to subsets of such groups which are not
relatively compact, a notable exception being the proof of Theorem 5.1, where we retrieve
a characterization of Property (T) for σ-compact locally compact groups due to Bekka
and Valette [5], see also [6, Th. 2.12.9]. The original proof of this result relies on the
Delorme-Guichardet theorem that such a group has Property (T) if and only if it has
property (FH). See Section 5 for more details.
Theorem 2.3 admits a simpler formulation if we build the sequence pWn qně1 starting
from a set which generates the group:
Corollary 2.4. — Let G be a topological group. Let Q0 be a subset of G which generates
G and let Q be a subset of G. Suppose either that Q0 has non-empty interior, or that G
is a locally compact group. If Q satisfies assumption (*) of Theorem 2.3, then Q0 Y Q is
a Kazhdan set in G.

6

CATALIN BADEA & SOPHIE GRIVAUX

One of the main consequences of Corollary 2.4 is Theorem 2.5 below, which shows in
particular that property (*) of Theorem 2.3 characterizes Kazhdan sets among generating
sets (and which have non-empty interior – this assumption has to be added if the group
is not supposed to be locally compact).
Theorem 2.5. — Let G be a topological group and let Q be a subset of G which generates
G. Suppose either that Q has non-empty interior or that G is locally compact. Then the
following assertions are equivalent:
(a) Q is a Kazhdan set in G;
(b) there exists a constant δ P p0, 1q such that every unitary representation π of G on a
Hilbert space H admitting a vector x P H such that inf gPQ |xπpgqx, xy| ą δ}x}2 has a
finite dimensional subrepresentation;
(c) there exists a constant ε ą 0 such that every unitary representation π of G on a Hilbert
space H admitting a pQ, εq-invariant vector has a finite dimensional subrepresentation.
The assumption that Q generates G cannot be dispensed with in Theorem 2.5: Q “ 2Z
is a subset of Z which satisfies property (c), but Q is clearly not a Kazhdan set in Z.
Condition (b) in Theorem 2.5 is easily seen to be equivalent to condition (c), which is
nothing else than assumption (*) of Theorem 2.3. Its interest will become clearer in
Section 6 below, where it will be used to obtain a characterization of Kazhdan sets in
second countable locally compact abelian groups (Theorem 6.1). In the case of the group
Z, the characterization we obtain (Theorem 6.3) involves a classic class of sets in harmonic
analysis, called Kaufman sets. We give in Section 6 several examples of “small” Kazhdan
sets in Z, describe Kazhdan sets in the Heisenberg groups Hn , n ě 1 (Theorem 6.11), and
also in the group Aff` pRq (Theorem 6.14). These results provide an answer to Question
1.6.
The paper also contains an appendix which reviews some constructions of infinite tensor
product representations on Hilbert spaces, used in the proof of Theorem 2.3.
3. Mixing properties for unitary representations and an abstract version of
the Wiener theorem
3.1. Ergodic and mixing properties for unitary representations. — We first
recall in this section some definitions and results concerning the structure of unitary representations of a topological group G. They can be found for instance in the book [27],
the notes [34], and the paper [8] by Bergelson and Rosenblatt.
Recall that the class WAPpGq of weakly almost periodic functions on G is defined as
follows: if ℓ 8 pGq denotes the space of bounded functions on G, f P ℓ 8 pGq belongs to
WAPpGq if the weak closure in ℓ 8 pGq of the set tf ps´1 q ; s P Gu is weakly compact. For
/ f ps´1 tq on G. By comparison, recall
each s P G, f ps´1 q denotes the function t ✤
8
that f P ℓ pGq is an almost periodic function on G, written f P APpGq, if the norm
closure in ℓ 8 pGq of tf ps´1 q ; s P Gu is compact. If π is a unitary representation of G on
a Hilbert space H, the functions
ˇ
ˇ
ˇ
ˇ2
xπpqx, yy, ˇxπpqx, yyˇ, and ˇxπpqx, yyˇ ,
where x and y are any vectors of H, belong to WAPpGq. For more on weakly almost
periodic functions on a group, see for instance [10] or [16, Ch. 1, Sec. 9]. The interest of

KAZHDAN SETS AND EQUIDISTRIBUTION PROPERTIES

7

the class of weakly almost periodic functions on G in our context is that there exists on
WAPpGq a unique G-invariant mean m. It satisfies
mpf ps´1 qq “ mpf p  s´1 qq “ mpf q

for every f P WAPpGq and every s P G. The abstract ergodic theorem then states that
if π is a unitary representation of G on H, mpxπpqx, yyq “ xPπ x, yy for every vectors
x, y P H, where Pπ denotes the projection of H onto the space Eπ “ tx P H ; πpgqx “
x for every g P Gu of G-invariant vectors for π. The representation π is ergodic (i. e.
admits no non-zero G-invariant vector) if and only if mpxπpqx, yyq “ 0 for every x, y P H.
Following [8], let us now recall that the representation π is said to be weakly mixing if
mp|xπpqx, xy|q “ 0 for every x P H, or, equivalently, mp|xπpqx, xy|2 q “ 0 for every x P H.
Then mp|xπpqx, yy|q “ mp|xπpqx, yy|2 q “ 0 for every x, y P H.
We will need the following characterization of weakly mixing representations.
Proposition 3.1. — Let π be a unitary representation of G on a Hilbert space H. The
following assertions are equivalent:
(1) π is weakly mixing;
(2) π admits no finite dimensional subrepresentation;
(3) π b π has no non-zero G-invariant vector.
Here π is the conjugate representation of π. The representation π b π is equivalent to
a representation of G on the space HSpHq of Hilbert-Schmidt operators on H, which is
often more convenient to work with. Recall that HSpHq is a Hilbert space when endowed
with the scalar product defined by the formula xA, By “ trpB ˚Aq for every A, B P HSpHq.
The space H b H, where H is the conjugate of H, is identified to HSpHq by associating
to each elementary tensor product x b y of H b H the rank-one operator x  , yy x on H.
/ HSpHq extends into a unitary isomorphism, and we have for
This map Θ : H b H
every g P G and every T P HSpHq
Θ π b πpgq Θ´1 pT q “ πpgq T πpg ´1 q.

We will, when needed, identify π b π with this equivalent representation, and use it in
particular in Section 3.3 to obtain a concrete description of the space Eπbπ of G-invariant
vectors for π b π, which is identified to the subspace of HSpHq
Eπ “ tT P HSpHq ; πpgq T “ T πpgq for every g P Gu¨

3.2. Compact unitary representations. — A companion to the property of weak
mixing for unitary representation is that of compactness: given a unitary representation
π of G on H a vector x P H is compact for π if the norm closure of the set tπpgqx ; g P Gu
is compact in H. The representation π itself is said to be compact if every vector of H
is compact for π. Compact representations decompose as direct sums of irreducible finite
dimensional representations. The general structural result for unitary representations is
given by the following result.
Proposition 3.2. — A unitary representation π of G on a Hilbert space H decomposes
as a direct sum of a weakly mixing representation and a compact representation:
K

H “ Hw ‘ Hc ,

CATALIN BADEA & SOPHIE GRIVAUX

8

where Hw and Hc are both G-invariant closed subspaces of H, πw “ π|Hw is weakly mixing
and πc “ π|Hc is compact. Hence π decomposes as a direct sum of a weakly mixing
representation and finite dimensional irreducible subrepresentations.
See [34, Ch. 1], [6, Appendix M], [8] or [12] (in the amenable case) for detailed proofs
of these results.
Now let π be a compact representation of G on a Hilbert space H, decomposed as
a direct sum of irreducible finite dimensional representations of G. We sort out these
representations by equivalence classes, and index the distinct equivalence classes by an
index j belonging to a set J, which may be finite or infinite (and which is countable if
H is separable). For every j P J, we index by i P Ij all the representations appearing
in the decomposition of π which are in the j-th equivalence class. More precisely, we can
decompose H and π as
˘
`
˘
`
and π “ ‘ ‘ πi, j
H “ ‘ ‘ Hi, j
j PJ i PIj

j PJ i PIj

respectively, where the following holds true:
– for every j P J, the spaces Hi, j , i P Ij , are equal. We denote by Kj this common
space, and by dj its dimension (which is finite). We also write
r j “ ‘ Hi, j ,
H
i PIj

so that

rj ;
H“ ‘ H
j PJ

– for every j P J, there exists an irreducible representation πj of G on Kj such that
πi, j is equivalent to πj for every i P Ij ;
– if j, j 1 belong to J and j ‰ j 1 , πj and πj 1 are not equivalent.
Without loss of generality, we will suppose that πi, j “ πj for every i P Ij . However, we
will keep the notation Hi, j for the various orthogonal copies of the space Kj which appear
in the decomposition of H, as discarding this notation may be misleading in some of the
proofs presented below.
Let A P BpHq. We write A in block-matrix form with respect to the decompositions
˘
`
rj
and H “ ‘ H
H “ ‘ ‘ Hi, j
as

j PJ

j PJ i PIj

˘
`
A “ Au, v k, l P J, u P I

k , v P Il

and

`
˘
rk, l
A“ A
k, l PJ

respectively¨

pjq

For every j P J and every u, v P Ij , we denote by iu, v the identity operator from Hu, j into
Hv, j .
3.3. A formula for the projection Pπ of HSpHq on Eπ .— We now give an explicit
formula for the projection Pπ A of a Hilbert-Schmidt operator A P HSpHq on the following
closed subspace of HSpHq:
Eπ “ tT P HSpHq ; πpgq T “ T πpgq for every g P Gu.

We also compute the norm of Pπ A.

Proposition
3.3.
˘ — Let π be a compact representation of G on H, written in the form
`
π “ ‘ ‘ πj as discussed in Section 3.2 above. For every operator A P HSpHq, we
j PJ i PIj

KAZHDAN SETS AND EQUIDISTRIBUTION PROPERTIES

have
Pπ A “

ÿ 1
d
j PJ j

ÿ

u, v P Ij

`
˘ pjq
tr Au, v iu,
v

||Pπ A||2 “

and

ÿ 1
d
j PJ j

9

ÿ ˇ `
ˇtr A

u, v

u, v PIj

The proof of Proposition 3.3 relies on the following straightforward lemma:

˘ˇ2
ˇ .

Lemma 3.4. — The space Eπ consists of the operators T P HSpHq such that
– for every k, l P J with k ‰ l, Trk, l “ 0;
– for every k P J and every u, v P Ik , there exists a complex number λu, v such that
`
pkq
pkq ˘
Tu, v “ λu, v iu, v . Thus Trk, k “ λu, v iu, v u, v PI .
k

Proof of Lemma 3.4. — Let T P Eπ . For every k, l P J, u P Ik and v P Il , πk pgq Tu, v “
Tu, v πl pgq for every g P G. Thus the operator Tu, v intertwines the two representations πk
and πl . If Tu, v is non-zero, it follows from Schur’s Lemma that Tu, v is an isomorphism.
The representations πk and πl are thus isomorphically (and hence unitarily) equivalent.
Since πk and πl are not equivalent for k ‰ l, it follows that Tu, v “ 0 in this case. If now
pkq
k “ l, Schur’s Lemma again implies that Tu, v “ λu, v iu, v for some scalar λu, v . Thus any
operator T P Eπ satisfies the two conditions of the lemma. The converse is obvious.
The proof of Proposition 3.3 is now easy.
Proof of Proposition 3.3. — Consider, for every j P J and u, v P Ij , the one-dimensional
pjq
pjq
subspace Eu, v of HSpHq spanned by the operator iu, v . These subspaces are pairwise
orthogonal in HSpHq, and by Lemma 3.4 we have
`
˘
pjq
‘ Eu,
Eπ “ ‘
v .
j PJ u, v PIj

Hence, for every A P HSpHq,
ÿ ÿ A
A,
Pπ A “
j PJ u, v PIj

pjq

iu, v
pjq
||iu, v ||HS

E

pjq

iu, v
pjq
||iu, v ||HS

which gives the two formulas we were looking for.

“

ÿ 1
dj
j PJ

ÿ

u, v PIj

`
˘ pjq
tr Au, v iu,
v,

˘
`
Corollary 3.5. — Let π “ ‘ ‘ πj be a compact representation of G on H. Let
j PJ i PIj
˘
˘
`
`
x “ ‘ ‘ xi, j and y “ ‘ ‘ yi, j be two vectors of H, and let A P HSpHq be the
j PJ i PIj

j PJ i PIj

rank-one operator x  , yy x. Then

Pπ A “

ÿ 1
dj
j PJ

ÿ

u, v PIj

pjq
xxu, j , yv, j y iu,
v.

˘
`
Proof. — For every j P J and u, v P Ij , Au, v “ x  , yv, j y xu, j , so that tr Au, v “
xxu, j , yv, j y. The result then follows from Proposition 3.3.

CATALIN BADEA & SOPHIE GRIVAUX

10

3.4. An abstract version of the Wiener Theorem.— As recalled in Section 3.1, Eπ
is the space of G-invariant vectors for the representation π b π on HSpHq, where for every
x, y P H, x b y is identified with the rank-one operator x  , yy x. For every pair px, yq of
vectors of H, denote by b x, y the element of K b K, with K “ ‘ Kj , defined by
bx, y “

ÿ

j PJ

¯
1 ´ÿ
a
xi, j b y i, j .
dj i PI

j PJ

j

It should be pointed out that for a fixed index j P J the vectors xi, j and yi, j are understood
in the formula above as belonging to the same space Kj (and not to the various orthogonal
spaces Hi, j ). So b x, y is a vector of K b K, not of H b H. Thus
ÿ 1 ÿ
xxu, j , xv, j y xyu, j , yv, j y.
||bb x, y ||2 “
d
j PJ j u, v PI
j

Combining Corollary 3.5 with the formula
`
˘
m |xπp  qx, yy|2 “ xPπb π x b x, y b y y “ xPπ x  , xyx, x  , yyyy
yields

˘
`
Corollary 3.6. — Let π “ ‘ ‘ πj be a compact representation of G on H. For
˘j PJ i PIj
˘
`
`
every vectors x “ ‘ ‘ xi, j and y “ ‘ ‘ yi, j of H, we have
j PJ i PIj

(3.1)

`
˘ ÿ 1
m |xπp  qx, yy|2 “
d
j PJ j

j PJ i PIj

ÿ

u, v PIj

xxu, j , xv, j y . xyu, j , yv, j y “ ||bb x, y ||2 .

We thus obtain the following abstract version of the Wiener Theorem for unitary representations of a group G:
Theorem 3.7. — Let π “ πw ‘ πc be a unitary representation of G on a Hilbert space
H “ Hw`‘ Hc , where
πw is the weakly mixing part of π and πc its compact part. Writing
˘
πc “ ‘ ‘ πj as above, we have for every vectors x “ xw ‘ xc and y “ yw ‘ yc of H
j PJ i PIj

`
˘
m |xπp  qx, yy|2 “ || b xc , yc ||2 .
`
˘
`
˘
Proof. — As we have mp|xπp  qx, yy|2 q “ m |xπw p  qxw , yw y|2 ` m |xπc p  qxc , yc y|2 and
mp|xπw p  qxw , yw y|2 q “ 0, this follows from Corollary 3.6.
`
˘
We finally derive an inequality on the quantities m |xπp  qx, yy|2 for a compact representation π, which is a direct consequence of Corollary 3.6. This inequality will be a
crucial tool for the proof of our main result, to be given in Section 4. Using the same
notation as in the statement of Corollary 3.6, we denote by x “ ‘j PJ x
rj and y “ ‘j PJ yrj
the respective decompositions of the vectors x and y of H with respect to the decompor j of H. Applying the Cauchy-Schwarz inequality twice to (3.1) yields
sition H “ ‘j PJ H
the following inequalities:

(3.2)

Corollary 3.8. — Let π be a compact representation of G on H. For every vectors x
and y of H, we have
ÿ
`
˘ ÿ 1
||r
xj ||2 . ||r
yj ||2 ď
||r
xj ||2 . ||r
yj ||2 .
m |xπp  qx, yy|2 ď
d
j
j PJ
j PJ

KAZHDAN SETS AND EQUIDISTRIBUTION PROPERTIES

11

3.5. Why is (3.2) an abstract version of the Wiener Theorem?— Theorem 3.7
admits a much simpler formulation in the case where G is an abelian group. If π is a
compact representation of G, the formula (3.1) becomes
`
˘ ÿ ÿ
m |xπp  qx, yy|2 “
xu, j xv, j y u, j yv, j
j PJ u, v P Ij

where xi, j and yi, j , i P Ij , j P J, are simply scalars. Using the notation of Corollary 3.8,
we have
ˇ2
ÿˇ
ˇ2
`
˘ ÿ ˇˇ ÿ
ˇ
ˇxr
(3.3)
m |xπp  qx, yy|2 “
xu, j y u, j ˇ “
xj , yrj yˇ .
ˇ
j PJ u P Ij

j PJ

For every character χ P Γ (where Γ denotes the dual group of G), we denote by Eχ the
subspace of H
Eχ “ tx P H ; πpgqx “ χpgqx for every g P Gu
and by Pχ the orthogonal projection of H on Eχ . Each representation πj , j P J, being
r j with Eχ . Equation
in fact a character χj on the group G, we can identify the space H
j
(3.3) then yields the following corollary:
Corollary 3.9. — Let G be an abelian group, and let π be a representation of G on a
Hilbert space H. Then we have for every x, y P H
ÿ ˇ
ˇ
ˇ
`
˘ ÿˇ
ˇxPEχ x, PEχ yyˇ2.
ˇxPEχ x, PEχ yyˇ2 “
m |xπp  qx, yy|2 “
j
j

In particular, if x “ y,

χPΓ

j PJ

ÿ ˇˇ
ˇˇ
`
˘
ˇˇPEχ xˇˇ4.
m |xπp  qx, xy|2 “
χPΓ

Specializing Corollary 3.9 to the case where G “ Z yields that for any unitary operator
U on H and any vectors x, y P H,
N ˇ
ÿ
ˇ
1
ˇxU n x, yyˇ2
2N ` 1 n“´N

/
N

/

`8

λPT

In particular, we have
(3.4)

N ˇ
ÿ
ˇ
1
ˇxU n x, xyˇ2
2N ` 1 n“´N

ÿ ˇ
ˇ
ˇxPkerpU ´λId q x, PkerpU ´λId q yyˇ2.
H
H

/
N

/

`8

ÿ ˇˇ
ˇˇ
ˇˇPkerpU ´λId q xˇˇ4.
H

λPT

If σ is a probability measure on the unit circle T, the operator Mσ of multiplication by
eiθ on L2 pT, σq is unitary. Applying (3.4) to U “ Mσ and to x “ 1, the constant function
equal to 1, we obtain Wiener’s Theorem:
(3.5)

N
ÿ
1
|σ
ppnq|2
2N ` 1 n“´N

/
N

/

`8

ÿ

σptλuq2 .

λPT

We refer the reader to [1, 2, 3, 9, 14] and the references therein for related aspects
and generalizations of Wiener’s theorem.
We now have all the necessary tools for the proof of Theorem 2.3, which we present in
the next section.

12

CATALIN BADEA & SOPHIE GRIVAUX

4. Proof of Theorem 2.3
4.1. Notation. — Let pWn qně1 be an increasing sequence of subsets of G satisfying the
assumptions of Theorem 2.3, and let Q be a subset of G. For each n ě 1, we denote by Qn
the set Qn “ Wn YQ. Remark that G is the increasing union of the sets Qn , n ě 1. We also
denote by ε0 a positive constant such that assumption (*) holds true: any representation
of G admitting a pQ, ε0 q-invariant vector has a finite dimensional subrepresentation.
In order to prove Theorem 2.3, we argue by contradiction, and suppose that Qn is a nonKazhdan set in G for every n ě 1. We will then construct for every ε ą 0 a representation
π of G which admits a pQ, εq-invariant vector, but is weakly mixing (which, by Proposition
3.1, is equivalent to the fact that π has no finite dimensional subrepresentation), and this
will contradict (*).
4.2. Construction of a sequence pπn qně1 of finite dimensional representations
of G. — The first step of the proof is to show that assumption (*) combined with the
hypothesis that Qn is a non-Kazhdan set for every n ě 1 implies the existence of sequences
of finite dimensional representations of G with certain properties.
Lemma 4.1. — Let ǫ0 be a positive constant such that assumption (*) holds true and
suppose that Qn is a non-Kazhdan set in G for every n ě 1. For every sequence pεn qně1
of positive real numbers decreasing to zero with ε1 P p0, ε0 s, there exist a sequence pHn qně1
of finite dimensional Hilbert spaces and a sequence pπn qně1 of unitary representations of
G such that, for every n ě 1, πn is a representation of G on Hn and
– πn has no non-zero G-invariant vector;
– πn has a pQn , εn q-invariant unit vector an P Hn : ||an || “ 1 and
sup || πn pgqan ´ an || ă εn .

g P Qn

Proof. — Let n ě 1. Since Qn is a not a Kazhdan set in G, there exists a representation
ρn of G on a Hilbert space Kn which has no non-zero G-invariant vector, but is such that
there exists a unit vector xn P Kn with
sup || ρn pgqxn ´ xn || ă 2´n .

g P Qn

Since 2´n ď ε0 for n large enough, assumption (*) implies that, for such integers n, ρn
has a finite dimensional subrepresentation. By Proposition 3.1, ρn is not weakly mixing.
This means that if we decompose Kn as Kn “ Kn, w ‘ Kn, c and ρn as ρn “ ρn, w ‘ ρn, c ,
where ρn,w and ρn,c are respectively the weakly mixing and compact parts of πn , ρn, c is
non-zero. Since ρn has no non-zero G-invariant vector, neither have ρn, w nor ρn, c .
Decomposing xn as xn “ xn, w ‘ xn, c , we have 1 “ ||xn, w ||2 ` ||xn, c ||2 . We claim that
lim nÑ`8 || xn, c || ą 0. Indeed, suppose that it is not the case. Then lim nÑ`8 ||xn, w || “ 1.
Since ||ρn pgqxn ´ xn ||2 “ ||ρn, w pgqxn, w ´ xn, w ||2 ` ||ρn, c pgqxn, c ´ xn, c ||2 for every g P G,
we have
ˇˇ
xn, w
xn, w ˇˇˇˇ
2´n
ˇˇ
sup ˇˇρn, w pgq
´
ˇˇ ă
||xn, w || ||xn, w ||
||xn, w ||
g P Qn

as soon as xn, w is non-zero. Since lim nÑ`8 ||xn, w || “ 1, this implies that for any δ ą 0
there exists an integer n such that ρn, w has a pQn , δq-invariant vector of norm 1. Applying
this to δ “ ε0 , there exists n0 ě 1 such that ρn0 , w has a pQn0 , ε0 q-invariant vector, hence a

KAZHDAN SETS AND EQUIDISTRIBUTION PROPERTIES

13

pQ, ε0 q-invariant vector. But ρn0 , w is weakly mixing, so has no finite dimensional subrepresentation. This contradicts assumption (*). So we deduce that lim nÑ`8 || xn, c || “ γ ą 0.
The same observation as above, applied to the representation ρn, c , shows that
ˇˇ
xn, c ˇˇˇˇ
xn, c
2´n
ˇˇ
sup ˇˇρn, c pgq
´
ˇˇ ă
||xn, c || ||xn, c ||
||xn, c ||
g P Qn
for every n such that xn, c is non-zero, and thus that

ˇˇ
xn, c
xn, c ˇˇˇˇ 2´pn´1q
ˇˇ
sup ˇˇρn, c pgq
´
ˇˇ ă
||xn, c || ||xn, c ||
γ
g P Qn

for infinitely many integers n. For these integers, ρn, c is a compact representation for which
yn “ xn, c {||xn, c || is a pQn , 2´pn´1q {γq-invariant vector of norm 1. It has no non-zero Ginvariant vector. Decomposing ρn, c as a direct sum of finite dimensional representations,
straightforward computations show that there exists for each such integer n a finite dimensional representation σn of G with a pQn , 2´pn´2q {γq-invariant vector but no non-zero
G-invariant vector. Lemma 4.1 follows immediately by taking a suitable subsequence of
pσn qně1 .
4.3. Construction of weakly mixing representations of G with pQ, εq-invariant
vectors. — Let ε ą 0 be an arbitrary positive number. Our aim is to show that there
exists a weakly mixing representation of G with a pQ, εq-invariant vector. We fix a sequence
pεn qně1 of positive numbers decreasing to zero so fast that the following properties hold:
ř
(i) 0 ă εn ă ε0 for every n ě 1, and ně1 εn ă ε2 {2;
ř2n 2
1
(ii) the sequence p pn`1qε
2
j“n εj qně1 tends to 0 as n tends to infinity.
n

We Â
consider the representation π “ bně1 πn of G on the infinite tensor product space
a
H “
ně1 Hn , where the spaces Hn , the representations πn and the vectors an are
associated to εn for each n ě 1 by Lemma 4.1. We refer to the appendix for undefined
notation concerning infinite tensor products. We first prove the following fact:
Fact 4.2. — Under the assumptions above, π is a strongly continuous representation of
G on H which has a pQ, εq-invariant vector.
Proof of Fact 4.2. — In order to prove that π is well-defined and strongly continuous, it
suffices to check that the assumptions of Proposition A.2 in the appendix hold true. For
every g P G and n ě 1, we have |1 ´ xπn pgqan , an y| ď ||πn pgqan ´ an || so that
sup |1 ´ xπn pgqan , an y| ă εn .

g P Qn

ř
By assumption (i), the series ně1 εn is convergent.
ř Since every element g P G belongs to
all the sets Qn except finitely many, the series ně1 |1 ´ xπn pgqan , an y| is convergent for
every g P G. Moreover, it is uniformly convergent on Q1 , and hence on W1 . The function
ÿ
/
|1 ´ xπn pgqan , an y|
g✤
ně1

is thus continuous on W1 , which is a neighborhood of e. It follows then from Proposition
A.2 that π is strongly continuous on H . If G is locally compact, Proposition A.1 and the
first part of the argument above suffice to show that π is strongly continuous, even when
W1 is not a neighborhood of e.

CATALIN BADEA & SOPHIE GRIVAUX

14

Âa
Next, it is easy to check that the elementary vector
ś a “ bně1 an of ně1 Hn satisfies
a|| “ 1 and supgPQ ||π
π pgqa
a ´ a || ă ε. Indeed ||a
a|| “ ně1 ||an || “ 1, and for every g P Q
||a
we have (using the fact that Q Ď Qn for every n ě 1)
ˇ
ˇ
ź
ˇ
ˇ
π pgqa
a ´ a ||2 “ 2 p1 ´ Rexπ
π pgqa
a , a yq ď 2 ˇ1 ´
||π
xπn pgqan , an yˇ
ď2

ÿ

ně1

ně1

|1 ´ xπn pgqan , an y| ă 2

ÿ

εn .

ně1

π pgqa
a ´ a ||2 ă ε2 , and a is
Assumption (i) on the sequence pεn qně1 implies that supg P Q ||π
thus a pQ, εq-invariant vector for π .
Using the notation of Section 3.2, we now decompose πn and Hn as
¯
´
¯
´
‘ Hi, j, n
and Hn “ ‘
‘ πj, n
πn “ ‘
j P Jn

i P Ij, n

j P Jn

i P Ij, n

respectively. Since Hn is finite dimensional, all the sets Jn and Ij, n , j P Jn , are finite,
and we assume that they are subsets
of N. For
˘ every j P Jn , Hi, j, n “ Kj, n . We also
`
aj, n “ ‘iPIj, n ai, j, n for every
decompose an P Hn as an “ ‘
‘ ai, j, n , and write r

j P Jn . We have
(4.1)

j PJn

¨

||r
aj, n || “ ˝

ÿ

i PIj, n

˛1

2

|| ai, j, n ||2 ‚

i PIj, n

and

||an || “

˜

ÿ

j PJn

2

||r
aj, n ||2

so that ||r
aj, n || ď 1 for every j P Jn . Also,
ÿ ÿ
(4.2)
||πj, n pgqai, j, n ´ ai, j, n ||2
||πn pgqan ´ an ||2 “
j PJn i PIj, n

so that
(4.3)

sup

´ ÿ

g P Qn i PI
j, n

||πj, n pgq ai, j, n ´ ai, j, n ||2

¯1{2

ă εn

¸1

“ 1,

for every g P G,

for every j P Jn .

There are now two cases to consider.
‚ Case 1. We have limnÑ`8 maxjPJn ||r
aj, n || “ 0.
ř
aj, n ||2 “ ||an ||2 “ 1, we obtain that
Using Corollary 3.8 and the fact that j PJn || r
ÿ
ÿ
mp |xπn p  qan , an y|2 q ď
aj, n ||2 .
|| r
aj, n ||4 ď max || r
aj, n ||2 .
|| r
aj, n ||2 ď max || r
j PJn

j PJn

j PJn

j PJn

It follows from our assumption that limnÑ`8 mp |xπn p  qan , an y|2 q “ 0. So π is weakly
mixing by Proposition A.3. We have thus proved in this case the existence of a weakly
mixing representation of G with a pQ, εq-invariant vector.
‚ Case 2. There exists δ ą 0 such that maxjPJn ||r
aj, n || ą δ for every n ě 1.

Let, for every n ě 1, jn P Jn be such that ||r
ajn , n || ą δ. Set In “ Ijn , n Ď N, σn “ πjn , n ,
Kn “ Kjn , n and bi, n “ ai, jn , n for every i P In . Then σn is a non-trivial irreducible

KAZHDAN SETS AND EQUIDISTRIBUTION PROPERTIES

15

representation of G on the finite dimensional space Kn , and by (4.1) and (4.3) the finite
family pbi, n qi PIn of vectors of Kn satisfies
´ÿ
¯1{2
´ÿ
¯1{2
(4.4)
1ě
||σn pgq bi, n ´ bi, n ||2
ă εn .
|| bi, n ||2
ą δ and sup
If we write

this means that
(4.5)

g P Qn i PI
n

i PIn

r n “ ‘ Kn ,
K
i PIn

1 ě ||rbn || ą δ

rbn “ ‘ bi, n ,
i PIn

and

and σ
rn “ ‘ σn ,
i PIn

sup ||r
σn pgqrbn ´ rbn || ă εn .

g P Qn

Now we again have to consider separately two cases.

– Case 2.a. There exists an infinite subset D of N such that whenever k and l are two
distinct elements of D, σk and σl are not equivalent. Replacing the sequence pσn qně1 by
pσn qnPD , we can suppose without loss of generality that for every distinct integers m and
n, with m, n ě 1, σm and σn are not equivalent.
Consider for every n ě 1 the representation
rn ‘ ¨ ¨ ¨ ‘ K
r 2n ,
ρn “ σ
rn ‘ ¨ ¨ ¨ ‘ σ
r2n of G on Hn “ K
1`
`ř2n
˘
˘
r 2 ´ 2 rbn ‘ ¨ ¨ ¨ ‘ rb2n of Hn , which satisfies ||bn || “ 1. For
and the vector bn “
k“n ||bk ||
every g P Qn we have, since Qn is contained in Qj for every j ě n,
2

||ρn pgqbn ´ bn || “

2n
`ÿ

k“n

||rbk ||2

2n ˇˇ
ˇˇ2
˘´1 ÿ
ˇˇσ
rj pgqrbj ´ r
bj ˇˇ ă
j“n

2n
ÿ
1
ε2
δ2 pn ` 1q j“n j

by (4.5). By assumption (ii) on the sequence pεn qně1 , we obtain that there exists an integer
n0 ě 1 such that supg P Qn ||ρn pgqbn ´ bn || ă εn for every n ě n0 . Let now ρ “ bněn0 ρn
Âa
be the infinite tensor product of the representations ρn on the space H “
něn0 Hn .
An argument similar to the one given in Fact 4.2 shows that ρ is a strongly continuous
representation of G on H which has a pQ, εq-invariant vector. It remains to prove that
ρ is weakly mixing, and for this we will show that mp|xρn p  qbn , bn y|2 q tends to zero as n
tends to infinity. Recall that for every n ě 1, the representations σn , . . . , σ2n are mutually
non-equivalent, so that, by Corollary 3.8, we have for every n ě 1
2n
2n
2n ˇˇ ÿ
ÿ
ÿ
˘ 1 ˇˇ4
1
1
ˇˇ`
2 ´ 2 r ˇˇ
2
r
||rbj ||4 ď 4
bj ˇˇ ď 4
||bk ||
mp|xρn p  qbn , bn y| q ď
ˇˇ
2
δ
pn
`
1q
δ
pn
` 1q
j“n
j“n k“n
by (4.5). So mp|xρn p  qbn , bn y|2 q tends to zero as n tends to infinity. By Proposition A.3,
ρ is weakly mixing. We have proved again in this case the existence of a weakly mixing
representation of G with a pQ, εq-invariant vector.

The other case we have to consider is when there exists an integer n1 ě 1 such that for
every n ě n1 , σn is equivalent to one of the representations σ1 , . . . , σn1 . Indeed, if there
is no such integer, we can construct a strictly increasing sequence pnk qkě1 of integers such
that, for every k ě 1, σnk is not equivalent to one of the representations σ1 , . . . , σnk´1 .
The set D “ tnk ; k ě 1u then has the property that whenever m and n are two distinct
elements of D, σm and σn are not equivalent, and we are back to the setting of Case 2.a.
Without loss of generality, we can suppose that σn is equal to σ1 for every n ě 1.

CATALIN BADEA & SOPHIE GRIVAUX

16

– Case 2.b. For every n ě 1, σn is equal to σ1 . By (4.4), we have
¯1{2
´ÿ
¯1{2
´ÿ
||σ1 pgqbi, n ´ bi, n ||2
ă εn ,
|| bi, n ||2
ą δ and sup
1ě
g P Qn i PI
n

i PIn

where all the vectors bi,n , i P In , belong to H1 . For each n ě 1, set cn “ ‘ bi, n , seen
i PIn

as a vector of the infinite direct sum H “ ‘ H1 by defining its j th coordinate to be zero
jě1

when j does not belong to In . Let also σ be the infinite direct sum σ “ ‘ σ1 of σ1 on
jě1

H. Then we have, for every n ě 1,
1 ě ||cn || ą δ

and

sup ||σpgqcn ´ cn || ă εn .

g P Qn

Let now S be a finite subset of G. There exists an integer nS ě 1 such that S Ď Qn for
every n ě nS , and hence
sup ||σpgqcn ´ cn || ă εn
g PS

for every n ě nS .

It follows that σ has almost-invariant vectors for finite sets: for every δ ą 0 and every
finite subset S of G, σ has an pS, δq-invariant vector. This implies that σ1 itself has
almost-invariant vectors for finite sets (see [34, Lem. 1.5.4] or [27]). Since σ1 is a finite
dimensional representation, it follows that σ1 has almost-invariant vectors. If pvn qně1 is a
sequence of unit vectors of H1 such that
sup ||σpgqvn ´ vn || ă 2´n

g PG

for every n ě 1,

then any accumulation point of pvn qně1 is a non-zero G-invariant vector for σ1 . This
contradicts our initial assumption on σ1 , and shows that the hypothesis of Case 2.b cannot
be fulfilled.
Summing up our different cases, we have thus proved that there exists for every ε ą 0 a
representation of G with a pQ, εq-invariant vector but no finite dimensional subrepresentation. This contradicts assumption (*) of Theorem 2.3, and concludes the proof.
5. Some consequences of Theorem 2.3
We begin this section by proving the two characterizations of Kazhdan sets obtained as
consequences of Theorem 2.3.
5.1. Proofs of Corollary 2.4 and Theorem 2.5. — Let us first prove Corollary 2.4.
Proof of Corollary 2.4. — Let Q0 be a subset of G which has non-empty interior and
which generates G. Denote for each n ě 1 by Q0˘n the set tg1˘1 . . . gn˘1 ; g1 , . . . , gn P Q0 u.
Ť
Then G “ ně1 Q0˘n . Let g0 be an element of the interior of Q0 . Then g0´1 Q0 is a
˘pn `1q

neighborhood of e. There exists n0 ě 1 such that g0´1 belongs to Q0˘n0 , and thus Q0 0
˘pn `nq
is a neighborhood of e. If we set Wn “ Q0 0
for n ě 1, the sequence of sets pWn qně1 is
increasing, W1 is a neighborhood of e, and pWn qně1 satisfies the assumptions of Theorem
2.3. So if Q is a subset of G for which assumption (*) of Theorem 2.3 holds true, there
˘pn`n0 q
exists n ě 1 such that Q0
Y Q is a Kazhdan set in G. Let ε ą 0 be a Kazhdan
constant for this set. Then ε{pn ` n0 q is a Kazhdan constant for Q0 Y Q, and Q0 Y Q

KAZHDAN SETS AND EQUIDISTRIBUTION PROPERTIES

17

is a Kazhdan set in G. If G is locally compact, the same proof holds true without the
assumption that Q0 has non-empty interior.
Proof of Theorem 2.5. — Let ?
us first show that (a) implies (b). Suppose
a that Q is a
Kazhdan set, and let 0 ă ε ă 2 be a Kazhdan constant for Q. Let δ “ 1 ´ ε2 {2 and
consider a representation π of G on a Hilbert space H for which there is a vector x P H
with ||x|| “ 1 such that inf gPQ |xπpgqx, xy| ą δ. Then the representation π b π of G on
H b H verifies
2Rexπ b πpgqx b x, x b xy “ 2|xπpgqx, xy|2 ą 2 ´ ε2

for every g P Q. Hence }π b πpgqx b x ´ x b x} ă ε for every g P Q and π b π has a nonzero G-invariant vector. It follows from Proposition 3.1 that π has a finite dimensional
subrepresentation. Thus pbq is true. That (b) implies (c) is straightforward, and that (c)
implies (a) is a consequence of Corollary 2.4.
5.2. Property (T) in σ-compact locally compact groups. — As a consequence of
Theorem 2.3, we retrieve a characterization of Property (T) due to Bekka and Valette [5],
[6, Th. 2.12.9], valid for σ-compact locally compact groups, which states the following:
Theorem 5.1 ([5]). — Let G be a σ-compact locally compact group. Then G has Property
(T) if and only if every unitary representation of G with almost-invariant vectors has a
non-trivial finite dimensional subrepresentation.
The proof of [5] relies on the equivalence between Property (T) and Property (FH) for
such groups [6, Th. 2.12.4]. As a direct consequence of Theorem 2.3, we will derive a new
proof of Theorem 5.1 which does not involve property (FH).
If Q is a subset of a topological group G, and if π is a unitary representation of G on
a Hilbert space H, we say that π has Q-almost-invariant vectors if it has pQ, εq-invariant
vectors for every ε ą 0. The same argument as in [6, Prop. 1.2.1] shows that Q is a
Kazhdan set in G if and only if every representation of G with Q-almost-invariant vectors
has a non-zero G-invariant vector. As a direct corollary of Theorem 2.5, we obtain the
following characterization of Kazhdan sets which generate the group:
Corollary 5.2. — Let Q be a subset of a locally compact group G which generates G.
Then Q is a Kazhdan set in G if and only if every representation π of G with Q-almostinvariant vectors has a non-trivial finite dimensional subrepresentation.
Proof of Corollary 5.2. — The only thing to prove is that if every representation π of G
with Q-almost-invariant vectors has a non-trivial finite dimensional representation, Q is a
Kazhdan set. For this it suffices to show the existence of an ε ą 0 such that assumption
(*) of Theorem 2.3 holds true. The argument is exactly the same as the one given in [6,
Prop. 1.2.1]: suppose that there is no such ε, and let, for every ε ą 0, πε be a representation
of GÀ
with a pQ, εq-invariant vector but no finite dimensional subrepresentation. Then
π “ εą0 πε has Q-almost-invariant vectors but no finite dimensional subrepresentation
(this follows immediately from [6, Prop. A.1.8]), contradicting our initial assumption.

Proof of Theorem 5.1. — It is clear that Property (T) implies that every representation
of G with almost-invariant vectors has a non-trivial finite dimensional subrepresentation.
Conversely, suppose that every representation of G with almost-invariant vectors has a
non-trivial finite dimensional subrepresentation. Using the same argument as in the proof
of Corollary 5.2, we see that there exists a compact subset Q of G such that assumption

CATALIN BADEA & SOPHIE GRIVAUX

18

(*) of Theorem 2.3 holds
Ť true. Choosing for pWn qně1 an increasing sequence of compact
subsets of G such that ně1 Wn “ G, Theorem 2.3 implies that there exists an n ě 1 such
that Wn Y Q is a Kazhdan set in G. Since Wn Y Q is compact, G has Property (T).
5.3. Equidistribution assumptions: proofs of Theorems 2.2 and 2.1. — Let G
be a second countable locally compact group, and let π be a unitary representation of G on
a separable Hilbert space H. Such a representation can be decomposed as a direct integral
of irreducible unitary representations over a Borel space (see for instance [6, Sec. F.5] or
[15]). More precisely, there exists a finite positive measure µ on a standard Borel space Z,
a measurable field z ÞÑ Hz of Hilbert spaces over Z, and a measurable field of irreducible
representations z ÞÑ πz , where each πz is a representation
of G on H
żz , such that π is
ż
unitarily equivalent to the direct integral πµ “

‘

Z

πz dµpzq on H “

‘

Hz dµpzq. The

Z

Hilbert space H is the set of equivalence classes of square integrable vector fields z ÞÑ xz ,
with xz P Hz , with respect to the measure µ; πµ is the representation of G on H defined
by πµ pgqx “ rz ÞÑ πz pgqxz s for every g P G and x P H .
Proof of Theorem 2.1. — Our aim is to show that, under the hypothesis of Theorem 2.1,
assumption (*) of Theorem 2.3 is satisfied. Let π be a representation of G on a Hilbert
space H. Since G is second countable, we can suppose that H is separable. Suppose that
π admits a pQ, 1{2q-invariant vector x P H and, using the notation and the result recalled
above, write
ż‘
ż‘
/ xz s, and H “
Hz dµpzq.
πz dµpzq, x “ r z ✤
π“
Z

Z

We have for every k ě 1

Re xπpgk qx, xy “ Re

ż

Z

xπz pgk qxz , xz y dµpzq “ 1 ´

1
7
||πpgk qx ´ x||2 ą
2
8

so that
(5.1)

Re

ż

Z

N
1 ÿ
7
xπz pgk qxz , xz y dµpzq ą
N k“1
8

for every N ě 1.

Now, assumption (2.2) of Theorem 2.1 states that there exists a countable set C0 of equivalence classes of irreducible representations such that
(5.2)

N
1 ÿ
xπpgk qx, xy ÝÑ 0
N k“1

as N ÝÑ `8

for every irreducible representation π whose equivalence class rπs does not belong to C0
and every vector x in the underlying Hilbert space. It follows from (5.2) that the set
Z0 “ tz P Z ; rπz s P C0 u satisfies µpZ0 q ą 0, and there exists rπ0 s P C0 such that
µptz P Z ; πz and π0 are equivalentuq ą 0. Hence π0 is a subrepresentation of π. Since all
irreducible representations of G are supposed to be finite dimensional, π has a finite dimensional subrepresentation. So assumption (*) of Theorem 2.3 is satisfied. As Q generates
G, it now follows from Theorem 2.5 that Q is a Kazhdan set in G.
Proof of Theorem 2.2. — The proof of Theorem 2.2 is exactly the same as that of Theorem
2.1, using the fact that if G is a locally compact abelian group (not necessarily second

KAZHDAN SETS AND EQUIDISTRIBUTION PROPERTIES

19

countable), any unitary representation of G is equivalent to a direct integral of irreducible
representations (see for instance [15, Th. 7.36]).
6. Examples and applications
We present in this section some examples of Kazhdan sets in different kinds of groups,
some statements being obtained as consequences of Theorems 2.3 or 2.5. We do not try to
be exhaustive, and our aim here is rather to highlight some interesting phenomena which
appear when looking for Kazhdan sets, as well as the connections of these phenomena
with some remarkable properties of the group. We begin with the simplest case, that of
locally compact abelian (LCA) groups.
6.1. Kazhdan sets in locally compact abelian groups. — Let G be a second countable LCA group, the dual group of which we denote by Γ. If σ is a finite Borel measure
on Γ, recall that its Fourier-Stieljes transform is defined by
ż
σ
ppgq “ γpgq dσpγq for every g P G.
Γ

It is an easy consequence of the spectral theorem for unitary representations that if Q is
a subset of a second countable LCA group G, Q is a Kazhdan set in G if and only if there
exists ε ą 0 such that any probability measure σ on Γ with supgPQ |p
σ pgq ´ 1| ă ε satisfies
σpt1uq ą 0, where 1 denotes the trivial character on G. Using Theorem 2.5 combined with
the spectral theorem for unitary representations again, we obtain the following stronger
characterization of Kazhdan sets which generate the group in any second countable LCA
group.
Theorem 6.1. — Let G be a second countable LCA group, and let Q a subset of G which
generates G. The following assertions are equivalent:
(1) Q is a Kazhdan set in G;
(2) there exists δ P p0, 1q such that any probability measure σ on Γ with inf gPQ |p
σ pgq| ą δ
has a discrete part;
(3) there exists ε ą 0 such that any probability measure σ on Γ with supgPQ |p
σ pgq ´ 1| ă ε
has a discrete part.

Theorem 6.1 becomes particularly meaningful in the case of the group Z, as it yields a
characterization of Kazhdan subsets of Z involving some classic sets in harmonic analysis,
introduced by Kaufman in [24]. They are called w-sets by Kaufman [25], and Kaufman
sets (Ka sets) by other authors, such as Hartman [20], [21].
Definition 6.2. — Let Q be a subset of Z, and let δ P p0, 1q.
‚ We say that Q belongs to the class Ka if there exists a finite complex-valued continuous Borel measure µ on T such that inf nPQ |µ̂pnq| ą 0, and to the class δ-Ka if there
exists a finite complex-valued continuous Borel measure µ on T with µpTq “ 1 such that
inf nPQ |µ̂pnq| ą δ.
‚ We say that Q belongs to the class Ka` if there exists a continuous probability
measure σ on T such that inf nPQ |σ̂pnq| ą 0, and to the class δ-Ka` if there exists a
continuous probability measure σ on T such that inf nPQ |σ̂pnq| ą δ.
Our characterization of Kazhdan subsets of Z is given by Theorem 6.3 below:

CATALIN BADEA & SOPHIE GRIVAUX

20

Theorem 6.3. — Let Q a subset of Z which generates Z. Then Q is a Kazhdan set in Z
if and only if there exists a δ P p0, 1q such that Q does not belong to δ-Ka` .
It is interesting to remark [21] that a set Q belongs to Ka if and only if it belongs to
δ-Ka for every δ P p0, 1q. There is no similar statement for the class Ka` : any sufficiently
lacunary subset of Z, such as Q “ t3k ` k ; k ě 1u, is easily seen to belong to Ka` (it
suffices to consider an associated Riesz product – see for instance [22] for details); but the
same reasoning as in Example 6.4 below shows that this set Q is a Kazhdan subset of Z.
Thus there exists by Theorem 6.3 a δ P p0, 1q such that Q does not belong to δ-Ka` .
We present now some typical examples of Kazhdan sets in Z or R obtained using the
above characterizations. The first one provides a negative answer to Question 1.5 (a).
Example 6.4. — The set Q “ t2k ` k ; k ě 0u is a Kazhdan set in Z and there are irrational numbers θ such that pe2iπnθ qnPQ is not dense in T. In particular, no rearrangement
pmk qk ě1 of the elements of Q exists such that pe2iπmk θ qk ě1 is equidistributed in T for
every irrational number θ.
Proof. — The sequence pnk qkě0 defined by nk “ 2k ` k for every k ě 0 satisfies the
relation 2nk “ nk`1 ` k ´ 1 for every k ě 0. Let σ be a probability measure on T such
that supkě0 |p
σ pnk q ´ 1| ă 1{18. Since, by the Cauchy-Schwarz inequality,
ż
?
σ pkq ´ 1|1{2 for every k P Z,
|p
σ pkq ´ 1| ď |λk ´ 1|dσpλq ď 2 |p
T

we have

ż

ż

|p
σ pk ´ 1q ´ 1| ď 2 |λ ´ 1|dσpλq ` |λnk`1 ´ 1|dσpλq
?T
?T
1{2
σ pnk q ´ 1| ` 2 |p
σ pnk`1 q ´ 1|1{2
ď 2 2 |p
nk

for all k ě 1, so that supkě0 |p
σ pkq ´ 1| ă 1. Since
ż ´ ÿ
N
N
¯
1 ÿ
1
/ σpt1uq as N
σ
ppkq “
λk dσpλq
N k“1
T N k“1

/ ` 8,

we have σpt1uq ą 0. So Q “ tnk ; k ě 0u is a Kazhdan set in Z. But pnk qkě0 being
lacunary, it follows from a result proved independently by Pollington [35] and De Mathan
[30] that there exists a subset A of r0, 1s of Hausdorff measure 1 such that for every θ in
A, the set Qθ “ tnk θ ; k ě 0u is not dense modulo 1. One of these numbers θ is irrational,
and the conclusion follows.
Example 6.5. — The set Q1 “ t2k ; k ě 0u is not a Kazhdan set in Z.

Proof. — The fact that Q1 is not a Kazhdan set in Z relies on the observation that 2k
divides 2k`1 for every k ě 0. Using the same construction as the one of [13, Prop. 3.9],
we consider for any fixed ε ą 0 a decreasing
sequence paj qjě1 of positive real numbers
ř
with a1 ă ε{p2πq such that the series jě1 aj is divergent. Then the infinite convolution
of two-points Dirac measures
`
˘
σ “ ˚ p1 ´ aj qδt1u ` aj δteiπ2´j`1 u
jě1

KAZHDAN SETS AND EQUIDISTRIBUTION PROPERTIES

21

is a well-defined
probability measure on T, which is continuous by the assumption that
ř
the series jě1 aj diverges. For every k ě 0,
ź `
ź`
k´j`1 ˘
k´j`1 ˘
1 ´ aj ` aj eiπ2
“
σ
pp2k q “
1 ´ aj p1 ´ eiπ2
q .
jě1

jěk`1

iπ2k´j`1

q| ď 1, it follows that
ÿ
ÿ
k´j`1
|p
σ p2k q ´ 1| ď
aj |1 ´ eiπ2
| ď π ak`1 2k`1
2´j “ 2πak`1 ă ε

As |1 ´ aj p1 ´ e

jěk`1

for every k ě 0. This proves that

jěk`1

Q1

is not a Kazhdan set in Z.

Example 6.6. — If p is a non-constant polynomial with integer coefficients such that
ppZq is included in aZ for no integer a with |a| ě 2, then Q “ tppkq ; k ě 0u is a Kazhdan
set in Z.
Proof. — Our assumption that ppZq is included in aZ for no integer a with |a| ě 2 implies
that Q generates Z. Since the sequence pλppkq qkě0 is uniformly distributed in T for every
λ “ e2iπθ with θ irrational (see for instance [28, Th. 3.2]), Theorem 2.1 implies that Q is
a Kazhdan set in Z.
Example 6.7. — Let p be a non-constant real polynomial, and let Q “ tppkq ; k ě 0u.
Then p´δ, δq Y Q is a Kazhdan subset of R for any δ ą 0.
ř
Proof. — Write p as ppxq “ dj“0 aj xj , d ě 1, and let r P t1, . . . , du be such that ar ‰ 0. It
is well-known (see for instance [28, Th. 3.2]) that the sequence pe2iπtppkq qkPZ is uniformly
distributed in T as soon as tar is irrational. This condition excludes only countably many
values of t. Set now Wn “ p´n, nq for every integer n ě 1. Thanks to Theorem 2.3, we
obtain that there exists n ě 1 such that p´n, nq Y Q is a Kazhdan set in R. Let ε ą 0
be a Kazhdan constant for this set. Fix δ ą 0. In order to prove that p´δ, δq Y Q is a
Kazhdan set in R, we consider a positive number γ, which
ˇ will be
ˇ fixed later on, and let
pptq ´ 1ˇ ă γ. For any a P N and
σ be a probability measure on R such that suptPp´δ,δqYQ ˇσ
any t P p´δ, δq,
ż
ż
ˇ
ˇ
ˇ2
ˇ2
pptqq
2p1 ´ Re σ
ppatqq “ ˇeiatx ´ 1ˇ dσpxq ď a2 ˇeitx ´ 1ˇ dσpxq ď 2a2 Re p1 ´ σ
R

R

so that suptPpδ,δq p1 ´ Re σ
ppatqq ă a2 γ. If we choose a ą n{δ and γ ă minpε, ε2 {p2a2 qq, we
ˇ
ˇ
pptqˇ ă ε, and since ε is a Kazhdan constant for p´n, nq Y Q,
obtain that suptPp´n,nqYQ ˇ1 ´ σ
σpt0uq ą 0. Hence γ is a Kazhdan constant for p´δ, δq Y Q.

Remark 6.8. — It is necessary to add a small interval to the set Q in order to turn
it into a Kazhdan subset of R, even?when Q generates a dense
subgroup of R. Indeed,
?
consider the polynomial ppxq “ x ` 2. The set Q “? tk ` 2 ; k ě 0u is not a Kazhdan
set in R: for any ε ą 0, let b P N be such that |e2iπb 2 ´ 1|?ă ε. The measure σ defined
as the Dirac mass at the point 2πb satisfies supkě0 |p
σ pk ` 2q ´ 1| ă ε, so that Q is not
a Kazhdan set in R.

We finish this section by exhibiting a link between Kazhdan subsets of Zd and Kazhdan
subsets of Rd , d ě 1. Let Q be a subset of Zd . Seen as a subset of Rd , Q is never a
Kazhdan set. But as a consequence of Theorem 2.3, we see that Q becomes a Kazhdan
set in Rd if we add a small perturbation to it.

CATALIN BADEA & SOPHIE GRIVAUX

22

Proposition 6.9. — Fix
Ť an integer d ě 1, and let pWn qně1 be an increasing sequence of
subsets of Rd such that ně1 Wn “ Rd . Let Q be a Kazhdan subset of Zd . There exists an
n ě 1 such that Wn Y Q is a Kazhdan set in Rd . Also, Bp0, δq Y Q is a Kazhdan subset of
Rd for any δ ą 0, where Bp0, δq denotes the open unit ball of radius δ for the Euclidean
norm on Rd .
Proof. — Let ε ą 0 be a Kazhdan constant for Q, seen as a subset of Zd . Let π be a
representation of Rd on a separable Hilbert space H which admits a pQ, ε2 {2q-invariant
vector x P H. Without loss of generality we can suppose that π is a direct integral on a
Borel space Z, with respect to a finite measure µ on Z, of a family pπz qzPZ of irreducible
representations of Rd . So π is a representation of Rd on L2 pZ, µq. We write elements f of
L2 pZ, µq as f “ pfz qzPZ . We suppose that ||x|| “ 1; our hypothesis implies that
ˇ
ˇ ε2
sup ˇ1 ´ xπpttqx, xyˇ ă ¨
2
t PQ
Each representation πz acts on vectors t “ pt1 , . . . , td q of Rd as πz pttq “ expp2iπxtt, θ z yq for
some vector θ z “ pθ1,z , . . . , θd,z q of Rd . Hence
ż
ˇ ε2
ˇ
ˇ
ˇ
e2iπxtt,θθ z y |xz |2 dµpzqˇ ă ¨
sup ˇ1 ´
2
t PQ
Z

nq f : z ✤
Consider now the representation ρ of Zd on L2 pZ, µq defined by ρpn
d
2
for every n “ pn1 , . . . , nd q P Z and every f P L pZ, µq. We have
ˇ
ˇ
nqx ´ x||2 ď 2 supˇ1 ´ xρpn
nqx, xyˇ ă ε2 ,
sup ||ρpn
n PQ

n ,θθ z y
/ e2iπxn
fz

n PQ

and since ε is a Kazhdan constant for Q as a subset of Zd , ρ has a non-zero Zd -invariant
nqf “ f for every
vector. There exists hence f P L2 pZ, µq with ||f || “ 1 such that ρpn
n P Zd . Fix a representative of f P L2 pZ, µq, and set Z0 “ tz P Z ; fz ‰ 0u. Then
µpZ0 q ą 0. For every z P Z0 we have e2iπxnn,θθ z y “ 1 for every n P Zd , which implies that
θ z P Zd . For each n “ pn1 , . . . , nd q P Zd , let Z n “ tz P Z0 ; θŤ
i,z “ ni for each i P t1, . . . , nuu
and H n “ tf P L2 pZ, µq ; f “ 0 µ-a. e. on ZzZ n u. We have n PZd Z n “ Z0 , so there exists
n 0 P Zd such that µpZ n 0 q ą 0. Each subspace H n is easily seen to be invariant for π, and
ny
/ e2iπxtt ,n
fz for
the representation π n induced by π on H n is given by π n pttq f : z ✤
d
every t P R and every f P H n . So π admits a subrepresentation of dimension 1 as soon as
H n is non-zero, i. e. as soon as µpZ n q ą 0. Since µpZ n 0 q ą 0, π admit a subrepresentation
of dimension 1. An application of Theorem 2.5 now shows that Wn Y Q is a Kazhdan
set in Rd for some n ě 1. If we choose Wn “ Bp0, nq for every n ě 1, and proceed as in
the proof of Example 6.7, we obtain that Bp0, δq Y Q is a Kazhdan set in Rd for every
δ ą 0.
We now move out of the commutative setting, and present a characterization of Kazhdan
sets in the Heisenberg groups Hn .
6.2. Kazhdan sets in the Heisenberg groups Hn . — The Heisenberg group of
dimension n ě 1, denoted by Hn , is formed of triples pt, q , p q of R ˆ Rn ˆ Rn “ R2n`1 .
The group operation is given by
1
pt1 , q 1 , p 1 q ¨ pt2 , q 2 , p 2 q “ pt1 ` t2 ` ppp1 ¨ q 2 ´ p 2 ¨ q 1 q, q 1 ` q 2 , p 1 ` p 2 q,
2

KAZHDAN SETS AND EQUIDISTRIBUTION PROPERTIES

23

where p ¨qq denotes the scalar product of two vectors p and q of Rn . Irreducible unitary representations of Hn are completely classified (see for instance [36, Ch. 2], or [15, Cor. 6.51]):
there are two distinct families of such representations, which we denote respectively by
pF1 q and pF2 q:
– the representations belonging to the family pF1 q are representations of Hn on L2 pRn q.
They are parametrized by an element of R, which we write as ˘λ with λ ą 0. Then
π˘λ pt, q , p q, pt, q , p q P R2n`1 , acts on L2 pRn q as
?
?
/ eip˘λt˘ λqq ¨xx` λ2 q ¨ppq upx
x ` λ pq
π˘λ pt, q , p q u : x ✤
where u belongs to L2 pRn q. These representations have the following important property,
which will appear again in the next subsection:
Fact 6.10. — For every ˘λ P R and every u, v P L2 pRn q,
xπ˘λ pt, q , p q u, vy

/0

as

|pp|

/ `8.

Proof. — This follows directly from the dominated convergence theorem if u and v have
compact support in Rn . It then suffices to approximate u and v by functions with compact
support to get the result.
– the representations belonging to the family pF2 q are one-dimensional. They are
parametrized by elements pyy , η q of R2n : for every pt, q , p q P Hn ,
π y ,ηη pt, q , p q “ eipyy ¨qq `ηη ¨ppq .

We denote by πn the projection pt, q , p q ÞÝÑ pqq , p q of Hn onto R2n . Our main result
concerning Kazhdan sets in Hn is the following:
Theorem 6.11. — Let Q be a subset of the Heisenberg group Hn , n ě 1. The following
assertions are equivalent:
(1) Q is a Kazhdan set in Hn ;
(2) πn pQq is a Kazhdan set in R2n .
Proof. — We set Q0 “ πn pQq. The proof of Theorem 6.11 relies on the same kind of ideas
as those employed in the proof of Proposition 6.9. We start with the easy implication,
which is that p1q implies p2q. Suppose that Q is a Kazhdan set in Hn , and let ε ą 0 be a
Kazhdan constant for Q. Let σ be a probability measure on R2n such that
ˇ ε2
ˇż
ˇ
ˇ
ˇ
ˇ
ˇ
ˇ
eipyy ¨qq `ηη ¨ppq dσpyy , η q ´ 1ˇ ă
ppqq , p q ´ 1 “ sup ˇ
(6.1)
sup σ
2
2n
pqPQ0 R
pqPQ0
pqq ,p
pqq ,p
and consider the representation ρ of Hn on L2 pR2n , σq defined by
ρpt, q , p qf : pyy , η q ✤

/ eipyy ¨qq `ηη ¨ppq f py
y, η q

for every pt, q , pq P Hn and every f P L2 pR2n , σq. Then (6.1) implies that the constant
function 1 is a pQ, εq-invariant vector for ρ. Since pQ, εq is a Kazhdan pair in Hn , it follows
that ρ admits a non-zero Hn -invariant function f P L2 pR2n , σq. Fix a representative of
f , and consider the subset A of R2n consisting of pairs pyy , η q such that f pyy , η q ‰ 0.
Then σpAq ą 0, and for every pqq , p q P R2n , σ-almost every element pyy , η q of A satisfies
y ¨ q ` η ¨ p P 2πZ. Hence σ-almost every element pyy , η q of A has the property that
y ¨ q ` η ¨ p P 2πZ for every pqq , p q P Q2n . By continuity, σ-almost every element pyy , η q
of A has the property that y ¨ q ` η ¨ p belongs to 2πZ for every pqq , p q P R2n , so that

CATALIN BADEA & SOPHIE GRIVAUX

24

pyy , η q “ p00, 0 q. We have thus proved that σpt00, 0 uq ą 0, and it follows that Q0 is a
Kazhdan set in R2n .
Let us now prove the converse implication. Suppose that Q0 is a Kazhdan set in R2n ,
and let 0 ă ε ă 3 be a Kazhdan constant for Q0 . Let π be a unitary representation of Hn
on a separable Hilbert space H, which admits a pQ, 8ε q-invariant vector x P H of norm 1.
ş‘
We write as usual π as a direct integral π “ Z πz dµpzq,
µ is a finite Borel measure
ş where
2
on a standard Borel space Z, and x as pxz qzPZ , with Z ||xz || dµpzq “ 1. We have
ż
ˇ ε
ˇ
ˇ
ˇ
xπz pt, q , p qxz , xz ydµpzqˇ ă ¨
(6.2)
sup ˇ1 ´
8
q
p
Z
pt,q ,p qPQ

For every z P Z, the irreducible representation πz belongs to one of the two families pF1 q
and pF2 q. If πz belongs to pF1 q, we write it as π˘λz for some ˘λz P R, and if π belongs to
pF2 q, as π y z ,ηη z for some pyy z , η z q P R2n . Let, for i “ 1, 2, Zi be the subset of Z consisting
of the elements z P Z such that πz belongs to pFi q. We have xz P L2 pRn q for every z P Z1 ,
and xz P C for every x P Z2 . We now observe the following:

Lemma 6.12. — A Kazhdan subset of R2n contains elements pqq , p q such that the Euclidean norm |pp| of p is arbitrarily large.

Proof. — Let Q1 be a Kazhdan subset of R2n , with Kazhdan constant ε ą 0, and suppose
that there exists a constant M ą 0 such that |pp| ď M for every pqq , p q P Q1 . Let δ ą 0 be
such that 2M δ ă ε and consider the probability measure on R2n defined by
dpp
σ “ δ0 ˆ 1Bp00 ,δq
¨
|Bp00, δq|
For every pqq , p q P Q1 ,
ˇ
ˇż
dss
ˇ
ˇ
p
iss ¨p
´ 1ˇ ď 2δ|pp | ď 2M δ ă ε.
e
|p
σ pqq , p q ´ 1| “ ˇ
0
|Bp0
,
δq|
0 ,δq
Bp0

But σptp00 , 0 quq “ 0, and it follows that Q1 is not a Kazhdan set in R2n , which is a
contradiction.
By Fact 6.10, we have for every x P Z1
xπ˘λz pt, q , p qxz , xz y

/0

as |pp|

/ `8 , pt, q , p q P Hn .

ş
Since |xπ˘λ pt, q , p qxz , xz y| ď ||xz ||2 for every z P Z1 , and Z ||xz ||2 dµpzq “ 1, the dominated convergence theorem implies that
ż
/ 0 as |p
p| / `8 , pt, q , p q P Hn .
xπ˘λz pt, q , p qxz , xz ydµpzq
Z1

By Lemma 6.12, there exists an element pt0 , q 0 , p 0 q of Q with |pp0 | so large that
ˇ ε
ˇż
ˇ
ˇ
q
p
xπ˘λz pt0 , 0 , 0 qxz , xz ydµpzqˇ ă ¨
ˇ
8
Z1

Property (6.2) implies then that
ż
ˇ ε
ˇ
ˇ
ˇ
2
q
p
π y z ,ηη z pt0 , 0 , 0 q|xz | dµpzqˇ ă
ˇ1 ´
4
Z2

KAZHDAN SETS AND EQUIDISTRIBUTION PROPERTIES

from which it follows that
this into (6.2) yields that

ż

ε
|xz |2 dµpzq ą 1 ´ , so that
4
Z2

sup
pqPQ
pt,qq ,p

ş

ż

Z1

||xz ||2 dµpzq ă

25

ε
. Plugging
4

ż
ˇ
ˇ
ˇ1 ´

ˇ 3ε
ˇ
π y z ,ηη z pt, q , p q|xz |2 dµpzqˇ ă ¨
8
Z2

Since Z2 |xz |2 dµpzq ą 1 ´ ε{4 and 0 ă ε ă 3, we can, by normalizing the family pxz qzPZ2 ,
ş
suppose without loss of generality that Z “ Z2 , Z |xz |2 dµpzq “ 1 and that
ż
ˇ
ˇ
ˇ
ˇ
(6.3)
sup ˇ1 ´
eipyy z ¨qq `ηη z ¨ppq |xz |2 dµpzqˇ ă ε.
pqPQ
pt,qq ,p

Z

Consider now the unitary representation ρ of R2n on L2 pZ, µq defined by
ρpqq , p q f : z ✤

/ eipyy z ¨qq `ηη z ¨ppq fz

for every pqq , p q P R2n and every f “ pfz qzPZ P L2 pZ, µq. Then (6.3) can be rewritten as
ˇ
ˇ
ˇ
ˇ
sup ˇ1 ´ xρpqq , p qx, xyˇ ă ε, i.e.
sup ˇ1 ´ xρpqq , p qx, xyˇ ă ε.
pqPQ
pt,qq ,p

pqPQ0
pqq ,p

Since ε is a Kazhdan constant for Q0 , the representation ρ admits a non-zero R2n -invariant
vector f P L2 pZ, µq. Proceeding as in the proof of p1q ùñ p2q, we see that for every
pqq , p q P R2n , eipyy z ¨qq `ηη z ¨ppq f pzq “ f pzq µ-almost everywhere on Z, so that there exists a
subset Z0 of Z with µpZ0 q ą 0 such that f does not vanish on Z0 and, for every z P Z0 ,
y z ¨ q ` η z ¨ p belongs to 2πZ for every pqq , pq P Q2n . By continuity, y z ¨ q ` η z ¨ p belongs
to 2πZ for every z P Z0 and every pqq , p q P R2n , so that pyy z , η z q “ p00, 0 q for every z P Z0 .
So if we set Z01 “ tz P Z ; pyy z , η z q “ p00, 0 qu, we have µpZ01 q ą 0. The function f “ 1Z01
is hence a non-zero element of L2 pZ, µq, which is clearly an Hn -invariant vector for the
representation π. So pQ, 8ε q is a Kazhdan pair in Hn , and Theorem 6.11 is proved.
6.3. Kazhdan sets in the group Aff` pRq. — The underlying space of the group
Aff` pRq of orientation-preserving affine homeomorphisms of R is p0, `8q ˆ R, and the
group law is given by pa, bqpa1 , b1 q “ paa1 , b ` ab1 q, where pa, bq and pa1 , b1 q belong to
p0, `8q ˆ R. As in the case of the Heisenberg groups, the irreducible unitary representations of Aff` pRq are completely classified (see [15, Sec. 6.7]) and fall within two classes:
– the class pF1 q consists of two infinite dimensional representations π` and π´ of
Aff` pRq, which act respectively on the Hilbert spaces L2 pp0, `8q, dsq and L2 pp´8, 0q, dsq.
They are both defined by the formula
?
/ a e2iπbs f pasq
π˘ pa, bqf : s ✤
where pa, bq P p0, `8q ˆ R, f P L2 pp0, `8q, dsq in the case of π` , and f P L2 pp´8, 0q, dsq
in the case of π´ . It is a direct consequence of the Riemann-Lebesgue lemma that the
analogue of Fact 6.10 holds true for the two representations π` and π´ of G:
Fact 6.13. — For every f1 , f2 P L2 pp0, `8q, dsq and every g1 , g2 P L2 pp´8, 0q, dsq, we
have
xπ` pa, bqf1 , f2 y

/0

and

xπ´ pa, bqg1 , g2 y

/0

as

|b|

/ `8.

CATALIN BADEA & SOPHIE GRIVAUX

26

– the representations of Aff` pRq belonging to the family pF2 q are one-dimensional. They
are parametrized by R, and πλ is defined for every λ P R by the formula
πλ pa, bq “ aiλ

for every pa, bq P p0, `8q ˆ R.

Proceeding as in the proof of Theorem 6.11, we characterize the Kazhdan subsets of the
group Aff` pRq in the following way:
Theorem 6.14. — Let Q be a subset of Aff` pRq. The following assertions are equivalent:
(1) Q is a Kazhdan set in Aff` pRq;
(2) the set Q0 “ tt P R ; D b P R pet , bq P Qu is a Kazhdan set in R.
Proof. — The proof is similar to that of Theorem 6.11, and we will not give it in full
detail here. Let us first sketch briefly a proof of the implication p1q ùñ p2q. Suppose that
Q is a Kazhdan set in Aff` pRq, and let ε ą 0 beˇ a Kazhdan
constant for Q. Consider
ˇ
pptq ´ 1ˇ ă ε2 {2. We associate to σ a
a probability measure σ on R such that suptPQ0 ˇσ
representation ρ of Aff` pRq on L2 pR, σq by setting, for every pa, bq P p0, `8q ˆ R and
/ eispln aq f psq. Since
every f P L2 pR, σq, ρpa, bqf : s ✤
ˇ
ˇż `
ˇ
ˇ
eispln aq ´ 1qdσpsqˇ for every pa, bq P p0, `8q ˆ R,
||ρpa, bq1 ´ 1||2 ď 2ˇ
R

we have suptpa,bq ; ln aPQ0 u ||ρpa, bq1 ´ 1|| ă ε, i. e. suppa,bqPQ ||ρpa, bq1 ´ 1|| ă ε. Hence ρ
admits a non-zero Aff` pRq-invariant function f P L2 pR, σq, and the same argument as in
the proof of Theorem 6.11 shows then that σpt0uq ą 0. The converse implication p2q ùñ
p1q is proved in exactly the same way as in Theorem 6.11, using the same modifications
as those outlined above. The group R2n has to be replaced by the multiplicative group
pp0, `8q, ˆq and the analogue of Lemma 6.12 is that Kazhdan subsets of this group contain
elements of arbitrarily large absolute value. If Q0 is a Kazhdan set in R, with Kazhdan
constant ε small enough, the same argument as in the proof of Theorem 6.11 (involving
the same notation) shows that it suffices to prove the following statement: let µ be a finite
Borel
measure on a Borel space Z, x “ pxz qzPZ a scalar-valued şfunction of L2 pZ, µq with
ş
‘
2
Z |xz | dµpzq “ 1, and π a representation of G of the form π “ Z πλz dµpzq with
ż
ˇ
ˇ
ˇ
ˇ
ˇ
ˇ
eipln aqλz |xz |2 dµpzqˇ ă ε.
sup ˇ1 ´ xπpa, bqx, xyˇ “
sup ˇ1 ´
pa,bqPQ

ta ; ln a P Q0 u

Z

Then the set Z0 “ tz P Z ; λz “ 0u satisfies µpZ0 q ą 0. The proof of this statement uses
the same argument as the one employed in the proof of Theorem 6.11. It involves the rep/ eipln aqλz fz
resentation ρ of the group pp0, `8q, ˆq on L2 pZ, µq defined by ρpaqf : z ✤
2
for every a ą 0 and every pfz qzPZ P L pZ, µq, and uses the obvious fact that since Q0 is a
Kazhdan set in R, ta ; ln a P Q0 u is a Kazhdan set in pp0, `8q, ˆq.

Remark 6.15. — Facts 6.10 and 6.13 have played a crucial role in the proofs of Theorems
6.11 and 6.14 respectively, as they allowed us to discard all irreducible representations
except the one-dimensional ones in inequalities of the form (6.2). In groups with the HoweMoore property (see for instance [23], [39] or [7] for the definition and for more about this
property), all non-trivial irreducible representations have the vanishing property of the
matrix coefficients stated in Facts 6.10 or 6.13. It easily follows from this observation that
all subsets with non-compact closure are Kazhdan sets in groups with the Howe-Moore
property, and that if the group is additionally supposed not to have Property (T), the
Kazhdan sets are exactly the sets with non-compact closure. As SL2 pRq is a non-compact

KAZHDAN SETS AND EQUIDISTRIBUTION PROPERTIES

27

connected simple real Lie group with finite center, it has the Howe-Moore property. But
it does not have Property (T), and so we have:
Example 6.16. — The Kazhdan sets in SL2 pRq are exactly the subsets of SL2 pRq with
non-compact closure.
These observations testify of the rigidity of the structure of groups with the Howe-Moore
property, and stand in sharp contrast with all the examples we have presented in the rest
of this section.
Appendix A
Infinite tensor products of Hilbert spaces
We briefly describe in this appendix some constructions of tensor products of infinite
families of Hilbert spaces, and of tensor products of infinite families of unitary representations. These last objects play an important role in the proof of Theorem 2.3. We
review here the properties and results which we need, following the original works of von
Neumann [32] and Guichardet [18].
A.1. The complete and incomplete tensor products of Hilbert spaces. — The
original construction of the complete and incomplete tensor products of a family pHα qαPI
of Hilbert spaces is due to von Neumann [32]. It was later on taken up by Guichardet in
[18] under a somewhat different point of view, and the incomplete tensor products of von
Neumann are rather known today as the Guichardet tensor products of Hilbert spaces.
Although these constructions can be carried out starting from an arbitrary family pHα qαPI
of Hilbert spaces, we will present them here only in the case of a countable family pHn qně1
of (complex) Hilbert spaces.
Â
The complete infinite tensor product
ně1 Hn of the Hilbert spaces Hn is defined in
[32, Part II, Ch. 3] in the following way: the elementary infinite tensor products are the
elements
x “ bně1 xn , where xn belongs to Hn for each n ě 1 and the infinite product
ś
||x
n || is convergent in the sense of [32, Def. 2.2.1], which by
ně1
ř [32, Lem. 2.4.1] is
equivalent to the fact that either xn “ 0 for some n ě 1 or the series ně1 maxp||xn ||´1, 0q
is convergent. Sequences pxn qně1 with this property are called by von Neumann in [32]
C-sequences. A scalar product is then defined on the set of finite linear combinations of
elementary tensor products by setting
ź
x, y y “
xx
xxn , yn y
ně1

for any elementary tensor products x “ bně1 xn and y “ bně1 yn , and extending the
definition by linearity to finite linear combinations of such elements. The product definx, y y for two
ing xx
ś elementary vectors x and y is quasi-convergent in the sense of [32,
Def.
ś 2.5.1], i.e. ně1 |xxn , yn y| is convergent. The value of this quasi-convergent product
is ně1 xxn , yn y if the product is convergent in the usual sense, and 0 if it is not.
That this is indeed a scalar product which turns the set of finite linear combinations of
elementary tensor products into a complex prehilbertian space is proved in [32,
śLem. 3.21
x
and Theorem
II].
For
any
elementary
tensor
product
x
“
b
x
,
||x
||
“
ně1 n
ně1 ||xn ||.
Â
The space ně1 Hn is the completion of this space for the topology induced by the scalar
product. It is always non-separable.

28

CATALIN BADEA & SOPHIE GRIVAUX

The incomplete tensor products are closed subspaces of the complete tensor product.
They are defined by von Neumann using an equivalence relation betweenřsequences
pxn qně1
ˇ
ˇ
ˇ
of vectors with xn P Hn for each n ě 1 and such that the series ně1 1 ´ ||xn ||ˇ is
convergent. Such sequences ś
are called C0 -sequences. They are C-sequences,
Âand if pxn qně1
is a C-sequence such that ně1 ||xn || ą 0 (i. e. pxn qně1 is non-zero in
ně1 Hn ) then
pxn qně1
If pxn qně1 is a C0 -sequence, pxn qně1 is bounded, and the series
ˇ
ˇ is a C02-sequence.
ř
ˇ1 ´ ||xn || ˇ is convergent.
ně1
ˇ
ř ˇ
Two C0 -sequences pxn qně1 and pyn qně1 are equivalent if the series ně1 ˇ1 ´ xxn , yn yˇ
is convergent. If A denotes an equivalence
ÂA class of C0 -sequences for this equivalence
relation,
the incomplete tensor product
ně1 Hn associated to A is the closed linear span
Â
in ně1 Hn of the vectors x “ bně1 xn , where pxn qně1 belongs
ÂA to A [32, Def.
ÂA1 4.1.1]. If
A and A1 are two different equivalence classes, the spaces
H
and
ně1 Hn are
ně1 n
ÂA
orthogonal, and the linear span of the incomplete tensor products
ně1 Hn , where A
runs
over
all
equivalence
classes
of
C
-sequences,
is
dense
in
the
complete
tensor product
0
Â
ně1 Hn .
Â
If A is an equivalence class of C0 -sequences, A
ně1 Hn admits another, more transparent
description, which runs as follows [32, Lem. 4.1.2], see also [18, Rem. 1.1]: let pan qně1 be
a sequence with an P Hn and ||an || “ 1 for every n ě 1, such that the equivalence class of
pan qně1 is A (such a sequence pan qně1 does exist: if pxn qně1 is any non-zero C0 -sequence
belonging to A, xn is non-zero for every n ě 1, and we can define a C0 -sequence pan qně1
by setting an “ xn {||xn || for every n ě 1. It is not difficult to check that pan qně1 is
ÂA
equivalent to px
ně1 Hn coincides with the closed
Ân qně1 , and so belongs to A). Then
linear span in ně1 Hn of vectors x “ bně1 xn , where xn “ an for all but finitely many
integers n ě 1. Denoting the vector bně1 an by a , we write this closed linear span as
Âa
Âa
ÂA
and thus
ně1 Hn (see [18]),
ně1 Hn “
ně1 Hn , where A is the equivalence class
Âa
of a . The space
H
is
usually
called
the
Guichardet tensor product of the spaces
ně1 n
Hn associated to the sequence pan qně1 . Proposition 1.1 of [18] states the following, which
is a direct consequence of the discussion
above: if x “ pxn qně1 is a C0 -sequence which
Âa
is equivalent to a , x belongs to
H
ně1 n . Vectors x of this form are also said to be
decomposable with respect to a , while vectors x “Â
pxn qně1 with xn “ an for all but finitely
a
Hn .
many indices n are called elementary vectors of ně1
Suppose that all the spaces Hn , n ě 1, are separable. For each n ě 1, let pep,n q1ďpďpn be
a Hilbertian basis of Hn , withÂ
1 ď pn ď `8 and e1,n “ an . The family of all elementary
a
vectors e β “ bně1 eβpnq,n of
ně1 Hn , where β is a map from N into itself such that
1 ď βpnq ď pn for every
ě 1 and βpnq “ 1 for all but finitely many
Â aintegers n ě 1, forms
Ân
a
a Hilbertian basis of
H
[32,
Lem.
4.1.4].
In
particular,
ně1 n
ně1 Hn is a separable
complex Hilbert space.
A.2. Tensor products of unitary representations. — Let G be a topological group,
and let pHn qně1 be a sequence of complex separable Hilbert spaces. Let pan qně1 be a
sequence of vectors with an P Hn and ||an || “ 1 for every n ě 1. We Â
are looking for
a
conditions under which one can define a unitary representation π of G on ně1
Hn which
satisfies
(A.1)

π pgq bně1 xn “ bně1 πn pgqxn

for every g P G and every decomposable vector x “ bně1 xn with respect to a . Observe
that without any assumption, the equality π pgq bně1 xn “ bně1 πn pgqxn does not make

KAZHDAN SETS AND EQUIDISTRIBUTION PROPERTIES

29

any sense, since pπn pgqxÂ
n qně1 , which is a C0 -sequence, may not be equivalent to a , and
a
thus may not belong to ně1
Hn .
Infinite tensor products of unitary representations have already been studied in various
contexts (see for instance [4] and the references therein). In [4, Prop. 2.3], the following
observation is made: suppose that, for each n ě Â
1, Un is a unitary operator on Hn . Then
a
there exists a unitary operator U “ bně1 Un on ně1
Hn satisfying
˘
`
U bně1 xn “ bně1 Un xn

for every
decomposable
vector x “ bně1 xn with respect to a if and only if the series
ˇ
ˇ
ř
ˇ1 ´ xUn an , an yˇ is convergent (which is equivalent to requiring that the C0 -sequence
ně1
pUn an qně1 be equivalent to pan qně1 , i. e. to the fact that bně1 Un an be a decomposable
vector
Â a with respect to a ). It follows from this result that the formula (A.1) makes sense
in ně1
Hn if and only if the series
ÿˇ
ˇ
ˇ1 ´ xπn pgqan , an yˇ
(A.2)
ně1

is convergent
for every g P G. Under this condition π pgq “ bně1 πn pgq is a unitary operator
Âa
Hn for every g P G, and π pghq “ π pgq π phq for every g, h P G.
on ně1
If the group G is discrete, this tensor product representation is of course automatically
strongly continuous. It is also the case if G is supposed to be locally compact.

Proposition
A.1. — Suppose that G is a locally compact group, and that the series
ř
π “ bně1 πn is strongly
ně1 |1 ´ xπn pgqan , an y| is convergent for every g P G. Then
Âa
continuous, and is hence a unitary representation of G on ně1 Hn .
Âa
Proof. — Since all the spaces Hn , n ě 1, are separable,
ně1 Hn is separable too, and
/ xπ
π pgq ξ , ξ y is a measurable map from
by [6, Lem. A.6.2] it suffices Â
to show that g ✤
a
G into C for every vector ξ P ně1
Hn . Since the linear span of the elementary vectors is
Âa
dense in ně1 Hn , standard arguments show that it suffices to prove this for elementary
Âa
/ xπn pgqxn , xn y is continuous on
vectors x “ bně1 xn of ně1
Hn . Since ś
each map g ✤
✤
/
π pgqx
x , x y “ ně1 xπn pgqxn , xn y is measurable on G.
xπ
G, it is clear that g
In the general case one needs to impose an additional condition on the representations
πn and on the vectors an in order that π be a strongly continuous representation of G on
Â
a
ně1 Hn .
ˇ
ˇ
ř
Proposition A.2. — Suppose that the series ně1 ˇ1 ´ xπn pgqan , an yˇ is convergent for
ˇ
ˇ
ř
ˇ1 ´ xπn pgqan , an yˇ is continuous on a
/
every g P G and that the function g ✤
ně1

neighborhood of the identity element e of G. Then
Â a π “ bně1 πn is strongly continuous,
and is hence a unitary representation of G on ně1 Hn .

Proof
Â a of Proposition A.2. — Since the linear span of the elementary vectors is dense in
Hn , and the operators π pgq, g P G, are unitary, it suffices to prove that the map
✤ně1 /
x is continuous at e for every elementary vector x “ bně1 xn of norm 1 of
g
π pgqx
Âa
H
.
Let
N ě 1 be such that xn “ an for every n ą N . We have for every g P G:
ně1 n
ˆ
˙
ź
xn
xn
π pgqx
x ´ x ||2 “ 2p1 ´ Rexπ
π pgqx
x , x yq “ 2 1 ´
||π
Rexπn pgq
,
y
||xn || ||xn ||
ně1

CATALIN BADEA & SOPHIE GRIVAUX

30

x|| “
since ||x

ź

ně1

||xn ||=1. Thus

π pgqx
x ´ x ||2 ď 2
||π

ÿ ˇˇ
xn
xn ˇˇ
,
yˇ
ˇ1 ´ xπn pgq
||xn || ||xn ||
ně1

N ˇ
ÿ
ÿ
xn ˇˇ
xn
ˇ
,
yˇ ` 2
|1 ´ xπn pgqan , an y|.
ď2
ˇ1 ´ xπn pgq
||xn || ||xn ||
ně1
n“1

π pgqx
x ´ x || ă ε if g lies
If ε is any positive number, it follows from the assumptions that ||π
/ π pgqx
x.
in a suitable neighborhood of e. This proves the continuity of the map g ✤
We finish this appendix Â
by giving a sufficient condition for an infinite tensor product
a
representation on a space
ně1 Hn to be weakly mixing: let, for each n ě 1, Hn be a
separable Hilbert space, an a vector of Hn with ||an || “ 1, and πn a unitary representation
of G on Hn . We suppose that the assumptions of either Proposition A.1 (when G is locally
compact) or Proposition A.2 (inÂthe general case) are satisfied, so that π “ bně1 πn is a
a
unitary representation of G on ně1
Hn . Then
Proposition A.3. — In the case where lim nÑ`8 mp|xπn p  qan , an y|2 q “ 0, the representation π “ bně1 πn is weakly mixing.

Proof. — The proof of Proposition A.3 relies on the same idea as that Â
of Proposition
a
A.2: let x “ bně1 xn and y “ bně1 yn be two elementary vectors in
ně1 Hn with
x|| “ ||yy || “ 1. We have
||x
ź ˇˇA
xn
yk Eˇˇ2 ˇˇA
yn Eˇˇ2
xk
π pgq x , y y|2 “
,
,
|xπ
ˇ ď ˇ πn pgq
ˇ
ˇ πk pgq
||xk || ||yk ||
||xn || ||yn ||
kě1

for every n ě 1 and every g P G. But
ˇˇ ˇˇ
ˇˇ
ˇˇ
ˇA
ˇˇ ˇˇ yn
ˇˇ
ˇˇ xn
xn
yn Eˇˇ
ˇ
,
´ an ˇˇˇˇ ` ˇˇˇˇ
´ an ˇˇˇˇ.
ˇ πn pgq
ˇ ď |xπn pgqan , an y| ` ˇˇˇˇ
||xn || ||yn ||
||xn ||
||yn ||

Squaring and taking the mean on both sides we obtain that
ˇˇ
ˇˇ2
ˇˇ2
ˇˇ
ˇ ˇ xn
ˇˇ
ˇˇ
ˇˇ yn
2
2
ˇ
ˇ
ˇ
ˇ
ˇ
ˇ
π p  qx
x , y y| q ď 4 mp|xπn p  q an , an y| q ` 4 ˇˇ
mp|xπ
´ an ˇˇ ` 4 ˇˇ
´ an ˇˇˇˇ
||xn ||
||yn ||

for every n ě 1. Since lim nÑ`8 mp|xπn p  qan , an y|2 q “ 0 and the two other terms are equal
π p  qx
x , y y|2 q “ 0. Weak mixing of π now follows from
to zero for n sufficiently large, mp|xπ
standard density arguments.
References
[1] M. Anoussis, A. Bisbas, Continuous measures on compact Lie groups, Ann. Inst.
Fourier 50 (2000), p. 1277–1296.
[2] M. Ballotti, Convergence rates for Wiener’s theorem for contraction semigroups, Houston J. Math. 11 (1985), p. 435–445.
[3] M. Ballotti, J. Goldstein, Wiener’s theorem and semigroups of operators, in: Infinite
dimensional systems (Retzhof, 1983), Lecture Notes in Math. 1076 (1984), Springer, p. 16–
22.

KAZHDAN SETS AND EQUIDISTRIBUTION PROPERTIES

31

[4] E. Bedos, R. Conti, On infinite tensor products of projective unitary representations,
Rocky Mountain J. Math. 34 (2004), p. 467–493.
[5] B. Bekka, A. Valette, Kazhdan’s Property (T) and amenable representations, Math.
Zeit. 212 (1993), p. 293–299.
[6] B. Bekka, P. de la Harpe, A. Valette, Kazhdan’s Property (T), New Mathematical
Monographs 11 (2008), Cambridge University Press.
[7] B. Bekka, M. Mayer, Ergodic theory and topological dynamics of group actions on
homogeneous spaces, London Mathematical Society Lecture Note Series 269 (2000), Cambridge University Press.
[8] V. Bergelson, J. Rosenblatt, Mixing actions of groups, Illinois J. Math. 32 (1998),
p. 65–80.
[9] M. Björklund, A. Fish, Continuous measures on homogenous spaces, Ann. Inst.
Fourier 59 (2009), p. 2169–2174.
[10] R. Burckel, Weakly almost periodic functions on semigroups, Gordon and Breach
(1970).
[11] M. Drmota, R. Tichy, Sequences, discrepancies and applications, Lecture Notes in
Mathematics 1651 (1997), Springer-Verlag.
[12] H. Dye, On the ergodic mixing theorem, Trans. Amer. Math. Soc. 118 (1965), p. 123–130.
[13] T. Eisner, S. Grivaux, Hilbertian Jamison sequences and rigid dynamical systems, J.
Funct. Anal. 261 (2011), p. 2013–2052.
[14] B. Farkas, Wiener’s lemma and the Jacobs-de Leeuw-Glicksberg decomposition, Ann.
Univ. Sci. Budapest, Eötvös Sect. Math. 58 (2015), p. 27–35.
[15] G. Folland, A course in abstract harmonic analysis, Studies in Advanced Mathematics
(1995), CRC Press.
[16] E. Glasner, Ergodic theory via joinings, Mathematical Surveys and Monographs 101
(2003), American Mathematical Society.
[17] H. Gröchenig, V. Losert, H. Rindler, Uniform distribution in solvable groups,
Probability measures on groups VIII (Oberwolfach, 1985), Lecture Notes in Math. 1210
(1986), Springer, p. 97–107.
[18] A. Guichardet, Produits tensoriels infinis et représentations des relations d’anticommutation, Ann. Sci. É.N.S. 83 (1966), p. 1–52.
[19] P. de la Harpe, A. Valette, La propriété (T) de Kazhdan pour les groupes localement compacts (avec un appendice de Marc Burger), Astérisque 175 (1989), Societé
Mathématique de France.
[20] S. Hartman, The method of Grothendieck-Ramirez and weak topologies in C(T), Studia
Math. 44 (1972), p. 181–197.
[21] S. Hartman, On harmonic separation, Colloq. Math. 42 (1979), p. 209–222.
[22] B. Host, J.-F. Méla, F. Parreau, Non-singular transformations and spectral analysis
of measures, Bull. Soc. Math. France 119 (1991), p. 33–90.
[23] R. Howe, C. Moore, Asymptotic properties of unitary representations, J. Funct. Anal.
32 (1979), p. 72–96.
[24] R. Kaufman, Remark on Fourier-Stieltjes transforms of continuous measures, Colloq.
Math. 22 (1971) p. 279–280.
[25] R. Kaufman, Continuous measures and analytic sets, Colloq. Math. 58 (1989), p. 17–21.
[26] D. Kazhdan, Connection of the dual space of a group with the structure of its closed
subgroups, Func. Anal. Appl. 1 (1967), p. 63–65.
[27] D. Kerr, H. Li, Ergodic Theory: Independence and dichotomies, Springer Monographs
in Math., Springer (2016).
[28] L. Kuipers, H. Niederreiter, Uniform distribution of sequences, Pure and Applied
Mathematics, Wiley-Interscience (1974).

32

CATALIN BADEA & SOPHIE GRIVAUX

[29] V. Losert, H. Rindler, Uniform distribution and the mean ergodic theorem, Inv. Math.
50 (1978), p. 65–74.
[30] B. De Mathan, Numbers contravening a condition in density modulo 1, Acta Math.
Acad. Sci. Hungar. 36 (1980), p. 237–241.
[31] C. Moore, Groups with finite dimensional irreducible representations, Trans. Amer. Soc.
166 (1972), p. 401–410.
[32] J. von Neumann, On infinite direct products, Compositio Math. 6 (1938), p. 1–77.
[33] T. Palmer, Classes on nonabelian, noncompact, locally compact groups, Rocky Mountain
J. of Math. 8 (1978), p. 683–741.
[34] J. Peterson, Lecture notes on ergodic theory, available at http://www.math.
vanderbilt.edu/peterson/teaching/Spring2011/ErgodicTheoryNotes.pdf
[35] A. D. Pollington, On the density of sequences pnk ξq, Illinois J. Math 23 (1979),
p. 511–515.
[36] M. Taylor, Noncommutative harmonic analysis, Mathematical Surveys and Monographs
22 (1986), American Mathematical Society.
[37] W. Veech, Some questions of uniform distribution, Ann. of Math. 94 (1971), p. 125–138.
[38] W. Veech, Topological dynamics, Bull. Amer. Math. Soc. 83 (1977), p. 775–830.
[39] R. Zimmer, Ergodic theory and semisimple groups, Monographs in Mathematics 81
(1984), Birkhäuser Verlag.

Catalin Badea, Université Lille 1, Laboratoire Paul Painlevé, CNRS UMR 8524, Bât. M2, 59655
Villeneuve d’Ascq Cedex, France ‚ E-mail : catalin.badea@univ-lille1.fr
Sophie Grivaux, CNRS, Laboratoire Amiénois de Mathématique Fondamentale et Appliquée, UMR
7352, Université de Picardie Jules Verne, 33 rue Saint-Leu, 80039 Amiens Cedex 1, France
E-mail : sophie.grivaux@u-picardie.fr

