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

2316 | An Introduction to Probability Theory and its Applications, volume II - Feller - 1971 |

1927 | Random Graphs - Bollobás - 1985 |

1716 | The probabilistic method - Alon, Spencer - 2008 |

449 | Atlas of Finite Groups - Conway, Curtis, et al. - 1985 |

208 | Asymptotic invariants of infinite groups - Gromov - 1991 |

181 |
Discrete groups, expanding graphs and invariant measures
- 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. ... |

157 | Models of random regular graphs
- Wormald
- 1999
(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... |

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

129 |
Computation 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 ≤ ... |

91 | Random Walk in Random Groups - Gromov - 2003 |

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

71 | Analytic pro-p groups - Dixon, Sautoy, et al. - 1999 |

67 | Cohomology of Groups. Volume 87 of Graduate Texts - Brown - 1994 |

64 | Dierentiable Periodic Maps - Conner, Floyd - 1964 |

39 | Differentiable periodic maps, Ergebnisse der Math. und ihrer Grenzgebiete - Conner, Floyd - 1964 |

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

35 | Strong approximation for Zariski-dense subgroups of semisimple algebraic groups - Weisfeiler - 1984 |

32 |
Three-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... |

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

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

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

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 → ∏... |

14 |
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 | On the distribution of the number of cycles of elements in symmetric groups, NieuwArchief voor Wiskunde 13 - Zagier - 1995 |

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

12 | Matrix integration and combinatorics of modular groups - Itzykson, Zuber - 1990 |

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

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

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 |
The lattice of branched covers over the figure-eight knot, Topology 29
- 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... |

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

4 |
On random knots. In Random knotting and linking
- Diao, Pippenger, et al.
- 1993
(Show Context)
Citation Context ... number of crossings. These can be efficiently generated [PS]. Another reasonable notion is to build a knot out 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... |

4 | Subgroup growth, volume 212 - Lubotzky, Segal - 2003 |

2 |
On the order of the automorphism group of a finite group
- Ledermann, Neumann
- 1956
(Show Context)
Citation Context ...m. Let Q be a finite group. The probability p(Q, g, g) that a random g-generator balanced group has a epimorphism to Q is < 1/|Aut(Q)|. Now the number of finite groups with |Aut(Q)| bounded is finite =-=[LN]-=-, and so the theorem implies that p(Q, g, g) → 0 as |Q| → ∞. Thus the larger Q is, the less likely a random balanced G is to have Q as a quotient. In the rest of this section we refine our picture for... |

2 |
Stabilizing surface symmetries
- Livingston
- 1985
(Show Context)
Citation Context ...f epimorphisms. Epimorphisms α : π1(Σg) → Q and β : π1(Σh) → Q are called stably equivalent if the they have common stabilization. In particular, cα = cβ in H2(Q). The following theorem of Livingston =-=[Liv]-=- shows that this homological condition is sufficient as well as necessary. 396.18. Theorem ([Liv]). Let Q be a finite group, and let α : π1(Σg) → Q and β : π1(Σ h) → Q be epimorphisms. Then α and β a... |

2 | Ol ′ shanskiĭ. Almost every group is hyperbolic - Y - 1992 |

2 |
Surfaces and the second homology of a group
- Zimmermann
- 1987
(Show Context)
Citation Context ... 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 of the theorem. P... |

1 |
Finite Groups and Hyperbolic Manifolds. arXiv:math.GR/0406607
- Belolipetsky, Lubotzky
(Show Context)
Citation Context ...Zuk, Gro2]. Very recently, Belolipetsky and 5Lubotzky has 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. For instance, the following following question of Daryl Cooper illustrates our level of ignorance with respect to the Virt... |

1 |
Optimal Coding and Sampling of Triangulations. preprint
- Poulalhon, Schaeffer
- 2003
(Show Context)
Citation Context ...’s 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.9. 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 descrip... |

1 | Differentiable periodic maps, volume 738 - Conner - 1979 |