Morava E-theory

☆ Save On Wikipedia ↗

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} {\displaystyle p} (obmitted in notation), these form a sequence E ( n ) {\displaystyle E(n)} {\displaystyle E(n)} of spectra, hence one for each natural number n ∈ N {\displaystyle n\in \mathbb {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)}} {\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} } {\displaystyle \mathbb {K} }, hence in which every irreducible polynomial is separable, of characteristic p {\displaystyle p} {\displaystyle p}, let W ( K ) {\displaystyle W(\mathbb {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}]} {\displaystyle R=W(\mathbb {K} )[v_{1},\ldots ,v_{n-1}]} be the polynomial ring in n − 1 {\displaystyle 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)} {\displaystyle E(n)}. It fulfills:

π 0 E ( n ) = R [ β ± 1 ] {\displaystyle \pi _{0}E(n)=R[\beta ^{\pm 1}]} {\displaystyle \pi _{0}E(n)=R[\beta ^{\pm 1}]}

for its ring of coefficients with β ∈ R {\displaystyle \beta \in R} {\displaystyle \beta \in R} in second degree.

Properties

  • The chromatic localization L E ( n ) {\displaystyle L_{E(n)}} {\displaystyle L_{E(n)}} preserves smash products.[2]
  • E ( n ) {\displaystyle E(n)} {\displaystyle E(n)} is Bousfield equivalent to E ( n − 1 ) × K ( n ) {\displaystyle E(n-1)\times K(n)} {\displaystyle E(n-1)\times K(n)}.[3] ( K ( n ) {\displaystyle 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} {\displaystyle X}, one has E ( n ) ∗ ( X ) = 0 {\displaystyle E(n)_{*}(X)=0} {\displaystyle E(n)_{*}(X)=0} if and only if E ( n − 1 ) ∗ ( X ) = 0 {\displaystyle E(n-1)_{*}(X)=0} {\displaystyle E(n-1)_{*}(X)=0} and K ( n ) ∗ ( X ) = 0 {\displaystyle K(n)_{*}(X)=0} {\displaystyle K(n)_{*}(X)=0}.)
  • E ( n ) {\displaystyle E(n)} {\displaystyle E(n)} is K ( n ) {\displaystyle K(n)} {\displaystyle K(n)}-local.[4] ( K ( n ) {\displaystyle K(n)} {\displaystyle K(n)} is Morava K-theory. K ( n ) {\displaystyle K(n)} {\displaystyle K(n)}-local means that every spectrum morphism X → E ( n ) {\displaystyle X\rightarrow E(n)} {\displaystyle X\rightarrow E(n)} from a K ( n ) {\displaystyle K(n)} {\displaystyle K(n)}-acyclic spectrum X {\displaystyle X} {\displaystyle X} is nullhomotopic. K ( n ) {\displaystyle K(n)} {\displaystyle K(n)}-acyclic means that K ( n ) ∧ X ≃ 0 {\displaystyle K(n)\wedge X\simeq 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)} {\displaystyle E(2)} (for p = 2 {\displaystyle p=2} {\displaystyle p=2}) if and only if its seventh integral Stiefel–Whitney class W 7 {\displaystyle W_{7}} {\displaystyle W_{7}} vanishes.

E(n)-local spheres

For the sphere spectrum S {\displaystyle \mathbb {S} } {\displaystyle \mathbb {S} } (with S n = S n {\displaystyle \mathbb {S} _{n}=S^{n}} {\displaystyle \mathbb {S} _{n}=S^{n}}), its chromatic localizations L E ( n ) S {\displaystyle L_{E(n)}\mathbb {S} } {\displaystyle L_{E(n)}\mathbb {S} } are also called E ( n ) {\displaystyle E(n)} {\displaystyle E(n)}-local spheres.

See also

Literature

References

  1. Hopkins 1999, Definition 16.4
  2. Lurie 2010, Lecture 22
  3. Lurie 2010, Lecture 23
  4. Lurie 2010, Lecture 35