Property \(T\) of group homomorphisms (Q252891)

Inspired by the notion of strong property \(T\) of a topological group \(G\), the authors define and investigate the property \(T\) for continuous homomorphisms between topological groups. Let \(G\) be a locally compact group. They show that the left regular representation \(\lambda_G :G \to U(L^2(G))\) has the property \(T\) if and only if either \(G\) is compact or \(G\) is non-amenable. They also present several equivalent forms for the property \(T\). Further, they show that the abelianization \(G^{ab} :=G/\overline{[G,G]}\) is compact if and only if every continuous homomorphism from \(G\) to any abelian topological group has the property \(T\). Recall that a topological group \(H\) has the property \((T, FD)\) if \(1_H\) is an isolated point in the set \(\widehat{H}_{FD}\) of all finite dimensional irreducible representations; cf. [\textit{A. Lubotzky} and \textit{R. J. Zimmer}, Isr. J. Math. 66, No. 1--3, 289--299 (1989; Zbl 0706.22010)]. They also prove that \(G\) has the property \((T,FD)\) if and only if any continuous homomorphism from \(G\) to any compact group has the property \(T\). They finally prove that if \(G\) is second countable and has the strong property \(T\), and \(H\) is a closed subgroup of \(G\), then there exists at most one \(G\)-invariant mean on \(G/H\).