Chromatic Homotopy Theory
   HOME

TheInfoList



OR:

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 group In mathematics, a formal group law is (roughly speaking) a formal power series behaving as if it were the product of a Lie group. They were introduced by . The term formal group sometimes means the same as formal group law, and sometimes means one o ...
s that define the theories via the
Landweber exact functor theorem In mathematics, the Landweber exact functor theorem, named after Peter Landweber, is a theorem in algebraic topology. It is known that a complex orientation of a homology theory leads to a formal group law. The Landweber exact functor theorem (o ...
. 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 early w ...
,
elliptic cohomology In mathematics, elliptic cohomology is a cohomology theory in the sense of algebraic topology. It is related to elliptic curves and modular forms. History and motivation Historically, elliptic cohomology arose from the study of elliptic genera. I ...
,
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 s ...
and tmf.


Chromatic convergence theorem

In algebraic topology, the chromatic convergence theorem states the
homotopy limit In mathematics, especially in algebraic topology, the homotopy limit and colimitpg 52 are variants of the notions of limit and colimit extended to the homotopy category \text(\textbf). The main idea is this: if we have a diagramF: I \to \textbfc ...
of the chromatic tower (defined below) of a finite ''p''-local spectrum X is X itself. The theorem was proved by Hopkins and Ravenel.


Statement

Let L_ 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 a ...
with respect to the
Morava E-theory Morava may refer to: Rivers * Great Morava (''Velika Morava''; or simply Morava), a river in central Serbia, and its tributaries: ** South Morava (''Južna Morava'') *** Binač Morava (''Binačka Morava'') ** West Morava (''Zapadna Morava'') * Mo ...
and let X be a finite, p-local spectrum. Then there is a tower associated to the localizations :\cdots \rightarrow L_ X \rightarrow L_ X \rightarrow L_ X called the chromatic tower, such that its homotopy limit is homotopic to the original spectrum X. The stages in the tower above are often simplifications of the original spectrum. For example, L_ X is the rational localization and L_ X is the localization with respect to ''p''-local ''K''-theory.


Stable homotopy groups

In particular, if the p-local spectrum X is the stable p-local
sphere spectrum In stable homotopy theory, a branch of mathematics, the sphere spectrum ''S'' is the monoidal unit in the category of spectra. It is the suspension spectrum of ''S''0, i.e., a set of two points. Explicitly, the ''n''th space in the sphere spectru ...
\mathbb_, then the homotopy limit of this sequence is the original p-local sphere spectrum. This is a key observation for studying stable homotopy groups of spheres using chromatic homotopy theory.


See also

*
Elliptic cohomology In mathematics, elliptic cohomology is a cohomology theory in the sense of algebraic topology. It is related to elliptic curves and modular forms. History and motivation Historically, elliptic cohomology arose from the study of elliptic genera. I ...
*
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 Rogne ...
*
Ravenel conjectures In mathematics, the Ravenel conjectures are a set of mathematical conjectures in the field of stable homotopy theory posed by Douglas Ravenel at the end of a paper published in 1984. It was earlier circulated in preprint. The problems involved hav ...
*
Moduli stack of formal group laws Modulus is the diminutive from the Latin word ''modus'' meaning measure or manner. It, or its plural moduli, may refer to the following: Physics, engineering and computing * Moduli (physics), scalar fields for which the potential energy function ...
*
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 In mathematics, the Adams spectral sequence is a spectral sequence introduced by which computes the stable homotopy groups of topological spaces. Like all spectral sequences, it is a computational tool; it relates homology theory to what is now c ...


References

* *


External links

*http://ncatlab.org/nlab/show/chromatic+homotopy+theory * * {{topology-stub Homotopy theory Cohomology theories