To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

# Torus knot

A (3,−7)-3D torus knot.
EureleA Award showing a (2,3)-torus knot.

In knot theory, a torus knot is a special kind of knot that lies on the surface of an unknotted torus in R3. Similarly, a torus link is a link which lies on the surface of a torus in the same way. Each torus knot is specified by a pair of coprime integers p and q. A torus link arises if p and q are not coprime (in which case the number of components is gcd(p, q)). A torus knot is trivial (equivalent to the unknot) if and only if either p or q is equal to 1 or −1. The simplest nontrivial example is the (2,3)-torus knot, also known as the trefoil knot.

the (2,−3)-torus knot, also known as the left-handed trefoil knot

• 1/2
Views:
3 216
461
• Torus knots
• Torus knot animation

## Geometrical representation

A torus knot can be rendered geometrically in multiple ways which are topologically equivalent (see Properties below) but geometrically distinct. The convention used in this article and its figures is the following.

The (p,q)-torus knot winds q times around a circle in the interior of the torus, and p times around its axis of rotational symmetry. {Note, this use of the roles of p and q is contrary to what appears on: http://mathworld.wolfram.com/TorusKnot.html It is also inconsistent with the "List" of torus knots below and with the pictures that appear in: "36 Torus Knots", The Knot Atlas.} If p and q are not relatively prime, then we have a torus link with more than one component.

The direction in which the strands of the knot wrap around the torus is also subject to differing conventions. The most common is to have the strands form a right-handed screw for p q > 0.[1][2][3]

The (p,q)-torus knot can be given by the parametrization

{\displaystyle {\begin{aligned}x&=r\cos(p\phi )\\y&=r\sin(p\phi )\\z&=-\sin(q\phi )\end{aligned}}}

where ${\displaystyle r=\cos(q\phi )+2}$ and ${\displaystyle 0<\phi <2\pi }$. This lies on the surface of the torus given by ${\displaystyle (r-2)^{2}+z^{2}=1}$ (in cylindrical coordinates).

Other parameterizations are also possible, because knots are defined up to continuous deformation. The illustrations for the (2,3)- and (3,8)-torus knots can be obtained by taking ${\displaystyle r=\cos(q\phi )+4}$, and in the case of the (2,3)-torus knot by furthermore subtracting respectively ${\displaystyle 3\cos((p-q)\phi )}$ and ${\displaystyle 3\sin((p-q)\phi )}$ from the above parameterizations of x and y. The latter generalizes smoothly to any coprime p,q satisfying ${\displaystyle p.

## Properties

Diagram of a (3,−8)-torus knot.

A torus knot is trivial iff either p or q is equal to 1 or −1.[2][3]

Each nontrivial torus knot is prime[4] and chiral[2].

The (p,q) torus knot is equivalent to the (q,p) torus knot.[1][3] This can be proved by moving the strands on the surface of the torus, which is nicely illustrated here. The (p,−q) torus knot is the obverse (mirror image) of the (p,q) torus knot.[3] The (−p,−q) torus knot is equivalent to the (p,q) torus knot except for the reversed orientation.

The (3, 4) torus knot on the unwrapped torus surface, and its braid word

Any (p,q)-torus knot can be made from a closed braid with p strands. The appropriate braid word is [5]

${\displaystyle (\sigma _{1}\sigma _{2}\cdots \sigma _{p-1})^{q}.}$

(This formula assumes the common convention that braid generators are right twists,[2][5][6][7] which is not followed by the Wikipedia page on braids.)

The crossing number of a (p,q) torus knot with p,q > 0 is given by

c = min((p−1)q, (q−1)p).

The genus of a torus knot with p,q > 0 is

${\displaystyle g={\frac {1}{2}}(p-1)(q-1).}$

The Alexander polynomial of a torus knot is [1][5]

${\displaystyle {\frac {(t^{pq}-1)(t-1)}{(t^{p}-1)(t^{q}-1)}}.}$

The Jones polynomial of a (right-handed) torus knot is given by

${\displaystyle t^{(p-1)(q-1)/2}{\frac {1-t^{p+1}-t^{q+1}+t^{p+q}}{1-t^{2}}}.}$

The complement of a torus knot in the 3-sphere is a Seifert-fibered manifold, fibred over the disc with two singular fibres.

Let Y be the p-fold dunce cap with a disk removed from the interior, Z be the q-fold dunce cap with a disk removed its interior, and X be the quotient space obtained by identifying Y and Z along their boundary circle. The knot complement of the (p, q) -torus knot deformation retracts to the space X. Therefore, the knot group of a torus knot has the presentation

${\displaystyle \langle x,y\mid x^{p}=y^{q}\rangle .}$

Torus knots are the only knots whose knot groups have nontrivial center (which is infinite cyclic, generated by the element ${\displaystyle x^{p}=y^{q}}$ in the presentation above).

The stretch factor of the (p,q) torus knot, as a curve in Euclidean space, is Ω(min(p,q)), so torus knots have unbounded stretch factors. Undergraduate researcher John Pardon won the 2012 Morgan Prize for his research proving this result, which solved a problem originally posed by Mikhail Gromov.[8][9]

## Connection to complex hypersurfaces

The (p,q)−torus knots arise when considering the link of an isolated complex hypersurface singularity. One intersects the complex hypersurface with a hypersphere, centred at the isolated singular point, and with sufficiently small radius so that it does not enclose, nor encounter, any other singular points. The intersection gives a submanifold of the hypersphere.

Let p and q be coprime integers, greater than or equal to two. Consider the holomorphic function ${\displaystyle f:\mathbb {C} ^{2}\to \mathbb {C} }$ given by ${\displaystyle f(w,z):=w^{p}+z^{q}.}$ Let ${\displaystyle V_{f}\subset \mathbb {C} ^{2}}$ be the set of ${\displaystyle (w,z)\in \mathbb {C} ^{2}}$ such that ${\displaystyle f(w,z)=0.}$ Given a real number ${\displaystyle 0<\varepsilon \ll 1,}$ we define the real three-sphere ${\displaystyle \mathbb {S} _{\varepsilon }^{3}\subset \mathbb {R} ^{4}\hookrightarrow \mathbb {C} ^{2}}$ as given by ${\displaystyle |w|^{2}+|z|^{2}=\varepsilon ^{2}.}$ The function ${\displaystyle f}$ has an isolated critical point at ${\displaystyle (0,0)\in \mathbb {C} ^{2}}$ since ${\displaystyle \partial f/\partial w=\partial f/\partial z=0}$ if and only if ${\displaystyle w=z=0.}$ Thus, we consider the structure of ${\displaystyle V_{f}}$ close to ${\displaystyle (0,0)\in \mathbb {C} ^{2}.}$ In order to do this, we consider the intersection ${\displaystyle V_{f}\cap \mathbb {S} _{\varepsilon }^{3}\subset \mathbb {S} _{\varepsilon }^{3}.}$ This intersection is the so-called link of the singularity ${\displaystyle f(w,z)=w^{p}+z^{q}.}$ The link of ${\displaystyle f(w,z)=w^{p}+z^{q}}$, where p and q are coprime, and both greater than or equal to two, is exactly the (p,q)−torus knot.[10]

## List

The figure on the right is torus link (72,4) .

Table
#
A-B Image P Q Cross
#
0 01
0
3a1 31
3 2 3
5a2 51
5 2 5
7a7 71
7 2 7
8n3 819
4 3 8
9a41 91
9 2 9
10n21 10124
5 3 10
11a367
11 2 11
13a4878 13 2 13
7 3 14
5 4 15
15 2 15
8 3 16
17 2 17
19 2 19
10 3 20
7 4 21
21 2 21
11 3 22
23 2 23
6 5 24
25 2 25
13 3 26
9 4 27
27 2 27
7 5 28
14 3 28
29 2 29
31 2 31
8 5 32
16 3 32
11 4 33
33 2 33
17 3 34
7 6 35
35 2 35
9 5 36
8 7 48
9 7 54
9 8 63

## References

1. ^ a b c Livingston, Charles (1993). Knot Theory,[page needed]. Mathematical Association of America. ISBN 0-88385-027-3
2. ^ a b c d Murasugi, Kunio (1996). Knot Theory and its Applications,[page needed]. Birkhäuser. ISBN 3-7643-3817-2
3. ^ a b c d Kawauchi, Akio (1996). A Survey of Knot Theory,[page needed]. Birkhäuser. ISBN 3-7643-5124-1
4. ^ Norwood, Rick (1982). "Every Two generator Knot is Prime", Proceedings of the American Mathematical Society, Vol. 86, No. 1, p 143 7.
5. ^ a b c Lickorish, W. B. R. (1997). An Introduction to Knot Theory,[page needed]. Springer. ISBN 0-387-98254-X
6. ^ Dehornoy, P. et al. (2000). Why are Braids Orderable?,[page needed]. "Archived copy" (PDF). Archived from the original (PDF) on 2012-04-15. Retrieved 2011-11-12.
7. ^ Birman, J. S., and Brendle, T. E. Braids: a Survey. In: Menasco, W., and Thistlethwaite, M. (Eds.) (2005). Handbook of Knot Theory,[page needed]. Elsevier. ISBN 0-444-51452-X.
8. ^ Kehoe, Elaine (April 2012), "2012 Morgan Prize", Notices of the American Mathematical Society, 59 (4): 569–571, doi:10.1090/noti825.
9. ^ Pardon, John (2011), "On the distortion of knots on embedded surfaces", Annals of Mathematics, Second Series, 174 (1): 637–646, arXiv:1010.1972, doi:10.4007/annals.2011.174.1.21, MR 2811613.[page needed]
10. ^ Milnor, J. (1968). Singular Points of Complex Hypersurfaces. Princeton University Press. p. [page needed]. ISBN 0-691-08065-8.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.