Download 4-Manifolds and Kirby Calculus (Graduate Studies in by András I. Stipsicz, Robert E. Gompf PDF

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.

Show description

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

Best topology books

Differential Topology

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).

Download PDF sample

Rated 4.67 of 5 – based on 21 votes