The Pontryagin-Thom construction shows that the stable homotopy groups of spheres are the same as the groups of stably framed manifolds up to cobordism. Specifically the Hopf map corresponds to the circle with its Lie group framing. It is well known that this element $\eta$ in stable homotopy (like all elements of positive degree) is nilpotent in the stable homotopy ring, more specifically $\eta^4$ is trivial. On the cobordism side, multiplication in the ring is just the product of manifolds. So the corresponding statement about manifolds is that the 4-dimensional torus with its Lie group framing is nullcobordant. Is there a geometric way to understand this? What makes the 4d torus so different from the 2d and 3d ones?
Stable Hopf Map – Nilpotence via Framed Cobordism
at.algebraic-topologycobordismgt.geometric-topologystable-homotopy
Related Solutions
Let $M$ be a smooth, compact $n$-manifold with a stable framing. Then Pontryagin's map works like this:
- There is only one embedding of $M$ into $\mathbb{R}^{k+n}$ for $k \gg n$.
- A stable framing of $M$ induces a normal framing of $M$, because the total bundle of $M$ in this embedding is trivial.
- Make a tubular neighborhood $N$ around $M$ which is diffeomorphic to the normal bundle of $M$.
- Make a map from $\mathbb{R}^{k+n}$ to $S^k = \mathbb{R}^k \cup \{\infty\}$ which sends the complement of $N$ to $\infty$, and sends each normal fiber to $\mathbb{R}^k$ using the framing of that fiber. The map extends to $S^{k+n}$ by sending $\infty$ to $\infty$.
You can show that a cobordism class goes to a homotopy class with basically the same construction in the next dimension. So you get a well-defined homomorphism. It takes more work to show that it's an isomorphism, but I think that it can be done with similar geometric considerations. For instance, to show that it is surjective, consider a generic smooth map from $S^{k+n}$ to $S^k$. The inverse image of $0 \in \mathbb{R}^k \subset S^k$ is a manifold, a small neighborhood of $0$ pulls back to a framed normal bundle $N$, and (roughly speaking) everything outside of $N$ can be crammed into $\infty$ with a homotopy.
Thanks to a very helpful discussion with Clark Barwick in the homotopy theory chat, I think I now understand what's going on here. In particular, the ring spectrum structure on the sphere spectrum $\mathbb{S}$ does come from a monoidal structure on $\text{Bord}$, but I was confused about how to transport this monoidal structure from the category to the spectrum.
The monoidal structure can be thought of as coming from the universal property of $\text{Bord}$: since it's the free symmetric monoidal $\infty$-category with duals on a point, the $\infty$-category of symmetric monoidal functors $\text{Bord} \to \text{Bord}$ can canonically be identified with $\text{Bord}$ itself, and hence $\text{Bord}$ naturally acquires a monoidal structure, which I'll call $\circ$, coming from composition of functors $\text{Bord} \to \text{Bord}$. This is exactly analogous to how the free abelian group $\mathbb{Z}$ on a point canonically acquires a ring structure, and compatible under group completion with how the free spectrum on a point, namely $\mathbb{S}$, canonically acquires a ring spectrum structure. Here we need to know that symmetric monoidal $\infty$-categories are enriched over themselves, but this ought to be true by analogy both with the case of abelian groups and with the case of spectra.
This is admittedly an indirect description. It's hard to attempt a more direct description because the resulting monoidal structure isn't all that interesting on objects, and trying to describe what it does on morphisms is what got us into this mess in the first place.
So let me trudge on. In the comments I explained that I thought a monoidal structure
$$\text{Bord} \times \text{Bord} \to \text{Bord}$$
couldn't induce the usual multiplication map on $\mathbb{S}$ because monoidal structures take an $n$-morphism and an $n$-morphism and return another $n$-morphism: for example, the disjoint union does provide a monoidal structure of this form (in fact it's the monoidal structure figuring in the universal property), and the induced map
$$\pi_n(\mathbb{S}) \times \pi_n(\mathbb{S}) \to \pi_n(\mathbb{S})$$
is the usual abelian group structure on $\pi_n(\mathbb{S})$.
The problem with this story as applied to $\circ$ is that, with the natural symmetric monoidal structures on both sides, $\circ : \text{Bord} \times \text{Bord} \to \text{Bord}$ is not a symmetric monoidal functor, so it does not induce a map $\mathbb{S} \times \mathbb{S} \to \mathbb{S}$ of spectra. This issue shows up already at the level of abelian groups: with the natural abelian group structures on both sides, the multiplication map $\mathbb{Z} \times \mathbb{Z} \to \mathbb{Z}$ is not a homomorphism of abelian groups.
As suggested by the analogy to abelian groups, $\circ$ is "bilinear": it preserves disjoint unions separately in both variables. So the fix is to use a suitable notion of "tensor product" of symmetric monoidal $\infty$-categories (suitable meaning in particular that on symmetric monoidal $\infty$-groupoids, thought of as connective spectra, it reproduces the smash product) and think of $\circ$ as instead providing a symmetric monoidal functor
$$\text{Bord} \otimes \text{Bord} \to \text{Bord}$$
which reproduces the usual ring spectrum structure $\mathbb{S} \otimes \mathbb{S} \to \mathbb{S}$ (here I am using $\otimes$ for the smash product as well). Now to see how we get a multiplication map
$$\pi_n(\mathbb{S}) \times \pi_m(\mathbb{S}) \to \pi_{n+m}(\mathbb{S})$$
it suffices to recall that the smash product of $S^n$ and $S^m$ is $S^{n+m}$.
So, one way to answer the conceptual question "how, in this situation, did we start with an $n$-morphism and an $m$-morphism and get an $n+m$-morphism" is that the universal property of $\text{Bord}$ is extremely general: it naturally acts by endomorphisms on an object in any symmetric monoidal $\infty$-category with duals whatsoever, including the "loop spaces" of $\text{Bord}$ itself! The analogous statement in stable homotopy is that the stable homotopy groups naturally give rise to operations on the homotopy groups of any spectrum whatsoever, including the shifts of the sphere spectrum itself.
Best Answer
Answer Summary
Let $\eta$ be the framed 1-manifold which is the Lie group framing on the circle and let $\nu$ be the Lie group framing on $S^3 = Spin(3)$. I am probably going to conflate these framed manifolds with their classes in frame cobordism. I hope you forgive me.
There are lots of geometric ways to see that $2 \eta = 0$ in stably framed bordism so I will take that as given.
One thing which makes dimension four different from dimensions two and three is the existence of the K3 surface.
What I will show below is that there is a way to cut the K3 surface in half to get a 4-manifold, which I will call $X$, with boundary the 3-torus $T^3$. We will see that if we remove 12 points from $X$ then it admits an (unstable) framing, which moreover restricts to the Lie group framing $\nu$ at each of the 12 points and restricts to the Lie group framing $\eta^3$ on the 3-torus.
This is a geometric incarnation of the relation $\eta^3 = 12 \nu$, which, as you observed, immediately shows that $\eta^4 = 0$ as well since $2 \eta = 0$.
This is closely related to the fact that $24 \nu = 0$ and I will start there.
24 Torsion in the 3rd stable stem, via geometry
The 3rd stable stem ( = the 3rd stable homotopy group of spheres = group of stably framed 3-manifolds up to cobordism) is $\mathbb{Z}/24$ and it is a very natural question to ask for a geometric description for the source of this 24. In fact this has been asked and answered before on MO. What I am about to describe is really just a synthesis of the answers given by Tilman and Mrowka for that previous question, which gives a geometric reason why $24 \nu = 0$.
The key geometric ingredient is the existence of the K3 surface. This complex surface is famous for its many interesting and useful properties. The two salient facts about this 4-manifold are the following:
This second property is critical because it means that if we are given a non-zero vector $v$ in the tangent space of the K3, then we actually get a frame $(v, Iv, Jv, Kv)$. On a K3 surface (and submanifolds thereof) we can turn non-vanishing vector fields into 3-framings.
The Euler class obstructs the existence of a non-vanishing section of the tangent bundle, however since the Euler characteristic is 24, if we puncture the K3 surface 24 times (introducing 24 3-sphere boundary components) then we can find a non-vanishing vector field. Applying the hyperkahler structure to this gives us a 3-framing of the punctured K3 surface. This is now a framed bordism which shows that the sum of those 24 framed 3-spheres is zero in the framed bordism group.
In fact I think we could find a non-vanishing vector field on the K3 after puncturing just one time. However by puncturing 24 times we can arrange for each of the punctures to be a simple source for the vector field. This is important because then when we apply the hyperkahler structure near the source we see that it does indeed give the Lie group framing on each of those 24 3-spheres.
We conclude that $24 \nu = 0$.
Half the K3 surface and $\eta^3 = 12 \nu$, via geometry
There is an important famous way to construct the K3 surface called the Kummer construction. I will just discuss the topological aspects first. In this construction you first consider the 4-torus $T^4$, which we will think of as a Lie group.
Next we take the quotient by the involution $\sigma: a \mapsto -a$. This results in a quotient space/orbifold $T^4/ \sigma$ which has 16 singularities. To get the k3 surface we "blow-up" those 16 points. The result is the K3 surface.
To get half the K3 surface we will modify this construction. Consider one of the circle factors of the 4-torus. The $Z/2$ action comes from a product of an action on each of these factors. It is simply reflecting the circle through the x-axis. It has two fixed points in the circle at (1,0) and (-1,0). The product of these fixed points in each circle give us the 16 fixed points in $T^4$.
We will take one circle factor and consider cutting it in half into the semicircles with either positive or negative x-coordinate. The action is compatible with this splitting (it is an equivariant decomposition) and each semicircle now has only one critical point.
This decomposition gives us a decomposition of of the 4-torus $$ T^4 = (I \times T^3) \cup_{\partial I \times T^3} (I \times T^3) $$
The boundary of each half consists of two disjoint $T^3$s, and the $\mathbb{Z}/2$-action exchanges them. The quotient $$(I \times T^3)/\sigma $$ is an orbifold with boundary $T^3$ and with eight singular points on the interior. If we blow-up those eight points, then we get a manifold $X$ which is half the K3 surface in the sense that $$X \cup_{T^3} X = K3.$$
Since the Euler characteristic of $T^3$ is zero, this means that $\chi(X) = \frac{1}{2} \chi(K3) = 12$.
Now just as the Euler characteristic obstructs the existence of a non-vanishing vector field on a closed manifold, on a manifold with boundary it obstructs the existence of a non-vanishing vector field which further restricts to the inward pointing normal vector field near the boundary.
Thus if we take the 4-manifold $X$ and puncture it 12 times, then we may choose a non-vanishing vector field which is pointing inward at each of the punctures (i.e. they are sources) and which is inward pointing along the boundary 3-torus. Then we apply the hyperkahler structure to extend this to a 3-framing.
I already mentioned that near each of the 3-spheres we get the Lie group framing. This is believable because we just need to understand what is going on near an isolated point and so some standard flat model of $R^4$ is a good enough approximation, at least to identify the homotopy class of the induced framing.
However I claim that the induced framing on the 3-torus agrees with $\eta^3$. If so then this bordism witnesses the relation $\eta^3 = 12 \nu$, and we are done.
Why is this framed 3-torus $\eta^3$?
There might be an easy way to see this, but I at least found one way to do this, by looking more closely a the geometric structure on the K3 surface. Much of this comes from D. Joyce's book Compact Manifolds with Special Holonomy.
One of the claimed properties of the K3 surface is that it has a hyperkahler structure, but how can we construct such a structure explicitly? Here specifically I mean a Kahler metric which has special holonomy given by $SU(2)$. We know that the moduli space of such metrics is 20 dimensional, how to we construct points in there?
One method is to go back to the Kummer construction. On the 4-torus we have a flat Kahler metric, viewing it as the quotient of $\mathbb{C}^2$ by a lattice. This is invariant under $\sigma$ and so descends to give a flat metric on $T^4/\sigma$, which we can think about as being a singular degenerate metric on the K3 surface. We can think of this as being a point on the boundary of some compactification of the space of hyperkahler metrics and the idea is to deform this metric to get the desired one. Away from the singular points the flat metric is a good approximation, but near the singular points it is bad, so you replace it with the "Eguchi-Hanson" metric. Then you have to interpolate. The details of this seem difficult and Joyce attributes it to Page, LeBrun-Singer, and Topiwala.
So in the end we see that the metric (and hence the hyperkahler structure) looks like the flat metric when you are far away from the singular points. The 3-torus is, by construction, just about as far away from these singular points as possible. We can also choose the punctures to be in the "flat region" as well.
Once the torus and the punctures have a nearby hyperkahler structure which is approximately flat, it is easy to see that our construction of a framing produces $\nu$ near each of the punctures and produces $\eta^3$ on the 3-torus.
Addendum
Now that I write this I see that there is probably a much easier topological argument. All you need to know is that you can glue the flat topological almost-hyperkaher structure (not necessarily integrable) to some standard hyperkaher structure near the blow-ups. This was probably a necessary first step in the more difficult geometric results I mentioned.