History
The Kervaire invariant is a generalization of the Arf invariant of a framed surface (= 2-dimensional manifold with stably trivialized tangent bundle) which was used by Pontryagin in 1950 to compute of the homotopy group of maps (for ), which is the cobordism group of surfaces embedded in with trivialized normal bundle.
Kervaire (1960) used his invariant for n = 10 to construct the Kervaire manifold, a 10-dimensional PL manifold with no differentiable structure, the first example of such a manifold, by showing that his invariant does not vanish on this PL manifold, but vanishes on all smooth manifolds of dimension 10.
Kervaire & Milnor (1963) computes the group of exotic spheres (in dimension greater than 4), with one step in the computation depending on the Kervaire invariant problem. Specifically, they show that the set of exotic spheres of dimension n – specifically the monoid of smooth structures on the standard n-sphere – is isomorphic to the group Θn of h-cobordism classes of oriented homotopy n-spheres. They compute this latter in terms of a map
where is the cyclic subgroup of n-spheres that bound a parallelizable manifold of dimension n+1, is the nth stable homotopy group of spheres, and J is the image of the J-homomorphism, which is also a cyclic group. The and are easily understood cyclic factors, which are trivial or order two except in dimension in which case they are large, with order related to Bernoulli numbers. The quotients are the difficult parts of the groups. The map between these quotient groups is either an isomorphism or is injective and has an image of index 2. It is the latter if and only if there is an n-dimensional framed manifold of nonzero Kervaire invariant, and thus the classification of exotic spheres depends up to a factor of 2 on the Kervaire invariant problem.
Read more about this topic: Kervaire Invariant
Famous quotes containing the word history:
“In nature, all is useful, all is beautiful. It is therefore beautiful, because it is alive, moving, reproductive; it is therefore useful, because it is symmetrical and fair. Beauty will not come at the call of a legislature, nor will it repeat in England or America its history in Greece. It will come, as always, unannounced, and spring up between the feet of brave and earnest men.”
—Ralph Waldo Emerson (1803–1882)
“Gossip is charming! History is merely gossip. But scandal is gossip made tedious by morality.”
—Oscar Wilde (1854–1900)
“The custard is setting; meanwhile
I not only have my own history to worry about
But am forced to fret over insufficient details related to large
Unfinished concepts that can never bring themselves to the point
Of being, with or without my help, if any were forthcoming.”
—John Ashbery (b. 1927)