3
$\begingroup$

Let $G$ be some discrete finitely generated group acting cocompactly on a leafless tree $T$. Is it true that for any natural number $n$ there is a finite graph $\Gamma$ such that: $T$ is the universal cover of $\Gamma$ and the girth of $\Gamma$ is at least $n$?

$\endgroup$
2
  • $\begingroup$ I don't see how the group $G$ enters the picture here. $\endgroup$ Dec 10, 2013 at 20:32
  • 1
    $\begingroup$ When a graph allows a cocompact group action on it this implies some regularity of this graph. $\endgroup$ Dec 10, 2013 at 20:42

1 Answer 1

6
$\begingroup$

Let $T$ be a tree admitting a cocompact proper action of a discrete group $G$. Then $G$ has a finite index subgroup $F$ free of finite rank. Let $(F_n)$ be a sequence of finite index subgroups such that $\limsup F_n=\{1\}$ (i.e. for every $g\neq 1$, eventually $g\notin F_n$); for instance $(F_n)$ is decreasing and $\bigcap F_n=\{1\}$; these exist because free groups are residually finite. Then the quotients $F_n\backslash T$ is a family of graphs covered by $T$ of girth tending to $\infty$.

On the other hand, for a leafless tree $T$ of bounded valency, to have a cocompact automorphism group is not enough: precisely a necessary and sufficient condition for $T$ to cover a finite graph is that the automorphism group of $T$ is cocompact and unimodular (necessity is due to Bass and Kulkarni 1990).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.