1: \begin{abstract}

2: \ni  

3: Bartholdi, Neuhauser and Woess 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 $\Z \wr \Z$), and to make the translation between the algebraic and geometric descriptions explicit.  

4: 

5: In the  rank-2 case, where the groups concerned include a celebrated example of Baumslag and Remeslennikov, we give the translation by means of a combinatorial `lamplighter description'.  This elucidates our proof in the general case which proceeds by manipulating polynomials.

6: 

7: Additionally, we show that the  Cayley 2-complex of a suitable presentation of Baumslag and Remeslennikov's example is  a horocyclic product of three trees. 

8: 

9:  \ms

10: 

11: \footnotesize{\ni \textbf{2010 Mathematics Subject

12: Classification:  20F05, 20F16, 20F65}  \\ \ni \emph{Key words and phrases:} horocyclic product, lamplighter, metabelian}

13: \end{abstract}

14: