The systematic use of Koszul cohomology computations in algebraic geometry can be traced back to the foundational work of Mark Green in the 1980s. Green connected classical results concerning the ideal of a projective variety with vanishing theorems for Koszul cohomology. Green and Lazarsfeld also stated two conjectures that relate the Koszul cohomology of algebraic curves with the existence of special divisors on the curve. These conjectures became an important guideline for future research. In the intervening years, there has been a growing interaction between Koszul cohomology and algebraic geometry. Green and Voisin applied Koszul cohomology to a number of Hodge-theoretic problems, with remarkable success. More recently, Voisin achieved a breakthrough by proving Green's conjecture for general curves; soon afterwards, the Green-Lazarsfeld conjecture for general curves was proved as well. This book is primarily concerned with applications of Koszul cohomology to algebraic geometry, with an emphasis on syzygies of complex projective curves. The authors' main goal is to present Voisin's proof of the generic Green conjecture, and subsequent refinements. They discuss the geometric aspects of the theory and a number of concrete applications of Koszul cohomology to problems in algebraic geometry, including applications to Hodge theory and to the geometry of the moduli space of curves.

Algebraic geometry is built upon two fundamental notions: schemes and sheaves. The theory of schemes was explained in Algebraic Geometry 1: From Algebraic Varieties to Schemes. In this volume, the author turns to the theory of sheaves and their cohomology. A sheaf is a way of keeping track of local information defined on a topological space, such as the local holomorphic functions on a complex manifold or the local sections of a vector bundle. To study schemes, it is useful to study the sheaves defined on them, especially the coherent and quasicoherent sheaves.

For more than thirty years the senior author has been trying to learn algebraic geometry. In the process he discovered that many of the classic textbooks in algebraic geometry require substantial knowledge of cohomology, homological algebra, and sheaf theory. In an attempt to demystify these abstract concepts and facilitate understanding for a new generation of mathematicians, he along with co-author wrote this book for an audience who is familiar with basic concepts of linear and abstract algebra, but who never has had any exposure to the algebraic geometry or homological algebra. As such this book consists of two parts. The first part gives a crash-course on the homological and cohomological aspects of algebraic topology, with a bias in favor of cohomology. The second part is devoted to presheaves, sheaves, Cech cohomology, derived functors, sheaf cohomology, and spectral sequences. All important concepts are intuitively motivated and the associated proofs of the quintessential theorems are presented in detail rarely found in the standard texts.

This two-part volume contains numerous examples and insights on various topics. The authors have taken pains to present the material rigorously and coherently. This book will be immensely useful to mathematicians and graduate students working in algebraic geometry, arithmetic algebraic geometry, complex analysis and related fields.

This second volume introduces the concept of shemes, reviews some commutative algebra and introduces projective schemes. The finiteness theorem for coherent sheaves is proved, here again the techniques of homological algebra and sheaf cohomology are needed. In the last two chapters, projective curves over an arbitrary ground field are discussed, the theory of Jacobians is developed, and the existence of the Picard scheme is proved. Finally, the author gives some outlook into further developments- for instance étale cohomology- and states some fundamental theorems.

This is a relatively fast paced graduate level introduction to complex algebraic geometry, from the basics to the frontier of the subject. It covers sheaf theory, cohomology, some Hodge theory, as well as some of the more algebraic aspects of algebraic geometry. The author frequently refers the reader if the treatment of a certain topic is readily available elsewhere but goes into considerable detail on topics for which his treatment puts a twist or a more transparent viewpoint. His cases of exploration and are chosen very carefully and deliberately. The textbook achieves its purpose of taking new students of complex algebraic geometry through this a deep yet broad introduction to a vast subject, eventually bringing them to the forefront of the topic via a non-intimidating style.

This book introduces recent developments in the study of algebras defined by quadratic relations. One of the main problems in the study of these (and similarly defined) algebras is how to control their size. A central notion in solving this problem is the notion of a Koszul algebra, which was introduced in 1970 by S. Priddy and then appeared in many areas of mathematics, such as algebraic geometry, representation theory, non commutative geometry, $K$-theory, number theory, and non commutative linear algebra.The authors give a coherent exposition of the theory of quadratic and Koszul algebras, including various definitions of Koszulness, duality theory, Poincare-Birkhoff-Witt-type theorems for Koszul algebras, and the Koszul deformation principle. In the concluding chapter of the book, they explain a surprising connection between Koszul algebras and one-dependent discrete-time stochastic processes. The book can be used by graduate students and researchers working in algebra and any of the above-mentioned areas of mathematics.