One of the most important mathematical achievements of the past several decades has been A. Grothendieck's work on algebraic geometry. In the early 1960s, he and M. Artin introduced étale cohomology in order to extend the methods of sheaf-theoretic cohomology from complex varieties to more general schemes. This work found many applications, not only in algebraic geometry, but also in several different branches of number theory and in the representation theory of finite and p-adic groups. Yet until now, the work has been available only in the original massive and difficult papers. In order to provide an accessible introduction to étale cohomology, J. S. Milne offers this more elementary account covering the essential features of the theory. The author begins with a review of the basic properties of flat and étale morphisms and of the algebraic fundamental group. The next two chapters concern the basic theory of étale sheaves and elementary étale cohomology, and are followed by an application of the cohomology to the study of the Brauer group. After a detailed analysis of the cohomology of curves and surfaces, Professor Milne proves the fundamental theorems in étale cohomology -- those of base change, purity, Poincaré duality, and the Lefschetz trace formula. He then applies these theorems to show the rationality of some very general L-series. Originally published in 1980. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

One of the most important mathematical achievements of the past several decades has been A. Grothendieck's work on algebraic geometry. In the early 1960s, he and M. Artin introduced étale cohomology in order to extend the methods of sheaf-theoretic cohomology from complex varieties to more general schemes. This work found many applications, not only in algebraic geometry, but also in several different branches of number theory and in the representation theory of finite and p-adic groups. Yet until now, the work has been available only in the original massive and difficult papers. In order to provide an accessible introduction to étale cohomology, J. S. Milne offers this more elementary account covering the essential features of the theory. The author begins with a review of the basic properties of flat and étale morphisms and of the algebraic fundamental group. The next two chapters concern the basic theory of étale sheaves and elementary étale cohomology, and are followed by an application of the cohomology to the study of the Brauer group. After a detailed analysis of the cohomology of curves and surfaces, Professor Milne proves the fundamental theorems in étale cohomology -- those of base change, purity, Poincaré duality, and the Lefschetz trace formula. He then applies these theorems to show the rationality of some very general L-series. Originally published in 1980. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

Etale cohomology is an important branch in arithmetic geometry. This book covers the main materials in SGA 1, SGA 4, SGA 4 1/2 and SGA 5 on etale cohomology theory, which includes decent theory, etale fundamental groups, Galois cohomology, etale cohomology, derived categories, base change theorems, duality, and ℓ-adic cohomology. The prerequisites for reading this book are basic algebraic geometry and advanced commutative algebra.

Some years ago a conference on l-adic cohomology in Oberwolfach was held with the aim of reaching an understanding of Deligne's proof of the Weil conjec tures. For the convenience of the speakers the present authors - who were also the organisers of that meeting - prepared short notes containing the central definitions and ideas of the proofs. The unexpected interest for these notes and the various suggestions to publish them encouraged us to work somewhat more on them and fill out the gaps. Our aim was to develop the theory in as self contained and as short a manner as possible. We intended especially to provide a complete introduction to etale and l-adic cohomology theory including the monodromy theory of Lefschetz pencils. Of course, all the central ideas are due to the people who created the theory, especially Grothendieck and Deligne. The main references are the SGA-notes [64-69]. With the kind permission of Professor J. A. Dieudonne we have included in the book that finally resulted his excellent notes on the history of the Weil conjectures, as a second introduction. Our original notes were written in German. However, we finally followed the recommendation made variously to publish the book in English. We had the good fortune that Professor W. Waterhouse and his wife Betty agreed to translate our manuscript. We want to thank them very warmly for their willing involvement in such a tedious task. We are very grateful to the staff of Springer-Verlag for their careful work.

Étale Cohomology is one of the most important methods in modern Algebraic Geometry and Number Theory. It has, in the last decades, brought fundamental new insights in arithmetic and algebraic geometric problems with many applications and many important results. The book gives a short and easy introduction into the world of Abelian Categories, Derived Functors, Grothendieck Topologies, Sheaves, General Étale Cohomology, and Étale Cohomology of Curves.

A generalized etale cohomology theory is a theory which is represented by a presheaf of spectra on an etale site for an algebraic variety, in analogy with the way an ordinary spectrum represents a cohomology theory for spaces. Examples include etale cohomology and etale K-theory. This book gives new and complete proofs of both Thomason's descent theorem for Bott periodic K-theory and the Nisnevich descent theorem. In doing so, it exposes most of the major ideas of the homotopy theory of presheaves of spectra, and generalized etale homology theories in particular. The treatment includes, for the purpose of adequately dealing with cup product structures, a development of stable homotopy theory for n-fold spectra, which is then promoted to the level of presheaves of n-fold spectra. This book should be of interest to all researchers working in fields related to algebraic K-theory. The techniques presented here are essentially combinatorial, and hence algebraic. An extensive background in traditional stable homotopy theory is not assumed. ------ Reviews (...) in developing the techniques of the subject, introduces the reader to the stable homotopy category of simplicial presheaves. (...) This book provides the user with the first complete account which is sensitive enough to be compatible with the sort of closed model category necessary in K-theory applications (...). As an application of the techniques the author gives proofs of the descent theorems of R. W. Thomason and Y. A. Nisnevich. (...) The book concludes with a discussion of the Lichtenbaum-Quillen conjecture (an approximation to Thomason’s theorem without Bott periodicity). The recent proof of this conjecture, by V. Voevodsky, (...) makes this volume compulsory reading for all who want to be au fait with current trends in algebraic K-theory! - Zentralblatt MATH The presentation of these topics is highly original. The book will be very useful for any researcher interested in subjects related to algebraic K-theory. - Matematica