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 .
The following quantum groups have the property (T).
The following quantum groups do not have the property (T).
If has (T), then
Discrete quantum group has (T) if…
Discrete quantum group has the Haagerup property and property (T) if and only if is finite [DFSW13].