Signature of a knot

Signature of a knot

The signature of a knot is a topological invariant in knot theory. It may be computed from the Seifert surface.

Given a knot "K" in the 3-sphere, it has a Seifert surface "S" whose boundary is "K". The Seifert form of "S" is the pairing phi : H_1(S) imes H_1(S) o mathbb Z given by taking the linking number lk(a^+,b^-) where a, b in H_1(S) and a^+, b^- indicate the translates of "a" and "b" respectively in the positive and negative directions of the normal bundle to "S".

Given a basis b_1,...,b_{2g} for H_1(S) (where "g" is the genus of the surface) the Seifert form can be represented as a "2g"-by-"2g" Seifert matrix "V", V_{ij}=phi(b_i,b_j). The signature of the matrix V+V^perp, thought of as a symmetric bilinear form, is the signature of the knot "K".

Slice knots are known to have zero signature.

The Alexander module formulation

Knot signatures can also be defined in terms of the Alexander module of the knot complement. Let X be the universal abelian cover of the knot complement. Consider the Alexander module to be the first homology group of the universal abelian cover of the knot complement: H_1(X;mathbb Q). Given a mathbb Q [mathbb Z] -module V, let overline{V} denote the mathbb Q [mathbb Z] whose underlying mathbb Q-module is V but where mathbb Z acts by the inverse covering transformation. Blanchfield's formulation of Poincare duality for X gives a canonical isomorphism H_1(X;mathbb Q) simeq overline{H^2(X;mathbb Q)} where H^2(X;mathbb Q) denotes the 2nd cohomology group of X with compact supports and coefficients in mathbb Q. The universal coefficient theorem for H^2(X;mathbb Q) gives a canonical isomorphism with Ext_{mathbb Q [mathbb Z] }(H_1(X;mathbb Q),mathbb Q [mathbb Z] ) (because the Alexander module is mathbb Q [mathbb Z] -torsion). Moreover, just like in the quadratic form formulation of Poincare duality, there is a canonical isomorphism of mathbb Q [mathbb Z] -modules Ext_{mathbb Q [mathbb Z] }(H_1(X;mathbb Q),mathbb Q [mathbb Z] ) simeq Hom_{mathbb Q [mathbb Z] }(H_1(X;mathbb Q), [mathbb Q [mathbb Z] /mathbb Q [mathbb Z] ), where [mathbb Q [mathbb Z] denotes the field of fractions of mathbb Q [mathbb Z] . This isomorphism can be thought of as a sesquilinear duality pairing H_1(X;mathbb Q) imes H_1(X;mathbb Q) o [mathbb Q [mathbb Z] /mathbb Q [mathbb Z] where [mathbb Q [mathbb Z] denotes the field of fractions of mathbb Q [mathbb Z] . This form takes value in the rational polynomials whose denominators are the Alexander polynomial of the knot, which as a mathbb Q [mathbb Z] -module is isomorphic to mathbb Q [mathbb Z] /Delta K. Let tr : mathbb Q [mathbb Z] /Delta K o mathbb Q be any mathbb Q be any linear function which is invariant under the involution t longmapsto t^{-1}, then composing it with the sesquilinear duality pairing gives a symmetric bilinear form on H_1 (X;mathbb Q) whose signature is an invariant of the knot.

All such signatures are concordance invariants, so all signatures of slice knots are zero. The sesquilinear duality pairing respects the prime-power decomposition of H_1 (X;mathbb Q) -- ie: the prime power decomposition gives an orthogonal decomposition of H_1 (X;mathbb R). Cherry Kearton has shown how to compute the "Milnor signature invariants" from this pairing, which are equivalent to the "Tristram-Levine invariant".

References

* J.Milnor, Infinite cyclic coverings, J.G. Hocking, ed. Conf. on the Topology of Manifolds, Prindle, Weber and Schmidt, Boston, Mass, 1968 pp. 115-133.

* C.Gordon, Some aspects of classical knot theory. Springer Lecture Notes in Mathematics 685. Proceedings Plans-sur-Bex Switzerland 1977.

* J.Hillman, Algebraic invariants of links. Series on Knots and everything. Vol 32. World Scientific.

* C.Kearton, Signatures of knots and the free differential calculus, Quart. J. Math. Oxford (2), 30 (1979).

ee also

*Link concordance


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Signature (mathematics) — In mathematics, signature can refer to*The signature of a permutation is ±1 according to whether it is an even/odd permutation. The signature function defines a group homomorphism from the symmetric group to the group {±1}. *The signature of a… …   Wikipedia

  • 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

  • Trefoil knot — In knot theory, the trefoil knot is the simplest nontrivial knot. It can be obtained by joining the loose ends of an overhand knot. It can be described as a (2,3) torus knot, and is the closure of the 2 stranded braid σ1³. It is also the… …   Wikipedia

  • Slice knot — A slice knot is a type of mathematical knot. It helps to remember that in knot theory, a knot means an embedded circle in the 3 sphere :S^3 = {mathbf{x}in mathbb{R}^4 mid |mathbf{x}|=1 } and that the 3 sphere can be thought of as the boundary of… …   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 (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • Link concordance — In mathematics two links L 0 subset S^n and L 1 subset S^n are concordant if there is an embedding f : L 0 imes [0,1] o S^n imes [0,1] such that f(L 0 imes {0}) = L 0 imes {0} and f(L 0 imes {1}) = L 1 imes {1}.By its nature, link concordance is… …   Wikipedia

  • John Myung — Infobox musical artist Name = John Myung Img capt = John Myung with Dream Theater in Berlin 2007 Img size = Landscape = Background = non vocal instrumentalist Birth name = John Ro Myung Born = Birth date and age|1967|01|24 Died = Origin = Chicago …   Wikipedia

  • Helen Hayes Awards Resident Acting — These Helen Hayes Awards are given for acting in resident theatre productions in the Washington, DC metropolitan area. The awards are generally divided between male and female performers, between lead and supporting performers, and since the… …   Wikipedia

  • Eagle Scout (Boy Scouts of America) — Eagle Scout is the highest rank attainable in the Boy Scouting program of the Boy Scouts of America (BSA). Those who attain this rank are called an Eagle Scout or Eagle . Since its introduction in 1911, the Eagle Scout rank has been earned by… …   Wikipedia

Share the article and excerpts

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