**Are you an EPFL student looking for a semester project?**

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

Concept# Leray spectral sequence

Summary

In mathematics, the Leray spectral sequence was a pioneering example in homological algebra, introduced in 1946 by Jean Leray. It is usually seen nowadays as a special case of the Grothendieck spectral sequence.
Let be a continuous map of topological spaces, which in particular gives a functor from sheaves of abelian groups on to sheaves of abelian groups on . Composing this with the functor of taking sections on is the same as taking sections on , by the definition of the direct image functor :
Thus the derived functors of compute the sheaf cohomology for :
But because and send injective objects in to -acyclic objects in , there is a spectral sequencepg 33,19 whose second page is
and which converges to
This is called the Leray spectral sequence.
Note this result can be generalized by instead considering sheaves of modules over a locally constant sheaf of rings for a fixed commutative ring . Then, the sheaves will be sheaves of -modules, where for an open set , such a sheaf is an -module for . In addition, instead of sheaves, we could consider complexes of sheaves bounded below for the of . Then, one replaces sheaf cohomology with sheaf hypercohomology.
The existence of the Leray spectral sequence is a direct application of the Grothendieck spectral sequencepg 19. This states that given additive functors
between Abelian categories having enough injectives, a left-exact functor, and sending injective objects to -acyclic objects, then there is an isomorphism of derived functors
for the derived categories . In the example above, we have the composition of derived functors
Let be a continuous map of smooth manifolds. If is an open cover of , form the Čech complex of a sheaf with respect to cover of :
The boundary maps and maps of sheaves on together give a boundary map on the double complex
This double complex is also a single complex graded by , with respect to which is a boundary map. If each finite intersection of the is diffeomorphic to , one can show that the cohomology
of this complex is the de Rham cohomology of .

Official source

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related people (4)

Related publications (26)

Related concepts (8)

Related courses (3)

Related lectures (20)

We construct a spectral sequence converging to the homology of the ordered configuration spaces of a product of parallelizable manifolds. To identify the second page of this spectral sequence, we introduce a version of the Boardman-Vogt tensor product for ...

2022We consider the problem of learning implicit neural representations (INRs) for signals on non-Euclidean domains. In the Euclidean case, INRs are trained on a discrete sampling of a signal over a regular lattice. Here, we assume that the continuous signal e ...

2022Bernard Kapidani, Rafael Vazquez Hernandez

We introduce a high-order spline geometric approach for the initial boundary value problem for Maxwell's equations. The method is geometric in the sense that it discretizes in structure preserving fashion the two de Rham sequences of differential forms inv ...

2023Sheaf 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.

Spectral sequence

In homological algebra and algebraic topology, a spectral sequence is a means of computing homology groups by taking successive approximations. Spectral sequences are a generalization of exact sequences, and since their introduction by , they have become important computational tools, particularly in algebraic topology, algebraic geometry and homological algebra. Motivated by problems in algebraic topology, Jean Leray introduced the notion of a sheaf and found himself faced with the problem of computing sheaf cohomology.

Jean Leray

Jean Leray (ləʁɛ; 7 November 1906 – 10 November 1998) was a French mathematician, who worked on both partial differential equations and algebraic topology. He was born in Chantenay-sur-Loire (today part of Nantes). He studied at École Normale Supérieure from 1926 to 1929. He received his Ph.D. in 1933. In 1934 Leray published an important paper that founded the study of weak solutions of the Navier–Stokes equations.

MATH-561: Spectral theory

This course is an introduction to the spectral theory of linear operators acting in Hilbert spaces. The main goal is the spectral decomposition of unbounded selfadjoint operators. We will also give el

MATH-436: Homotopical algebra

This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous

MATH-684: Spectral sequences

The goal of the course is to learn how to construct and calculate with spectral sequences. We will cover the construction and introductory computations of some common and famous spectral sequences.

Explores the Serre model structure on Top, focusing on right and left homotopy.

Explores the homotopy theory of chain complexes over a field, focusing on closure properties and decomposition.

Covers the sheafification process of presheaves, emphasizing injectivity and surjectivity.