cohomology

# Contents

## Definition

A multiplicative cohomology theory $A$ is weakly periodic if the natural map

${A}^{2}\left(*\right){\otimes }_{{A}^{0}\left(*\right)}{A}^{n}\left(*\right)\stackrel{\simeq }{\to }{A}^{n+2}\left(*\right)$A^2({*}) \otimes_{A^0({*})} A^n({*}) \stackrel{\simeq}{\to} A^{n+2}({*})

is an isomorphism for all $n\in ℤ$.

Compare with the notion of a periodic cohomology theory.

## Properties

### Relation to formal groups

One reason why weakly periodic cohomology theories are of interest is that their cohomology ring over the space $ℂ{P}^{\infty }$ defines a formal group.

To get a formal group from a weakly periodic, even multiplicative cohomology theory ${A}^{•}$, we look at the induced map on ${A}^{•}$ from a morphism

${i}_{0}:*\to ℂ{P}^{\infty }$i_0 : {*} \to \mathbb{C}P^\infty

and take the kernel

$J:=\mathrm{ker}\left({i}_{0}^{*}:{A}^{0}\left(ℂ{P}^{\infty }\right)\to {A}^{0}\left(*\right)\right)$J := ker(i_0^* : A^0(\mathbb{C}P^\infty) \to A^0({*}))

to be the ideal that we complete along to define the formal scheme $\mathrm{Spf}{A}^{0}\left(ℂ{P}^{\infty }\right)$ (see there for details).

Notice that the map from the point is unique only up to homotopy, so accordingly there are lots of chocies here, which however all lead to the same result.

The fact that $A$ is weakly periodic allows to reconstruct the cohomology theory essentially from this formal scheme.

To get a formal group law from this we proceed as follows: if the Lie algebra $\mathrm{Lie}\left(\mathrm{Spf}{A}^{0}\left(ℂ{P}^{\infty }\right)\right)$ of the formal group

$\mathrm{Lie}\left(\mathrm{Spf}{A}^{0}\left(ℂ{P}^{\infty }\right)\right)\simeq \mathrm{ker}\left({i}_{0}^{*}\right)/\mathrm{ker}\left({i}_{0}^{*}{\right)}^{2}$Lie(Spf A^0(\mathbb{C}P^\infty)) \simeq ker(i_0^*)/ker(i_0^*)^2

is a free ${A}^{0}\left(*\right)$-module, we can pick a generator $t$ and this gives an isomorphism

$\mathrm{Spf}\left({A}^{0}\left(ℂ{P}^{\infty }\right)\right)\simeq \mathrm{Spf}\left({A}^{0}\left(*\right)\left[\left[t\right]\right]\right)$Spf(A^0(\mathbb{C}P^\infty)) \simeq Spf(A^0({*})[[t]])

if ${A}^{0}\left(ℂ{P}^{\infty }\right){A}^{0}\left(*\right)\left[\left[t\right]\right]$ then ${i}_{0}^{*}$ “forgets the $t$-coordinate”.

Revised on June 19, 2013 23:38:03 by Urs Schreiber (82.169.65.155)