Let be a -algebra. A **genus** is a homomorphism

where is the oriented cobordism ring. In other words, a genus assigns to every compact, oriented manifold an element . This satisfies the conditions:

- .
- .
- for any manifold-with-boundary .

A fundamental example of a genus is the **signature** , which assigns to every manifold of dimension the signature of the quadratic form on . (Also, is zero on manifolds whose dimension is not divisible by four.)

**1. Genera and power series**

I’d like next to describe the connection between genera and power series. This is very classical, but it’s going to be illuminated by some of the material on formal group laws discussed in the past.

A -valued genus factors through the rationalization . There is an isomorphism

where we can take the even-dimensional complex projective spaces as polynomial generators. In particular, a genus is uniquely determined by specifying . It follows that we can extract a power series

Moreover, this power series determines the genus.

Definition 1The series is called thelogarithmof the genus .

The word “logarithm” is adequately explained thanks to the discussion of formal groups earlier. Recall that there is a map

from the complex cobordism ring to the oriented one. After tensoring with , we have a *surjection*

because the former is generated by the complex projective spaces and the latter by the even-dimensional complex projective spaces.

In any event, a genus gives by composition a map

and since is the Lazard ring, this classifies a *formal group law* over the -algebra . However, since is a -algebra, we know that the formal group law classified has a logarithm. By naturality, the logarithm is just the push-forward of the logarithm in ; we’ve seen that said logarithm is

The push-forward of this to is precisely what we called the logarithm above, since the odd-dimensional projective spaces are zero in (in fact, even in ).

The formal group law on that the genus determines is given by

**2. Power series again**

Nonetheless, this is not the usual way in which one associates a genus to a power series. Given an *even* power series , one can construct a genus in the following manner.

Given , one can define a stable characteristic class of real vector bundles. Let be a real vector bundle, and write formally

where the are the “Chern roots” of . Then, one defines

This is symmetric in the and invariant under the transformation , so it defines an honest stable, multiplicative characteristic class of real vector bundles.

Definition 2Given the stable characteristic class as before, define a genus on manifolds by sending

In other words, one applies the stable characteristic class to the tangent bundle , and “integrates” over (i.e., pairs with the fundamental class). One has to check that this is an honest genus; the key observation is that vanishes for a boundary as . Thus,

by Stokes’s theorem.

Proposition 3Every genus arises from a unique even power series in this way.

In fact, given a genus , we can explicitly compute the associated even power series (and in fact, express it in terms of the earlier). We want to find an power series such that the associated genus, which I’ll write , is equal to : that is, we want

for each . Now, the tangent bundle of satisfies

where for the hyperplane class. It follows that we can compute the stable characteristic class:

In particular, we find that is the coefficient of in : that is, for *any* even power series , we have

So, if we want , we need to find a power series such that

But this is just Lagrange inversion again: it tells us that we should have

since . This is the basic relation between the two power series and , and it shows that any genus comes from an even power series in this way.

**Example:** The signature is a -valued genus, which assigns to every the number one. What is the corresponding power series ? First, the logarithm is given by the series

Consequently, we get

In particular, we find that the signature of a manifold is computed by the genus associated to the power series ; this is the **Hirzebruch signature theorem.**

## Leave a Reply