Topological methods of algebraic geometry | Homological algebra | Sheaf theory | Cohomology theories

Sheaf cohomology

In mathematics, sheaf cohomology is the application of homological algebra to analyze the global sections of a sheaf on a topological space. Broadly speaking, sheaf cohomology describes the obstructions to solving a geometric problem globally when it can be solved locally. The central work for the study of sheaf cohomology is Grothendieck's 1957 Tôhoku paper. Sheaves, sheaf cohomology, and spectral sequences were introduced by Jean Leray at the prisoner-of-war camp Oflag XVII-A in Austria. From 1940 to 1945, Leray and other prisoners organized a "université en captivité" in the camp. Leray's definitions were simplified and clarified in the 1950s. It became clear that sheaf cohomology was not only a new approach to cohomology in algebraic topology, but also a powerful method in complex analytic geometry and algebraic geometry. These subjects often involve constructing global functions with specified local properties, and sheaf cohomology is ideally suited to such problems. Many earlier results such as the Riemann–Roch theorem and the Hodge theorem have been generalized or understood better using sheaf cohomology. (Wikipedia).

Video thumbnail

Who Gives a Sheaf? Part 1: A First Example

We take a first look at (pre-)sheaves, as being inspired from first year calculus.

From playlist Who Gives a Sheaf?

Video thumbnail

Microlocal theory of sheaves and link with symplectic geometry II - Stephane Guillermou

Stephane Guillermou University Grenoble May 10, 2011 For more videos, visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Microlocal theory of sheaves and link with symplectic geometry III - Stephane Guillermou

Stephane Guillermou University Grenoble May 10, 2011 For more videos, visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Joel Friedman - Sheaves on Graphs, L^2 Betti Numbers, and Applications.

Joel Friedman (University of British Columbia, Canada) Sheaf theory and (co)homology, in the generality developed by Grothendieck et al., seems to hold great promise for applications in discrete mathematics. We shall describe sheaves on graphs and their applications to (1) solving the

From playlist T1-2014 : Random walks and asymptopic geometry of groups.

Video thumbnail

Who Gives a Sheaf? Part 3: Mighty Morph'n Morphisms

In this video we discuss the definition of a morphism of sheaves.

From playlist Who Gives a Sheaf?

Video thumbnail

Étale cohomology - September 8, 2020

Pushforwards, sheaves on the etale site, sheafification, stalks, the category of sheaves is abelian

From playlist Étale cohomology and the Weil conjectures

Video thumbnail

Stéphane Guillermou - Microlocal sheaf theory and symplectic geometry

Abstract: The microlocal theory of sheaves has been introduced and developed by Kashiwara and Schapira in the 80’s, with motivations coming from the theory of D-modules. It has been applied some years ago to the study of symplectic geometry of cotangent bundles in papers of Nadler-Zaslow

From playlist Algebraic Analysis in honor of Masaki Kashiwara's 70th birthday

Video thumbnail

Leslie Saper : L2-cohomology and the theory of weights

Abstract : The intersection cohomology of a complex projective variety X agrees with the usual cohomology if X is smooth and satisfies Poincare duality even if X is singular. It has been proven in various contexts (and conjectured in more) that the intersection cohomology may be represente

From playlist Topology

Video thumbnail

Microlocal Theory of Sheaves and Applications to Non-Displaceability - Pierre Schapira

Pierre Schapira University of Paris 6, France January 31, 2011 I will explain the main notions of the microlocal theory of sheaves: the microsupport and its behaviour with respect to the operations, with emphasis on the Morse lemma for sheaves. Then, inspired by the recent work of Tamarkin

From playlist Mathematics

Video thumbnail

Schemes 34: Coherent sheaves on projective space

This lecture is part of an online algebraic geometry course on schemes, based on chapter II of "Algebraic geometry" by Hartshorne. This lecture discusses some of Serre's theorems about coherent sheaves on projective space. In particular we describe how coherent sheaves are related to finit

From playlist Algebraic geometry II: Schemes

Video thumbnail

From Cohomology to Derived Functors by Suresh Nayak

PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics

From playlist Dualities in Topology and Algebra (Online)

Video thumbnail

Grothendieck-Serre Duality by Suresh Nayak

PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics

From playlist Dualities in Topology and Algebra (Online)

Video thumbnail

George Boxer: Construction of torsion Galois representations

Find other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, bibliographies,

From playlist Algebraic and Complex Geometry

Video thumbnail

Étale cohomology 9/15/2020

Čech cohomology part II, Čech-to-derived spectral sequence, Mayer-Vietoris, étale cohomology of quasi-coherent sheaves, the Artin-Schreier exact sequence and the étale cohomology of F_p in characteristic p.

From playlist Étale cohomology and the Weil conjectures

Video thumbnail

CDH methods in K-theory and Hochschild homology - Charles Weibel

Charles Weibel Rutgers University; Member, School of Mathematics November 11, 2013 This is intended to be a survey talk, accessible to a general mathematical audience. The cdh topology was created by Voevodsky to extend motivic cohomology from smooth varieties to singular varieties, assumi

From playlist Mathematics

Video thumbnail

Étale Cohomology - 9/24/2020

Leray spectral sequence continued, computing derived pushforwards, strict henselizations and stalks of derived pushforwards, Weil-Divisor exact sequence, cohomology of the sheaf of divisors, reduction to Galois cohomology, intro to Brauer groups

From playlist Étale cohomology and the Weil conjectures

Video thumbnail

Coherent (phi, Gamma)-modules and cohomology of local systems by Kiran Kedlaya

PERFECTOID SPACES ORGANIZERS : Debargha Banerjee, Denis Benois, Chitrabhanu Chaudhuri and Narasimha Kumar Cheraku DATE & TIME : 09 September 2019 to 20 September 2019 VENUE : Madhava Lecture Hall, ICTS, Bangalore Scientific committee: Jacques Tilouine (University of Paris, France) Eknat

From playlist Perfectoid Spaces 2019

Video thumbnail

Matthew Morrow: Relative integral p-adic Hodge theory

Abstract: Given a smooth scheme X over the ring of integers of a p-adic field, we introduce the notion of a relative Breuil-Kisin-Fargues module M on X. Each such M simultaneously encodes the data of a lisse étale sheaf, a module with flat connection, and a crystal, whose cohomologies are

From playlist Algebraic and Complex Geometry

Video thumbnail

Introduction to the category of Adic spaces (Lecture 3) by Chitrabhanu Chaudhuri

PERFECTOID SPACES ORGANIZERS: Debargha Banerjee, Denis Benois, Chitrabhanu Chaudhuri, and Narasimha Kumar Cheraku DATE & TIME: 09 September 2019 to 20 September 2019 VENUE: Madhava Lecture Hall, ICTS, Bangalore Scientific committee: Jacques Tilouine (University of Paris, France) Eknath

From playlist Perfectoid Spaces 2019

Video thumbnail

Schemes 3: exactness and sheaves

This lecture is part of an online algebraic geometry course on schemes, based on chapter II of "Algebraic geometry" by Hartshorne. In it we discuss exactness of morphisms of sheaves over a topological space.

From playlist Algebraic geometry II: Schemes

Related pages

Excision theorem | Vector space | Exterior derivative | Tensor product | Algebraic variety | Alexander Grothendieck | Sheaf of modules | Relative homology | Direct limit | Closed manifold | Hausdorff space | Kernel (category theory) | Dual space | Real number | Čech cohomology | Picard group | Fibration | Alexander duality | Verdier duality | Cardinality | Paracompact space | Abelian group | Resolution (algebra) | Nisnevich topology | Principal bundle | Étale topology | Constant sheaf | Injective sheaf | Spectral sequence | De Rham's theorem | Jean Leray | Injective function | Weil conjectures | Ringed space | Abelian category | Leray spectral sequence | Integer | Sheaf (mathematics) | Vector bundle | Orientability | Crystalline cohomology | Derived functor | Local cohomology | Functor | Direct sum | Borel–Moore homology | Holomorphic vector bundle | Grothendieck topology | Serre spectral sequence | Grothendieck's Tôhoku paper | Topological manifold | Homological algebra | Quasi-isomorphism | Algebraic topology | CW complex | Cohomology | Euler characteristic | Homotopy theory | Refinement (topology) | Poincaré duality | Cup product | Mathematics | Mayer–Vietoris sequence | Function (mathematics) | Surjective function | Algebraic geometry | Compact space | Constructible sheaf | Subspace topology | Étale cohomology | Algebraic Geometry (book) | Topological space | Proper map | Stalk (sheaf) | Differential form | Sheaf cohomology | Orientation sheaf | Continuous function | Hodge theory | Chain complex | Principal ideal domain | Noetherian scheme | Dimension (vector space) | Connected space | Unit (ring theory) | Field (mathematics) | Riemann–Roch theorem | Monomorphism | Derived category | Epimorphism | Godement resolution | Cantor set