Arf invariant
In mathematics, the Arf invariant of a nonsingular quadratic form over a field of characteristic 2 was defined by Turkish mathematician Cahit Arf (1941) when he started the systematic study of quadratic forms over arbitrary fields of characteristic 2. The Arf invariant is the substitute, in characteristic 2, for the discriminant for quadratic forms in characteristic not 2. Arf used his invariant, among others, in his endeavor to classify quadratic forms in characteristic 2.
In the special case of the 2-element field F2 the Arf invariant can be described as the element of F2 that occurs most often among the values of the form. Two nonsingular quadratic forms over F2 are isomorphic if and only if they have the same dimension and the same Arf invariant. This fact was essentially known to Dickson (1901), even for any finite field of characteristic 2, and Arf proved it for an arbitrary perfect field. An assessment of Arf's results in the framework of the theory of quadratic forms can be found in.
Arf invariant of a knot
In the mathematical field of knot theory, the Arf invariant of a knot, named after Cahit Arf, is a knot invariant obtained from a quadratic form associated to a Seifert surface. If F is a Seifert surface of a knot, then the homology group H1(F, Z/2Z) has a quadratic form whose value is the number of full twists mod 2 in a neighborhood of an imbedded circle representing an element of the homology group. The Arf invariant of this quadratic form is the Arf invariant of the knot.
Definition by Seifert matrix
Let 
be a Seifert matrix of the knot, constructed from a set of curves on a Seifert surface of genus g which represent a basis for the first homology of the surface. This means that V is a 2g × 2g matrix with the property that V − VT is a symplectic matrix. The Arf invariant of the knot is the residue of
Specifically, if 
, is a symplectic basis for the intersection form on the Seifert surface, then
where 
denotes the positive pushoff of a.
Definition by pass equivalence
Podcasts:
