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:
“From the war of nature, from famine and death, the most exalted object which we are capable of conceiving, namely, the production of the higher animals, directly follows. There is grandeur in this view of life, with its several powers, having been breathed into a few forms or into one; and that, whilst this planet has gone cycling on according to the fixed law of gravity, from so simple a beginning endless forms most beautiful and most wonderful have been, and are being, evolved.”
—Charles Darwin (1809–1882)