42
$\begingroup$

From recent mathematical conversations, I have heard that when Leray first defined spectral sequences, he never published an official explanation of his terminology, namely what is "spectral" about a spectral sequence.

In Timothy Chow's relevant article, he writes

"John McCleary (personal communication) and others have speculated that since Leray was an analyst, he may have viewed the data in each term of a spectral sequence as playing a role that the eigenvalues, revealed one at a time, have for an operator."

This certainly seems like a reasonable answer, but are there any other plausible explanations? Did Leray ever communicate, perhaps in personal correspondences or unpublished manuscripts, why he chose that particular term? Does anybody have a better explanation for the origin of the adjective "spectral" in spectral sequences?

$\endgroup$
7
  • 53
    $\begingroup$ From Ravi Vakil's lecture notes: "Spectral sequences are a powerful book-keeping tool for proving things involving complicated commutative diagrams. They were introduced by Leray in the 1940's at the same time as he introduced sheaves. They have a reputation for being abstruse and difficult. It has been suggested that the name `spectral' was given because, like spectres, spectral sequences are terrifying, evil, and dangerous. I have heard no one disagree with this interpretation, which is perhaps not surprising since I just made it up." ;) $\endgroup$ Commented Mar 7, 2010 at 5:51
  • 8
    $\begingroup$ A spectral sequence is haunting mathematics... Every spectral sequence I know is just telling you how to compute the homology of a filtered complex by looking at the associated gradeds. Are there any scarier examples? $\endgroup$ Commented Mar 7, 2010 at 6:34
  • 1
    $\begingroup$ @Dinakar's comment: here is the link to these notes. They are very good (although, if you are a topologist, it'll take you a while to figure out what they have to do with Serre spectral sequence/filtered sequesnces. It's a good exercise.) math.stanford.edu/~vakil/0708-216/216ss.pdf $\endgroup$ Commented Mar 7, 2010 at 20:02
  • 2
    $\begingroup$ @ScottMorrison This is a very old comment, still to anyone who is wondering whether there are examples of a different nature they should check out the EHP spectral sequence, a spectral sequence which is constructed as an exact couple without any underlying filtered object at all. $\endgroup$ Commented May 12, 2019 at 19:45
  • 2
    $\begingroup$ I would imagine his motivation stretches back to physics. The spectra associated to a source of light you view as breaking up the light into its component frequencies. i.e. you convert one solid thing into an array of granular bits. The spectral sequence of a map (one solid thing) was Leray's context, and it broke a map up into its granular bits, i.e. roughly its local behaviour along the co-domain. $\endgroup$ Commented Aug 19, 2025 at 13:46

4 Answers 4

55
$\begingroup$

After my article was published, John Harper sent me email and said that when he was a graduate student back in the 1960s, he personally asked Leray about the term "spectral" and in particular asked whether it had something to do with the spectrum of an operator. Leray began his reply by saying, "Non"; unfortunately, before he could continue, some professors approached and interrupted the conversation.

This is perhaps some weak evidence that the spectrum of an operator is not what Leray had in mind, but unfortunately gives us no more positive information about what he did have in mind.

$\endgroup$
14
$\begingroup$

Take a look at Haynes Miller's article about Leray and the invention of sheaves and spectral sequences, especially p.10. He attributes the first use of "spectral" in this context to Leray in a 1947 conference write-up, and he quotes from a letter of Borel, in which Borel speculates that "spectral" is used by analogy with analysis. Borel points out that in Leray's original formulation, a filtration could be indexed by real numbers, not just by integers, which makes the analogy a bit more appealing.

(I originally wrote that Leray's 1947 paper had the first use of "spectral sequence", but that's not what the article says.)

$\endgroup$
13
$\begingroup$

I'm not a specialist, but from browsing the French literature it appears that the interpretation mentioned is correct: Leray was motivated by studying general invariants of spaces and continuous functions, this from his interest in Mechanics and PDEs, see the quote page 6 of this (Leray was in fact chair of Mechanics at the Académie after WWII, and also chair of ODEs and Functional Equations at Collège de France). For instance in this document (warning: 60MB) are his publication list and some scanned notes from pre-WWII meetings with Bourbaki where Leray is listened to precisely about spectral theory matters. Also, Leray learned from Elie Cartan a lot about Lie groups and representation theory, and knew its relationship to quantum mechanics (i.e. again the idea of invariants).

The first paper of Leray on the topic of spectral sequences where really the word spectral appears is the comprehensive one published in 1950 (here is its Zentralblatt review), so the paper was circulating earlier. Apparently a first note in CRAS by Leray dates from 1945, then in 1947 Koszul generalized the idea, but still without the word spectral I think. These were treating cohomology stuff. On the other hand, Serre's CRAS note, which predates his thesis, appeared in 1950, and it treats homology stuff. For cohomology matters, I've seen in early papers anything from "Leray spectral sequence", to "Leray-Koszul", to "Leray-Koszul-Cartan" (since Cartan had a seminar on those things).

$\endgroup$
1
$\begingroup$

The following answer is entirely speculative (I never knew Leray and even if I did, I doubt we could have had a meaningful exchange on the topic, considering that I was four years old when he died).

I recently had a somewhat vague, yet rather vivid visualization of spectral sequences occur to me, which makes an interpretation of the term along the lines of "spectral lines" in physics quite plausible.

In fact this visualization was induced by the mentioned Timothy Chow article, where he mentions that decomposing the computation of the (co)homology of a graded complex which is compatible with the differential in the sense that $C=\bigoplus G^k C$, $d|_{G^kC}:G^kC\rightarrow G^kC$ is easy, since the (co)homology is the direct sum of the (co)homologies of the graded subobjects.

But on the other hand, if we have a filtration $F^kC\supseteq F^{k+1}C$, which is compatible with the differential in the sense that $d(F^kC)\subseteq F^kC$, then the main complication is that although the differential can never push an element out of the filtration level $F^kC$, it is possible that an element $x=dx^\prime\in F^k C$ that belongs to the image of $d$ is such that $x^\prime\in F^lC$ for $l<k$, so the images of the differentials can come from "below", which is never possible in the graded case.

To fix notation, let $(C,d)$ be a differential vector space (vector space to avoid extension problems) and suppose that $C$ is equipped with a decreasing filtration $$ F^0C=C\supseteq F^1C\supseteq\cdots\supseteq F^nC\supseteq F^{n+1}C=0, $$ and $d$ is compatible with the filtration.

The whose situation can be visualized in the following diagram:

enter image description here

This should be read as follows:

  • The area between $F^p$ and $F^{n+1}$ represents the $p$th filtration level $F^pC$.
  • The strip between $F^p$ and $F^{p+1}$ (annotated by $G^p$) corresponds to the $p$th graded subspace $G^pC:=F^pC/F^{p+1}C$ of the associated graded vector space.
  • Elements between $F^p$ and $F^{p+1}$ are those which belong to the $p$th filtration level but not to the $p+1$th.

Since $d$ is compatible with the filtration, an arrow may never go down, but they can go up.

If all of the arrows are horizontal, i.e. they never push any element up the filtration level, then $d_1:E_1\rightarrow E_1$ in the spectral sequence is zero, so $E^p_\infty=E^p_1\cong H(G^pC,d_0)$, and $H(C,d)\cong\bigoplus_{p=0}^n H(G^pC,d_0)$, so we recover the case when the vector spaces is graded and the differential is compatible with the grading.

But if there are slanted arrows, then to construct the (co)homology $H(C,d)$, we need to take more quotients. An element is a cycle if the differential vanishes on it, which in the present diagram means that the differential pushes it above $F^{n+1}$ (only the zero lives there), and to construct cycles, we can first construct the associated graded and check that the differential there is zero (so $d$ is not horizontal), then we can go to $E_1$ and check that the differential there is also zero (then the differential goes up at least 2 filtration levels), then we go to $E_2$ etc. and verify that the differential is zero in each subquotient until we exhaust the filtration.

Likewise, to construct boundaries, we first check that the element is the target of a horizontal arrow (then it is a boundary in $E_0$), if not then we check that it is a target of an arrow that goes up 1 (then it is a boundary in $E_1$) and if not then we check that it is the target of an arrow that goes up 2, and so on. If we manage to exhaust all filtration levels without finding an arrow whose target is the element, then it is a nontrivial cohomology class in the original complex.


Of course this is not new to most people here and I don't intend to lecture anyone on spectral sequences (nor am I an expert on the topic, really). But coupled with the diagram above, this is rather reminiscent of e.g. the spectral lines of an atom.

The slantedness of the arrows are like transitions between energy levels. To compute the (co)homology, we need to understand transitions to the ground state ($F^{n+1}=0$), and if it is too hard to understand them directly, we decompose them into transitions between neighbouring lines, understand those, and put together the full picture from these partial transitions. Essentially we spectrally decompose a (co)homology problem.

Of course this is just an analogy between visualizations with no real relationship between the two concepts ((co)homology computations and spectra of atoms), but the visual analogy is rather striking I think.

And of course I have no way of knowing whether Leray really had an image like this in mind, but I find it plausible. Especially that of course at the time this was not a well-developed theory with the usual syntax and ready-made proofs, and spectral sequences are rather complicated, so I would be very surprised if he had no such intuitive picture during its development.

$\endgroup$

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.