Related papers: The homeomorphism problem for closed 3-manifolds

See math.CV/0509030 which replaces this paper.

We will describe some results regarding the algorithmic nature of homeomorphism problems for manifolds; in particular, the following theorem. Theorem 1: Every PL or smooth simply connected manifold M^n of dimension n at least 5 can be…

We survey work on the topology of the space AH(M) of all (marked) hyperbolic 3-manifolds homotopy equivalent to a fixed compact 3-manifold M with boundary. The interior of AH(M) is quite well-understood, but the topology of the entire space…

We prove that if a closed hyperbolic 3-manifold M contains infinitely many totally geodesic surfaces, then M is arithmetic.

We survey the status of some decision problems for 3-manifolds and their fundamental groups. This includes the classical decision problems for finitely presented groups (Word Problem, Conjugacy Problem, Isomorphism Problem), and also the…

In this article, we prove that the commensurability class of a closed, orientable, hyperbolic 3-manifold is determined by the surface subgroups of its fundamental group. Moreover, we prove that there can be only finitely many closed,…

Extending methods first used by Casson, we show how to verify a hyperbolic structure on a finite triangulation of a closed 3-manifold using interval arithmetic methods. A key ingredient is a new theoretical result (akin to a theorem by…

We discuss geometric properties of covers of closed hyperbolic manifolds of dimension $n\geq 3$, branched along a totally geodesic codimension two submanifold $\Sigma$. The results are mostly known to the experts but hard to find in the…

In a variety of settings we provide a method for decomposing a 3-manifold $M$ into pieces. When the pieces have the appropriate type of hyperbolicity, then the manifold $M$ is hyperbolic and its volume is bounded below by the sum of the…

Let $M_0$ be a compact and orientable 3-manifold. After capping off spherical boundaries with balls and removing any torus boundaries, we prove that the resulting manifold $M$ contains handlebodies of arbitrary genus such that the closure…

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.

We suggest a new approach to the study of relatively hyperbolic groups based on relative isoperimetric inequalities. Various geometric, algebraic, and algorithmic properties are discussed.

We use our new type of bounded locally homeomorphic quasiregular mappings in the unit 3-ball to address long standing problems for such mappings. The construction of such mappings comes from our construction of non-trivial compact…

In the 2-dimensional curved 3-body problem, we prove the existence of Lagrangian and Eulerian homographic orbits, and provide their complete classification in the case of equal masses. We also show that the only non-homothetic hyperbolic…

We describe the quasi-isometric classification of fundamental groups of irreducible non-geometric 3-manifolds which do not have "too many" arithmetic hyperbolic geometric components, thus completing the quasi-isometric classification of…

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…

The bending map of a hyperbolic 3-manifold with boundary maps a geometrically hyperbolic metric to its bending measured geodesic lamination. We show that the bending map is proper. As a byproduct of the proof we show that the group of…

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.

We show that any conservative partially hyperbolic diffeomorphism homotopic to the identity is accessible unless the fundamental group of its ambient 3-manifold is virtually solvable. As a consequence, such diffeomorphisms are ergodic,…

We present a simple algorithm for finding eigenmodes of the Laplacian for arbitrary compact hyperbolic 3-manifolds. We apply our algorithm to a sample of twelve manifolds and generate a list of the lowest eigenvalues. We also display a…