This book presents the classical theorems about simply connected smooth 4-manifolds: intersection forms and homotopy type, oriented and spin bordism, the index theorem, Wall's diffeomorphisms and h-cobordism, and Rohlin's theorem. Most of the proofs are new or are returbishings of post proofs; all are geometric and make us of handlebody theory. There is a new proof of Rohlin's theorem using spin structures. There is an introduction to Casson handles and Freedman's work including a chapter of unpublished proofs on exotic R4's. The reader needs an understanding of smooth manifolds and characteristic classes in low dimensions. The book should be useful to beginning researchers in 4-manifolds.
This book is an exposition of the technique of surgery on simply-connected smooth manifolds. Systematic study of differentiable manifolds using these ideas was begun by Milnor [45] and Wallace [68] and developed extensively in the last ten years. It is now possible to give a reasonably complete theory of simply-connected manifolds of dimension ~ 5 using this approach and that is what I will try to begin here. The emphasis has been placed on stating and proving the general results necessary to apply this method in various contexts. In Chapter II, these results are stated, and then applications are given to characterizing the homotopy type of differentiable manifolds and classifying manifolds within a given homotopy type. This theory was first extensively developed in Kervaire and Milnor [34] in the case of homotopy spheres, globalized by S. P. Novikov [49] and the author [6] for closed 1-connected manifolds, and extended to the bounded case by Wall [65] and Golo [23]. The thesis of Sullivan [62] reformed the theory in an elegant way in terms of classifying spaces.
Important lectures on differential topology by acclaimed mathematician John Milnor These are notes from lectures that John Milnor delivered as a seminar on differential topology in 1963 at Princeton University. These lectures give a new proof of the h-cobordism theorem that is different from the original proof presented by Stephen Smale. Milnor's goal was to provide a fully rigorous proof in terms of Morse functions. This book remains an important resource in the application of Morse theory.
This book describes work on the characterization of closed 4-manifolds in terms of familiar invariants such as Euler characteristic, fundamental group, and Stiefel-Whitney classes. Using techniques from homological group theory, the theory of 3-manifolds and topological surgery, infrasolvmanifolds are characterized up to homeomorphism, and surface bundles are characterized up to simple homotopy equivalence. Non-orientable cases are also considered wherever possible, and in the final chapter the results obtained earlier are applied to 2-knots and complex analytic surfaces.
In 1961 Smale established the generalized Poincare Conjecture in dimensions greater than or equal to 5 [129] and proceeded to prove the h-cobordism theorem [130]. This result inaugurated a major effort to classify all possible smooth and topological structures on manifolds of dimension at least 5. By the mid 1970's the main outlines of this theory were complete, and explicit answers (especially concerning simply connected manifolds) as well as general qualitative results had been obtained. As an example of such a qualitative result, a closed, simply connected manifold of dimension 2: 5 is determined up to finitely many diffeomorphism possibilities by its homotopy type and its Pontrjagin classes. There are similar results for self-diffeomorphisms, which, at least in the simply connected case, say that the group of self-diffeomorphisms of a closed manifold M of dimension at least 5 is commensurate with an arithmetic subgroup of the linear algebraic group of all automorphisms of its so-called rational minimal model which preserve the Pontrjagin classes [131]. Once the high dimensional theory was in good shape, attention shifted to the remaining, and seemingly exceptional, dimensions 3 and 4. The theory behind the results for manifolds of dimension at least 5 does not carryover to manifolds of these low dimensions, essentially because there is no longer enough room to maneuver. Thus new ideas are necessary to study manifolds of these "low" dimensions.
One of the great achievements of contemporary mathematics is the new understanding of four dimensions. Michael Freedman and Frank Quinn have been the principals in the geometric and topological development of this subject, proving the Poincar and Annulus conjectures respectively. Recognition for this work includes the award of the Fields Medal of the International Congress of Mathematicians to Freedman in 1986. In Topology of 4-Manifolds these authors have collaborated to give a complete and accessible account of the current state of knowledge in this field. The basic material has been considerably simplified from the original publications, and should be accessible to most graduate students. The advanced material goes well beyond the literature; nearly one-third of the book is new. This work is indispensable for any topologist whose work includes four dimensions. It is a valuable reference for geometers and physicists who need an awareness of the topological side of the field. Originally published in 1990. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.