Fact-checked by Grok 2 weeks ago

HOMFLY polynomial

The HOMFLY polynomial, also known as the HOMFLY-PT polynomial, is a two-variable Laurent polynomial invariant assigned to oriented knots and links in three-dimensional Euclidean space, providing a powerful tool for distinguishing between non-isotopic embeddings of circles.^[1] It is defined recursively through a skein relation that relates the polynomial of a link to those obtained by locally modifying crossings: specifically, for links L_+, L_-, and L_0 differing only in one crossing where L_+ has a positive crossing, L_- a negative crossing, and L_0 the smoothed orientation-preserving resolution, the relation is a P(L_+) - a^{-1} P(L_-) = z P(L_0), with normalization P(U) = 1 for the unknot U and, for an n-component unlink, P = \left( \frac{a - a^{-1}}{z} \right)^{n-1}.^[1] This construction ensures the polynomial is uniquely determined and invariant under ambient isotopy.^[1] Introduced in 1985 by Peter Freyd, Daniel Yetter, Jim Hoste, W. B. R. Lickorish, Kenneth Millett, and Adrian Ocneanu as a generalization inspired by Vaughan Jones's recent discovery of the one-variable Jones polynomial, the HOMFLY polynomial unifies several earlier invariants by specializing to the Alexander-Conway polynomial when a = 1 (yielding \Delta_L(t) = P(1, t^{1/2} - t^{-1/2})) and to the Jones polynomial when z = a^{1/2} - a^{-1/2} (yielding V_L(a) = P(a, a^{1/2} - a^{-1/2})).^[1] The invariant is additive under connected sum of knots and invariant under reversal of all component orientations, making it particularly useful for studying link properties.^[1] Independent discoveries of equivalent or closely related two-variable polynomials occurred around the same time by groups including Józef H. Przytycki and Paweł Traczyk, whose work was published in 1987, contributing to the variant nomenclature HOMFLYPT.^[2] Beyond its foundational role in classical knot theory, the HOMFLY polynomial has influenced quantum topology and categorification efforts, with connections to representations of quantum groups and Khovanov homology, though it remains computationally challenging for links with many crossings due to the exponential growth in diagram complexity.^[1] Tables of HOMFLY polynomials for prime knots up to 13 crossings were computed by Morwen Thistlethwaite in the late 1980s, aiding empirical studies of knot tabulation and detection of mutants.^[2]

Introduction

History

The HOMFLY polynomial was independently discovered in 1984 by five groups of mathematicians working on extensions of the recently introduced Jones polynomial. These groups included Jim Hoste at Flinders University in Australia, Adrian Ocneanu, W. B. Raymond Lickorish and Kenneth Millett at the University of Cambridge and University of California, Santa Barbara respectively, Peter Freyd and David Yetter at the University of Pennsylvania and Clark University, and Józef H. Przytycki and Paweł Traczyk at the Polish Academy of Sciences in Warsaw.^[3]^[2] The polynomial was first announced and detailed in a collaborative paper by Freyd, Yetter, Hoste, Lickorish, Millett, and Ocneanu, published in the Bulletin of the American Mathematical Society in 1985, which presented it as a new two-variable invariant for knots and links. Independent results by Przytycki and Traczyk, also from 1985, confirmed the same relation through a combinatorial approach to link invariants, with their work later formalized in a 1987 publication in the Proceedings of the American Mathematical Society. This convergence of efforts marked a pivotal moment in knot theory, building directly on Vaughan Jones's 1984 discovery of a one-variable polynomial invariant that had sparked renewed interest in topological invariants during the mid-1980s. The name "HOMFLY" was coined by David Yetter as an acronym derived from the last names of the primary co-discoverers: Hoste, Ocneanu, Millett, Freyd, Lickorish, and Yetter.^[2] To acknowledge the contributions of Przytycki and Traczyk, the variant "HOMFLYPT" (or sometimes "HOMFLY-PT") has become commonly used, reflecting the inclusive recognition of all key contributors.^[3] The polynomial emerged as a generalization encompassing both the classical Alexander polynomial and the Jones polynomial, unifying earlier invariants within a broader framework.

Overview and Motivation

The HOMFLY polynomial is a two-variable Laurent polynomial invariant assigned to oriented knots and links in three-dimensional Euclidean space, serving as a key tool for distinguishing topologically distinct embeddings under ambient isotopy. It extends the capabilities of earlier knot invariants by resolving ambiguities that arise with single-variable polynomials, such as the Alexander polynomial and the Jones polynomial, which fail to separate certain pairs of knots or links. For example, there exist knots with identical Alexander polynomials but distinct HOMFLY polynomials, highlighting its enhanced discriminatory power in knot classification.^[4]^[5] The primary motivation for the HOMFLY polynomial was to create a unified framework that bridges the "classical" topological features captured by the Alexander polynomial—rooted in covering space theory—and the "quantum" statistical mechanics-inspired aspects of the Jones polynomial, derived from von Neumann algebras. By employing two variables, typically denoted as a and z, it generalizes both invariants: substituting specific values recovers the Alexander or Jones polynomial, allowing a single structure to encompass their behaviors while providing finer distinctions in the ambient isotopy classification of knots and links. This development, announced in 1985, addressed the limitations of one-variable invariants in handling the full spectrum of knot complexities.^[4]^[6] A basic illustration of its distinguishing ability is seen in simple knots: the HOMFLY polynomial evaluates to the constant 1 for the unknot, reflecting its trivial topology, whereas for the trefoil knot—the simplest non-trivial knot—it yields a non-constant polynomial, confirming their inequivalence without requiring exhaustive computation.^[7]^[8] Within low-dimensional topology, the HOMFLY polynomial occupies a central position, extending beyond knots to inform invariants of 3-manifolds via skein theory and quantum group representations, such as in the Reshetikhin-Turaev construction, which links link invariants to manifold classification.^[9]

Definition

Primary Skein Relation

The primary skein relation defines the HOMFLY polynomial P(L) for an oriented link L recursively through three link diagrams that differ only in a small neighborhood containing a single crossing. Specifically, let L_+, L_-, and L_0 be oriented links identical except at this crossing, where L_+ has a positive crossing (the overstrand crosses the understrand from left to right relative to the orientation), L_- has a negative crossing (the overstrand crosses from right to left), and L_0 is obtained by oriented smoothing of the crossing in L_+ or L_-, connecting the strands to preserve the overall orientation without introducing new crossings. The relation states:

a P(L_+) - a^{-1} P(L_-) = z \, P(L_0),

where P is a Laurent polynomial in two commuting variables a and z. This relation alone does not uniquely determine P, so base cases are required. For the unknot (a single unknotted oriented circle), P(U) = 1. For the disjoint union (split sum) of two links L_1 and L_2, the polynomial satisfies P(L_1 \sqcup L_2) = \frac{a - a^{-1}}{z} \, P(L_1) P(L_2). Consequently, for n disjoint unknotted components, P = \left( \frac{a - a^{-1}}{z} \right)^{n-1}. These conditions ensure the polynomial is well-defined up to the choice of diagram, with uniqueness following from the ability to reduce any link diagram to these base cases via repeated application of the skein relation. The skein relation generalizes earlier knot polynomials by specializing the variables a and z. Setting a = 1 recovers the Alexander-Conway polynomial \nabla(L; z), which satisfies the same relation \nabla(L_+) - \nabla(L_-) = z \, \nabla(L_0) with the unknot evaluating to 1 (though the split sum formula adjusts accordingly at a=1). Substituting a = t^{-1} and z = t^{1/2} - t^{-1/2} yields the Jones polynomial V(L; t). This unification demonstrates how the HOMFLY polynomial extends these one-variable invariants into a more comprehensive two-variable framework capable of distinguishing knots that the Alexander or Jones polynomials cannot separate.

Normalization Conventions

The HOMFLY polynomial is normalized such that its value on the unknot is 1, ensuring a consistent base case for single-component links. For the n-component unlink, the standard normalization yields P = \left[ \frac{a - a^{-1}}{z} \right]^{n-1}, which accounts for the topology of disconnected components and maintains invariance under ambient isotopy. In the conventional notation, the variable a corresponds to the framing or writhe dependence of the link, reflecting changes under type I Reidemeister moves, while z governs the resolution of crossings in the skein relation, capturing the polynomial's response to local modifications. Alternative notations include l and m (as in the original presentation, where the skein is l P_{L_+} - l^{-1} P_{L_-} = m P_{L_0}), or \alpha and z, but these are related by substitutions such as a = l, z = -m, preserving the invariant's properties. This normalization impacts multi-component links by introducing a multiplicativity factor for the disjoint union (split sum) of links: if L has s components and M has t components, then P(L \sqcup M) = P(L) P(M) \left[ \frac{a - a^{-1}}{z} \right]^{st}, which aligns with the unlink formula and ensures the polynomial distinguishes split links appropriately. Historically, early formulations varied; for instance, some initial papers normalized the unknot to \frac{a - a^{-1}}{z} (equivalent to the value on the two-component unlink in the modern convention), leading to rescalings in later standardizations to simplify computations for knots. These differences arose from independent discoveries in 1984–1985 but converged on the current form for broader applicability.

Properties

Invariance Under Knot Moves

The HOMFLY polynomial P(L; a, z) for an oriented knot or link L is invariant under ambient isotopy in \mathbb{R}^3, meaning it assigns the same value to any two diagrams of the same link regardless of their presentation. This invariance is established by verifying that the polynomial remains unchanged under the three Reidemeister moves, which generate all ambient isotopies of link diagrams. The proof relies on the defining skein relation a P(L_+) - a^{-1} P(L_-) = z P(L_0), where L_+, L_-, and L_0 are oriented link diagrams identical except at one crossing (positive, negative, or resolved, respectively), along with the normalization P(U; a, z) = 1 for the unknot U. These relations ensure consistency across diagram changes, with detailed verifications typically proceeding by induction on the number of crossings or direct substitution into the skein relation.^[1]^[10] For Reidemeister move III, which slides one strand over an existing crossing without altering the over/under information globally, the affected region involves two crossings that can be analyzed using the skein relation applied twice. Specifically, the move interchanges a L_+ configuration with a L_- in a symmetric manner, leading to the relation equating the polynomials of the pre- and post-move diagrams directly, as the intermediate resolved links L_0 cancel out in the recursion. This symmetry preserves the value of P, confirming invariance under type III moves. Similarly, for Reidemeister move II, which introduces or eliminates a pair of crossings forming a digon (bigon), the positive and negative crossing pair satisfies the skein relation where the resolved L_0 is ambient isotopic to the original diagram, yielding P(L_+) = P(L_-) after substitution, thus leaving the polynomial unchanged. These proofs for types II and III hold without additional adjustments, as the skein relation inherently balances the crossing configurations.^[11]^[10] Reidemeister move I, which adds or removes a small loop (curl or twist) at a strand, changes the writhe w(D) of the diagram by \pm 1 and requires special handling for invariance. The skein relation applied to the curl gives P(L_+) = a P(L_-) for a positive twist (where L_- is the straight strand and L_0 resolves to a disjoint unknot), reflecting the framing dependence encoded in the a variable. To achieve framing independence and invariance under type I moves, the full HOMFLY polynomial is defined with a writhe adjustment: P(L; a, z) = a^{-w(D)} \tilde{P}(D; a, z), where \tilde{P} is the unnormalized version satisfying the skein relation, and w(D) is the writhe (sum of signed crossings in the diagram D). This normalization compensates for the \pm 1 shift in writhe, ensuring P is unchanged by type I moves and thus independent of the choice of diagram or framing.^[11]^[1] The invariance extends naturally to multi-component oriented links, as the skein relation and writhe adjustment apply locally at crossings regardless of the number of components. For a link with c components, the polynomial satisfies P(L; a, z) = \left( \frac{a - a^{-1}}{z} \right)^{c-1} when L is the unlink, and the Reidemeister move proofs carry over identically, preserving the value under isotopies of the entire link. Finally, a uniqueness theorem guarantees that the HOMFLY polynomial is the unique Laurent polynomial in a and z satisfying the skein relation, the unknot normalization, and invariance under the Reidemeister moves; this follows from inductive construction on diagram complexity and the fact that any two isotopic links can be connected by a finite sequence of such moves.^[10]^[1]

Multiplicativity and Framing Independence

The HOMFLY polynomial demonstrates multiplicativity under the disjoint union (split union) of oriented links. For two oriented links L_1 and L_2, the polynomial of their split union satisfies

P(L_1 \sqcup L_2; a, z) = P(L_1; a, z) \, P(L_2; a, z) \cdot \frac{a - a^{-1}}{z},

where the factor \frac{a - a^{-1}}{z} arises from the normalization convention for unlinks. This normalization sets P(\bigcirc; a, z) = 1 for the unknot and P(U_\mu; a, z) = \left( \frac{a - a^{-1}}{z} \right)^{\mu - 1} for the \mu-component unlink U_\mu.^[2]^[12] Under connected sum, the HOMFLY polynomial is strictly multiplicative for oriented knots. If K_1 and K_2 are oriented knots, then

P(K_1 \# K_2; a, z) = P(K_1; a, z) \, P(K_2; a, z).

This property follows directly from the skein relations and the normalization P(\bigcirc; a, z) = 1, with no additional adjustment needed beyond the variables a and z. For links, the connected sum is defined by selecting and joining specific components, preserving the multiplicativity in the polynomial.^[4]^[2] The HOMFLY polynomial is independent of framing for oriented links, as it is an invariant under ambient isotopy, including Reidemeister type I moves that alter local twists. Adding a full twist to a framed link component multiplies the polynomial by a factor depending on the variables; specifically, for a positive full twist on a single component, the change is captured by the relation P(\tau L; a, z) = a^{2} P(L; a, z) in certain conventions adjusted for writhe, ensuring consistency across equivalent framings. For ribbon knots, which admit a framing where ribbon singularities replace crossings, the polynomial equals that of the underlying unknotted curve, up to the twist factor.^[13]^[4] In special cases, such as evaluation at a = 1, the HOMFLY polynomial reduces to the Alexander-Conway polynomial \nabla(L; z) = P(L; 1, z), for which split links with multiple components vanish (\nabla = 0). This aligns with the vanishing factor \frac{a - a^{-1}}{z} \to 0 at a=1, rendering split links with multiple components trivial in the Conway polynomial.^[12]

Computation Methods

Recursive Evaluation via Skein Trees

The recursive evaluation of the HOMFLY polynomial relies on constructing a skein tree from an oriented link diagram, where each node represents a link configuration, and branches correspond to resolutions of crossings via the skein relation. The root node is the original diagram, and recursion proceeds by selecting an unresolved crossing, generating child nodes for the positive crossing (L₊), negative crossing (L₋), and oriented smoothing (L₀) configurations. This process continues until all leaves are base cases: the unknot, with polynomial value 1, or split unions of simpler links, whose polynomials are computed multiplicatively using the factor -\frac{a + a^{-1}}{z} for each additional unknotted component.^[2]^[14]^[15] The algorithm follows these steps: (1) Input an oriented diagram of the link with n crossings. (2) Select a crossing (often chosen to minimize diagram complexity, such as via a greedy undercrossing switch). (3) Apply the HOMFLY skein relation a P(L_+) - a^{-1} P(L_-) = z P(L_0) to express P(L_+) in terms of the sub-polynomials, generating recursive calls on L_- and L_0 (discarding L_+ after substitution). (4) For multi-component links encountered, factor the polynomial using the disjoint union rule. (5) Terminate at base cases and back-substitute values up the tree to obtain the full polynomial. This branching structure ensures all possible resolutions are explored systematically.^[14]^[15] The computational complexity is exponential in the number of crossings, as the tree typically has O(2^n) or worse leaves in the naive implementation, though optimizations like diagram reduction or symmetry exploitation can mitigate this for small n (e.g., up to 12–15 crossings). For instance, the figure-eight knot (4₁), with its minimal 4-crossing diagram, yields a compact skein tree: starting at a positive crossing, resolutions lead to branches involving the unknot, a Hopf link, and trivial components after 3–4 levels, resulting in the polynomial P(4_1; a, z) = a^{2} + a^{-2} - z^{2} - 1.^[14]^[16] Software tools automate this process; the KnotTheory package in Mathematica, for example, implements skein tree recursion to compute HOMFLY polynomials from PD codes or braid words, supporting diagrams up to moderate size efficiently on standard hardware.^[17]

Closed-Form Expressions for Special Cases

For torus knots T_{p,q}, the HOMFLY polynomial admits a closed-form expression derived from representations of the Hecke algebra and quantum group invariants. The seminal Jones-Rosso formula expresses the colored HOMFLY polynomial in terms of quantum dimensions and sums over the Weyl group.^[18] For the specific family of (2, 2k+1)-torus knots, the HOMFLY polynomial can be expressed recursively, reflecting the structure from the skein relation adapted to the toroidal geometry. The HOMFLY polynomial for closures of braids can be evaluated using generalizations of the Burau representation within the Hecke algebra framework, where the braid group elements are mapped to matrices in GL_{n-1}(\mathbb{Z}[a^{\pm 1}, z^{\pm 1}]). For an n-strand braid \beta, the polynomial of its closure is the trace of the Ocneanu trace on the representation \rho(\beta), yielding P(\hat{\beta})(a,z) = \tr(\rho(\beta)) / \dim \rho, with \rho the Hecke module representation satisfying the quadratic relation (T - a)(T + a^{-1}) = z. This provides a matrix-based closed form for pure braid closures, generalizing the Alexander polynomial case where z \to 1.^[19] As a representative example, the HOMFLY polynomial for the trefoil knot 3_1 (right-handed T_{2,3}) is P(a,z) = -a^4 + 2a^2 + a^2 z^2, illustrating the quadratic dependence on z and the framing factor a^{w} with writhe w = 3. This can be verified by applying the skein relation repeatedly.^[7] For the Hopf link L_{2a1} (linking number +1), the polynomial is P(a,z) = a^{-1}z + z^{-1}(a^{-1} - a^{-3}), demonstrating the link component separation and z^{-1} term from the overcrossing resolution. This expression arises directly from the skein relation applied to the two crossings, with normalization for the unlink.^[20]

Relations to Other Invariants

Connection to Alexander Polynomial

The HOMFLY polynomial P(L; a, z) of a link L specializes to the Alexander-Conway polynomial \Delta(L; t) upon setting a = 1 and z = t^{1/2} - t^{-1/2}, yielding P(L; 1, t^{1/2} - t^{-1/2}) = \Delta(L; t). This connection underscores the historical precedence of the Alexander polynomial, introduced by J. W. Alexander in 1923 as the first non-trivial knot invariant, derived from the abelianization of the knot group and represented as a Laurent polynomial in one variable. In the 1960s, John H. Conway reformulated the Alexander polynomial using a simple skein relation \Delta(L_+) - \Delta(L_-) = z \Delta(L_0), along with normalization \Delta(U) = 1 for the unknot U, providing an axiomatic recursive definition that Conway presented in unpublished notes around 1968 and later formalized. This skein form directly generalizes to the HOMFLY relation a P(L_+) - a^{-1} P(L_-) = z P(L_0), establishing the Alexander-Conway polynomial as a foundational special case of the more general two-variable HOMFLY invariant discovered in 1985.^[1] The specialization preserves several key properties of the Alexander-Conway polynomial. Both invariants exhibit multiplicativity under disjoint union of links: for disjoint links L_1 and L_2, the HOMFLY polynomial satisfies P(L_1 \sqcup L_2; a, z) = P(L_1; a, z) P(L_2; a, z) \left( -\frac{a + a^{-1}}{z} \right), and substituting the Alexander parameters yields the corresponding multiplicativity \Delta(L_1 \sqcup L_2; t) = \Delta(L_1; t) \Delta(L_2; t) (t^{1/2} - t^{-1/2}). Additionally, the Alexander polynomial detects fibered knots, being monic of degree exactly twice the Seifert genus for such knots, a property inherited from the HOMFLY polynomial's behavior under the specialization. Despite these shared features, the HOMFLY polynomial offers greater discriminatory power than its Alexander specialization. While the Alexander-Conway polynomial fails to distinguish mutant knots—pairs related by mutation on a knot diagram, which preserve the knot group and thus the Alexander invariant—the HOMFLY polynomial can detect such differences in many cases, as demonstrated by explicit computations on mutant pairs like the Kinoshita-Terasaka and Conway mutants.^[21] This limitation of the Alexander polynomial highlights the HOMFLY invariant's role in refining classical knot detection.

Connection to Jones Polynomial

The HOMFLY polynomial establishes a direct connection to the Jones polynomial through a specialization of its variables. Specifically, substituting a = t^{-1} and z = t^{1/2} - t^{-1/2} into the HOMFLY polynomial P(L; a, z) for a link L yields the Jones polynomial V(L; t).^[22] This reduction highlights how the HOMFLY polynomial generalizes the one-variable Jones invariant while preserving its essential properties under this parameter choice.^[4] The quantum origins of this connection trace back to representation theory. The Jones polynomial emerges from the fundamental representation of the quantum group U_q(\mathfrak{sl}(2)), which induces a faithful representation of the braid group via the universal R-matrix satisfying the Yang-Baxter equation; the link invariant is then obtained by applying the unique Markov trace to the colored braid closure.^[23] The HOMFLY polynomial extends this framework by incorporating two parameters, effectively unifying the quantum structure of the Jones polynomial with classical invariants through its broader parameterization. Further reductions from the HOMFLY polynomial include the Kauffman polynomial, achieved via alternative substitutions that align the variables to produce the two-variable Kauffman invariant F(L; a, w).^[24]

Applications and Extensions

Use in Knot Recognition

The HOMFLY polynomial exhibits significant discriminative power in knot recognition, assigning distinct values to a large majority of prime knots. For prime knots with up to 13 crossings—totaling 12,965 in number—it produces 10,595 distinct polynomials, enabling the identification and classification of approximately 82% of these knots based on their unique or shared invariant values. This capability has proven essential in computational knot theory, where the polynomial's values help filter and organize vast enumerations of knot types.^[25] Despite its strengths, the HOMFLY polynomial is not a complete knot invariant and fails to distinguish certain non-isotopic knots, particularly mutants generated by flype operations on knot diagrams. A prominent example is the pair consisting of the Kinoshita-Terasaka knot (11n_{42}) and the Conway knot (11n_{34}), which share identical HOMFLY polynomials despite differing topologically; distinguishing them requires colored versions of the polynomial or supplementary invariants. Such limitations underscore the need to pair the HOMFLY polynomial with others, like the Kauffman polynomial, to enhance detection accuracy in complex cases.^[26] In knot tabulation efforts, the HOMFLY polynomial facilitated key advancements beyond the Rolfsen table (which covers knots up to 10 crossings). Morwen Thistlethwaite employed it to enumerate all prime knots up to 13 crossings, confirming the counts and properties for this range. Building on this, Jim Hoste and Thistlethwaite incorporated HOMFLY computations into extended tables up to 16 crossings, using the invariant to verify knot distinctness and support systematic classification in tools like KnotScape.^[2]^[27] The HOMFLY polynomial also extends to practical applications in biology and chemistry, where topological analysis of molecular structures is crucial. In biology, it classifies knotted topologies in DNA strands, such as trefoils and figure-eights formed during replication, by computing invariants for chain models of double-crossover links to assess knot complexity and chirality. In chemistry, it characterizes synthetic molecular knots and polyhedral links, aiding in the design of topologically complex molecules like catenanes, where the polynomial reveals handedness and stability differences.^[28]^[29]

Quantum Invariants and Categorification

The Reshetikhin-Turaev construction provides a framework for quantum link invariants derived from representations of quantum groups, such as U_q(\mathfrak{sl}_N), where the invariant for a link colored by the fundamental representation recovers the HOMFLY polynomial in the limit as N varies, with variables a = q^N and z = q - q^{-1}.^[30] This approach unifies the HOMFLY polynomial with other quantum invariants, like the Jones polynomial (a specialization at N=2), by associating to each link a trace in the representation category of the quantum group, invariant under Kirby moves for framed links.^[31] The colored HOMFLY polynomial extends this by allowing arbitrary irreducible representations of U_q(\mathfrak{sl}_N), yielding more refined invariants that detect additional link properties through higher-dimensional representations.^[32] Categorification elevates the HOMFLY polynomial to a triply graded homology theory, introduced by Khovanov and Rozansky using Soergel bimodules and Hochschild homology, where the graded Euler characteristic recovers the polynomial.^[33] This homology, often called HOMFLY-PT homology, generalizes Khovanov homology (which categorifies the Jones polynomial) to higher rank Lie algebras, with the \mathfrak{sl}_N case providing a spectral sequence to the full triply graded version.^[34] Analogs for broader HOMFLY variants include annular Khovanov homology for links in thickened annuli, which captures torsion and higher ranks, and superpolynomials proposed as a unified refinement incorporating both quantum and homological gradings.^[35] Post-2000 developments include the Gukov-Schwarz-Vafa conjecture, which posits that the Poincaré polynomial of \mathfrak{sl}_N knot homology counts BPS states in open topological string theory on a geometry determined by the knot complement, linking knot invariants to 3-manifold invariants via refined Chern-Simons theory.^[36] This has spurred computations of colored HOMFLY homologies and explorations of their geometric realizations. Recent computations (as of 2024) have determined the Khovanov–Rozansky HOMFLY homology for all prime knots up to 11 crossings, and new planar decomposition techniques have been developed for bipartite knot diagrams.^[37]^[38] Open problems persist in achieving a universal triply graded categorification stable across all N, and establishing precise relations between HOMFLY homology and Heegaard Floer homology, such as through spectral sequences connecting them for alternating knots.^[39]

References

[1]
a new polynomial invariant of knots and links1 - Project Euclid
FREYD, D. YETTER; J. HOSTE;. W. B. R. LICKORISH, K. MILLETT; AND A ... A NEW POLYNOMIAL INVARIANT OF KNOTS AND LINKS. 243 scheme, which essentially ...
[2]
HOMFLY Polynomial -- from Wolfram MathWorld
The HOMFLY polynomial is a 2-variable oriented knot polynomial, named after its co-discoverers, and is a generalization of the Jones polynomial.
[3]
https://pzacad.pitzer.edu/~jhoste/HosteWebPages/homfly.html
[4]
A new polynomial invariant of knots and links
### Summary of Overview and Motivation for the HOMFLY Polynomial
[5]
[PDF] On the Homfly Polynomial - m-hikari.com
In 1985, Jones [3] defined a new polynomial invariant for knots or links. Later, Freyd et al. [2] discovered a 2-variable Laurent polynomial invariant of an ...
[6]
[PDF] A note on the gl(m|n) link invariants and the HOMFLY-PT polynomial
The HOMFLY-PT polynomial [4, 9] is a 2-variable polynomial link invariant general- izing the Jones polynomial [8], the Alexander polynomial [1] and the slk ...Missing: motivation | Show results with:motivation
[7]
3 1 - Knot Atlas
3_1 is also known as "The Trefoil Knot", after plants of the genus Trifolium ... HOMFLY-PT polynomial (db, data sources), − a 4 + a 2 z 2 + 2 a 2 ...
[8]
The colored HOMFLY-PT polynomials of the trefoil knot, the figure ...
Jul 19, 2021 · We give a rigorous proof of the colored HOMFLY-PT polynomials of the trefoil knot, the figure-eight knot and twist knots.
[9]
Invariants of Links and 3-Manifolds From Skein Theory and From ...
A similar programme is outlined relating the invariants constructed from the Homfly polynomial to those derived from the quantum groups SU(k) q. Download to ...
[10]
https://www.researchgate.net/profile/Danish-Ali-17/post/Are-there-any-known-problems-with-the-HOMFLY-polynomial/attachment/5fa2a7a57600090001f30119/AS:954136468156417@1604495269193/download/An+Introduction+to+Knot+Theory+(1997)+-+Lickorish.pdf
[11]
None
Below is a merged summary of the HOMFLY Polynomial and Reidemeister Moves based on all provided segments. To retain all information in a dense and organized manner, I will use a combination of narrative text and a table in CSV format for detailed comparisons across sources. The narrative will provide an overview, while the table will capture specific details, including definitions, invariance under Reidemeister moves, skein relations, writhe adjustments, uniqueness, and useful URLs.
[12]
[PDF] Introduction to Knot Theory
We have seen that the HOMFLY polynomial of the trefoil knot is. P(K) = -2ℓ2 - ℓ4 + ℓ2m2 . Substituting for m and ℓ, we have that. V(K) = - 2(it−1)2 - ( ...
[13]
Framing dependence of HOMFLY polynomial - MathOverflow
Aug 1, 2018 · I want to understand the framing dependence of the Khovanov-Rozansky homology, and as its first step, I am trying to understand the framing ...Missing: adjustment | Show results with:adjustment
[14]
A Topological Framework for the Computation of the HOMFLY ... - NIH
Apr 13, 2011 · The recursion of the skein relation together with the values of the given polynomial on the unknot allows to reconstruct the polynomial of ...
[15]
[PDF] The HOMFLY-PT Polynomial is Fixed-Parameter Tractable - DROPS
The second major result of this paper is to improve the worst-case running time for computing the HOMFLY-PT polynomial in the general case, with no bound on the ...<|control11|><|separator|>
[16]
[1203.5978] HOMFLY and superpolynomials for figure eight knot in ...
Mar 27, 2012 · Abstract:Explicit answer is given for the HOMFLY polynomial of the figure eight knot 4_1 in arbitrary symmetric representation R=[p].
[17]
4 1 - Knot Atlas
Jul 14, 2007 · The 4_1 knot, also known as the 'Figure Eight knot', has a length of 4 and width of 3. It has a Gauss code of 1, -4, 3, -1, 2, -3, 4, -2.Knot presentations · Polynomial invariants · "Similar" Knots (within the Atlas)
[18]
Computer package to compute HOMFLY polynomial? - MathOverflow
Feb 19, 2013 · The KnotTheory` Mathematica package, available with lots of documentation and examples at katlas.org/wiki/Setup, can compute HOMFLY and many other knot ...Probabilistic knot theory - MathOverflowCan we get the HOMFLY polynomial for a torus knot ... - MathOverflowMore results from mathoverflow.net
[19]
[1212.0321] Torus Knots and the Topological Vertex - arXiv
Dec 3, 2012 · ... torus knot from the unknot. Applying the topological ... HOMFLY polynomials for torus knots, in agreement with the Rosso and Jones formula.
[20]
[1003.2861] Chern-Simons Invariants of Torus Links - arXiv
Mar 15, 2010 · ... torus knot ... We reproduce a known formula for the HOMFLY invariants of torus links and we obtain an analogous formula for Kauffman invariants.
[21]
[2402.02553] Closed 4-braids and the Jones unknot conjecture - arXiv
Feb 4, 2024 · In this paper, we study four-strand braids and ask whether there are non-trivial knots with the trivial Jones polynomial but a non-trivial HOMFLY-PT polynomial.
[22]
[PDF] Greg McNulty
Mar 17, 2005 · The HOMFLY polynomial of the unknot is 1. 3. The HOMFLY polynomial is an invariant of ambient isotopy. It is easy to prove using these ...
[23]
Homfly polynomials of generalized Hopf links Introduction - MSP
Jan 15, 2002 · Morton and Richard J. Hadji with the Homfly polynomial of the empty diagram being normalized to 1, and that of the null-homotopic loop ...
[24]
[PDF] DISTINGUISHING MUTANTS BY KNOT POLYNOMIALS
Conway's form of the Alexander polynomial is given from Homfly by putting v = 1 or equivalently u = 0. Now the Alexander polynomial cannot distinguish mutants, ...
[25]
The HOMFLY-PT Polynomial - Knot Atlas
Aug 8, 2013 · A C-based program running under windows by M. Ochiai can compute the HOMFLY-PT polynomial of certain knots and links with up to hundreds of crossings.
[26]
[PDF] lecture 14: link invariants from quantum groups - Yale Math
In this lecture we explain how to construct invariants of links from representations of quantum groups. We use the representation V = L(q) of Uq(sl2) to produce ...
[27]
[1304.4665] On a state model for the SO(2n) Kauffman polynomial
Apr 17, 2013 · Jaeger presented the two-variable Kauffman polynomial of an unoriented link L as a weighted sum of HOMFLY-PT polynomials of oriented links ...
[28]
Does the Jones Polynomial Detect Unknottedness? - Project Euclid
HOMFLY, Jones and Alexander polynomials for knots up to 15 crossings. 1. INTRODUCTION. In 1984 the Jones polynomial came into the world. [Jones 1985].
[29]
Colored HOMFLY polynomials that distinguish mutant knots - arXiv
Apr 1, 2015 · Colored HOMFLY polynomials, with multiplicity structure, can detect mutations, such as the (2,1)-colored polynomials for Kinoshita-Terasaka and ...Missing: unlink | Show results with:unlink
[30]
[PDF] The First 1701936 Knots - Pitzer College
Appendix I reveals that, overall, only a tiny proportion of the knots up to 16 crossings are invertible. ... HOMFLY polynomial, an invariant of knots.
[31]
A General Method for Computing the Homfly Polynomial of DNA ...
In this paper, a general method is given for computing the chain polynomial of the truncated cubic graph with two different labels.
[32]
Molecular knots in biology and chemistry - IOPscience
Aug 20, 2015 · It is important to note that amongst these knot polynomials, the HOMFLY polynomial is a powerful method for detecting the chirality of knots.
[33]
Invariants of 3-manifolds via link polynomials and quantum groups
Invariants of 3-manifolds via link polynomials and quantum groups · Article PDF · References · Author information · Additional information · Rights and permissions.
[34]
[math/0607544] Some differentials on Khovanov-Rozansky homology
Jul 21, 2006 · Abstract: We study the relationship between the HOMFLY and sl(N) knot homologies introduced by Khovanov and Rozansky. For each N>0, ...Missing: original | Show results with:original
[35]
[1405.0884] Khovanov-Rozansky Homologies and Cabling - arXiv
May 5, 2014 · In the cabling procedure for HOMFLY polynomials colored HOMFLY polynomials of a knot are obtained from ordinary HOMFLY of the cabled knot with extra twists ...Missing: original | Show results with:original
[36]
[math/0510265] Triply-graded link homology and Hochschild ... - arXiv
Oct 12, 2005 · Abstract page for arXiv paper math/0510265: Triply-graded link homology and Hochschild homology of Soergel bimodules.
[37]
[math/0401268] Matrix factorizations and link homology - arXiv
Jan 21, 2004 · Access Paper: View a PDF of the paper titled Matrix factorizations and link homology, by Mikhail Khovanov and Lev Rozansky. View PDF · TeX ...Missing: original | Show results with:original
[38]
[math/0505662] The Superpolynomial for Knot Homologies - arXiv
May 30, 2005 · We argue that this unification should be accomplished by a triply graded homology theory which categorifies the HOMFLY polynomial. Moreover ...<|control11|><|separator|>
[39]
Khovanov-Rozansky Homology and Topological Strings - arXiv
Dec 20, 2004 · This paper conjectures a relation between sl(N) knot homology and the spectrum of BPS states in open topological strings, suggesting they can ...
[40]
[1703.01401] A Categorification of the HOMFLY-PT Polynomial with ...
Mar 4, 2017 · A Categorification of the HOMFLY-PT Polynomial with a Spectral Sequence to Knot Floer Homology. Authors:Nathan Dowlin.Missing: open problems Heegaard