Algebraic Geometry (Graduate Texts in Mathematics) [Paperback]

Varieties, both affine and projective, are introduced in chapter 1. The discussion is purely formal, with the examples given unfortunately in the exercises. The Zariski topology is introduced by first defining algebraic sets, which are zero sets of collections of polynomials. The algebraic sets are closed under intersection and under finite unions. Therefore their complements form a topology which is the Zariski topology. The properties of varieties are discussed, along with morphisms between them. "Functionals" on varieties, called regular functions in algebraic geometry, are introduced to define these morphisms. Rational and birational maps, so important in "classical" algebraic geometry are introduced here also. Blowing up is discussed as an example of a birational map. A very interesting way, due to Zariski, of defining a nonsingular variety intrinsically in terms of local rings is given. The more specialized case of nonsingular curves is treated, and the reader gets a small taste of elliptic curves in the exercises. A very condensed treatment of intersection theory in projective space is given. The discussion is primarily from an algebraic point of view. It would have been nice if the author would have given more motivation of why graded modules are necessary in the definition of intersection multiplicity.

The theory of schemes follows in chapter 2, and to that end sheaf theory is developed very quickly and with no motivation (such as could be obtained from a discussion of analytic continuation in complex analysis). Needless to say scheme theory is very abstract and requires much dedication on the reader's part to gain an in-depth understanding. I have found the best way to learn this material is via many examples: try to experiment and invent some of your own. The author's discussion on divisors in this chapter is fairly concrete however.

The reader is introduced to the cohomology of sheaves in chapter 3, and the reader should review a book on homological algebra before taking on this chapter. Derived functors are used to construct sheaf cohomology which is then applied to a Noetherian affine scheme, and shown to be the same as the Cech cohomology for Noetherian separated schemes. A very detailed discussion is given of the Serre duality theorem.

Things get much more concrete in the next chapter on curves. After a short proof o the Riemann-Roch theorem, the author studies morphisms of curves via Hurwitz's theorem. The author then treats embeddings in projective space, and shows that any curve can be embedded in P(3), and that any curve can be mapped birationally into P(2) if one allows nodes as singularities in the image. And then the author treats the most fascinating objects in all of mathematics: elliptic curves. Although short, the author does a fine job of introducing most important results.

This is followed in the next chapter by a discussion of algebraic surfaces in the last chapter of the book. The treatment is again much more concrete than the earlier chapters of the book, and the author details modern formulations of classical constructions in algebraic geometry. Ruled surfaces, and nonsingular cubic surfaces in P(3) are discussed, as well as intersection theory. A short overview of the classification of surfaces is given. The reader interested in more of the details of algebraic surfaces should consult some of the early works on the subject, particularly ones dealing with Riemann surfaces. It was the study of algebraic functions of one variable that led to the introduction of Riemann surfaces, and the later to a consideration of algebraic functions of two variables. A perusal of the works of some of the Italian geometers could also be of benefit as it will give a greater appreciation of the methods of modern algebraic geometry to put their results on a rigorous foundation.

Some helpful suggestions from my experience with this book:
1) if you want more concrete examples of schemes, take a look at Eisenbud and Harris, The Geometry of Schemes;
2) if you prefer a more analytic approach (via Riemann surfaces), Griffiths and Harris is worth checking out, though it lacks exercises.