Conway polynomial

Conway polynomial
Name	Conway polynomial
Field	Knot theory
Discovered by	John Conway
Year	1969
Related	Alexander polynomial, Jones polynomial, HOMFLY polynomial

Conway polynomial The Conway polynomial is an invariant of oriented knots and links introduced by John Horton Conway as a reformulation of the Alexander polynomial that emphasizes skein-theoretic computation and normalization. It assigns to each oriented knot or link a Laurent polynomial in a single variable that captures classical linking and knotting information and interacts naturally with other invariants such as the Jones polynomial, HOMFLY polynomial, and finite-type (Vassiliev) invariants studied by Maxim Kontsevich and Victor Vassiliev. The polynomial has played a central role in developments at the interface of low-dimensional topology, combinatorial topology, and the algebraic study of knots associated with groups such as the Braid group and algebraic structures like the Temperley–Lieb algebra.

Definition and basic properties

The Conway polynomial is defined for oriented links in the 3-sphere and takes the form of a power series or polynomial ∇(z) with integer coefficients. It is normalized so that the polynomial of the unknot is 1 and behaves multiplicatively under the connected sum operation studied by Horst Schubert. Coefficients of the Conway polynomial encode classical link invariants: the lowest nontrivial coefficient relates to the total linking number for two-component links, a notion studied by James W. Alexander in his work that also introduced the Alexander polynomial. The Conway polynomial is invariant under ambient isotopy results proved in the tradition of Jakob Nielsen and Max Dehn and transforms predictably under orientation reversal and mirroring operations examined in the work of John Milnor and Ralph Fox.

Relation to the Alexander polynomial

Conway reformulated the Alexander polynomial to produce a polynomial with a simpler skein relation and a single-variable normalization. For an oriented link L the Conway polynomial ∇_L(z) is related to the Alexander polynomial Δ_L(t) by a change of variables and a normalization factor that depends on the number of components, following transformations considered by Hermann Seifert when constructing surfaces that realize Alexander invariants. In particular, classical theorems connecting Seifert matrices by Gordon–Litherland dualities and signature invariants of Knot concordance translate between the two polynomials. Research by C. McA. Gordon and John Lannes clarified how the Conway polynomial reflects the same torsion information in homology of coverings that the Alexander polynomial records.

Skein relation and computation

A defining feature of the Conway polynomial is its skein relation: given a skein triple of oriented link diagrams (L_+, L_-, L_0) differing at a crossing, Conway’s relation expresses ∇_{L_+} − ∇_{L_-} = z ∇_{L_0}, a simple linear relation that mirrors techniques developed by Morton and later used in constructions by Lickorish and Kauffman. This skein relation allows recursive computation from diagrams using local crossing changes, an approach connected to the combinatorial braid representations of Emil Artin and closure operations studied by Vaughan Jones. Algorithmic implementations exploit planar diagram simplification strategies used by Peter Cromwell and normal surface techniques pioneered by Wolfgang Haken to compute polynomials for families catalogued by projects like the Hoste–Thistlethwaite knot table.

Examples and calculations

For the unknot, the Conway polynomial equals 1, following normalization similar to classical tables by Rolfsen. The polynomial for the right-handed trefoil coincides with 1 + z^2 in Conway normalization, matching calculations also present in works by Louis Kauffman and Jun Murakami. The Hopf link has a Conway polynomial linear in z whose coefficient equals the linking number, reflecting observations originally made by Gauss in early studies of linking integrals and later formalized in algebraic topology by Henri Poincaré. Extensive tabulations for prime knots up to large crossing numbers have been produced by collaborations involving Morwen Thistlethwaite, Jeffrey Hoste, and Thistlethwaite datasets, providing benchmarks used in computational topology packages developed by groups around SnapPea and KnotPlot authors.

Applications and invariants derived from the Conway polynomial

The Conway polynomial underlies numerous derived invariants: finite-type invariants arise as coefficients in its expansion and connect to the theory of Vassiliev invariants developed by Victor Vassiliev and Maxim Kontsevich; the coefficient of z^2 is tied to signature and nullity invariants studied by Ralph Fox and Milnor; and the polynomial constrains slice and concordance properties central to work by Cochran–Orr–Teichner. It also provides obstruction criteria in problems about unknotting number and genus investigated by Gabai and contributes to classification efforts for links in lens spaces and other 3-manifolds explored by William Thurston. In quantum topology, specializations relate to one-variable limits of two-variable polynomials arising in Chern–Simons theory and combinatorial models associated with quantum groups studied by Reshetikhin and Turaev.

Generalizations and variants

Several extensions of the Conway polynomial exist: the multi-variable Alexander polynomial generalizes the single-variable Conway form and was developed in the context of Pierce-style link invariants and the work of Hosokawa and Cochran. Two-variable and skein-theoretic generalizations such as the HOMFLY polynomial and the Kauffman polynomial refine Conway-type information and connect to representation theory of Hecke algebras and quantized enveloping algebras studied by Drinfeld and Jimbo. Further generalizations include homological enhancements like knot Floer homology and Khovanov homology that categorify polynomial invariants in programs advanced by Peter Ozsváth, Zoltán Szabó, and Mikhail Khovanov, giving richer algebraic-topological structures that reduce to Conway-type polynomials under decategorification.

Category:Knot invariants