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).
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?
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?
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
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?
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)
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
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
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)
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"
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
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"
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
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
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
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
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
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
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
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
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