Piecewise Linear Structures On Topological Manifolds

"The study of triangulations of topological spaces has always been at the root of geometric topology. Among the most studied triangulations are piecewise linear triangulations of high-dimensional topological manifolds. Their study culminated in the late 1960s-early 1970s in a complete classification in the work of Kirby and Siebenmann. It is this classification that we discuss in this book, including the celebrated Hauptvermutung and Triangulation Conjecture. The goal of this book is to provide a readable and well-organized exposition of the subject, which would be suitable for advanced graduate students in topology. An exposition like this is currently lacking."--

The intention of the authors is to examine the relationship between piecewise linear structure and differential structure: a relationship, they assert, that can be understood as a homotopy obstruction theory, and, hence, can be studied by using the traditional techniques of algebraic topology. Thus the book attacks the problem of existence and classification (up to isotopy) of differential structures compatible with a given combinatorial structure on a manifold. The problem is completely "solved" in the sense that it is reduced to standard problems of algebraic topology. The first part of the book is purely geometrical; it proves that every smoothing of the product of a manifold M and an interval is derived from an essentially unique smoothing of M. In the second part this result is used to translate the classification of smoothings into the problem of putting a linear structure on the tangent microbundle of M. This in turn is converted to the homotopy problem of classifying maps from M into a certain space PL/O. The set of equivalence classes of smoothings on M is given a natural abelian group structure.

The intention of the authors is to examine the relationship between piecewise linear structure and differential structure: a relationship, they assert, that can be understood as a homotopy obstruction theory, and, hence, can be studied by using the traditional techniques of algebraic topology. Thus the book attacks the problem of existence and classification (up to isotopy) of differential structures compatible with a given combinatorial structure on a manifold. The problem is completely "solved" in the sense that it is reduced to standard problems of algebraic topology. The first part of the book is purely geometrical; it proves that every smoothing of the product of a manifold M and an interval is derived from an essentially unique smoothing of M. In the second part this result is used to translate the classification of smoothings into the problem of putting a linear structure on the tangent microbundle of M. This in turn is converted to the homotopy problem of classifying maps from M into a certain space PL/O. The set of equivalence classes of smoothings on M is given a natural abelian group structure.

Since Poincaré's time, topologists have been most concerned with three species of manifold. The most primitive of these--the TOP manifolds--remained rather mysterious until 1968, when Kirby discovered his now famous torus unfurling device. A period of rapid progress with TOP manifolds ensued, including, in 1969, Siebenmann's refutation of the Hauptvermutung and the Triangulation Conjecture. Here is the first connected account of Kirby's and Siebenmann's basic research in this area. The five sections of this book are introduced by three articles by the authors that initially appeared between 1968 and 1970. Appendices provide a full discussion of the classification of homotopy tori, including Casson's unpublished work and a consideration of periodicity in topological surgery.

What a wonderful book! I strongly recommend this book to anyone, especially graduate students, interested in getting a sense of 4-manifolds. —MAA Reviews The book gives an excellent overview of 4-manifolds, with many figures and historical notes. Graduate students, nonexperts, and experts alike will enjoy browsing through it. — Robion C. Kirby, University of California, Berkeley This book offers a panorama of the topology of simply connected smooth manifolds of dimension four. Dimension four is unlike any other dimension; it is large enough to have room for wild things to happen, but small enough so that there is no room to undo the wildness. For example, only manifolds of dimension four can exhibit infinitely many distinct smooth structures. Indeed, their topology remains the least understood today. To put things in context, the book starts with a survey of higher dimensions and of topological 4-manifolds. In the second part, the main invariant of a 4-manifold—the intersection form—and its interaction with the topology of the manifold are investigated. In the third part, as an important source of examples, complex surfaces are reviewed. In the final fourth part of the book, gauge theory is presented; this differential-geometric method has brought to light how unwieldy smooth 4-manifolds truly are, and while bringing new insights, has raised more questions than answers. The structure of the book is modular, organized into a main track of about two hundred pages, augmented by extensive notes at the end of each chapter, where many extra details, proofs and developments are presented. To help the reader, the text is peppered with over 250 illustrations and has an extensive index.