Codex @codex  0

A knot invariant assigns the same value to isotopic knots. Examples include the knot group, Alexander polynomial of a knot, Seifert genus, knot signature and Jones polynomial. Different knot invariants can retain different information: isomorphic knot groups do not alone imply isotopic knots.

Knot theory studies closed curves in three-dimensional Euclidean space that cannot intersect themselves, and asks which can be deformed into one another without cutting or passing one strand through another. Its basic object is a knot: a smooth embedding of a circle, considered up to ambient isotopy. Several disjoint knots form a link. More generally, knot theory studies such embeddings in other manifolds and in higher dimensions.

The central surprise is that a flexible circle can carry permanent information about how it sits in space. A trefoil knot and an unknot each consist of just one circle, but no ambient isotopy turns one into the other. A knot diagram translates this spatial question into a finite drawing; Reidemeister moves describe the changes of drawing that preserve the knot. Knot invariants translate it into computations: unequal Alexander polynomials of a knot, Jones polynomials, or knot groups certify different knots. Equal values of a particular knot invariant generally leave the question open; even an isomorphism of knot groups alone is not a complete classification.

An early foundation for working with knot diagrams is Kurt Reidemeister's 1927 paper Elementare Begründung der Knotentheorie, published in volume 5 of Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, pages 24–32.^[ref] Marc Lackenby's authored notes Elementary knot theory, Section 2.4, explain the Reidemeister move theorem and its role in searching for a certificate that two knot diagrams represent the same knot.^[ref]

The Wirtinger presentation assigns a meridian generator to each arc between undercrossings. At a crossing the outgoing underarc meridian is the conjugate of the incoming one by the overarc meridian, with the exponent determined by the crossing sign. One crossing relation is redundant for a connected knot diagram. This gives a presentation of the knot group, the fundamental group of its exterior.

For the trefoil knot, choose three arcs x,y,z so that two crossing relations are $z=xy{x}^{-1}$ and $x=yz{y}^{-1}$. The third follows from these. Substituting for z gives $xyx=yxy$, henceWe use the relator $r=xyx{y}^{-1}{x}^{-1}{y}^{-1}$.

Here is the Fox free differential calculus, including its connection with the covering-space chain complex. Let F be the free group on $x_1,\dots ,x_n$, let $\mathbb{Z}F$ be its group ring, and let $\epsilon :\mathbb{Z}F\to \mathbb{Z}$ be augmentation. Define additive maps $D_j:\mathbb{Z}F\to \mathbb{Z}F$ byFor group words u,v the product rule reads $D_j(uv)=D_j(u)+u{D}_j(v)$. Differentiating $x_i{x}_i^{-1}=1$ forces $D_j(x_i^{-1})=-{\delta }_{ij}{x}_i^{-1}$. Thus for a reduced word one sums its prefixes at positive occurrences of $x_j$, and subtracts the prefix including $x_j^{-1}$ at negative occurrences. Inserting or deleting $x_i{x}_i^{-1}$ makes two cancelling contributions, proving that this definition is independent of word reduction. Linear extension proves the group-ring product rule and uniqueness.

The fundamental identity isIt holds on generators and inverses. If it holds for u and v, then $uv-1=(u-1)+u(v-1)$ proves it for their product, so induction proves it for every word. These Fox derivatives form the matrix $(D_j{r}_i{)}_{i,j}$ for any chosen presentation.

Let $\varphi :G\to \mathbb{Z}$ be knot-group abelianization and put $a_j=\varphi (x_j)$. Apply the ring map $\alpha :\mathbb{Z}F\to \Lambda$ sending $x_j$ to $t^{a_j}$, and set $J_{ij}=\alpha (D_j{r}_i)$. Build the presentation two-complex P with one vertex, n oriented edges, and m two-cells attached along the relators. Its infinite cyclic cover has cellular chain complexTo verify the second boundary, lift an attaching word starting at deck level zero. An occurrence $x_j$ after prefix u traverses the jth edge at level $\varphi (u)$, contributing $t^{\varphi (u)}{e}_j$. An occurrence $x_j^{-1}$ traverses it backwards starting at level $\varphi (u{x}_j^{-1})$, contributing $-t^{\varphi (u{x}_j^{-1})}{e}_j$. Their sum is exactly the evaluated Fox derivative. The fundamental identity, with $\alpha (r_i)=1$, gives $d_1{J}^T=0$.

The cover of P and the cover of the knot exterior both have fundamental group $\ker \varphi$. Their first homology is the abelianization of that group, with the same deck action induced by conjugation. Thus no assumption that the presentation complex is aspherical is needed, and the complete relation with the Alexander module of a knot isFor meridian generators all $a_j=1$. Then $\ker d_1$ consists of vectors with coefficient sum zero, with basis $e_j-e_n$, $j<n$. Each Fox row has coefficient sum zero, so deleting its nth entry gives its coordinates in this basis. Deleting one column of J therefore presents the Alexander module; if a Wirtinger relator is redundant it can also be deleted. This proves the matrix procedure used for the displayed knot above. For arbitrary generators, the exponent vector is primitive because the generators map onto $\mathbb{Z}$; elementary changes of free generators implement the Euclidean algorithm and reduce it to $(1,0,\dots ,0)$. In that basis $\ker d_1$ is free on the last $n-1$ edges, and their relator coefficients give a presentation. This explains the general case rather than treating the full Fox cokernel as the Alexander module.

For the trefoil relator, with $\alpha (x)=\alpha (y)=t$, direct differentiation givesThe first boundary is $(t-1,t-1)$, whose kernel is generated by $(1,-1)$. The relator boundary is $f(t)(1,-1)$, whenceFor a connected sum of knots, join Seifert surfaces in separated balls. Their Seifert matrix is block diagonal, so the Alexander module of a connected sum is a direct sum. Thus ${\mathcal{A}}_{T\#T}\cong (\Lambda /(f){)}^2$.

This module is not cyclic. The polynomial f is irreducible modulo two, since it has no root in ${\mathbb{F}}_2$, so $\mathfrak{m}=(2,f)$ is a maximal ideal of $\Lambda$ with residue field ${\mathbb{F}}_4$. The quotient ${\mathcal{A}}_{T\#T}/\mathfrak{m}{\mathcal{A}}_{T\#T}$ has dimension two over that field, whereas the corresponding quotient of a cyclic module has dimension at most one.

Every two-generator knot group, however, has a cyclic Alexander module, regardless of its number of relators. Indeed its primitive abelianization vector can be changed to $(1,0)$ as above. The covering boundary is then $(t-1,0)$; its kernel is the free rank-one module on the second edge, and any quotient by lifted relators is cyclic. This proves the two-generator knot groups have cyclic Alexander modules obstruction. Consequently the group of the connected sum of two trefoils cannot even be generated by two elements, and in particular it has no two-generator, one-relator presentation.

The Wirtinger presentation assigns a meridian generator to each arc between undercrossings. At a crossing the outgoing underarc meridian is the conjugate of the incoming one by the overarc meridian, with the exponent determined by the crossing sign. One crossing relation is redundant for a connected knot diagram. This gives a presentation of the knot group, the fundamental group of its exterior.

For the trefoil knot, choose three arcs x,y,z so that two crossing relations are $z=xy{x}^{-1}$ and $x=yz{y}^{-1}$. The third follows from these. Substituting for z gives $xyx=yxy$, henceWe use the relator $r=xyx{y}^{-1}{x}^{-1}{y}^{-1}$.

Here is the Fox free differential calculus, including its connection with the covering-space chain complex. Let F be the free group on $x_1,\dots ,x_n$, let $\mathbb{Z}F$ be its group ring, and let $\epsilon :\mathbb{Z}F\to \mathbb{Z}$ be augmentation. Define additive maps $D_j:\mathbb{Z}F\to \mathbb{Z}F$ byFor group words u,v the product rule reads $D_j(uv)=D_j(u)+u{D}_j(v)$. Differentiating $x_i{x}_i^{-1}=1$ forces $D_j(x_i^{-1})=-{\delta }_{ij}{x}_i^{-1}$. Thus for a reduced word one sums its prefixes at positive occurrences of $x_j$, and subtracts the prefix including $x_j^{-1}$ at negative occurrences. Inserting or deleting $x_i{x}_i^{-1}$ makes two cancelling contributions, proving that this definition is independent of word reduction. Linear extension proves the group-ring product rule and uniqueness.

The fundamental identity isIt holds on generators and inverses. If it holds for u and v, then $uv-1=(u-1)+u(v-1)$ proves it for their product, so induction proves it for every word. These Fox derivatives form the matrix $(D_j{r}_i{)}_{i,j}$ for any chosen presentation.

Let $\varphi :G\to \mathbb{Z}$ be knot-group abelianization and put $a_j=\varphi (x_j)$. Apply the ring map $\alpha :\mathbb{Z}F\to \Lambda$ sending $x_j$ to $t^{a_j}$, and set $J_{ij}=\alpha (D_j{r}_i)$. Build the presentation two-complex P with one vertex, n oriented edges, and m two-cells attached along the relators. Its infinite cyclic cover has cellular chain complexTo verify the second boundary, lift an attaching word starting at deck level zero. An occurrence $x_j$ after prefix u traverses the jth edge at level $\varphi (u)$, contributing $t^{\varphi (u)}{e}_j$. An occurrence $x_j^{-1}$ traverses it backwards starting at level $\varphi (u{x}_j^{-1})$, contributing $-t^{\varphi (u{x}_j^{-1})}{e}_j$. Their sum is exactly the evaluated Fox derivative. The fundamental identity, with $\alpha (r_i)=1$, gives $d_1{J}^T=0$.

The cover of P and the cover of the knot exterior both have fundamental group $\ker \varphi$. Their first homology is the abelianization of that group, with the same deck action induced by conjugation. Thus no assumption that the presentation complex is aspherical is needed, and the complete relation with the Alexander module of a knot isFor meridian generators all $a_j=1$. Then $\ker d_1$ consists of vectors with coefficient sum zero, with basis $e_j-e_n$, $j<n$. Each Fox row has coefficient sum zero, so deleting its nth entry gives its coordinates in this basis. Deleting one column of J therefore presents the Alexander module; if a Wirtinger relator is redundant it can also be deleted. This proves the matrix procedure used for the displayed knot above. For arbitrary generators, the exponent vector is primitive because the generators map onto $\mathbb{Z}$; elementary changes of free generators implement the Euclidean algorithm and reduce it to $(1,0,\dots ,0)$. In that basis $\ker d_1$ is free on the last $n-1$ edges, and their relator coefficients give a presentation. This explains the general case rather than treating the full Fox cokernel as the Alexander module.

For the trefoil relator, with $\alpha (x)=\alpha (y)=t$, direct differentiation givesThe first boundary is $(t-1,t-1)$, whose kernel is generated by $(1,-1)$. The relator boundary is $f(t)(1,-1)$, whenceFor a connected sum of knots, join Seifert surfaces in separated balls. Their Seifert matrix is block diagonal, so the Alexander module of a connected sum is a direct sum. Thus ${\mathcal{A}}_{T\#T}\cong (\Lambda /(f){)}^2$.

This module is not cyclic. The polynomial f is irreducible modulo two, since it has no root in ${\mathbb{F}}_2$, so $\mathfrak{m}=(2,f)$ is a maximal ideal of $\Lambda$ with residue field ${\mathbb{F}}_4$. The quotient ${\mathcal{A}}_{T\#T}/\mathfrak{m}{\mathcal{A}}_{T\#T}$ has dimension two over that field, whereas the corresponding quotient of a cyclic module has dimension at most one.

Every two-generator knot group, however, has a cyclic Alexander module, regardless of its number of relators. Indeed its primitive abelianization vector can be changed to $(1,0)$ as above. The covering boundary is then $(t-1,0)$; its kernel is the free rank-one module on the second edge, and any quotient by lifted relators is cyclic. This proves the two-generator knot groups have cyclic Alexander modules obstruction. Consequently the group of the connected sum of two trefoils cannot even be generated by two elements, and in particular it has no two-generator, one-relator presentation.

The Loop theorem converts a nonzero kernel of ${\pi }_1(F)\to {\pi }_1(M)$, for a boundary surface $F$, into a properly embedded compression disk. It is stronger than simply producing a singular nullhomotopy, and does not assert that every original self-intersecting loop is the boundary of the final disk.

The proof outline uses a strengthened version: keep the boundary class outside a prescribed normal subgroup $N◃{\pi }_1(F)$. Begin with a singular disk in general position. Local cut-and-paste removes branch points; when a disk splits, at least one boundary stays outside $N$, since otherwise their product would lie in $N$. Take a regular neighborhood of its image and lift the disk through connected double covers of successive neighborhoods. Each lift decreases a finite lexicographic singularity complexity, so the tower terminates. At the top no double cover remains; mod-two duality forces its boundary components to be spheres. A boundary curve of the disk neighborhood lying outside the pulled-back $N$ then bounds an embedded disk on such a sphere, pushed inward. Project down one stage at a time. Exchange disk sectors along double curves, retaining a boundary outside $N$, to remove the projection's double intersections. Repeating yields an embedded disk downstairs. Taking $N=1$ proves the Loop theorem; controlling a prescribed simple boundary gives Dehn's lemma. The key points are termination of the covering tower and preservation of an essential boundary during surgery, not an unjustified removal of all intersections by general position alone.

Two classification applications are particularly useful. First, a two-sided embedded surface is incompressible precisely when its inclusion is fundamental-group injective, with the usual exclusion of inessential sphere components. A compression disk immediately supplies a nontrivial kernel element. In the other direction, cut along the surface and use the Seifert-van Kampen theorem: if both boundary-copy maps were injective, the amalgamated-product or HNN normal-form theorem would make the original inclusion injective. Hence a nontrivial kernel appears on one cut side, and the Loop theorem produces a compression disk. This is what makes algebraically detected essential surfaces usable in three-manifold splitting and incompressible hierarchies.

Second, consider a compact orientable irreducible three-manifold with one torus boundary. If that boundary is not fundamental-group injective, the Loop theorem supplies a compression disk. An essential simple curve on a torus is nonseparating, so compression changes the torus into a sphere. Pushing this sphere into the manifold, irreducibility gives a ball on the side away from the original torus boundary; the region between the sphere and the torus is the compression neighborhood. Undoing compression therefore attaches one one-handle to a ball. This proves the solid-torus recognition by a compression disk criterion:As a concrete consequence, a knot with knot group $\mathbb{Z}$ is the unknot. Its exterior is irreducible: a sphere disjoint from a connected knot bounds a ball on the side not containing the knot. The map from its boundary group ${\mathbb{Z}}^2$ to $\mathbb{Z}$ cannot be injective, so its exterior is a solid torus. The boundary of a meridian disk of this exterior lies in the kernel of the linking-number map; it is therefore the primitive preferred longitude. Joining that longitude to the knot through its tubular neighborhood makes an embedded spanning disk for the knot. This proves the cyclic-knot-group unknot criterion, rather than merely identifying a familiar consequence by name.

Orient $S^3$ as the boundary of $B^4$. Push the interior of an oriented Seifert surface $F$ slightly into $B^4$, and let $X_F$ be the double branched covering of $B^4$ over this pushed-in surface. Its boundary is the two-fold branched cover of a knot. Define the knot signature byThe signature of a possibly degenerate intersection form means the number of positive eigenvalues minus the number of negative eigenvalues; its radical contributes zero.

Here is why the definition is independent of $F$. Given two choices $F_0,F_1$, glue their branched covers along the common boundary to obtainThis is the double branched covering of $S^4$ over the closed oriented surface obtained by gluing the pushed-in $F_0$ to $-F_1$. Every closed oriented surface in $S^4$ admits a Seifert hypersurface: its complement has an integral meridional class, represent it by a map to the circle, and take a regular value. Near the surface choose the angular map in its trivial normal disk bundle. The closure of a suitable regular fiber is a compact oriented three-manifold bounding the surface. Its trivial normal framing can be chosen to match this construction.

Push the interior of this Seifert hypersurface into $B^5$. The double branched covering of $B^5$ over the resulting properly embedded three-manifold has boundary $X$. The existence of the cover follows from the meridian homomorphism to $\mathbb{Z}/2$; smoothness near the branch set is the local map $(z,u)\mapsto (z^2,u)$. By the hypothesis about boundaries of five-manifolds, $\mathrm{sign}X=0$. Novikov additivity for gluing along an entire closed three-dimensional boundary givesThus the knot signature is independent of the Seifert surface. An isotopy of the knot carries the construction to an equivalent one, so it is also a knot invariant.

To calculate its intersection form, express $F$ as a disk with $2g$ bands. The double branched covering of $B^4$ over the pushed-in disk is again $B^4$. Each band lifts to a two-handle. The capped lifted cores give a basis of $H_2(X_F;\mathbb{Z})$ corresponding to the band-core basis of $H_1(F;\mathbb{Z})$. The framing of the $i$th lifted attaching circle is $2\mathrm{lk}(a_i^{+},a_i)=2V_{ii}$. For distinct bands, the two sheets contribute the two push-off linkings $V_{ij}$ and $V_{ji}$, so the mutual linking number is $V_{ij}+V_{ji}$. HenceA different integral basis changes this matrix by matrix congruence and leaves its signature unchanged.

In Figure 7 the upper knot is a connected sum of knots $T\#T$, while the lower one is $T\#\overline{T}$, where $T$ is the positive trefoil knot. Both knot groups have the same presentationTo see this, the Seifert-van Kampen theorem expresses the knot group of a connected sum of knots as the amalgamated free product of the two summand knot groups, amalgamating their meridians of a knot. A trefoil knot has presentation $⟨a,b\mid aba=bab⟩$ with $a$ a meridian. Reflection gives the same abstract group for the mirror. If it reverses the chosen meridian, send both generators to their inverses; the inverse braid relation is again the same relation. Thus the meridian amalgamation yields the displayed group presentation in both cases.

A band basis for the positive trefoil knot giveswhose symmetrization is negative definite. Therefore $\sigma (T)=-2$ and $\sigma (\overline{T})=2$. Boundary-connected-summing Seifert surfaces makes the Seifert matrix block diagonal, so the knot signature is additive under connected sum of knots. ConsequentlyThe upper knot and lower knot are therefore not isotopic, even though their knot groups are isomorphic. With the opposite global knot signature convention the first value is $+4$, and the distinction is unchanged.

A Wirtinger presentation from a connected knot diagram has one generator per arc and one relator per crossing, with one relator redundant. Its presentation complex is a finite two-dimensional CW complex $X$ with one zero-cell, $n$ one-cells, and $n-1$ two-cells, and the usual diagrammatic construction gives a homotopy equivalence $X\simeq E_K$.

The abelianization of the knot group is $H_1(E_K;\mathbb{Z})\cong \mathbb{Z}$, generated by a meridian of a knot. Every homomorphism to the cyclic group $\mathbb{Z}/2$ factors through this abelianization, and reduction modulo two is its unique surjection. Thus the requested map $\alpha$ is unique.

Its kernel determines a two-sheeted covering space $\hat{X}$. The nontrivial deck transformation acts on cellular chains and homology, giving them module structures over the group ringLift one copy of every cell of $X$; its two deck translates form a free $\hat{R}$-basis. Hence $C_0\cong \hat{R}$, $C_1\cong {\hat{R}}^n$, and $C_2\cong {\hat{R}}^{n-1}$. If $\tilde{X}$ is the infinite cyclic cover, its cellular chains are free over $R=\mathbb{Z}[t^{\pm 1}]$, and imposing $t^2=1$ gives

For an odd prime $p$, the two idempotents $e_{+}=(1+t)/2$ and $e_{-}=(1-t)/2$ split the group algebraThe plus summand is the cellular chain complex of $X$ with ${\mathbb{F}}_p$ coefficients, while the minus summand is $C_{-}=C_{\ast }^{\mathrm{cell}}(\tilde{X}){\otimes }_R{R}_{-}$. Therefore

On the minus summand, the boundary $t-1:C_1\to C_0$ becomes multiplication by $-2$, which is invertible in ${\mathbb{F}}_p$, so $H_0(C_{-})=0$. After the corresponding cancellation, the remaining square boundary matrix is an Alexander matrix specialized at $t=-1$. It is singular over ${\mathbb{F}}_p$ exactly whenor equivalently when $p$ divides the knot determinant $\det K$. Thus $H_{\ast }(C_{-})$ is nonzero exactly in that case.

Finally, $\det K=|{\Delta }_K(-1)|$ is a nonzero odd integer, so the minus complex is acyclic over $\mathbb{Q}$. Since a knot exterior has the rational homology of a circle,

For coprime p,q with absolute values at least two, the knot group is $⟨a,b\mid a^p=b^q⟩$. Its nontrivial central element $z=a^p=b^q$ maps nontrivially to the abelianization. A meridian $a^u{b}^v$, where $qu+pv=1$, has infinite order in the quotient $C_{|p|}\ast C_{|q|}$. A composite knot group would be an amalgamated free product of proper factors over its meridian subgroup, whose center lies in that subgroup. Then z would be a meridian power, contradicting the infinite order of the meridian modulo z.

// Target: geometric-group-theory.bigb

The trefoil is the torus knot $T_{2,3}$. It is the simplest nontrivial knot by crossing number of a knot: $c(T_{2,3})=3$. A standard three-crossing alternating knot diagram is reduced, so the Tait crossing-number theorem establishes minimality. The four-crossing knot diagram shown below also represents the trefoil knot, illustrating that a particular projection need not achieve that minimum. Its Seifert genus is one.

Here is a small algebraic certificate that a trefoil knot cannot be deformed into an unknot. One Seifert matrix for a trefoil knot isTaking the determinant gives the Alexander polynomial of a knotwhere $\doteq$ allows multiplication by a Laurent unit $\pm t^n$ in the Laurent polynomial ring. No such multiplication turns this three-term Alexander polynomial of a knot into the unknot's value $1$. Since the Alexander polynomial of a knot is a knot invariant, this computation rules out every possible ambient isotopy between the two knots; it does not merely rule out the deformations we happened to try.

The knot group supplies another certificate. The presentation $⟨a,b\mid a^2=b^3⟩$ maps onto the symmetric group $S_3$ by $a\mapsto (12)$ and $b\mapsto (123)$, since both sides of the relation map to the identity. These images generate a non-abelian group, so the knot group cannot be the unknot's infinite cyclic group. However, a trefoil knot and its mirror of a link have isomorphic knot groups: the abstract knot group alone does not distinguish all knots.

The abelianization of a knot group is infinite cyclic. Nielsen changes of a two-generator free basis reduce its exponent vector to $(1,0)$. In the cyclic-cover cellular chain complex, the first boundary is then $(t-1,0)$, whose kernel is a free rank-one Laurent module. Quotienting by the lifted relator boundaries gives a cyclic module, regardless of the number of relators. A noncyclic Alexander module therefore obstructs every two-generator knot-group presentation.