This is an old revision of the document!
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
.