## Finite covers of random 3-manifolds (2005)

Citations: | 12 - 0 self |

### BibTeX

@MISC{Dunfield05finitecovers,

author = {Nathan M. Dunfield and William P. Thurston},

title = {Finite covers of random 3-manifolds},

year = {2005}

}

### OpenURL

### Abstract

A 3-manifold is Haken if it contains a topologically essential surface. The Virtual Haken Conjecture posits that every irreducible 3-manifold with infinite fundamental group has a finite cover which is Haken. In this paper, we study random 3-manifolds and their finite covers in an attempt to shed light on this difficult question. In particular, we consider random Heegaard splittings by gluing two handlebodies by the result of a random walk in the mapping class group of a surface. For this model of random 3-manifold, we are able to compute the probabilities that the resulting manifolds have finite covers of particular kinds. Our results contrast with the analogous probabilities for groups coming from random balanced presentations, giving quantitative theorems to the effect that 3-manifold groups have many more finite quotients than random groups. The next natural question is whether these covers have positive betti number. For abelian covers of a fixed type over 3-manifolds of Heegaard genus 2, we show that the probability of positive betti number is 0. In fact, many of these questions boil down to questions about the mapping class group. We are lead to consider the action of mapping class group of a surface Σ on

### Citations

2239 | An Introduction to Probability Theory and its Applications, Volume II. Second edition - Feller - 1971 |

1886 | Random Graphs - Bollobás - 2001 |

1709 | The Probabilistic Method - Alon, Spencer - 1992 |

467 | The entropy formula for the Ricci flow and its geometric applications - Perelman |

428 | An ATLAS of finite groups - Conway, Curtis, et al. - 1985 |

241 | Ricci with surgery on three-manifolds, arXiv: math.DG/0303109 - Perelman |

204 | Asymptotic invariants of infinite groups - Gromov - 1993 |

179 |
Discrete Groups, Expanding Graphs and Invariant Measures, with an appendix by
- LUBOTZKY
- 1994
(Show Context)
Citation Context ...ce, constructing explicit infinite families of expander graphs is quite difficult; the first such construction was based on the congruence quotients of PSL2Z and uses Selberg’s 3/16 Theorem (see e.g. =-=[Lub1]-=-). On the other hand, proofs of existence and practical construction can be done by looking at certain classes of random graphs and showing that the desired property occurs with non-zero probability. ... |

158 | Generating random regular graphs
- Wormald
- 1984
(Show Context)
Citation Context ...eleton of a random element of T2(n) is a uniformly distributed random trivalent graph with n vertices. Thus we can directly apply results about random regular graphs to study properties of T2(n) (see =-=[Wor]-=- for a survey of regular random graphs). For instance, it follows that the probability that Σ ∈ T2(n) is connected goes to 1 as n → ∞. 72.3. Euler characteristic. We will discuss further consequences... |

138 | The Euler characteristic of the moduli space of curves, Invent - Harer, Zagier - 1986 |

126 |
Computations with Finitely Presented Groups
- Sims
- 1994
(Show Context)
Citation Context ...nding manifold. As with random triangulations is unclear if there are even efficient ways to generate such covers experimentally. While enumerating all subgroups of index ≤ L is certainly algorithmic =-=[Sim]-=-, the number of such subgroups grows super-exponentially in our case. This is because π1(M) virtually surjects onto a free group on two-generators. So if we wanted to sample branched cover of index ≤ ... |

90 | Random walk in random groups - Gromov |

82 | Perturbative series and the moduli space of Riemann surfaces - Penner - 1988 |

66 | Cohomology of groups, volume 87 of Graduate Texts in Mathematics - Brown - 1994 |

65 | Analytic pro-p groups - Dixon, Sautoy, et al. - 1991 |

61 | Differentiable periodic maps - Conner, Floyd - 1964 |

38 | Ergodic theory on moduli spaces
- Goldman
- 1997
(Show Context)
Citation Context ...arge the action of Mg on Ag is nearly as mixing as possible. As such, it is directly analogous to Goldman’s theorem that the action 4of Mg on the SU(2)-character variety is ergodic for any genus ≥ 2 =-=[Gol]-=-. Perhaps surprisingly, the proof of Theorem 1.3 uses the the Classification of Simple Groups even for concrete cases such as Q = An. However, the Theorem 7.1, which is a corollary of Theorem 1.3, als... |

37 | E.: Differentiable Periodic Maps, Ergebnisse der Mathematik und ihrer Grenzgebiete - Conner, Floyd - 1964 |

36 | Optimal coding and sampling of triangulations
- Poulalhon, Schaeffer
(Show Context)
Citation Context ...is interesting to note that while spheres make up a vanishingly small proportion of T2(n) as n → ∞, it is actually possible to generate triangulations of S 2 in time linear in the number of triangles =-=[PS]-=-. 2.10. Random Heegaard splittings. Every closed orientable 3-manifold has a Heegaard splitting, that is, can be obtained by gluing together the boundaries of two handlebodies. Considering such descri... |

32 |
3–manifolds as viewed from the curve complex, Topology 40
- Hempel
- 2001
(Show Context)
Citation Context ...c picture, a proof of Conjecture 2.10 is likely to be quite difficult. One approach would be to try to show that the expected distance of the Heegaard splitting defining Nφ (in the sense of 11Hempel =-=[Hem2]-=-) is greater than 2. Namazi’s results connecting Heegaard splittings to hyperbolic geometry are also relevant here [Nam]. Finally, there are other notions of random Heegaard splittings you could consi... |

32 | What do we know about the product replacement algorithm?, Groups and computation
- Pak
- 1999
(Show Context)
Citation Context ...(Eg) contains Alt(Eg). Both of these facts follow immediately from the well-developed theory of the action of Out(Fg) on epimorphisms Fg → Q. We outline the needed results below, following the survey =-=[Pak]-=-, to which we refer the reader for further results along these lines. The material in this subsection is not strictly necessary for the rest of this paper, but has two merits. The first is that it giv... |

31 | Strong approximation for Zariski dense subgroups of semi-simple algebraic groups - Weisfeiler - 1984 |

31 | The virtual Haken conjecture: Experiments and examples
- Dunfield, Thurston
(Show Context)
Citation Context ... that the finite cover has positive first betti number. (In the case of arithmetic 3-manifolds, this is also the version that relates directly to the theory of automorphic forms.) In our prior 5work =-=[DT2]-=-, we found that this conjecture holds for all ≈ 11,000 of the small volume hyperbolic 3-manifolds in the Hodgson-Weeks census. One of our goals here is to determine whether the patterns we observed th... |

25 | Counting cycles in permutations by group characters, with an application to a topological problem - Jackson - 1987 |

25 |
Subgroup growth and congruence subgroups
- Lubotzky
- 1995
(Show Context)
Citation Context ...erbolic 3-manifold M is residually finite is that it is a finitely generated group of matrices, and this gives many quotients of π1(M) of the form PSL2F, where F is a finite field. Lubotzky has shown =-=[Lub2]-=- that such quotients have measure zero among all quotients of π1(M), but his proof provides little insight into what those other quotients might be. For instance, is it reasonable to expect π1(M) to h... |

23 |
Permutation groups, volume 163 of Graduate Texts in Mathematics
- Dixon, Mortimer
- 1996
(Show Context)
Citation Context ...lizer of Eg in G all of Alt(Eg) for large g. Thus G has a subgroups K ⊳ H ≤ G so that H/K is isomorphic to Alt(Eg); in this context, G is said to have a section which is Alt(Eg). Then Theorem 5.5B of =-=[DM]-=- says that since G is 2-transitive, then either G contains Alt(A 0 g ) or ∣ Eg ∣ ∣ < 6 log ∣A 0 ∣ g ∣. The latter can’t happen for large g by the results of Section 6.8, and so Mg acts on A 0 g by the... |

22 | Walks on generating sets of groups
- Diaconis, Saloff-Coste
- 1998
(Show Context)
Citation Context ...ses of such groups [Pak, Thm. 2.5.6]. In general, the bound in the proof we’ll give is proportional to log |Q|. Now, let’s proof the proposition, following Prop. 2.2.2 of [Pak], which in turn follows =-=[DSC]-=-. Proof. Let d be the minimal number of generators of Q. Let ¯ d be the maximal size of a minimal generating set for Q; that is, a generating set for which no proper subset generates. We will show tha... |

19 |
Finite quotients of the automorphism group of a free group
- Gilman
- 1977
(Show Context)
Citation Context ...tric or alternating group. In particular, when Out(Fg) acts transitively, the image of the homomorphism Out(Fg) → Sym(Eg) is either the whole thing or has index two. Theorem 6.26 was proved by Gilman =-=[Gil]-=- for g ≥ 4 and improved to g = 3 by Evans [Eva]. The statements they give are seem to put restrictions on the simple group, but their conditions actually hold for all finite simple groups; see the dis... |

18 | Orthogonal matrices over finite fields - MACWILLIAMS - 1969 |

18 | Property (T) and Kazhdan constants for discrete groups, preprint - ZUK - 1999 |

18 |
Fuchsian groups, coverings of Riemann surfaces, subgroup growth, random quotients and random walks, preprint
- Liebeck, Shalev
(Show Context)
Citation Context ...Everitt manages to build explicit covers which realize these groups. Recently, Liebeck and Shalev have given another proof which studies the question from a very different probabilistic point of view =-=[LS1]-=-. Theorem 7.1 suggests that we might expect the answer to Question 7.6 to be yes because |H2(An)|/|Out(An)| = 1 for all large n. Thus if having covers with different groups are independent random even... |

17 |
The eulerian functions of a group
- Hall
- 1936
(Show Context)
Citation Context ...In order to compute p(Q, g, g) exactly, we need to understand the image S of the induced product map Fg → Q E used in the proof of Proposition 3.3. In this case S is actually all of Q E : 3.7. Lemma (=-=[Hal]-=-). Consider epimorphisms f i : Fg → Q i, where each Q i is a non-abelian finite simple group. Suppose no pair ( f i, f j) are equivalent under an isomorphism of Q i to Q j. Then the product map Fg → ∏... |

15 |
T -systems of certain finite simple groups
- Evans
- 1993
(Show Context)
Citation Context ...Out(Fg) acts transitively, the image of the homomorphism Out(Fg) → Sym(Eg) is either the whole thing or has index two. Theorem 6.26 was proved by Gilman [Gil] for g ≥ 4 and improved to g = 3 by Evans =-=[Eva]-=-. The statements they give are seem to put restrictions on the simple group, but their conditions actually hold for all finite simple groups; see the discussion in [Pak, Thm. 2.4.3]. The proof Theorem... |

14 |
The word problem in fundamental groups of sufficiently large irreducible 3-manifolds
- Waldhausen
- 1968
(Show Context)
Citation Context ...e a closed irreducible 3-manifold with π1(M) infinite. Then M has a finite cover which is Haken, i.e. contains an incompressible surface. This conjecture was first proposed by Waldhausen in the 1960s =-=[Wal]-=-. It is often motivated as a way of reducing questions to the case of Haken manifolds, where one has the most topological tools available. However, we prefer to view it as an intrinsic question about ... |

13 |
The Schur Multiplier: an elementary approach
- WIEGOLD
- 1982
(Show Context)
Citation Context ...lassifying spaces Σg → BQ. In the context of finite groups, H2(Q, Z) is usually called the Schur multiplier, and it is an important invariant there, especially in the study of simple groups (see e.g. =-=[Wie]-=-). In this section all homology groups will have Z coefficients, so we will stop including this in the notation. It is not quite true that this homology class is well defined for elements of Ag, but w... |

13 | Fuchsian groups, finite simple groups and representation varieties”, Invent - Liebeck, Shalev |

12 | On the distribution of the number of cycles of elements in symmetric groups - Zagier - 1995 |

11 | Alternating Quotients of Fuchsian Groups
- Everitt
(Show Context)
Citation Context ...tion for hyperbolic surfaces is trivially yes (since those groups surject onto a free group of rank 2), the 2-dimensional case becomes interesting if we generalize to orbifolds. In this case, Everitt =-=[Eve]-=- has shown that the fundamental group of any hyperbolic 2-orbifold surjects onto An for all large n; the hard cases here are the S 2 (p, q, r) orbifolds and there Everitt manages to build explicit cov... |

11 | A random tunnel number one 3–manifold does not fiber over the circle, Geom
- Dunfield, Thurston
(Show Context)
Citation Context ...al. Recent work of the first author and Dylan Thurston shows a similar sharp divergence behavior with respect to fibering over the circle, where here a group “fibers” if is an algebraic mapping torus =-=[DT1]-=-. Surprisingly, the 3-manifolds studied there were much less likely to fiber than similar finitely presented groups. 61.7. Outline of contents. In Section 2, we discuss several different models of ra... |

10 |
Surface symmetry
- Edmonds
- 1982
(Show Context)
Citation Context ...e stabilization is needed is PSL2F13 where there are multiple orbits of A2 which correspond to 0 in H2 (see Example 6.4). For some meta-cyclic groups, Edmonds showed that no stabilization is required =-=[Edm]-=-. Zimmermann [Zim] gave a quite different, purely algebraic, proof of this theorem which might be useful for an analysis of the degree of stabilization required for particular Q. We now give the proof... |

10 | Matrix Integration and Combinatorics of Modular Groups - Itzykson, Zuber - 1990 |

9 | Profinite groups, volume 40 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A - Ribes, Zalesskii - 2000 |

9 | Finite Groups and Hyperbolic Manifolds
- Belolipetsky, Lubotzky
(Show Context)
Citation Context ...˙Zuk, Gro2]. Very recently, Belolipetsky and Lubotzky have used random techniques to show that given n and a finite group G there exists a hyperbolic n-manifold whose full isometry group is exactly G =-=[BL]-=-. Perhaps similar techniques could be applied to questions about 3-manifolds. In particular, to construct 3-manifolds with a certain list of properties, one could try to show that these properties occ... |

7 | Spanning trees and a conjecture of Kontsevich - Stanley - 1998 |

7 | Injectivity Radius and Fundamental Groups of Hyperbolic 3-Manifolds
- White
(Show Context)
Citation Context ...age is that the need to fix the Heegaard genus feels artificial from some points of view. For instance, it means that the injectivity radius of a hyperbolic structure on Nφ is uniformly bounded above =-=[Whi]-=-. A very natural question is how often does the same 3-manifold appear as we increase L? For instance, there are arbitrarily long walks φ in Mg for which Nφ = S 3 . Thus you might worry that some smal... |

6 | Representations by quadratic forms in a finite field - Carlitz - 1954 |

6 |
Gaussian random polygons are globally knotted
- Jungreis
- 1994
(Show Context)
Citation Context ...t of a uniformly distributed collection of unit length sticks stuck end to end (see, e.g. [DPS]). These can be generated efficiently, but have the disadvantage that they are typically satellite knots =-=[Jun]-=-. 3. RANDOM BALANCED PRESENTATIONS For a finite presentation of a group, the deficiency is the the difference g − r between the number of generators and the number of relators. In the case of a closed... |

6 | Profinite Groups, volume 19 of London Mathematical Society Monographs New Series - Wilson - 1998 |

5 |
The lattice of branched covers over the figure-eight knot
- Hempel
- 1990
(Show Context)
Citation Context ...nt technology, it would be difficult to enumerate all subgroups of π1(M) for indices beyond the low 20s. For more about 3-manifolds from the point of view of branched covers of the figure-8 knot, see =-=[Hem1]-=-. 2.12. Random knots based notions. Another notion of random 3-manifold would be to take a Dehn surgery point of view. That is, one could take some notion of a random knot or link in S 3 and do Dehn s... |

5 |
and J.M.Montesinos, On knots that are universal, Topology 24
- Hilden
- 1985
(Show Context)
Citation Context ...ining curves is ≤ L. 2.11. Universal link related notions. There are links L in S 3 such that every closed orientable 3-manifold is the cover of S 3 branched over L. One such link is the figure8 knot =-=[HLM]-=-. Let K be this knot and M be its exterior . There are only finitely many branched covers of (S 3 , K) of degree ≤ L, since such a cover corresponds to a finite-index subgroup of π1(M). Thus another n... |