Abstract:To every knot (or link) diagram K, we associate a cluster algebra A that contains a cluster x with the property that every cluster variable in x specializes to the Alexander polynomial of K. We call x the knot cluster of A. Furthermore, there exists a cluster automorphism of A of order two that maps the initial cluster to the cluster x. We realize this connection between knot theory and cluster algebras in two ways. In our previous work, we constructed indecomposable representations T(i) of the initial quiver Q of the cluster algebra A. Modulo the removal of 2-cycles, the quiver Q is the incidence quiver of the segments in K, and the representation T(i) of Q is built by taking successive boundaries of K cut open at the i-th segment. The relation to the Alexander polynomial stems from an isomorphism between the submodule lattice of T(i) and the lattice of Kauffman states of K relative to segment i. In the current article, we identify the knot cluster x in A via a sequence of mutations that we construct from a sequence of bigon reductions and generalized Reidemeister III moves on the diagram K. On the level of diagrams, this sequence first reduces K to the Hopf link, then reflects the Hopf link to its mirror image, and finally rebuilds (the mirror image of) K by reversing the reduction. We show that every diagram of a prime link admits such a sequence. We further prove that the cluster variables in x have the same F-polynomials as the representations T(i). This establishes the important fact that our representations T(i) do indeed correspond to cluster variables in A. But it even establishes the much stronger result that these cluster variables are all compatible, in the sense that they form a cluster. We also prove that the representations T(i) have the following symmetry property. For all vertices i,j of Q, the dimension of T(i) at j is equal to the dimension of T(j) at i.

Link groups of Kishino knot stacks

Classifying links under fused isotopy

Groups of virtual and welded links

On Free Knots and Links

Classifying links and spatial graphs with finite $N$-quandles

Knot concordance and Blanchfield duality

A geometric invariant of virtual n-links

The quandle and group for higher-dimensional and virtual knots

The state-sum invariants for virtual knots

Classification of small links in the unmarked solid torus

Knot theory and cluster algebra III: Posets

An Extended Bracket Polynomial for Virtual Knots and Links

On invariants of multiplexed virtual links

Invariants of virtual links and twisted links using affine indices

Liftings of knots in $S_{g} \times S^{1}$ and covering of virtual knots

New invariants for virtual knots via spanning surfaces

The three loop isotopy and framed isotopy invariants of virtual knots

t_k-moves on links

Knot theory and cluster algebras II: The knot cluster

Invariance and naturality of knot lattice homology and homotopy

The band connected sum and the second Kirby move for higher-dimensional links