On the knot complement problem for non-hyperbolic knots

This paper explicitly provides two exhaustive and infinite families of pairs (M,k), where M is a lens space and k is a non-hyperbolic knot in M, which produces a manifold homeomorphic to M, by a non-trivial Dehn surgery. Then, we observe the uniqueness of such knot in such lens space, the uniqueness of the slope, and that there is no preserving homeomorphism between the initial and the final M's. We obtain further that Seifert fibered knots, except for the axes, and satellite knots are determined by their complements in lens spaces. An easy application shows that non-hyperbolic knots are determined by their complement in atoroidal and irreducible Seifert fibered 3-manifolds.     

Modifying a branched surface to carry a foliation

We consider C¹ nonsingular flows on a closed 3-manifold under which there is no transverse disk that flows continuously back into its own interior. We provide an algorithm for modifying any branched surface transverse to such a flow ? that terminates in a branched surface carrying a foliation F precisely when F is transverse to ?. As a corollary, we find branched surfaces that do not carry foliations but that lift to ones that do.     

Classifying foliations of 3-manifolds via branched surfaces

We use branched surfaces to define an equivalence relation on C¹ codimension one foliations of any closed orientable 3-manifold that are transverse to some fixed nonsingular flow. There is a discrete metric on the set of equivalence classes with the property that foliations that are sufficiently close (up to equivalence) share important topological properties.     

A computer search for contractible 3-manifolds

A theorem is proved giving a necessary condition for a standard spine of a prime homology 3-ball to be minimal. This result enables an inspection of all standard spines with five or fewer vertices, by computer. There are exactly two such minimal spines, one for the 3-ball and one for the dodecahedral homology-ball of Poincaré. Corollary: No counterexample to the Poincaré Conjecture exists having a standard spine with five or fewer vertices.     

Nonsmoothable group actions on elliptic surfaces

Let G be a cyclic group of order 3, 5 or 7, and X=E(n) be the relatively minimal elliptic surface with rational base. In this paper, we prove that under certain conditions on n, there exists a locally linear G-action on X which is nonsmoothable with respect to infinitely many smooth structures on X. This extends the main result of [X. Liu, N. Nakamura, Pseudofree Z/3-actions on K3 surfaces, Proc. Amer. Math. Soc. 135 (3) (2007) 903-910].     

Cellularity in polyhedra

A compact subset X of a polyhedron P is cellular in P if there is a pseudoisotropy of P shrinking precisely X to a point. A proper surjection between polyhedra f:P→Q is cellular if each point inverse of f is cellular in P. It is shown that if f:P→Q is a cellular map and either P or Q is a generalized n-manifold, n≠4, then f is approximable by homeomorphisms. Also, if P or Q is an n-manifold with boundary, n≠4, 5, then a cellular map f:P→Q is approximable by homeomorphisms. A cellularity criterion for a special class of cell-like sets in polyhedra is established.     

On finite simple and nonsolvable groups acting on homology 4-spheres

The only finite non-Abelian simple group acting on a homology 3-sphere—necessarily non-freely—is the dodecahedral group A₅≅PSL(2,5) (in analogy, the only finite perfect group acting freely on a homology 3-sphere is the binary dodecahedral group ). In the present paper we show that the only finite simple groups acting on a homology 4-sphere, and in particular on the 4-sphere, are the alternating or linear fractional groups A₅≅PSL(2,5) and A₆≅PSL(2,9). From this we deduce a short list of groups which contains all finite nonsolvable groups admitting an action on a homology 4-sphere.     

On the mapping class group of a genus 2 handlebody

A complex of incompressible surfaces in a handlebody is constructed so that it contains, as a subcomplex, the complex of curves of the boundary of the handlebody. For genus 2 handlebodies, the group of automorphisms of this complex is used to characterize the mapping class group of the handlebody. In particular, it is shown that all automorphisms of the complex of incompressible surfaces are geometric, that is, induced by a homeomorphism of the handlebody.     

A spanning tree cohomology theory for links

In their recent preprint, Baldwin, Ozsváth and Szabó defined a twisted version (with coefficients in a Novikov ring) of a spectral sequence, previously defined by Ozsváth and Szabó, from Khovanov homology to Heegaard–Floer homology of the branched double cover along a link. In their preprint, they give a combinatorial interpretation of the _E3$E_3$-term of their spectral sequence. The main purpose of the present paper is to prove directly that this _E3$E_3$-term is a link invariant. We also give some concrete examples of computation of the invariant.     

A solution to de Groot’s absolute cone conjecture

A compactum X is an ‘absolute cone’ if, for each of its points x, the space X is homeomorphic to a cone with x corresponding to the cone point. In 1971, J. de Groot conjectured that each n-dimensional absolute cone is an n-cell. In this paper, we give a complete solution to that conjecture. In particular, we show that the conjecture is true for n≤3 and false for n≥5. For n=4, the absolute cone conjecture is true if and only if the 3-dimensional Poincaré Conjecture is true.     

Inequivalent surface-knots with the same knot quandle

We have a knot quandle and a fundamental class as invariants for a surface-knot. These invariants can be defined for a classical knot in a similar way, and it is known that the pair of them is a complete invariant for classical knots. In surface-knot theory the situation is different: There exist arbitrarily many inequivalent surface-knots of genus g with the same knot quandle, and there exist two inequivalent surface-knots of genus g with the same knot quandle and with the same fundamental class.     

Branched spines and Heegaard genus of 3-manifolds

We prove that an invariant of closed 3-manifolds, called the block number, which is defined via flow-spines, equals the Heegaard genus, except for S ³ and S ² × S ¹. We also show that the underlying 3-manifold is uniquely determined by a neighborhood of the singularity of a flow-spine. This allows us to encode a closed 3-manifold by a sequence of signed labeled symbols. The behavior of the encoding under the connected sum and a criterion for reducibility are studied.     

On the Alexander polynomials of knots with Gordian distance one

We consider a condition on a pair of the Alexander polynomials of knots which are realizable by a pair of knots with Gordian distance one. We show that there are infinitely many mutually disjoint infinite subsets in the set of the Alexander polynomials of knots such that every pair of distinct elements in each subset is not realizable by any pair of knots with Gordian distance one. As one of the subsets, we have an infinite set containing the Alexander polynomials of the trefoil knot and the figure eight knot. We also show that every pair of distinct Alexander polynomials such that one is the Alexander polynomial of a slice knot is realizable by a pair of knots of Gordian distance one, so that every pair of distinct elements in the infinite subset consisting of the Alexander polynomials of slice knots is realizable by a pair of knots with Gordian distance one. These results solve problems given by Y. Nakanishi and by I. Jong.     

Hyperbolic isometries versus symmetries of links

We prove that every finite group is the orientation-preserving isometry group of the complement of a hyperbolic link in the 3-sphere.     

Incompressible surfaces in handlebodies and isotopies

It is shown that every properly embedded incompressible surface in a handlebody can be constructed by a canonical gluing process. A simple condition is given which asserts that the result of the gluing process is an incompressible surface. A new notion of isotopy is introduced in order to distinguish surfaces belonging to distinct isotopy classes. Several examples (known and new) are constructed.     

On the height of 2-component links

Let p be a prime and let L be a 2-component link in S³. We define a numerical invariant, called p-height of L, using a tower of successive p-fold branched cyclic coverings of L, and show, in particular, 2-height is algorithmically determined for any 2-component link. Some relationships between p-height and known link type invariants are also established.     

Vassiliev invariants and the Poincaré conjecture

This article examines the relationship between 3-manifold topology and knot invariants of finite type. We prove that in every Whitehead manifold there exist knots that cannot be distinguished by Vassiliev invariants. If, on the other hand, Vassiliev invariants distinguish knots in each homotopy sphere, then the Poincaré conjecture is true (i.e. every homotopy 3-sphere is homeomorphic to the standard 3-sphere).     

On some classes of hyperbolic knots with the 3-sphere surgery

For the distance of (1,1)-splittings of a knot in a closed orientable 3-manifold, it is an important problem whether a (1,1)-knot can admit (1,1)-splittings of different distances. In this paper, we give one-parameter families of hyperbolic (1,1)-knots such that each (1,1)-knot admits a Dehn surgery yielding the 3-sphere. It is remarkable that such knots are the first concrete examples each of whose (1,1)-splittings is of distance three.     

On virtual pathwidth of virtual graphs of a virtual link

The geometric representation of a knot is not too dissimilar from a graph and this interaction has helped mathematicians to solve many problems. In this paper, we apply graph theory tools to study the classification of virtual knots and links. We define virtual planar graphs and compute virtual path width of an associated graph of a virtual link. We show that the virtual path width of an associated graph is equal to the virtual bridge number of a pseudo prime knot.