<ph f="cmr"/><ph f="cmbx">The rank of the fundamental group of hyperbolic 3-manifolds fibering over the circle</ph>

Juan Souto

1 Introduction

The probably most basic invariant of a finitely generated group is its rank, i.e. the minimal number of elements needed to generate it. While in general the rank is not computable [Rip82, recently Kapovich-Weidmann [KWgave an algorithm determining rank ( π 1 ( M ) )   when M   is a 3-manifold.
However, it is not possible to give a priori bounds on the complexity of this algorithm and hence it seems difficult to use it to obtain precise results in concrete situations. The goal of this note is to determine the rank of the fundamental group of a particularly nice class of 3-manifolds.
Let
Σ g   be the closed (orientable) surface of genus g 2   . It is well-known that the group π ( Σ g )   has rank 2 g   and admits a presentation as follows:
π 1 ( Σ g ) = a 1 , b 1 , . . . , a g , b g | g i = 1 [ a i , b i ] (1.1)
Given a mapping class F : Σ g Σ g   we consider in the sequel the mapping torus M ( F ) = Σ g × [ 0 , 1 ] / ( x , 1 ) ( F ( x ) , 0 )   By construction we have π 1 ( M ( F ) ) = π 1 ( Σ ) * Z   and hence, considering generating sets of π 1 ( Σ g )   as in  1.1 and adding a further element corresponding to the HNN-extension we obtain generating sets of π 1 ( M ( F ) )   with 2 g + 1   elements. We will say that the so-obtained generating sets are standard. In this note we prove:
Theorem 1. Let Σ g   be the closed surface of genus g 2   , F 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 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:
I n v e r s i o n o f g i { g i = g i 1 g k = g k k i
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 j { g i = g j g j = g i g k = g k k i , j
T w i s t o f g i b y g j w i t h i j { g i = g i g j g k = g k k i
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 Γ 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 [Whi02who 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 [Del91on 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 M   of a connected graph X   into M   is a carrier graph if the homomorphism f * : π 1 ( X ) π 1 ( M )   is surjective. Two carrier graphs f : X M   and g : Y M   are equivalent if there is a homotopy equivalence h : X Y   such that f   and g h   are free homotopic.
To every generating set S = ( g 1 , . . . , g r )   of π 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 π 1 ( M )   the homomorphism given by mapping the free basis S F S   to the generating set S π 1 ( M )   and X S   a graph with π 1 ( X S ) = F S   . The homomorphism φ S : F S π 1 ( M )   determines a free homotopy class of maps f S : X S 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 S ¯   of F S   with S = φ S ( S ¯ )   .
  • (3) There is an isomorphism ψ : F S F S   with φ S = φ S ψ   .
  • (4) S   and S   have the same associated equivalence classes of carrier graphs.
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 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 M w i t h rank ( π 1 ( X ) ) = rank ( π 1 ( M ) ) .  
Given a carrier graph f : X 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 ( I )   in M   . Measuring the minimal length of a path joining two points in X   we obtain a semi-distance d f : X M   on X   and we define the length l ( f : X M )   of the carrier graph f : X M   as the sum of the lengths of the edges of X   with respect to d f : X M   . The semi-distance d f : X 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 M   is in fact a distance.
Definition. A carrier graph f : X M   has minimal length if l ( f : X M ) l ( f : X M )   for every equivalent carrier graph f : X M   .
If 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 2 π 3   and every simple closed path in X   represents a non-trivial element in π 1 ( M )   .
See White [Whi02,Section2for a proof of Lemma  2 .

3 Quasi-convex subgraphs

Recall that a map φ : X 1 X 2   between two metric spaces is an ( L , A )   -quasi-isometric embedding if 1 L d X 1 ( x , y ) A d X 2 ( φ ( x ) , φ ( y ) ) L d X 1 ( x , y ) + A   for all x , y X 1   . A ( L , A )   -quasi-isometric embedding φ : R 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 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 π 4   is a A   -bi-Lipschitz embedding.
  •   If K H 3   is convex then every geodesic ray γ : [ 0 , ) H 3   with γ ( 0 ) K   meets the boundary N L ( K )   of the neighborhood N L ( K )   of radius L   around K   with at least angle π 4   .
If f : X M   is a carrier graph in a hyperbolic 3-manifold M   we denote by f ~ : X ~ 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 f ~   cannot be an embedding. However, subgraphs of X   may well be quasi-isometrically embedded.
Definition. A connected subgraph Y X   of a carrier graph f : X M   is A   -quasi-convex for some A > 0   if:
  •   The restriction f ~ | Y ~ : Y ~ H 3   of the map f ~   to the universal cover Y ~   of Y   is an ( A , A )   -quasi-isometric embedding.
  •   Every point in 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 1 A   for every γ π 1 ( Y )   .
Recall that a discrete subgroup G   of PSL 2 C   is convex-cocompact if there is a convex G   -invariant subset C H 3   of hyperbolic space with C / G   compact. The smallest such convex subset of H 3   is the convex-hull C H ( G )   of G   and has the well-known property of being the closure of the union of all axis of elements in G   .
If
Y   is a graph and g : Y M   is a map whose lift g ~ : Y ~ 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 X   is A   -quasi-convex and γ π 1 ( Y )   is non-trivial then the image f ~ ( Axis ( γ ) )   is an ( A , A )   -quasi-geodesic and hence it is at uniformly bounded distance of the axis Axis ( f * ( γ ) )   of f * ( γ )   . In particular, there is d   depending only on A   with f ~ ( Y ~ ) N d ( C H ( f * ( π 1 ( Y ) ) ) ) N 2 d ( f ~ ( 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 M   there is a f * ( π 1 ( Y ) )   -invariant convex-subset C ¯ ( Y )   with f ~ ( Y ~ ) C ¯ ( Y ) N d ( f ~ ( Y ~ ) ) ,   and such that d H 3 ( x , γ x ) l 0   for all x C ¯ ( Y )   and γ 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 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
  •   f ~ : X ~ H 3   is a quasi-isometric embedding and hence π 1 ( M )   is free, or
  •   the graph X \ i Y i   contains an edge of at most length L   .

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 2   and F Map ( Σ g )   a pseudo-Anosov mapping class.
Then the mapping torus
M ( F ) = Σ g × [ 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 ) ) 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 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 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 n D   : Every subset K 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   of π 1 ( M )   of rank at most 2 g   is free and 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 ) ) r   has inj ( M ) R   .
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 2   , F 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 n F   .
References

  1. I. Agol, Tameness of hyperbolic 3-manifolds, preprint (2004).
  2. D. Calegari and D. Gabai, Shrinkwrapping and the taming of hyperbolic 3-manifolds, preprint (2004).
  3. R.D. Canary, A covering theorem for hyperbolic 3   -manifolds and its applications, Topology 3 (1996).
  4. 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).
  5. T. Delzant, Sous-groupes á deux générateurs des groupes hyperboliques, in Group theory from a geometric view point, World Scientific (1991).
  6. I. Kapovich and R. Weidmann, Kleinian groups and the rank problem, preprint (2004).
  7. E. Rips, Subgroups of small cancellation groups, Bull. Lond. Math. Soc. 14 (1982).
  8. W. Thurston, The geometry and topology of 3-manifolds, la palabra de dios.
  9. M. White, Injectivity radius and fundamental groups of hyperbolic 3-manifolds, Comm. Anal. Geom. 10 (2002).
  10. H. Zieschang, Über die Nielsensche Kurzungsmethode in freien Produkten mit Amalgam, Invent. Math., 10 (1970).

CNRS, Laboratoire de mathematiques Emile Picard (UMR5580)