[Math] the relationship amongst all the different kinds of spectra

ag.algebraic-geometryfa.functional-analysissp.spectral-theoryterminology

The word "spectrum" gets tossed around a lot in mathematics, and there seem to be a number of different concepts to which it applies. There is of course a physical connotation to the word which is commonly associated with scattering processes, rainbows, etc. : http://en.wikipedia.org/wiki/Spectrum

However, in mathematics the term seems to be quite loaded. To name a just a few concepts which could be called spectral, here is a big list:

  1. Eigenvalues/eigenvectors for normal matrices

  2. Jordan normal form for matrices

  3. Spectrum of a bounded linear operator

  4. Spectrum of a C* algebra

  5. Spectrum of a commutative ring / Scheme

  6. Characters of an abelian group

  7. Irreducible unitary representations of a group

  8. Spectrum of a graph

  9. Spectrum of a Riemannian manifold

  10. Spectral sequences from cohomology theory

Of course some of these concepts are more general than others. For example, normal matrix < bounded linear operator < c* algebra < commutative ring. However, it doesn't seem like any one of these definitions is sufficiently encompassing to give the whole story. As a counter example, the irreducible representations of a non-commutative group are an instance of the Jordan normal form (for finite groups anyway), but are not really captured by the corresponding notion of the spectra of a commutative ring. Similarly, the spectrum of a graph and a Riemannian manifold don't seem to have much to do with the spectrum of schemes, but yet they are related to the spectra of linear operators. And then there are spectral sequences which are just a bit weird…

I won't profess to completely understand the general idea here, but there do seem to be some patterns. A common theme seems to be `decomposability', for example when finding the eigenvalues/vectors of a matrix one attempts to split apart the domain of the matrix into independent components. This is similar to splitting a space into points; and suggests that there is perhaps a correspondence between eigenvectors/eigenvalues and prime ideals/local rings. The non-commutative picture is of course more complicated, but perhaps the concept might be equally described in terms of irreducible modules and some type of generalized localization at an irreducible module (which is a hazy concept I must admit). In a perfect world, it would be nice if this same concept could even extend to things like the Gauss map from differential geometry, or the Legendre transform from statistical mechanics/convex optimization (of course that might not be feasible).

Also, I marked the question community wiki in case anyone else has some other good examples of `spectral' concepts in mathematics.

Best Answer

As far as I can tell, every example except the last is representation theory, understood in a suitably general sense. For example studying the eigenvalues of an operator is the same as studying the corresponding representation of $\mathbb{C}[X]$ or some suitable enlargement of it (e.g. the $C^{\ast}$-algebra generated by $X$), so 1, 2, 3, 8, and 9 are morally special cases of 4. 4 and 5 are morally special cases of the representation theory of various types of rings and algebras, while 6 and 7 also fall under this category thanks to the existence of various types of group algebras.

(I can't tell if you know this or not, but the spectrum of a commutative ring is also just representation theory. After all, every prime ideal $P$ of a ring $R$ gives rise to a homomorphism $R \to R/P \to \text{Frac}(R/P)$ which may be understood as a one-dimensional representation of $R$.)

As far as I know, spectral sequences and spectra in homotopy theory are unrelated to spectra in the above sense.

Related Question