Brunnian link

Last updated
This four-component link is a Brunnian link. Brunnian-4loops.svg
This four-component link is a Brunnian link.

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 (so that no two loops can be directly linked).

Contents

The name Brunnian is after Hermann Brunn. Brunn's 1892 article Über Verkettung included examples of such links.

Examples

The Borromean rings are the simplest Brunnian link. BorromeanRings.svg
The Borromean rings are the simplest Brunnian link.
Six-component "rubberband" Brunnian link. The same construction leads to Brunnian links with arbitrary numbers of components. Six-rubberband link.svg
Six-component "rubberband" Brunnian link. The same construction leads to Brunnian links with arbitrary numbers of components.

The best-known and simplest possible Brunnian link is the Borromean rings, a link of three unknots. However for every number three or above, there are an infinite number of links with the Brunnian property containing that number of loops. Here are some relatively simple three-component Brunnian links which are not the same as the Borromean rings:

The simplest Brunnian link other than the 6-crossing Borromean rings is presumably the 10-crossing L10a140 link. [1]

An example of an n-component Brunnian link is given by the "rubberband" Brunnian Links, where each component is looped around the next as aba−1b−1, with the last looping around the first, forming a circle. [2]

In 2020, new and much more complicated Brunnian links were discovered in [3] using highly flexible geometric-topology methods. See Section 6. [3]

Non-circularity

It is impossible for a Brunnian link to be constructed from geometric circles. Somewhat more generally, if a link has the property that each component is a circle and no two components are linked, then it is trivial. The proof, by Michael Freedman and Richard Skora, embeds the three-dimensional space containing the link as the boundary of a Poincaré ball model of four-dimensional hyperbolic space, and considers the hyperbolic convex hulls of the circles. These are two-dimensional subspaces of the hyperbolic space, and their intersection patterns reflect the pairwise linking of the circles: if two circles are linked, then their hulls have a point of intersection, but with the assumption that pairs of circles are unlinked, the hulls are disjoint. Taking cross-sections of the Poincaré ball by concentric three-dimensional spheres, the intersection of each sphere with the hulls of the circles is again a link made out of circles, and this family of cross-sections provides a continuous motion of all of the circles that shrinks each of them to a point without crossing any of the others. [4]

Classification

Brunnian links were classified up to link-homotopy by John Milnor in ( Milnor 1954 ), and the invariants he introduced are now called Milnor invariants.

An (n + 1)-component Brunnian link can be thought of as an element of the link group – which in this case (but not in general) is the fundamental group of the link complement – of the n-component unlink, since by Brunnianness removing the last link unlinks the others. The link group of the n-component unlink is the free group on n generators, Fn, as the link group of a single link is the knot group of the unknot, which is the integers, and the link group of an unlinked union is the free product of the link groups of the components.

Not every element of the link group gives a Brunnian link, as removing any other component must also unlink the remaining n elements. Milnor showed that the group elements that do correspond to Brunnian links are related to the graded Lie algebra of the lower central series of the free group, which can be interpreted as "relations" in the free Lie algebra.

In 2021, two special satellite operations were investigated for Brunnian links in 3-sphere, called "satellite-sum" and "satellite-tie", both of which can be used to construct infinitely many distinct Brunnian links from almost every Brunnian link. [5] A geometric classification theorem for Brunnian links was given. [5] More interestingly, a canonical geometric decomposition in terms of satellite-sum and satellite-tie, which is simpler than JSJ-decomposition, for Brunnian links, was developed. The building blocks of Brunnian links therein turn out to be Hopf -links, hyperbolic Brunnian links, and hyperbolic Brunnian links in unlink-complements, the last of which can be further reduced into a Brunnian link in 3-sphere. [5]

Massey products

Brunnian links can be understood in algebraic topology via Massey products: a Massey product is an n-fold product which is only defined if all (n  1)-fold products of its terms vanish. This corresponds to the Brunnian property of all (n  1)-component sublinks being unlinked, but the overall n-component link being non-trivially linked.

Brunnian braids

The standard braid is Brunnian: if one removes the black strand, the blue strand is always on top of the red strand, and they are thus not braided around each other; likewise for removing other strands. Braid StepBystep.jpg
The standard braid is Brunnian: if one removes the black strand, the blue strand is always on top of the red strand, and they are thus not braided around each other; likewise for removing other strands.

A Brunnian braid is a braid that becomes trivial upon removal of any one of its strings. Brunnian braids form a subgroup of the braid group. Brunnian braids over the 2-sphere that are not Brunnian over the 2-disk give rise to non-trivial elements in the homotopy groups of the 2-sphere. For example, the "standard" braid corresponding to the Borromean rings gives rise to the Hopf fibration S3  S2, and iteration of this (as in everyday braiding) is likewise Brunnian.

Real-world examples

Rainbow loom bracelet showing Brunnian chains Rainbow Loom wide bracelet.jpg
Rainbow loom bracelet showing Brunnian chains

Many disentanglement puzzles and some mechanical puzzles are variants of Brunnian Links, with the goal being to free a single piece only partially linked to the rest, thus dismantling the structure.

Brunnian chains are also used to create wearable and decorative items out of elastic bands using devices such as the Rainbow Loom or Wonder Loom.

Related Research Articles

In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of the topological space. The fundamental group is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent have isomorphic fundamental groups. The fundamental group of a topological space is denoted by .

<span class="mw-page-title-main">Figure-eight knot (mathematics)</span> Unique knot with a crossing number of four

In knot theory, a figure-eight knot is the unique knot with a crossing number of four. This makes it the knot with the third-smallest possible crossing number, after the unknot and the trefoil knot. The figure-eight knot is a prime knot.

<span class="mw-page-title-main">Unknot</span> Loop seen as a trivial knot

In the mathematical theory of knots, the unknot, not knot, or trivial knot, is the least knotted of all knots. Intuitively, the unknot is a closed loop of rope without a knot tied into it, unknotted. To a knot theorist, an unknot is any embedded topological circle in the 3-sphere that is ambient isotopic to a geometrically round circle, the standard unknot.

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

In 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 (mathematics)</span> Embedding of the circle in three dimensional Euclidean space

In mathematics, a knot is an embedding of the circle 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">Linking number</span> Numerical invariant that describes the linking of two closed curves in three-dimensional space

In mathematics, the linking number is a numerical invariant that describes the linking of two closed curves in three-dimensional space. Intuitively, the linking number represents the number of times that each curve winds around the other. In Euclidean space, the linking number is always an integer, but may be positive or negative depending on the orientation of the two curves.

<span class="mw-page-title-main">Low-dimensional topology</span> Branch of topology

In mathematics, low-dimensional topology is the branch of topology that studies manifolds, or more generally topological spaces, of four or fewer dimensions. Representative topics are the structure theory of 3-manifolds and 4-manifolds, knot theory, and braid groups. This can be regarded as a part of geometric topology. It may also be used to refer to the study of topological spaces of dimension 1, though this is more typically considered part of continuum theory.

<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 topological space that locally looks like a three-dimensional Euclidean 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 and close 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.

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.

<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">Hopf link</span> Simplest nontrivial knot link

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

<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">Unlink</span> Link that consists of finitely many unlinked unknots

In the mathematical field of knot theory, an unlink is a link that is equivalent to finitely many disjoint circles in the plane.

In knot theory, an area of mathematics, the link group of a link is an analog of the knot group of a knot. They were described by John Milnor in his Ph.D. thesis,. Notably, the link group is not in general the fundamental group of the link complement.

References

  1. Bar-Natan, Dror (2010-08-16). "All Brunnians, Maybe", [Academic Pensieve].
  2. "Rubberband" Brunnian Links
  3. 1 2 Bai, Sheng; Wang, Weibiao (November 2020). "New criteria and constructions of Brunnian links". Journal of Knot Theory and Its Ramifications. 29 (13): 2043008. arXiv: 2006.10290 . doi:10.1142/S0218216520430087. ISSN   0218-2165.
  4. Freedman, Michael H.; Skora, Richard (1987), "Strange actions of groups on spheres", Journal of Differential Geometry , 25: 75–98, doi: 10.4310/jdg/1214440725 ; see in particular Lemma 3.2, p. 89
  5. 1 2 3 Bai, Sheng; Ma, Jiming (September 2021). "Satellite constructions and geometric classification of Brunnian links". Journal of Knot Theory and Its Ramifications. 30 (10): 2140005. arXiv: 1906.01253 . doi:10.1142/S0218216521400058. ISSN   0218-2165.

Further reading