Related papers: The homeomorphism problem for closed 3-manifolds

We show that the Thurston seminorms of all finite covers of an aspherical 3-manifold determine whether it is a graph manifold, a mixed 3-manifold or hyperbolic.

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…

We show that for a representation of the fundamental group of a triangulated closed 3-manifold (not necessarily hyperbolic) into $\PSL$ so that any edge loop has non-trivial image under the representation, there exist uncountably many…

We prove that every closed oriented 3-manifold admits a hyperbolic cone-manifold structure with cone-angle arbitrarily close to 2pi.

Bounded-type 3-manifolds arise as combinatorially bounded gluings of irreducible 3-manifolds chosen from a finite list. We prove effective hyperbolization and effective rigidity for a broad class of 3-manifolds of bounded type and large…

We show that the hyperbolic structure on a closed, orientable, hyperbolic 3-manifold can be constructed from a solution to the hyperbolic gluing equations using any triangulation with essential edges. The key ingredients in the proof are…

We analyze the orbifolds that can be obtained as quotients of hyperbolic 3-manifolds admitting a Heegaard splitting of genus two by their orientation preserving isometry groups. The genus two hyperbolic 3-manifolds are exactly the…

We prove that given two compact oriented $3$-manifolds $N$ and $M,$ with $M$ satisfying only a mild hypothesis, there is a hyperbolic $3$-manifold $N'$ arbitrarily ``closely related'' to $N,$ and such that $N'$ does not embed in $M.$ For…

It is conjectured that every cusped hyperbolic 3-manifold admits a geometric triangulation, i.e. it is decomposed into positive volume ideal hyperbolic tetrahedra. Here, we show that sufficiently highly twisted knots admit a geometric…

Certain topics on polygons are extended from Euclidean to hyperbolic geometry. This first part deals with uniqueness and existence of cocyclic polygons with prescribed sidelengths. The non-Euclidean versions are more difficult due to the…

We extend to the context of hyperbolic 3-manifolds with geodesic boundary Thurston's approach to hyperbolization by means of geometric triangulations. In particular, we introduce moduli for (partially) truncated hyperbolic tetrahedra, and…

We prove that fundamental groups of non-orientable 3-manifolds have a solvable conjugacy problem, and construct an algorithm. Together with our earlier work on the conjugacy problem in groups on orientable geometrizable 3-manifolds, all…

The 2-body problem on the sphere and hyperbolic space are both real forms of holomorphic Hamiltonian systems defined on the complex sphere. This admits a natural description in terms of biquaternions and allows us to address questions…

In this article we study the spectrum of totally geodesic surfaces of a finite volume hyperbolic 3-manifold. We show that for arithmetic hyperbolic 3-manifolds that contain a totally geodesic surface, this spectrum determines the…

We give three sufficient criteria for two quasitoric manifolds (M,M') to be (weakly) equivariantly homeomorphic. We apply these criteria to count the weakly equivariant homeomorphism types of quasitoric manifolds with a given cohomology…

In this short expository note, we give a detailed proof of Markov's theorem on the unsolvability of the homeomorphism problem and of the existence of unrecognizable manifolds in all dimensions larger than 3.

In this paper, we prove a geometrization conjecture, every orientable smooth closed 3-manifold with finite fundamental group is homeomorphic to $S^3/G$ for some finite cyclic subgroup $G\subset {Isom}^+(S^3)$.

We construct a hyperbolic three-manifold with trivial finite type invariants up to a given degree.

We provide, for hyperbolic and flat 3-manifolds, obstructions to bounding hyperbolic 4-manifolds, thus resolving in the negative a question of Farrell and Zdravkovska.

We apply classical invariant theory of binary forms to explicitly characterize isomorphism classes of hyperelliptic curves of small genus and, conversely, propose algorithms for reconstructing hyperelliptic models from given invariants. We…