Context for the Disc Embedding Theorem

2021 ◽  
pp. 1-26
Author(s):  
Stefan Behrens ◽  
Mark Powell ◽  
Arunima Ray

‘Context for the Disc Embedding Theorem’ explains why the theorem is the central result in the study of topological 4-manifolds. After recalling surgery theory and the proof of the s-cobordism theorem for high-dimensional manifolds, the chapter explains what goes wrong when trying to apply the same techniques in four dimensions and how to start overcoming these problems. The complete statement of the disc embedding theorem is provided. Finally the most important consequences to manifold theory are listed, including a proof of why Alexander polynomial one knots are topologically slice and the existence of exotic smooth structures on 4-dimensional Euclidean space.

The disc embedding theorem provides a detailed proof of the eponymous theorem in 4-manifold topology. The theorem, due to Michael Freedman, underpins virtually all of our understanding of 4-manifolds in the topological category. Most famously, this includes the 4-dimensional topological Poincaré conjecture. Combined with the concurrent work of Simon Donaldson, the theorem reveals a remarkable disparity between the topological and smooth categories for 4-manifolds. A thorough exposition of Freedman’s proof of the disc embedding theorem is given, 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. Techniques from decomposition space theory are used to show that an object produced by an infinite, iterative process, which we call a skyscraper, is homeomorphic to a thickened disc, relative to its boundary. A stand-alone interlude explains the disc embedding theorem’s key role in smoothing theory, the existence of exotic smooth structures on Euclidean space, and all known homeomorphism classifications of 4-manifolds via surgery theory and the s-cobordism theorem. The book is written to be accessible to graduate students working on 4-manifolds, as well as researchers in related areas. It contains over a hundred professionally rendered figures.


2021 ◽  
pp. 295-330
Author(s):  
Mark Powell ◽  
Arunima Ray

The development of topological 4-manifold theory is described in the form of a flowchart showing the interdependence among many key statements in the theory. In particular, the flowchart demonstrates how the theory crucially relies on the constructions in this book, what goes into the work of Quinn on smoothing, normal bundles, and transversality, and what is needed to deduce the famous consequences, such as the classification of closed, simply connected, topological 4-manifolds, the category preserving Poincaré conjecture, and the existence of exotic smooth structures on 4-dimensional Euclidean space. Precise statements of the results, brief indications of some proofs, and extensive references are provided.


Mathematics ◽  
2020 ◽  
Vol 8 (6) ◽  
pp. 872
Author(s):  
Zhiyong Huang ◽  
Baokui Li

In this paper, we introduce reflection-like maps in n-dimensional Euclidean spaces, which are affinely conjugated to θ : ( x 1 , x 2 , … , x n ) → 1 x 1 , x 2 x 1 , … , x n x 1 . We shall prove that reflection-like maps are line-to-line, cross ratios preserving on lines and quadrics preserving. The goal of this article was to consider the rigidity of line-to-line maps on the local domain of R n by using reflection-like maps. We mainly prove that a line-to-line map η on any convex domain satisfying η ∘ 2 = i d and fixing any points in a super-plane is a reflection or a reflection-like map. By considering the hyperbolic isometry in the Klein Model, we also prove that any line-to-line bijection f : D n ↦ D n is either an orthogonal transformation, or a composition of an orthogonal transformation and a reflection-like map, from which we can find that reflection-like maps are important elements and instruments to consider the rigidity of line-to-line maps.


2001 ◽  
Vol 13 (11) ◽  
pp. 2595-2616 ◽  
Author(s):  
D. S. Broomhead ◽  
M. J. Kirby

This article introduces a new architecture and associated algorithms ideal for implementing the dimensionality reduction of an m-dimensionalmanifold initially residing in an n-dimensional Euclidean space where n m. Motivated by Whitney's embedding theorem, the network is capable of training the identity mapping employing the idea of the graph of a function. In theory, a reduction to a dimension d that retains the differential structure of the original data may be achieved for some d ≤ 2m + 1. To implement this network, we propose the idea of a good-projection, which enhances the generalization capabilities of the network, and an adaptive secant basis algorithm to achieve it. The effect of noise on this procedure is also considered. The approach is illustrated with several examples.


2014 ◽  
Vol 43 (4) ◽  
pp. 1363-1395 ◽  
Author(s):  
Dror Aiger ◽  
Haim Kaplan ◽  
Micha Sharir

Sign in / Sign up

Export Citation Format

Share Document