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 embedded circle representing an element of the homology group. The Arf invariant of this quadratic form is the Arf invariant of the knot.
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 lk is the link number and denotes the positive pushoff of a.
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. [1]
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. [2]
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.
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.
This approach to the Arf invariant is by Raymond Robertello. [3] Let
be the Alexander polynomial of the knot. Then the Arf invariant is the residue of
modulo 2, where r = 0 for n odd, and r = 1 for n even.
Kunio Murasugi [4] proved that the Arf invariant is zero if and only if Δ(−1) ≡ ±1 modulo 8.
From the Fox-Milnor criterion, which tells us that the Alexander polynomial of a slice knot factors as for some polynomial with integer coefficients, we know that the determinant of a slice knot is a square integer. As is an odd integer, it has to be congruent to 1 modulo 8. Combined with Murasugi's result, this shows that the Arf invariant of a slice knot vanishes.
In mathematics, the discriminant of a polynomial is a quantity that depends on the coefficients and allows deducing some properties of the roots without computing them. More precisely, it is a polynomial function of the coefficients of the original polynomial. The discriminant is widely used in polynomial factoring, number theory, and algebraic geometry.
In topology, knot theory is the study of mathematical knots. While inspired by knots which appear in daily life, such as those in shoelaces and rope, a mathematical knot differs in that the ends are joined so it cannot be undone, the simplest knot being a ring. In mathematical language, a knot is an embedding of a circle in 3-dimensional Euclidean space, . Two mathematical knots are equivalent if one can be transformed into the other via a deformation of upon itself ; these transformations correspond to manipulations of a knotted string that do not involve cutting it or passing it through itself.
In mathematics, the orthogonal group in dimension n, denoted O(n), is the group of distance-preserving transformations of a Euclidean space of dimension n that preserve a fixed point, where the group operation is given by composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of n × n orthogonal matrices, where the group operation is given by matrix multiplication (an orthogonal matrix is a real matrix whose inverse equals its transpose). The orthogonal group is an algebraic group and a Lie group. It is compact.
In knot theory, a branch of mathematics, the trefoil knot is the simplest example of a nontrivial knot. The trefoil can be obtained by joining the two loose ends of a common overhand knot, resulting in a knotted loop. As the simplest knot, the trefoil is fundamental to the study of mathematical knot theory.
In gauge theory and mathematical physics, a topological quantum field theory is a quantum field theory which computes topological invariants.
In mathematics, Felix Klein's j-invariant or j function, regarded as a function of a complex variable τ, is a modular function of weight zero for special linear group SL(2, Z) defined on the upper half-plane of complex numbers. It is the unique such function that is holomorphic away from a simple pole at the cusp such that
In mathematics, algebraic L-theory is the K-theory of quadratic forms; the term was coined by C. T. C. Wall, with L being used as the letter after K. Algebraic L-theory, also known as "Hermitian K-theory", is important in surgery theory.
In knot theory, there are several competing notions of the quantity writhe, or . In one sense, it is purely a property of an oriented link diagram and assumes integer values. In another sense, it is a quantity that describes the amount of "coiling" of a mathematical knot in three-dimensional space and assumes real numbers as values. In both cases, writhe is a geometric quantity, meaning that while deforming a curve in such a way that does not change its topology, one may still change its writhe.
In the mathematical field of knot theory, the Jones polynomial is a knot polynomial discovered by Vaughan Jones in 1984. Specifically, it is an invariant of an oriented knot or link which assigns to each oriented knot or link a Laurent polynomial in the variable with integer coefficients.
In mathematics, the Alexander polynomial is a knot invariant which assigns a polynomial with integer coefficients to each knot type. James Waddell Alexander II discovered this, the first knot polynomial, in 1923. In 1969, John Conway showed a version of this polynomial, now called the Alexander–Conway polynomial, could be computed using a skein relation, although its significance was not realized until the discovery of the Jones polynomial in 1984. Soon after Conway's reworking of the Alexander polynomial, it was realized that a similar skein relation was exhibited in Alexander's paper on his polynomial.
In mathematics, a Seifert surface is an orientable surface whose boundary is a given knot or link.
The signature of a knot is a topological invariant in knot theory. It may be computed from the Seifert surface.
A slice knot is a mathematical knot in 3-dimensional space that bounds an embedded disk in 4-dimensional space.
In mathematics, the Arf invariant of a nonsingular quadratic form over a field of characteristic 2 was defined by Turkish mathematician Cahit Arf 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 4-dimensional topology, a branch of mathematics, Rokhlin's theorem states that if a smooth, orientable, closed 4-manifold M has a spin structure, then the signature of its intersection form, a quadratic form on the second cohomology group , is divisible by 16. The theorem is named for Vladimir Rokhlin, who proved it in 1952.
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.
In knot theory, a Lissajous knot is a knot defined by parametric equations of the form
In mathematics, specifically the theory of quadratic forms, an ε-quadratic form is a generalization of quadratic forms to skew-symmetric settings and to *-rings; ε = ±1, accordingly for symmetric or skew-symmetric. They are also called -quadratic forms, particularly in the context of surgery theory.
In the mathematical field of quantum topology, the Reshetikhin–Turaev invariants (RT-invariants) are a family of quantum invariants of framed links. Such invariants of framed links also give rise to invariants of 3-manifolds via the Dehn surgery construction. These invariants were discovered by Nicolai Reshetikhin and Vladimir Turaev in 1991, and were meant to be a mathematical realization of Witten's proposed invariants of links and 3-manifolds using quantum field theory.
| Hyperbolic |
|
|---|---|
| Satellite | |
| Torus | |
| Invariants | |
| Notation and operations | |
| Other | |
