Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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 ???

share|improve this question
add comment

1 Answer

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$.

share|improve this answer
    
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 –  unkown Apr 30 '11 at 9:38
    
Remember that balls are finite in a finitely generated group equipped with the word metric. –  Alain Valette Apr 30 '11 at 10:44
    
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 !!!! –  unkown Apr 30 '11 at 11:57
    
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$. –  Alain Valette Apr 30 '11 at 12:58
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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