Sheaf theory

Reflexive sheaf

In algebraic geometry, a reflexive sheaf is a coherent sheaf that is isomorphic to its second dual (as a sheaf of modules) via the canonical map. The second dual of a coherent sheaf is called the reflexive hull of the sheaf. A basic example of a reflexive sheaf is a locally free sheaf of finite rank and, in practice, a reflexive sheaf is thought of as a kind of a vector bundle modulo some singularity. The notion is important both in scheme theory and complex algebraic geometry. For the theory of reflexive sheaves, one works over an integral noetherian scheme. A reflexive sheaf is torsion-free. The dual of a coherent sheaf is reflexive. Usually, the product of reflexive sheaves is defined as the reflexive hull of their tensor products (so the result is reflexive.) A coherent sheaf F is said to be "normal" in the sense of Barth if the restriction is bijective for every open subset U and a closed subset Y of U of codimension at least 2. With this terminology, a coherent sheaf on an integral normal scheme is reflexive if and only if it is torsion-free and normal in the sense of Barth. A reflexive sheaf of rank one on an integral locally factorial scheme is invertible. A divisorial sheaf on a scheme X is a rank-one reflexive sheaf that is locally free at the generic points of the conductor DX of X. For example, a canonical sheaf (dualizing sheaf) on a normal projective variety is a divisorial sheaf. (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

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

How to Draw Diagram of Reflex Arc? || #Shorts || Infinity Learn

A reflex arc is a neural pathway that allows for a rapid, automatic and unconscious response to a stimulus. It involves the activation of sensory neurons, the transmission of signals to the spinal cord or brain stem, and the activation of motor neurons to produce a reflexive response. The

From playlist Biology Diagrams || Easy Process || #Shorts || Infinity Learn

Video thumbnail

Who Gives a Sheaf? Part 2: A non-example

In this video we compare two pre-sheaves, one which is a sheaf, and one which is not.

From playlist Who Gives a Sheaf?

Video thumbnail

Equivalence Relations - Reflexive, Symmetric, and Transitive

A relation that is all three of reflexive, symmetric, and transitive, is called an equivalence relation. Reflexive means that every element relates to itself. Symmetry means that if one element relates to another, the same is true in the reverse. Transitive means that if a relates to b, an

From playlist Discrete Math (Full Course: Sets, Logic, Proofs, Probability, Graph Theory, etc)

Video thumbnail

Reflexive Relations and Examples

Let A be a set. A relation R on A is a subset of A x A. Let R be a relation on A. We say R is reflexive of aRa for all a in A. In this video we go over this definition more carefully and we do several examples where we determine if the relation is reflexive. I hope this helps someone who i

From playlist Relations

Video thumbnail

A. Höring - A decomposition theorem for singular spaces with trivial canonical class (Part 3)

The Beauville-Bogomolov decomposition theorem asserts that any compact Kähler manifold with numerically trivial canonical bundle admits an étale cover that decomposes into a product of a torus, an irreducible, simply-connected Calabi-Yau, and holomorphic symplectic manifolds. With the deve

From playlist Ecole d'été 2019 - Foliations and algebraic geometry

Video thumbnail

Reflexive, Symmetric, and Transitive Relations on a Set

A relation from a set A to itself can be though of as a directed graph. We look at three types of such relations: reflexive, symmetric, and transitive. A relation is reflexive if every element relates to itself, that is has a little look from itself to itself. A relation is symmetric if

From playlist Discrete Math (Full Course: Sets, Logic, Proofs, Probability, Graph Theory, etc)

Video thumbnail

Sukhendu Mehrotra: Hilbert schemes of points on K3 surfaces and deformations

Abstract: The Hilbert scheme of points of a K3 surface X admits a 21-dimensional space of deformations, while the moduli space of K3 surfaces is 20-dimensional. The goal of this talk is to provide an interpretation of this extra modulus of the deformation space of the Hilbert scheme X[n] i

From playlist HIM Lectures: Junior Trimester Program "Algebraic Geometry"

Video thumbnail

Daniel Greb: Structure theory for singular varieties with trivial canonical divisor

Recording during the meeting "Varieties with Trivial Canonical Class " the April 09, 2020 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Math

From playlist Virtual Conference

Video thumbnail

Stefan Kebekus The geometry of singularities in the Minimal Model Program and applications to singul

This talk surveys recent results on the singularities of the Minimal Model Program and discusses applications to the study of varieties with trivial canonical class. The first part of the talk discusses an infinitesimal version of the classical decomposition theorem for varieties with vani

From playlist HIM Lectures: Junior Trimester Program "Algebraic Geometry"

Video thumbnail

Stefan Kebekus: Nonabelian Hodge correspondences for klt varieties and quasi-etale uniformisation

Abstract: Simpson’s classic nonabelian Hodge correspondence establishes an equivalence of categories between local systems on a projective manifold, and certain Higgs sheaves on that manifold. This talk surveys recent generalisations of Simpson’s correspondence to the context of projective

From playlist Algebraic and Complex Geometry

Video thumbnail

Calum Spicer : MMP for co-rank1 foliations - lecture 2

CIRM VIRTUAL EVENT Recorded during the research school "Geometry and Dynamics of Foliations " the May 05, 2020 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on C

From playlist Virtual Conference

Video thumbnail

S. Kebekus - Varieties with vanishing first Chern class

We investigate the holonomy group of singular Kähler-Einstein metrics on klt varieties with numerically trivial canonical divisor. Finiteness of the number of connected components, a Bochner principle for holomorphic tensors, and a connection between irreductibility of holonomy representat

From playlist Complex analytic and differential geometry - a conference in honor of Jean-Pierre Demailly - 6-9 juin 2017

Video thumbnail

Robert Ghrist (5/1/21): Laplacians and Network Sheaves

This talk will begin with a simple introduction to cellular sheaves as a generalized notion of a network of algebraic objects. With a little bit of geometry, one can often define a Laplacian for such sheaves. The resulting Hodge theory relates the geometry of the Laplacian to the algebraic

From playlist TDA: Tutte Institute & Western University - 2021

Video thumbnail

Dustin Clausen - Toposes generated by compact projectives, and the example of condensed sets

Talk at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ The simplest kind of Grothendieck topology is the one with only trivial covering sieves, where the associated topos is equal to the presheaf topos. The next simplest topology ha

From playlist Toposes online

Video thumbnail

The Calculus of Opetopes - Eric Finster

Eric Finster Ecole Polyechnique Federal de Lausanne; Member, School of Mathematics January 31, 2013 For more videos, visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Takeshi Saito - Micro support of a constructible sheaf in mixed characteristic

Correction: The affiliation of Lei Fu is Tsinghua University. One of the obstacles in the definition of the singular support of a constructible sheaf in mixed characteristic is the absence of the cotangent bundle. We define a ‘Frobenius pull-back’ of the cotangent bundle restricted on the

From playlist Conférence « Géométrie arithmétique en l’honneur de Luc Illusie » - 5 mai 2021

Video thumbnail

Proving a Relation is an Equivalence Relation | Example 2

In this video, we practice another example of proving a relation is in fact an equivalence relation. Enjoy! Instagram: https://www.instagram.com/braingainzofficial

From playlist Proofs

Video thumbnail

Antonio Rieser (03/29/23) Algebraic Topology for Graphs & Mesoscopic Spaces: Homotopy & Sheaf Theory

Title: Algebraic Topology for Graphs and Mesoscopic Spaces: Homotopy and Sheaf Theory Abstract: In this talk, we introduce the notion of a mesoscopic space: a metric space decorated with a privileged scale, and we survey recent developments in the algebraic topology of such spaces. Our ap

From playlist AATRN 2023

Related pages

Torsion sheaf | Scheme (mathematics) | Integral domain | Coherent sheaf | Twisted sheaf | Sheaf of modules | Dualizing sheaf | Algebraic geometry | Normal scheme | Vector bundle | Noetherian scheme | Torsionless module