Welcome to MathOverflow

Question

1

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

flag	asked Apr 29 2011 at 15:15 unkown 91●2

Alain Valette · Answer 1 · 2011-04-29 16:40:16Z UTC

3

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

answered Apr 29 2011 at 16:40

Alain Valette
6,429●14●26

	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 2011 at 9:38
	Remember that balls are finite in a finitely generated group equipped with the word metric. – Alain Valette Apr 30 2011 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 2011 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 2011 at 12:58

systole and residualy finite fundamental group

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.