$$\begin{array}{cc}Inversionof{g}_{i}& \{\begin{array}{cc}{g}_{i}^{\prime}={g}_{i}^{1}& \\ {g}_{k}^{\prime}={g}_{k}& k\ne i\end{array}\end{array}$$ 
$$\begin{array}{cc}Permutationof{g}_{i}and{g}_{j}withi\ne j& \{\begin{array}{cc}{g}_{i}^{\prime}={g}_{j}& \\ {g}_{j}^{\prime}={g}_{i}& \\ {g}_{k}^{\prime}={g}_{k}& k\ne i,j\end{array}\end{array}$$ 
$$\begin{array}{cc}Twistof{g}_{i}by{g}_{j}withi\ne j& \{\begin{array}{cc}{g}_{i}^{\prime}={g}_{i}{g}_{j}& \\ {g}_{k}^{\prime}={g}_{k}& k\ne i\end{array}\end{array}$$ 
The method of proof of Theorem 1 is suggested by the proof of a result of White [Whi02] who proved that the rank of the fundamental group of a hyperbolic 3manifold yields an upper bound for the injectivity radius. Similar ideas appear also in the work of Delzant [Del91] on subgroups of hyperbolic groups with two generators, in the proof of a recent result of Ian Agol relating rank and Heegaard genus of some 3manifolds and in the work of KapovichWeidmann [KW] .
I would like to thank to Ian Agol, Michel Boileau, Yo'av Moriah and Richard Weidmann for many very helpful and motivating conversations.
2 Nielsen equivalence of generating sets and carrier graphs
Let
$M$
be a hyperbolic 3manifold.
Definition.
A map
$f:X\to M$
of a connected graph
$X$
into
$M$
is a carrier graph if the homomorphism
${f}_{*}:{\pi}_{1}\left(X\right)\to {\pi}_{1}\left(M\right)$
is surjective. Two carrier graphs
$f:X\to M$
and
$g:Y\to M$
are equivalent if there is a homotopy equivalence
$h:X\to Y$
such that
$f$
and
$g\circ h$
are free homotopic.
To every generating set
$\mathcal{S}=({g}_{1},...,{g}_{r})$
of
${\pi}_{1}\left(M\right)$
one can associate an equivalence class of carrier graphs as follows: Let
${\mathbb{F}}_{\mathcal{S}}$
be the free nonabelian group generated by the set
$\mathcal{S}$
,
${\phi}_{\mathcal{S}}:{\mathbb{F}}_{\mathcal{S}}\to {\pi}_{1}\left(M\right)$
the homomorphism given by mapping the free basis
$\mathcal{S}\subset {\mathbb{F}}_{\mathcal{S}}$
to the generating set
$\mathcal{S}\subset {\pi}_{1}\left(M\right)$
and
${X}_{\mathcal{S}}$
a graph with
${\pi}_{1}\left({X}_{\mathcal{S}}\right)={\mathbb{F}}_{\mathcal{S}}$
. The homomorphism
${\phi}_{\mathcal{S}}:{\mathbb{F}}_{\mathcal{S}}\to {\pi}_{1}\left(M\right)$
determines a free homotopy class of maps
${f}_{\mathcal{S}}:{X}_{\mathcal{S}}\to M$
, i.e. a carrier graph, and any two carrier graphs obtained in this way are equivalent. The so determined equivalence class is said to be the equivalence class of carrier graphs associated to
$\mathcal{S}$
.
Lemma 1.
Let
$\mathcal{S}$
and
${\mathcal{S}}^{\prime}$
be finite generating sets of
${\pi}_{1}\left(M\right)$
with the same cardinality. Then the following are equivalent:
The natural bijection given by Lemma 1 between the set of Nielsen equivalence classes of generating sets of
${\pi}_{1}\left(M\right)$
and the set of equivalence classes of carrier graphs
$f:X\to M$
plays a central role in the proof of Theorem 1 .
 (1) $\mathcal{S}$ and ${\mathcal{S}}^{\prime}$ are Nielsen equivalent.
 (2) There is a free basis $\overline{\mathcal{S}}$ of ${\mathbb{F}}_{{\mathcal{S}}^{\prime}}$ with $\mathcal{S}={\phi}_{{\mathcal{S}}^{\prime}}\left(\overline{\mathcal{S}}\right)$ .
 (3) There is an isomorphism $\psi :{\mathbb{F}}_{\mathcal{S}}\to {\mathbb{F}}_{{\mathcal{S}}^{\prime}}$ with ${\phi}_{\mathcal{S}}={\phi}_{{\mathcal{S}}^{\prime}}\circ \psi $ .
 (4) $\mathcal{S}$ and ${\mathcal{S}}^{\prime}$ have the same associated equivalence classes of carrier graphs.
 Sketch of the proof. The implications (1) $\Rightarrow $ (2) $\iff $ (3) $\iff $ (4) are almost tautological. The implication (2) $\Rightarrow $ (1) follows from a theorem of Nielsen, who proved that any two free basis of a free group are Nielsen equivalent (see for example [CGKZ93] ). □
$\mathbf{C}\mathbf{o}\mathbf{n}\mathbf{v}\mathbf{e}\mathbf{n}\mathbf{t}\mathbf{i}\mathbf{o}\mathbf{n}\mathbf{:}Fromnowonwewillonlyconsidergeneratingsetsofminimalcardinality.Equivalently,weconsideronlycarriergraphsf:X\to Mwithrank\left({\pi}_{1}\right(X\left)\right)=rank\left({\pi}_{1}\right(M\left)\right).$
Given a carrier graph
$f:X\to M$
and a path
$I$
in
$X$
we say that its length is the length, with respect to the hyperbolic metric, of the path
$f\left(I\right)$
in
$M$
. Measuring the minimal length of a path joining two points in
$X$
we obtain a semidistance
${d}_{f:X\to M}$
on
$X$
and we define the length
$l(f:X\to M)$
of the carrier graph
$f:X\to M$
as the sum of the lengths of the edges of
$X$
with respect to
${d}_{f:X\to M}$
. The semidistance
${d}_{f:X\to M}$
induced on
$X$
is not always a distance since there may be some edges of length
$0$
but minimality of the generating set ensures that collapsing these edges we obtain an equivalent carrier graph on which the induced semidistance is in fact a distance. Moreover, this collapsing process does not change the length of the carrier graph. From now on we will assume without further remark that the semidistance
${d}_{f:X\to M}$
is in fact a distance.
Definition.
A carrier graph
$f:X\to M$
has minimal length if
$$l(f:X\to M)\le l({f}^{\prime}:{X}^{\prime}\to M)$$
for every equivalent carrier graph
${f}^{\prime}:{X}^{\prime}\to M$
.
If
$M$
is closed then it follows from ArzelaAscoli's theorem that every equivalence class of carrier graphs contains a carrier graph with minimal length:
Lemma 2.
If
$M$
is a closed hyperbolic 3manifold, then every equivalence class of carrier graphs contains a carrier graph with minimal length. Moreover, every such minimal length carrier graph is trivalent, hence it has
$3(rank(M)1)$
edges, the image in
$M$
of its edges are geodesic segments, the angle between any two adjacent edges is
$\frac{2\pi}{3}$
and every simple closed path in
$X$
represents a nontrivial element in
${\pi}_{1}\left(M\right)$
. □
See White [Whi02,Section2] for a proof of Lemma 2 .
3 Quasiconvex subgraphs
Recall that a map
$\phi :{X}_{1}\to {X}_{2}$
between two metric spaces is an
$(L,A)$
quasiisometric embedding if
$$\frac{1}{L}{d}_{{X}_{1}}(x,y)A\le {d}_{{X}_{2}}\left(\phi \right(x),\phi (y\left)\right)\le L{d}_{{X}_{1}}(x,y)+A$$
for all
$x,y\in {X}_{1}$
. A
$(L,A)$
quasiisometric embedding
$\phi :\mathbb{R}\to X$
is said to be a quasigeodesic. Before going further, we state here and for further reference the following wellknown fact:
Lemma 3.
There are constants
${l}_{0},A>0$
such that for all
$L\ge {l}_{0}$
the following holds:
If
$f:X\to M$
is a carrier graph in a hyperbolic 3manifold
$M$
we denote by
$\stackrel{~}{f}:\stackrel{~}{X}\to {\mathbb{H}}^{3}$
the lift of
$f$
to a map between the universal covers of
$X$
and
$M$
. We will be mainly interested in manifolds whose fundamental group is not free; in this case, the map
$\stackrel{~}{f}$
cannot be an embedding. However, subgraphs of
$X$
may well be quasiisometrically embedded.
$\bullet $
Every path in hyperbolic space
${\mathbb{H}}^{3}$
which consists of geodesic segments of at least length
$L$
and such that all the angles are at least
$\frac{\pi}{4}$
is a
$A$
biLipschitz embedding.
 $\bullet $ If $K\subset {\mathbb{H}}^{3}$ is convex then every geodesic ray $\gamma :[0,\infty )\to {\mathbb{H}}^{3}$ with $\gamma \left(0\right)\in K$ meets the boundary $\partial {\mathcal{N}}_{L}\left(K\right)$ of the neighborhood ${\mathcal{N}}_{L}\left(K\right)$ of radius $L$ around $K$ with at least angle $\frac{\pi}{4}$ . □
Definition.
A connected subgraph
$Y\subset X$
of a carrier graph
$f:X\to M$
is
$A$
quasiconvex for some
$A>0$
if:
Recall that a discrete subgroup
$G$
of
${PSL}_{2}\mathbb{C}$
is convexcocompact if there is a convex
$G$
invariant subset
$C\subset {\mathbb{H}}^{3}$
of hyperbolic space with
$C/G$
compact. The smallest such convex subset of
${\mathbb{H}}^{3}$
is the convexhull
$CH\left(G\right)$
of
$G$
and has the wellknown property of being the closure of the union of all axis of elements in
$G$
.  $\bullet $ The restriction $\stackrel{~}{f}{}_{\stackrel{~}{Y}}:\stackrel{~}{Y}\to {\mathbb{H}}^{3}$ of the map $\stackrel{~}{f}$ to the universal cover $\stackrel{~}{Y}$ of $Y$ is an $(A,A)$ quasiisometric embedding.
 $\bullet $ Every point in $\stackrel{~}{Y}$ is at most at distance $A$ of the axis of some element of ${\pi}_{1}\left(Y\right)$ .

$\bullet $
The translation length of every element
${f}_{*}\left(\gamma \right)$
in
${\mathbb{H}}^{3}$
is at least
$\frac{1}{A}$
for every
$\gamma \in {\pi}_{1}\left(Y\right)$
.
If
$Y$
is a graph and
$g:Y\to M$
is a map whose lift
$\stackrel{~}{g}:\stackrel{~}{Y}\to {\mathbb{H}}^{3}$
is a quasiisometric embedding then the image
${g}_{*}\left({\pi}_{1}\right(Y\left)\right)$
is a free convexcocompact subgroup. Intuitively, considering
$A$
quasiconvex graphs amounts to considering uniformly convexcocompact free subgroups.
More precisely, if
$Y\subset X$
is
$A$
quasiconvex and
$\gamma \in {\pi}_{1}\left(Y\right)$
is nontrivial then the image
$\stackrel{~}{f}(Axis(\gamma \left)\right)$
is an
$(A,A)$
quasigeodesic and hence it is at uniformly bounded distance of the axis
$Axis\left({f}_{*}\right(\gamma \left)\right)$
of
${f}_{*}\left(\gamma \right)$
. In particular, there is
$d$
depending only on
$A$
with
$$\stackrel{~}{f}\left(\stackrel{~}{Y}\right)\subset {\mathcal{N}}_{d}\left(CH\right({f}_{*}\left({\pi}_{1}\right(Y\left)\right)\left)\right)\subset {\mathcal{N}}_{2d}\left(\stackrel{~}{f}\right(\stackrel{~}{Y}\left)\right)$$
This fact, together with the last condition in the definition of
$A$
quasiconvex, implies:
Lemma 4.
For all
$A$
there is
$d$
such that for every hyperbolic manifold
$M$
and every
$A$
quasiconvex subgraph
$Y$
of a minimal length carrier graph
$f:X\to M$
there is a
${f}_{*}\left({\pi}_{1}\right(Y\left)\right)$
invariant convexsubset
$\overline{C}\left(Y\right)$
with
$$\stackrel{~}{f}\left(\stackrel{~}{Y}\right)\subset \overline{C}\left(Y\right)\subset {\mathcal{N}}_{d}\left(\stackrel{~}{f}\right(\stackrel{~}{Y}\left)\right),$$
and such that
${d}_{\mathbb{H}}^{3}(x,\gamma x)\ge {l}_{0}$
for all
$x\in \partial \overline{C}\left(Y\right)$
and
$\gamma \in {f}_{*}\left({\pi}_{1}\right(Y\left)\right)$
. Here
${l}_{0}$
is the constant provided by Lemma 3 . □
The following result is the main technical key point of the proof of Theorem 1 .
Proposition 1.
For all
$A,s>0$
there is
$L$
such that whenever
$M$
is a hyperbolic 3manifold,
$f:X\to M$
is a minimal length carrier graph with
$s$
edges,
${Y}_{1},...,{Y}_{k}$
are disjoint connected
$A$
quasiconvex subgraphs of
$X$
then either
 $\bullet $ $\stackrel{~}{f}:\stackrel{~}{X}\to {\mathbb{H}}^{3}$ is a quasiisometric embedding and hence ${\pi}_{1}\left(M\right)$ is free, or
 $\bullet $ the graph $X\backslash {\cup}_{i}{Y}_{i}$ contains an edge of at most length $L$ .

Proof.
Let
${l}_{0}$
and
$d$
be the constants provided by Lemma 3 and Lemma 4 . We are going to show that
$\stackrel{~}{f}:\stackrel{~}{X}\to {\mathbb{H}}^{3}$
is a quasiisometric embedding whenever every edge in
$X\backslash \cup {Y}_{i}$
has at least length
$6{l}_{0}+4d$
. Seeking a contradiction, assume that this is not the case. Then there is a biinfinite geodesic $\gamma $ in $\stackrel{~}{X}$ whose image $\stackrel{~}{f}\left(\gamma \right)$ is not a quasigeodesic.We decompose $\gamma ={\cup}_{i\in \mathbb{Z}}{I}_{i}$ into segments ${I}_{i}$ such that
 $\bullet $ For $i$ even $\stackrel{~}{f}\left({I}_{i}\right)$ is contained in ${f}_{*}\left({\gamma}_{j}\right){\mathcal{N}}_{2{l}_{0}}\left(\overline{C}\right({Y}_{j}\left)\right)$ for suitable choices of ${\gamma}_{j}$ and ${Y}_{j}$ .

$\bullet $
For
$i$
odd
$\stackrel{~}{f}\left({I}_{i}\right)$
is a path consisting of geodesic segments of at least length
$2{l}_{0}$
.
4 Some facts on the geometry of mapping tori
As mentioned in the introduction, the following is the starting point of our considerations:
Theorem (Thurston [Thu] ).
Let
${\Sigma}_{g}$
be the closed surface of genus
$g\ge 2$
and
$F\in Map\left({\Sigma}_{g}\right)$
a pseudoAnosov mapping class.
Then the mapping torus
$M\left(F\right)={\Sigma}_{g}\times [0,1]/(x,1)\simeq \left(F\right(x),0)$
admits a hyperbolic metric.
The manifold
$M\left(F\right)$
fibers over the circle with fiber
${\Sigma}_{g}$
and monodromy
$F$
. Let
$\pi :{\pi}_{1}\left(M\right(F\left)\right)\to \mathbb{Z}$
be the homomorphism given by this fibering and observe that
$M\left({F}^{n}\right)$
is homeomorphic, and hence isometric by Mostow's rigidity theorem, to the cover of
$M\left(F\right)$
corresponding to the kernel of the composition of
$\pi $
and the canonical homomorphism
$\mathbb{Z}\to \mathbb{Z}/n\mathbb{Z}$
. Let
${M}^{\prime}$
be the infinite cover of
$M\left(F\right)$
corresponding to the kernel of
$\pi $
; in the sequel we will always consider
${M}^{\prime}$
with the unique hyperbolic metric such that the covering
${M}^{\prime}\to M\left(F\right)$
is riemannian.
Before going further we observe the following fact that we state here for further reference:
Lemma 5.
For every
$D$
there is
${n}_{D}$
such that the following holds for all
$n\ge {n}_{D}$
: Every subset
$K\subset M\left({F}^{n}\right)$
of diameter at most
$D$
lifts homeomorphically to
${M}^{\prime}$
. □
Many of the arguments used in the present paper rely on properties of finitely generated subgroups of the fundamental group of
${M}^{\prime}$
.
Proposition 2.
Every proper subgroup
$G$
of
${\pi}_{1}\left({M}^{\prime}\right)$
of rank at most
$2g$
is free and convexcocompact.

Sketch of the proof.
The manifold
${M}^{\prime}$
is homeomorphic to
${\Sigma}_{g}\times \mathbb{R}$
. In particular, every proper subgroup of
${\pi}_{1}\left({M}^{\prime}\right)\simeq {\pi}_{1}\left({\Sigma}_{g}\right)$
is either free or isomorphic to the fundamental group of a closed surface which covers
${\Sigma}_{g}$
with at least degree 2. Any such surface has genus greater than
$g$
and hence its fundamental group has rank greater than
$2g$
. We have proved that the group
$G$
is free. A result due to Thurston in this case and to Agol [Ago] and CalegariGabai [CG] in much more generality asserts that
${\mathbb{H}}^{3}/G$
is homeomorphic to the interior of a handlebody. Now, Canary's generalization of Thurston's covering theorem [Can96] implies that $G$ is convexcocompact. □
5 Proof of Theorem 1
As the kind reader may have deduced from the title of this section, we prove here Theorem 1 . But first, as a warmingup, we show the result of White mentioned in the introduction:
Theorem (White [Whi02] ).
For all
$r$
there is
$R$
such that every closed hyperbolic 3manifold
$M$
with
$rank\left({\pi}_{1}\right(M\left)\right)\le r$
has
$inj\left(M\right)\le R$
.
As we see, the proof of White's theorem yields in fact that every generating set
$({g}_{1},...,{g}_{r})$
is Nielsenequivalent to a generating set
$({g}_{1}^{\prime},...,{g}_{r}^{\prime})$
such that the translation length of
${g}_{1}^{\prime}$
is uniformly bounded.

Proof.
Let
$f:X\to M$
be a minimal length carrier graph in the class of a minimal generating set of
${\pi}_{1}\left(M\right)$
; observe that
$X$
has at most
$s=3(r1)$
edges. Denote by
${X}^{<t}$
the, possibly empty, subgraph of
$X$
consisting of the union of all the edges with length less than
$t$
. Every simple closed circuit in
${X}^{<t}$
represents a nontrivial element in
${\pi}_{1}\left(M\right)$
by Lemma 2 and has at most length
$3t(r1)$
. In particular, it suffices to show that there is
${t}_{r}$
depending only on
$r$
such that some component
$Y$
of
${X}^{<{t}_{r}}$
is not a tree. Let ${l}_{0}$ be the constant provided by Lemma 3 . Since $M$ is closed we have that ${\pi}_{1}\left(M\right)$ is not free and in particular $\stackrel{~}{f}:\stackrel{~}{X}\to {\mathbb{H}}^{3}$ cannot be a quasiisometric embedding. In particular, ${X}^{<{l}_{0}}$ is not empty by Lemma 2 and Lemma 3 . If every component $Y$ of ${X}^{<{l}_{0}}$ is a tree then $diam\left(\stackrel{~}{Y}\right)=diam\left(Y\right)\le 3(r1){l}_{0}$ and hence the map $$\stackrel{~}{f}{}_{\stackrel{~}{Y}}:\stackrel{~}{Y}\to {\mathbb{H}}^{3}$$ is a $\left(3\right(r1){l}_{0},3(r1\left){l}_{0}\right)$ quasiisometric embedding. We obtain from Proposition 1 a constant ${l}_{1}={l}_{1}\left(r\right)$ depending only on $r$ such that ${X}^{<{l}_{0}}$ is a proper subgraph of ${X}^{<{l}_{1}}$ . If again every connected component of ${X}^{<{l}_{1}}$ is tree then we get ${l}_{2}={l}_{2}\left(r\right)$ depending only on $r$ such that ${X}^{<{l}_{1}}$ is a proper subgraph of ${X}^{<{l}_{2}}$ . This process can be repeated at most $3(r1)$ times; this concludes the proof of White's theorem. □
The idea of the proof of Theorem 1 is to show that every generating set of
${\pi}_{1}\left(M\right({F}^{n}\left)\right)$
is Nielsen equivalent to a generating set such that the translation lengths of all elements but 1 are uniformly bounded.
References
Theorem 1 .
Let
${\Sigma}_{g}$
be the closed surface of genus
$g\ge 2$
,
$F\in Map\left({\Sigma}_{g}\right)$
a pseudoAnosov mapping class and
$M\left({F}^{n}\right)$
the mapping torus of
${F}^{n}$
. There is
${n}_{F}$
with
$$rank\left({\pi}_{1}\right(M\left({F}^{n}\right)\left)\right)=2g+1$$
and such that any generating set of
${\pi}_{1}\left(M\right({F}^{n}\left)\right)$
with minimal cardinality is Nielsen equivalent to an standard generating set for all
$n\ge {n}_{F}$
.

Proof.
For all
$n$
let
${\mathcal{S}}_{n}$
be a generating set of
${\pi}_{1}\left(M\right({F}^{n}\left)\right)$
with minimal cardinality and
${f}_{n}:{X}_{n}\to M\left({F}^{n}\right)$
a minimal length carrier graph in the equivalence class determined by
${\mathcal{S}}_{n}$
. As remarked in the introduction
$$rank\left({\pi}_{1}\right(M\left({F}^{n}\right)\left)\right)\le 2g+1$$
and hence
${X}_{n}$
has at most
$6g$
edges. As in the proof of White's theorem, we denote by
${X}_{n}^{<t}$
the subgraph of
${X}_{n}$
consisting of all the edges of
${X}_{n}$
of length less than
$t$
. Claim 1. For every $D$ there are ${n}_{D}$ and ${A}_{D}$ such that for every subgraph ${Y}_{n}$ of ${X}_{n}$ of length less than $D$ and such that the image of ${\pi}_{1}\left({Y}_{n}\right)$ is convexcocompact one has: ${Y}_{n}$ is ${A}_{D}$ quasiconvex for all $n\ge {n}_{D}$ .

Proof of Claim 1.
To begin with observe that the injectivity radius of the manifold
$M\left({F}^{n}\right)$
is bounded from below by
$inj\left(M\right(F\left)\right)$
for all
$n$
. In particular, the last condition in the definition of $A$ quasiconvex is automatically satisfied for every $A$ with ${A}^{1}\le inj\left(M\right(F\left)\right)$ .Seeking a contradiction assume that for some $D$ there are sequences ${A}_{i},{n}_{i}\to \infty $ such that for all $i$ there is a subgraph ${Y}_{{n}_{i}}$ of ${X}_{{n}_{i}}$ which has length less than $D$ and fails to be ${A}_{i}$ quasiconvex but such that $\left({f}_{{n}_{i}}{)}_{*}\right({\pi}_{1}\left({Y}_{{n}_{i}}\right))$ is convexcocompact. Composing the map ${f}_{{n}_{i}}:{X}_{{n}_{i}}\to M\left({F}^{{n}_{i}}\right)$ with the covering $M\left({F}^{{n}_{i}}\right)\to M\left(F\right)$ we obtain from ArzelaAscoli's theorem that, up to conjugacy in ${\pi}_{1}\left(M\right(F\left)\right)$ and passing to a subsequence, we may assume that $\left({f}_{{n}_{i}}{)}_{*}\right({\pi}_{1}\left({Y}_{{n}_{i}}\right))=({f}_{{n}_{j}}{)}_{*}\left({\pi}_{1}\right({Y}_{{n}_{j}}\left)\right)$ are conjugated for all $i,j$ . In particular, the desired contradiction follows if we show that the map ${\pi}_{1}\left({Y}_{{n}_{i}}\right)\to {f}_{*}\left({\pi}_{1}\right({Y}_{{n}_{i}}\left)\right)$ is an isomorphism.By Lemma 5 there is ${i}_{D}$ such that for all $i\ge {i}_{D}$ the graph ${Y}_{{n}_{i}}$ lifts to ${M}^{\prime}$ . In particular we obtain from Proposition 2 that $\left({f}_{{n}_{i}}{)}_{*}\right({\pi}_{1}\left({Y}_{{n}_{i}}\right))$ is a free subgroup of ${\pi}_{1}\left({M}^{\prime}\right)$ which has in particular at most the same rank as ${\pi}_{1}\left({Y}_{{n}_{i}}\right)$ . Minimality of the generating set ensures that $$rank\left(\right({f}_{{n}_{i}}{)}_{*}\left({\pi}_{1}\right(Y\left)\right))=rank({\pi}_{1}\left({Y}_{{n}_{i}}\right)).$$ We are done, since every surjective homomorphism between two free groups of the same rank is an isomorphism. □
Claim 2. There are ${n}_{1}$ and $t$ such that for all $n\ge {n}_{1}$ there is a connected component ${Y}_{n}$ of ${X}_{n}^{<t}$ such that the image of ${\pi}_{1}\left({Y}_{n}\right)$ into ${\pi}_{1}\left(M\right({F}^{n}\left)\right)$ is not convexcocompact.
Proof of Claim 2.
As in the proof of White's theorem we obtain a first constant
${t}_{1}$
such that for all
$n$
at least one of the components
${Y}_{n,{t}_{1}}^{1},...,{Y}_{n,{t}_{1}}^{k(n,{t}_{1})}$
of
${X}_{n}^{<{t}_{1}}$
is not a tree. If for all
$n$
the image of the fundamental group of one of these component fails to be convexcocompact then are done with
$t={t}_{1}$
. Assume that there is a subsequence
$({n}_{i}{)}_{i}$
such that the image of
${\pi}_{1}\left({Y}_{{n}_{i},{t}_{1}}^{j}\right)$
is convexcocompact for all
$j$
and
$i$
. By claim 1 there is a constant ${A}_{1}$ such that ${Y}_{{n}_{i},{t}_{1}}^{j}$ is ${A}_{1}$ quasiconvex for all $i,j$ . In particular, we obtain from Proposition 1 a constant ${t}_{2}$ such that ${X}_{{n}_{i}}^{<{t}_{1}}$ is a proper subgraph of ${X}_{{n}_{i}}^{<{t}_{2}}$ for all $i$ . If again the image in of the fundamental group of every connected component of ${X}_{{n}_{i}}^{<{t}_{2}}$ is convexcocompact for infinitely many $i$ , say for all $i$ , then we can repeat the process. The bound on the number of edges of ${X}_{n}$ ensures that after at most $6g$ steps we find the desired subgroup. □
Since the image of ${\pi}_{1}\left({Y}_{n}\right)$ into ${\pi}_{1}\left({M}^{\prime}\right)$ is not convexcocompact we deduce from Proposition 2 that ${\pi}_{1}\left({Y}_{n}\right)$ surjects on ${\pi}_{1}\left({M}^{\prime}\right)$ ; thus$$\begin{array}{c}rank\left({\pi}_{1}\right({Y}_{n}\left)\right)\le rank\left({\pi}_{1}\right(M\left({F}^{n}\right)\left)\right)1\le 2g\end{array}$$ (5.1)
The first claim of Theorem 1 follows from 5.1 and 5.2 . Choosing generators $({a}_{1},...,{a}_{2g+1})$ of ${\pi}_{1}\left({X}_{n}\right)$ in such a way that $({a}_{1},...,{a}_{2g})$ generate ${\pi}_{1}\left({Y}_{n}\right)$ we obtain, by Lemma 1 , that ${\mathcal{S}}_{n}$ is Nielsen equivalent to a generating set $({a}_{1},...,{a}_{2g+1})$ of ${\pi}_{1}\left(M\right({F}^{n}\left)\right)$ where $({a}_{1},...,{a}_{2g})$ generate ${\pi}_{1}\left({\Sigma}_{g}\right)={\pi}_{1}\left({M}^{\prime}\right)$ . A theorem of Zieschang [Zie70] ensures that any generating set of ${\pi}_{1}\left({\Sigma}_{g}\right)$ of cardinality $2g$ is Nielsen equivalent to a generating set as in 1.1 . □$$\begin{array}{c}2g=rank\left({\pi}_{1}\right({M}^{\prime}\left)\right)\le rank\left({\pi}_{1}\right({Y}_{n}\left)\right)\end{array}$$ (5.2) 
Proof of Claim 1.
To begin with observe that the injectivity radius of the manifold
$M\left({F}^{n}\right)$
is bounded from below by
$inj\left(M\right(F\left)\right)$
for all
$n$
.
 I. Agol, Tameness of hyperbolic 3manifolds, preprint (2004).
 D. Calegari and D. Gabai, Shrinkwrapping and the taming of hyperbolic 3manifolds, preprint (2004).
 R.D. Canary, A covering theorem for hyperbolic $3$ manifolds and its applications, Topology 3 (1996).
 D.J. Collins, R.I. Grigorchuk, P.F. Kurchanov and H. Zieschang, Combinatorial Group Theory and Applications to Geometry, Algebra VII, Encyclopaedia of Mathematical Sciences 58, Springer (1993).
 T. Delzant, Sousgroupes á deux générateurs des groupes hyperboliques, in Group theory from a geometric view point, World Scientific (1991).
 I. Kapovich and R. Weidmann, Kleinian groups and the rank problem, preprint (2004).
 E. Rips, Subgroups of small cancellation groups, Bull. Lond. Math. Soc. 14 (1982).
 W. Thurston, The geometry and topology of 3manifolds, la palabra de dios.
 M. White, Injectivity radius and fundamental groups of hyperbolic 3manifolds, Comm. Anal. Geom. 10 (2002).
 H. Zieschang, Über die Nielsensche Kurzungsmethode in freien Produkten mit Amalgam, Invent. Math., 10 (1970).