By András I. Stipsicz, Robert E. Gompf

The prior 20 years have introduced explosive development in 4-manifold idea. Many books are presently showing that procedure the subject from viewpoints corresponding to gauge thought or algebraic geometry. This quantity, even if, bargains an exposition from a topological perspective. It bridges the distance to different disciplines and offers classical yet very important topological ideas that experience no longer formerly seemed within the literature. half I of the textual content offers the fundamentals of the idea on the second-year graduate point and gives an summary of present examine. half II is dedicated to an exposition of Kirby calculus, or handlebody idea on 4-manifolds. it really is either straightforward and finished. half III bargains extensive a large diversity of subject matters from present 4-manifold learn. subject matters contain branched coverings and the geography of advanced surfaces, elliptic and Lefschetz fibrations, $h$-cobordisms, symplectic 4-manifolds, and Stein surfaces. functions are featured, and there are over three hundred illustrations and various routines with recommendations within the e-book.

**Read Online or Download 4-Manifolds and Kirby Calculus (Graduate Studies in Mathematics, Volume 20) PDF**

**Best topology books**

This article suits any path with the be aware "Manifold" within the name. it's a graduate point ebook.

**Additional info for 4-Manifolds and Kirby Calculus (Graduate Studies in Mathematics, Volume 20)**

**Sample text**

2. Let γ : [a, b] → X be a rectifiable path. 1, satisfying L(γt ) = u. Then the map λ is 1-Lipschitz. In particular, λ is continuous and therefore it is a path. Furthermore, γ is the path obtained from λ by the change of parameter ψ : [a, b] → [0, L(γ )] defined by ψ(t) = L(γt ). Proof. Let u and u be two points in [0, L(γ )] satisfying u ≤ u and let t and t be two points in [a, b] satisfying L(γt ) = u and L(γt ) = u . Then, λ(u) = γ (t) and λ(u ) = γ (t ). 1), we obtain |λ(u) − λ(u )| = |γ (t) − γ (t )| ≤ L(γ| [t,t ] ) 20 1 Lengths of paths in metric spaces = |u − u | = L(γt ) − L(γt ) = u − u, which shows that λ is a 1-Lipschitz map.

3 In fact, several basic notions in topology are due to Fréchet. In an obituary presented to the French Academy of Sciences [97], S. Mandelbrojt writes the following: “One must note that in his book written in 1914, Hausdorff, while exposing some properties of Fréchet abstract spaces, introduces a terminology, and this fact made the attribution of the corresponding notions to Hausdorff. For instance: compact sets, separable sets, semi-compact sets, metric spaces. ” In the same obituary, Mandelbrojt cites the following remark that Hadamard made in a report to the Academy in 1934: “It seems to us that the daring that is displayed, the abstraction effort accomplished by M.

Proof. Let x and y be two arbitrary points in X and let γ : [a, b] → X be a path joining them. 1) of Chapter 1, we have |x − y|d ≤ L(γ ), which, by taking the infimum over all paths γ joining x and y, implies |x − y| ≤ d (x, y). Now let us prove that d (x, y) is a metric. To every path γ : [a, b] → X, we associate a path γ : [a, b] → X defined, for t in [a, b], by γ (t) = γ (a + b − t). It is clear that γ joins y and x and that L(γ ) = L(γ ). Thus, we have d (y, x) ≤ d (x, y) for all x and y, which, by symmetry, implies d (x, y) = d (y, x).