Let X be a simply connected space of dimension 4k, k \geq 2 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 X to be homotopy equivalent to a smooth manifold.

  • X must admit a candidate \xi 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 X.

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 f: M \to X from a smooth manifold, i.e. a map which pulls \xi back to the stable normal bundle of M and which preserves the fundamental class. The second (and harder) step is to do surgery on f, 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.

(more…)

Advertisements

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 {X} homotopy equivalent to a (compact) {n}-dimensional smooth manifold?

A compact manifold is homotopy equivalent to a finite CW complex, so {X} must be one itself. Equivalently (since {X} is simply connected), the homology {H_*(X; \mathbb{Z})} must be finitely generated.

More interestingly, we know that a hypothetical compact {n}-manifold {M} homotopy equivalent to {X} (which is necessarily orientable) satisfies Poincaré duality. That is, we have a fundamental class {[M] \in H_n(M; \mathbb{Z})} with the property that cap product induces an isomorphism

\displaystyle H^r(M; G) \stackrel{\cap [M]}{\simeq} H_{n-r}(M; G),

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

Definition 1 A simply connected space {X} is a Poincaré duality space (or Poincaré complex) of dimension {n} if there is a class {[X] \in H_n(X; \mathbb{Z})} such that for every group {G}, cap product induces an isomorphism

\displaystyle H^r(X; G) \stackrel{\cap [M]}{\simeq} H_{n-r}(X; G).

A consequence is that the cohomology (and homology) groups of {X} vanish above dimension {n}, and {H_n(X; \mathbb{Z})} is generated by {[X]}. In other words, {[X]} behaves like the fundamental class of an {n}-dimensional manifold.

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

Question 2: Given a simply connected Poincaré duality space {X} of dimension {n}, is there a homotopy equivalence {f: M \rightarrow X} for {M} a compact (necessarily {n}-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 “{E_8} manifold”). Such a manifold cannot be homotopy equivalent to any smooth manifold. In fact, if it were homotopy equivalent to a smooth 4-manifold {M}, then the evenness of the intersection form on {H^2(M; \mathbb{Z})} shows that {\mathrm{Sq}^2} (and in fact all {\mathrm{Sq}^i, i \neq 0}) act trivially on {M}. The Wu formulas imply that the Stiefel-Whitney classes of {M} vanish. In particular, {M} admits a spin structure, and a theorem of Rohlin asserts that the signature of a spin 4-manifold is divisible by {16}. (more…)

Let {\Lambda} be a {\mathbb{Q}}-algebra. A genus is a homomorphism

\displaystyle \phi: \Omega_{SO} \rightarrow \Lambda,

where {\Omega_{SO} } is the oriented cobordism ring. In other words, a genus {\phi} assigns to every compact, oriented manifold {M} an element {\phi(M) \in \Lambda}. This satisfies the conditions:

  1. {\phi(M \sqcup M') = \phi(M) + \phi(M')}.
  2. {\phi(M \times M') = \phi(M) \phi(M')}.
  3. {\phi(\partial N) =0 } for any manifold-with-boundary {N}.

A fundamental example of a genus is the signature {\sigma}, which assigns to every manifold {M} of dimension {4k} the signature of the quadratic form on {H^{2k}(M; \mathbb{R})}. (Also, {\sigma} is zero on manifolds whose dimension is not divisible by four.)

(more…)

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 {S^4} were homeomorphic but not diffeomorphic to the 7-sphere {S^7}. 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 {4k-1}-dimensional manifold {M} which is known to be homeomorphic to the sphere {S^{4k-1}}. There are a number of criteria for this: for instance, {M} could admit a cover by two charts, or {M} could admit a function with only two critical points. The goal is to prove then that {M} is not diffeomorphic to {S^{4k-1}}. Obviously the standard invariants in topology see only homotopy type and are useless at telling apart {M} and {S^{4k-1}}. One needs to define an invariant that relies on the smooth structure of {M} in some way.

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

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

\displaystyle \sigma(M) = \frac{p_1}{3}.

This implies that the Pontryagin number {p_1} 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 {M} is a four-dimensional spin-manifold, then {\sigma(M)} is divisible by {16} (and so {p_1} by {48}).

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.  (more…)