An Introduction To The Theory Of Algebraic Surfaces

From the reviews: "The author's book [...] saw its first edition in 1935. [...] Now as before, the original text of the book is an excellent source for an interested reader to study the methods of classical algebraic geometry, and to find the great old results. [...] a timelessly beautiful pearl in the cultural heritage of mathematics as a whole." Zentralblatt MATH

Open algebraic surfaces are a synonym for algebraic surfaces that are not necessarily complete. An open algebraic surface is understood as a Zariski open set of a projective algebraic surface. There is a long history of research on projective algebraic surfaces, and there exists a beautiful Enriques-Kodaira classification of such surfaces. The research accumulated by Ramanujan, Abhyankar, Moh, and Nagata and others has established a classification theory of open algebraic surfaces comparable to the Enriques-Kodaira theory. This research provides powerful methods to study the geometry and topology of open algebraic surfaces. The theory of open algebraic surfaces is applicable not only to algebraic geometry, but also to other fields, such as commutative algebra, invariant theory, and singularities. This book contains a comprehensive account of the theory of open algebraic surfaces, as well as several applications, in particular to the study of affine surfaces. Prerequisite to understanding the text is a basic background in algebraic geometry. This volume is a continuation of the work presented in the author's previous publication, Algebraic Geometry, Volume 136 in the AMS series, Translations of Mathematical Monographs.

This is an English translation of the book in Japanese, published as the volume 20 in the series of Seminar Notes from The University of Tokyo that grew out of a course of lectures by Professor Kunihiko Kodaira in 1967. It serves as an almost self-contained introduction to the theory of complex algebraic surfaces, including concise proofs of Gorenstein's theorem for curves on a surface and Noether's formula for the arithmetic genus. It also discusses the behavior of the pluri-canonical maps of surfaces of general type as a practical application of the general theory. The book is aimed at graduate students and also at anyone interested in algebraic surfaces, and readers are expected to have only a basic knowledge of complex manifolds as a prerequisite.

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.

This book presents fundamentals from the theory of algebraic surfaces, including areas such as rational singularities of surfaces and their relation with Grothendieck duality theory, numerical criteria for contractibility of curves on an algebraic surface, and the problem of minimal models of surfaces. In fact, the classification of surfaces is the main scope of this book and the author presents the approach developed by Mumford and Bombieri. Chapters also cover the Zariski decomposition of effective divisors and graded algebras.