# Isometries of some simple Cayley graphs

Consider a Cayley graph of a group $G$ with respect to a symmetric finite generating set $S$. There are some obvious candidates to isometries of this graph - for example, translation by elements of $G$, and group automorphisms which preserve $S$.

In some simple cases, these are everything one has (up to composition) - for example, take $G$ be a the free abelian group $G=\mathbb{Z}^{d}$ with $S$ being $\{\pm e_i\}$, with $\{e_i\}$ being the standard basis. This is true for other generating sets as well. However, it is far from correct, say, for the free group with its standard generators.

I am more inclined toward "$\mathbb{Z}^d$-esque" situations in my research, so I would like to try and know more on the first case example.

For the questions themselves:

(a) Consider $G=\mathbb{Z}^d$ with some generating set. Can all isometries of the Cayley graph be seen as a composition of translations and group Automorphisms (preserving S)?

(b) Is this claim true for "nice" nilpotent groups, e.g. the Heisenberg groups?

(c) Must it be false for hyperbolic groups, considering all possible generating sets?

• Suppose that we take as connecting set the whole group except for the identity. Then the graph is complete and its automorphism group is the full symmetric group. This is always bigger than the group generated by translations and group automorphisms once |G|>4. In other words, except for a few small exceptions, the answer cannot be yes for all generating sets of a given group. Mar 23, 2015 at 22:28
• I Restricted myself to finite, symmetric generating sets in the first sentence exactly for this reason :-). Mar 24, 2015 at 19:13
• Sorry, I missed the "finite". Please disregard my comment. Mar 25, 2015 at 2:12
• (b) has a negative answer if one allows torsion. For instance, the Cayley graph of $\mathbf{Z}\times F$, $F$ a finite group with at least 2 elements, with generating subset $\{-1,0,1\}\times F$, has an uncountable isometry group. Also (c) has a negative answer for a free group with free generating subset. (I'm note that sure of the precise meaning of the question, in case it asks whether there always a generating subset such that there are few isometries, the above does not give a negative answer)
– YCor
Mar 8, 2016 at 3:01
• For (c), every Cayley graph of a torsion free lattice $\Gamma$ in a simple connected Lie group with finite center and different from $SL(2,\mathbf R)$ has a discrete isometry group by a Theorem of Furman (GAFA 2001). This gives lots of hyperbolic groups, and perhaps the proof can be adapted to show that $\Gamma$ is normal in the isometry group of all its Cayley graphs (which implies that the isometry group of the Cayley is made of group automorphisms). At least for some examples. Mar 10, 2016 at 8:56