A family of embedding spaces

Abstract

Let Emb(S^j,S^n) denote the space of C^infty-smooth embeddings of the j-sphere in the n-sphere. This paper considers homotopy-theoretic properties of the family of spaces Emb(S^j,S^n) for n >= j > 0. There is a homotopy-equivalence of Emb(S^j,S^n) with SO_{n+1} times_{SO_{n-j}} K_{n,j} where K_{n,j} is the space of embeddings of R^j in R^n which are standard outside of a ball. The main results of this paper are that K_{n,j} is (2n-3j-4)-connected, the computation of pi_{2n-3j-3} (K_{n,j}) together with a geometric interpretation of the generators. A graphing construction Omega K_{n-1,j-1} --> K_{n,j} is shown to induce an epimorphism on homotopy groups up to dimension 2n-2j-5. This gives a new proof of Haefliger's theorem that pi_0 (Emb(S^j,S^n)) is a group for n-j>2. The proof given is analogous to the proof that the braid group has inverses. Relationship between the graphing construction and actions of operads of cubes on embedding spaces are developed. The paper ends with a brief survey of what is known about the spaces K_{n,j}, focusing on issues related to iterated loop-space structures.Comment: This is the version published by Geometry & Topology Monographs on 22 February 200

High-codimensional knots spun about manifolds

“…and their generators. Recently, Budney [4] has given a description of such Haefliger knots in terms of the space of long knots, which is related to the Litherland-type deform-spinning.…”

“…‫ޒ‬ n being the standard inclusions on jxj 1 for x 2 ‫ޒ‬ j . Then, Budney [4], using results of Goodwillie [9], showed that there is an isomorphism 2 K 4;1 ! C …”

“…Note that he deals with more general cases in [4,Section 3], so that he constructs an epimorphism 2d 2 K dC2;1 ! C Budney [4] showed that the maps K 4;1 ! K 5;2 and K 5;2 !…”

An obstruction to a knot being deform-spun via Alexander polynomials

“…Zeeman proved that the complements of co-dimension two -twistspun knots fibre over 1 provided ∕ = 0 [8]. Litherland [7] went on to formulate a general situation where a deform-spun knot complements fibre over 1 . Specifically, Litherland proved that if the diffeomorphism :…”

“…In the paper [1] the first author gave a new proof of Haefliger's theorem, where the monoid of isotopy classes of smooth embeddings of in is a group, provided − > 2. The heart of the proof is showing that if − > 2, then every knot ( , ) (where…”