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 man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
—William James (1842–1910)
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)
“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)