Related papers: Some conditionally hard problems on links and 3-ma…
A new lower bound on the complexity of a 3-manifold is given using the Z2-Thurston norm. This bound is shown to be sharp, and the minimal triangulations realising it are characterised using normal surfaces consisting entirely of…
We produce a rational homology 3-sphere that does not smoothly bound either a positive or negative definite 4-manifold. Such a 3-manifold necessarily cannot be rational homology cobordant to a Seifert fibered space or any 3-manifold…
The main goal of this paper is to show that shellability is NP-hard for triangulated d-balls (this also gives hardness for triangulated d-manifolds/d-pseudomanifolds with boundary) as soon as d is at least 3. This extends our earlier work…
One measure of the complexity of a 3-manifold is its triangulation complexity: the minimal number of tetrahedra in a triangulation of it. A natural question is whether we can relate this quantity to its topology. We determine the…
This paper investigates the computational complexity of deciding whether the vertices of a graph can be partitioned into a disjoint union of cliques and a triangle-free subgraph. This problem is known to be $\NP$-complete on arbitrary…
We define essential and strongly essential triangulations of 3-manifolds, and give four constructions using different tools (Heegaard splittings, hierarchies of Haken 3-manifolds, Epstein-Penner decompositions, and cut loci of Riemannian…
Finite-order invariants of knots in arbitrary 3-manifolds (including non-orientable ones) are constructed and studied by methods of the topology of discriminant sets. Obstructions to the integrability of admissible weight systems to…
In this thesis we study the Seiberg-Witten theory of an oriented homology 3-sphere. The goal is to extract topological invariants - the Seiberg-Witten invariants - by counting the solutions to the Seiberg-Witten equations on the manifold.…
We consider the Densest-Subgraph problem, where a graph and an integer k is given and we search for a subgraph on exactly k vertices that induces the maximum number of edges. We prove that this problem is NP-hard even when the input graph…
We introduce new topological quantum invariants of compact oriented 3-manifolds with boundary where the boundary is a disjoint union of two identical surfaces. The invariants are constructed via surgery on manifolds of the form $F \times I$…
In this paper we deal with Seifert fibre spaces, which are compact 3-manifolds admitting a foliation by circles. We give a combinatorial description for these manifolds in all the possible cases: orientable, non-orientable, closed, with…
The classical Seifert algorithm provides an explicit construction of a Seifert surface for any link in $S^3$. Alegria and Menasco extended this construction to integral homology $3$-spheres using Heegaard splittings. In this paper, we…
We consider closed orientable 3-dimensional hyperbolic manifolds which are cyclic branched coverings of the 3-sphere, with branching set being a two-bridge knot (or link). We establish two-sided linear bounds depending on the order of the…
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.
We conclude the multiple fibration problem for closed orientable Seifert three-orbifolds, namely the determination of all the inequivalent fibrations that such an orbifold may admit. We treat here geometric orbifolds with geometries…
An oriented link L in a 3-sphere S in complex 2-space is a C-boundary if it bounds a piece of algebraic curve in the 4-ball bounded by S. Using Kronheimer and Mrowka's proof of the Thom Conjecture, we construct many oriented knots which are…
We prove that the three-sphere recognition problem lies in the complexity class NP. Our work relies on Thompson's original proof that the problem is decidable [Math. Res. Let., 1994], Casson's version of her algorithm, and recent results of…
A triangulation of a $3$-manifold can be shown to be homeomorphic to the $3$-sphere by describing a discrete Morse function on it with only two critical faces, that is, a sequence of elementary collapses from the triangulation with one…
In this paper we study the linearizability problem for 3-webs on a 2-dimensional manifold. With an explicit computation based on the theory developed in the paper "On the linearizability of 3-webs" (Nonlinear analysis 47, (2001) pp.…
We study the existence of branched coverings between closed $3$-manifolds, with emphasis on universal knots and links. We prove that the only closed $3$-manifolds that admit a universal link are spherical. Furthermore, we distinguish…