Topological spaces | Algebraic topology

Locally constant sheaf

In algebraic topology, a locally constant sheaf on a topological space X is a sheaf on X such that for each x in X, there is an open neighborhood U of x such that the restriction is a constant sheaf on U. It is also called a local system. When X is a stratified space, a constructible sheaf is roughly a sheaf that is locally constant on each member of the stratification. A basic example is the orientation sheaf on a manifold since each point of the manifold admits an orientable open neighborhood (while the manifold itself may not be orientable.) For another example, let , be the sheaf of holomorphic functions on X and given by . Then the kernel of P is a locally constant sheaf on but not constant there (since it has no nonzero global section). If is a locally constant sheaf of sets on a space X, then each path in X determines a bijection Moreover, two homotopic paths determine the same bijection. Hence, there is the well-defined functor where is the fundamental groupoid of X: the category whose objects are points of X and whose morphisms are homotopy classes of paths. Moreover, if X is path-connected, locally path-connected and semi-locally simply connected (so X has a universal cover), then every functor is of the above form; i.e., the functor category is equivalent to the category of locally constant sheaves on X. If X is locally connected, the adjunction between the category of presheaves and bundles restricts to an equivalence between the category of locally constant sheaves and the category of covering spaces of X. (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

Dennis Gaitsgory - 4/4 Singular support of coherent sheaves

Singular support is an invariant that can be attached to a coherent sheaf on a derived scheme which is quasi-smooth (a.k.a. derived locally complete intersection). This invariant measures how far a given coherent sheaf is from being perfect. We will explain how the subtle difference betwee

From playlist Dennis Gaitsgory - Singular support of coherent sheaves

Video thumbnail

Dennis Gaitsgory - 3/4 Singular support of coherent sheaves

Singular support is an invariant that can be attached to a coherent sheaf on a derived scheme which is quasi-smooth (a.k.a. derived locally complete intersection). This invariant measures how far a given coherent sheaf is from being perfect. We will explain how the subtle difference betwee

From playlist Dennis Gaitsgory - Singular support of coherent sheaves

Video thumbnail

Robert Ghrist (8/29/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 Beyond TDA - Persistent functions and its applications in data sciences, 2021

Video thumbnail

Nicolas Berkouk (6/22/20): Sheaves as computable and stable topological invariants for datasets:

Title: Sheaves as computable and stable topological invariants for datasets: From level-sets persistence and beyond Abstract: Persistent homology has been recently studied with the tools of sheaf theory in the derived setting by Kashiwara and Schapira after J. Curry has made the first lin

From playlist ATMCS/AATRN 2020

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

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

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

Dennis Gaitsgory - 1/4 Singular support of coherent sheaves

Singular support is an invariant that can be attached to a coherent sheaf on a derived scheme which is quasi-smooth (a.k.a. derived locally complete intersection). This invariant measures how far a given coherent sheaf is from being perfect. We will explain how the subtle difference betwee

From playlist Dennis Gaitsgory - Singular support of coherent sheaves

Video thumbnail

Georg Biedermann - Higher Sheaves

Talk at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ Joint work with Mathieu Anel, Eric Finster, and André Joyal Even though on the surface the theories look similar, there are basic differences between the classical theory of 1-t

From playlist Toposes online

Video thumbnail

Dennis Gaitsgory - 2/4 Singular support of coherent sheaves

Singular support is an invariant that can be attached to a coherent sheaf on a derived scheme which is quasi-smooth (a.k.a. derived locally complete intersection). This invariant measures how far a given coherent sheaf is from being perfect. We will explain how the subtle difference betwee

From playlist Dennis Gaitsgory - Singular support of coherent sheaves

Video thumbnail

Dennis Gaitsgory - Tamagawa Numbers and Nonabelian Poincare Duality, II [2013]

Dennis Gaitsgory Wednesday, August 28 4:30PM Tamagawa Numbers and Nonabelian Poincare Duality, II Gelfand Centennial Conference: A View of 21st Century Mathematics MIT, Room 34-101, August 28 - September 2, 2013 Abstract: This will be a continuation of Jacob Lurie’s talk. Let X be an al

From playlist Number Theory

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

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

Schemes 5: Definition of a scheme

This lecture is part of an online algebraic geometry course on schemes, based on chapter II of "Algebraic geometry" by Hartshorne. We give some historical background, then give the definition of a scheme and some simple examples, and finish by explaining the origin of the word "spectrum".

From playlist Algebraic geometry II: Schemes

Video thumbnail

Étale cohomology - 10/8/2020

Proper base change continued, compactly supported cohomology, cohomology with supports, Gysin sequences and purity

From playlist Étale cohomology and the Weil conjectures

Video thumbnail

Étale cohomology - 10/15/2020

Artin comparison, intro to pi_1

From playlist Étale cohomology and the Weil conjectures

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

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

Related pages

Locally connected space | Topological space | Constructible sheaf | Fundamental groupoid | Covering space | Orientation sheaf | Stratified space | Constant sheaf | Sheaf (mathematics) | Bundle (mathematics) | Algebraic topology