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.
Statement The coefficient ring of complex cobordism is M U ∗ ( ∗ ) = M U ∗ ≅ Z [ x 1 , x 2 , … ] {\displaystyle MU_{*}(*)=MU_{*}\cong \mathbb {Z} [x_{1},x_{2},\dots ]} , where the degree of x i {\displaystyle x_{i}} is 2 i {\displaystyle 2i} . This is isomorphic to the graded Lazard ring
L ∗ {\displaystyle {\mathcal {}}L_{*}} . This means that giving a formal group law F (of degree − 2 {\displaystyle -2} ) over a graded ring R ∗ {\displaystyle R_{*}} is equivalent to giving a graded ring morphism L ∗ → R ∗ {\displaystyle L_{*}\to R_{*}} . Multiplication by an integer n > 0 {\displaystyle n>0} is defined inductively as a power series, by
[ n + 1 ] F x = F ( x , [ n ] F x ) {\displaystyle [n+1]^{F}x=F(x,[n]^{F}x)} and [ 1 ] F x = x . {\displaystyle [1]^{F}x=x.}
Let now F be a formal group law over a ring
R ∗ {\displaystyle {\mathcal {}}R_{*}} . Define for a topological space X
E ∗ ( X ) = M U ∗ ( X ) ⊗ M U ∗ R ∗ {\displaystyle E_{*}(X)=MU_{*}(X)\otimes _{MU_{*}}R_{*}}
Here R ∗ {\displaystyle R_{*}} gets its M U ∗ {\displaystyle MU_{*}} -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 ∗ {\displaystyle R_{*}} be flat over M U ∗ {\displaystyle MU_{*}} , 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 ∗ {\displaystyle v_{1},v_{2},\dots \in MU_{*}} such that we have the following: Suppose that M ∗ {\displaystyle M_{*}} is a graded M U ∗ {\displaystyle MU_{*}} -module and the sequence ( p , v 1 , v 2 , … , v n ) {\displaystyle (p,v_{1},v_{2},\dots ,v_{n})} is regular for M {\displaystyle M} , for every p and n. Then
E ∗ ( X ) = M U ∗ ( X ) ⊗ M U ∗ M ∗ {\displaystyle E_{*}(X)=MU_{*}(X)\otimes _{MU_{*}}M_{*}}
is a homology theory on CW-complexes. In particular, every formal group law F over a ring R {\displaystyle R} yields a module over
… excerpt ends here. Continue reading the full article.
