Pretzel link

Last updated
The (-2,3,7) pretzel knot has two right-handed twists in its first tangle, three left-handed twists in its second, and seven left-handed twists in its third. Pretzel knot.svg
The (−2,3,7) pretzel knot has two right-handed twists in its first tangle, three left-handed twists in its second, and seven left-handed twists in its third.
A (5,3)-torus knot.png
P(5,3,-2) = T(5,3) = 10124
A (4,3)-torus knot.png
P(3,3,-2) = T(4,3) = 819
Only two knots are both torus and pretzel [1]

In the mathematical theory of knots, a pretzel link is a special kind of link. It consists of a finite number of tangles made of two intertwined circular helices. The tangles are connected cyclicly, [2] and the first component of the first tangle is connected to the second component of the second tangle, the first component of the second tangle is connected to the second component of the third tangle, and so on. Finally, the first component of the last tangle is connected to the second component of the first. A pretzel link which is also a knot (that is, a link with one component) is a pretzel knot.

Contents

Each tangle is characterized by its number of twists: positive if they are counter-clockwise or left-handed, negative if clockwise or right-handed. In the standard projection of the pretzel link, there are left-handed crossings in the first tangle, in the second, and, in general, in the nth.

A pretzel link can also be described as a Montesinos link with integer tangles.

Some basic results

The pretzel link is a knot iff both and all the are odd or exactly one of the is even. [3]

The pretzel link is split if at least two of the are zero; but the converse is false.

The pretzel link is the mirror image of the pretzel link.

The pretzel link is isotopic to the pretzel link. Thus, too, the pretzel link is isotopic to the pretzel link. [3]

The pretzel link is isotopic to the pretzel link. However, if one orients the links in a canonical way, then these two links have opposite orientations.

Some examples

The (1, 1, 1) pretzel knot is the (right-handed) trefoil; the (−1, −1, −1) pretzel knot is its mirror image.

The (5, −1, −1) pretzel knot is the stevedore knot  (61).

If p, q, r are distinct odd integers greater than 1, then the (p, q, r) pretzel knot is a non-invertible knot.

The (2p, 2q, 2r) pretzel link is a link formed by three linked unknots.

The (−3, 0, −3) pretzel knot (square knot (mathematics)) is the connected sum of two trefoil knots.

The (0, q, 0) pretzel link is the split union of an unknot and another knot.

Montesinos

A Montesinos link is a special kind of link that generalizes pretzel links (a pretzel link can also be described as a Montesinos link with integer tangles). A Montesinos link which is also a knot (i.e., a link with one component) is a Montesinos knot.

A Montesinos link is composed of several rational tangles. One notation for a Montesinos link is . [4]

In this notation, and all the and are integers. The Montesinos link given by this notation consists of the sum of the rational tangles given by the integer and the rational tangles

These knots and links are named after the Spanish topologist José María Montesinos Amilibia, who first introduced them in 1973. [5]

Utility

(−2, 3, 2n + 1) pretzel links are especially useful in the study of 3-manifolds. Many results have been stated about the manifolds that result from Dehn surgery on the (−2,3,7) pretzel knot in particular.

The hyperbolic volume of the complement of the (−2,3,8) pretzel link is 4 times Catalan's constant, approximately 3.66. This pretzel link complement is one of two two-cusped hyperbolic manifolds with the minimum possible volume, the other being the complement of the Whitehead link. [6]

MontesinosLink1.svg
A Montesinos link. In this example, , and .
PretzelKnot.jpg
Edible (−2,3,7) pretzel knot
Another (-2,3,7) pretzel knot.jpg
Another edible (–2,3,7) pretzel knot, glazed to perfection

Related Research Articles

<span class="mw-page-title-main">Knot theory</span> Study of mathematical knots

In the mathematical field of 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.

<span class="mw-page-title-main">Knot invariant</span> Function of a knot that takes the same value for equivalent knots

In the mathematical field of knot theory, a knot invariant is a quantity (in a broad sense) defined for each knot which is the same for equivalent knots. The equivalence is often given by ambient isotopy but can be given by homeomorphism. Some invariants are indeed numbers (algebraic), but invariants can range from the simple, such as a yes/no answer, to those as complex as a homology theory (for example, "a knot invariant is a rule that assigns to any knot K a quantity φ(K) such that if K and K' are equivalent then φ(K) = φ(K')."). Research on invariants is not only motivated by the basic problem of distinguishing one knot from another but also to understand fundamental properties of knots and their relations to other branches of mathematics. Knot invariants are thus used in knot classification, both in "enumeration" and "duplication removal".

A knot invariant is a quantity defined on the set of all knots, which takes the same value for any two equivalent knots. For example, a knot group is a knot invariant.

Typically a knot invariant is a combinatorial quantity defined on knot diagrams. Thus if two knot diagrams differ with respect to some knot invariant, they must represent different knots. However, as is generally the case with topological invariants, if two knot diagrams share the same values with respect to a [single] knot invariant, then we still cannot conclude that the knots are the same.

<span class="mw-page-title-main">De Rham cohomology</span> Cohomology with real coefficients computed using differential forms

In mathematics, de Rham cohomology is a tool belonging both to algebraic topology and to differential topology, capable of expressing basic topological information about smooth manifolds in a form particularly adapted to computation and the concrete representation of cohomology classes. It is a cohomology theory based on the existence of differential forms with prescribed properties.

Lagrange's four-square theorem, also known as Bachet's conjecture, states that every natural number can be represented as a sum of four non-negative integral squares. That is, the squares form an additive basis of order four.

<span class="mw-page-title-main">Lindemann–Weierstrass theorem</span> On algebraic independence of exponentials of linearly independent algebraic numbers over Q

In transcendental number theory, the Lindemann–Weierstrass theorem is a result that is very useful in establishing the transcendence of numbers. It states the following:

<span class="mw-page-title-main">Foliation</span> In mathematics, a type of equivalence relation on an n-manifold

In mathematics, a foliation is an equivalence relation on an n-manifold, the equivalence classes being connected, injectively immersed submanifolds, all of the same dimension p, modeled on the decomposition of the real coordinate space Rn into the cosets x + Rp of the standardly embedded subspace Rp. The equivalence classes are called the leaves of the foliation. If the manifold and/or the submanifolds are required to have a piecewise-linear, differentiable, or analytic structure then one defines piecewise-linear, differentiable, or analytic foliations, respectively. In the most important case of differentiable foliation of class Cr it is usually understood that r ≥ 1. The number p is called the dimension of the foliation and q = np is called its codimension.

In gauge theory and mathematical physics, a topological quantum field theory is a quantum field theory which computes topological invariants.

In mathematics, Kronecker's theorem is a theorem about diophantine approximation, introduced by Leopold Kronecker (1884).

In geometric topology and differential topology, an (n + 1)-dimensional cobordism W between n-dimensional manifolds M and N is an h-cobordism (the h stands for homotopy equivalence) if the inclusion maps

In the mathematical field of geometric topology, a Heegaard splitting is a decomposition of a compact oriented 3-manifold that results from dividing it into two handlebodies.

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 the field of topology, the signature is an integer invariant which is defined for an oriented manifold M of dimension divisible by four.

<span class="mw-page-title-main">Link (knot theory)</span> Collection of knots which do not intersect, but may be linked

In mathematical knot theory, a link is a collection of knots which do not intersect, but which may be linked together. A knot can be described as a link with one component. Links and knots are studied in a branch of mathematics called knot theory. Implicit in this definition is that there is a trivial reference link, usually called the unlink, but the word is also sometimes used in context where there is no notion of a trivial link.

In topology, a branch of mathematics, a Dehn surgery, named after Max Dehn, is a construction used to modify 3-manifolds. The process takes as input a 3-manifold together with a link. It is often conceptualized as two steps: drilling then filling.

<span class="mw-page-title-main">Whitehead link</span> Two interlinked loops with five structural crossings

In knot theory, the Whitehead link, named for J. H. C. Whitehead, is one of the most basic links. It can be drawn as an alternating link with five crossings, from the overlay of a circle and a figure-eight shaped loop.

<span class="mw-page-title-main">Differentiable manifold</span> Manifold upon which it is possible to perform calculus

In mathematics, a differentiable manifold is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible, then computations done in one chart are valid in any other differentiable chart.

<span class="mw-page-title-main">Calculus of moving surfaces</span> Extension of the classical tensor calculus

The calculus of moving surfaces (CMS) is an extension of the classical tensor calculus to deforming manifolds. Central to the CMS is the Tensorial Time Derivative whose original definition was put forth by Jacques Hadamard. It plays the role analogous to that of the covariant derivative on differential manifolds in that it produces a tensor when applied to a tensor.

<span class="mw-page-title-main">Trochoidal wave</span> Exact solution of the Euler equations for periodic surface gravity waves

In fluid dynamics, a trochoidal wave or Gerstner wave is an exact solution of the Euler equations for periodic surface gravity waves. It describes a progressive wave of permanent form on the surface of an incompressible fluid of infinite depth. The free surface of this wave solution is an inverted (upside-down) trochoid – with sharper crests and flat troughs. This wave solution was discovered by Gerstner in 1802, and rediscovered independently by Rankine in 1863.

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.

References

  1. "10 124", The Knot Atlas . Accessed November 19, 2017.
  2. Pretzel link at Mathcurve
  3. 1 2 Kawauchi, Akio (1996). A survey of knot theory. Birkhäuser. ISBN   3-7643-5124-1
  4. Zieschang, Heiner (1984), "Classification of Montesinos knots", Topology (Leningrad, 1982), Lecture Notes in Mathematics, vol. 1060, Berlin: Springer, pp. 378–389, doi:10.1007/BFb0099953, MR   0770257
  5. Montesinos, José M. (1973), "Seifert manifolds that are ramified two-sheeted cyclic coverings", Boletín de la Sociedad Matemática Mexicana, 2, 18: 1–32, MR   0341467
  6. Agol, Ian (2010), "The minimal volume orientable hyperbolic 2-cusped 3-manifolds", Proceedings of the American Mathematical Society , 138 (10): 3723–3732, arXiv: 0804.0043 , doi:10.1090/S0002-9939-10-10364-5, MR   2661571 .

Further reading