Skip to main content
7 events
when toggle format what by license comment
Dec 8, 2020 at 1:22 comment added Moishe Kohan There are some cases when $n=3$ and isotopy holds without the incompressibility assumption, for instance when $M=S^3$ and complements to both $\partial S, \partial S'$ are handlebodies (this is Waldhausen's uniqueness theorem for Heegaard splittings).
Dec 7, 2020 at 22:40 comment added skupers I am not saying that the only relevant information for deciding whether a space of embeddings is easy to understand is whether the handle dimension of the domain is small. However, it is the criterion for deciding whether embedding calculus applies and hence whether you can apply for example Haefliger's work on embeddings in the metastable range. In low codimensions you're probably better off using surgery (e.g. Chapter 11 of Wall's Surgery on compact manifolds). I think you should expect the cases where the target has low dimension to be different from the high-dimensional case.
Dec 7, 2020 at 22:37 comment added mme @RobertoLadu The assumption of $\pi_1$-injectivity is doing a lot for you here. Embeddings of surfaces in $S^3$ are strictly more complicated than knot theory, as every embedding $T^2 \to S^3$ bounds a thickened knot on one side, and isotopic embeddings give rise to isotopic knots. Note that embeddings of genus 2 surfaces are more complicated than embeddings of genus 2 handlebodies: there are genus 2 surfaces in $S^3$ so that neither side of the complement is a handlebody
Dec 7, 2020 at 22:29 comment added Roberto Ladu Thank you @skupers. I'm a bit confused though, for example, why we have that surfaces (handle dimension 2) in three manifolds are more easily understood up to isotopy than knots (handle dimension 1)? Also, if the codimension is big enough there is only one isotopy class regardless the handle dimension, (I'm thinking to the fact that all embedding of n-manifolds in $\mathbb{R}^{2n+1}$ are isotopic for $n>1$). That's why it seems to me that the codimension matters. How can I explain these with just the handle dimension?
Dec 7, 2020 at 22:15 comment added skupers The relevant codimension for studying embeddings is not the geometric dimension but the handle dimension (the minimum over all handle decompositions of the maximum of the indices of the handles). E.g. from the point of view of understanding embeddings of $D^n$, it behaves as if it were 0-dimensional.
Dec 7, 2020 at 22:14 history edited Roberto Ladu CC BY-SA 4.0
edited title
Dec 7, 2020 at 22:06 history asked Roberto Ladu CC BY-SA 4.0