In a previous post, I began discussing a theorem of Ochanine:

Theorem 1 (Ochanine) A genus ${\phi: \Omega_{SO} \rightarrow \Lambda}$ annihilates the projectivization ${\mathbb{P}(E)}$ of every even-dimensional complex bundle ${E \rightarrow M}$ if and only if the logarithm of ${\phi}$ is an elliptic integral

$\displaystyle g(x) = \int_0^x (1 - 2\delta u^2 + \epsilon u^4)^{-1/2} du.$

In the previous post, we described Ochanine’s proof that a genus whose logarithm is an elliptic integral (a so-called elliptic genus) annihilated any such projectivization. The proof relied on some computations in the projectivization and then some trickery with elliptic functions. The purpose of this post is to prove the converse: a genus with a suitably large kernel comes from an elliptic integral. (more…)

Here is the idea. When $A \subset M$ is a closed submanifold of a manifold, there is a lower shriek (Gysin) homomorphism from the cohomology of $A$ to that of $M$; this is Poincaré dual to the restriction map in the other direction. We will see that the “fundamental class” of $A$ (that is,  the image of 1 under this lower shriek map) corresponds to the mod 2 Euler (or top Stiefel-Whitney) class of the normal bundle. In the case of $M \subset M \times M$, the corresponding normal bundle is just the tangent bundle of $M$. But by other means we’ll be able to work out the Gysin map easily. Once we have this, the Steenrod operations determine the rest of the Stiefel-Whitney classes.