Related papers: Decision problems in the space of Dehn fillings

We present a practical algorithm to test whether a 3-manifold given by a triangulation or an ideal triangulation contains a closed essential surface. This property has important theoretical and algorithmic consequences. As a testament to…

Computational knot theory and 3-manifold topology have seen significant breakthroughs in recent years, despite the fact that many key algorithms have complexity bounds that are exponential or greater. In this setting, experimentation is…

It is shown that given any link-manifold, there is an algorithm to decide if the manifold contains an embedded, essential planar surface; if it does, the algorithm will construct one. If a slope on the boundary of the link-manifold is…

In this paper, we will compute the dimension of the space of spun and ordinary normal surfaces in an ideal triangulation of the interior of a compact 3-manifold with incompressible tori or Klein bottle components. Spun normal surfaces have…

We present a new, practical algorithm to test whether a knot complement contains a closed essential surface. This property has important theoretical and algorithmic consequences; however, systematically testing it has until now been…

Tollefson described a variant of normal surface theory for 3-manifolds, called Q-theory, where only the quadrilateral coordinates are used. Suppose $M$ is a triangulated, compact, irreducible, boundary-irreducible 3-manifold. In Q-theory,…

We prove that any knot or link in any 3-manifold can be nicely decomposed (splitted) by a filling Dehn sphere. This has interesting consequences in the study of branched coverings over knots and links. We give an algorithm for computing…

Normal surface theory is a central tool in algorithmic three-dimensional topology, and the enumeration of vertex normal surfaces is the computational bottleneck in many important algorithms. However, it is not well understood how the number…

We consider the natural problem of counting isotopy classes of essential surfaces in 3-manifolds, focusing on closed essential surfaces in a broad class of hyperbolic 3-manifolds. Our main result is that the count of (possibly disconnected)…

For many fundamental problems in computational topology, such as unknot recognition and $3$-sphere recognition, the existence of a polynomial-time solution remains unknown. A major algorithmic tool behind some of the best known algorithms…

This paper gives sharp linear bounds on the genus of a normal surface in a triangulated compact, orientable 3--manifold in terms of the quadrilaterals in its cell decomposition---different bounds arise from varying hypotheses on the surface…

For a compact, orientable, irreducible 3-manifold with toroidal boundary that is not the product of a torus and an interval or a cable space, each boundary torus has a finite set of slopes such that, if avoided, the Thurston norm of a Dehn…

We prove results showing that the existence of essential maps of surfaces in a manifold M' obtained from a 3-manifold M by Dehn filling implies the existence of essential maps of surfaces in M.

Let $M$ be a compact 3--manifold with boundary a single torus. We present upper and lower complexity bounds for closed 3--manifolds obtained as even Dehn fillings of $M.$ As an application, we characterise some infinite families of even…

Following Matveev, a k-normal surface in a triangulated 3-manifold is a generalization of both normal and (octagonal) almost normal surfaces. Using spines, complexity, and Turaev-Viro invariants of 3-manifolds, we prove the following…

In this paper we study exceptional Dehn fillings on hyperbolic knot manifolds which contain an essential once-punctured torus. Let $M$ be such a knot manifold and let $\beta$ be the boundary slope of such an essential once-punctured torus.…

Normal surface theory, a tool to represent surfaces in a triangulated 3-manifold combinatorially, is ubiquitous in computational 3-manifold theory. In this paper, we investigate a relaxed notion of normal surfaces where we remove the…

We provide related Dehn surgery descriptions for rational homology spheres and a class of their regular finite cyclic covering spaces. As an application, we use the surgery descriptions to relate the Casson invariants of the covering spaces…

A 3-manifold is Haken if it contains a topologically essential surface. The Virtual Haken Conjecture says that every irreducible 3-manifold with infinite fundamental group has a finite cover which is Haken. Here, we discuss two interrelated…

The concept of a normal surface in a triangulated, compact 3-manifold was generalised by Thurston to a spun-normal surface in a non-compact 3-manifold with ideal triangulation. This paper defines a boundary curve map which takes a…