nLab
linking number

Context

Knot theory

Topology

topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Analysis Theorems

topological homotopy theory

Linking numbers

Signs of crossings

In an oriented link diagram, we can see there are two types of possible crossing. They are allocated a sign, + or -.

Layer 1 + + -

One method of remembering the sign convention is to imagine an approach to the crossing along the underpass in the direction of the orientation:

  • if the overpass passes from left to right the crossing is counted as being positive;
  • if it passes from right to left it counts as negative.

Writhe

The writhe of an oriented knot or link diagram is the sum of the signs of all its crossings. If DD is the diagram, we denote its writhe by w(D)w(D).

The writhe is used in the definition of some of the knot invariants.

Linking number

This is a variant of the writhe that is more adapted for use with links.

Suppose we have an oriented link diagram DD with components C 1,,C mC_1, \ldots, C_m, the linking number of C iC_i with C jC_j where C iC_i and C jC_j are distinct components of DD, is to be one half of the sum of the signs of the crossings of C iC_i with C jC_j; it will be denoted lk(C i,C j)lk(C_i,C_j).

The linking number of the diagram DD us then the sum of the linking numbers of all pairs of components:

Lk(D)= 1i<jmlk(C i,C j).Lk(D) = \sum_{1\le i\lt j\le m}lk(C_i,C_j).

Examples

The writhe of the standard trefoil is 3, of the Hopf link (both components clockwise oriented) is +2, but that of the Borromean rings is 0 although it is a non-trivial link.

Invariance?

The writhe is not an isotopy invariant, as it can be changed but twisting a stand of the knot (or link).

Proposition

The writhe is an invariant of regular isotopy.

Proposition

The linking number is a link invariant.

Proof

We use Reidemeister moves so have to check that they do not change the linking number of a diagram. Any Reidemeister move that involves at least two components of the link (i.e. which must be an R2 or R3) leaves all linking numbers between components unchanged. An R2 move removes or introduces two crossings of opposite sign, whilst an R3 leaves the number of crossings and their signs unaltered.

We can conclude that the Hopf link is not isotopic to the two component unlink, (which is reassuring) as any assignment of orientations to the Hopf link leads to a non-zero linking number.

Linking number is an integer

Let n 1n_{1} (resp. n 2n_{2}) be the sum of the signs of crossings between a pair of components L 1L_{1} and L 2L_{2} of a link in which the over arc belongs to L 1L_{1} (resp. L 2L_{2}). The linking number is then clearly equal to 12(n 1+n 2)\frac{1}{2}(n_{1} + n_{2}).

Now, take a crossing between L 1L_{1} and L 2L_{2} such that the over arc belongs to L 1L_{1}. Suppose that we switch the crossing type, so that now the under arc belongs to L 1L_{1}. Then, no matter what the sign of the crossing, it can be verified that the sum n 1n 2n_{1} - n_{2} remains unchanged by this switch.

We may also obviously make crossing switches to the self-crossings of a component, or to crossings of the two components we are looking at with other components, without affecting the sum n 1n 2n_{1} - n_{2}.

In addition, it is straightforward to check that the Reidemeister moves do not change the sum n 1n 2n_{1} - n_{2}.

Now, it is obvious that any pair of components of a link can be unlinked from the link after making appropriate crossing switches. In the case that L 1L_{1} and L 2L_{2} are circles disjoint from each other and the rest of the link, we have that n 1n 2=0n_{1} - n_{2} = 0.

We deduce that n 1n 2=0n_{1} - n_{2} = 0 in all cases. Hence n 1=n 2n_{1} = n_{2}, and the linking number is equal to 12(2n 1)=n 1=n 2\frac{1}{2}(2n_{1}) = n_{1} = n_{2}.

In particular, the linking number is an integer.

An immediate consequence of the fact that the sum of the signs of the crossings between L 1L_{1} and L 2L_{2} is even is that there must in fact be an even number of such crossings.

Revised on June 7, 2017 15:09:44 by Richard Williamson (84.202.247.109)