A Cayley graph for $F_{2}\times F_{2}$ which is not minimally almost convex

Andrew Elvey Price
2024-06-06
Abstract:We give an example of a Cayley graph $\Gamma$ for the group $F_{2}\times F_{2}$ which is not minimally almost convex (MAC). On the other hand, the standard Cayley graph for $F_{2}\times F_{2}$ does satisfy the falsification by fellow traveler property (FFTP), which is strictly stronger. As a result, any Cayley graph property $K$ lying between FFTP and MAC (i.e., $\text{FFTP}\Rightarrow K\Rightarrow\text{MAC}$) is dependent on the generating set. This includes the well known properties FFTP and almost convexity, which were already known to depend on the generating set as well as Poénaru's condition $P(2)$ and the basepoint loop shortening property for which dependence on the generating set was previously unknown. We also show that the Cayley graph $\Gamma$ does not have the loop shortening property, so this property also depends on the generating set.
Group Theory
What problem does this paper attempt to address?