Arf invariant (knot)

Arf invariant (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 V=(v(i,j)) be a Seifert matrix of the knot, constructed from a canonical set of curves on a Seifert surface of genus g. This means that V is a 2g imes 2g matrix with the property that V - V^T is a symplectic matrix. The "Arf invariant" of the knot is the residue of

:sumlimits^g_{i=1}v(2i-1,2i-1)v(2i,2i) modulo 2.

Definition by pass equivalence

This approach to the Arf invariant is due to Louis Kauffman.

We define two knots to be pass equivalent if they are related by a finite sequence of pass-moves, which are illustrated below: (no figure right now)

Every knot is pass equivalent to either the unknot or the trefoil; these two knots are not pass equivalent and additionally, the right and left-handed trefoils are pass equivalent.

Now we can define the Arf invariant of a knot to be 0 if it is pass equivalent to the unknot, or 1 if it is pass equivalent to the trefoil. This definition is equivalent to the one above.

Definition by partition function

Vaughan Jones showed that the Arf invariant can be obtained by taking the partition function of a signed planar graph associated to a knot diagram.

Definition by Alexander polynomial

This approach to the Arf invariant is by Raymond RobertelloRobertello, Raymond, Communications on Pure and Applied Mathematics, Volume 18, pp. 543-555, 1965] . Let Delta(t) = c_0 + c_1 t + dots + c_n t^n + dots + c_0 t^{2n} be the Alexander polynomial of the knot. Then the Arf invariant is the residue of c_{n-1} + c_{n-3} + dots + c_r modulo 2, where r = 0 for n odd, and r = 1 for n even.

Kunio MurasugiMurasugi, Kunio, The Arf Invariant for Knot Types, Proceedings of the American Mathematical Society, Vol. 21, No. 1. (Apr., 1969), pp. 69-72] proved that the Arf invariant is zero if and only if Delta(-1) equiv pm 1 modulo 8.

References

* cite book
author = Kauffman, Louis
authorlink = Louis Kauffman
title = Formal knot theory
year = 1983
publisher = Mathematical notes, 30, Princeton University Press
id = ISBN 0-691-08336-3

* cite book
author = Kirby, Robion
authorlink = Robion Kirby
title = The topology of 4-manifolds
year = 1989
publisher = Lecture Notes in Mathematics, no. 1374, Springer-Verlag
id = ISBN 0-387-51148-2


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • List of knot theory topics — Knot theory is the study of mathematical knots. While inspired by knots which appear in daily life in shoelaces and rope, a mathematician s knot differs in that the ends are joined together so that it cannot be undone. In precise mathematical… …   Wikipedia

  • Finite type invariant — In the mathematical theory of knots, a finite type invariant is a knot invariant that can be extended (in a precise manner to be described) to an invariant of certain singular knots that vanishes on singular knots with m + 1 singularities and… …   Wikipedia

  • Casson invariant — In 3 dimensional topology, a part of the mathematical field of geometric topology, the Casson invariant is an integer valued invariant of oriented integral homology 3 spheres, introduced by Andrew Casson.Kevin Walker (1992) found an extension to… …   Wikipedia

  • Cahit Arf — Infobox Scientist name = Cahit Arf caption = birth date = birth date|1910|10|11|mf=y birth place = Selanik (Thessaloniki) nationality = death date = death date and age|1997|12|26|1910|10|11|mf=y death place = Bebek, Istanbul field = Mathematics… …   Wikipedia

  • Seifert surface — In mathematics, a Seifert surface is a surface whose boundary is a given knot or link. Such surfaces can be used to study the properties of the associated knot or link. For example, many knot invariants are most easily calculated using a Seifert… …   Wikipedia

  • List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A …   Wikipedia

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”