1
$\begingroup$

it is well known that if the fundamental group of a manifold M is residualy finite then for every point p in M and every epsilon positive there is a finite covering such that for a point q in the fiber over p we have systole(q)>epsilon . can anyone tell me how do we prove that ???

$\endgroup$

1 Answer 1

3
$\begingroup$

Assume that $M$ is compact. Let $\tilde{M}$ be the universal cover of $M$, and let $G$ be the fundamental group of $M$, so that $G$ acts properly, freely, co-compactly on $\tilde{M}$. Let $x_0$ be any point in $\tilde{M}$. As is well-known, the orbit map $G\rightarrow\tilde{M}:g\mapsto gx_0$ is a quasi-isometry, where $G$ is endowed with word metric associated with some finite generating set. Fix $R>0$, and let $N$ be a normal, finite index subgroup in $G$ which meets the ball $B(e,R)$ in $G$ only at the identity $e$ (here we use residual finiteness of $G$). Then in the finite graph $N\backslash G$, the systole at $e$ will be larger than $R$. This means that the finite cover $N\backslash\tilde{M}$ will have at $x_0$ a systole larger than some fixed affine function of $R$.

$\endgroup$
4
  • $\begingroup$ the problem is for any g_i in the fundamental group with length(g)<R we can find a subgroup H_i of finite index that doesn't contain it . so the normal subgroup N will be the instersection of all H_i and here can we guarentee that N is of finite index ?? i know that the intersection of a finite number of subgroups of finite index is of finite index but since we could have an infinite number of g_i of length less then R this would cause a problem $\endgroup$
    – unkown
    Apr 30, 2011 at 9:38
  • $\begingroup$ Remember that balls are finite in a finitely generated group equipped with the word metric. $\endgroup$ Apr 30, 2011 at 10:44
  • $\begingroup$ we know that the geometric length is less then c\times( the word length )where (c>0) so every ball of radius R (for the word length) is in some ball of radius cR of the geometric length but we don't know the opposite !!!! $\endgroup$
    – unkown
    Apr 30, 2011 at 11:57
  • $\begingroup$ Recall the following result by Milnor (Lemma 2 in {\it A note on the fundamental group}, J. Diff. Geom. 2 (1968), 1-7), sometimes called "Fundamental theorem of geometric group theory": Let $X$ be a proper geodesic space and $G$ be a discrete group of isometries of $X$ acting properly co-compactly on $X$. Then $G$ is finitely generated and, when endowed with the word metric, $G$ is quasi-isometric to $X$. $\endgroup$ Apr 30, 2011 at 12:58

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.