Spectrum (topology)

from Wikipedia, the free encyclopedia

In the mathematical sub-area of algebraic topology , spectra are used to define generalized homology theories.

definition

A spectrum is a sequence of dotted spaces with dotted continuous images

.

Here the reduced hanging of .

Because the reduced suspension is left adjoint to the formation of the loop space , corresponds to a continuous mapping that is unambiguous except for homotopy . A spectrum is a spectrum if the maps are homeomorphisms .

Other definitions can be found in the literature. For example, the spectra defined above are called the pre-spectrum and the spectra are then called the spectrum . With these designations one can assign each presectrum through a spectrum, its spectrification .

A morphism between spectra and is a family of continuous mappings with for all .

Examples

  • Hanging spectra : For a topological space forms a spectrum with the canonical homeomorphisms . It is called the suspension spectrum of the room . More generally, spectra of the form are referred to as hanging spectra , with the spectrum being meant for a spectrum .
  • Spherical spectrum : The hanging spectrum of the -dimensional sphere is called the spherical spectrum and is denoted by. So in this case and is canonical homeomorphism.
  • Eilenberg-MacLane spectrum : For an Abelian group , the Eilenberg-MacLane spaces form a spectrum with and the homotopy equivalence given by Whitehead's theorem . This spectrum is also referred to as.
  • Thom spectrum : The Thom spaces of the universal vector bundles over the Graßmann manifolds form a spectrum . In this case, the structure mapping is the mapping induced by the classifying mapping of the vector bundle
  • Topological K-theory spectrum : This spectrum is defined by for all , where is the ascending union of the unitary groups and their classifying space.
  • -Spectra : Let be an infinite loop space, then define a -spectra.
  • Algebraic K-theory spectrum : For a commutative ring with one , the application of the plus construction to the classifying space of , is an infinite loop space and therefore defines a spectrum.

Homotopy groups of spectra

The kth homotopy group of a spectrum is defined by

.

The homotopy groups of a hanging spectrum are called stable homotopy groups of :

.

The following already applies to spectra .

Examples

  • The stable homotopy groups of the spheres are the homotopy groups of the sphere spectrum .
  • The algebraic K-theory of a commutative ring with one is obtained for by definition as homotopy groups of the algebraic K-theory spectrum.
  • The cobordism group of unoriented -manifolds is isomorphic to the -th homotopy group of the Thom spectrum.

Equivalences

The following analogue of Whitehead's Theorem applies to morphisms of spectra :

A morphism of spectra induces an isomorphism of all homotopy groups if and only if the induced morphism in the homotopy category of the spectra is an isomorphism. Such mappings are called equivalences .

Generalized theories of homology

A spectrum defines a (reduced) generalized homology theory through

,

where with the aid of the smash product by designated defined spectrum.

In particular is .

example

is isomorphic to the cobordism group of singular -manifolds in .

Generalized cohomology theories

Each spectrum defines a generalized (reduced) cohomology theory through

for topological spaces , where the homotopy classes denote dotted continuous mappings. (The theory of cohomology is said to be represented by the spectrum.)

The associated unreduced cohomology theory is denoted by.

Examples

The Eilenberg-MacLane spectrum defines the singular cohomology , the topological K-theory spectrum defines topological K-theory .

calculation

Generalized cohomology groups of a room can often be calculated using the Atiyah-Hirzebruch spectral sequence. This is a converging spectral sequence with -term

,

where singular cohomology denotes a coefficient group .

Brownian representability theorem

From Brown's representability theorem it follows that every reduced generalized cohomology theory can be represented by a spectrum.

Smash product

For a spectrum and a space , the spectrum is defined by and the structure mappings .

There is a construction going back to Adams that assigns two spectra and a smash product , which has the following properties:

  • The smash product is a covariant functor of both arguments.
  • There are natural equivalences .
  • There is a natural equivalence for every spectrum and every CW complex . Especially for all CW complexes .
  • If there is an equivalence, then too .
  • For a family of Spektra is an equivalence.
  • If there's a fiber structure from Spektra, then so is it .

Ring spectra

A ring spectrum is a spectrum with a smash product and with morphisms

,

which the conditions

suffice.

literature

  • Spanier, EH; Whitehead, JHC: A first approximation to homotopy theory. Proc. Nat. Acad. Sci. USA 39, (1953). 655-660. pdf
  • Lima, Elon L .: Stable Postnikov invariants and their duals. Summa Brasil. Math. 4 1960 193-251.
  • Adams, JF: Stable homotopy and generalized homology. Reprint of the 1974 original. Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL, 1995. ISBN 0-226-00524-0

Web links