In mathematics, the Leray spectral sequence was a pioneering example in homological algebra, introduced in 1946^[1][2] by Jean Leray. It is usually seen nowadays as a special case of the Grothendieck spectral sequence.

Definition

Let ${\displaystyle f:X\to Y}$ be a continuous map of topological spaces, which in particular gives a functor ${\displaystyle f_{*}}$ from sheaves of abelian groups on ${\displaystyle X}$ to sheaves of abelian groups on ${\displaystyle Y}$. Composing this with the functor ${\displaystyle \Gamma }$ of taking sections on ${\displaystyle {\text{Sh}}_{\text{Ab}}(Y)}$ is the same as taking sections on ${\displaystyle {\text{Sh}}_{\text{Ab}}(X)}$, by the definition of the direct image functor ${\displaystyle f_{*}}$:

${\displaystyle \mathrm {Sh_{Ab}} (X)\xrightarrow {f_{*}} \mathrm {Sh_{Ab}} (Y)\xrightarrow {\Gamma } \mathrm {Ab} .}$

Thus the derived functors of ${\displaystyle \Gamma \circ f_{*}}$ compute the sheaf cohomology for ${\displaystyle X}$:

${\displaystyle R^{i}(\Gamma \cdot f_{*})({\mathcal {F}})=H^{i}(X,{\mathcal {F}}).}$

But because ${\displaystyle f_{*}}$ and ${\displaystyle \Gamma }$ send injective objects in ${\displaystyle {\text{Sh}}_{\text{Ab}}(X)}$ to ${\displaystyle \Gamma }$-acyclic objects in ${\displaystyle {\text{Sh}}_{\text{Ab}}(Y)}$, there is a spectral sequence^{[3]pg 33,19} whose second page is

${\displaystyle E_{2}^{pq}=(R^{p}\Gamma \cdot R^{q}f_{*})({\mathcal {F}})=H^{p}(Y,R^{q}f_{*}({\mathcal {F}})),}$

and which converges to

${\displaystyle E^{p+q}=R^{p+q}(\Gamma \circ f_{*})({\mathcal {F}})=H^{p+q}(X,{\mathcal {F}}).}$

This is called the Leray spectral sequence.

Classical definition

Let ${\displaystyle f\colon X\to Y}$ be a continuous map of smooth manifolds. If ${\displaystyle {\mathcal {U}}=\{U_{i}\}_{i\in I}}$ is an open cover of ${\displaystyle Y}$, form the Čech complex of a sheaf ${\displaystyle {\mathcal {F}}\in {\text{Sh}}(X)}$ with respect to cover ${\displaystyle f^{-1}(U)}$ of ${\displaystyle X}$:

${\displaystyle {\text{C}}^{p}(f^{-1}{\mathcal {U}},{\mathcal {F}})}$

The boundary maps ${\displaystyle d^{p}\colon C^{p}\to C^{p+1}}$ and maps ${\displaystyle \delta ^{q}\colon \Omega _{X}^{q}\to \Omega _{X}^{q+1}}$ of sheaves on ${\displaystyle X}$ together give a boundary map on the double complex ${\displaystyle {\text{C}}^{p}(f^{-1}{\mathcal {U}},\Omega _{X}^{q})}$

${\displaystyle D=d+\delta \colon C^{\bullet }(f^{-1}{\mathcal {U}},\Omega _{X}^{\bullet })\longrightarrow C^{\bullet }(f^{-1}{\mathcal {U}},\Omega _{X}^{\bullet }).}$

This double complex is also a single complex graded by ${\displaystyle n=p+q}$, with respect to which ${\displaystyle D}$ is a boundary map. If each finite intersection of the ${\displaystyle U_{i}}$ is diffeomorphic to ${\displaystyle \mathbb {R} ^{n}}$, one can show that the cohomology

${\displaystyle H_{D}^{n}(C^{\bullet }(f^{-1}{\mathcal {U}},\Omega _{X}^{\bullet }))=H_{\text{dR}}^{n}(X,\mathbb {R} )}$

of this complex is the de Rham cohomology of ${\displaystyle X}$.^[4]: 96 Moreover,^{[4]: 179 [5]} any double complex has a spectral sequence E with

${\displaystyle E_{\infty }^{n-p,p}={\text{the }}p{\text{th graded part of }}H_{dR}^{n}(C^{\bullet }(f^{-1}{\mathcal {U}},\Omega _{X}^{\bullet }))}$

(so that the sum of these is ${\displaystyle H_{dR}^{n}}$), and

${\displaystyle E_{2}^{p,q}=H^{p}(f^{-1}{\mathcal {U}},{\mathcal {H}}^{q}),}$

where ${\displaystyle {\mathcal {H}}^{q}}$ is the presheaf on Y sending ${\displaystyle U\mapsto H^{q}(f^{-1}(U),F)}$. In this context, this is called the Leray spectral sequence.

The modern definition subsumes this, because the higher direct image functor ${\displaystyle R^{p}f_{*}(F)}$ is the sheafification of the presheaf ${\displaystyle U\mapsto H^{q}(f^{-1}(U),F)}$.

Examples

• Let ${\displaystyle X,F}$ be smooth manifolds, and ${\displaystyle X}$ be simply connected, so ${\displaystyle \pi _{1}(X)=0}$. We calculate the Leray spectral sequence of the projection ${\displaystyle f\colon X\times F\to X}$. If the cover ${\displaystyle {\mathcal {U}}=\{U_{i}\}_{i\in I}}$ is good (finite intersections are ${\displaystyle \mathbb {R} ^{n}}$) then

${\displaystyle {\mathcal {H}}^{p}(f^{-1}U_{i})\simeq H^{q}(F)}$

Since ${\displaystyle X}$ is simply connected, any locally constant presheaf is constant, so this is the constant presheaf ${\displaystyle H^{q}(F)={\underline {\mathbb {R} }}^{n_{q}}}$. So the second page of the Leray spectral sequence is

${\displaystyle E_{2}^{p,q}=H^{p}(f^{-1}{\mathcal {U}},H^{q}(F))=H^{p}(f^{-1}{\mathcal {U}},\mathbb {R} )\otimes H^{q}(F)}$

As the cover ${\displaystyle \{f^{-1}(U_{i})\}_{i\in I}}$ of ${\displaystyle X\times F}$ is also good, ${\displaystyle H^{p}(f^{-1}(U_{i});\mathbb {R} )\cong H^{p}(f;\mathbb {R} )}$. So

${\displaystyle E_{2}^{p,q}=H^{p}(X)\otimes H^{q}(F)\ \Longrightarrow \ H^{p+q}(X\times F,\mathbb {R} )}$

Here is the first place we use that ${\displaystyle f}$ is a projection and not just a fibre bundle: every element of ${\displaystyle E_{2}}$ is an actual closed differential form on all of ${\displaystyle X\times F}$, so applying both d and ${\displaystyle \delta }$ to them gives zero. Thus ${\displaystyle E_{\infty }=E_{2}}$. This proves the Künneth theorem for ${\displaystyle X}$ simply connected:

${\displaystyle H^{\bullet }(X\times Y,\mathbb {R} )\simeq H^{\bullet }(X)\otimes H^{\bullet }(Y)}$

• If ${\displaystyle f\colon X\to Y}$ is a general fiber bundle with fibre ${\displaystyle F}$, the above applies, except that ${\displaystyle V^{p}\to H^{p}(f^{-1}V,H^{q})}$ is only a locally constant presheaf, not constant.

• All example computations with the Serre spectral sequence are the Leray sequence for the constant sheaf.

Degeneration theorem

In the category of quasi-projective varieties over ${\displaystyle \mathbb {C} }$, there is a degeneration theorem proved by Pierre Deligne and Blanchard for the Leray spectral sequence, which states that a smooth projective morphism of varieties ${\displaystyle f\colon X\to Y}$ gives us that the ${\displaystyle E_{2}}$-page of the spectral sequence for ${\displaystyle {\underline {\mathbb {Q} }}_{X}}$ degenerates, hence

${\displaystyle H^{k}(X;\mathbb {Q} )\cong \bigoplus _{p+q=k}H^{p}(Y;\mathbf {R} ^{q}f_{*}({\underline {\mathbb {Q} }}_{X})).}$

Easy examples can be computed if Y is simply connected; for example a complete intersection of dimension ${\displaystyle \geq 2}$ (this is because of the Hurewicz homomorphism and the Lefschetz hyperplane theorem). In this case the local systems ${\displaystyle \mathbf {R} ^{q}f_{*}({\underline {\mathbb {Q} }}_{X})}$ will have trivial monodromy, hence ${\displaystyle \mathbf {R} ^{q}f_{*}({\underline {\mathbb {Q} }}_{X})\cong {\underline {\mathbb {Q} }}_{Y}^{\oplus l_{q}}}$. For example, consider a smooth family ${\displaystyle f\colon X\to Y}$ of genus 3 curves over a smooth K3 surface. Then, we have that

${\displaystyle {\begin{aligned}\mathbf {R} ^{0}f_{*}({\underline {\mathbb {Q} }}_{X})&\cong {\underline {\mathbb {Q} }}_{Y}\\\mathbf {R} ^{1}f_{*}({\underline {\mathbb {Q} }}_{X})&\cong {\underline {\mathbb {Q} }}_{Y}^{\oplus 6}\\\mathbf {R} ^{2}f_{*}({\underline {\mathbb {Q} }}_{X})&\cong {\underline {\mathbb {Q} }}_{Y}\end{aligned}}}$

giving us the ${\displaystyle E_{2}}$-page

${\displaystyle E_{2}=E_{\infty }={\begin{bmatrix}H^{0}(Y;{\underline {\mathbb {Q} }}_{Y})&0&H^{2}(Y;{\underline {\mathbb {Q} }}_{Y})&0&H^{4}(Y;{\underline {\mathbb {Q} }}_{Y})\\H^{0}(Y;{\underline {\mathbb {Q} }}_{Y}^{\oplus 6})&0&H^{2}(Y;{\underline {\mathbb {Q} }}_{Y}^{\oplus 6})&0&H^{4}(Y;{\underline {\mathbb {Q} }}_{Y}^{\oplus 6})\\H^{0}(Y;{\underline {\mathbb {Q} }}_{Y})&0&H^{2}(Y;{\underline {\mathbb {Q} }}_{Y})&0&H^{4}(Y;{\underline {\mathbb {Q} }}_{Y})\end{bmatrix}}}$

History and connection to other spectral sequences

At the time of Leray's work, neither of the two concepts involved (spectral sequence, sheaf cohomology) had reached anything like a definitive state. Therefore it is rarely the case that Leray's result is quoted in its original form. After much work, in the seminar of Henri Cartan in particular, the modern statement was obtained, though not the general Grothendieck spectral sequence.

Earlier (1948/9) the implications for fiber bundles were extracted in a form formally identical to that of the Serre spectral sequence, which makes no use of sheaves. This treatment, however, applied to Alexander–Spanier cohomology with compact supports, as applied to proper maps of locally compact Hausdorff spaces, as the derivation of the spectral sequence required a fine sheaf of real differential graded algebras on the total space, which was obtained by pulling back the de Rham complex along an embedding into a sphere. Jean-Pierre Serre, who needed a spectral sequence in homology that applied to path space fibrations, whose total spaces are almost never locally compact, thus was unable to use the original Leray spectral sequence and so derived a related spectral sequence whose cohomological variant agrees, for a compact fiber bundle on a well-behaved space with the sequence above.

In the formulation achieved by Alexander Grothendieck by about 1957, the Leray spectral sequence is the Grothendieck spectral sequence for the composition of two derived functors.

See also

• Serre spectral sequence - for more examples
• Grothendieck spectral sequence - for abstract theory subsuming the construction for the Leray spectral sequence
• Mixed Hodge module

References

External links

• Leray spectral sequence Article in the Encyclopedia of Mathematics
• Leray spectral sequence for ringed spaces Article in The Stacks project