Geometrization theorem, fibered case: Every three-manifold that fibers over the circle admits a geometric decomposition. Double limit theorem: for any sequence of quasi-Fuchsian groups whose controlling pair of conformal structures tends toward a pair of projectively measured laminations that bind the surface, there is a convergent subsequence. This preprint also analyzes the quasi-isometric geometry of quasi-Fuchsian 3-manifolds. This eprint is based on a 1986 preprint, which was refereed and accepted for publication, but which I neglected to correct and return. The referee's corrections have now been incorporated, but it is largely the same as the 1986 version (which was a significant revision of a 1981 version).
We investigate the maximal solid tubes around short simple geodesics in hyperbolic three-manifolds and how complex length of curves relate to closed, incompressible, least area minimal surfaces. As applications, we prove, there are some closed hyperbolic three-manifolds fibering over the circle which are not foliated by closed incompressible minimal surfaces diffeomorphic to the fiber. We also show, the existence of quasi-Fuchsian manifolds containing arbitrarily many embedded closed incompressible minimal surfaces. Our strategy is to prove main theorems under natural geometric conditions on t…
We exhibit a closed aspherical 5-manifold of nonpositive curvature that fibers over a circle whose fundamental group is hyperbolic relative to abelian subgroups such that the fiber is a closed aspherical 4-manifold whose fundamental group is not hyperbolic relative to abelian subgroups.
We give a lower bound for the degree of a finite cover of a hyperbolic 3-manifold which fibers over the circle, in terms of volume, the diameter of the manifold and other new invariants.
We exhibit some finite-volume cusped hyperbolic 5-manifolds that fiber over the circle. These include the smallest hyperbolic 5-manifold known, discovered by Ratcliffe and Tschantz. As a consequence, we build a finite type subgroup of a hyperbolic group that is not hyperbolic.
By work of Uhlenbeck, the largest principal curvature of any least area fiber of a hyperbolic $3$-manifold fibering over the circle is bounded below by one. We give a short argument to show that, along certain families of fibered hyperbolic $3$-manifolds, there is a uniform lower bound for the maximum principal curvatures of a least area minimal surface which is greater than one.
In this note we prove that any closed graph manifold admitting a metric of non-positive sectional curvature (NPC-metric) has a finite cover, which is fibered over the circle. An explicit criterion to have a finite cover, which is fibered over the circle, is presented for the graph manifolds of certain class.
We prove hyperbolic 3-manifolds are geometrically inflexible: a unit quasiconformal deformation of a Kleinian group extends to an equivariant bi-Lipschitz diffeomorphism between quotients whose pointwise bi-Lipschitz constant decays exponentially in the distance form the boundary of the convex core for points in the thick part. Estimates at points in the thin part are controlled by similar estimates on the complex lengths of short curves. We use this inflexibility to give a new proof of the convergence of pseudo-Anosov double-iteration on the quasi-Fuchsian space of a closed surface, and the r…
For a hyperbolic fibered 3-manifold M, we prove results that uniformly relate the structure of surface projections as one varies the fibrations of M. This extends our previous work from the fully-punctured to the general case.
We consider ``hyperideal'' circle patterns, i.e. patterns of disks appearing in the definition of the Delaunay decomposition associated to a set of disjoint disks, possibly with cone singularities at the center of those disks. Hyperideal circle patterns are associated to hyperideal hyperbolic polyhedra. We describe the possible intersection angles and singular curvatures of those circle patterns, on Euclidean or hyperbolic surfaces with conical singularities. This is related to results on the dihedral angles of ideal or hyperideal hyperbolic polyhedra.
We determine the rank of the fundamental group of those hyperbolic 3-manifolds fibering over the circle whose monodromy is a sufficiently high power of a pseudo-Anosov map. Moreover, we show that any two generating sets with minimal cardinality are Nielsen equivalent.
A ``hyperideal circle pattern'' in $S^2$ is a finite family of oriented circles, similar to the ``usual'' circle patterns but such that the closed disks bounded by the circles do not cover the whole sphere. Hyperideal circle patterns are directly related to hyperideal hyperbolic polyhedra, and also to circle packings. To each hyperideal circle pattern, one can associate an incidence graph and a set of intersection angles. We characterize the possible incidence graphs and intersection angles of hyperideal circle patterns in the sphere, the torus, and in higher genus surfaces. It is a consequenc…
We study the smallest positive eigenvalue $λ_1(M)$ of the Laplace-Beltrami operator on a closed hyperbolic 3-manifold $M$ which fibers over the circle, with fiber a closed surface of genus $g\geq 2$. We show the existence of a constant $C>0$ only depending on $g$ so that $λ_1(M)\in [C^{-1}/{\rm vol}(M)^2, C\log {\rm vol}(M)/{\rm vol}(M)^{2^{2g-2}/(2^{2g-2}-1)}]$ and that this estimate is essentially sharp. We show that if $M$ is typical or random, then we have $λ_1(M)\in [C^{-1}/{\rm vol}(M)^2,C/{\rm vol}(M)^2]$. This rests on a result of independent interest about reccurence properties of axe…
We present recent results on counting and distribution of circles in a given circle packing invariant under a geometrically finite Kleinian group and discuss how the dynamics of flows on geometrically finite hyperbolic $3$ manifolds are related. Our results apply to Apollonian circle packings, Sierpinski curves, Schottky dances, etc.
We prove that the Teichmüller space $\mathcal{T}^{<0}(M)$ of negatively curved metrics on a hyperbolic manifold $M$ has nontrivial $i$-th rational homotopy groups for some $i> \dim M$. Moreover, some elements of infinite order in $π_i B\mbox{Diff}(M)$ can be represented by bundles over $S^i$ with fiberwise negatively curved metrics.
Our main result is a generalization of Cappell's 5-dimensional splitting theorem. As an application, we analyze, up to internal s-cobordism, the smoothable splitting and fibering problems for certain 5-manifolds mapping to the circle. For example, these maps may have homotopy fibers which are in the class of finite connected sums of certain geometric 4-manifolds. Most of these homotopy fibers have non-vanishing second mod 2 homology and have fundamental groups of exponential growth, which are not known to be tractable by Freedman--Quinn topological surgery. Indeed, our key technique is topolog…
We obtain an asymptotic formula for the number of circles of curvature at most T in any given bounded Apollonian circle packing. For an integral packing, we obtain the upper bounds for the number of circles with prime curvature as well as of pairs of circles with prime curvatures, which are sharp up constant multiples. The main ingredient of our proof is the effective equidistribution of expanding horospheres on geometrically finite hyperbolic 3-manifolds under the assumption that the critical exponent of its fundamental group exceeds one.
Which slopes can or cannot appear as Seifert fibered slopes for hyperbolic knots in the 3-sphere S^3? It is conjectured that if r-surgery on a hyperbolic knot in S^3 yields a Seifert fiber space, then r is an integer. We show that for each integer n, there exists a tunnel number one, hyperbolic knot K_n in S^3 such that n-surgery on K_n produces a small Seifert fiber space.
The main result of this paper asserts that if a Seifert fibered 4-manifold has nonzero Seiberg-Witten invariant, the homotopy class of regular fibers has infinite order. This is a nontrivial obstruction to smooth circle actions; as applications, we show how to destroy smooth circle actions on a 4-manifold by knot surgery, without changing the integral homology, intersection form, and even the Seiberg-Witten invariant. Results concerning classification of Seifert fibered complex surfaces or symplectic 4-manifolds are included. We also show that every smooth circle action on the 4-torus is smoot…
By using Thurston's bending construction we obtain a sequence of faithful discrete representations ρ_n of the fundamental group of a closed hyperbolic 3-manifold fibering over the circle into the isometry group Iso H^4 of the hyperbolic space H^4. The algebraic limit of ρ_n contains a finitely generated subgroup F whose 3-dimensional quotient Ω(F)/F has infinitely generated fundamental group, where Ω(F) is the discontinuity domain of F acting on the sphere at infinity. Moreover F is isomorphic to the fundamental group of a closed surface and contains infinitely many conjugacy classes of maxima…
Let F be R or C, d the dimension of F over R. Denote by P(F) either the affine plane A(F) or the hyperbolic plane H(F) over F. An arrangement L of k lines in P(F) (pairwise non-parallel in the hyperbolic case) has a link at infinity K(L) comprising k unknotted (d-1)-spheres in the (2d-1)-sphere, whose topology reflects the combinatorics of L `at infinity'. The class of links at infinity of affine F-line arrangements is properly included in the class of links at infinity of hyperbolic F-line arrangements. Many links at infinity of (essentially non-affine) connected hyperbolic C-line arrangement…
We address the question: how common is it for a 3-manifold to fiber over the circle? One motivation for considering this is to give insight into the fairly inscrutable Virtual Fibration Conjecture. For the special class of 3-manifolds with tunnel number one, we provide compelling theoretical and experimental evidence that fibering is a very rare property. Indeed, in various precise senses it happens with probability 0. Our main theorem is that this is true for a measured lamination model of random tunnel number one 3-manifolds. The first ingredient is an algorithm of K Brown which can decide i…
A purely combinatorial compactification of the configuration space of n (>4) distinct points with equal weights in the real projective line was introduced by M. Yoshida. We geometrize it so that it will be a real hyperbolic cone-manifold of finite volume with dimension n-3. Then, we vary weights for points. The geometrization still makes sense and yields a deformation. The effectivity of deformations arisen in this manner will be locally described in the existing deformation theory of hyperbolic structures when n-3 = 2, 3.
The branched virtual fibering theorem by Sakuma states that every closed orientable $3$-manifold with a Heegaard surface of genus $g$ has a branched double cover which is a genus $g$ surface bundle over the circle. It is proved by Brooks that such a surface bundle can be chosen to be hyperbolic. We prove that the minimal entropy over all hyperbolic, genus $g$ surface bundles as branched double covers of the $3$-sphere behaves like 1/$g$. We also give an alternative construction of surface bundles over the circle in Sakuma's theorem when closed $3$-manifolds are branched double covers of the $3…
The notion of a (stably) decomposable fiber bundle is introduced. In low dimensions, for torus fiber bundles over a circle the notion translates into a property of elements of the special linear group of integral matrices. We give a complete characterization of the stably decomposable torus fiber bundle of fiber-dimension less than 4 over the circle.
This paper is devoted to rigidity of smooth bundles which are equipped with fiberwise geometric or dynamical structure. We show that the fiberwise associated sphere bundle to a bundle whose leaves are equipped with (continuously varying) metrics of negative curvature is a topologically trivial bundle when either the base space is simply connected or, more generally, when the bundle is fiber homotopically trivial. We present two very different proofs of this result: a geometric proof and a dynamical proof. We also establish a number of rigidity results for bundles which are equipped with fiberw…
We give the first examples of closed fibered hyperbolic 3-manifolds whose fundamental groups are distinguished from every other finitely generated, residually finite group by their finite quotients. One of the examples is also the first example of a non-orientable profinitely rigid hyperbolic 3-manifold.
In our previous paper, we discussed the hyperbolization of the configuration space of n(> 4) marked points with weights in the projective line up to projective transformations. A variation of the weights induces a deformation. It was shown that this correspondence of the set of the weights to the Teichmüller space when n = 5 and to the Dehn filling space when n= 6 is locally one-to-one near the equal weight. In this paper, we establish its global injectivity.
We construct examples of free-by-cyclic hyperbolic groups which fiber in infinitely many ways over Z. The construction involves adding a specialized square 2-cell to a non-positively curved, squared 2-complex defined by labeled oriented graphs. The fundamental groups of the resulting complexes are hyperbolic, free-by-cyclic and can be mapped onto Z in infinitely many ways.
We take a first step towards understanding the relationship between foliations and universally tight contact structures on hyperbolic 3-manifolds. If a surface bundle over a circle has pseudo-Anosov holonomy, we obtain a classification of "extremal" tight contact structures. Specifically, there is exactly one contact structure whose Euler class, when evaluated on the fiber, equals the Euler number of the fiber. This rigidity theorem is a consequence of properties of the action of pseudo-Anosov maps on the complex of curves of the fiber and a remarkable flexibility property of convex surfaces i…
Let M be a closed orientable Seifert fibered 3-manifold with a hyperbolic base 2-orbifold, or equivalently, admitting a geometry modeled on H^2 \times R or the universal cover of SL(2,R). Our main result is that the connected component of the identity map in the diffeomorphism group Diff(M) is either contractible or homotopy equivalent to the circle, according as the center of the fundamental group of M is trivial or infinite cyclic. Apart from the remaining case of non-Haken infranilmanifolds, this completes the homeomorphism classifications of Diff(M) and of the space of Seifert fiberings of…
Thurston and Calegari-Dunfield showed that the fundamental group of some tautly foliated hyperbolic 3-manifold acts on the circle in a distinctive way that the action preserves some structure of S^1, so-called a circle lamination. Indeed, a large class of Kleinian groups acts on the circle preserving a circle lamination. In this paper, we are concerned with the converse problem that a group acting on the circle with at least two invariant circle laminations is Kleinian. We prove that a subgroup of the orientation preserving circle homeomorphism group is a Fuchsian group whose quotient orbifold…
We study principal curvatures of fibers and Heegaard surfaces smoothly embedded in hyperbolic 3-manifolds. It is well known that a fiber or a Heegaard surface in a hyperbolic 3-manifold cannot have principal curvatures everywhere less than one in absolute value. We show that given an upper bound on the genus of a minimally embedded fiber or Heegaard surface and a lower bound on the injectivity radius of the hyperbolic 3-manifold, there exists a $δ> 0$ such that the fiber or Heegaard surface must contain a point at which one of the principal curvatures is greater than $1 + δ$ in absolute value.
This paper initiates a systematic study of the relation of commensurability of surface automorphisms, or equivalently, fibered commensurability of 3-manifolds fibering over the circle. We show that every hyperbolic fibered commensurability class contains a unique minimal element, whereas the class of Seifert manifolds fibering over the circle consists of a single commensurability class with infinitely many minimal elements. The situation for non-geometric manifolds is more complicated, and we illustrate a range of phenomena that can occur in this context.
Let $p$ be a prime. In this paper, we classify the geometric 3-manifolds whose fundamental groups are virtually residually $p$. Let $M=M^3$ be a virtually fibered 3-manifold. It is well-known that $G=π_1(M)$ is residually solvable and even residually finite solvable. We prove that $G$ is always virtually residually $p$. Using recent work of Wise, we prove that every hyperbolic 3-manifold is either closed or virtually fibered and hence has a virtually residually $p$ fundamental group. We give some generalizations to pro-$p$ completions of groups, mapping class groups, residually torsion-free ni…
It is proved by Sakuma and Brooks that any closed orientable $3$-manifold with a Heegaard splitting of genus $g$ admits a $2$-fold branched cover that is a hyperbolic $3$-manifold and a genus $g$ surface bundle over the circle. This paper concerns entropy of pseudo-Anosov monodromies for hyperbolic fibered $3$-manifolds. We prove that there exist infinitely many closed orientable $3$-manifolds $M$ such that the minimal entropy over all hyperbolic, genus $g$ surface bundles over the circle as $2$-fold branched covers of the $3$-manifold $M$ is comparable to $1/g$.
We construct some cusped finite-volume hyperbolic $n$-manifolds $M_n$ that fiber algebraically in all the dimensions $5\leq n \leq 8$. That is, there is a surjective homomorphism $π_1(M_n) \to \mathbb Z$ with finitely generated kernel. The kernel is also finitely presented in the dimensions $n=7, 8$, and this leads to the first examples of hyperbolic $n$-manifolds $\widetilde M_n$ whose fundamental group is finitely presented but not of finite type. These $n$-manifolds $\widetilde M_n$ have infinitely many cusps of maximal rank and hence infinite Betti number $b_{n-1}$. They cover the finite-v…
We call two Engel structures isotopic if they are homotopic through Engel structures by a homotopy that fixes the characteristic line field. In the present paper we define an isotopy invariant of Engel structures on oriented circle bundles over closed oriented three-manifolds and apply it to give an isotopy classification of Engel structures on circle bundles with characteristic line field tangent to the fibers.
Algebraically fibering group is an algebraic generalization of the fibered 3-manifold group in higher dimensions. Let $M(\mathcal{P})$ and $M(\mathcal{E})$ be the cusped and compact hyperbolic real moment-angled manifolds associated to the hyperbolic right-angled 24-cell $\mathcal{P}$ and the hyperbolic right-angled 120-cell $\mathcal{E}$, respectively. Jankiewicz-Norin-Wise showed in [13] that $π_1(M(\mathcal{P}))$ and $π_1(M(\mathcal{E}))$ are algebraic fibered. Namely, there are two exact sequences $$1\rightarrow H_{\mathcal{P}}\rightarrow π_1(M(\mathcal{P}))\xrightarrow{ϕ_{\mathcal{P}}} \m…
