In the 19 years which passed since the first edition was published, several important developments have taken place in the theory of surfaces. The most sensational one concerns the differentiable structure of surfaces. Twenty years ago very little was known about differentiable structures on 4-manifolds, but in the meantime Donaldson on the one hand and Seiberg and Witten on the other hand, have found, inspired by gauge theory, totally new invariants. Strikingly, together with the theory explained in this book these invariants yield a wealth of new results about the differentiable structure of algebraic surfaces. Other developments include the systematic use of nef-divisors (in ac cordance with the progress made in the classification of higher dimensional algebraic varieties), a better understanding of Kahler structures on surfaces, and Reider's new approach to adjoint mappings. All these developments have been incorporated in the present edition, though the Donaldson and Seiberg-Witten theory only by way of examples. Of course we use the opportunity to correct some minor mistakes, which we ether have discovered ourselves or which were communicated to us by careful readers to whom we are much obliged.

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.

This welcome boon for students of algebraic topology cuts a much-needed central path between other texts whose treatment of the classification theorem for compact surfaces is either too formalized and complex for those without detailed background knowledge, or too informal to afford students a comprehensive insight into the subject. Its dedicated, student-centred approach details a near-complete proof of this theorem, widely admired for its efficacy and formal beauty. The authors present the technical tools needed to deploy the method effectively as well as demonstrating their use in a clearly structured, worked example. Ideal for students whose mastery of algebraic topology may be a work-in-progress, the text introduces key notions such as fundamental groups, homology groups, and the Euler-Poincaré characteristic. These prerequisites are the subject of detailed appendices that enable focused, discrete learning where it is required, without interrupting the carefully planned structure of the core exposition. Gently guiding readers through the principles, theory, and applications of the classification theorem, the authors aim to foster genuine confidence in its use and in so doing encourage readers to move on to a deeper exploration of the versatile and valuable techniques available in algebraic topology.

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.

In this book, Miranda takes the approach that algebraic curves are best encountered for the first time over the complex numbers, where the reader's classical intuition about surfaces, integration, and other concepts can be brought into play. Therefore, many examples of algebraic curves are presented in the first chapters. In this way, the book begins as a primer on Riemann surfaces, with complex charts and meromorphic functions taking centre stage. But the main examples come fromprojective curves, and slowly but surely the text moves toward the algebraic category. Proofs of the Riemann-Roch and Serre Dualtiy Theorems are presented in an algebraic manner, via an adaptation of the adelic proof, expressed completely in terms of solving a Mittag-Leffler problem. Sheaves andcohomology are introduced as a unifying device in the later chapters, so that their utility and naturalness are immediately obvious. Requiring a background of one term of complex variable theory and a year of abstract algebra, this is an excellent graduate textbook for a second-term course in complex variables or a year-long course in algebraic geometry.