Spectrum (homotopy theory)

Spectrum (homotopy theory)

In algebraic topology, a branch of mathematics, a spectrum is an object representing a generalized cohomology theory. There are several different constructions of categories of spectra, all of which give the same homotopy category.

Suppose we start with a generalized cohomology theory E. This is a sequence of contravariant functors E^n from topological spaces to abelian groups, one for each integer n, which satisfy all of the Eilenberg-Steenrod axioms except for the dimension axiom. By the Brown representability theorem, E^n(X) is given by [X,E_n] , the set of homotopy classes of maps from X to E_n , for some space E_n . The isomorphism E^n(X) cong E^{n+1}(Sigma X) , where Sigma X is the suspension of X, gives a map Sigma E_n o E_{n+1} . This collection of spaces E_n together with connecting maps Sigma E_n o E_{n+1} is a spectrum. In most (but not all) constructions of spectra the adjoint maps E_n o Omega E_{n+1} are required to be weak equivalences or even homeomorphisms.

We can also construct homology and cohomology theories given a particular spectrum. We restrict attention to spectra whose spaces are pointed CW-complexes. Given a spectrum E_n, a subspectrum F_n is a sequence of subcomplexes that is also a spectrum. Noting that each i-cell in E_j becomes an (i+1)-cell in E_{j+1}, a cofinal subspectrum is a subspectrum for which each cell of the parent spectrum is eventually contained in the subspectrum after a finite number of suspensions. Spectra can then be turned into a category by defining a map of spectra f: E o F to be a cofinal subspectrum G of E and a sequence of pointed maps f_n: G_n o F_n such that Sf_n = f_{n+1|G_n} (i.e. the obvious square commutes). Intuitively such a map of spectra does not need to be everywhere defined, just "eventually" become defined, and two maps that coincide on a cofinal subspectrum are said to be equivalent. The smash product of a spectrum E and a pointed complex X is a spectrum given by (E wedge X)_n = E_n wedge X (associativity of the smash product yields immediately that this is indeed a spectrum). A homotopy of spectra corresponds to a map (E wedge I^+) o F, where I^+ is the disjoint union [0, 1] sqcup {*} with * taken to be the basepoint. Finally, we can define the suspension of a spectrum as (Sigma E)_n = E_{n+1}.

Given all this information, we can first note that there is an inverse to the suspension functor given by (Sigma^{-1} E)_{n+1} = E_n. We can define the homotopy groups of a spectrum to be those given by pi_n E = [Sigma^n S, E] , where S is the spectrum of spheres and [X, Y] is the set of homotopy classes of maps from X to Y. Using some facts about what are commonly called "cofiber sequences of spectra" we arrive at the definitions E_n X = pi_n (E wedge X) = [Sigma^n S, E wedge X] and E^n X = [Sigma^{-n} S wedge X, E] for the homology and cohomology theories respectively associated to the spectrum E. It is worth noting that S_n X = pi_n(S wedge X) corresponds to the nth stable homotopy group of X.

Examples

Consider singular cohomology H^n(X;A) with coefficients in an abelian group A. By Brown representability H^n(X;A) is the set of homotopy classes of maps from X to K(A,n), the Eilenberg-MacLane space with homotopy concentrated in degree n. Then the corresponding spectrum HA has n'th space K(A,n); it is called the "Eilenberg-MacLane spectrum".

As a second important example, consider topological K-theory. At least for X compact, K^0(X) is defined to be the Grothendieck group of the monoid of complex vector bundles on X. Also, K^1(X) is the group corresponding to vector bundles on the suspension of X. Topological K-theory is a generalized cohomology theory, so it gives a spectrum. The zero'th space is mathbf{Z} imes BU while the first space is U. Here U is the infinite unitary group and BU is its classifying space. By Bott periodicity we get K^{2n}(X) cong K^0(X) and K^{2n+1}(X) cong K^1(X) for all "n", so all the spaces in the topological K-theory spectrum are given by either mathbf{Z} imes BU or U. There is a corresponding construction using real vector bundles instead of complex vector bundles, which gives an 8-periodic spectrum.

For many more examples, see the list of cohomology theories.

History

A version of the concept of a spectrum was introduced in the 1958 doctoral dissertation of Elon Lages Lima. His advisor Edwin Spanier wrote further on the subject in 1959. There was development of the topic by J. Michael Boardman, amongst others. The above setting came together during the mid-1960s, and is still used for many purposes: see Adams (1974) or Vogt (1970). Important further theoretical advances have however been made since 1990, improving vastly the formal properties of spectra. Consequently, much recent literature uses modified (and highly technical) definitions of spectrum: see Mandell "et al." (2001) for a unified treatment of these new approaches.

References

* J. F. Adams (1974). "Stable homotopy and generalised homology". University of Chicago Press.

* citation
first = M. A.|last= Mandell|first2=J. P.|last2= May,|first3= S. |last3=Schwede |first4=B. |last4=Shipley
year = 2001
title = Model categories of diagram spectra
journal = Proc. London Math. Soc. (3)
volume = 82
pages = 441-512
doi=10.1112/S0024611501012692

* R. Vogt (1970). "Boardman's stable homotopy category". Lecture note series No. 21, Matematisk Institut, Aarhus University.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Spectrum (disambiguation) — A spectrum is a condition or value that is not limited to a specific set of values but can vary infinitely within a continuum.Spectrum may refer to:In physical sciences: * electromagnetic spectrum ** visible spectrum or optical spectrum, a subset …   Wikipedia

  • Morava K-theory — In stable homotopy theory, a branch of mathematics, Morava K theory is one of a collection of cohomology theories introduced in algebraic topology by Jack Morava in unpublished preprints in the early 1970s. For every prime number p (which is… …   Wikipedia

  • Surgery theory — In mathematics, specifically in geometric topology, surgery theory is a collection of techniques used to produce one manifold from another in a controlled way, introduced by Milnor (1961). Surgery refers to cutting out parts of the manifold… …   Wikipedia

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • List of algebraic topology topics — This is a list of algebraic topology topics, by Wikipedia page. See also: topology glossary List of topology topics List of general topology topics List of geometric topology topics Publications in topology Topological property Contents 1… …   Wikipedia

  • Espace de Thom — En topologie, l espace de Thom est un espace topologique associé à un fibré vectoriel. Il est au cœur de plusieurs constructions homotopiques, parmi lesquelles la construction de Thom Pontriaguine et le spectre (en) de Thom. Il porte le nom… …   Wikipédia en Français

  • Complex cobordism — In mathematics, complex cobordism is a generalized cohomology theory related to cobordism of manifolds. Its spectrum is denoted by MU. It is an exceptionally powerful cohomology theory, but can be quite hard to compute, so often instead of using… …   Wikipedia

  • Cobordism — A cobordism (W;M,N). In mathematics, cobordism is a fundamental equivalence relation on the class of compact manifolds of the same dimension, set up using the concept of the boundary of a manifold. Two manifolds are cobordant if their disjoint… …   Wikipedia

  • Daniel Quillen — Born June 22, 1940(1940 06 22) Orange, New Jersey Died April 30, 2011(2011 04 30) (aged 7 …   Wikipedia

  • Adams spectral sequence — In mathematics, the Adams spectral sequence is a spectral sequence introduced by Adams (1958). Like all spectral sequences, it is a computational tool; it relates homology theory to what is now called stable homotopy theory. It is a… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”