Lamplighters, metabelian groups, and horocyclic products (Q330029)

Summary: \textit{L. Bartholdi} et al. [J. Eur. Math. Soc. (JEMS) 10, No. 3, 771--816 (2008; Zbl 1155.05009)] proved that a family of metabelian groups including lamplighters have a striking geometric manifestation as 1-skeleta of horocyclic products of trees. The purpose of this article is to give an elementary account of this result, to widen the family addressed to include the infinite valence case (for instance \(\mathbb{Z} \wr \mathbb{Z}\)), and to make the translation between the algebraic and geometric descriptions explicit. In the rank-2 case, where the groups concerned include a celebrated example of \textit{G. Baumslag} [Proc. Am. Math. Soc. 35, 61--62 (1972; Zbl 0269.20029)] and \textit{V. N. Remeslennikov} [``On finitely presented groups'', in: Proceedings of the fourth all-union symposium on the theory of groups (Russian), Novosibirsk. 164--169 (1973)], we give the translation by means of a combinatorial `lamplighter description'. This elucidates our proof in the general case which proceeds by manipulating polynomials. Additionally, we show that the Cayley 2-complex of a suitable presentation of Baumslag [loc. cit.] and Remeslennikov's [loc. cit.] example is a horocyclic product of three trees.