Shalom's property H_FD and extensions by Z of locally finite groups

From MaRDI portal
Publication:2631879



Abstract: We show that every finitely generated extension by mathbbZ of a locally normally finite group has Shalom's property HmathrmFD. This is no longer true without the normality assumption. This permits to answer some questions of Shalom, Erschler-Ozawa and Kozma. We also obtain a Neumann-Neumann embedding result that any countable locally finite group embedds into a two generated amenable group with property HmathrmFD.


A group is locally finite (resp. locally normally finite) if any finite subset is included in a finite subgroup (resp. finite normal subgroup). Let \(G\) be a finitely generated group, and \(\pi\) be a unitary representation of \(G\) on a Hilbert space \(\mathcal{H}\). A function \(b: G\to \mathcal{H}\) is called a 1-cocycle if \(b(gh)=b(g)+\pi_gb(h)\) for all \(g,h\in G\), and 1-coboundary if there exists \(v\in \mathcal{H}\) such that \(b(g)=v-\pi_g(h)\) for \(g\in G\). Denote \(Z^1(G,\pi)\) the vector space of 1-cocycles and \(B^1(G,\pi)\) the subspace of 1-coboundaries. Let \(\overline{H}^1(G,\pi)=Z^1(G,\pi)/\overline{B^1(G,\pi)}\). A group has property \(H_{FD}\) (resp. \(H_F\), \(H_T\)) if any unitary representation \(\pi\) with \(\overline{H}^1(G,\pi)\neq \{0\}\) admits a subrepresentation which is finite dimensional (resp. finite, trivial). The authors have shown that every finitely generated extension by \(\mathbb{Z}\) of a locally normally finite group has \(H_{FD}\). The result is not true without the normality assumption. \textit{Y. Shalom} [Acta Math. 192, No. 2, 119--185 (2004; Zbl 1064.43004)] conjectured that for solvable groups, property \(H_{FD}\) would be equivalent to finite Hirsch length. Counterexamples to both directions have been constructed. Finally, it is shown that any countable locally finite group embeds into a two-generated amenable group with property \(H_{FD}\).











This page was built for publication: Shalom's property \(H_{\mathrm{FD}}\) and extensions by \(\mathbb{Z}\) of locally finite groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2631879)