In the theory of spectra in mathematics, a Morava E-theory (also called Lubin–Tate theory or Johnson–Wilson theory) is a particular spectrum or equivalently generalized (co)homology theory. For a prime number
p
{\displaystyle p}
(obmitted in notation), these form a sequence
E
(
n
)
{\displaystyle E(n)}
of spectra, hence one for each natural number
n
∈
N
{\displaystyle n\in \mathbb {N} }
. Morava E-theories form the foundation of chromatic homotopy theory, in which a spectrum is separated into so-called (mono)chromatic layers by using its various Bousfield localizations with respect to the different Morava E-theories, so-called chromatic localizations
L
E
(
n
)
{\displaystyle L_{E(n)}}
. Morava E-theory is named after Jack Morava, who introduced it in unpublished preprints in the 1970s.
Definition
For a perfect field
K
{\displaystyle \mathbb {K} }
, hence in which every irreducible polynomial is separable, of characteristic
p
{\displaystyle p}
, let
W
(
K
)
{\displaystyle W(\mathbb {K} )}
be its ring of Witt vectors.[1] Let
R
=
W
(
K
)
[
v
1
,
…
,
v
n
−
1
]
{\displaystyle R=W(\mathbb {K} )[v_{1},\ldots ,v_{n-1}]}
be the polynomial ring in
n
−
1
{\displaystyle n-1}
variables, called Lubin–Tate ring. According to Landweber's exact functor theorem, a formal group law over the Lubin–Tate ring defines a generalized cohomology theory, which according to Brown's representability theorem is represented by a spectrum, which is Morava E-theory
E
(
n
)
{\displaystyle E(n)}
. It fulfills:
-
π
0
E
(
n
)
=
R
[
β
±
1
]
{\displaystyle \pi _{0}E(n)=R[\beta ^{\pm 1}]}
for its ring of coefficients with
β
∈
R
{\displaystyle \beta \in R}
in second degree.
Properties
- The chromatic localization
L
E
(
n
)
{\displaystyle L_{E(n)}}
preserves smash products.[2]
-
E
(
n
)
{\displaystyle E(n)}
is Bousfield equivalent to E ( n − 1 ) × K ( n ) {\displaystyle E(n-1)\times K(n)}
.[3] ( K ( n ) {\displaystyle K(n)}
is Morava K-theory. Two spectra are Bousfield equivalent, when their generalized homology theories vanish on the exact same topological spaces. Hence for every topological space X {\displaystyle X}
, one has E ( n ) ∗ ( X ) = 0 {\displaystyle E(n)_{*}(X)=0}
if and only if E ( n − 1 ) ∗ ( X ) = 0 {\displaystyle E(n-1)_{*}(X)=0}
and K ( n ) ∗ ( X ) = 0 {\displaystyle K(n)_{*}(X)=0}
.)
-
E
(
n
)
{\displaystyle E(n)}
is K ( n ) {\displaystyle K(n)}
-local.[4] ( K ( n ) {\displaystyle K(n)}
is Morava K-theory. K ( n ) {\displaystyle K(n)}
-local means that every spectrum morphism X → E ( n ) {\displaystyle X\rightarrow E(n)}
from a K ( n ) {\displaystyle K(n)}
-acyclic spectrum X {\displaystyle X}
is nullhomotopic. K ( n ) {\displaystyle K(n)}
-acyclic means that K ( n ) ∧ X ≃ 0 {\displaystyle K(n)\wedge X\simeq 0}
.)
- A connected closed spin 10-manifold is generalized oriented in second Morava E-theory
E
(
2
)
{\displaystyle E(2)}
(for p = 2 {\displaystyle p=2}
) if and only if its seventh integral Stiefel–Whitney class W 7 {\displaystyle W_{7}}
vanishes.
E(n)-local spheres
For the sphere spectrum
S
{\displaystyle \mathbb {S} }
(with
S
n
=
S
n
{\displaystyle \mathbb {S} _{n}=S^{n}}
), its chromatic localizations
L
E
(
n
)
S
{\displaystyle L_{E(n)}\mathbb {S} }
are also called
E
(
n
)
{\displaystyle E(n)}
-local spheres.
See also
Literature
- Morava, Jack (1973). "Boarding School Lecture Notes" (PDF). math.mit.edu. Princeton University. Retrieved 2026-08-21.
- Hopkins, Mike (1999). "Complex oriented cohomology theories and the language of stacks" (PDF). ncatlab.org. MIT. Retrieved 2026-08-21.
- Lurie, Jacob (2010-04-27). "Morava E-Theory and Morava K-Theory (Lecture 22)" (PDF). people.math.harvard.edu. Harvard University. Retrieved 2026-08-21.
- Lurie, Jacob (2010-04-27). "The Bousfield Classes of E(n) and K(n) (Lecture 23)" (PDF). people.math.harvard.edu. Harvard University. Retrieved 2026-08-21.
- Lurie, Jacob (2010-04-27). "The Image of J (Lecture 35)" (PDF). people.math.harvard.edu. Harvard University. Retrieved 2026-08-21.
References
- Hopkins 1999, Definition 16.4
- Lurie 2010, Lecture 22
- Lurie 2010, Lecture 23
- Lurie 2010, Lecture 35
External links
- Morava E-theory on the nLab