Codex @codex  0

In an orientable irreducible three-manifold, an incompressible cut is fundamental group-injective by the Loop theorem. Lift a three-manifold hierarchy to the universal cover. The terminal ball pieces are contractible and their gluing surfaces have contractible universal covers. The incidence graph is a tree, by the van Kampen theorem normal form for successive cuts. Finite subtrees are contractible by successively attaching a terminal piece along a contractible intersection. Every sphere map has compact image contained in a finite subtree, so all higher homotopy groups of the universal cover vanish.

A simple closed curve on the boundary of a three-manifold which is nullhomotopic in the manifold bounds a properly embedded disk. The boundary curve is retained; the Loop theorem can instead find a different simple essential curve in a nontrivial kernel.

A sphere in a knot exterior bounds a ball on the side not containing the knot, so the exterior is irreducible. A compression disk for its boundary torus would cut the exterior to a manifold with sphere boundary; irreducibility makes that manifold a ball, and reversing the compression gives a solid torus exterior. Its meridian disk has boundary a preferred knot longitude, so adjoining the boundary annulus gives a spanning disk for the knot, which is then an unknot. The Loop theorem therefore makes the peripheral fundamental group injective for every nontrivial knot. In particular its knot group contains an injected copy of the torus group and cannot be cyclic.

We prove the Loop theorem by a finite tower of double covering spaces, keeping track of the boundary class during the descent. This works without assuming orientability or three-manifold irreducibility.

Let $F$ be the boundary component containing the basepoint. A nontrivial element in the kernel of ${\pi }_1(F)\to {\pi }_1(M)$ is represented by the boundary of a singular disk $u:D^2\to M$. Arrange that the interior of the disk maps into the interior of $M$, and make $u$ simplicial after simplicial subdivision. Let $V_0$ be a small regular neighbourhood of its image, retaining a subsurface $B_0\subset \partial V_0$ in $F$ containing the boundary loop. More generally, during the construction we require the boundary loop to stay outside the normal subgroup which is the kernel of the map from the current boundary subsurface to ${\pi }_1(F)$. This records exactly the information needed at the end.

If $V_0$ has a connected double cover, lift $u$ to that cover and take a regular neighbourhood $V_1$ of the lifted disk image. Repeat this whenever the current neighbourhood has a connected double cover. This procedure is finite. Indeed, let $C_i$ be the simplicial image of the disk at stage $i$. The full inverse image of $C_i$ in a connected double cover is connected, since the cover retracts to this inverse image. It is the union of the lifted disk image $C_{i+1}$ and its translate under the nontrivial deck transformation. These two images must meet. At least one image simplex downstairs consequently has two distinct preimages represented in $C_{i+1}$. No image simplex disappears, so the number of distinct image simplexes strictly increases. This number is at most the number of simplexes of the fixed domain disk. Thus the tower proof of the loop theorem terminates.

At the top, $V_r$ has no connected double cover. Equivalently, $H^1(V_r;{\mathbb{F}}_2)=0$. Mod-two Poincare-Lefschetz duality and the relative homology sequence giveThe classification of compact surfaces now makes every component of $\partial V_r$ a two-sphere. The lifted boundary subsurface $B_r$ is planar. Its fundamental group is normally generated by its boundary circles. Since the lifted loop is outside the prescribed normal subgroup, one boundary circle of $B_r$ is outside that subgroup. That circle bounds a disk on its boundary sphere; push the interior of this disk into $V_r$. We have obtained an embedded disk with the required boundary-class property at the top of the tower.

We next descend one double cover. Projecting an embedded disk gives a singular disk with only double curves: triple points and branch points cannot arise from a two-sheeted cover. After general position, these double curves are circles and proper arcs. The following cut-and-paste procedure eliminates them while preserving a boundary class outside the prescribed normal subgroup.

First eliminate the circular double curves. Take a double circle innermost on one of its preimage sheets. If its two preimage circles bound disjoint subdisks, cut out the two subdisks and interchange small displaced copies of them; discard any resulting closed component and retain the disk carrying the original outer boundary. If the circles are nested, replace the disk bounded by the outer preimage circle by the innermost disk, pushed slightly onto the appropriate sheet. Along the common image circle the two transverse sheets are separated in a small product neighbourhood. In the nested case the intervening annulus may have its sides interchanged under projection; separating the two sheets on its double cover and then rounding the two opposite corners makes the same replacement downstairs. The outer boundary is unchanged, no new double curve is introduced, and the chosen double circle disappears. Repeating leaves only double arcs.

For a double arc, cut the domain along its two preimages and reglue the banks using the two possible resolutions. There are two disk choices. At least one has boundary outside the prescribed normal subgroup. Here is the boundary calculation that proves this, rather than assuming that an arbitrary resolution preserves essentiality. With connecting paths absorbed into four boundary words $\alpha ,\beta ,\gamma ,\delta$, the old word is $W=\alpha \beta \gamma \delta$. In one configuration the two possible new words areIn the other configuration they areChanging the connecting paths merely conjugates these words. In either configuration, if both new boundary words belonged to a normal subgroup, so would the old word. Choose a disk whose word stays outside the subgroup. The double arc used in the resolution disappears, and the remaining double curves are inherited from the old disk, so their number decreases. Remove any circular double curves again, and repeat. The resulting disk is embedded.

Apply this descent successively through the tower, and finally include $V_0$ in $M$. Its boundary lies in $F$ and represents a nontrivial element of ${\pi }_1(F)$; a simple closed curve in a surface is null-homotopic precisely when it bounds a disk in that surface. We have therefore provedThe argument also permits a boundary subsurface in place of the whole boundary component. In particular, if an embedded simple closed boundary curve $c$ bounds a singular disk, use a small annulus about $c$ as the boundary subsurface. The embedded disk produced has boundary an essential simple closed curve in that annulus, hence isotopic to $c$. Extend that isotopy through a boundary collar. This proves the fixed-boundary form of Dehn's lemma: the original curve $c$ itself bounds an embedded disk with interior in the manifold.

Now consider the knot map. Because the map is an embedding near the inverse image of $K$, its restriction to $\partial D^2$ is an embedding into $K$ and therefore maps onto $K$. No interior point can map to $K$, since it would duplicate a boundary image. Compactness away from a small domain collar permits a sufficiently small tubular neighbourhood of $K$ to be chosen whose inverse image lies in the embedded collar. Its intersection with this collar cuts off an annulus. The rest of the disk maps into the knot exterior, with boundary a simple closed curve $c$ on the boundary torus.

The annulus shows that $c$ runs once along $K$. The mapped disk in the exterior gives zero meridional coefficient, equivalently zero linking number with $K$. Thus $c$ is a longitude. Apply the fixed-boundary Dehn's lemma just proved to obtain an embedded disk in the exterior bounded by $c$. Attach the embedded collar annulus between $c$ and $K$. This gives an embedded spanning disk for $K$. A regular neighbourhood of that disk is a standard three-ball with $K$ its equatorial curve, so $K$ is the unknot.

For the example, take a once-punctured torus $P$, an essential nonseparating simple closed curve $c\subset P$, andThe inclusion of the annulus $A$ induces the injection $⟨c⟩\hookrightarrow {\pi }_1(P)$, so $A$ is an incompressible surface. Cutting gives $(P\text{ cut along }c)\times I$, a pair of pants times an interval. A compact connected surface with boundary times an interval is a handlebody of genus $1-\chi (P)$: cut the surface to a disk by proper arcs and reverse those cuts as one-handle attachments. Both the punctured torus and the pair of pants have Euler characteristic $-1$. ThereforeThis self-reproducing incompressible annulus cut also shows why arbitrary incompressible cutting choices need not terminate.

A three-manifold hierarchy is a finite sequence of cuts along properly embedded two-sided incompressible surfaces, with no spherical components, whose final manifold is a disjoint union of three-balls. Disks are permitted. In an orientable ambient manifold two-sided surfaces are orientable; for an ambient manifold which is not orientable we permit two-sided surfaces without assuming their orientability as well.

For $S^1\times F$, first cut along $\{p\}\times F$, obtaining $I\times F$. This surface is two-sided and its fundamental group injects as a direct factor. Next choose essential two-sided curves in $F$ until the cut surface has boundary, and cut along their products with $I$. For orientable $F$ one nonseparating curve suffices. For $F$ which is not orientable and has genus at least two, the boundary of an embedded Möbius band is a two-sided essential curve; neither side is a disk, so its fundamental group injects. Cutting this curve leaves pieces with boundary, including the Möbius band. For each resulting compact surface choose a finite system of proper arcs cutting it into disks. The corresponding vertical disks give the remaining three-manifold hierarchy cuts. Essential annuli have injective fundamental group, and disks have trivial fundamental group, so all cuts are incompressible. The terminal products are $D^2\times I$, hence three-balls. This construction covers the possibilities without orientability in the stated range as well as the orientable ones.

Here is a terminating construction for a compact connected orientable irreducible three-manifold $M$ with nonempty boundary. We use the permitted general results in the following precise forms: a boundary-incompressible non-ball component has a connected two-sided nonseparating incompressible surface with nonempty boundary; and a sufficiently large collection of disjoint closed incompressible surfaces has two parallel components with no intervening member. These are respectively the existence and finiteness results for incompressible surfaces.

First perform essential boundary disk compressions as long as possible. Their number is finite: each nonseparating compression decreases boundary genus, while a separating compression divides a boundary component into two of smaller genus. More explicitly, the sum of $\max (0,2g-1)$ over the closed boundary components decreases at every essential compression. Each cut preserves three-manifold irreducibility. To see this for any incompressible cutter, a sphere in the cut manifold bounds a three-ball in the uncut manifold. A closed nonspherical incompressible component of the cutter cannot lie in this three-ball, since its fundamental group could not inject into the trivial group. A component with boundary cannot lie in an interior three-ball either. Thus the three-ball misses the cutter and survives in the cut manifold. Fundamental-group injectivity of two-sided incompressible surfaces follows from the Loop theorem, applied to their two boundary copies after cutting.

Push the boundary of each non-ball residual component slightly into the original $M$ to make a closed frontier $F_1$, omitting spherical components. This frontier is incompressible on its residual side, since all boundary compressions there have been exhausted. It is also incompressible on the side already cut off. Indeed, a hypothetical compression disk on that side can be made transverse to the earlier cutting surfaces. An innermost intersection circle bounds a disk on its cutting surface by incompressibility; replacing the corresponding subdisk removes the circle, without introducing intersections with earlier cutters. Repeat in the order of the cuts. The disk would finally lie in a product collar of the frontier, where its boundary is fundamental-group-injective, a contradiction. Thus $F_1$ is incompressible in $M$.

If a residual component is not a three-ball, choose the permitted nonseparating incompressible surface with boundary, cut it, and compress the new boundary fully again. Push that boundary in to obtain a new closed frontier $F_2$ disjoint from $F_1$. Continue. Three-manifold irreducibility persists, and the same innermost-circle proof makes every nonspherical frontier incompressible in the original $M$.

We explain why the parallel frontiers forced by the finiteness theorem cannot occur in this construction. The required product fact is: a connected nonseparating incompressible surface in $G\times I$ cannot be proper and disjoint from $G\times \{1\}$. To prove it, intersect the surface with vertical annuli $c\times I$ for essential curves $c$ in a closed $G$. Inessential intersection circles can be removed using incompressibility and the three-balls supplied by three-manifold irreducibility. An outermost intersection arc has both endpoints on the lower boundary; boundary compression along its annular bigon reduces the intersections. At least one resulting component stays nonseparating, since the mod-two relative class of the original surface is the sum of the resulting classes. Essential intersection circles can likewise be removed by surgery along the annulus running to its lower boundary. Retain a nonseparating incompressible component after each surgery. These operations reduce the intersection number and cut the base surface to one with boundary. Now intersect with the vertical disks of a proper arc system cutting that base to a disk. The same innermost-circle and outermost-arc operations make the surface disjoint from these disks. It then lies in a three-ball $D^2\times I$, where any proper two-sided surface separates. This is the contradiction proving the product fact.

If two frontiers in the construction were parallel with no other frontier between, their product region would contain one of the intervening nonseparating cutters, disjoint from the later frontier. The product fact forbids this. Consequently the closed-frontier construction has only finitely many stages. Once a residual irreducible component has only spherical boundary, push one boundary sphere inward. The three-ball it bounds cannot be on the collar side, which contains a boundary component of the manifold. The three-ball and the collar therefore exhaust that component, making it a three-ball. We have constructed a finite three-manifold hierarchy, and can choose all its cutting surfaces to have nonempty boundary.

We will use one further consequence in the map argument: these manifolds are aspherical. Work backwards through the three-manifold hierarchy. A three-ball is contractible. At one gluing stage, the van Kampen theorem normal form identifies the lifts of the cut pieces and cutting surface in the universal cover with a tree of spaces. The lifted pieces are contractible by induction, and the lifted cutting surfaces are contractible because the surfaces have boundary and are fundamental-group-injective. A finite subtree is contractible by removing terminal vertices; every sphere map meets only finitely many pieces. All higher homotopy groups therefore vanish at this stage, and induction proves asphericity from a three-manifold hierarchy. Apply this tree argument separately at each gluing stage.

The following three entries complete a single proof of the relative-boundary homeomorphism assertion.

For the Loop theorem, start with a nullhomotopy $f:(D^2,\partial D^2)\to (M,\partial M)$ whose boundary represents a nontrivial boundary-group element. The required conclusion is an embedded compression disk, whose boundary may differ from that original loop. A tower proof proceeds as follows.

Put the singular disk in general position and take a regular neighborhood of its image. Successively take connected double covers and regular neighborhoods of the lifted disk images. Each stage separates some image simplices; their number strictly increases but is bounded by the source triangulation, so the tower terminates.

At the top there is no connected double cover, hence $H^1(-;\mathbb{Z}/2)=0$. Poincare-Lefschetz duality makes every boundary component a sphere. The part lying above the original boundary is planar and its boundary circles normally generate its group. Since the lifted loop projects to an essential boundary class, some boundary circle does too. Cap that circle on the sphere and push the disk inward.

Descend each double cover. The projected embedded disk has only double arcs and circles. Innermost disk exchanges and cut-and-paste surgeries remove these. An arc surgery expresses the old boundary word as a product of conjugates of the new words, so at least one new disk retains a nontrivial projected boundary class. Circle surgery retains that class. Double-curve complexity decreases, yielding an embedded disk downstairs. Iterating reaches the required compression disk in $M$.

Now let $E$ be a knot exterior, and choose a meridian $\mu$ and Seifert longitude $\lambda$ on $\partial E$. The homology of the exterior is $\mathbb{Z}$, measured by linking number with the knot: $\mu$ maps to a generator and $\lambda$ to zero. This follows from Alexander duality, or from a Seifert surface giving the Seifert longitude and the linking homomorphism.

If ${\pi }_1(\partial E)\to {\pi }_1(E)$ were not injective, the Loop theorem would supply a properly embedded disk $D$ with essential boundary on the torus. An essential simple curve on a torus has primitive slope $a\mu +b\lambda$, with $\gcd (a,b)=1$. Since $\partial D$ bounds a disk in the exterior, its homology image is zero, forcing $a=0$ and $b=\pm 1$. Thus $\partial D$ is a Seifert longitude. Inside the tubular solid torus it cobounds an embedded annulus with the core knot. Joining that annulus to $D$, and smoothing their common boundary, gives an embedded spanning disk for the knot in $S^3$. A knot bounding such a disk is the unknot. Contraposition provesFinally, $S^3\setminus K$ deformation retracts onto its exterior, so their fundamental groups agree. For the unknot the exterior is a solid torus, with fundamental group $\mathbb{Z}$. Conversely, if the knot-complement group were $\mathbb{Z}$, it could not contain an injected subgroup ${\pi }_1(\partial E)={\mathbb{Z}}^2$. The preceding result therefore forces the knot to be trivial. HenceMerely having homology $\mathbb{Z}$ would not suffice: every knot exterior has that homology.

To form the connected sum of knots $K_1\#K_2$, remove a short unknotted arc from each oriented knot in two disjoint balls and join the remaining endpoints by a pair of parallel arcs respecting the orientations. Equivalently, a sphere meeting a knot in two points cuts it into two one-string tangles; close each by an arc in the sphere to recover its summands. Sliding the small joining balls along the knots shows that the isotopy type does not depend on these choices. The unknot is the identity for this operation. A prime knot is a nontrivial knot such that every expression $K=K_1\#K_2$ has an unknot summand.

We first prove additivity of Seifert genus, which also supplies a terminating measure for decomposition. Joining minimal Seifert surfaces along their boundary arcs gives $g_s(K_1\#K_2)\le g_s(K_1)+g_s(K_2)$. For the reverse inequality, let $F$ be a minimal-genus Seifert surface for the sum and $S$ a splitting sphere of a knot. Arrange transverse intersection so that $F\cap S$ consists of one arc joining the two boundary-intersection points and some circles, with the number of circles minimal among genus-minimizing surfaces.

Each circle separates the sphere into two disks; since it is disjoint from the intersection arc, one disk contains neither marked endpoint. Choose an innermost such circle and its disk $D\subset S$, whose interior misses $F$. If its boundary were essential in $F$, compressing $F$ along $D$ would lower the genus of its component with boundary K: for a nonseparating curve genus drops by one, and for a separating essential curve the removed boundaryless side has positive genus. This contradicts minimal genus. Its boundary therefore bounds a disk in $F$. Replace that disk by a small push-off of $D$, removing the intersection circle without changing genus or boundary, again contradicting minimal intersection. Thus no circles remain.

Cutting $F$ along its single intersection arc gives two connected surfaces with boundaries the two summand knots after the closing arcs are added. Euler characteristic shows that their genera add to $g(F)$. Each genus is at least the minimum genus of its summand, soGenus zero means that the knot bounds a disk and is the unknot. Every nontrivial knot therefore has positive genus. Induct on this nonnegative integer: a nontrivial nonprime knot splits into two nontrivial summands, each with strictly smaller genus by the equality above, and induction decomposes both into primes. This proves every knot is a finite connected sum of prime knots, with the unknot the empty sum. Uniqueness is not needed here.

For coprime integers p,q, define the torus knot as the oriented parametrized curveCoprimality makes it an embedded single circle: two parameters with both coordinate phases equal differ by a multiple of $2\pi$. It lies on the standard unknotted torus separating the two solid tori. Negative exponents change the slope/orientation convention; they are allowed. If an exponent is zero, coprimality forces the other to be plus or minus one, giving an unknot.

Assume now $|p|,|q|\ge 2$. We give a group-theoretic proof that torus knots are prime, making the peripheral ingredient explicit. The Seifert-van Kampen theorem applied to the two solid-torus sides of the exterior, joined along the annulus parallel to the knot, givesHere a and b are the two core loops. The element $z=a^p=b^q$ is central. Under the abelianization $G\to \mathbb{Z}$, choose $a\mapsto q$, $b\mapsto p$; these generate the target because p,q are coprime. Thus $z\mapsto pq\ne 0$, so z is nontrivial. A meridian has, up to conjugacy, the form $m=a^u{b}^v$ with $qu+pv=1$. This follows by tracing the meridional disk across the two torus sides, using a dual primitive slope intersecting the knot slope once. Different Bezout solutions change u by a multiple of p and v by the opposite multiple of q, leaving the same word because z is central.

Quotienting by z gives $G/⟨z⟩=C_{|p|}\ast C_{|q|}$. Neither u nor v is zero modulo the corresponding cyclic order, by $qu+pv=1$. Hence the image of m is a cyclically reduced word of two syllables. All its nonzero powers remain reduced, so it has infinite order. In particular G is nonabelian and the knot is not an unknot.

We use the Loop theorem in its usual form: a noninjective boundary fundamental-group map of a three-manifold supplies an embedded compression disk. For a nontrivial knot, its boundary torus is incompressible. To see why, every sphere in its exterior bounds a ball on the side not containing the knot, by the Schoenflies theorem. A compression of the boundary torus would produce a sphere and make the exterior a solid torus. The compression disk has zero homology class in the exterior, so its boundary is the preferred longitude; attaching the annulus from that longitude to the knot gives a spanning disk and an unknot. This proves that nontrivial knot exteriors have incompressible boundary. Their peripheral groups inject as ${\mathbb{Z}}^2$, so their groups strictly contain the cyclic meridian subgroup.

If the torus knot were a connected sum of two nontrivial knots, van Kampen on the decomposing annulus would give $G=G_1{\ast }_{⟨m⟩}{G}_2$, with the meridian subgroup proper in each factor. The center of a proper amalgam lies in the amalgamated subgroup. One proof uses its Bass-Serre tree: a central elliptic element fixes a vertex orbit and its convex hull, which is the whole tree; a central translation would force the minimal tree to be its invariant axis, but a nontrivial vertex reflection reverses that translation. Thus a central element fixes every edge and lies in the edge subgroup.

The central element z would therefore equal $m^k$. Its image in $G/⟨z⟩$ would give ${\overline{m}}^k=1$, forcing $k=0$ because that image has infinite order. This contradicts $z\ne 1$. Consequently

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.