group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
algebraic theory / 2-algebraic theory / (?,1)-algebraic theory?
∞-algebra over an (?,1)-monad?
algebra over an algebraic theory
∞-algebra over an (?,1)-algebraic theory?
∞-algebra over an (?,1)-operad?
monoidal (?,1)-category?
symmetric monoidal (?,1)-category of spectra
A-? algebra?
C-? algebra?
L-? algebra?
The Landweber exactness criterion determines whether a given formal group law arises as the formal group law defined by a weakly periodic cohomology theory.
Notice that since every formal group law over a ring $R$ is classified by a ring homomorphism $f : MP({\ast}) \to R$ where by Quillen's theorem $MP({\ast})$ is the Lazard ring. So for every formal group one obtains a contravariant functor on topological spaces given by the extension of scalars-assignment
where $MP^\bullet$ denotes the complex cobordism cohomology theory and where the tensor product is taken using the $R$-module structure on $MP({*})$ induced by $f$.
The point of Landweber-exactness is that if $f$ is Landweber exact (i.e. if the corresponding formal group law is) then this construction defines a cohomology theory $A^\bullet(-)$.
Landweber criterion Let $f(x,y)$ be a formal group law and $p$ a prime, $v_i$ the coefficient of $x^{p^i}$ in
If $v_0,\ldots,v_i$ form a regular sequence for all $p$ and $i$ then $f(x,y)$ is Landweber exact and hence gives a cohomology theory via the the formula above.
See at Landweber exact functor theorem
Let $g_a(x,y)=x+y$ be the formal additive group. Then $[p]_a(x)= p x$ and so $v_0=p$, $v_i=0$ for all $i\ge1$. The regularity condtions imply that the zero map $R/(p)\to R/(p)$ must be injective. This implies that $R$ contains the rational numbers as a subring.
Note that the ordinary cohomology $HP^*(X,R)=\prod_k H^{n+2k}(X,R)$ is a cohomology theory over any ring $R$.
$g_m(x,y)=xy$, $[p]_m(x)=(x+1)^p-1$, $v_0=p$, $v_1=1$, $v_i=0$ for all $i \gt 1$. The regularity conditions are trivial. Hence we know that $K^*(X)=MP^*(X)\otimes_{MP(\bullet)} \mathbb{Z}$ is a cohomology theory.