Sheaf theory

Sheaf of modules

In mathematics, a sheaf of O-modules or simply an O-module over a ringed space (X, O) is a sheaf F such that, for any open subset U of X, F(U) is an O(U)-module and the restriction maps F(U) → F(V) are compatible with the restriction maps O(U) → O(V): the restriction of fs is the restriction of f times that of s for any f in O(U) and s in F(U). The standard case is when X is a scheme and O its structure sheaf. If O is the constant sheaf , then a sheaf of O-modules is the same as a sheaf of abelian groups (i.e., an abelian sheaf). If X is the prime spectrum of a ring R, then any R-module defines an OX-module (called an associated sheaf) in a natural way. Similarly, if R is a graded ring and X is the Proj of R, then any graded module defines an OX-module in a natural way. O-modules arising in such a fashion are examples of quasi-coherent sheaves, and in fact, on affine or projective schemes, all quasi-coherent sheaves are obtained this way. Sheaves of modules over a ringed space form an abelian category. Moreover, this category has enough injectives, and consequently one can and does define the sheaf cohomology as the i-th right derived functor of the global section functor . (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

Schemes 31: Coherent sheaves

This lecture is part of an online algebraic geometry course on schemes, based on chapter II of "Algebraic geometry" by Hartshorne. We define coherent modules over rings and coherent sheaves, and then discuss when the amps f* and f_* preserve coherence or quasicoherence.

From playlist Algebraic geometry II: Schemes

Video thumbnail

What is a Module? (Abstract Algebra)

A module is a generalization of a vector space. You can think of it as a group of vectors with scalars from a ring instead of a field. In this lesson, we introduce the module, give a variety of examples, and talk about the ways in which modules and vector spaces are different from one an

From playlist Abstract Algebra

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

Rings 8 Free modules

This lecture is part of an online course on rings and modules. We mainly discuss the problem of whether free modules over a ring have a well defined ran, generalizing the dimension of a vector space. We show that they do over many rings, including all non-zero commutative rings, but give

From playlist Rings and modules

Video thumbnail

Lecture 13. Modules

0:00 Motivation for studying modules 4:45 Definition of a vector space over a field 9:31 Definition of a module over a ring 12:12 Motivating example: structure of abelian groups 16:05 Motivating example: Jordan normal form 19:44 What unifies both examples (spoiler): Structure theorem for f

From playlist Abstract Algebra 2

Video thumbnail

Rings and modules 2: Group rings

This lecture is part of an online course on rings and modules. We decribe some examples of rings constructed from groups and monoids, such as group rings and rings of Dirichlet polynomials. For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj52XDLrm

From playlist Rings and modules

Video thumbnail

Commutative algebra 42 Projective modules

This lecture is part of an online course on commutative algebra, following the book "Commutative algebra with a view toward algebraic geometry" by David Eisenbud. We discuss the relation between locally free things (vector bundles) and projective things. In commutative algebra and differe

From playlist Commutative algebra

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

Rings 12 Duality and injective modules

This lecture is part of an online course on rings and modules. We descibe some notions of duality for modules generalizing the dual of a vector space. We first discuss duality for free and projective modules, which is very siilar to the vector space case. Then we discuss duality for finit

From playlist Rings and modules

Video thumbnail

Schemes 27: Quasicoherent sheaves

This lecture is part of an online algebraic geometry course on schemes, based on chapter II of "Algebraic geometry" by Hartshorne. We show how to turn a module over a ring into a sheaf of modules over its spectrum. A quasicoherent sheaf of modules of one which looks locally like one constr

From playlist Algebraic geometry II: Schemes

Video thumbnail

Geordie Williamson: Langlands and Bezrukavnikov II Lecture 16

SMRI Seminar Series: 'Langlands correspondence and Bezrukavnikov’s equivalence' Geordie Williamson (University of Sydney) Abstract: The second part of the course focuses on affine Hecke algebras and their categorifications. Last year I discussed the local Langlands correspondence in bro

From playlist Geordie Williamson: Langlands correspondence and Bezrukavnikov’s equivalence

Video thumbnail

Schemes 45: Blowing up schemes

This lecture is part of an online algebraic geometry course on schemes, based on chapter II of "Algebraic geometry" by Hartshorne. In this lecture we discuss the operation of blowing up a scheme along a sheaf of ideals. This can be used to make ideals invertible, and to eliminate points o

From playlist Algebraic geometry II: Schemes

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

Marc Levine: The rational motivic sphere spectrum and motivic Serre finiteness

Find this video and 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, b

From playlist SPECIAL 7th European congress of Mathematics Berlin 2016.

Video thumbnail

Duality in Algebraic Geometry 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

Schemes 28: Examples of quasicoherent sheaves

This lecture is part of an online algebraic geometry course on schemes, based on chapter II of "Algebraic geometry" by Hartshorne. We give some examples of quasicoherent sheaves over affine schemes, and define vector bundles, line bundles, and the Picard group.

From playlist Algebraic geometry II: Schemes

Video thumbnail

Introduction and Derivation of F[x]-Modules

Modules over a polynomial ring have very important applications to linear algebra. Here we prove some basic properties of F[x]-modules and show how they are related to vector spaces over a field. Ring & Module Theory playlist: https://www.youtube.com/playlist?list=PLug5ZIRrShJExMapwnaKTFX

From playlist Ring & Module Theory

Related pages

Category of modules | Proj construction | Category of abelian groups | Coherent sheaf | Stein manifold | Sheaf cohomology | Ideal (ring theory) | Constant sheaf | Projection formula | Ample line bundle | Noetherian scheme | Invertible sheaf | Ringed space | Tensor algebra | Abelian category | Algebraic geometry | D-module | Sheaf (mathematics) | Čech cohomology | Sheaf of algebras | Exterior algebra | Picard group | Ext functor | Commutative ring | Scheme (mathematics) | Graded ring | Holomorphic vector bundle | Line bundle | Ideal sheaf | Spectrum of a ring | Symmetric algebra | Fractional ideal | Cotangent sheaf | Abelian group | Exact functor