In mathematics, chromatic homotopy theory is a subfield of
stable homotopy theory
In mathematics, stable homotopy theory is the part of homotopy theory (and thus algebraic topology) concerned with all structure and phenomena that remain after sufficiently many applications of the suspension functor. A founding result was the ...
that studies
complex-oriented cohomology theories from the "chromatic" point of view, which is based on
Quillen's work relating cohomology theories to formal groups. In this picture, theories are classified in terms of their "chromatic levels"; i.e., the heights of the
formal groups that define the theories via the
Landweber exact functor theorem. Typical theories it studies include:
complex K-theory
In mathematics, topological -theory is a branch of algebraic topology. It was founded to study vector bundles on topological spaces, by means of ideas now recognised as (general) K-theory that were introduced by Alexander Grothendieck. The ea ...
,
elliptic cohomology,
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 su ...
and
tmf.
Chromatic convergence theorem
In algebraic topology, the chromatic convergence theorem states the
homotopy limit of the
chromatic tower In mathematics, chromatic homotopy theory is a subfield of stable homotopy theory that studies complex-oriented cohomology theories from the "chromatic" point of view, which is based on Quillen's work relating cohomology theories to formal groups. ...
(defined below) of a finite
''p''-local spectrum is
itself. The theorem was proved by Hopkins and Ravenel.
Statement
Let
denotes the
Bousfield localization In category theory, a branch of mathematics, a (left) Bousfield localization of a model category replaces the model structure with another model structure with the same cofibrations but with more weak equivalences.
Bousfield localization is named ...
with respect to the
Morava E-theory and let
be a finite,
-local spectrum. Then there is a tower associated to the localizations
:
called the chromatic tower, such that its homotopy limit is homotopic to the original spectrum
.
The stages in the tower above are often simplifications of the original spectrum. For example,
is the rational localization and
is the localization with respect to
''p''-local ''K''-theory.
Stable homotopy groups
In particular, if the
-local spectrum
is the stable
-local
sphere spectrum , then the homotopy limit of this sequence is the original
-local sphere spectrum. This is a key observation for studying stable homotopy groups of spheres using chromatic homotopy theory.
See also
*
Elliptic cohomology
*
Redshift conjecture In mathematics, more specifically in chromatic homotopy theory, the redshift conjecture states, roughly, that algebraic K-theory K(R) has chromatic level one higher than that of a complex-oriented ring spectrum ''R''.
It was formulated by John Ro ...
*
Ravenel conjectures
In mathematics, the Ravenel conjectures are a set of mathematical conjectures in the field of stable homotopy theory posed by Douglas Ravenel
Douglas Conner Ravenel (born 1947) is an American mathematician known for work in algebraic topology.
...
*
Moduli stack of formal group laws In algebraic geometry, the moduli stack of formal group laws is a stack classifying formal group laws and isomorphisms between them. It is denoted by \mathcal_. It is a "geometric “object" that underlies the chromatic approach to the stable homot ...
*
Chromatic spectral sequence In mathematics, the chromatic spectral sequence is a spectral sequence, introduced by , used for calculating the initial term of the Adams spectral sequence for Brown–Peterson cohomology, which is in turn used for calculating the stable homotopy ...
*
Adams-Novikov spectral sequence
References
*
*
External links
*http://ncatlab.org/nlab/show/chromatic+homotopy+theory
*
*
{{topology-stub
Homotopy theory
Cohomology theories