Let be a multiplicative cohomology theory. We say that is complex-oriented if one is given the data of an element which restricts to the canonical generator of . It turns out that one has a bit more: a complex orientation gives on a functorial, multiplicative choice of Thom classes for complex vector bundles. In fact, this is a perhaps more natural definition of such a theory.
What does this mean? Given a vector bundle , one can form the Thom space : in other words, the quotient of the unit ball bundle in (with respect to a choice of metric) by the unit sphere bundle . When is compact, this is just the one-point compactification of .
Definition 1 The vector bundle is orientable for a multiplicative cohomology theory if there exists an element which restricts to a generator on each fiberwise , where . Such a is called a Thom class.
Observe that for each point , there is a restriction map if the dimension of is .
The existence of a Thom class implies a Thom isomorphism, as for ordinary homology.
Theorem 2 (Thom isomorphism) A Thom class induces an isomorphism
given by cup-product with .
In the case of ordinary homology, a Thom class is unique (up to sign) if it exists; in general, though, a Thom class is highly non-unique, and an orientation is additional data than simple orientability.
Here are a few basic cases:
- Any vector bundle is orientable for -cohomology.
- An oriented (in the usual sense: i.e., the top wedge power is trivial) vector bundle is one oriented for -cohomology.
- Complex vector bundles are oriented for -theory. We will see this below.
- Spin bundles are oriented for -theory. An explicit construction of Thom classes can be made, as virtual bundles arising from Clifford modules: this is in Atiyah-Bott-Shapiro’s paper.
- A trivial bundle is orientable for any cohomology theory (this is rather uninteresting: the Thom space is just a suspension).
Given a vector bundle and another vector bundle , a choice of Thom classes , we can take the product
In particular, given orientations for , we get an orientation for the direct sum . Also, observe that if is oriented and is any continuous map, then one gets an orientation for the pull-back .
Definition 3 A complex-oriented cohomology theory is a multiplicative cohomology theory together with a functorial, multiplicative choice of Thom classes for complex vector bundles.
In other words, a complex orientation for is the data of, for every complex vector bundle , an orientation . This is required to satisfy the conditions:
- If , then . That is, naturality.
- If , then . That is, multiplicativity.
Ordinary cohomology, for instance, is complex orientable: a complex structure on a real vector bundle determines a choice of orientation in the usual sense. Complex K-theory is also complex-orientable. Given a complex vector bundle , we define an element in the compactly supported -theory via the Koszul complex
where the map on a point , is given by wedging with the vector . It turns out (and this is one formulation of Bott periodicity) that what one has constructed is an actual orientation of complex -theory . The point is that this complex is exact away from the zero section, so it defines an element of the compactly supported -theory .
1. Chern classes
What does a complex orientation on a multiplicative cohomology theory buy us? For one thing, it lets us define Chern classes in -cohomology, using the techniques of Grothendieck. Let’s recall what the input to this machinery requires: we need a choice of first Chern class for complex line bundles, and we need that have the appropriate cohomology.
The first Chern class of a line bundle in ordinary cohomology is the same as the Euler class, and that’s what we’ll do here. Let be a line bundle on a space . Then we know that we have an element with the appropriate properties. We can use the zero section map
to define the first Chern class
This satisfies naturality.
The next claim is that the cohomology of projective spaces looks like what we are used to. Henceforth, we write (if we represent by a spectrum, this is reasonable).
Proposition 4 If is a complex-oriented cohomology theory, then for , where is the usual bundle on .
In fact, the strategy is to work inductively. The Thom space of the line bundle on is . So we find that there is an isomorphism
given by multiplication by . If we know (-free on ), then we get to be what was desired (i.e., free on ).
Taking the inverse limit, we find:
Corollary 5 for .
The reason we actually need the power series ring (as opposed to a simple polynomial ring) is that might be all over the place, including in negative dimensions.
OK, so with this in mind, we can imitate the whole Grothendieck theory. Let’s recall how this works. Let be a space, and be a -vector bundle of dimension . We want to define Chern classes , in satisfying the naturality and multiplicativity properties as in ordinary cohomology.
The strategy is to take the projectivization : this is a fiber bundle with fibers complex projective spaces. There is a line bundle bundle which restricts to the usual on each fiber. In particular, if we let , it follows that when restricted to any fiber is a basis for the cohomology. Using the Leray-Hirsch theorem, we find that there is an isomorphism of -modules
This is not necessarily an isomorphism of rings, though. Using the usual formulas, we can define the Chern classes. We have a relation
and we can define the Chern classes . By the same arguments, we find that these satisfy the usual properties: naturality and multiplicativity.
We have analogous formulas as in ordinary cohomology:
where each is the Chern class of the universal bundle on , and the map induces a map
which sends each to the th symmetric function of the . One way to see these formulas is to imitate the proofs in ordinary (co)homology via the Serre spectral sequence, but with the version of the Serre spectral sequence for generalized homology. Another is to use a different spectral sequence: that is, to argue that since the Atiyah-Hirzebruch spectral sequence for degenerates (by the equality ), it has to degenerate for a whole bunch of other spaces. In fact, these considerations are precisely how one proves that an orientation for the line bundle on (the first definition of a complex orientation suggested in this blog post) actually gives you the full strength of the second definition.
2. Formal group laws
Let be a complex-oriented cohomology theory. In ordinary cohomology, we have the identity
for line bundles on a space . This is false for a general complex-oriented cohomology theory and, in fact, the degree of its falseness is a highly interesting phenomenon.
Let be a complex-oriented cohomology theory. Then we have
where . Similarly, we have where are the pull-backs of under the two projections: alternatively, they are of the two line bundles . One can see this by arguing that since the Atiyah-Hirzebruch spectral sequence degenerates on , it has to degenerate on (because all the differentials are derivations in an appropriate sense).
Now we’d like to figure out what the formula that expresses the Chern class in -cohomology of the tensor product of line bundles in terms of the Chern classes of the individual ones. We just have to do this in the universal case. This is precisely what we’re set up for: we have the tensor product of line bundles on , and we have
So we get a formal power series in two variables, .
Proposition 6 is a (commutative) formal group law over .
To see this, we might note that is the classifying space for line bundles, and consequently there is a multiplication map
classifying the tensor product of line bundles (i.e., classifying ). We have then
The fact that is a homotopy commutative, associative map implies that is in fact a formal group law: in fact, the map defines on the structure of a one-dimensional formal group scheme over .
For example, the formal group law for ordinary cohomology is the additive formal group law , because the Chern classes in ordinary cohomology satisfy .
The formal group law in -theory is given by the multiplicative formal group law . In fact, the complex orientation of -theory is such that given a line bundle , the first Chern class (or Euler class) of is the class . That’s easy to see by pulling back the Thom class described earlier. Consequently, in -theory,