This paper introduces a rigorous computer-assisted procedure for analyzing hyperbolic 3-manifolds. This technique is used to complete the proof of several long-standing rigidity conjectures in 3-manifold theory as well as to provide a new lower bound for the volume of a closed orientable hyperbolic 3-manifold.
We prove the following result:
\it\noindent Let $N$ be a closed hyperbolic 3-manifold. Then \begin{enumerate} \item[(1)] If $f\colon M \to N$ is a homotopy equivalence where $M$ is a closed irreducible 3-manifold, then $f$ is homotopic to a homeomorphism. \item[(2)] If $f,g\colon M\to N$ are homotopic homeomorphisms, then $f$ is isotopic to $g$. \item[(3)] The space of hyperbolic metrics on $N$ is path connected. \end{enumerate}
We construct a locally hyperbolic 3-manifold $M$ such that $π_ 1(M)$ has no divisible subgroups. We then show that $M$ is not homotopy equivalent to any complete hyperbolic manifold.
We introduce the concept of a homotopy motion of a subset in a manifold, and give a systematic study of homotopy motions of surfaces in closed orientable 3-manifolds. This notion arises from various natural problems in 3-manifold theory such as domination of manifold pairs, homotopical behavior of simple loops on a Heegaard surface, and monodromies of virtual branched covering surface bundles associated to a Heegaard splitting.
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.
We show that the Prüfer surface, which is a separable non-metrizable 2-manifold, has not the homotopy type of a CW-complex. This will follow easily from J. H. C. Whitehead's result: if one has a good approximation of an arbitrary space by a CW-complex, which fails to be a homotopy equivalence, then the given space is not homotopy equivalent to a CW-complex.
Let $M$ be an oriented closed $3$-manifold. We prove that there exists a constant $A_M$, depending only on the manifold $M$, such that for every self-homotopy equivalence $f$ of $M$ there is an integer $k$ such that $1 \leq k \leq A_M$ and $f^k$ is homotopic to a homeomorphism.
A new method to derive presentations of skein modules is developed. For the case of homotopy skein modules it will be shown how the topology of a 3-manifold is reflected in the structure of the module. The freeness problem for q-homotopy skein modules is solved, and a natural skein module related to linking numbers is computed.
On every compact and orientable three-manifold, we construct total foliations (three codimension 1 foliations that are transverse at every point). This construction can be performed on any homotopy class of plane fields with vanishing Euler class. As a corollary we obtain similar results on bi-contact structures.
In this paper, we show that for every non-nilpotent hyperbolic map $f$ on an infra-nilmanifold, the $\textrm{HPer}(f)$ is cofinite in $\mathbb{N}$. This generalizes a similar result for expanding maps. Moreover, we prove that for every nilpotent map $f$ on an infra-nilmanifold, $\textrm{HPer}(f)=\{1\}$.
The space AH(M) of marked hyperbolic 3-manifold homotopy equivalent to a compact 3-manifold with boundary M sits inside the PSL_2(C)-character variety X(M) of π_1(M). We study the dynamics of the action of Out(π_1(M)) on both AH(M) and X(M). The nature of the dynamics reflects the topology of M. The quotient AI(M)=AH(M)/Out(π_1(M)) may naturally be thought of as the moduli space of unmarked hyperbolic 3-manifolds homotopy equivalent to M and its topology reflects the dynamics of the action.
For every $k \geq 2$ and $n \geq 2$ we construct $n$ pairwise homotopically inequivalent simply-connected, closed $4k$-dimensional manifolds, all of which are stably diffeomorphic to one another. Each of these manifolds has hyperbolic intersection form and is stably parallelisable. In dimension $4$, we exhibit an analogous phenomenon for spin$^{c}$ structures on $S^2 \times S^2$. For $m\geq 1$, we also provide similar $(4m{-}1)$-connected $8m$-dimensional examples, where the number of homotopy types in a stable diffeomorphism class is related to the order of the image of the stable $J$-homomor…
In this paper we study existence and lack thereof of closed embedded orientable co-dimension one totally geodesic submanifolds of minimal volume cusped orientable hyperbolic manifolds.
We prove that the deformation space $AH(M)$ of marked hyperbolic 3-manifolds homotopy equivalent to a fixed compact 3-manifold $M$ with incompressible boundary is locally connected at quasiconformally rigid points.
We study the geometric properties of the terms of the Goldman bracket between two free homotopy classes of oriented closed curves in a hyperbolic surface. We provide an obstruction for the equality of two terms in the Goldman bracket, namely if two terms in the Goldman bracket are equal to each other then for every hyperbolic metric, the angles corresponding to the intersection points are equal to each other. As a consequence, we obtain an alternative proof of a theorem of Chas, i.e. if one of the free homotopy classes contains a simple representative then the geometric intersection number and…
We give geometric formulae which enable us to detect (completely in some cases) the regular homotopy class of an immersion with trivial normal bundle of a closed oriented 3-manifold into 5-space. These are analogues of the geometric formulae for the Smale invariants due to Ekholm and the second author. As a corollary, we show that two embeddings into 5-space of a closed oriented 3-manifold with no 2-torsion in the second cohomology are regularly homotopic if and only if they have Seifert surfaces with the same signature. We also show that there exist two embeddings $F_0$ and $F_8 : T^3 \hookri…
We show that if $M$ and $N$ have the same homotopy type of simply connected closed smooth $m$-manifolds such that the integral and mod-$2$ cohomologies of $M$ vanish in odd degrees, then their homotopy inertia groups are equal. Let $M^{2n}$ be a closed $(n-1)$-connected $2n$-dimensional smooth manifold. We show that, for $n=4$, the homotopy inertia group of $M^{2n}$ is trivial and if $n=8$ and $H^n(M^{2n};\mathbb{Z})\cong \mathbb{Z}$, the homotopy inertia group of $M^{2n}$ is also trivial. We further compute the group $\mathcal{C}(M^{2n})$ of concordance classes of smoothings of $M^{2n}$ for $…
We construct a locally hyperbolic 3-manifold $M_\infty$ such that $π_ 1(M_\infty)$ has no divisible subgroup. We then show that $M_\infty$ is not homeomorphic to any complete hyperbolic manifold. This answers a question of Agol [DHM06,Mar07].
A homotopy equivalence between a hyperbolic 3-manifold and a closed irreducible 3-manifold is homotopic to a homeomorphsim provided the hyperbolic manifold satisfies a purely geometric condition. There are no known examples of hyperbolic 3-manifolds which do not satisfy this condition.
Given two compact n-dimensional manifolds in the smooth, piecewise linear or topological categories, basic results of B. Mazur and others give simple criteria for determining whether their products with Euclidean spaces of sufficiently large dimension are isomorphic in the given category. This paper studies such questions when the dimensions of the Euclidean space do not satisfy such a condition, mainly for topological manifolds homotopy equivalent to lens spaces with odd prime order fundamental groups. In particular, complete information is obtained for homotopy lens spaces in most dimensions…
This paper is the second in a series whose goal is to understand the structure of low-volume complete orientable hyperbolic 3-manifolds. Using Mom technology, we prove that any one-cusped hyperbolic 3-manifold with volume <= 2.848 can be obtained by a Dehn filling on one of 21 cusped hyperbolic 3-manifolds. We also show how this result can be used to construct a complete list of all one-cusped hyperbolic three-manifolds with volume <= 2.848 and all closed hyperbolic three-manifolds with volume <= 0.943. In particular, the Weeks manifold is the unique smallest volume closed orientable hyperboli…
In this paper, we describe all the hyperbolic 24-cell 4-manifolds with exactly one cusp. There are four of these manifolds up to isometry. These manifolds are the first examples of one-cusped hyperbolic 4-manifolds of minimum volume.
David Gabai recently proved a smooth 4-dimensional "Light Bulb Theorem" in the absence of 2-torsion in the fundamental group. We extend his result to 4-manifolds with arbitrary fundamental group by showing that an invariant of Mike Freedman and Frank Quinn gives the complete obstruction to "homotopy implies isotopy" for embedded 2-spheres which have a common geometric dual. The invariant takes values in an Z/2Z-vector space generated by elements of order 2 in the fundamental group and has applications to unknotting numbers and pseudo-isotopy classes of self-diffeomorphisms. Our methods also gi…
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 this paper we show that a given set of lengths of closed geodesics, there are only finitely many convex cocompact hyperbolic 3-manifolds with that specified length spectrum, homotopy equivalent to a given 3-manifold without a handlebody factor, up to orientation preserving isometries.
We give a bounded runtime solution to the homeomorphism problem for closed hyperbolic 3-manifolds. This is an algorithm which, given two triangulations of hyperbolic 3-manifolds by at most $t$ tetrahedra, decides if they represent the same hyperbolic 3-manifold with runtime bounded by \[ 2^{2^{t^{O(t)}}}.\] We do this by first finding a hyperbolic structure on each manifold given as a geometric triangulation and then comparing the two as geometric manifolds.
We discuss links in thickened surfaces. We define the Khovanov-Lipshitz-Sarkar stable homotopy type and the Steenrod square for the homotopical Khovanov homology of links in thickened surfaces with genus$>1$. A surface means a closed oriented surface unless otherwise stated. Of course, a surface may or may not be the sphere. A thickened surface means a product manifold of a surface and the interval. A link in a thickened surface (respectively, a 3-manifold) means a submanifold of a thickened surface (respectively, a 3-manifold) which is diffeomorphic to a disjoint collection of circles. Our Kh…
We study contact 3-manifolds using the techniques of sub-Riemannian geometry and geometric measure theory, in particular establishing properties of their Lipschitz homotopy groups. We prove a biLipschitz version of the Theorem of Darboux: a contact $(2n+1)$-manifold endowed with a sub-Riemannian structure is locally biLipschitz equivalent to the Heisenberg group $\mathbb{H}^n$ with its \cc metric. Then each contact $(2n+1)$-manifold endowed with a sub-Riemannian structure is purely $k$-unrectifiable for $k>n$. We then extend results of Dejarnette et al. (arXiv:1109.4641 [math.FA]) and Wenger a…
We study the spaces of embeddings of manifolds in a Euclidean space. More precisely we look at the homotopy fiber of the inclusion of these spaces to the spaces of immersions. As a main result we express the rational homotopy type of connected components of those embedding spaces through combinatorially defined $L_\infty$-algebras of diagrams.
We establish a braid of interlocking exact sequences containing the group of homotopy self-equivalences of a smooth or topological 4-manifold. The braid is computed for manifolds whose fundamental group is finite of odd order.
The homotopy theory of gauge groups has received considerable attention in recent decades. In this work, we study the homotopy theory of gauge groups over some high dimensional manifolds. To be more specific, we study gauge groups of bundles over $(n-1)$-connected closed $2n$-manifolds, the classification of which was determined by Wall and Freedman in the combinatorial category. We also investigate the gauge groups of the total manifolds of sphere bundles based on the classical work of James and Whitehead. Furthermore, other types of $2n$-manifolds are also considered. In all the cases, we sh…
The aim of this paper is to give an $s$-cobordism classification of topological $4$-manifolds in terms of the standard invariants using the group of homotopy self-equivalences. Hambleton and Kreck constructed a braid to study the group of homotopy self-equivalences of $4$-manifolds. Using this braid together with the modified surgery theory of Kreck, we give an $s$-cobordism classification for certain $4$-manifolds with fundamental group $π$, such that cd $π\leq 2$.
Given a compact orientable surface of negative Euler characteristic, there exists a natural pairing between the Teichmueuller space of the surface and the set of homotopy classes of simple loops and arcs. The length pairing sends a hyperbolic metric and a homotopy class of a simple loop or arc to the length of geodesic in its homotopy class. We study this pairing function using the Fenchel-Nielsen coordinates on Teichmueller space and the Dehn-Thurston coordinates on the space of homotopy classes of curve systems. Our main result establishes Lipschitz type estimates for the length pairing expr…
Given a closed, smooth, connected, orientable $4$-manifold $M$, whose integral homology groups can have $2$-torsion, we determine the homotopy decomposition of the double suspension $Σ^2M$ as wedge sums of some elementary $\mathbf{A}_3^3$-complexes, which are $2$-connected finite complexes of dimension at most $6$. Furthermore, we utilize the Postnikov square (or equivalently Pontryagin square) to find sufficient conditions for the homotopy decompositions of $Σ^2M$ to desuspend to that of $ΣM$.
We show that the n-homotopy category of connected (n+1)-dimensional Menger manifolds is isomorphic to the homotopy category of connected Hilbert cube manifolds whose k-dimensional homotopy groups are trivial for each k > n.
The Bass trace conjectures are placed in the setting of homotopy idempotent selfmaps of manifolds. For the strong conjecture, this is achieved via a formulation of Geoghegan. The weaker form of the conjecture is reformulated as a comparison of ordinary and L^2-Lefschetz numbers.
Suppose M is a noncompact connected PL 2-manifold and let H(M)_0 denote the identity component of the homeomorphism group of M with the compact-open topology. In this paper we classify the homotopy type of H(M)_0 by showing that {\cal H}(M)_0 has the homotopy type of the circle if M is the plane, an open or half open annulus, or the punctured projective plane. In all other cases we show that H(M)_0 is homotopically trivial.
We answer a question of Oprea-Tralle on the realizability of symplectic algebras by symplectic manifolds in dimensions divisible by four, along with a question of Lupton-Oprea in all even dimensions. This will also allow us to address, in all even dimensions six and higher, another question of Oprea-Tralle on the possibility of algebraic conditions on the rational homotopy minimal model of a closed smooth manifold implying the existence of a symplectic structure on the manifold.
Algebra Situs is a branch of mathematics which has its roots in Jones' construction of his polynomial invariant of links and Drinfeld's work on quantum groups. It encompasses the theory of quantum invariants of knots and 3-manifolds, algebraic topology based on knots, operads, planar algebras, q-deformations, quantum groups, and overlaps with algebraic geometry, non-commutative geometry and statistical mechanics. Algebraic topology based on knots may be characterized as a study of properties of manifolds by considering links (submanifolds) in a manifold and their algebraic structure. The main …
In this paper, it is explained that a topological invariant for 3-manifold $M$ with $b_1(M)=1$ can be constructed by applying Fukaya's Morse homotopy theoretic approach for Chern--Simons perturbation theory to a local system on $M$ of rational functions associated to the free abelian covering of $M$. Our invariant takes values in Garoufalidis--Rozansky's space of Jacobi diagrams whose edges are colored by rational functions. It is expected that our invariant gives a lot of nontrivial finite type invariants of 3-manifolds.
We determine loop space decompositions of simply-connected four-manifolds, $(n-1)$-connected $2n$-dimensional manifolds provided $n\notin\{4,8\}$, and connected sums of products of two spheres. These are obtained as special cases of a more general loop space decomposition of certain torsion-free $CW$-complexes with well-behaved skeleta and some Poincaré duality features.
