Local-moves on knots and products of knots II

Abstract

We use the terms, knot product and local-move, as defined in the text of this paper. Let [Formula: see text] be an integer [Formula: see text]. Let [Formula: see text] be the set of simple spherical [Formula: see text]-knots in [Formula: see text]. Let [Formula: see text] be an integer [Formula: see text]. We prove that the map [Formula: see text] is bijective, where [Formula: see text]Hopf, and Hopf denotes the Hopf link. Let [Formula: see text] and [Formula: see text] be 1-links in [Formula: see text]. Suppose that [Formula: see text] is obtained from [Formula: see text] by a single pass-move, which is a local-move on 1-links. Let [Formula: see text] be a positive integer. Let [Formula: see text] denote the knot product [Formula: see text]. We prove the following: The [Formula: see text]-dimensional submanifold [Formula: see text] [Formula: see text] is obtained from [Formula: see text] by a single [Formula: see text]-pass-move, which is a local-move on [Formula: see text]-submanifolds contained in [Formula: see text]. See the body of this paper for the definitions of all local-moves in this abstract. We prove the following: Let [Formula: see text], and [Formula: see text] be positive integers. If the [Formula: see text] torus link is pass-move-equivalent to the [Formula: see text] torus link, then the Brieskorn manifolds, [Formula: see text] and [Formula: see text], are diffeomorphic as abstract manifolds. Let [Formula: see text] and [Formula: see text] be (not necessarily connected or spherical) 2-dimensional closed oriented submanifolds in [Formula: see text]. Suppose that [Formula: see text] is obtained from [Formula: see text] by a single ribbon-move, which is a local-move on 2-dimensional submanifolds contained in [Formula: see text]. Let [Formula: see text] be an integer [Formula: see text]. We prove the following: The [Formula: see text]-submanifold [Formula: see text] [Formula: see text] is obtained from [Formula: see text] by a single [Formula: see text]-pass-move, which is a local-move on [Formula: see text]-dimensional submanifolds contained in [Formula: see text].