Link group

Last updated

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, ( Milnor 1954 ). Notably, the link group is not in general the fundamental group of the link complement.

Contents

Definition

The Whitehead link is link homotopic to the unlink, but not isotopic to the unlink. Whiteheadlink.png
The Whitehead link is link homotopic to the unlink, but not isotopic to the unlink.

The link group of an n-component link is essentially the set of (n + 1)-component links extending this link, up to link homotopy. In other words, each component of the extended link is allowed to move through regular homotopy (homotopy through immersions), knotting or unknotting itself, but is not allowed to move through other components. This is a weaker condition than isotopy: for example, the Whitehead link has linking number  0, and thus is link homotopic to the unlink, but it is not isotopic to the unlink.

The link group is not the fundamental group of the link complement, since the components of the link are allowed to move through themselves, though not each other, but thus is a quotient group of the link complement's fundamental group, since one can start with elements of the fundamental group, and then by knotting or unknotting components, some of these elements may become equivalent to each other.

Examples

The link group of the n-component unlink is the free group on n generators, , 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.

The link group of the Hopf link is
Z
2
.
{\displaystyle \mathbf {Z} ^{2}.} Hopf link.svg
The link group of the Hopf link is

The link group of the Hopf link, the simplest non-trivial link – two circles, linked once – is the free abelian group on two generators, Note that the link group of two unlinked circles is the free nonabelian group on two generators, of which the free abelian group on two generators is a quotient. In this case the link group is the fundamental group of the link complement, as the link complement deformation retracts onto a torus.

The Whitehead link is link homotopic to the unlink – though it is not isotopic to the unlink – and thus has link group the free group on two generators.

Milnor invariants

Milnor defined invariants of a link (functions on the link group) in ( Milnor 1954 ), using the character which have thus come to be called "Milnor's μ-bar invariants", or simply the "Milnor invariants". For each k, there is a k-ary function which defines invariants according to which k of the links one selects, in which order.

Milnor's invariants can be related to Massey products on the link complement (the complement of the link); this was suggested in ( Stallings 1965 ), and made precise in ( Turaev 1976 ) and ( Porter 1980 ).

As with Massey products, the Milnor invariants of length k + 1 are defined if all Milnor invariants of length less than or equal to k vanish. The first (2-fold) Milnor invariant is simply the linking number (just as the 2-fold Massey product is the cup product, which is dual to intersection), while the 3-fold Milnor invariant measures whether 3 pairwise unlinked circles are Borromean rings, and if so, in some sense, how many times (that is to say, the Borromean rings have a Milnor 3-fold invariant of 1 or –1, depending on order, but other 3-element links can have an invariant of 2 or more, just as linking numbers can be greater than 1).

Another definition is the following: consider a link . Suppose that for and . Pick any Seifert surfaces for the respective link components, say, , such that for all . Then the Milnor 3-fold invariant equals minus the number of intersection points in counting with signs; ( Cochran 1990 ).

Milnor invariants can also be defined if the lower order invariants do not vanish, but then there is an indeterminacy, which depends on the values of the lower order invariants. This indeterminacy can be understood geometrically as the indeterminacy in expressing a link as a closed string link, as discussed below (it can also be seen algebraically as the indeterminacy of Massey products if lower order Massey products do not vanish).

Milnor invariants can be considered as invariants of string links, in which case they are universally defined, and the indeterminacy of the Milnor invariant of a link is precisely due to the multiple ways that a given links can be cut into a string link; this allows the classification of links up to link homotopy, as in ( Habegger & Lin 1990 ). Viewed from this point of view, Milnor invariants are finite type invariants, and in fact they (and their products) are the only rational finite type concordance invariants of string links; ( Habegger & Masbaum 2000 ).

The number of linearly independent Milnor invariants of length for m-component links is , where is the number of basic commutators of length k in the free Lie algebra on m generators, namely:

,

where is the Möbius function; see for instance ( Orr 1989 ). This number grows on the order of .

Applications

Link groups can be used to classify Brunnian links.

See also

Related Research Articles

<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">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">Braid group</span> Group whose operation is a composition of braids

In mathematics, the braid group on n strands, also known as the Artin braid group, is the group whose elements are equivalence classes of n-braids, and whose group operation is composition of braids. Example applications of braid groups include knot theory, where any knot may be represented as the closure of certain braids ; in mathematical physics where Artin's canonical presentation of the braid group corresponds to the Yang–Baxter equation ; and in monodromy invariants of algebraic geometry.

Algebraic K-theory is a subject area in mathematics with connections to geometry, topology, ring theory, and number theory. Geometric, algebraic, and arithmetic objects are assigned objects called K-groups. These are groups in the sense of abstract algebra. They contain detailed information about the original object but are notoriously difficult to compute; for example, an important outstanding problem is to compute the K-groups of the integers.

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 mathematics, the Alexander polynomial is a knot invariant which assigns a polynomial with integer coefficients to each knot type. James Waddell Alexander II discovered this, the first knot polynomial, in 1923. In 1969, John Conway showed a version of this polynomial, now called the Alexander–Conway polynomial, could be computed using a skein relation, although its significance was not realized until the discovery of the Jones polynomial in 1984. Soon after Conway's reworking of the Alexander polynomial, it was realized that a similar skein relation was exhibited in Alexander's paper on his polynomial.

In an area of mathematics called differential topology, an exotic sphere is a differentiable manifold M that is homeomorphic but not diffeomorphic to the standard Euclidean n-sphere. That is, M is a sphere from the point of view of all its topological properties, but carrying a smooth structure that is not the familiar one.

<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">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">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, Khovanov homology is an oriented link invariant that arises as the cohomology of a cochain complex. It may be regarded as a categorification of the Jones polynomial.

<span class="mw-page-title-main">Massey product</span>

In algebraic topology, the Massey product is a cohomology operation of higher order introduced in, which generalizes the cup product. The Massey product was created by William S. Massey, an American algebraic topologist.

In the mathematical theory of knots, a finite type invariant, or Vassiliev invariant, is a knot invariant that can be extended to an invariant of certain singular knots that vanishes on singular knots with m + 1 singularities and does not vanish on some singular knot with 'm' singularities. It is then said to be of type or order m.

In mathematics, Alexander duality refers to a duality theory initiated by a result of J. W. Alexander in 1915, and subsequently further developed, particularly by Pavel Alexandrov and Lev Pontryagin. It applies to the homology theory properties of the complement of a subspace X in Euclidean space, a sphere, or other manifold. It is generalized by Spanier–Whitehead duality.

<span class="mw-page-title-main">Slice knot</span> Knot that bounds an embedded disk in 4-space

A slice knot is a mathematical knot in 3-dimensional space that bounds an embedded disk in 4-dimensional space.

<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 mathematics, the Kervaire invariant is an invariant of a framed -dimensional manifold that measures whether the manifold could be surgically converted into a sphere. This invariant evaluates to 0 if the manifold can be converted to a sphere, and 1 otherwise. This invariant was named after Michel Kervaire who built on work of Cahit Arf.

In mathematics, Reidemeister torsion is a topological invariant of manifolds introduced by Kurt Reidemeister for 3-manifolds and generalized to higher dimensions by Wolfgang Franz (1935) and Georges de Rham (1936). Analytic torsion is an invariant of Riemannian manifolds defined by Daniel B. Ray and Isadore M. Singer as an analytic analogue of Reidemeister torsion. Jeff Cheeger and Werner Müller (1978) proved Ray and Singer's conjecture that Reidemeister torsion and analytic torsion are the same for compact Riemannian manifolds.

In mathematics, two links and are concordant if there exists an embedding such that and .

References