For a real vector bundle with a fiber metric, the disk bundle isIts fiberwise boundary is the sphere bundle . The radial homotopy gives a deformation retraction onto the zero section, so is homotopy equivalent to .
If is a smooth manifold without boundary and the rank is positive, the total-space boundary is exactly . When is a manifold with boundary, the base boundary also contributes: the boundary faces are and , meeting along . For the trivial vector bundle of rank one over , the disk bundle is the rectangle . Its top and bottom sides form the sphere bundle; its left and right sides come from the base boundary. The intersections are corners.
Plumbing identifies a base disk times a fiber disk in one oriented rank-two disk bundle with such a neighborhood in another, exchanging base and fiber coordinates. Their zero sections then intersect transversely once. For disk bundles over arranged along a chain with Euler numbers , the intersection form has diagonal entries , adjacent entries one and other entries zero. The same manifold has a Kirby diagram consisting of adjacent Hopf-linked unknots with framings . Its boundary is described by the corresponding negative continued fraction, with the orientation fixed by the surgery convention.
Articles by others on the same topic
There are currently no matching articles.