REGULAR NEIGHBOURHOODS AND THE STABLE RANGE英文资料.pdfVIP

REGULAR NEIGHBOURHOODS AND THE STABLE RANGE BY W. B. R. LICKORISHF) AND L. C. SIEBENMANN 0. Introduction. We prove the following product theorem for regular neighbour- hoods of a polyhedron in a P.L. (=piecewise linear) manifold and give a number of basic applications. The most difficult identifies a large (and in a sense maximal) class of noncompact P.L. manifolds that are determined up to P.L. homeomorph- ism by their ordinary homotopy type and stable tangent bundle. Theorem 1 (Product Theorem). Let e: Xxl^ M be a P.L. proper imbedding, where X is a (possibly noncompact) polyhedron, M is a P.L. n-manifold, «ïïdim (XxI) + 3, and e~1(8M) = Xx{0, 1}. If P is a regular neighbourhood of e(X x I) in M such that P n 8 M is a union P0 u Px of regular neighbourhoods in 8 M of e(XxO) and e(Xx 1) respectively, then there exists a P.L. homeomorphism /:F0x/-Fszzc« that e(x, t) = f(e(x, 0), f) and f(P0xi) = Ph i = 0,1. This is closely related to the proposition that any block bundle (see [13]) £ over Ax / is isomorphic to (Ç | Ax 0) x /. In fact, if A is a P.L. manifold this is clearly equivalent, but for X a complex they merely say similar things about quite different sorts of object. Our proof consists of a pleasant reduction to a special case of a P.L. isotopy extension pr