This book and the following second volume is an introduction into modern algebraic geometry. I personally wont recommend bredons book, rather iversen s cohomology of sheaves especially if you are interested in the topological aspectsapplications of sheaf theory. A gentle introduction to homology, cohomology, and. This class plays a double role as the basic vehicle for the internal theory and is the key to applications in analysis. In this note we give a careful exposition of the basic properties of derived categories of quasicoherent sheaves on a scheme. Iversens cohomology of sheaves, pull back maps for sheaf. For example, ifx is a completion ofx, then our rigid cohomology is indepen dent of the choice of completions ofx and we denote it byh rig xk, e as in the cases considered by berthelot.
However, we feel that, in the light of the perfectly symmetric expression 5 for hochschild cohomology, expression 9 is really the more natural one for. This thesis develops the theory of sheaves and cosheaves with an eye towards applications in science and engineering. Additions and corrections to sheaves in topology, universitext, springer verlag, 2004. Download cohomology of sheaves ebook pdf or read online books in pdf, epub.
On torsion in the cohomology of locally symmetric varieties peter scholze. Cohomology of exact categories and nonadditive sheaves 2 of c to itself. There are several ways to build up sheaf theory with di erent axioms. The book begins with basic notions in geometry, sheaf theory, and homological algebra leading to the definition and basic properties of local cohomology. Generalized local cohomology and quasicoherent sheaves. However i should say that the epigraph to this very good book is do not shoot the pianist, and maybe not without a reason. Maybe, considering sheaves instead of presheaves is a way of repairing this failure.
Preface this document contains the lecture notes from an honours course in cohomology given by dr. A presheaf of abelian groups f on xassigns to each open u xan abelian group. This site uses and sets cookies on your computer to help improve this websites performance. Birger iversen, cohomology of sheaves, universitext, springerverlag, berlin. The cohomology of a sheaf s sh r x on a paracompact space x can b e computed a follows. Homology, cohomology, and sheaf cohomology university of. X suchthatfs s0,andhs,g s,hg forhalocalsectionofo x. Grothendieck then later gave a more abstract definition of the right derived functor of the global section functor. In both cases, the given space comes with a sheaf of rings, the sheaf of holomorphic functions or regular functions, and coherent sheaves are defined as a full subcategory of the category. Twentyfour hours of local cohomology srikanth iyengar. Iversen, cohomology of sheaves, universitext, springerverlag, berlin, 1986. The main result of this paper is the existence of galois representations associated with the mod por mod pm cohomology of the locally symmetric spaces for gl n over a totally real or. Birger iversen, cohomology of sheaves, universitext, springerverlag, berlin, 1986.
A complex is called acyclic if its cohomology is trivial. It is possible to have two topological spaces and in fact, we can choose both and to be compact connected orientable manifolds such that for every, we have an isomorphism of cohomology group. This text exposes the basic features of cohomology of sheaves and its applications. They also represent sections of sheaves, in the sense that there is a natural isomorphism hom o x o u,f u,f. A morphism of complexes is called a quasiisomorphism qis for brevity if it induces an isomorphism in cohomology. What i still dont understand what was the actual motivation for defining sheaf cohomology. Sheaves have various applications in algebraic topology and in algebraic. We introduce the cech cohomology and use it to calculate. Cohomology for algebraic geometers typeset by hamish iveylaw.
Compactlysupported sheaf cohomology is expressed as the coend with. Topological preliminaries algebraic topological preliminaries sheaves manifolds local theory of manifolds lie groups torsors and nonabelian cech cohomology bundles soft sheaves cohomology of complexes of sheaves cohomology of sheaves of locally constant functions appendix. To provide a theory that is computable, we focus on a combinatorial version of sheaves and cosheaves called cellular sheaves and cosheaves, which are finite families of vector spaces and maps parametrized by a cell complex. Here y can be thought of as a moduli space of sheaves on x and pas the universal sheaf. These methods are indispensable for modern algebraic geometry, but they are also fundamental for other branches of mathematics and of great interest in their own. Cohomology of sheaves download ebook pdf, epub, tuebl, mobi. Perhaps because of this, the rigorous cohomological theory appeared later than the homological one. Sheaf cohomology was first introduced into algebraic geometry by serre. In the first volume the methods of homological algebra, theory of sheaves, and sheaf cohomology are developed. The general theory of sheaves is very limited and no essential result is obtainable without turn ing to particular. Z denotes integral cohomology in the sense of sheaf.
Cohomology of quasicoherent sheaves via model categories and approximation theory jan s tov icek abstract. Multiplier ideal sheaves and analytic methods in algebraic. Sheaves, cosheaves and applications by justin michael curry. A categorical introduction to sheaves daping weng abstract. Cohomological descent of rigid cohomology for etale. In the presented homology and cohomology solver, the extraction of the cell complex from the. What books should i read before beginning masaki kashiwara. Then it develops the theory in a number of different directions, and draws connections with topology, geometry, combinatorics, and. For every i 0 there are functors hi from the category of sheaves of abelian groups on xto the category of abelian groups such that 1 h0x. Actually, thats not at all a bad way of thinking about it. The fundamental concepts in the study of locally compact spaces is cohomology with compact support and a particular class of.
Cohomology of line bundles on a toric variety and constructible sheaves on its polytope article pdf available december 2006 with 41 reads how we measure reads. Cohomology of exact categories and nonadditive sheaves. Statement cohomology groups need not determine cohomology ring. The method used applies to a more general context and gives new results in semialgebraic and ominimal sheaf theory. Short lecture notes for the doctoral course cohomology of quasicoherent sheaves via model categories and approximation theory given at the university of padova on march 2629, 2012. Much of the material in these notes parallels that in, for example, iversen, b. A gentle introduction to homology, cohomology, and sheaf cohomology jean gallier and jocelyn quaintance department of computer and information science.
This text exposes the basic features of cohomology of sheaves and its. Cohomology groups need not determine cohomology ring. Coherent sheaves can be seen as a generalization of vector bundles. A gentle introduction to homology, cohomology, and sheaf.
There is a notion of a coherent analytic sheaf on a complex analytic space, and an analogous notion of a coherent algebraic sheaf on a scheme. Homology and cohomology computation in fe modeling 3 usual input for homology or cohomology computation. In the general case, one replaces open cover by covering sieve. Sheaf theory etale cohomology is modelled on the cohomology theory of sheaves in the usual topological sense. Intersection cohomology and perverse sheaves jon woolf december, 2011.
On torsion in the cohomology of locally symmetric varieties. You no longer get a commutative diagram like when one lifts morphisms between complexes concentrated in degree zero because you are resolving complexes themselves, but apart from this you should be able to be patient enough to. As an application of general techniques of cohomology we prove the grothendieck and serre vanishing theorems. Demailly, multiplier ideal sheaves and analytic methods use of the bochner technique in relation with the theory of harmonic forms, during the decade 195060. Finally, we make use of coends as a generalized tensor product to phrase compactly supported sheaf cohomology as the pairing with the image of the constant. Broadly speaking, sheaf cohomology describes the obstructions to solving a geometric problem globally when it can be solved locally. Algebraic geometry i shall assume familiarity with the theory of algebraic varieties, for.
Generic vanishing theorems for cohomology groups deal with the cohomological support loci vi pf fy2yjhif p y 0g mp was partially supported by the nsf grant dms 0500985 and by an ams centennial fellowship. You can learn more about these cookies and general information about how to change your cookie settings by clicking here. Pdf cohomology of line bundles on a toric variety and. In mathematics, sheaf cohomology is the application of homological algebra to analyze the global sections of a sheaf on a topological space. The fundamental concepts in the study of locally compact spaces is cohomology with compact support and a particular class of sheaves,the socalled soft sheaves.
This includes neemans version of grothendieck duality nee96 and the proof that every complex with quasicoherent cohomology is isomorphic to a complex of quasicoherent sheaves in the derived category. The idea is to represent cohomology classes by harmonic forms and to prove vanishing theorems by means of suitable a. He used cech cohomology to define sheaf cohomology. By continuing to use this site without changing your. King fai lai at the university of sydney in semester. Our presentation of the linear determinant follows iversen 117.
606 1446 1169 467 512 868 276 18 1379 1127 895 532 878 1142 152 1190 92 507 466 1404 936 824 651 943 1447 1035 76 469