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:
“Was man made stupid to see his own stupidity?
Is God by definition indifferent, beyond us all?
Is the eternal truth man’s fighting soul
Wherein the Beast ravens in its own avidity?”
—Richard Eberhart (b. 1904)
“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)
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)