Blanchfield Pairings with Squarefree Alexander Polynomial.
Knot complements in the n-sphere are characterized. A connected open subset W of is homeomorphic with the complement of a locally flat (n-2)-sphere in , n ≥ 4, if and only if the first homology group of W is infinite cyclic, W has one end, and the homotopy groups of the end of W are isomorphic to those of in dimensions less than n/2. This result generalizes earlier theorems of Daverman, Liem, and Liem and Venema.
We consider the classical problem of a position of n-dimensional manifold Mⁿ in . We show that we can define the fundamental (n+1)-cycle and the shadow fundamental (n+2)-cycle for a fundamental quandle of a knotting . In particular, we show that for any fixed quandle, quandle coloring, and shadow quandle coloring, of a diagram of Mⁿ embedded in we have (n+1)- and (n+2)-(co)cycle invariants (i.e. invariant under Roseman moves).
The homotopy fiber of the inclusion from the long embedding space to the long immersion space is known to be an iterated based loop space (if the codimension is greater than two). In this paper we deloop the homotopy fiber to obtain the topological Stiefel manifold, combining results of Lashof and of Lees. We also give a delooping of the long embedding space, which can be regarded as a version of Morlet-Burghelea-Lashof's delooping of the diffeomorphism group of the disk relative to the boundary....
For smooth knottings of compact (not necessarily orientable) n-dimensional manifolds in (or ), we generalize the notion of knot moves to higher dimensions. This reproves and generalizes the Reidemeister moves of classical knot theory. We show that for any dimension there is a finite set of elementary isotopies, called moves, so that any isotopy is equivalent to a finite sequence of these moves.
For any collection of graphs we find the minimal dimension d such that the product is embeddable into (see Theorem 1 below). In particular, we prove that (K₅)ⁿ and are not embeddable into , where K₅ and are the Kuratowski graphs. This is a solution of a problem of Menger from 1929. The idea of the proof is a reduction to a problem from so-called Ramsey link theory: we show that any embedding , where O is a vertex of (K₅)ⁿ, has a pair of linked (n-1)-spheres.