Related papers: A new algorithm for 3-sphere recognition
We prove that the fundamental group of any integer homology 3-sphere different from the 3-sphere admits irreducible representations of its fundamental group in SL(2,C). For hyperbolic integer homology spheres this comes with the definition,…
We prove that if an integer homology three-sphere contains an embedded incompressible torus, then its fundamental group admits irreducible SU(2)-representations. Our methods use instanton Floer homology, and in particular the surgery exact…
We classify SL(2;C)-representations of a Brieskorn homology 3-sphere. We show any irreducible representation into SL(2;C) is conjugate to that into either SU(2) or SL(2;R). We also give a construction of SL(2;R)-representations for a…
Patterns in triangulated $2$-spheres and $3$-spheres are investigated. A new proof of a lemma in Abigail Thompson's proof of the Recognition Algorithm for $3$-spheres is obtained.
For smooth embeddings of an integral homology 3-sphere in the 6-sphere, we define an integer invariant in terms of their Seifert surfaces. Our invariant gives a bijection between the set of smooth isotopy classes of such embeddings and the…
This paper gives infinitely many examples of non L-space irreducible integer homology 3-spheres whose fundamental groups do not have nontrivial $\widetilde{PSL_2(\mathbb{R})}$ representations.
We show that there are algorithms to determine if a 3-manifold contains an essential lamination or a Reebless foliation.
We show some computations on representations of the fundamental group in SL(2;C) and Reidemeister torsion for a homology 3-sphere obtained by Dehn surgery along the figure-eight knot. This is the second version. We recorrected several…
We prove that an integral homology 3-sphere is S^3 if and only if it admits four periodic diffeomorphisms of odd prime orders whose space of orbits is S^3. As an application we show that an irreducible integral homology sphere which is not…
We prove that there is an algorithm which determines whether or not a given 2-polyhedron can be embedded into some integral homology 3-sphere. This is a corollary of the following main result. Let $M$ be a compact connected orientable…
We describe a construction that takes as input a graph and a basis for its first homology, and returns a triangulation of a 3-dimensional homology sphere. This makes precise an idea of M. Gromov and A. Nabutovski. The immediate application,…
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,…
We describe an algorithm to decide whether two genus-two surfaces embedded in the 3-sphere are isotopic or not. The algorithm employs well-known techniques in 3-manifolds topology, as well as a new algorithmic solution to a problem on free…
From classical knot theory we know that every knot in $S^3$ is the boundary of an oriented, embedded surface. A standard demonstration of this fact achieved by elementary technique comes from taking a regular projection of any knot and…
In this paper we prove two results, one semi-historical and the other new. The semi-historical result, which goes back to Thurston and Riley, is that the geometrization theorem implies that there is an algorithm for the homeomorphism…
We show that the following algorithmic problem is decidable: given a $2$-dimensional simplicial complex, can it be embedded (topologically, or equivalently, piecewise linearly) in $\mathbf{R}^3$? By a known reduction, it suffices to decide…
It is important to have fast and effective methods for simplifying 3-manifold triangulations without losing any topological information. In theory this is difficult: we might need to make a triangulation super-exponentially more complex…
In this paper we describe a procedure to simplify any given triangulation of the 3-sphere using Pachner moves. We obtain an explicit exponential-type bound on the number of Pachner moves needed for this process. This leads to a new…
A major challenge in the study of the structure of the three-dimensional homology cobordism group is to understand the interaction between hyperbolic geometry and homology cobordism. In this paper, for a hyperbolic homology sphere $Y$ we…
A Gr\"obner basis for the ideal determining mod 2 cohomology of Grassmannian G_{3,n} is obtained. This is used, along with the method of obstruction theory, to establish some new immersion results for these manifolds.