10
$\begingroup$

The wikipedia article on the J-homomorphism says that "the cokernel of the J-homomorphism is of interest for counting exotic spheres". I'd like to think this makes some sort of philosophical sense; as I understand it, the homomorphism comes from a Hopf construction, which isn't really a smooth sort of thing, but on the other hand it still feels like constructions using the (stable) (special) orthogonal group should somehow keep us in the non-exotic world. Is this at all close to the right intuition?

$\endgroup$
9
  • 2
    $\begingroup$ Another good source for this stuff is Ranicki's book "Algebraic and Geometric Surgery". However, Kervaire and Milnor's original paper is actually probably even more readable than the secondary literature. $\endgroup$ Oct 10, 2010 at 18:53
  • 1
    $\begingroup$ * vote to close (apparently I can't even close my own question, it still needs 5 votes) $\endgroup$ Oct 10, 2010 at 19:36
  • 1
    $\begingroup$ Or see en.wikipedia.org/wiki/Exotic_sphere $\endgroup$ Oct 10, 2010 at 20:40
  • 1
    $\begingroup$ One of the many nice features of Kosinski's book is he gets rid of the rather ugly "smoothing of corners" issue which is present in Smale's proof of the h-cobordism theorem. $\endgroup$ Oct 10, 2010 at 22:53
  • 1
    $\begingroup$ Too layman for an answer, but a very rough intuition is this - if you glue two copies of the $n+1$-ball using a self-diffeomorphism of its boundary, you get a topological sphere which is non-exotic if this diffeomorphism is an orhtogonal transformation. $\endgroup$ Jan 16, 2015 at 9:13

2 Answers 2

8
$\begingroup$

This isn't really different from the other answer, but I love this story so I wanted to try telling it a little slower. (I will also completely elide all technical details.)

Pontryagin-Thom says that any element of any stable homotopy group of spheres is represented by a stably framed manifold. A natural question to ask (and the first question I asked myself when I learned about P-T) is how simple you can make the representing manifold? The simplest possible manifolds are standard spheres with some stable framing. Relative to the standard with the standard stable framing (i.e. coming from the embedding of $S^n$ in $\mathbb{R}^{n+1}$ with the outward going normal), you've chosen some map from the appropriately stabilized trivial bundle to itself, i.e. an element of SO(n+k) for every point on your sphere. That is these are classified by elements of $\pi_n(SO)$. This gives you exactly the J-homomorphism. So the image of J is the part of the homotopy groups of spheres which comes from standard spheres.

Ok, but what about more complicated manifolds? Well in 2-dimensions you already see roughly how to do this: you start with a surface, you try to find a circle whose induced framing is such that you can cut along it and get a smaller genus surface. However, the Arf invariant on homology gives an obstruction to being able to do this, so you end up with either a trivial manifold or the torus with a particular stable framing (the Lie group framing). The nontrivial element of the second stable stem comes from this torus. We want to mimic this in higher dimension, and this is where surgery theory enters. That is we want to do surgery to decrease the complexity of our manifold, but we have to be a bit careful because we're doing stably framed surgery and so we have to make sure we have choose our elements in homology so that we can glue in stably framed discs. The key results from surgery theory are then that you can successively kill off all homology except possibly a single class in middle dimension. This is the Kervaire problem: are there manifolds of a given dimension with no homology except for one class in middle degree which you can't do framed surgery along? (Answer: exactly one such manifold in dimensions 2, 6, 14, 30, 62, and no such manifolds in any other dimension except possibly 126 which is still open. The explicit manifolds are known in dimensions 2 (flat torus), 6, 14, and 30, but not dimension 62.)

Ok, so outside the elements corresponding to the Kervaire manifolds we've done surgery to get the manifold down to a smooth manifold which is topologically a sphere. But it doesn't have to have the standard smooth structure! So such classes correspond to exotic spheres together with a stable framing. Now you need to know how many stable framings you'd expect an exotic sphere to have. First you want to show they all have some stable framing by immersing them into a large Euclidean space, and then second you want to argue that again the changes of framings are just given by composing with elements in the image of J.

All told: up to stably framed cobordism every manifold comes from a standard sphere with an interesting framing connect-sum your favorite framing on some exotic sphere connect-sum one of five or six explicit Kervaire manifolds generalizing the flat torus.

$\endgroup$
5
  • $\begingroup$ Is the n=126 case still open? Someone suggested to me that arXiv:1601.02184 and arXiv:1708.06854 (see theorem 12.6) are saying that it is resolved (perhaps due to an unpublished result in 2017?). $\endgroup$
    – ziggurism
    Dec 22, 2019 at 17:57
  • $\begingroup$ This is not my area of expertise, so I’m not up to date on the current results, but isn’t 12.6 in the linked paper about the Kervaire invariant 0 case (i.e. exotic spheres), and not about Kervaire invariant 1? $\endgroup$ Dec 22, 2019 at 20:46
  • $\begingroup$ I thought the exotic sphere situation was equivalent to the Kervaire invariant 1 problem? $\endgroup$
    – ziggurism
    Dec 23, 2019 at 13:31
  • $\begingroup$ Exotic spheres correspond to the Kervaire invariant 0 part of coker J, not Kervaire invariant 1. Knowing coker J exactly and knowing whether there’s anything of Kervaire invariant 1 tells you how many exotic spheres there are. But knowing one element of Kervaire invariant 0 just tells you there’s one exotic sphere, and doesn’t tell you anything about Kervaire invariant 1 manifolds. $\endgroup$ Dec 23, 2019 at 14:11
  • $\begingroup$ ok thanks for clarifying $\endgroup$
    – ziggurism
    Dec 23, 2019 at 15:33
5
$\begingroup$

The connection is very concrete. Namely let us use the standard notations: $\theta_n$ for the group of homotopy $n$-spheres, and $bP^{n+1}$ for the subgroups formed by those homotopy spheres which bound a parallelizable $n+1$-dimensional manifold. If $n$ is odd, then the quotient group $\theta_n/bP^{n+1}$ is isomorphic to the cokernel of the stable $J$ homomorphism $J: \pi_n(SO) \to \pi^s(n).$ The proof is, that any framed $n$-manifold representing (by the Pontrjagin construction) an element in the stable homotopy group of spheres can be made by by framed surgery $(n-1)$-connected, i.e. a homotopy sphere. So any element of $\pi^s(n)$ can be represented by a homotopy sphere. It is not hard to see, that the represented element in $\pi^s(n)$ is trivial iff the homotopy sphere lies in $bP^{n+1}.$ For n even the above described surgery can be performed only iff the Kervaire invariant of the framed manifold is zero. Hence in this case the quotient $\theta_n/bP^{n+1}$ will be isomorphic to the cokernel of the $J$ homomorphism in the kernel of the Kervaire invariant.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.