A novel feature of the book is its integrated approach to algebraic surface theory and the study of vector bundle theory on both curves and surfaces. While the two subjects remain separate through the first few chapters, they become much more tightly interconnected as the book progresses. Thus vector bundles over curves are studied to understand ruled surfaces, and then reappear in the proof of Bogomolov's inequality for stable bundles, which is itself applied to study canonical embeddings of surfaces via Reider's method. Similarly, ruled and elliptic surfaces are discussed in detail, before the geometry of vector bundles over such surfaces is analysed. Many of the results on vector bundles appear for the first time in book form, backed by many examples, both of surfaces and vector bundles, and over 100 exercises forming an integral part of the text. Aimed at graduates with a thorough first-year course in algebraic geometry, as well as more advanced students and researchers in the areas of algebraic geometry, gauge theory, or 4-manifold topology, many of the results on vector bundles will also be of interest to physicists studying string theory.

In 1961 Smale established the generalized Poincare Conjecture in dimensions greater than or equal to 5 [129] and proceeded to prove the h-cobordism theorem [130]. This result inaugurated a major effort to classify all possible smooth and topological structures on manifolds of dimension at least 5. By the mid 1970's the main outlines of this theory were complete, and explicit answers (especially concerning simply connected manifolds) as well as general qualitative results had been obtained. As an example of such a qualitative result, a closed, simply connected manifold of dimension 2: 5 is determined up to finitely many diffeomorphism possibilities by its homotopy type and its Pontrjagin classes. There are similar results for self-diffeomorphisms, which, at least in the simply connected case, say that the group of self-diffeomorphisms of a closed manifold M of dimension at least 5 is commensurate with an arithmetic subgroup of the linear algebraic group of all automorphisms of its so-called rational minimal model which preserve the Pontrjagin classes [131]. Once the high dimensional theory was in good shape, attention shifted to the remaining, and seemingly exceptional, dimensions 3 and 4. The theory behind the results for manifolds of dimension at least 5 does not carryover to manifolds of these low dimensions, essentially because there is no longer enough room to maneuver. Thus new ideas are necessary to study manifolds of these "low" dimensions.

A novel feature of the book is its integrated approach to algebraic surface theory and the study of vector bundle theory on both curves and surfaces. While the two subjects remain separate through the first few chapters, they become much more tightly interconnected as the book progresses. Thus vector bundles over curves are studied to understand ruled surfaces, and then reappear in the proof of Bogomolov's inequality for stable bundles, which is itself applied to study canonical embeddings of surfaces via Reider's method. Similarly, ruled and elliptic surfaces are discussed in detail, before the geometry of vector bundles over such surfaces is analysed. Many of the results on vector bundles appear for the first time in book form, backed by many examples, both of surfaces and vector bundles, and over 100 exercises forming an integral part of the text. Aimed at graduates with a thorough first-year course in algebraic geometry, as well as more advanced students and researchers in the areas of algebraic geometry, gauge theory, or 4-manifold topology, many of the results on vector bundles will also be of interest to physicists studying string theory.

In 1961 Smale established the generalized Poincare Conjecture in dimensions greater than or equal to 5 [129] and proceeded to prove the h-cobordism theorem [130]. This result inaugurated a major effort to classify all possible smooth and topological structures on manifolds of dimension at least 5. By the mid 1970's the main outlines of this theory were complete, and explicit answers (especially concerning simply connected manifolds) as well as general qualitative results had been obtained. As an example of such a qualitative result, a closed, simply connected manifold of dimension 2: 5 is determined up to finitely many diffeomorphism possibilities by its homotopy type and its Pontrjagin classes. There are similar results for self-diffeomorphisms, which, at least in the simply connected case, say that the group of self-diffeomorphisms of a closed manifold M of dimension at least 5 is commensurate with an arithmetic subgroup of the linear algebraic group of all automorphisms of its so-called rational minimal model which preserve the Pontrjagin classes [131]. Once the high dimensional theory was in good shape, attention shifted to the remaining, and seemingly exceptional, dimensions 3 and 4. The theory behind the results for manifolds of dimension at least 5 does not carryover to manifolds of these low dimensions, essentially because there is no longer enough room to maneuver. Thus new ideas are necessary to study manifolds of these "low" dimensions.