Quadratic Forms Over F2
Over F2 the Arf invariant is 0 if the quadratic form is equivalent to a direct sum of copies of the binary form, and it is 1 if the form is a direct sum of with a number of copies of .
William Browder has called the Arf invariant the democratic invariant because it is the value which is assumed most often by the quadratic form. Another characterization: q has Arf invariant 0 if and only if the underlying 2k-dimensional vector space over the field F2 has a k-dimensional subspace on which q is identically 0 – that is, a totally isotropic subspace of half the dimension; its isotropy index is k (this is the maximum dimension of a totally isotropic subspace of a nonsingular form).
Read more about this topic: Arf Invariant
Famous quotes containing the word forms:
“We can imagine a society in which no one could survive as a social being because it does not correspond to biologically determined perceptions and human social needs. For historical reasons, existing societies might have such properties, leading to various forms of pathology.”
—Noam Chomsky (b. 1928)