HOMFLY polynomial

A two-variable oriented-link invariant defined by a skein relation and normalization that specializes to the Alexander and Jones polynomials.

Version

v2 · 2026-09-19 · History

Domain-specific #

4905

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Knot Theory → Mathematics

Aliases

HOMFLYPT polynomial, Generalized Jones polynomial

Core Idea

Variable and sign conventions differ, orientation is constitutive and identical polynomials do not imply equivalent links. A crossing change, positive crossing and smoothing are related by a linear skein equation; recursive reduction to unlinks plus a base normalization produces a Laurent polynomial invariant under ambient isotopy. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

The load-bearing residual is not the broad topic of knot theory. It is the domain-specific identity fixed by the oriented link or diagram, coefficient ring and variables, positive negative and smoothed local diagrams, skein relation, unknot normalization, recursive evaluation and independence of reduction, Reidemeister invariance and specializations to Alexander and Jones conventions are explicit.

How would you explain it like I'm…

The Knot Code

Tie a string into a knot and glue the ends together, with an arrow showing which way it goes. The HOMFLY polynomial is a special math code you can work out for it. However you wiggle the knot without cutting it, the code stays the same. But two different knots can sometimes get the same code, so it's a clue, not a full answer.

Crossing-Rule Knot Fingerprint

Knot theory studies loops of string that may be tangled together. The HOMFLY polynomial is a math expression you compute from a drawing of a knot or tangle whose strings have arrows showing their direction. You compute it with a rule that connects three drawings that are the same everywhere except at one crossing: one where the crossing goes one way, one where it goes the other way, and one where the crossing is cut and reconnected. Using this rule again and again, you break the knot down until only simple untangled loops are left. Moving the knot without cutting it never changes the answer, so different answers prove two knots are different. The same answer, though, doesn't prove they are the same.

Two-Variable Skein Link Invariant

The HOMFLY polynomial is an invariant of oriented links: knots or collections of knots whose strands have a chosen direction. It is a Laurent polynomial in two variables, meaning negative powers are allowed. It is defined by a skein relation, a linear equation connecting three diagrams that differ at one crossing: a positive crossing, a negative crossing and the smoothing where the crossing is removed. Repeatedly applying the relation reduces any diagram to unlinks, and a normalization fixes the value of the unknot. The result doesn't depend on which crossings you reduce in which order, and it is unchanged by Reidemeister moves, so it is a true invariant. It generalizes both the Alexander and Jones polynomials. Different authors use different variable and sign conventions, and identical polynomials do not guarantee equivalent links.

 

The HOMFLY polynomial P(L) assigns to each oriented link L a two-variable Laurent polynomial that is invariant under ambient isotopy. It is characterized by a linear skein relation among three oriented diagrams L+, L− and L0 that agree except at one crossing, where they have a positive crossing, a negative crossing and the oriented smoothing respectively. Together with a normalization of the unknot, this fixes P. Evaluation is recursive: crossing changes and smoothings reduce any diagram to unlinks. Well-definedness requires proving that the result is independent of the reduction path and invariant under all three Reidemeister moves. Orientation is constitutive, because the sign of a crossing depends on it. Suitable specializations of the variables recover the Alexander and Jones polynomials. Variable names and sign conventions differ across the literature, so the coefficient ring and conventions must be stated. The invariant is not complete: distinct links can share the same polynomial.

Scope of Application

HOMFLY polynomial belongs to knot theory and is useful where the analyst can specify the typed knot theory carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, then evaluate the oriented link or diagram, coefficient ring and variables, positive negative and smoothed local diagrams, skein relation, unknot normalization, recursive evaluation and independence of reduction, Reidemeister invariance and specializations to Alexander and Jones conventions are explicit. The scope is broad within that domain but bounded by the need for the oriented link or diagram, coefficient ring and variables, positive negative and smoothed local diagrams, skein relation, unknot normalization, recursive evaluation and independence of reduction, Reidemeister invariance and specializations to Alexander and Jones conventions are explicit.

Clarity

The abstraction clarifies a crowded vocabulary by making the oriented link or diagram, coefficient ring and variables, positive negative and smoothed local diagrams, skein relation, unknot normalization, recursive evaluation and independence of reduction, Reidemeister invariance and specializations to Alexander and Jones conventions are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test.

Manages Complexity

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to HOMFLY polynomial. HOMFLY polynomial compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning

1. Identify the carrier. State what the elements, states, objects, or observations are: the typed knot theory carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets. Reject examples whose alleged carrier belongs to a different problem.
2. Lock the constitutive rule. Express the oriented link or diagram, coefficient ring and variables, positive negative and smoothed local diagrams, skein relation, unknot normalization, recursive evaluation and independence of reduction, Reidemeister invariance and specializations to Alexander and Jones conventions are explicit independently of one notation or implementation.

Knowledge Transfer

Knowledge transfers strongly among subfields of knot theory because they reuse the typed knot theory carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, A crossing change, positive crossing and smoothing are related by a linear skein equation; recursive reduction to unlinks plus a base normalization produces a Laurent polynomial invariant under ambient isotopy., and type the carrier, state every parameter and convention in the definition, test that the oriented link or diagram, coefficient ring and variables, positive negative and smoothed local diagrams, skein relation, unknot normalization, recursive evaluation and independence of reduction, Reidemeister invariance and specializations to Alexander and Jones conventions are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions

Current abstraction HOMFLY polynomial Domain-specific

Parents (1) — outgoing typed relations

• HOMFLY polynomial is a kind of Invariance Prime

  It remains its own entry because its identity is fixed by the oriented link or diagram, coefficient ring and variables, positive negative and smoothed local diagrams, skein relation, unknot normalization, recursive evaluation and independence of reduction, Reidemeister invariance and specializations to Alexander and Jones conventions.

Hierarchy path (1) — routes to 1 parentless root

• HOMFLY polynomial → is a kind of Invariance

Neighborhood in Abstraction Space

HOMFLY polynomial sits in a crowded region of the domain-specific corpus (12^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Knot & Link Invariants (9 abstractions)

Nearest neighbors

• Bracket polynomial — 0.95
• Linking number — 0.93
• Virtual knot — 0.92
• Link (knot theory) — 0.91
• Link concordance — 0.90

Computed from structural-signature embeddings · 2026-10-25