The book gives a short and easy introduction into the world of abelian categories, derived functors, grothendieck topologies, sheaves, general etale cohomology, and etale cohomology of curves. Zpnz with the sheaf cohomology of the constant sheaf zpnz on a g. Read download introduction to etale cohomology pdf pdf download. An introduction to etale cohomology donu arapura november 25, 2012. In the following sections we prove some basic results on etale cohomology.
We cannot guarantee that generalized cohomology book is in the library. Morrow let c be an algebraically closed complete extension of q p. Use ocw to guide your own lifelong learning, or to teach others. Evan jenkinss notes of a seminar on etale cohomology click on the pdf icons. Pdf ebooks can be used on all reading devices immediate ebook. Dwyer and friedlander interpreted important arithmetic questions in terms of this galois action on etale k theory. It has, in the last decades, brought fundamental new insights in arithmetic and algebraic geometric problems with many applications and many important results. Finally, is the spectrum of a eld with transcendence degree 1 over an algebraically closed eld, so tsens theorem says that its galois cohomology vanishes in degree 2. Download full generalized cohomology book or read online anytime anywhere, available in pdf, epub and kindle. One of the eilenbergsteenrod axioms for a cohomology theory is the dimension axiom. Compare spaces over complex numbers with spaces in characteristic p and use the frobenius map. Sheaf theory etale cohomology is modelled on the cohomology theory of sheaves in the usual topological sense.
Number theory learning seminar 20162017 the seminar will meet wednesdays 1. Mar 21, 2021 buy introduction to etale cohomology universitext on free shipping on qualified orders. This book gives new and complete proofs of both thomasons. Much of the material in these notes parallels that in, for example, iversen, b. And finally a historic survey in french unfortunately on the genesis and successes of etale cohomology. Whitehead observed that it is fruitful to omit the dimension axiom completely. We also show that lichtenbaum cohomology, in contrast to the usual motivic cohomology, compares well with integral cohomology theories. Etale cohomology tom sutherland october, 2008 note. Dwyer and others published etale k theory and arithmetic find, read and cite all the research you need on researchgate.
As kx is often torsion free, this map is often zero in positive. Examples include etale cohomology and etale k theory. Read download introduction to etale cohomology pdf pdf. Create free account to access unlimited books, fast download and ads free. Etale cohomology theory nankai tracts in mathematics. Of course there is a price to be paid in the extra abstraction. The galois action on ksp and on cm abelian varieties 38 7. Integral padic hodge theory, and qde rham cohomology. In algebraic geometry, a weil cohomology or weil cohomology theory is a cohomology satisfying certain axioms concerning the interplay of algebraic cycles and cohomology groups. Introduction to etale cohomology gunter tamme springer. 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. Etale cohomology is one of the most important methods in modern algebraic the book gives a short and easy introduction into the world of. Apr 04, 2021 browse other questions tagged etale cohomology algebraick theory ladicsheaves or ask your own question. Fu, etale cohomology theory, revised edition, world scienti.
This work is a brief exposition of etale cohomology and its main properties. Introduction to etale cohomology by gunter tamme, available at book depository with free delivery worldwide. Etale cohomology and the weil conjecture springerlink. Freely browse and use ocw materials at your own pace. Any open immersion is a local isomorphism, which proves 1. This is a very important tool, vital to most advances in algebraic number theory in. Etale cohomology is an important branch in arithmetic geometry. The theory of cohomological descent has applications far beyond the construction of mixed hodge structures. The key tool in the proof is the theory of complex multiplication for abelian varieties. One of the main reasons that it fails to give the results that we would want is that if xis a complex variety and fis a constant sheaf then hi zarx. C, which by a comparison theorem is identi ed with etale cohomology. In other words, cochains are functions on the group of chains in homology theory. We intended especially to provide a complete introduction to etale and ladic cohomology theory including the monodromy theory of lefschetz pencils. Etale homotopy theory after artinmazur, friedlander et al.
These course notes from spring 2010 are extremely rough, so. In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups associated to a topological space, often defined from a cochain complex. Given a presheaf of sets g, we define the free abelian presheaf on g. In particular, for part i there is an assumption that the reader has some basic knowledge about. Sheaf theory etale cohomology is modelled on the cohomology theory of sheaves.
This years seminar will focus on etale cohomology, the goal being to understand laumons proof of the main theorem of delignes weil ii paper that gave a powerful and vast generalization of the riemann hypothesis over finite fields. Pdf etale realization on thehomotopy theory of schemes. Any weil cohomology theory factors uniquely through the category of chow motives, but the category of chow motives itself is not a weil cohomology theory, since it is not an abelian category. A covering of p1 c is given by the two standard opens u 0,u 1, which are both isomorphic to a1 c, and whose intersection is isomorphic toa1 c \0 g m,c.
This book covers the main materials in sga 1, sga 4, sga 4 12 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 ladic cohomology. For example, we formulate integral etale versions of the hodge and the tate conjecture, and show that these are equivalent to the usual rational conjectures. Etale realization on thehomotopy theory of schemes. This yields the aforementioned vanishing of hi et x. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Etale cohomology is one of the most important methods in modern algebraic geometry and number theory. Fu, etale cohomology theory, revised edition, world scientific, 2015. Some versions of cohomology arise by dualizing the construction of homology. In mathematics, the etale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by grothendieck in order to prove the weil conjectures. Pdf generalized cohomology download full ebooks for free. Comparison theorems between crystalline and etale cohomology. Generalized etale cohomology theories john jardine springer. Here is a partial list of commutative algebra concepts.
Macdonald, introduction to commutative algebra, addisonwesley publishing company, 1969. This book covers the main materials in sga 1, sga 4, sga 4 12 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. One of the main recent evolution is the extension of the stable homotopy theory of schemes of morel and voevodsky to a complete formal. Algebraic, homology theory, sheaf theory publisher princeton, n. Of course, all the central ideas are due to the people who created the theory, especially grothendieck and deligne. Itturnsoutthatthemayervietorissequenceholdsinetale cohomology. Grothendiecks theory schemes gave a solution to all of these problems. Thus, its generic bre x is a proper smooth rigidanalytic variety over c. Mar 15, 2011 etale cohomology is an important branch in arithmetic geometry. The theory of mixed motives, or mixed motivic complexes as conjecturally described by beilinson, has evolved a lot in the last twenty years, according to the fundamental work of v. The arxiv notes of a minicourse given by a fine expositor, antoine ducros, which also cover analytical aspects of etale cohomology used for berkovich spaces. In the example of the introduction with g sl2 and v the adjoint representation again. These course notes from spring 2010 are extremely rough. Of course, all the central ideas are due to the people who created the theory, especially grothendieck.
Fix a base field k of arbitrary characteristic and a coefficient field k of characteristic zero. Click get books and find your favorite books in the online library. Unlike the zariski topology, these need not be merely open subsetsofx,eventhoughtheirimagesalwaysare. The first identification is very general it is true for any cohomology theory on a site and. Here is an example of something we know for cohomology of topological spaces which also holds for etale cohomology. Using a model structure for a 1 homotopy theory slightly different than the one in mv, theetale topological type provides a functor from the category of simplicial presheaves on the nisnevich site of smooth schemes over s. Generalized etale cohomology theories john jardine. Using a model structure for a 1 homotopy theory slightly different than the one in mv. Weil cohomology theory when chark p 0, the ladic cohomology with k ql, for. Etale motivic cohomology and algebraic cycles journal of. Xavier xarles preliminary version introduction the padic comparison theorems or the padic periods isomorphisms are isomorphisms, analog to the complex periods isomorphism hi drxc. Many theorems in etale cohomology proper base change, nitude of. An excursion into etale cohomology 3 proposition 6. C for a smooth and projective variety over c, between the padic cohomology.
1291 1349 405 1106 779 39 417 1510 1047 511 1871 1121 204 477 315 458 291 1410 1008 1511 1418 1554 1621