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 (or LEFT for short) can be seen as a method to reverse this process: it constructs a homology theory out of a formal group law.
The coefficient ring of complex cobordism is
M
U
∗
(
∗
)
=
M
U
∗
≅
Z
[
x
1
,
x
2
,
…
]
, where the degree of
x
i
is 2i. This is isomorphic to the graded Lazard ring
L
∗
. This means that giving a formal group law F (of degree −2) over a graded ring
R
∗
is equivalent to giving a graded ring morphism
L
∗
→
R
∗
. Multiplication by an integer n >0 is defined inductively as a power series, by
[
n
+
1
]
F
x
=
F
(
x
,
[
n
]
F
x
)
and
[
1
]
F
x
=
x
.
Let now F be a formal group law over a ring
R
∗
. Define for a topological space X
E
∗
(
X
)
=
M
U
∗
(
X
)
⊗
M
U
∗
R
∗
Here
R
∗
gets its
M
U
∗
-algebra structure via F. The question is: is E a homology theory? It is obviously a homotopy invariant functor, which fulfills excision. The problem is that tensoring in general does not preserve exact sequences. One could demand that
R
∗
is flat over
M
U
∗
, but that would be too strong in practice. Peter Landweber found another criterion:
Theorem (Landweber exact functor theorem)
For every prime p, there are elements
v
1
,
v
2
,
⋯
∈
M
U
∗
such that we have the following: Suppose that
M
∗
is a graded
M
U
∗
-module and the sequence
(
p
,
v
1
,
v
2
,
…
,
v
n
)
is regular for
M, for every
p and
n. Then
E
∗
(
X
)
=
M
U
∗
(
X
)
⊗
M
U
∗
M
∗
is a homology theory on CW-complexes.
In particular, every formal group law F over a ring R yields a module over
M
U
∗
since we get via F a ring morphism
M
U
∗
→
R
.
There is also a version for Brown–Peterson cohomology BP. The spectrum BP is a direct summand of
M
U
(
p
)
with coefficients
Z
(
p
)
[
v
1
,
v
2
,
…
]
. The statement of the LEFT stays true if one fixes a prime p and substitutes BP for MU.
The classical proof of the LEFT uses the Landweber–Morava invariant ideal theorem: the only prime ideals of
B
P
∗
which are invariant under coaction of
B
P
∗
B
P
are the
I
n
=
(
p
,
v
1
,
…
,
v
n
)
. This allows to check flatness only against the
B
P
∗
/
I
n
(see Landweber, 1976).
The LEFT can be strengthened as follows: let
E
∗
be the (homotopy) category of Landweber exact
M
U
∗
-modules and
E
the category of MU-module spectra M such that
π
∗
M
is Landweber exact. Then the functor
π
∗
:
E
→
E
∗
is an equivalence of categories. The inverse functor (given by the LEFT) takes
M
U
∗
-algebras to (homotopy) MU-algebra spectra (see Hovey, Strickland, 1999, Thm 2.7).
The archetypical and first known (non-trivial) example is complex K-theory K. Complex K-theory is complex oriented and has as formal group law
x
+
y
+
x
y
. The corresponding morphism
M
U
∗
→
K
∗
is also known as the Todd genus. We have then an isomorphism
K
∗
(
X
)
=
M
U
∗
(
X
)
⊗
M
U
∗
K
∗
,
called the Conner–Floyd isomorphism.
While complex K-theory was constructed before by geometric means, many homology theories were first constructed via the Landweber exact functor theorem. This includes elliptic homology, the Johnson–Wilson theories
E
(
n
)
and the Lubin–Tate spectra
E
n
.
While homology with rational coefficients
H
Q
is Landweber exact, homology with integer coefficients
H
Z
is not Landweber exact. Furthermore, Morava K-theory K(n) is not Landweber exact.
A module M over
M
U
∗
is the same as a quasi-coherent sheaf
F
over
Spec
L
, where L is the Lazard ring. If
M
=
M
U
∗
(
X
)
, then M has the extra datum of a
M
U
∗
M
U
coaction. A coaction on the ring level corresponds to that
F
is an equivariant sheaf with respect to an action of an affine group scheme G. It is a theorem of Quillen that
G
≅
Z
[
b
1
,
b
2
,
…
]
and assigns to every ring R the group of power series
g
(
t
)
=
t
+
b
1
t
2
+
b
2
t
3
+
⋯
∈
R
[
[
t
]
]
.
It acts on the set of formal group laws
Spec
L
(
R
)
via
F
(
x
,
y
)
↦
g
F
(
g
−
1
x
,
g
−
1
y
)
.
These are just the coordinate changes of formal group laws. Therefore, one can identify the stack quotient
Spec
L
/
/
G
with the stack of (1-dimensional) formal groups
M
f
g
and
M
=
M
U
∗
(
X
)
defines a quasi-coherent sheaf over this stack. Now it is quite easy to see that it suffices that M defines a quasi-coherent sheaf
F
which is flat over
M
f
g
in order that
M
U
∗
(
X
)
⊗
M
U
∗
M
is a homology theory. The Landweber exactness theorem can then be interpreted as a flatness criterion for
M
f
g
(see Lurie 2010).
While the LEFT is known to produce (homotopy) ring spectra out of
M
U
∗
, it is a much more delicate question to understand when these spectra are actually
E
∞
-ring spectra. As of 2010, the best progress was made by Jacob Lurie. If X is an algebraic stack and
X
→
M
f
g
a flat map of stacks, the discussion above shows that we get a presheaf of (homotopy) ring spectra on X. If this map factors over
M
p
(
n
)
(the stack of 1-dimensional p-divisible groups of height n) and the map
X
→
M
p
(
n
)
is etale, then this presheaf can be refined to a sheaf of
E
∞
-ring spectra (see Goerss). This theorem is important for the construction of topological modular forms.