Embeddings Of Decomposition Spaces

Embeddings of Decomposition Spaces

The Disc Embedding Theorem

Based on Fields medal winning work of Michael Freedman, this book explores the disc embedding theorem for 4-dimensional manifolds. This theorem underpins virtually all our understanding of topological 4-manifolds. Most famously, this includes the 4-dimensional Poincaré conjecture in the topological category. The Disc Embedding Theorem contains the first thorough and approachable exposition of Freedman's proof of the disc embedding theorem, with many new details. A self-contained account of decomposition space theory, a beautiful but outmoded branch of topology that produces non-differentiable homeomorphisms between manifolds, is provided, as well as a stand-alone interlude that explains the disc embedding theorem's key role in all known homeomorphism classifications of 4-manifolds via surgery theory and the s-cobordism theorem. Additionally, the ramifications of the disc embedding theorem within the study of topological 4-manifolds, for example Frank Quinn's development of fundamental tools like transversality are broadly described. The book is written for mathematicians, within the subfield of topology, specifically interested in the study of 4-dimensional spaces, and includes numerous professionally rendered figures.

Embeddings in Manifolds

A topological embedding is a homeomorphism of one space onto a subspace of another. The book analyzes how and when objects like polyhedra or manifolds embed in a given higher-dimensional manifold. The main problem is to determine when two topological embeddings of the same object are equivalent in the sense of differing only by a homeomorphism of the ambient manifold. Knot theory is the special case of spheres smoothly embedded in spheres; in this book, much more general spaces and much more general embeddings are considered. A key aspect of the main problem is taming: when is a topological embedding of a polyhedron equivalent to a piecewise linear embedding? A central theme of the book is the fundamental role played by local homotopy properties of the complement in answering this taming question. The book begins with a fresh description of the various classic examples of wild embeddings (i.e., embeddings inequivalent to piecewise linear embeddings). Engulfing, the fundamental tool of the subject, is developed next. After that, the study of embeddings is organized by codimension (the difference between the ambient dimension and the dimension of the embedded space). In all codimensions greater than two, topological embeddings of compacta are approximated by nicer embeddings, nice embeddings of polyhedra are tamed, topological embeddings of polyhedra are approximated by piecewise linear embeddings, and piecewise linear embeddings are locally unknotted. Complete details of the codimension-three proofs, including the requisite piecewise linear tools, are provided. The treatment of codimension-two embeddings includes a self-contained, elementary exposition of the algebraic invariants needed to construct counterexamples to the approximation and existence of embeddings. The treatment of codimension-one embeddings includes the locally flat approximation theorem for manifolds as well as the characterization of local flatness in terms of local homotopy properties.