5: Superb
If one is interested in taking on a thorough study of algebraic geometry, this book is a perfect starting point. The writing is excellent, and the student will find many exercises that illustrate and extend the results in each chapter. Readers are expected to have an undergraduate background in algebra, and maybe some analysis and elementary notions from differential geometry. Space does not permit a thorough review here, so just a brief summary of the places where the author has done an exceptional job of explaining or motivating a particular concept: (1) The history of commutative algebra and its connection with algebraic geometry, for example the origin of the concept of an "ideal" of a ring as generalizing unique factorization. (2) The discussion of the concept of localization, especially its origins in geometry. A zero dimensional ring (collection of "points") is a ring whose primes are all maximal, as expected. (3) The theory of prime decomposition as a generalization of unique prime factorization. Primary decomposition is given a nice geometric interpretation in the book. (4) Five different proofs of the Nullstellensatz discussed, giving the reader good insight on this important result. (5) The geometric interpretation of an associated graded ring corresponding to the exceptional set in the blowup algebra. (6) The notion of flatness of a module as a continuity of fibers and a test for this using the Tor functor. (7) The characterization of Hensel's lemma as a version of Newton's method for solving equations. The geometric interpretation of the completion as representing the properties of a variety in neighborhoods smaller than Zariski open neighborhoods. (8) The characterization of dimension using the Hilbert polynomial. (9) The fiber dimension and the proof of its upper semicontinuity. (10) The discussion of Grobner bases and flat families. Nice examples are given of a flat family connecting a finite set of ideals to their initial ideals. (11) Computer algebra projects for the reader using the software packages CoCoA and Macaulay. (12) The theory of differentials in algebraic geometry as a generalization of what is done in differential geometry. (13) The discussion of how to construct complexes using tensor products and mapping cones in order to study the Koszul complex. (14) The connection of the Koszul complex to the cotangent bundle of projective space. (15) The geometric interpretation of the Cohen-Macauley property as a map to a regular variety.
|