Leray spectral sequence
|This article does not cite any sources. (May 2015) (Learn how and when to remove this template message)|
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.
- f :X → Y.
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
There are also higher direct images
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).