Chromatic homotopy theory

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. 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, elliptic cohomology, Morava K-theory and tmf.

Chromatic convergence theorem

In algebraic topology, the chromatic convergence theorem states the homotopy limit 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_{E(n)}$ denotes the Bousfield localization with respect to the Morava E-theory and let $X$ be an $E(n)$ -local spectrum[1]. For example, $L_{E(0)}X$ is the rational localization and $L_{E(1)}X$ is the localization with respect to p-local K-theory. Then, there is a tower associated to the localizations

\cdots \rightarrow L_{E(2)}X\rightarrow L_{E(1)}X\rightarrow L_{E(0)}X

called the chromatic tower, such that its homotopy limit it homotopic to the original spectrum $X$ .

Stable homotopy groups

In particular, if the $p$ -local spectrum $X$ is the spectrum of the stable $p$ -local sphere spectrum $\mathbb {S} _{(p)}$ , then the homotopy limit of this sequence is the original $p$ -local sphere spectrum.

References

Meaning given a map of spectra $Y\to X$ such that $Y$ is $E$ -acyclic ( $E^{*}(Y)=0$ ), then the map is necessarily nullhomotopic.

J. Lurie, Chromatic Homotopy Theory (252x)
J. Lurie, Unstable Chomatic Homotopy Theory

External links

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Meaning given a map of spectra $Y\to X$ such that $Y$ is $E$ -acyclic ( $E^{*}(Y)=0$ ), then the map is necessarily nullhomotopic.