Alexander polynomial

Alexander polynomial The Alexander polynomial is a classical invariant introduced by James Waddell Alexander II in 1928 that assigns to a knot, link, or three‑manifold a Laurent polynomial capturing algebraic aspects of its complement. It provides information about Seifert surfaces, homology with local coefficients, and coverings of the complement, and it predates later invariants such as the Jones polynomial and the HOMFLY polynomial. Developed alongside tools from Algebraic Topology and Combinatorial Group Theory, it remains fundamental in the study of low‑dimensional topology and knot concordance.

Definition and basic properties

The invariant arises from the first elementary ideal of the Alexander module of a knot complement, obtained from the abelianization of the knot group and the infinite cyclic cover of the complement; foundational figures include J. H. Conway and Ralph H. Fox who reformulated computational approaches. For an oriented knot or link K in S^3 one obtains a Laurent polynomial Δ_K(t) well‑defined up to multiplication by ±t^n; this multiplicative indeterminacy is fixed in many contexts by requiring symmetry or normalization conditions used by Hermann Seifert and later by John Milnor. Key algebraic properties include the symmetry relation Δ_K(t) = ±t^m Δ_K(t^{-1}) discovered in early work of Alexander and refined by Milnor; for split links the polynomial factorizes accordingly, and for slice knots results of Casson and Gordon constrain vanishing. For a knot with genus g the degree of the polynomial gives a lower bound on g via results of Seifert and Murasugi.

Computation methods

Computational approaches stem from presentations of the knot group π_1(S^3 \ K) and Fox calculus developed by Ralph H. Fox. One forms a Wirtinger presentation derived from a knot diagram, applies Fox derivatives to the relators, and assembles a presentation matrix for the Alexander module; minors of this matrix yield Δ_K(t) after appropriate normalization, an approach used by Kurt Reidemeister and streamlined by J. H. Conway. Alternative methods use a Seifert matrix from a Seifert surface: given a basis for H_1 of the surface, the determinant det(V - t V^T) (up to normalization) produces the polynomial, a technique central to the work of Seifert and adapted by Gordon Litherland. Modern algorithmic implementations exploit skein relations relating the polynomials of diagrams differing at a crossing, paralleling skein frameworks used by Vaughan Jones for other invariants, and computational packages used in SnapPy and knot tabulation projects implement combinatorial algorithms derived from these classical methods.

Examples and calculations

For the unknot Δ(t)=1 by convention, a fact consistent with Seifert and Fox computations and verified in knot tables such as those compiled by Alexander-Briggs and Rolfsen. The right‑hand trefoil has polynomial 1 - t + t^2 (up to ±t^n) as computed from a Seifert matrix arising from a genus‑1 surface; this example appears in expositions by Knot Atlas contributors and textbooks by Crowell and Fox. The figure‑eight knot yields Δ(t)= -t + 3 - t^{-1} (often normalized to 1 - 3t + t^2 in some conventions) and serves as a prototypical hyperbolic example appearing in work of William Thurston and tables of hyperbolic knots. Links like the Hopf link and torus links produce polynomials expressible via product formulas related to linking numbers and the multivariable generalization introduced by J. W. Alexander and developed by Kawauchi and Hillman.

Relationships to other invariants

The Alexander polynomial is related to the multivariable Alexander polynomial, a refinement connecting to Alexander modules of links and to Milnor's μ‑invariants; these relationships were systematically studied by Milnor and later by Cochran in knot concordance contexts. It is the graded Euler characteristic of the knot Floer homology theories developed by Peter Ozsváth and Zoltán Szabó and also relates to the graded dimensions in Khovanov homology under conjectural frameworks linking classical and quantum invariants explored by Mikhail Khovanov and Eugene Gorsky. The Alexander polynomial arises as a specialization of the HOMFLY polynomial and can be recovered from skein relations parallel to those used for the Jones polynomial, connecting classical Alexander‑type invariants with quantum invariants discovered by Vaughan Jones and extended by Freyd and collaborators. In three‑manifold topology, the polynomial links to torsion invariants such as Reidemeister torsion studied by John Milnor and to analytic torsion in contexts examined by Ray-Singer.

Applications in knot theory and topology

Practically, the Alexander polynomial detects fibredness via work of Neuwirth and Stallings: for a fibered knot the polynomial is monic and its degree equals twice the genus, a criterion applied in studies by Gabai and Harer. It serves as an obstruction in knot concordance and slicing problems studied by Casson and Gordon, constraining which knots bound disks in B^4 and informing structure in the knot concordance group analyzed by Freedman and Donaldson. In three‑manifold topology, the polynomial appears in the study of cyclic covers and finite‑sheeted coverings of knot complements as treated by Fox and in the analysis of Seifert fibered spaces and surgery descriptions used by Lickorish and Wallace. Computational knot tabulation, detection of chirality and mutation, and interactions with quantum invariants make the Alexander polynomial a continuing tool in contemporary research by groups at institutions such as University of California, Berkeley, Princeton University, and University of Cambridge.

Category:Knot invariants