In knot theory, there are several competing notions of the quantity writhe, or Wr {\displaystyle \operatorname {Wr} } . 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 (or any closed simple curve) in three-dimensional space and assumes real numbers as values. In both cases, writhe is a geometric quantity, meaning that while deforming a curve (or diagram) in such a way that does not change its topology, one may still change its writhe.
Writhe of link diagrams In knot theory, the writhe is a property of an oriented link diagram. The writhe is the total number of positive crossings minus the total number of negative crossings. A direction is assigned to the link at a point in each component and this direction is followed all the way around each component. For each crossing one comes across while traveling in this direction, if the strand underneath goes from right to left, the crossing is positive; if the lower strand goes from left to right, the crossing is negative. One way of remembering this is to use a variation of the right-hand rule.
For a knot diagram, using the right-hand rule with either orientation gives the same result, so the writhe is well-defined on unoriented knot diagrams.
The writhe of a knot is unaffected by two of the three Reidemeister moves: moves of Type II and Type III do not affect the writhe. Reidemeister move Type I, however, increases or decreases the writhe by 1. This implies that the writhe of a knot is not an isotopy invariant of the knot itself — only the diagram. By a series of Type I moves one can set the writhe of a diagram for a given knot to be any integer at all.
Writhe of a closed curve Writhe is also a property of a knot represented as a curve in three-dimensional space. Strictly speaking, a knot is such a curve, defined mathematically as an embedding of a circle in three-dimensional Euclidean space, R 3 {\displaystyle \mathbb {R} ^{3}} . By viewing the curve from different vantage points, one can obtain different projections and draw the corresponding knot diagrams. Its writhe Wr {\displaystyle \operatorname {Wr} } (in the space curve sense) is equal to the average of the integral writhe values obtained from the projections from all vantage points. Hence, writhe in this situation can take on any real number as a possible value. In a paper from 1961, Gheorghe Călugăreanu proved the following theorem: take a ribbon in R 3 {\displaystyle \mathbb {R} ^{3}} , let Lk {\displaystyle \operatorname {Lk} } be the linking number of its border components, and let Tw {\displaystyle \operatorname {Tw} } be its total twist. Then the difference Lk − Tw {\displaystyle \operatorname {Lk} -\operatorname {Tw} } depends only on the core curve of the ribbon, and
Wr = Lk − Tw {\displaystyle \operatorname {Wr} =\operatorname {Lk} -\operatorname {Tw} } . In a paper from 1959, Călugăreanu also showed how to calculate the writhe Wr with an integral. Let C {\displaystyle C} be a smooth, simple, closed curve and let r 1 {\displaystyle \mathbf {r} _{1}} and r 2 {\displaystyle \mathbf {r} _{2}} be points on C {\displaystyle C} . Then the writhe is equal to the Gauss integral
Wr = 1 4 π ∫ C ∫ C d r 1 × d r 2 ⋅ r 1 − r 2 | r 1 − r 2 | 3 {\displaystyle \operatorname {Wr} ={\frac {1}{4\pi }}\int _{C}\int _{C}d\mathbf {r} _{1}\times d\mathbf {r} _{2}\cdot {\frac {\mathbf {r} _{1}-\mathbf {r} _{2}}{\left|\mathbf {r} _{1}-\mathbf {r} _{2}\right|^{3}}}} .
Numerically approximating the Gauss integral for writhe of a curve in space Since writhe for a curve in space is defined as a double integral, we can approximate its value numerically by first representing our curve as a finite chain of N {\displaystyle N} line segments. A procedure that was first derived by Michael Levitt for the description of protein folding and later used for supercoiled DNA by Konstantin Klenin and Jörg Langowski is to compute
… excerpt ends here. Continue reading the full article.
