Algebraic Geometry II: Cohomology of Schemes

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