Closed oriented 4-manifolds with the same geometrically 2-dimensional fundamental group (satisfying certain properties) are classified up to $s$-cobordism by their $w_2$-type, equivariant intersection form and the Kirby-Siebenmann invariant. As an application, we obtain a complete homeomorphism classification of closed oriented 4-manifolds with solvable Baumslag-Solitar fundamental groups, including a precise realization result.
In this paper we extend Thurston's hyperbolic Dehn surgery theorem to a class of geometrically infinite hyperbolic 3-manifolds. As an application we prove a modest density theorem for Kleinian groups. We also discuss hyperbolic Dehn surgery on geometrically finite hypebolic cone-manifolds.
In a recent paper Hodgson and Kerckhoff prove a local rigidity theorem for finite volume, three dimensional hyperbolic cone-manifolds. In this paper we extend this result to geometrically finite cone-manifolds. Our methods also give a new proof of a local version of the classical rigidity theorem for geometrically finite hyperbolic 3-manifolds.
We prove that an open 3-manifold proper homotopy equivalent to a geometrically simply connected polyhedron is simply connected at infinity, generalizing a theorem of V.Poenaru.
A finite-volume hyperbolic 3-manifold geometrically bounds if it is the geodesic boundary of a finite-volume hyperbolic 4-manifold. We construct here an example of non-compact, finite-volume hyperbolic 3-manifold that geometrically bounds. The 3-manifold is the complement of a link with eight components, and its volume is roughly equal to 29.311.
Let M be a geometrically finite rank one locally symmetric manifolds. We prove that the spectrum of the Laplace operator on M is finite in a small interval which is optimal.
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.
A closed connected hyperbolic $n$-manifold bounds geometrically if it is isometric to the geodesic boundary of a compact hyperbolic $(n+1)$-manifold. A. Reid and D. Long have shown by arithmetic methods the existence of infinitely many manifolds that bound geometrically in every dimension. We construct here infinitely many explicit examples in dimension $n=3$ using right-angled dodecahedra and $120$-cells and a simple colouring technique introduced by M. Davis and T. Januszkiewicz. Namely, for every $k\geqslant 1$, we build an orientable compact closed $3$-manifold tessellated by $16k$ right-a…
We prove that, for any two finite volume hyperbolic $3$-manifolds, the amalgamation of their fundamental groups along any nontrivial geometrically finite subgroup is not LERF. This generalizes the author's previous work on nonLERFness of amalgamations of hyperbolic $3$-manifold groups along abelian subgroups. A consequence of this result is that closed arithmetic hyperbolic $4$-manifolds have nonLERF fundamental groups. Along with the author's previous work, we get that, for any arithmetic hyperbolic manifold with dimension at least $4$, with possible exceptions in $7$-dimensional manifolds de…
In this note, we show that there exist cusped hyperbolic $3$-manifolds that embed geodesically, but cannot bound geometrically. Thus, being a geometric boundary is a non-trivial property for such manifolds. Our result complements the work by Long and Reid on geometric boundaries of compact hyperbolic $4$-manifolds, and by Kolpakov, Reid and Slavich on embedding arithmetic hyperbolic manifolds.
We show that the number of isometry classes of cusped hyperbolic $3$-manifolds that bound geometrically grows at least super-exponentially with their volume, both in the arithmetic and non-arithmetic settings.
In this paper we study the equidistribution of expanding horospheres in infinite volume geometrically finite rank one locally symmetric manifolds and apply it to the orbital counting problem in apollonian sphere packing.
The density conjecture of Bers, Sullivan and Thurston predicts that each complete hyperbolic 3-manifold M with finitely generated fundamental group is an algebraic limit of geometrically finite hyperbolic 3-manifolds. We prove that the conjecture obtains for each complete hyperbolic 3-manifold with no cusps and incompressible ends.
We prove a partial generalization of Bonahon's tameness result to surfaces inside irreducible 3-manifolds with hyperbolic fundamental group. Bonahon's result states that geometrically infinite ends of freely indecomposable hyperbolic 3-manifolds are simply degenerate. It is easy to see that a geometrically infinite end gives rise to a sequence of curves on the corresponding surface whose geodesic representatives are not contained in any compact set. The main step in his proof is showing that one may assume that these curves are simple on the surface. In this paper, we generalize the main step …
We study the problem of rigidity of closures of totally geodesic plane immersions in geometrically finite manifolds containing rank $1$ cusps. We show that the key notion of K-thick recurrence of horocycles fails generically in this setting. This property was introduced in the recent work of McMullen, Mohammadi and Oh. Nonetheless, in the setting of geometrically finite groups whose limit sets are circle packings, we derive 2 density criteria for non-closed geodesic plane immersions, and show that closed immersions give rise to surfaces with finitely generated fundamental groups. We also obtai…
In this paper we provide the first examples of arithmetic hyperbolic 3-manifolds that are rational homology spheres and bound geometrically either compact or cusped hyperbolic 4-manifolds.
Let $M$ be a geometrically finite acylindrical hyperbolic 3-manifold and let $M^*$ denote the interior of the convex core of M. We show that any geodesic plane in $M^*$ is either closed or dense, and that there are only countably many closed geodesic planes in $M^*$. These results were obtained earlier by McMullen, Mohammadi, and the second named author when M is convex cocompact. As a corollary we obtain that when $M$ covers an arithmetic hyperbolic 3-manifold $M_0$, the topological behavior of a geodesic plane in $M^*$ is governed by that of the corresponding plane in $M_0$. We construct a c…
We prove a generalization of the fundamental inequality of Guivarc'h relating entropy, drift and critical exponent to Gibbs measures on geometrically finite quotients of CAT(-1) metric spaces. For random walks with finite superexponential moment, we show that the equality is achieved if and only if the Gibbs density is equivalent to the hitting measure. As a corollary, if the action is not convex cocompact, any hitting measure is singular to any Gibbs density.
We show that every positive definite closed 4-manifold with $b_2^+>1$ and without 1-handles has a vanishing stable cohomotopy Seiberg-Witten invariant, and thus admits no symplectic structure. We also show that every closed oriented 4-manifold with $b_2^+\not\equiv 1$ and $b_2^-\not\equiv 1\pmod{4}$ and without 1-handles admits no symplectic structure for at least one orientation of the manifold. In fact, relaxing the 1-handle condition, we prove these results under more general conditions which are much easier to verify.
Let G=SO(n,1) and Gamma a geometrically finite Zariski dense subgroup of G which is contained in an arithmetic subgroup of G. Denoting by Gamma(q) the principal congruence subgroup of Gamma of level q, and fixing a positive number λ_0 strictly smaller than (n-1)^2/4, we show that, as q tends to infinity along primes, the number of Laplacian eigenvalues of the congruence cover Gamma(q)\ H^n smaller than lambda_0 is at most of order [Gamma:Gamma(q)]^c for some c=c(λ_0)>0.
We show that some hyperbolic 3-manifolds which are tessellated by copies of the regular ideal hyperbolic tetrahedron embed geodesically in a complete, finite volume, hyperbolic 4-manifold. This allows us to prove that the complement of the figure-eight knot geometrically bounds a complete, finite volume hyperbolic 4-manifold. This the first example of geometrically bounding hyperbolic knot complement and, amongst known examples of geometrically bounding manifolds, the one with the smallest volume.
We generalize Bonahon's characterization of geometrically infinite torsion-free discrete subgroups of PSL(2, $\mathbb{C}$) to geometrically infinite discrete isometry subgroups in the case of rank 1 symmetric spaces, and, under the assumption of bounded torsion, to the case of negatively pinched Hadamard manifolds. Every such geometrically infinite isometry subgroup $Γ$ has a set of nonconical limit points with cardinality of continuum.
Let N be a complete hyperbolic 3-manifold that is an algebraic limit of geometrically finite hyperbolic 3-manifolds. We show N is homeomorphic to the interior of a compact 3-manifold, or tame, if one of the following conditions holds: (1) N has non-empty conformal boundary, (2) N is not homotopy equivalent to a compression body, or (3) N is a strong limit of geometrically finite manifolds. The first case proves Ahlfors' measure conjecture for Kleinian groups in the closure of the geometrically finite locus: given any algebraic limit G of geometrically finite Kleinian groups, the limit set of G…
Let Gamma_0 be a discrete group. For a pair (j,rho) of representations of Gamma_0 into PO(n,1)=Isom(H^n) with j geometrically finite, we study the set of (j,rho)-equivariant Lipschitz maps from the real hyperbolic space H^n to itself that have minimal Lipschitz constant. Our main result is the existence of a geodesic lamination that is "maximally stretched" by all such maps when the minimal constant is at least 1. As an application, we generalize two-dimensional results and constructions of Thurston and extend his asymmetric metric on Teichmüller space to a geometrically finite setting and to …
In this paper, we generalize Bonahon's characterization of geometrically infinite torsion-free discrete subgroups of PSL(2, $\mathbb{C}$) to geometrically infinite discrete subgroups $Γ$ of isometries of negatively pinched Hadamard manifolds $X$. We then generalize a theorem of Bishop to prove that every discrete geometrically infinite isometry subgroup $Γ$ has a set of nonconical limit points with the cardinality of the continuum.
We show that for certain arithmetic groups, geometrically finite subgroups are the intersection of finite index subgroups containing them. Examples are the Bianchi groups and the Seifert-Weber dodecahedral space. In particular, for manifolds commensurable with these groups, immersed incompressible surfaces lift to embeddings in a finite sheeted covering.
We shall show that for a given homeomorphism type and a set of end invariants (including the parabolic locus) with necessary topological conditions which a topologically tame Kleinian group with that homeomorphism type must satisfy, there is an algebraic limit of minimally parabolic, geometrically finite Kleinian groups which has exactly that homeomorphism type and end invariants. This shows that the Bers-Sullivan-Thurston density conjecture follows from Marden's conjecture proved by Agol, Calegari-Gabai combined with Thurston's uniformisation theorem and the ending lamination conjecture prove…
The Wall surgery obstruction groups have two interesting geometrically defined subgroups, consisting of the surgery obstructions between closed manifolds, and the inertial elements. We show that the inertia group $I_{n+1}(π,w)$ and the closed manifold subgroup $C_{n+1}(π,w)$ are equal in dimensions $n+1\geq 6$, for any finitely-presented group $π$ and any orientation character $w\colon π\to \cy 2$.
This is a survey paper where we expose the Kirby--Siebenmann results on classification of PL structures on topological manifolds and, in particular, the homotopy equivalence TOP/PL=K(Z/2.3) and the Hauptvermutung for manifolds.
We give a homological characterization of $n$-manifolds whose universal covering $\Wi M$ has Gromov's macroscopic dimension $\dim_{mc}\Wi M<n$. As the result we distinguish $\dim_{mc}$ from the macroscopic dimension $\dim_{MC}$ defined by the author \cite{Dr}. We prove the inequality $\dim_{mc}\Wi M<\dim_{MC}\Wi M=n$ for every closed $n$-manifold $M$ whose fundamental group $π$ is a geometrically finite amenable duality group with the cohomological dimension $cd(π)> n$.
In this paper we deepen the analysis of certain classes M_{g,k} of hyperbolic 3-manifolds that were introduced in a previous work by B. Martelli, C. Petronio and the author. Each element of M_{g,k} is an oriented complete finite-volume hyperbolic 3-manifold with compact connected geodesic boundary of genus g and k cusps. We study small deformations of the complete hyperbolic structure of manifolds in M_{g,k} via a close analysis of their geodesic triangulations. We prove that several elements in M_{g,k} admit non-homeomorphic hyperbolic Dehn fillings sharing the same volume, homology, cusp vol…
We show that minimal length carrier graphs are not unique, but if M is in a large class of hyperbolic 3-manifolds, including the geometrically finite ones, then M has only finitely many minimal length carrier graphs and no two of them are homotopic. As a corollary, we obtain a new proof that the isometry group of a geometrically finite 3-manifold is finite.
We show that every plumbing of disc bundles over surfaces whose genera satisfy a simple inequality may be embedded as a convex submanifold in some closed hyperbolic four-manifold. In particular its interior has a geometrically finite hyperbolic structure that covers a closed hyperbolic four-manifold.
Given a geometrically finite hyperbolic cone-manifold, with the cone singularity sufficiently short, we construct a one parameter family of cone-manifolds decreasing the cone angle to zero. We also control the geometry of this one parameter family via the Schwarzian derivative of the projective boundary and the length of closed geodesics.
We study the existence of geometrically controlled branched covering maps from $\mathbb R^3$ to open $3$-manifolds or to decomposition spaces $\mathbb S^3/G$, and from $\mathbb S^3/G$ to $\mathbb S^3$.
Mapping class groups of Haken 3-manifolds enjoy many of the homological finiteness properties of mapping class groups of 2-manifolds of finite type. For example, H(M) has a torsionfree subgroup of finite index, which is geometrically finite (i. e. is the fundamental group of a finite aspherical complex). This was proven by J. Harer for 2-manifolds and by the second author for Haken 3-manifolds. In this paper we prove that H(M) acts properly discontinuously on a contractible simplicial complex, with compact quotient. This implies that every torsionfree subgroup of finite index in H(M) is geomet…
Any action of a group $Γ$ on $\mathbb H^3$ by isometries yields a class in degree three bounded cohomology by pulling back the volume cocycle to $Γ$. We prove that the bounded cohomology of finitely generated Kleinian groups without parabolic elements distinguishes the asymptotic geometry of geometrically infinite ends of hyperbolic $3$-manifolds. That is, if two homotopy equivalent hyperbolic manifolds with infinite volume and without parabolic cusps have different geometrically infinite end invariants, then they define a $2$ dimensional subspace of bounded cohomology. Our techniques apply to…
We study the bounded fundamental class in the top dimensional bounded cohomology of negatively curved manifolds with infinite volume. We prove that the bounded fundamental class of $M$ vanishes if $M$ is geometrically finite. Furthermore, when $M$ is a $\mathbb{R}$-rank one locally symmetric space, we show that the bounded fundamental class of $M$ vanishes if and only if the Riemannian volume form on $M$ is the differential of a bounded differential form on $M$.
We show that every topological n-manifold M admits a locally flat closed embedding $ι\colon M \hookrightarrow \mathbb{R}^{2n+1}$ and is a retract of some neighbourhood $U \subseteq \mathbb{R}^{2n+1}$
In this paper we study the rigidity of infinite volume 3-manifolds with sectional curvature $-b^2\le K\le -1$ and finitely generated fundamental group. In-particular, we generalize the Sullivan's quasi-conformal rigidity for finitely generated fundamental group with empty dissipative set to negative variable curvature 3-manifolds. We also generalize the rigidity of Hamenstädt or more recently Besson-Courtois-Gallot, to 3-manifolds with infinite volume and geometrically infinite fundamental group.
This paper determines which orientable hyperbolic 3-manifolds contain simple closed geodesics. The Fuchsian group corresponding to the thrice-punctured sphere generates the only example of a complete non-elementary orientable hyperbolic 3-manifold that does not contain a simple closed geodesic. We do not assume that the manifold is geometrically finite or that it has finitely generated fundamental group.
We show that infinitely many of the simply connected 4-manifolds constructed by Levine and Lidman that do not admit PL spines actually admit topological spines.
We prove that for every closed, connected, orientable, irreducible 3-manifold, there exists an alternating group A_n which is not the topological symmetry group of any graph embedded in the manifold. We also show that for every finite group G, there is an embedding Γ of some graph in a hyperbolic rational homology 3-sphere such that the topological symmetry group of Γ is isomorphic to G.
We study geometry, topology and deformation spaces of noncompact complex hyperbolic manifolds (geometrically finite, with variable negative curvature), whose properties make them surprisingly different from real hyperbolic manifolds with constant negative curvature. This study uses an interaction between Kähler geometry of the complex hyperbolic space and the contact structure at its infinity (the one-point compactification of the Heisenberg group), in particular an established structural theorem for discrete group actions on nilpotent Lie groups.
We prove a structure theorem for closed topological manifolds of cohomogeneity one; this result corrects an oversight in the literature. We complete the equivariant classification of closed, simply connected cohomogeneity one topological manifolds in dimensions $5$, $6$, and $7$ and obtain topological characterizations of these spaces. In these dimensions, these manifolds are homeomorphic to smooth manifolds.
