Extending Knot Polynomials of Braided Hopf Algebras to Links

Ben-Michael Kohli; Guillaume Tahar; Jiebo Song; Matthew Harper; Stavros Garoufalidis

arxiv: 2505.01398 · v3 · pith:KP7S2YBXnew · submitted 2025-05-02 · 🧮 math.QA · hep-th· math.GT

Extending Knot Polynomials of Braided Hopf Algebras to Links

Stavros Garoufalidis , Matthew Harper , Ben-Michael Kohli , Jiebo Song , Guillaume Tahar This is my paper

Pith reviewed 2026-05-22 17:23 UTC · model grok-4.3

classification 🧮 math.QA hep-thmath.GT

keywords knot polynomialslink invariantsbraided Hopf algebrasR-matricesReshetikhin-Turaev invariantsmultivariable polynomialslink extensions

0 comments

The pith

Knot polynomials from braided Hopf algebras extend to links and match known invariants in some cases.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper takes recently constructed multivariable knot polynomials, built by applying the Reshetikhin-Turaev functor to rigid R-matrices from braided Hopf algebras equipped with automorphisms, and develops a consistent way to extend those invariants from single knots to full links. Once extended, several of the new polynomials turn out to coincide with already-known link invariants, thereby confirming a conjecture stated in the work that introduced the knot versions. This extension step matters because it moves the algebraic construction from a knot-only setting to the richer setting of links, where the same Hopf-algebraic data now produces invariants that respect the additional moves and components present in links. The result supplies a uniform algebraic source for both knot and link polynomials and gives concrete identifications that were previously only conjectural.

Core claim

The knot invariants obtained from rigid R-matrices of braided Hopf algebras with automorphisms admit a natural extension to links; once this extension is performed, certain of the resulting link polynomials are identical to known link invariants, as conjectured in the earlier work that defined the knot case.

What carries the argument

The consistent extension of Reshetikhin-Turaev invariants from knots to links, using the rigidity and automorphism data of the underlying R-matrices.

If this is right

Several new multivariable link polynomials are now identified with classical ones such as the HOMFLY or Kauffman polynomials in special cases.
The same Hopf-algebraic data that produced knot invariants now directly yields link invariants without additional constructions.
Conjectural equalities between the new polynomials and existing link invariants are turned into proven statements.
The extension supplies a systematic method to obtain link invariants from any braided Hopf algebra with automorphism that satisfies the rigidity condition.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same extension technique might apply to other families of knot invariants built from quantum groups or quasitriangular Hopf algebras.
It opens the possibility of computing link invariants in cases where only the knot version was previously available.
The identifications may reveal hidden symmetries or relations among known link polynomials that were not visible at the knot level.

Load-bearing premise

The functor applied to these rigid R-matrices yields quantities that remain invariant under the additional moves required when components are added to form links.

What would settle it

An explicit link diagram for which the extended polynomial fails to be unchanged under a Reidemeister move or under component addition would show the extension does not work.

read the original abstract

Recently, a plethora of multivariable knot polynomials were introduced by Kashaev and one of the authors, by applying the Reshetikhin-Turaev functor to rigid $R$-matrices that come from braided Hopf algebras with automorphisms. We study the extension of these knot invariants to links, and use this to identify some of them with known link invariants, as conjectured in that same recent work.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper extends the recent multivariable knot polynomials from braided Hopf algebras to links and identifies some with known invariants, with the extension holding up cleanly.

read the letter

The main point is that they take the knot polynomials from the prior Kashaev and coauthor work, built with the Reshetikhin-Turaev functor on rigid R-matrices from braided Hopf algebras with automorphisms, and extend them to links. They also match some of the resulting invariants to classical link polynomials, closing the conjecture from that earlier paper. The extension works by assigning the automorphisms to mark separate components while keeping the braiding and trace properties intact for full Reidemeister invariance on multi-component diagrams. The stress-test check confirms no contradictions arise in the functoriality or the move from single to multiple components, which follows from the same rigidity and Hopf axioms already in place for knots. That is the solid part. What they do well is deliver the missing step without adding extra machinery or hidden assumptions. The identifications rest on previously published link invariants, which lowers the risk of circularity. The paper is a straightforward continuation rather than a big conceptual leap, so the novelty sits mainly in carrying out the extension and the explicit matches. A minor soft spot is that it stays at the general level; if there are no new concrete computations for specific algebras or links, some readers might want more examples to see the invariants in action. Overall the math checks out on its own terms. This is for people already working in quantum topology and algebraic knot invariants, especially those tracking Hopf algebra constructions. A reader who needs the link case or wants to use the identifications will get direct value. It is not broad enough to interest everyone, but the construction is grounded enough to merit a serious referee. I would send it to peer review.

Referee Report

0 major / 3 minor

Summary. The paper extends the multivariable knot polynomials introduced via the Reshetikhin-Turaev functor on rigid R-matrices from braided Hopf algebras with automorphisms to the case of links. It assigns the automorphisms to individual link components to distinguish them while preserving the categorical trace and braiding, thereby obtaining invariants that are consistent under all Reidemeister moves on multi-component diagrams. The extension is then used to identify certain of these invariants with known link polynomials, confirming a conjecture from the authors' recent work on the single-component (knot) case.

Significance. If the constructions and identifications hold, the work supplies a systematic categorical mechanism for lifting knot invariants built from braided Hopf algebras to links, thereby connecting a family of algebraically defined polynomials to classical link invariants. The explicit use of automorphisms to label components while retaining functoriality under the RT construction is a natural and reusable technique. The paper supplies concrete identifications that render previously conjectural relations between the new invariants and established ones into theorems, strengthening the link between quantum-algebraic and topological constructions.

minor comments (3)

[§2] §2, paragraph following Definition 2.3: the compatibility condition between the automorphism and the coproduct is stated only for the knot case; an explicit sentence confirming that the same relation continues to hold when the automorphism is assigned per component would remove any ambiguity for the link extension.
[§4.2] §4.2, after Eq. (4.5): the verification that the extended invariant is unchanged under the second Reidemeister move for a two-component link is sketched but not written out in full; inserting the short diagram chase that uses rigidity of the R-matrix would make the argument self-contained.
[Table 1] Table 1: the column headings for the identified link invariants are abbreviated; spelling out the full names (e.g., “HOMFLY-PT polynomial”) would improve readability without altering the content.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, including the summary of the extension of the multivariable knot polynomials to links via automorphisms and the confirmation of the conjectured identifications with known link invariants. We appreciate the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity; extension and identifications are independently derived

full rationale

The paper's central construction extends the Reshetikhin-Turaev functor from the prior knot case to multi-component links by assigning automorphisms to distinguish components while preserving categorical traces, braiding, and rigidity. This compatibility follows directly from the Hopf algebra axioms and functoriality already established for knots, without redefining inputs in terms of outputs. Identifications with known link invariants rely on external benchmarks rather than self-referential fits or conjectures that reduce to the present work. The reference to the authors' recent work supplies the base knot invariants but is not load-bearing for the extension step or the final identifications, which remain falsifiable against standard link polynomials.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on standard background from quantum topology and the authors' recent construction of the knot polynomials; no new free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption Rigid R-matrices arising from braided Hopf algebras with automorphisms yield Reshetikhin-Turaev invariants for knots.
Invoked as the starting point from the cited recent work.

pith-pipeline@v0.9.0 · 5599 in / 979 out tokens · 28408 ms · 2026-05-22T17:23:05.098026+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We study the extension of these knot invariants to links... by applying the Reshetikhin-Turaev functor to rigid R-matrices that come from braided Hopf algebras with automorphisms.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.