Groups acting on horocyclic products
Horocyclic products are a well-studied class of metric spaces that provide models for various solvable Lie groups, Baumslag-Solitar groups, and Lamplighter groups. Let $G$ act geometrically on a horocyclic product $X \bowtie Y$ of $\CAT(-κ)$ spaces $X,Y$. We show that every such group is either an ascending HNN extension of a finitely-generated virtually nilpotent group, or else is not finitely presented, depending on the connectivity of the visual boundary of $X\bowtie Y$.