Leray spectral sequence: Difference between revisions
Line 29: | Line 29: | ||
H^k(X;\mathbb{Q}) \cong \bigoplus_{p + q = k} H^{p}(Y;\mathbf{R}^qf_*(\underline{\mathbb{Q}}_X)) |
H^k(X;\mathbb{Q}) \cong \bigoplus_{p + q = k} H^{p}(Y;\mathbf{R}^qf_*(\underline{\mathbb{Q}}_X)) |
||
</math> |
</math> |
||
Easy examples |
Easy examples can be computed if <math>Y</math> is simply connected; for example a complete intersection of dimension <math>\geq 2</math> (this is because of the Hurewicz morphism and the Lefschetz hyperplane theorem). In this case the local systems <math>\mathbf{R}^qf_*(\underline{\mathbb{Q}}_X)</math> will have trivial monodromy, hence <math>\mathbf{R}^qf_*(\underline{\mathbb{Q}}_X) \cong \underline{\mathbb{Q}}_Y^{\oplus l_q}</math>. For example, consider a smooth family <math>f:X\to Y</math> of genus 3 curves over a smooth K3 surface. Then, we have that |
||
:<math> |
:<math> |
||
\begin{align} |
\begin{align} |
Revision as of 10:44, 19 March 2018
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.
Definition
The formulation was of a spectral sequence, expressing the relationship holding in sheaf cohomology between two topological spaces and , and set up by a continuous mapping
In modern terms
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, a statement was reached of this kind: assuming some hypotheses on X and Y, and a sheaf F on X, there is a direct image sheaf
- f∗F
on Y.
There are also higher direct images
- Rqf∗F.
The E2 term of the typical Leray spectral sequence is
- Hp(Y, Rqf∗F).
The required statement is that this abuts to the sheaf cohomology
- Hp+q(X, F).
Degeneration Theorem
In the category of quasi-projective varieties over , there is a degeneration theorem proved by Deligne-Blanchard for the Leray which states that a smooth projective morphism of varieties gives us that the -page of the spectral sequence for degenerates, hence
Easy examples can be computed if is simply connected; for example a complete intersection of dimension (this is because of the Hurewicz morphism and the Lefschetz hyperplane theorem). In this case the local systems will have trivial monodromy, hence . For example, consider a smooth family of genus 3 curves over a smooth K3 surface. Then, we have that
giving us the -page
Example with Monodromy
Another important example of a smooth projective family is the family associated to the elliptic curves
over . Here the monodromy around and can be computed using Picard-Lefschetz theory, giving the monodromy around by composing local monodromy.
Connection to other spectral sequences
In the formulation achieved by Alexander Grothendieck by about 1957, this is the Grothendieck spectral sequence for the composition of two derived functors.
Earlier (1948/9) the implications for fibrations were extracted as the Serre spectral sequence, which makes no use of sheaves.