Hopf link

Last updated
Hopf Link.png
Braid length 2
Braid no. 2
Crossing no. 2
Hyperbolic volume 0
Linking no. 1
Stick no. 6
Unknotting no. 1
Conway notation [2]
A–B notation 22
1
Thistlethwaite L2a1
Last /Next L0 /  L4a1
Other
alternating, torus, fibered
Skein relation for the Hopf link. Skein-relation-link22-plus-sm.png
Skein relation for the Hopf link.

In mathematical knot theory, the Hopf link is the simplest nontrivial link with more than one component. [1] It consists of two circles linked together exactly once, [2] and is named after Heinz Hopf. [3]

Contents

Geometric realization

A concrete model consists of two unit circles in perpendicular planes, each passing through the center of the other. [2] This model minimizes the ropelength of the link and until 2002 the Hopf link was the only link whose ropelength was known. [4] The convex hull of these two circles forms a shape called an oloid. [5]

Properties

Depending on the relative orientations of the two components the linking number of the Hopf link is ±1. [6]

The Hopf link is a (2,2)-torus link [7] with the braid word [8]

The knot complement of the Hopf link is R × S1 × S1, the cylinder over a torus. [9] This space has a locally Euclidean geometry, so the Hopf link is not a hyperbolic link. The knot group of the Hopf link (the fundamental group of its complement) is Z2 (the free abelian group on two generators), distinguishing it from an unlinked pair of loops which has the free group on two generators as its group. [10]

The Hopf-link is not tricolorable: it is not possible to color the strands of its diagram with three colors, so that at least two of the colors are used and so that every crossing has one or three colors present. Each link has only one strand, and if both strands are given the same color then only one color is used, while if they are given different colors then the crossings will have two colors present.

Hopf bundle

The Hopf fibration is a continuous function from the 3-sphere (a three-dimensional surface in four-dimensional Euclidean space) into the more familiar 2-sphere, with the property that the inverse image of each point on the 2-sphere is a circle. Thus, these images decompose the 3-sphere into a continuous family of circles, and each two distinct circles form a Hopf link. This was Hopf's motivation for studying the Hopf link: because each two fibers are linked, the Hopf fibration is a nontrivial fibration. This example began the study of homotopy groups of spheres. [11]

Biology

The Hopf link is also present in some proteins. [12] [13] It consists of two covalent loops, formed by pieces of protein backbone, closed with disulfide bonds. The Hopf link topology is highly conserved in proteins and adds to their stability. [12]

History

Buzan-ha crest Buzanha wachigai mon.jpg
Buzan-ha crest

The Hopf link is named after topologist Heinz Hopf, who considered it in 1931 as part of his research on the Hopf fibration. [14] However, in mathematics, it was known to Carl Friedrich Gauss before the work of Hopf. [3] It has also long been used outside mathematics, for instance as the crest of Buzan-ha, a Japanese Buddhist sect founded in the 16th century.

See also

Related Research Articles

<span class="mw-page-title-main">John Milnor</span> American mathematician

John Willard Milnor is an American mathematician known for his work in differential topology, algebraic K-theory and low-dimensional holomorphic dynamical systems. Milnor is a distinguished professor at Stony Brook University and one of the five mathematicians to have won the Fields Medal, the Wolf Prize, and the Abel Prize

<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 through itself.

<span class="mw-page-title-main">Fiber bundle</span> Continuous surjection satisfying a local triviality condition

In mathematics, and particularly topology, a fiber bundle is a space that is locally a product space, but globally may have a different topological structure. Specifically, the similarity between a space and a product space is defined using a continuous surjective map, that in small regions of behaves just like a projection from corresponding regions of to The map called the projection or submersion of the bundle, is regarded as part of the structure of the bundle. The space is known as the total space of the fiber bundle, as the base space, and the fiber.

<span class="mw-page-title-main">Knot (mathematics)</span> Embedding of the circle in three dimensional Euclidean space

In mathematics, a knot is an embedding of the circle S1 into three-dimensional Euclidean space, R3. Often two knots are considered equivalent if they are ambient isotopic, that is, if there exists a continuous deformation of R3 which takes one knot to the other.

<span class="mw-page-title-main">Trefoil knot</span> Simplest non-trivial closed knot with three crossings

In knot theory, a branch of mathematics, the trefoil knot is the simplest example of a nontrivial knot. The trefoil can be obtained by joining together the two loose ends of a common overhand knot, resulting in a knotted loop. As the simplest knot, the trefoil is fundamental to the study of mathematical knot theory.

<span class="mw-page-title-main">Hopf fibration</span> Fiber bundle of the 3-sphere over the 2-sphere, with 1-spheres as fibers

In the mathematical field of differential topology, the Hopf fibration describes a 3-sphere in terms of circles and an ordinary sphere. Discovered by Heinz Hopf in 1931, it is an influential early example of a fiber bundle. Technically, Hopf found a many-to-one continuous function from the 3-sphere onto the 2-sphere such that each distinct point of the 2-sphere is mapped from a distinct great circle of the 3-sphere. Thus the 3-sphere is composed of fibers, where each fiber is a circle — one for each point of the 2-sphere.

<span class="mw-page-title-main">Borromean rings</span> Three linked but pairwise separated rings

In mathematics, the Borromean rings are three simple closed curves in three-dimensional space that are topologically linked and cannot be separated from each other, but that break apart into two unknotted and unlinked loops when any one of the three is cut or removed. Most commonly, these rings are drawn as three circles in the plane, in the pattern of a Venn diagram, alternatingly crossing over and under each other at the points where they cross. Other triples of curves are said to form the Borromean rings as long as they are topologically equivalent to the curves depicted in this drawing.

<span class="mw-page-title-main">3-manifold</span> Mathematical space

In mathematics, a 3-manifold is a space that locally looks like Euclidean 3-dimensional space. A 3-manifold can be thought of as a possible shape of the universe. Just as a sphere looks like a plane to a small enough observer, all 3-manifolds look like our universe does to a small enough observer. This is made more precise in the definition below.

<span class="mw-page-title-main">Homotopy groups of spheres</span> How spheres of various dimensions can wrap around each other

In the mathematical field of algebraic topology, the homotopy groups of spheres describe how spheres of various dimensions can wrap around each other. They are examples of topological invariants, which reflect, in algebraic terms, the structure of spheres viewed as topological spaces, forgetting about their precise geometry. Unlike homology groups, which are also topological invariants, the homotopy groups are surprisingly complex and difficult to compute.

<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.

<span class="mw-page-title-main">Torus knot</span> Knot which lies on the surface of a torus in 3-dimensional space

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. A torus knot is trivial 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.

<span class="mw-page-title-main">Fibered knot</span> Mathematical knot

In knot theory, a branch of mathematics, a knot or link in the 3-dimensional sphere is called fibered or fibred if there is a 1-parameter family of Seifert surfaces for , where the parameter runs through the points of the unit circle , such that if is not equal to then the intersection of and is exactly .

<span class="mw-page-title-main">Brunnian link</span> Interlinked multi-loop construction where cutting one loop frees all the others

In knot theory, a branch of topology, a Brunnian link is a nontrivial link that becomes a set of trivial unlinked circles if any one component is removed. In other words, cutting any loop frees all the other loops.

In mathematics, the Gordon–Luecke theorem on knot complements states that if the complements of two tame knots are homeomorphic, then the knots are equivalent. In particular, any homeomorphism between knot complements must take a meridian to a meridian.

<span class="mw-page-title-main">Ropelength</span> Knot invariant

In physical knot theory, each realization of a link or knot has an associated ropelength. Intuitively this is the minimal length of an ideally flexible rope that is needed to tie a given link, or knot. Knots and links that minimize ropelength are called ideal knots and ideal links respectively.

In molecular biology, the cerato-platanin family of proteins includes the phytotoxin cerato-platanin (CP) produced by the Ascomycete Ceratocystis platani. CP homologs are also found in both the Ascomycota and the Basidiomycota branches of Dikarya. This toxin causes the severe plant disease: canker stain. This protein occurs in the cell wall of the fungus and is involved in the host-pathogen interaction and induces both cell necrosis and phytoalexin synthesis which is one of the first plant defense-related events. CP, like other fungal surface proteins, is able to self-assemble in vitro. CP is a 120 amino acid protein, containing 40% hydrophobic residues. It is one of the rare examples of protein in which contains a Hopf link. The link is formed by covalent loops - the pieces of protein backbone closed by two disulphide bonds. The N-terminal region of CP is very similar to cerato-ulmin, a phytotoxic protein produced by the Ophiostoma species belonging to the hydrophobin family, which also self-assembles.

<span class="mw-page-title-main">Knotted protein</span>

Knotted proteins are proteins whose backbones entangle themselves in a knot. One can imagine pulling a protein chain from both termini, as though pulling a string from both ends. When a knotted protein is “pulled” from both termini, it does not get disentangled. Knotted proteins are very rare, making up only about one percent of the proteins in the Protein Data Bank, and their folding mechanisms and function are not well understood. Although there are experimental and theoretical studies that hint to some answers, systematic answers to these questions have not yet been found.

<span class="mw-page-title-main">Quadrisecant</span> Line through four points of a curve

In geometry, a quadrisecant or quadrisecant line of a space curve is a line that passes through four points of the curve. This is the largest possible number of intersections that a generic space curve can have with a line, and for such curves the quadrisecants form a discrete set of lines. Quadrisecants have been studied for curves of several types:

Complex lasso proteins are proteins in which a covalent loop is pierced by another piece of the backbone. Subclass of complex lasso proteins are Lasso peptides in which the loop is formed by post-translational amide bridge.

References

  1. Adams, Colin Conrad (2004), The Knot Book: An Elementary Introduction to the Mathematical Theory of Knots, American Mathematical Society, p. 151, ISBN   9780821836781 .
  2. 1 2 Kusner, Robert B.; Sullivan, John M. (1998), "On distortion and thickness of knots", Topology and geometry in polymer science (Minneapolis, MN, 1996), IMA Vol. Math. Appl., vol. 103, New York: Springer, pp. 67–78, doi:10.1007/978-1-4612-1712-1_7, MR   1655037 . See in particular p. 77.
  3. 1 2 Prasolov, V. V.; Sossinsky, A. B. (1997), Knots, links, braids and 3-manifolds: An introduction to the new invariants in low-dimensional topology, Translations of Mathematical Monographs, vol. 154, Providence, RI: American Mathematical Society, p. 6, ISBN   0-8218-0588-6, MR   1414898 .
  4. Cantarella, Jason; Kusner, Robert B.; Sullivan, John M. (2002), "On the minimum ropelength of knots and links", Inventiones Mathematicae, 150 (2): 257–286, arXiv: math/0103224 , Bibcode:2002InMat.150..257C, doi:10.1007/s00222-002-0234-y, MR   1933586, S2CID   730891 .
  5. Dirnböck, Hans; Stachel, Hellmuth (1997), "The development of the oloid" (PDF), Journal for Geometry and Graphics, 1 (2): 105–118, MR   1622664 .
  6. Adams (2004), p. 21.
  7. Kauffman, Louis H. (1987), On Knots, Annals of Mathematics Studies, vol. 115, Princeton University Press, p. 373, ISBN   9780691084350 .
  8. Adams (2004), Exercise 5.22, p. 133.
  9. Turaev, Vladimir G. (2010), Quantum Invariants of Knots and 3-manifolds, De Gruyter studies in mathematics, vol. 18, Walter de Gruyter, p. 194, ISBN   9783110221831 .
  10. Hatcher, Allen (2002), Algebraic Topology, p. 24, ISBN   9787302105886 .
  11. Shastri, Anant R. (2013), Basic Algebraic Topology, CRC Press, p. 368, ISBN   9781466562431 .
  12. 1 2 Dabrowski-Tumanski, Pawel; Sulkowska, Joanna I. (2017-03-28), "Topological knots and links in proteins", Proceedings of the National Academy of Sciences, 114 (13): 3415–3420, Bibcode:2017PNAS..114.3415D, doi: 10.1073/pnas.1615862114 , ISSN   0027-8424, PMC   5380043 , PMID   28280100
  13. Dabrowski-Tumanski, Pawel; Jarmolinska, Aleksandra I.; Niemyska, Wanda; Rawdon, Eric J.; Millett, Kenneth C.; Sulkowska, Joanna I. (2017-01-04), "LinkProt: a database collecting information about biological links", Nucleic Acids Research, 45 (D1): D243–D249, doi:10.1093/nar/gkw976, ISSN   0305-1048, PMC   5210653 , PMID   27794552
  14. Hopf, Heinz (1931), "Über die Abbildungen der dreidimensionalen Sphäre auf die Kugelfläche", Mathematische Annalen , Berlin: Springer, 104 (1): 637–665, doi:10.1007/BF01457962, S2CID   123533891 .