Surgery and the Browder-Novikov theorem

Let be a simply connected space of dimension for which the Poincaré duality theorem holds. In the previous post, I stated a theorem of Browder and Novikov which provides necessary and sufficient conditions for to be homotopy equivalent to a smooth manifold.

• must admit a candidate for a stable normal bundle (a lift of the Spivak normal fibration).
• Hirzebruch’s signature theorem, with this proto-normal bundle fed in, should accurately compute the signature of .

The goal of this post is to sketch a proof of this theorem. The proof proceeds in two steps. The first step is to produce a degree one normal map  from a smooth manifold, i.e. a map which pulls back to the stable normal bundle of and which preserves the fundamental class. The second (and harder) step is to do surgery on , to make it a homotopy equivalence. This surgery can be done “formally” before the middle dimension, but at the middle dimension a more careful bookkeeping process is required. It is here that the signature theorem, together with facts about quadratic forms over the integer, become necessary.

These are essentially the second half of the notes I prepared for the Kan seminar, for my second talk. My second talk was officially on Browder’s paper “Homotopy type of differentiable manifolds,” which announces (without proof) this result. In practice, I found the Kervaire-Milnor paper “Groups of homotopy spheres I” and the Milnor paper “A procedure for killing the homotopy groups of differentiable manifolds” very helpful in learning about this material.

 

Poincaré duality spaces and the signature formula

The goal of this post is to describe a small portion of the answer to the following question:

Question 1: When is a simply connected space homotopy equivalent to a (compact) -dimensional smooth manifold?

A compact manifold is homotopy equivalent to a finite CW complex, so must be one itself. Equivalently (since is simply connected), the homology must be finitely generated.

More interestingly, we know that a hypothetical compact -manifold homotopy equivalent to (which is necessarily orientable) satisfies Poincaré duality. That is, we have a fundamental class  with the property that cap product induces an isomorphism

for all groups and for all . It follows that, if the answer to the above question is positive, an analogous condition must hold for . This motivates the following definition:

Definition 1 A simply connected space is a Poincaré duality space (or Poincaré complex) of dimension  if there is a class such that for every group , cap product induces an isomorphism

A consequence is that the cohomology (and homology) groups of vanish above dimension , and is generated by . In other words, behaves like the fundamental class of an -dimensional manifold.

We can thus pose a refined version of the above question.

Question 2: Given a simply connected Poincaré duality space of dimension , is there a homotopy equivalence for a compact (necessarily -dimensional) manifold?

The answer to Question 2 is not always positive.

Example 1 The Kervaire manifold is a topological 4-connected 10-manifold of (suitably defined) Kervaire invariant one. Since, as Kervaire showed, all smooth framed 10-manfolds have Kervaire invariant zero, he concluded that there was no smooth manifold in its homotopy type.

Example 2 It is known that there exists a simply connected compact topological 4-manifold whose intersection form is even and has signature eight (the “ manifold”). Such a manifold cannot be homotopy equivalent to any smooth manifold. In fact, if it were homotopy equivalent to a smooth 4-manifold , then the evenness of the intersection form on shows that (and in fact all ) act trivially on . The Wu formulas imply that the Stiefel-Whitney classes of vanish. In particular, admits a spin structure, and a theorem of Rohlin asserts that the signature of a spin 4-manifold is divisible by .

 

Genera and formal power series

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:

1. .
2. .
3. 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.)

 

On manifolds homeomorphic to the 7-sphere

It has been known since Milnor’s famous paper that two smooth manifolds can be homeomorphic without being diffeomorphic. Milnor showed that certain sphere bundles over were homeomorphic but not diffeomorphic to the 7-sphere . In later papers, Milnor constructed a number of additional examples of exotic spheres.

In this post, I’d like to give a detailed presentation of the argument in Milnor’s first paper.

1. Distinguishing homeomorphic manifolds

Suppose you have a -dimensional manifold which is known to be homeomorphic to the sphere . There are a number of criteria for this: for instance, could admit a cover by two charts, or could admit a function with only two critical points. The goal is to prove then that is not diffeomorphic to . Obviously the standard invariants in topology see only homotopy type and are useless at telling apart and . One needs to define an invariant that relies on the smooth structure of in some way.

It can be shown that any such is an oriented boundary, , for a -manifold . This is a deep fact, but in practice, the manifolds come with explicit ‘s already, and one might as well define the invariant below on boundaries. Milnor’s strategy is to define an invariant in terms of (which will depend very much on the smooth structure on ), in such a way that it will turn out to not depend on the choice of .

 

Rohlin’s theorem on the signature of four-manifolds

The signature of a -dimensional compact, oriented manifold is a classical cobordism invariant of ; the so-called Hirzebruch signature formula states that can be computed as a complicated polynomial in the Pontryagin classes of the tangent bundle (evaluated on the fundamental class of ). When is four-dimensional, for instance, we have

This implies that the Pontryagin number must be divisible by three.

There are various further divisibility conditions that hold in special cases. Here is an important early example:

Theorem 1 (Rohlin) If is a four-dimensional spin-manifold, then is divisible by (and so by ).

I’d like to describe the original proof of Rohlin’s theorem, which relies on a number of tools from the 1950s era of topology. At least, I have not gotten a copy of Rohlin’s paper; the proof is sketched, though, in Kervaire-Milnor’s ICM address, which I’ll follow.