DOCSLIB.ORG

Immersions of Manifolds (Normal Bundle/Classifying Space/Thom Space) RALPH L

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Immersions of Manifolds (Normal Bundle/Classifying Space/Thom Space) RALPH L Proc. NatL Acad. Sci. USA Vol. 79, pp. 3390-3392, May 1982 Mathematics Immersions of manifolds (normal bundle/classifying space/Thom space) RALPH L. COHEN Stanford University, Stanford, California 94305 Communicated by George W. Whitehead, February 22, 1982 ABSTRACT This paper outlines a proofofthe conjecture that A scheme for proving this theorem has been developed and every compact, differentiable, n-dimensional manifold immerses partially carried out by Brown and Peterson (4-6). This work in Euclidean space ofdimension 2n - a(n), where a(n) is the num- can be viewed as a completion of their program. ber of ones in the dyadic expansion of n. The outline ofthe proofofTheoremA will be spread over the following two sections. In Section I I recall some of Brown and An old problem in differential topology is that of finding the Peterson's work, describe our main technical lemma, and show smallest integer k(n) with the property that every compact, C', how it implies Theorem A. In Section 2 I give an outline of the n-dimensional manifold M" immerses in [n + k(n)]-dimensional constructions needed to prove this lemma. Euclidean space, Rn+k(n). A well-known conjecture is that k(n) Throughout the rest of this paper all (co)homology will be = n - a(n), where a(n) is the number of ones in the dyadic taken with Z2 coefficients, and by the term "n-manifold" I shall expansion of n. The classical immersion theorem of Whitney mean a compact, C , n-dimensional manifold. (1) states that k(n) < n - 1 and, in particular, implies that this and a key lemma conjecture is true when n is a power of 2. The purpose of this 1. Some preliminaries note is to announce and to outline a proofofthis conjecture for We begin with some recollections ofBrown and Peterson's work all integers n. Details will appear elsewhere. toward the solution- of the immersion problem. The primary obstructions to finding an immersion of Mn in As above, let vM: M' + BO classify the stable normal bundle Rn+k are the Stiefel-Whitney characteristic classes ofthe stable of an n-manifold M, and let normal bundle, w1(MW), for i > k. In 1960, Massey (2) proved v~m: H*(BO) H*(Mn) that Wi(Mn) = 0 for i > n - a(n) and thereby gave the first evi- dence for this conjecture. The fact that Massey's result is best be the induced homomorphism in (mod 2) cohomology. Let In possible follows from the observation that, ifwe write C H*(BO) be the ideal In = n ker v~m where il < i2< .. < i, [so that a(n) = r] andlet M" be the where the intersection is taken over all n-manifolds. In ref. 4, product of projective spaces Brown and' Peterson computed In explicitly. Notice that, by the definition ofIn, for every n-manifold M" Mn = RP2 X ... XIIP2F, there exists a homomorphism then a standard calculation shows that wn-.(.)(Mn) # 0. This in vm: H*(BO)/In -- H*(M) particular implies that k(n) 2 n - a(n). A well-known theorem of Hirsch (3) translates the problem making the following diagram of groups and homomorphisms ofimmersing manifolds into homotopy theoretic problems. This commute: is the approach we shall take. More precisely, let BO(k) be the H*(BO) classifying space of k-dimensional vector bundles, BO = lim k BO(k), and ifMn is an nmanifold, let vM: M + BO classify the H*(BO)/In H*(M) stable normal bundle of M. That is, vM classifies the normal bundle ofan embeddingofM into a high-dimensional Euclidean where p* is the projection map. In ref. 6, Brown and Peterson space. Our goal is to prove the following. showed that this diagram can be realized by a diagram ofspaces THEOREM A. If Mn is a compact, C", n-dimensional mani- and continuous maps. That is, they proved the following. fold, then there exists a map THEOREM 1. 1. For each nO there exists an n-dimensional together with a map p: BO/In + BO sat- -- C.W. complex BO/In VM Mn BO[n - a(n)] isfying the following properties: so that the composition Mn -r BO[n - a(n)] C BO is homotopic a. H*(BO/In) = H*(BO)/In and the induced homomorphism p : H*(BO) + H*(BO/In) is the natural projection. to the stable normal bundle map vM. b. IfMn is any n-manifold and vM : M M BO classifies its stable Indeed, given a map vi : Mn + BO[n - a(n)] as in this theo- normal bundle, then there exists a map PM : M + BO/In making rem, Hirsch's result guarantees the existence of an immersion thefollowing diagram homotopy commute: f: M" R2,-"(n) having normal bundle classified by v'M. Thus, BO/In Theorem A implies the truth of the immersion conjecture. 0/in PM P The publication costs ofthis article were defrayed in part by page charge payment. This article must therefore be hereby marked "advertise- M - BO. ment" in accordance with 18 U. S. C. §1734 solely to indicate this fact. VM 3390 Downloaded by guest on September 28, 2021 Mathematics: Cohen Proc. Natl. Acad. Sci. USA 79 (1982) 3391 Our goal is to prove the following. be the Postnikov tower for this fibration, where each K1 is a THEOREM 1.2. For every n there exists a map pn : BO/In + product of Eilenberg-MacLane spaces. Now, since for n > 3, BO[n - a(n)] making thefollowing diagram homotopy commute: n < 2[n - a(n)], it is well known that ;T[Vn-,n)] is a finite abelian 2-group for q s n. By modifying this tower ifnecessary, BO[n - a(n)] we may therefore assume that through dimension n each K1 is Pn a product of Eilenberg-MacLane spaces of type K(Z2, q). (See ref. 7 for a discussion of modified Moore-Postnikov towers.) BO/In -. BO. Suppose inductively that there exists a lifting Pi- : BOIL P Bi,1 of p making the following diagram homotopy commute: Notice that Theorems 1.1 and 1.2 taken together imply Theo- BO[n a(n)] * B I B.+B** - = BO remA and therefore the immersion conjecture. Indeed, we may Bo let v$,: Me+ BO[n - a(n)] be the composition tfn M"- BO/I,,-* ,/ t v: BO[n a(n)]. Xn pal p. 9BOln. The main lemma needed to prove Theorem 1.2 is the To complete the inductive step we need to construct a map following. Pi: BO/ln . Bi, making the above diagram homotopy commute. LEMMA 1.3. There exist spaces Xn together with maps fn: Xn This can be done if and only if the induced map of pairs BO[n - a(n)] and gn : Xn + BO/In satisfying the following properties: (BO/In; Xn) X(Bi-,, Bd) a. Thefollowing diagram homotopy commutes: (P1-141.3) 0 BO[n - a(n)] is null homotopic. Since the fibration Bi-I + Bi is principal with fiber 1i a product of K(Z2, q)s, it is sufficient to prove that the above map ofpairs induces the zero map in mod 2 cohomology. gnj This is equivalent, by the relative Thom isomorphism theorem, BO/In BO. to showing that the induced map of pairs of-Thom spectra in- P duces the zero map in mod 2 cohomology. To do this we shall b. IfMO/In is the Thom spectrum ofthe stable vector bundle prove that, when localized at 2, the map of pairs over BO/In classifted by p, then 2-locally MO/In splits off of (MO/lnv TXJ) (T T (TBi-1, TBi) the Thom spectrum TX,,. That is, after localizing at the prime (TA1, Tf,.,) 2, there exists a map is null homotopic. That is, we shall prove that the map TA1-, arn,: MO/In TXn lifts (up to homotopy) to a map Ai: MO/In . TBi with the prop- erty that the composition A, o Tgn is homotopic to Tfn,i. For this so that the composition Tg,, o an: MO/In TX, MO/In is ho- we define A{ to be the composition motopic to the identity. c. The following diagram homotopy commutes: Ai = T(fn,d Cran: MO/In + TXn + TBi TXn ' MO[n - a(n)] One can easily check that properties b and c in the statement ofLemma 1.3 imply that Ai satisfies the required properties. Tgn ITfn This completes the inductive step in our proof that Lemma 13 implies Theorem 1.2 (and therefore the immersion conjecture). MO/In - TXn. an 2. Construction of the spaces X. We now proceed to show why Theorem 1.2 (and therefore the In this section we indicate how the spaces X. and maps n: Xn immersion conjecture) follows from Lemma 1.3. We will indicate + BO[n - a(n)] and gn, Xn + BO/ln are constructed so as to a proof of this lemma in the next section. satisfy Lemma 1.3. First, some preliminaries. We shall show that Lemma 1.3 implies the existence of a map Let MO be the Thom spectrum ofthe universal stable vector pn : BO/In + BO[n - a(n)] so that the composition bundle over BO and recall Thom's computation ofthe unorient- ed cobordism ring (8): pn o gn: Xn x BO /In + BO[n - a(n)] '7* = 'TT*(MO) = Z2[bk: k # 2' - 1] is homotopic tof,. To do this we consider the Moore-Postnikov tower for the fibration sequence where IbkI = k. Ifw = (il, it") is a sequence ofintegers, none of which is of the form 2' - 1, let bit = bil b'".
Load more

Recommended publications
  • Milnor, John W. Groups of Homotopy Spheres
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 52, Number 4, October 2015, Pages 699–710 http://dx.doi.org/10.1090/bull/1506 Article electronically published on June 12, 2015 SELECTED MATHEMATICAL REVIEWS related to the paper in the previous section by JOHN MILNOR MR0148075 (26 #5584) 57.10 Kervaire, Michel A.; Milnor, John W. Groups of homotopy spheres. I. Annals of Mathematics. Second Series 77 (1963), 504–537. The authors aim to study the set of h-cobordism classes of smooth homotopy n-spheres; they call this set Θn. They remark that for n =3 , 4thesetΘn can also be described as the set of diffeomorphism classes of differentiable structures on Sn; but this observation rests on the “higher-dimensional Poincar´e conjecture” plus work of Smale [Amer. J. Math. 84 (1962), 387–399], and it does not really form part of the logical structure of the paper. The authors show (Theorem 1.1) that Θn is an abelian group under the connected sum operation. (In § 2, the authors give a careful treatment of the connected sum and of the lemmas necessary to prove Theorem 1.1.) The main task of the present paper, Part I, is to set up methods for use in Part II, and to prove that for n = 3 the group Θn is finite (Theorem 1.2). (For n =3the authors’ methods break down; but the Poincar´e conjecture for n =3wouldimply that Θ3 = 0.) We are promised more detailed information about the groups Θn in Part II. The authors’ method depends on introducing a subgroup bPn+1 ⊂ Θn;asmooth homotopy n-sphere qualifies for bPn+1 if it is the boundary of a parallelizable man- ifold.
    [Show full text]
  • An Introduction to Differential Topology and Surgery Theory
    An introduction to differential topology and surgery theory Anthony Conway December 8, 2018 Abstract This course decomposes in two parts. The first introduces some basic differential topology (mani- folds, tangent spaces, immersions, vector bundles) and discusses why it is possible to turn a sphere inside out. The second part is an introduction to surgery theory. Contents 1 Differential topology2 1.1 Smooth manifolds and their tangent spaces......................2 1.1.1 Smooth manifolds................................2 1.1.2 Tangent spaces..................................4 1.1.3 Immersions and embeddings...........................6 1.2 Vector bundles and homotopy groups..........................8 1.2.1 Vector bundles: definitions and examples...................8 1.2.2 Some homotopy theory............................. 11 1.2.3 Vector bundles: the homotopy classification.................. 15 1.3 Turning the sphere inside out.............................. 17 2 Surgery theory 19 2.1 Surgery below the middle dimension.......................... 19 2.1.1 Surgery and its effect on homotopy groups................... 20 2.1.2 Motivating the definition of a normal map................... 21 2.1.3 The surgery step and surgery below the middle dimension.......... 24 2.2 The even-dimensional surgery obstruction....................... 26 2.2.1 The intersection and self intersection numbers of immersed spheres..... 27 2.2.2 Symmetric and quadratic forms......................... 31 2.2.3 Surgery on hyperbolic surgery kernels..................... 33 2.2.4 The even quadratic L-groups.......................... 35 2.2.5 The surgery obstruction in the even-dimensional case............ 37 2.3 An application of surgery theory to knot theory.................... 40 1 Chapter 1 Differential topology The goal of this chapter is to discuss some classical topics and results in differential topology.
    [Show full text]
  • On the Normal Bundle to an Embedding
    TopoiogyVol. IO.pp. 299-308.Pergamon Press.1971. Prmled m Great Bntd~n ON THE NORMAL BUNDLE TO AN EMBEDDING R. J. MILGRAM and ELUER REES* (Received 9 Jlrne 1970) IT IS often of interest in differential geometry or differential topology to know that one can embed a particular manifold in Euclidean space with a particular normal bundle. Our object here is to analyze this problem and introduce some techniques which, in favorable cases, allow one to obtain information about the normal bundle to a smooth embedding. First we note two fairly elementary “general position” theorems. We call a vector bundle q over M a normal bundle to M if 9 @ s(M) is trivial. THEOREMA. Let M” be s-connected, s 2 I and q a normal k-plane bundle to M with vanishing Euler class. If k 2 n - s - I, n + k > 5, and 2k 2 n + 3, then there is an embedding M” c Rntk witfl normal bundle 1’isomorphic to 7 on the (n - 1) skeleton of M. Next we have: THEOREMB. Let M” be s-connected, s 2 1 and 11a normal k-plane bundle to M which has a non-zero cross-section. If k 2 n - 2s, n + k > 5 and 2k 2 n + 3, then there is an embedding of M in R”fk whose normal bundle v is isomorphic to q on the (n - 1) skeleton of M. Theorems of this type appear in the literature in various forms [I], [4], [5], [21], [22] however, we believe our proof represents a considerable simplification.
    [Show full text]
  • Lecture 9: Tangential Structures We Begin with Some Examples Of
    Lecture 9: Tangential structures We begin with some examples of tangential structures on a smooth manifold. In fact, despite the name—which is appropriate to our application to bordism—these are structures on arbitrary real vector bundles over topological spaces; the name comes from the application to the tangent bundle of a smooth manifold. Common examples may be phrased as a reduction of structure group of the tangent bundle. The general definition allows for more exotic possibilities. We move from a geometric description—and an extensive discussion of orientations and spin structures—to a more abstract topological definition. Note there are both stable and unstable tangential structures. The stable version is what is usually studied in classical bordism theory; the unstable version is relevant to the modern developments, such as the cobordism hypothesis. I suggest you think through this lecture first for a single tangential structure: orientations. Orientations revisited (9.1) Existence and uniqueness. Let V M be a real vector bundle of rank n over a manifold M. → (In this whole discussion you can replace a manifold by a metrizable topological space.) In Lecture 2 we constructed an associated double cover o(V ) M, the orientation double cover of the vector → bundle V M. An orientation of the vector bundle is a section of o(V ) M. There is an → → existence and uniqueness exercise. Exercise 9.2. The obstruction to existence is the isomorphism class of the orientation double cover: orientations exists if and only if o(V ) M is trivializable. Show that this isomorphism → class is an element of H1(M; Z/2Z).
    [Show full text]
  • The Topology of Fiber Bundles Lecture Notes Ralph L. Cohen
    The Topology of Fiber Bundles Lecture Notes Ralph L. Cohen Dept. of Mathematics Stanford University Contents Introduction v Chapter 1. Locally Trival Fibrations 1 1. Definitions and examples 1 1.1. Vector Bundles 3 1.2. Lie Groups and Principal Bundles 7 1.3. Clutching Functions and Structure Groups 15 2. Pull Backs and Bundle Algebra 21 2.1. Pull Backs 21 2.2. The tangent bundle of Projective Space 24 2.3. K - theory 25 2.4. Differential Forms 30 2.5. Connections and Curvature 33 2.6. The Levi - Civita Connection 39 Chapter 2. Classification of Bundles 45 1. The homotopy invariance of fiber bundles 45 2. Universal bundles and classifying spaces 50 3. Classifying Gauge Groups 60 4. Existence of universal bundles: the Milnor join construction and the simplicial classifying space 63 4.1. The join construction 63 4.2. Simplicial spaces and classifying spaces 66 5. Some Applications 72 5.1. Line bundles over projective spaces 73 5.2. Structures on bundles and homotopy liftings 74 5.3. Embedded bundles and K -theory 77 5.4. Representations and flat connections 78 Chapter 3. Characteristic Classes 81 1. Preliminaries 81 2. Chern Classes and Stiefel - Whitney Classes 85 iii iv CONTENTS 2.1. The Thom Isomorphism Theorem 88 2.2. The Gysin sequence 94 2.3. Proof of theorem 3.5 95 3. The product formula and the splitting principle 97 4. Applications 102 4.1. Characteristic classes of manifolds 102 4.2. Normal bundles and immersions 105 5. Pontrjagin Classes 108 5.1. Orientations and Complex Conjugates 109 5.2.
    [Show full text]
  • STABLE HOMOTOPY THEORY by J.M. Boardman. University of Warwick, Coventry
    STABLE HOMOTOPY THEORY by J.M. Boardman. University of Warwick, Coventry. STABLE HOMOTOPY THEORY by J.M. Boardman, University of Warwick, Coventry. November, 1965. A GENERAL SUMMARY We set out here, under lettered heads, the general properties of CW-spectra, which are designed to overcome the objections to previous theories of stable homotopy. They are closely analogous to CW-complexes in ordinary homotopy theory; and it is this analogy that gives then their favourable properties. A. Topological categories In any category A we write lor, (X, Y) or Mor(X, Y) for the set of morphisms from X to Y. - A.1. We say that A is a topological category if a) Mor(X, Y) is a topological space for all objects X, Y, b) The composition map Mor(X, Y) x Mor(Y, Z) = Mor(X, 2), which we write £f x g ~ g °f, is separately continuous for all objects X, Y, Z. In practice our topological categories satisfy the extra axiom: - 2 - A.2. The composite g°f is jointly continuous in f x g if we restrict f or g to lie in a compact subset. For example, the category T of topological spaces and continuous maps becomes itself a topological category if we endow Mor(X, Y) with the compact-open topology. In this example composition is not always jointly continuous. If A has a zero object, we may take the zero morphism (which we write as o) as base point of Mor(X, Y). Let F:tA » B be a functor between topological categories.
    [Show full text]
  • An Introduction to Differential Topology and Surgery Theory
    An introduction to differential topology and surgery theory Anthony Conway Fall 2018 Introduction These notes are based on a course that was taught at Durham University during the fall of 2018. The initial goal was to provide an introduction to differential topology and, depending on the audience, to learn some surgery theory. As it turned out, the audience was already familiar with basic manifold theory and so surgery became the main focus of the course. Nevertheless, as a remnant of the initial objective, the use of homology was avoided for as long as possible. The course decomposed into two parts. The first part assumed little background and intro- duced some basic differential topology (manifolds, tangent spaces, immersions), algebraic topology (higher homotopy groups and vector bundles) and briefly discusses the Smale's sphere eversion. The second part consisted of an introduction to surgery theory and described surgery below the middle dimension, the surgery obstruction in even dimensions and an application to knot theory (Alexander polynomial one knots are topologically slice). These notes no doubt still contain some inaccuracies. Hopefully, they will be polished in 2019. 1 Differential topology2 1.1 Smooth manifolds and their tangent spaces......................2 1.1.1 Smooth manifolds................................2 1.1.2 Tangent spaces..................................4 1.1.3 Immersions and embeddings...........................6 1.2 Vector bundles and homotopy groups..........................8 1.2.1 Vector bundles: definitions and examples...................8 1.2.2 Some homotopy theory............................. 11 1.2.3 Vector bundles: the homotopy classification.................. 15 1.3 Turning the sphere inside out.............................. 17 2 Surgery theory 19 2.1 Surgery below the middle dimension.........................
    [Show full text]
  • Applications of Poincarg Duality Spaces to the Topology of Manifolds
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Topdogy Vol. I I, pp. 205-121. Pcrgamon Press. 1971. Prio:ed in Great Britaio APPLICATIONS OF POINCARG DUALITY SPACES TO THE TOPOLOGY OF MANIFOLDS NORMAN LEVITT (Received 14 August 1970; revised 22 December 1970) THE INTENT of this paper is to apply some results in the theory of PoincarC duality spaces to the study of some questions in the topology of manifolds. The main sources of informa- tion about Poincarl duality spaces are Spivak’s paper [S] and some papers of the author [3], [4], [6]. In particular, we utilize some results on surgery and transversality in the Poincare duality category. In conjunction with a result of Peterson and Toda [7], we are able to develop the primary result to be used in the applications: THEOREM. For C-W con~plexes, integral homology may be represented by nzaps of orient& Poincare’ duality spaces. In other words, integral homology is representable in the sense of Steenrod, if one is willing to use oriented Poincart duality spaces rather than oriented manifolds. We show this in $2 below. Tn $3, we look at the cohomology of manifolds M’. We show that in a large number of cases an element a E H’(M’), k > f , is induced from the cohomolo,y of some (k + q)- dimensional space, 0 I q I r - k, if and only if it is induced from the Thorn class of a spherical fibration 5 over a q-dimensional space by a map Mr -+ T(c).
    [Show full text]
  • Three Lectures on Topological Manifolds
    THREE LECTURES ON TOPOLOGICAL MANIFOLDS ALEXANDER KUPERS Abstract. We introduce the theory of topological manifolds (of high dimension). We develop two aspects of this theory in detail: microbundle transversality and the Pontryagin- Thom theorem. Contents 1. Lecture 1: the theory of topological manifolds1 2. Intermezzo: Kister's theorem9 3. Lecture 2: microbundle transversality 14 4. Lecture 3: the Pontryagin-Thom theorem 24 References 30 These are the notes for three lectures I gave at a workshop. They are mostly based on Kirby-Siebenmann [KS77] (still the only reference for many basic results on topological manifolds), though we have eschewed PL manifolds in favor of smooth manifolds and often do not give results in their full generality. 1. Lecture 1: the theory of topological manifolds Definition 1.1. A topological manifold of dimension n is a second-countable Hausdorff space M that is locally homeomorphic to an open subset of Rn. In this first lecture, we will discuss what the \theory of topological manifolds" entails. With \theory" I mean a collection of definitions, tools and results that provide insight in a mathematical structure. For smooth manifolds of dimension ≥ 5, handle theory provides such insight. We will describe the main tools and results of this theory, and then explain how a similar theory may be obtained for topological manifolds. In an intermezzo we will give the proof of the Kister's theorem, to give a taste of the infinitary techniques particular to topological manifolds. In the second lecture we will develop one of the important tools of topological manifold theory | transversality | and in the third lecture we will obtain one of its important results | the classification of topological manifolds of dimension ≥ 6 up to bordism.
    [Show full text]
  • Notes on the Surgery Obstruction
    NOTES ON THE SURGERY OBSTRUCTION AKHIL MATHEW 1. Introduction The goal of this talk is to describe a small portion of the answer to the following question: Question 1. When is a simply connected space X homotopy equivalent to a (compact) n-dimensional smooth manifold? A compact manifold is homotopy equivalent to a finite CW complex, so X must be one itself. Equivalently (since X is simply connected), the homology H∗(X; Z) must be finitely generated. More interestingly, we know that a hypothetical compact n-manifold M homotopy equivalent to X (which is necessarily orientable) satisfies Poincar´eduality. That is, we have a fundamental class [M] 2 Hn(M; Z) with the property that cap product induces an isomorphism r \[M] H (M; G) ' Hn−r(M; G); for all groups G and for all r. It follows that, if the answer to the above question is positive, an analogous condition must hold for X. This motivates the following definition: Definition 1. A simply connected finite CW complex X is a Poincar´eduality space (or Poincar´e complex) of dimension n if there is a class [X] 2 Hn(X; Z) such that for every abelian group G, cap product induces an isomorphism r \[M] H (X; G) ' Hn−r(X; G): A consequence is that the cohomology (and homology) groups of X vanish above dimension n, and Hn(X; Z) is generated by [X]. In other words, [X] behaves like the fundamental class of an n-dimensional manifold. We can thus pose a refined version of the above question.
    [Show full text]
  • Inventiones Mathematicae
    Inventiones math. 17, 191-202 (1972) © by Springer-Verlag 1972 Poincare Spaces, Their Normal Fibrations and Surgery William Browder (Princeton)* Let X be a Poincare space of dimension rn, i. e. there is an element [X]EHm(X) such that [X]n: Hq(X)--+Hm_q(X) is an isomorphism for all q. An oriented spherical fibre space ~, Eo ---.!4 X with fibre F homo­ topy equivalent to Sk-\ is called a Spivak normal fibre space for X if there is IXE7rm+k(T(~)) of degree 1, i.e. such that h(lX)n U~=[X], where T(~)=X un ('(Eo), U~E Hk(T(~)) is the Thorn class; h: 7r* --+ H* the Hure­ wicz homomorphism. Let us always assume that X is the homotopy type of a CW complex. Differential topology and surgery theory in particular has had great success in studying the problem of finding manifolds of the same homo­ topy type as a given Poincare space, and classifying them (see [2] for example). In this theory, one finds weaker structures for Poincare spaces analogous to well known structures on manifolds, and then studies the obstructions to lifting the structure to the strong type found on a mani­ fold. For example, the Spivak normal fibre space is the analog of the stable normal bundle to the embedding of a manifold in the sphere, and the problem of making this spherical fibre space into a linear bundle (up to fibre homotopy type) is central to the theory of surgery. In his thesis Spivak [5] showed that if 7rl X =0 then a Poincare space X has a Spivak normal fibre space for k>dim X, unique up to fibre homotopy equivalence (see also [2, Ch.
    [Show full text]
  • Differential Manifolds This Is Volume 138 in PURE and APPLIED MATHEMATICS
    Differential Manifolds This is Volume 138 in PURE AND APPLIED MATHEMATICS H. Bass, A. Borel, J. Moser, and S.-T. Yau, editors Paul A. Smith and Samuel Eilenberg, founding editors Differential Manifolds Antoni A. Kosinski Department of Mathematics Rutgers University New Brunswick, New Jersey ACADEMIC PRESS, INC. Harcourt Brace Jovanovich, Publishers Boston San Diego New York London Sydney Tokyo Toronto This book is printed on acid-free paper. @ Copyright 0 1993 by Academic Press, Inc. All rights reserved. No part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. ACADEMIC PRESS, INC. 1250 Sixth Avenue, San Diego, CA 92101 United Kingdom edition published by ACADEMIC PRESS LIMITED 24-28 Oval Road, London NW1 7DX Library of Congress Cataloging-in-Publication Data Kosinski, Antoni A.. date. Differential manifolds / Antoni A. Kosinski. p. cm. Includes bibliographical references (p. ) and index. ISBN 0-12-421850-4 (acid-free paper) 1. Differentiable manifolds. I. Title. QA614.3.K668 1992 5 14.36~20 91-34981 CIP Printed in the United States of America 92939495 BB 9 8 7 6 5 4 3 2 1 This book is dedicated to the memory of my father, the founder and publisher of "Mathesis," the first scientific publishing house in Poland. April 1963 Symposium in honor of Marston Morse, Institute for Advanced Study, Princeton, New Jersey. First row, seated,j?om left: S. S. Chem, R. J. Pohrer, A. Selberg, M. Morse,W.
    [Show full text]