I don't know a genuine link to the smooth Poincare conjecture but the link to cobordism for homology spheres is simple. Given a slice disc, construct a branched cover of , branched over the slice disc. That gives you a 4-manifold bounding the associated branched cover of the knot in . I wouldn't describe it as an approach to determining which homology 3-spheres bound homology 4-balls but it's a natural source of examples, and a linkage. If anything the information seems to flow mostly the other direction. For example, Paolo Lisca's recent paper where he determines precisely which connect-sums of lens spaces bound rational homology balls. As a corollary he deduces the order of 2-bridge knots in the concordance group of knots in .
EDIT: Not exactly addressing your question, I think of the slice-ribbon conjecture as a primitive 4-dimensional knotting problem. Given a slice disc you could ask if it's isotopic to a ribbon disc (if the height function on when restricted to the slice disc has only 1-handle and 2-handle attachments, in that order). You can mess up a ribbon disc by taking connect-sums with 2-knots. So modulo connect sums with 2-knots is every slice disc isotopic to a ribbon disc? Perhaps that's too much to ask too, so you can ask the slice-ribbon problem.
2nd edit: As far as I know, the slice-ribbon conjecture has no major consequences. As I describe above, it's more of an ''outer-marker'' type of conjecture. It's a measure of how well we understand knotting of 2-dimensional things in 4-dimensional things.
3rd edit: Here is a type of mild consequence that was pointed out to me recently. In my arXiv preprint on embeddings of 3-manifolds in there's Construction 2.9 which creates embeddings of certain 3-manifolds in homotopy 4-spheres. The first step is to find a contractible -manifold that bounds the 3-manifold , then you double to get a homotopy . If the link used in the construction is a ribbon link, the contractible manifold admits a handle decomposition with one 0-handle, 1-handles and 2-handles (for some ) and no higher dimensional handles. So the homotopy constructed that contains is diffeomorphic to provided the corresponding presentation of is trivializable by Andrews-Curtis moves (handle slides for the handle presentation). This argument will appear in the next draft of the paper, which should appear before January.
No comments:
Post a Comment