Definition
The Kervaire invariant is the Arf invariant of the quadratic form determined by the framing on the middle-dimensional Z/2Z-coefficient homology group
- q : H2m+1(M;Z/2Z) Z/2Z,
and is thus sometimes called the Arf–Kervaire invariant. The quadratic form (properly, skew-quadratic form) is a quadratic refinement of the usual ε-symmetric form on the middle dimensional homology of an (unframed) even-dimensional manifold; the framing yields the quadratic refinement.
The quadratic form q can be defined by algebraic topology using functional Steenrod squares, and geometrically via the self-intersections of immersions determined by the framing, or by the triviality/non-triviality of the normal bundles of embeddings (for ) and the mod 2 Hopf invariant of maps (for ).
Read more about this topic: Kervaire Invariant
Famous quotes containing the word definition:
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)