Birack Bracket Quivers and Framed Links

We introduce birack brackets, skein invariants of birack-colored framed classical and virtual knots and links with values in a commutative unital ring. The multiset of birack bracket values over the homset from a framed link’s fundamental birack then forms an invariant of framed links. We then categorify this multiset to define a quiver-valued invariant of framed knots and links. From this quiver we define new polynomial invariants of framed knots and links.

💡 Research Summary

The paper introduces a new family of invariants for framed classical and virtual knots and links based on birack colorings, extending the well‑known biquandle bracket construction to the framed setting. A birack is an algebraic structure equipped with two binary operations satisfying three axioms that encode the framed Reidemeister moves: (i) a condition corresponding to the framed type‑I move, (ii) invertibility of the associated maps α and β, and (iii) exchange laws that mirror the type‑II and type‑III moves. For any finite birack X, the authors define a “birack bracket” by assigning to each ordered pair (x, y) ∈ X×X two units A(x, y) and B(x, y) in a commutative unital ring R. These coefficients must satisfy a collection of relations (including A(x,x)^2 B(x,x)⁻¹ = A(x▹x, x▹x)^2 B(x▹x, x▹x)⁻¹, the vanishing of δ = –A B⁻¹ – A⁻¹ B, and several mixed identities) that guarantee invariance of the resulting state‑sum under all framed Reidemeister moves.

Given a framed link diagram L, each birack coloring f : B(L) → X determines a skein state‑sum β(f) obtained by smoothing each crossing according to the color pair (x, y) and multiplying the smoothing coefficients A or B, together with a factor δ raised to the number of resulting disjoint loops. Proposition 1 proves that β(f) is unchanged by any framed Reidemeister move, so the multiset Φ_{β,M}^X(L) = { β(f) | f ∈ Hom(B(L), X) } is an invariant of the framed link. By encoding this multiset as a polynomial Φ_β^X(L) = Σ_{f∈Hom} u^{β(f)}, the authors obtain a convenient algebraic object for comparison.

The central novelty of the work is the categorification of this multiset. For a chosen set S of birack endomorphisms, the “birack coloring quiver” B_RQ^{X,S}(L) is defined: vertices correspond to colorings, and a directed edge from v₁ to v₂ exists whenever v₂ = v₁ σ for some σ ∈ S. Theorem 3 shows that the quiver is invariant under framed isotopy. Adding the birack bracket values as vertex weights yields the “birack bracket quiver” B_RQ^{X,S,β}(L). This quiver captures not only the number of colorings but also how they transform under the endomorphisms, providing a richer invariant.

Because quivers can become large, the authors propose two decategorifications. The first sums over vertices, weighting each by its bracket value and by the out‑degree (deg⁺) of the vertex: Φ_{S,deg⁺}^{X,β}(K) = Σ_{v∈V} u^{β(v)} v^{deg⁺(v)}. The second sums over edges, multiplying the bracket values of source and target: Φ_{S,2}^{X,β}(K) = Σ_{e∈E} u^{β(s(e))} v^{β(t(e))}. Both are polynomial invariants that retain information about the underlying quiver while being computationally tractable.

The paper supplies a suite of concrete examples. An infinite family of (t, s, r)‑Alexander biracks is described, together with a finite Z₄‑based birack where the kink map is π(x)=3x. Using Python code, the authors compute bracket matrices over ℤ₅ and ℂ, and evaluate the invariants for the framed trefoil (with writhe 3) and the framed Hopf link. Notably, the same underlying knot with different framings can yield empty coloring sets (hence a zero polynomial), demonstrating that the birack bracket detects framing information that ordinary birack counting does not. Moreover, the quiver‑derived polynomials distinguish knots that share the same counting invariant, confirming that the categorified invariant is strictly stronger.

In the concluding section, the authors discuss possible extensions: handling non‑regular biracks, exploring larger endomorphism sets S, classifying quiver isomorphism types, and applying the framework to virtual knots with additional virtual Reidemeister moves. They also note the availability of all illustrations and Python scripts, emphasizing the reproducibility of their computations.

Overall, the work provides a coherent algebraic‑categorical toolkit for framed knot theory, blending skein‑theoretic state sums with quiver representations to produce a hierarchy of invariants—counting, polynomial, and quiver—that capture both coloring multiplicities and the dynamics of birack endomorphisms. This advances the study of framed links by offering finer discriminants and opens avenues for further algebraic and computational exploration.