The Forbidden Quiver of a Link

Sam Nelson; Stella Shah

arxiv: 2504.18984 · v3 · pith:MVRU3LZ4new · submitted 2025-04-26 · 🧮 math.GT · math.QA

The Forbidden Quiver of a Link

Sam Nelson , Stella Shah This is my paper

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

classification 🧮 math.GT math.QA

keywords forbidden movesfused linksquiver invariantvirtual linkslink homotopypolynomial invariantscategorification

0 comments

The pith

Categorifying fused links via forbidden moves produces a quiver invariant of virtual and classical links that yields three polynomial link-homotopy invariants.

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

The paper applies the forbidden moves of virtual knot theory to links, which unknot all single components but leave multi-component crossings intact and produce fused links. It then categorifies those fused links to define a quiver-valued invariant, called the forbidden quiver, that remains unchanged under the allowed moves of virtual link theory. From this quiver the authors extract three polynomial invariants. Because the polynomials do not change under crossing changes on a single component, they are automatically invariants of link homotopy as well.

Core claim

The forbidden quiver is obtained by categorifying the fused links that survive after all possible forbidden moves have been applied; this quiver is an invariant of classical and virtual links and supplies three polynomial invariants that are also link-homotopy invariants.

What carries the argument

The forbidden quiver, a quiver whose vertices and arrows are produced by the categorification of a fused link obtained from forbidden moves.

If this is right

Three distinct polynomial invariants can be read off from the forbidden quiver.
Each polynomial is unchanged by single-component crossing changes and therefore invariant under link homotopy.
The quiver structure supplies a setting in which functors to and from other categories can be defined.

Where Pith is reading between the lines

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

The same construction may produce computable distinctions between link-homotopy classes that ordinary polynomial invariants miss.
Because the quiver carries extra algebraic data, it could be used to define new operations or relations on fused links themselves.

Load-bearing premise

The categorification step applied to the fused link that remains after forbidden moves produces a quiver that is unchanged by the permitted moves of virtual link theory.

What would settle it

A pair of virtual links related by a single allowed move whose forbidden quivers differ, or two links in the same link-homotopy class whose extracted polynomials differ.

read the original abstract

The forbidden moves in virtual knot theory can be used to unknot any knot, virtual or classical; however, multi-component crossings in links can still survive, resulting a fused link. Using the forbidden moves, we categorify fused links obtain a quiver-valued invariant of classical and virtual links we call the forbidden quiver, opening the way for functors to and from other categories. As an application we use the forbidden quiver to obtain three polynomial invariants of virtual and classical links. Since these invariants are not sensitive to single-component crossing change, they are also link homotopy invariants.

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

Nelson and Shah build a quiver invariant by categorifying fused links from forbidden moves in virtual knot theory and extract three polynomial invariants that also detect link homotopy.

read the letter

Colleague, the main point is that this paper defines the forbidden quiver as a new invariant by applying forbidden moves to get fused links and then categorifying them, and it uses that quiver to produce three polynomial invariants for virtual and classical links. These polynomials ignore single-component crossing changes, so they are also invariants of link homotopy. The construction is presented as opening doors to functors between categories. They do a reasonable job of fitting this into virtual knot theory and showing a direct application to polynomials that have a clear homotopy property. That part is concrete and usable for specialists who want new tools in this area. The soft spot is the well-definedness step: the abstract and stress-test note both flag that it is not obvious whether sequences of forbidden moves on multi-component crossings always yield the same fused link, or whether the categorification stays invariant under the allowed virtual moves. If the full paper has a proof sketch, diagrams, or explicit check for confluence and functoriality, that would cover it; without those details the invariance claim rests on the construction being canonical, which needs verification. The rest of the argument looks straightforward once that holds. This is for readers already working in virtual knots, link homotopy, or categorification of knot invariants. A knot theorist in that subfield would get a new object to compute with and possibly extend. It has enough of a fresh construction and a stated application that it deserves a serious referee rather than a desk reject, even if the scope stays inside the specialty.

Referee Report

2 major / 2 minor

Summary. The paper introduces the forbidden quiver, a quiver-valued invariant of classical and virtual links obtained by categorifying fused links that result from applying forbidden moves to multi-component crossings. As an application, three polynomial invariants are derived from this quiver; these polynomials are insensitive to single-component crossing changes and hence also serve as link homotopy invariants.

Significance. If the construction is shown to be well-defined and invariant, the forbidden quiver could supply a new categorification tool in virtual knot theory with potential for functors to other categories, while the derived polynomials would add homotopy invariants that complement existing ones by ignoring single-component changes.

major comments (2)

[Abstract and construction outline] The central claim that the forbidden quiver is invariant under the allowed moves of virtual link theory rests on the well-definedness of the fused link after forbidden moves and the functoriality of its categorification. No explicit verification of confluence (independence of move sequence) or invariance under virtual Reidemeister moves is supplied in the provided construction sketch.
[Application to polynomial invariants] The derivation of the three polynomial invariants from the quiver is asserted but not accompanied by explicit definitions, generating functions, or checks that they are unchanged under the relevant equivalences; without these steps the claim that they are link homotopy invariants cannot be assessed.

minor comments (2)

[Abstract] The abstract contains several grammatical issues (e.g., missing verbs in 'we categorify fused links obtain a quiver-valued invariant') that should be corrected for readability.
[Throughout] Notation for the quiver and the three polynomials is introduced without prior definition or reference to standard quiver or categorification conventions in the field.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on the manuscript. We appreciate the identification of areas requiring greater explicitness to support the invariance claims and the polynomial derivations. We will revise the paper to incorporate detailed verifications and definitions.

read point-by-point responses

Referee: [Abstract and construction outline] The central claim that the forbidden quiver is invariant under the allowed moves of virtual link theory rests on the well-definedness of the fused link after forbidden moves and the functoriality of its categorification. No explicit verification of confluence (independence of move sequence) or invariance under virtual Reidemeister moves is supplied in the provided construction sketch.

Authors: We agree that the current version presents the construction as a sketch and does not supply a full confluence argument or direct invariance checks under virtual Reidemeister moves. In the revised manuscript we will add a dedicated subsection that proves independence of the fused link from the sequence of forbidden moves by exhibiting a confluent rewriting system on the underlying diagrams. We will also verify invariance under the virtual Reidemeister moves by explicit computation on each generator, showing that the categorification functor commutes with these moves up to isomorphism of quivers. These additions will be accompanied by diagrams and step-by-step calculations. revision: yes
Referee: [Application to polynomial invariants] The derivation of the three polynomial invariants from the quiver is asserted but not accompanied by explicit definitions, generating functions, or checks that they are unchanged under the relevant equivalences; without these steps the claim that they are link homotopy invariants cannot be assessed.

Authors: We concur that explicit definitions and invariance checks are necessary for the three polynomial invariants. The revised version will define each polynomial precisely as a generating function derived from the forbidden quiver (via the Euler characteristic of the associated chain complex or an appropriate quiver invariant). We will include direct computations confirming that each polynomial is unchanged under single-component crossing changes, thereby establishing the link-homotopy invariance. These explicit steps will enable readers to verify the claims. revision: yes

Circularity Check

0 steps flagged

Direct construction of quiver invariant from forbidden moves shows no circularity

full rationale

The paper defines the forbidden quiver via a categorification construction applied to fused links obtained from forbidden moves on virtual links. The abstract and available description present this as a new object yielding polynomial invariants, with the link-homotopy property following directly from the construction's insensitivity to single-component crossing changes. No equations, fitted parameters, self-citations, or uniqueness theorems are invoked that reduce the claimed invariant back to its inputs by definition. The derivation chain is a forward construction rather than a closed loop, making the result self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities. The construction is described at the level of 'using the forbidden moves' and 'categorify fused links' without detailing any fitted constants, background lemmas, or new postulated objects.

pith-pipeline@v0.9.0 · 5605 in / 1240 out tokens · 44252 ms · 2026-05-22T17:49:55.757863+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/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

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

Using the forbidden moves, we categorify fused links obtain a quiver-valued invariant of classical and virtual links we call the forbidden quiver... the forbidden matrix of L is the matrix whose entry in row j column k is the label on the arrow from vertex j to vertex k (virtual linking numbers).
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

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

Theorem 7. Let Γ be any finite signed quiver without loops. Then Γ is the forbidden quiver of a virtual link L.

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.