, ,

Theorem 1. Let

Σ_{g}

be the closed surface of genus

g \geq 2

F \in Map (Σ_{g})

a pseudo-Anosov mapping class and

M (F^{n})

the mapping torus of

F^{n}

. There is

n_{F}

with

rank (π_{1} (M (F^{n}))) = 2 g + 1

and such that any generating set of

π_{1} (M (F^{n}))

with minimal cardinality is Nielsen equivalent to an standard generating set for all

n \geq n_{F}

Recall that two (ordered) generating sets

S = (g_{1}, . . ., g_{r})

and

S^{'} = (g_{1}^{'}, . . ., g_{r}^{'})

are Nielsen equivalent if they belong to the same class of the equivalence relation generated by the following three moves:

\begin{matrix} I n v e r s i o n o f g_{i} & {\begin{matrix} g_{i}^{'} = g_{i}^{- 1} \\ g_{k}^{'} = g_{k} & k \neq i \end{matrix} \end{matrix}

\begin{matrix} P e r m u t a t i o n o f g_{i} a n d g_{j} w i t h i \neq j & {\begin{matrix} g_{i}^{'} = g_{j} \\ g_{j}^{'} = g_{i} \\ g_{k}^{'} = g_{k} & k \neq i, j \end{matrix} \end{matrix}

\begin{matrix} T w i s t o f g_{i} b y g_{j} w i t h i \neq j & {\begin{matrix} g_{i}^{'} = g_{i} g_{j} \\ g_{k}^{'} = g_{k} & k \neq i \end{matrix} \end{matrix}

In section 2 we recall the relation between Nielsen equivalence classes of generating sets of the fundamental group of a manifold

M

and free homotopy classes of graphs in

M

. Choosing such a graph with minimal length we obtain a link between the algebraic problem on the rank of

π_{1} (M)

and the geometry of the manifold. In section 3 we prove Proposition 1 which is essentially a generalization of the fact that paths in hyperbolic space

H^{3}

which consist of large geodesic segments meeting at large angles are quasi-geodesic. Hyperbolic geometry comes into the picture through a theorem of Thurston who proved that the mapping torus

M (F)

of a pseudo-Anosov mapping class admits a metric of constant negative curvature; equivalently, there is a discrete torsion-free subgroup

Γ \subset {PSL}_{2} C = {Isom}_{+} (H^{3})

with

M (F)

homeomorphic to

H^{3} / Γ

. The geometry of the manifolds

M (F^{n})

is well understood and in section 4 we review very briefly some facts needed in section 5 to prove Theorem 1 .

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 3-manifold 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 3-manifolds and in the work of Kapovich-Weidmann [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 3-manifold.

Definition. A map

f : X \to M

of a connected graph

X

into

M

is a carrier graph if the homomorphism

f_{*} : π_{1} (X) \to π_{1} (M)

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

S = (g_{1}, . . ., g_{r})

π_{1} (M)

one can associate an equivalence class of carrier graphs as follows: Let

F_{S}

be the free non-abelian group generated by the set

S

φ_{S} : F_{S} \to π_{1} (M)

the homomorphism given by mapping the free basis

S \subset F_{S}

to the generating set

S \subset π_{1} (M)

and

X_{S}

a graph with

π_{1} (X_{S}) = F_{S}

. The homomorphism

φ_{S} : F_{S} \to π_{1} (M)

determines a free homotopy class of maps

f_{S} : X_{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

S

Lemma 1. Let

S

and

S^{'}

be finite generating sets of

π_{1} (M)

with the same cardinality. Then the following are equivalent:

(1) $S$ and $S^{'}$ are Nielsen equivalent.
(2) There is a free basis $\bar{S}$ of $F_{S^{'}}$ with $S = φ_{S^{'}} (\bar{S})$ .
(3) There is an isomorphism $ψ : F_{S} \to F_{S^{'}}$ with $φ_{S} = φ_{S^{'}} \circ ψ$ .
(4) $S$ and $S^{'}$ have the same associated equivalence classes of carrier graphs.

Sketch of the proof. The implications (1) $\Rightarrow$ (2) $\Leftrightarrow$ (3) $\Leftrightarrow$ (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] ). □

The natural bijection given by Lemma 1 between the set of Nielsen equivalence classes of generating sets of

π_{1} (M)

and the set of equivalence classes of carrier graphs

f : X \to M

plays a central role in the proof of Theorem 1 .

C o n v e n t i o n : F r o m n o w o n w e w i l l o n l y c o n s i d e r g e n e r a t i n g s e t s o f m i n i m a l c a r d i n a l i t y . E q u i v a l e n t l y, w e c o n s i d e r o n l y c a r r i e r g r a p h s f : X \to M w i t h rank (π_{1} (X)) = rank (π_{1} (M)) .

Given a carrier graph

f : X \to M

and a path

I

X

we say that its length is the length, with respect to the hyperbolic metric, of the path

f (I)

M

. Measuring the minimal length of a path joining two points in

X

we obtain a semi-distance

d_{f : X \to M}

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 semi-distance

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 semi-distance 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 semi-distance

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) \leq l (f^{'} : X^{'} \to M)

for every equivalent carrier graph

f^{'} : X^{'} \to M

M

is closed then it follows from Arzela-Ascoli's theorem that every equivalence class of carrier graphs contains a carrier graph with minimal length:

Lemma 2. If

M

is a closed hyperbolic 3-manifold, 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 π}{3}

and every simple closed path in

X

represents a non-trivial element in

π_{1} (M)

. □

See White [Whi02,Section2] for a proof of Lemma 2 .

3 Quasi-convex subgraphs

Recall that a map

φ : X_{1} \to X_{2}

between two metric spaces is an

(L, A)

-quasi-isometric embedding if

\frac{1}{L} d_{X_{1}} (x, y) - A \leq d_{X_{2}} (φ (x), φ (y)) \leq L d_{X_{1}} (x, y) + A

for all

x, y \in X_{1}

. A

(L, A)

-quasi-isometric embedding

φ : R \to X

is said to be a quasi-geodesic. Before going further, we state here and for further reference the following well-known fact:

Lemma 3. There are constants

l_{0}, A > 0

such that for all

L \geq l_{0}

the following holds:

$∙$ Every path in hyperbolic space $H^{3}$ which consists of geodesic segments of at least length $L$ and such that all the angles are at least $\frac{π}{4}$ is a $A$ -bi-Lipschitz embedding.
$∙$ If $K \subset H^{3}$ is convex then every geodesic ray $γ : [0, \infty) \to H^{3}$ with $γ (0) \in K$ meets the boundary $\partial N_{L} (K)$ of the neighborhood $N_{L} (K)$ of radius $L$ around $K$ with at least angle $\frac{π}{4}$ . □

f : X \to M

is a carrier graph in a hyperbolic 3-manifold

M

we denote by

\tilde{f} : \tilde{X} \to 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

\tilde{f}

cannot be an embedding. However, subgraphs of

X

may well be quasi-isometrically embedded.

Definition. A connected subgraph

Y \subset X

of a carrier graph

f : X \to M

A

-quasi-convex for some

A > 0

if:

$∙$ The restriction $\tilde{f} |_{\tilde{Y}} : \tilde{Y} \to H^{3}$ of the map $\tilde{f}$ to the universal cover $\tilde{Y}$ of $Y$ is an $(A, A)$ -quasi-isometric embedding.
$∙$ Every point in $\tilde{Y}$ is at most at distance $A$ of the axis of some element of $π_{1} (Y)$ .
$∙$ The translation length of every element $f_{*} (γ)$ in $H^{3}$ is at least $\frac{1}{A}$ for every $γ \in π_{1} (Y)$ .

Recall that a discrete subgroup

G

{PSL}_{2} C

is convex-cocompact if there is a convex

G

-invariant subset

C \subset H^{3}

of hyperbolic space with

C / G

compact. The smallest such convex subset of

H^{3}

is the convex-hull

C H (G)

G

and has the well-known property of being the closure of the union of all axis of elements in

G

Y

is a graph and

g : Y \to M

is a map whose lift

\tilde{g} : \tilde{Y} \to H^{3}

is a quasi-isometric embedding then the image

g_{*} (π_{1} (Y))

is a free convex-cocompact subgroup. Intuitively, considering

A

-quasi-convex graphs amounts to considering uniformly convex-cocompact free subgroups.

More precisely, if

Y \subset X

A

-quasi-convex and

γ \in π_{1} (Y)

is non-trivial then the image

\tilde{f} (Axis (γ))

is an

(A, A)

-quasi-geodesic and hence it is at uniformly bounded distance of the axis

Axis (f_{*} (γ))

f_{*} (γ)

. In particular, there is

d

depending only on

A

with

\tilde{f} (\tilde{Y}) \subset N_{d} (C H (f_{*} (π_{1} (Y)))) \subset N_{2 d} (\tilde{f} (\tilde{Y}))

This fact, together with the last condition in the definition of

A

-quasi-convex, implies:

Lemma 4. For all

A

there is

d

such that for every hyperbolic manifold

M

and every

A

-quasi-convex subgraph

Y

of a minimal length carrier graph

f : X \to M

there is a

f_{*} (π_{1} (Y))

-invariant convex-subset

\bar{C} (Y)

with

\tilde{f} (\tilde{Y}) \subset \bar{C} (Y) \subset N_{d} (\tilde{f} (\tilde{Y})),

and such that

d_{H}^{3} (x, γ x) \geq l_{0}

for all

x \in \partial \bar{C} (Y)

and

γ \in f_{*} (π_{1} (Y))

. 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 3-manifold,

f : X \to M

is a minimal length carrier graph with

s

edges,

Y_{1}, . . ., Y_{k}

are disjoint connected

A

-quasi-convex subgraphs of

X

then either

$∙$ $\tilde{f} : \tilde{X} \to H^{3}$ is a quasi-isometric embedding and hence $π_{1} (M)$ is free, or
$∙$ the graph $X \ \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 f ~ : X ~ → H 3 is a quasi-isometric embedding whenever every edge in X \ ∪ Y i has at least length 6 l 0 + 4 d
.
Seeking a contradiction, assume that this is not the case. Then there is a bi-infinite geodesic γ in X ~ whose image f ~ ( γ )
is not a quasi-geodesic.
We decompose $γ = \cup_{i \in Z} I_{i}$ into segments $I_{i}$ such that

$∙$ For $i$ even $\tilde{f} (I_{i})$ is contained in $f_{*} (γ_{j}) N_{2 l_{0}} (\bar{C} (Y_{j}))$ for suitable choices of $γ_{j}$ and $Y_{j}$ .

$∙$ For $i$ odd $\tilde{f} (I_{i})$ is a path consisting of geodesic segments of at least length $2 l_{0}$ .

For $i$ even we homotope $\tilde{f} (I_{i})$ relative to its endpoints to a geodesic segment $J_{i}$ . By Lemma 3 there is $i$ even such the endpoints $x_{i}, y_{i}$ of $J_{i}$ , i.e. the endpoints of $I_{i}$ , are at distance less than $l_{0}$ . The last statement of Lemma 4 implies that the path $I_{i} \cup J_{i}$ is homotopically trivial; in particular, we can replace in an equivariant way the segment joining $x_{i}$ to the corresponding $\tilde{f} ({\tilde{Y}}_{j})$ by $J_{i}$ . Doing so we get a new equivalent carrier graph $f^{'} : X^{'} \to M$ with length $l (f^{'} : X^{'} \to M^{'}) \leq l (f : X \to M) + l_{0} - 2 l_{0} < l (f : X \to M)$ contradicting the minimality of the length of $f : X \to M$ . This concludes the proof of the proposition. □

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

Σ_{g}

be the closed surface of genus

g \geq 2

and

F \in Map (Σ_{g})

a pseudo-Anosov mapping class.

Then the mapping torus

M (F) = Σ_{g} \times [0, 1] / (x, 1) ≃ (F (x), 0)

admits a hyperbolic metric.

The manifold

M (F)

fibers over the circle with fiber

Σ_{g}

and monodromy

F

. Let

π : π_{1} (M (F)) \to Z

be the homomorphism given by this fibering and observe that

M (F^{n})

is homeomorphic, and hence isometric by Mostow's rigidity theorem, to the cover of

M (F)

corresponding to the kernel of the composition of

π

and the canonical homomorphism

Z \to Z / n Z

. Let

M^{'}

be the infinite cover of

M (F)

corresponding to the kernel of

π

; in the sequel we will always consider

M^{'}

with the unique hyperbolic metric such that the covering

M^{'} \to M (F)

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 \geq n_{D}

: Every subset

K \subset M (F^{n})

of diameter at most

D

lifts homeomorphically to

M^{'}

. □

Many of the arguments used in the present paper rely on properties of finitely generated subgroups of the fundamental group of

M^{'}

Proposition 2. Every proper subgroup

G

π_{1} (M^{'})

of rank at most

2 g

is free and convex-cocompact.

Sketch of the proof. The manifold $M^{'}$ is homeomorphic to $Σ_{g} \times R$ . In particular, every proper subgroup of $π_{1} (M^{'}) ≃ π_{1} (Σ_{g})$ is either free or isomorphic to the fundamental group of a closed surface which covers $Σ_{g}$ with at least degree 2. Any such surface has genus greater than $g$ and hence its fundamental group has rank greater than $2 g$ . We have proved that the group $G$ is free. A result due to Thurston in this case and to Agol [Ago] and Calegari-Gabai [CG] in much more generality asserts that $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 convex-cocompact. □

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 warming-up, we show the result of White mentioned in the introduction:

Theorem (White [Whi02] ). For all

r

there is

R

such that every closed hyperbolic 3-manifold

M

with

rank (π_{1} (M)) \leq r

has

inj (M) \leq R

Proof. Let $f : X \to M$ be a minimal length carrier graph in the class of a minimal generating set of $π_{1} (M)$ ; observe that $X$ has at most $s = 3 (r - 1)$ 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 non-trivial element in $π_{1} (M)$ by Lemma 2 and has at most length $3 t (r - 1)$ . 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 $π_{1} (M)$ is not free and in particular $\tilde{f} : \tilde{X} \to H^{3}$ cannot be a quasi-isometric 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 (\tilde{Y}) = diam (Y) \leq 3 (r - 1) l_{0}$ and hence the map $\tilde{f} |_{\tilde{Y}} : \tilde{Y} \to H^{3}$ is a $(3 (r - 1) l_{0}, 3 (r - 1) l_{0})$ -quasi-isometric embedding. We obtain from Proposition 1 a constant $l_{1} = l_{1} (r)$ 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} (r)$ 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 (r - 1)$ times; this concludes the proof of White's theorem. □

As we see, the proof of White's theorem yields in fact that every generating set

(g_{1}, . . ., g_{r})

is Nielsen-equivalent to a generating set

(g_{1}^{'}, . . ., g_{r}^{'})

such that the translation length of

g_{1}^{'}

is uniformly bounded.

The idea of the proof of Theorem 1 is to show that every generating set of

π_{1} (M (F^{n}))

is Nielsen equivalent to a generating set such that the translation lengths of all elements but 1 are uniformly bounded.

Theorem 1 . Let

Σ_{g}

be the closed surface of genus

g \geq 2

F \in Map (Σ_{g})

a pseudo-Anosov mapping class and

M (F^{n})

the mapping torus of

F^{n}

. There is

n_{F}

with

rank (π_{1} (M (F^{n}))) = 2 g + 1

and such that any generating set of

π_{1} (M (F^{n}))

with minimal cardinality is Nielsen equivalent to an standard generating set for all

n \geq n_{F}

Proof. For all

n

let

S_{n}

be a generating set of

π_{1} (M (F^{n}))

with minimal cardinality and

f_{n} : X_{n} \to M (F^{n})

a minimal length carrier graph in the equivalence class determined by

S_{n}

. As remarked in the introduction

rank (π_{1} (M (F^{n}))) \leq 2 g + 1

and hence

X_{n}

has at most

6 g

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}

X_{n}

of length less than

D

and such that the image of

π_{1} (Y_{n})

is convex-cocompact one has:

Y_{n}

A_{D}

-quasi-convex for all

n \geq n_{D}

Proof of Claim 1. To begin with observe that the injectivity radius of the manifold $M (F^{n})$ is bounded from below by $inj (M (F))$ for all $n$ .
In particular, the last condition in the definition of $A$ -quasi-convex is automatically satisfied for every $A$ with $A^{- 1} \leq inj (M (F))$ .
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}$ -quasi-convex but such that $(f_{n_{i}})_{*} (π_{1} (Y_{n_{i}}))$ is convex-cocompact. Composing the map $f_{n_{i}} : X_{n_{i}} \to M (F^{n_{i}})$ with the covering $M (F^{n_{i}}) \to M (F)$ we obtain from Arzela-Ascoli's theorem that, up to conjugacy in $π_{1} (M (F))$ and passing to a subsequence, we may assume that $(f_{n_{i}})_{*} (π_{1} (Y_{n_{i}})) = (f_{n_{j}})_{*} (π_{1} (Y_{n_{j}}))$ are conjugated for all $i, j$ . In particular, the desired contradiction follows if we show that the map $π_{1} (Y_{n_{i}}) \to f_{*} (π_{1} (Y_{n_{i}}))$ is an isomorphism.
By Lemma 5 there is $i_{D}$ such that for all $i \geq i_{D}$ the graph $Y_{n_{i}}$ lifts to $M^{'}$ . In particular we obtain from Proposition 2 that $(f_{n_{i}})_{*} (π_{1} (Y_{n_{i}}))$ is a free subgroup of $π_{1} (M^{'})$ which has in particular at most the same rank as $π_{1} (Y_{n_{i}})$ . Minimality of the generating set ensures that $rank ((f_{n_{i}})_{*} (π_{1} (Y))) = rank (π_{1} (Y_{n_{i}})) .$ We are done, since every surjective homomorphism between two free groups of the same rank is an isomorphism. □

We use now an argument similar to the one in the proof of White's theorem to show:

Claim 2. There are

n_{1}

and

t

such that for all

n \geq n_{1}

there is a connected component

Y_{n}

X_{n}^{< t}

such that the image of

π_{1} (Y_{n})

into

π_{1} (M (F^{n}))

is not convex-cocompact.

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 convex-cocompact then are done with $t = t_{1}$ . Assume that there is a subsequence $(n_{i})_{i}$ such that the image of $π_{1} (Y_{n_{i}, t_{1}}^{j})$ is convex-cocompact 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}$ -quasi-convex 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 convex-cocompact 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 $6 g$ steps we find the desired subgroup. □

We can now conclude the proof of Theorem 1 . The subgraph

Y_{n}

X_{n}

provided by claim 2 is contained in

X_{n}^{< t}

and therefore it has at most diameter

6 g t

. By Lemma 5 there is

n_{1}

such that

Y_{n}

lifts to

M^{'}

for all

n \geq n_{1}

; in particular,

π_{1} (Y_{n})

does not surject onto

π_{1} (M (F^{n}))

and hence one has

\begin{matrix} rank (π_{1} (Y_{n})) \leq rank (π_{1} (M (F^{n}))) - 1 \leq 2 g \end{matrix}

(5.1)

Since the image of

π_{1} (Y_{n})

into

π_{1} (M^{'})

is not convex-cocompact we deduce from Proposition 2 that

π_{1} (Y_{n})

surjects on

π_{1} (M^{'})

; thus

\begin{matrix} 2 g = rank (π_{1} (M^{'})) \leq rank (π_{1} (Y_{n})) \end{matrix}

(5.2)

The first claim of Theorem 1 follows from 5.1 and 5.2 . Choosing generators

(a_{1}, . . ., a_{2 g + 1})

π_{1} (X_{n})

in such a way that

(a_{1}, . . ., a_{2 g})

generate

π_{1} (Y_{n})

we obtain, by Lemma 1 , that

S_{n}

is Nielsen equivalent to a generating set

(a_{1}, . . ., a_{2 g + 1})

π_{1} (M (F^{n}))

where

(a_{1}, . . ., a_{2 g})

generate

π_{1} (Σ_{g}) = π_{1} (M^{'})

. A theorem of Zieschang [Zie70] ensures that any generating set of

π_{1} (Σ_{g})

of cardinality

2 g

is Nielsen equivalent to a generating set as in 1.1 . □

References

I. Agol, Tameness of hyperbolic 3-manifolds, preprint (2004).
D. Calegari and D. Gabai, Shrinkwrapping and the taming of hyperbolic 3-manifolds, 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, Sous-groupes á 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 3-manifolds, la palabra de dios.
M. White, Injectivity radius and fundamental groups of hyperbolic 3-manifolds, Comm. Anal. Geom. 10 (2002).
H. Zieschang, Über die Nielsensche Kurzungsmethode in freien Produkten mit Amalgam, Invent. Math., 10 (1970).

CNRS, Laboratoire de mathematiques Emile Picard (UMR5580)

Juan Souto