What is the relationship amongst all the different kinds of spectra?

Question

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.

Answer 1

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.

Answer 2

I'll extend my comment to an answer. Let $L$ be a complete lattice. Then a prime element of $L$ is an element p such that $a\wedge b\leq p$ implies $a\leq p$ or $b\leq p$. These elements are in bijection with maps from $L$ to the 2-element lattice preserving all sups and finite infs. For example, the prime elements of the lattice of ideals in a commutative ring are the prime ideals. If $A$ is a separable C*-algebra, then the prime elements of the lattice of closed 2-sided ideals are the primitive ideals (kernels of irreducible representations). If $A$ is commutative, these are the maximal ideals.

The prime elements of a lattice $L$ form a space $spec(L)$ called the spectrum of $L$. The topology has as open sets the sets D(a) with $a\in L$ where $D(a)$ consists of all prime elements $p$ with $a\nleq p$. For example, if $L$ is the lattice of ideals, this is the Zariski spectrum. If $A$ is a separable C*-algebra, then the spectrum of the closed 2-sided ideal lattice is the primitive ideal spectrum. So many of your examples are spectra of lattices.

Recall a space $X$ is sober if each irreducible closed subset has a unique generic point. Sober spaces are precisely the spectra of complete lattices. The proof $spec(L)$ is sober amounts to showing that the irreducible closed subsets are the complements of the sets D(p) with p prime and p is generic. Conversely, if X is sober, take the lattice of closed subspaces ordered by reverse inclusion. The prime elements are the irreducible closed subsets, which can be identified with points of X by taking generic points.