nLab spectrum (geometry)


To be distinguished from spectrum in the sense of stable homotopy theory, see at spectrum - disambiguation.



In geometry, a spectrum is a geometric space constructed from some algebraic, category-theoretic, analytic or similar data which typically do not have an obvious/manifest geometric meaning.

Examples are

One sometimes says “spectrum” also for the underlying sets of such geometric spectra.

A spectrum does not necessarily give a faithful representation of the original data. For example, the Gelfand spectrum of a C *C^*-algebra is sufficient for reconstructing the C *C^*-algebra if we restrict to commutative C *C^*-algebras (Gelfand–Neimark reconstruction theorem), but is not a sufficient invariant if we consider all C *C^*-algebras.

The word ‘spectrum’ in this setup originates from the fact that the spectrum of a commutative Banach algebra is a natural extension of the theory of a spectrum of a family of commuting self-adjoint operators, which is in turn the generalization of the spectral theory of one self-adjoint operator. See also spectrum of a Banach algebra?. The spectrum of an operator corresponds in quantum (and classical!) mechanics to frequencies of vibrations and waves, hence in optics to color. Newton experimentally observed the spectrum from white light passing through a prism, and with a surprise he considered it at first as a ghost like object, hence he named it after a Latin word for ghost or spirit (see also Wikipedia).


  • MO discussion on the history of the idea of a space of ideals on which a ring is a ring of functions, both in analysis and in algebraic geometry

For a general-abstract perspective:


See also:

Last revised on March 10, 2021 at 18:19:32. See the history of this page for a list of all contributions to it.