This is an old revision of the document!
This property was originally formulated by David Kazhdan for locally compact groups (see Kazhdan's property (T)). This article is about its generalization to the quantum group setting.
The definition of Kazhdan property (T) for discrete quantum groups was formulated in [Fim10].
Let be a compact quantum group,
, and
a
-representation on a Hilbert space
. For
, denote
its representative acting on
and put
.
For we say that the unit vector
is
-invariant if for all
and all non-zero
we have
We say the representation contains almost invariant vectors if there are
-invariant
vectors for all finite subsets
and all
.
We say that has property (T) if every representation
containing almost invariant vector contains an invariant vector, that is, there is
such that
for all and all
.
If has (T), then
Discrete quantum group has (T) if