Alexander's Theorem
Every oriented link in is the closure of some braid for some . That is, the map sending a braid to its closure is surjective.
Proof
Step 1: Setup. Given an oriented link , we may assume is in general position with respect to a chosen axis (a line in ). We will isotope so that it winds monotonically around , making it the closure of a braid.
Step 2: Choose an axis and projection. Consider with cylindrical coordinates and let be the -axis. In the projection to the -plane, the link appears as a closed curve. The angular coordinate may not be monotonically increasing along -- there may be arcs where decreases (the link "goes backwards" around the axis).
Step 3: Eliminate bad arcs. A bad arc is a subarc of along which decreases. For each bad arc :
- Choose a point far from on the axis (far above or below the projection).
- Replace by a detour: isotope by swinging it around the axis in the positive direction, passing near , so that is now increasing along the modified arc.
More precisely, if goes from angle to , we replace it by an arc that increases angle by , achieving the same net change while always moving in the positive direction. The point is chosen so that the detour avoids all other strands of .
Step 4: Result is a braid closure. After eliminating all bad arcs, the modified link (isotopic to ) has monotonically increasing along every component. Cutting along a half-plane yields a braid (where is the number of intersection points with the half-plane), and .
Step 5: Finiteness. There are only finitely many bad arcs (since is a finite union of smooth arcs in general position), so the procedure terminates.
The trefoil knot is the closure of (the braid on 2 strands with 3 positive crossings). Equivalently, it is the closure of (viewing the trefoil as a -torus knot). The figure-eight knot is the closure of . Every torus knot is the closure of .
The braid representative of a link is far from unique. Markov's theorem characterizes when two braids have isotopic closures: if and only if and are related by a sequence of Markov moves: (I) conjugation in , and (II) stabilization (adding a strand, ). Alexander's theorem combined with Markov's theorem reduces link theory to braid group algebra, enabling the construction of link invariants (such as the Jones polynomial) via braid group representations.