Related papers: 3-Manifolds with complexity at most 9

One method for obtaining every closed orientable 3-manifold is as branched covering of the 3-sphere over a link. There is a classical topological result showing that the minimun possible number of sheets in the covering is three. In this…

We present the census of all non-orientable, closed, connected 3-manifolds admitting a rigid crystallization with at most 30 vertices. In order to obtain the above result, we generate, manipulate and compare, by suitable computer…

We classify the orientable finite-volume hyperbolic 3-manifolds having non-empty compact totally geodesic boundary and admitting an ideal triangulation with at most four tetrahedra. We also compute the volume of all such manifolds, we…

We consider hyperbolic manifolds with boundary, which admit an ideal triangulation with n ideal triangles and one edge. We prove that the number of these manifolds is $\exp(n\ln(n)+O(n))$.

The Heegaard genus is a fundamental invariant of 3-manifolds. However, computing the Heegaard genus of a triangulated 3-manifold is NP-hard, and while algorithms exist, little work has been done in making such an algorithm efficient and…

Adyan and Rabin showed that most properties of groups cannot be algorithmically recognized from a finite presentation alone. We prove that, if one is also given a solution to the word problem, then the class of fundamental groups of closed,…

The goal of this paper is to study the geometry of cusped complex hyperbolic manifolds through their compactifications. We characterize toroidal compactifications with non-nef canonical divisor. We derive effective very ampleness results…

We give an upper bound for the number of compact essential orientable non-isotopic surfaces, with Euler characteristic at least some constant $\chi$, properly embedded in a finite-volume hyperbolic 3-manifold $M$, closed or cusped. This…

We show that there are at most finitely many one cusped orientable hyperbolic 3-manifolds which have more than eight non-hyperbolic Dehn fillings. Moreover, we show that determining these finitely many manifolds is decidable.

We prove the infinitesimal rigidity of some geometrically infinite hyperbolic 4- and 5-manifolds. These examples arise as infinite cyclic coverings of finite-volume hyperbolic manifolds obtained by colouring right-angled polytopes, already…

We outline a rigorous algorithm, first suggested by Casson, for determining whether a closed orientable 3-manifold M is hyperbolic, and to compute the hyperbolic structure, if one exists. The algorithm requires that a procedure has been…

We introduce a simple algorithm which transforms every four-dimensional cubulation into a cusped finite-volume hyperbolic four-manifold. Combinatorially distinct cubulations give rise to topologically distinct manifolds. Using this…

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,…

A fundamental way to study 3-manifolds is through the geometric lens, one of the most prominent geometries being the hyperbolic one. We focus on the computation of a complete hyperbolic structure on a connected orientable hyperbolic…

Since the 1970s, it has been known that any open connected manifold of dimension 2, 4 or 6 admits a complex analytic structure whenever its tangent bundle admits a complex linear structure. For half a century, this has been conjectured to…

We will show that, for any noncompact arithmetic hyperbolic $m$-manifold with $m> 3$, and any compact arithmetic hyperbolic $m$-manifold with $m> 4$ that is not a $7$-dimensional arithmetic hyperbolic manifold defined by octonions, its…

There are many fundamental algorithmic problems on triangulated 3-manifolds whose complexities are unknown. Here we study the problem of finding a taut angle structure on a 3-manifold triangulation, whose existence has implications for both…

This paper studies closed 3-manifolds which are the attractors of a system of finitely many affine contractions that tile $\mathbb{R}^3$. Such attractors are called self-affine tiles. Effective characterization and recognition theorems for…

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.

A random group contains many subgroups which are isomorphic to the fundamental group of a compact hyperbolic 3-manifold with totally geodesic boundary. These subgroups can be taken to be quasi-isometrically embedded. This is true both in…