This book completes the comprehensive introduction to modern algebraic geometry which was started with the introductory volume Algebraic Geometry I: Schemes.

It begins by discussing in detail the notions of smooth, unramified and étale morphisms including the étale fundamental group. The main part is dedicated to the cohomology of quasi-coherent sheaves. The treatment is based on the formalism of derived categories which allows an efficient and conceptual treatment of the theory, which is of crucial importance in all areas of algebraic geometry. After the foundations are set up, several more advanced topics are studied, such as numerical intersection theory, an abstract version of the Theorem of Grothendieck-Riemann-Roch, the Theorem on Formal Functions, Grothendieck's algebraization results and a very general version of Grothendieck duality. The book concludes with chapters on curves and on abelian schemes, which serve to develop the basics of the theory of these two important classes of schemes on an advanced level, and at the same time to illustrate the power of the techniques introduced previously.

The text contains many exercises that allow the reader to check their comprehension of the text, present further examples or give an outlook on further results.

Table of Contents

17 Differentials

18 Etale and smooth morphisms

19 Local complete intersections

20 The etale topology

21 Cohomology of OX-modules

22 Cohomology of quasi-coherent modules

23 Cohomology of projective and proper schemes

24 Theorem on formal functions

25 Duality

26 Curves

27 Abelian schemes

Homological Algebra

G Commutative Algebra II

About the Authors

Prof. Dr. Ulrich Görtz, Institute of Experimental Mathematics, University Duisburg-Essen

Prof. Dr. Torsten Wedhorn, Department of Mathematics, Technical University of Darmstadt