Horocyclic products of trees

Abstract

Let T_1,..., T_d be homogeneous trees with degrees q_1+1,..., q_d+1>=3, respectively. For each tree, let h:T_j->Z be the Busemann function with respect to a fixed boundary point (end). Its level sets are the horocycles. The horocyclic product of T_1,...,T_d is the graph DL(q_1,...,q_d) consisting of all d-tuples x_1...x_d in T_1x...xT_d with h(x_1)+...+h(x_d)=0, equipped with a natural neighbourhood relation. In the present paper, we explore the geometric, algebraic, analytic and probabilistic properties of these graphs and their isometry groups. If d=2 and q_1=q_2=q then we obtain a Cayley graph of the lamplighter group (wreath product) (Z/qZ) wr Z. If d=3 and q_1=q_2=q_3=q then DL is the Cayley graph of a finitely presented group into which the lamplighter group embeds naturally. Also when d>=4 and q_1=...=q_d=q is such that each prime power in the decomposition of q is larger than d-1, we show that DL is a Cayley graph of a finitely presented group. This group is of type F_{d-1}, but not F_d. It is not automatic, but it is an automata group in most cases. On the other hand, when the q_j do not all coincide, DL(q_1,...,q_d) is a vertex-transitive graph, but is not the Cayley graph of a finitely generated group. Indeed, it does not even admit a group action with finitely many orbits and finite point stabilizers. The l^2-spectrum of the ``simple random walk'' operator on DL is always pure point. When d=2, it is known explicitly from previous work, while for d=3 we compute it explicitly. Finally, we determine the Poisson boundary of a large class of group-invariant random walks on DL. It coincides with a part of the geometric boundary of DL.

41 pages with a few figures in PicTeX

References in corpus (1)

• A finitely-presented solvable group with a small quasi-isometry group

Cited by in corpus (18)

• On the spectrum of lamplighter groups and percolation clusters
• Bilipschitz equivalence is not equivalent to quasi-isometric equivalence for finitely generated groups
• Bilipschitz versus quasi-isometric equivalence for higher rank lamplighter groups
• Twisted conjugacy in soluble arithmetic groups
• Lamplighters, Metabelian Groups, and Horocyclic Products of Trees
• Conjugacy Length in Group Extensions
• A characterization of superreflexivity through embeddings of lamplighter groups
• The Dehn function of Baumslag's Metabelian Group
• Factor maps for automorphism groups via Cayley diagrams
• Highly arc-transitive digraphs -- counterexamples and structure
• Visual boundaries of Diestel-Leader graphs
• Semidualities from products of trees
• The geometry of the conjugacy problem in lamplighter groups
• Coarse distinguishability of graphs with symmetric growth
• Exotic local limit theorems at the phase transition in free products
• Sharply $k$-arc-transitive-digraphs: finite and infinite examples
• Compactifications of horospheric products
• Simple groups and irreducible lattices in wreath products