A full description of property \(T\) of unital \(C^\ast\)-crossed products (Q2287234)

As mentioned in the Introduction, the following results are obtained. Proposition 1. If a discrete (or countable discrete) group \(\Gamma\) acts on a unital \(C^*\)-algebra \(A\) so that there is a \(\Gamma\)-invariant tracial state of \(A\) and that the reduced crossed product \(A \rtimes_r \Gamma\) of \(A\) by \(\Gamma\) has the strong property \(T\) of Leung and Ng (or the property $T$ of Bekka), then \(\Gamma\) has the property $T$ of Kazhdan. Theorem 2. The full crossed product \(A \rtimes G\) of a unital \(C^*\)-algebra \(A\) by an action of a discrete group \(\Gamma\) has the strong property $T$ if and only if the reduced crossed product \(A \rtimes_r G\) of \(A\) by \(\Gamma\) has strong property~$T$. Also, if elements of \(\Gamma\) with finite conjugacy classes belong to the center of \(\Gamma\), then \(A \rtimes G\) has property $T$ if and only if \(A \rtimes_r G\) has property~$T$. Theorem 3. Suppose that there is a \(\Gamma\)-invariant tracial state of \(A\). Then the following holds. (x) \(A \rtimes_r \Gamma\) has the strong property $T$ if and only if \(\Gamma\) has property $T$ and the pair \((A \rtimes_r \Gamma, A)\) has the strong property $T$ of Ng. (y) If \(\Gamma\) has the Haagerup property, then \(A\rtimes_r \Gamma\) has the strong property $T$ if and only if \(\Gamma\) is finite and \(A\) has strong property~$T$. Corollary 4. Being amenable for a non-compact locally compact group \(G\) is equivalent to non-having the strong property $T$ of the reduced crossed product of the \(C^*\)-algebra \(C_b(G)\) (of bounded continuous functions on \(G\)) by the left translation action of \(G_d=G\) as a set, with the discrete topology.