Abstract:We define a family of quiver representation-valued invariants of oriented classical and virtual knots and links associated to a choice of finite quandle $X$, abelian group $A$, set of quandle 2-cocycles $C\subset H^2_Q(x;A)$, choice of coefficient ring $k$ and set of quandle endomorphisms $S\subset \mathrm{Hom}(X,X)$. From this representation we define four new polynomial (or ``polynomial'' depending on $A$) invariants. We generalize to the case of biquandles and compute some examples.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to introduce a new invariant, namely "quandle cohomology quiver representation", for oriented classical and virtual knots and links. In this way, the author hopes to expand the existing quandle homology theory and provide more powerful tools to distinguish and classify different types of knots and links.
Specifically, the main contributions of the paper include:
1. **Define new invariants**: Based on a finite quandle \(X\), an abelian group \(A\), a quandle 2 - cocycle \(C\subset H^2_Q(X;A)\), a coefficient ring \(k\) and a set of quandle endomorphisms \(S\subset \text{Hom}(X, X)\), a family of invariants represented by quivers is defined. These invariants can be applied to the study of classical and virtual knots and links.
2. **Generalize to biquandles**: The above construction is generalized to biquandles, which not only improves the computational efficiency but also enhances the ability to distinguish virtual knots and links.
3. **Polynomial invariants**: Through decategorification, new polynomial invariants are extracted from the quiver representations, including the edge characteristic polynomial and the path characteristic polynomial, etc.
4. **Examples and calculations**: The application of the new invariants is demonstrated through specific examples and calculations, verifying their effectiveness and practicality.
### Key formulas
The mathematical formulas involved in the paper mainly include:
- The boundary map of quandle 2 - cohomology:
\[
\partial_n(x_1,\ldots,x_n)=\sum_{k = 1}^{n}(- 1)^k\left((x_1,\ldots,x_{k - 1},x_{k+1},\ldots,x_n)-(x_1\triangleright x_k,\ldots,x_{k - 1}\triangleright x_k,x_{k+1}\triangleright x_k,\ldots,x_n\triangleright x_k)\right)
\]
- The characteristic polynomial:
\[
\chi(M)=\det(tI - M)
\]
- The matrix polynomial:
\[
p_M(x,y)=\sum_{j,k\in A}M_{j,k}x^j y^k
\]
Through these formulas and methods, the paper successfully constructs a new quandle cohomology quiver representation and proves its effectiveness in distinguishing classical and virtual knots and links.