R-Matrix Invariants

KnotTheory` can compute knot and link invariants associated with matrix solutions of the Yang-Baxter equation, using the program REngine:

(For In[1] see Setup)

In more detail, let $V$ be a free module of finite rank over a commutative ring, and let $R,{\bar {R}}\in End(V\otimes V)$ be invertible. Further, let there be invertible endomorphisms $M_{\leftarrow },M_{\rightarrow },M^{\leftarrow },M^{\rightarrow }\in End(V)$; these correspond to McupL, McupR, McapL, and McapR respectively. Fixing a basis of V, we can regard all of these endomorphisms as matrices.

The following notation is useful: for $n=dim(V)$, $R_{ab}^{cd}$ refers to the element in row $n(c-1)+d$ row and column $n(a-1)+b$ column.

For an oriented knot or link $K$, REngine returns the product $\tau (K)$, which is computed as follows:

1. Find a Morse link presentation of $K$ such that it is composed only of crossings of the X[k, Over/Under, Down, Down] variety; this is accomplished by adding caps and cups where necessary.
2. Label the edges in between events in the Morse link presentation of $K$.
3. Associate each event with one of the matrices as shown, with the indices given by the labelling:
   • X[k, Over, Down, Down]:$\Rightarrow R_{ab}^{cd}$
   • X[k, Under, Down, Down]: $\Rightarrow {\bar {R}}_{ab}^{cd}$
4. Define $\tau (K)$ as the result of taking the product of the matrices associated with the elements of K, and summing over repeated indices; each sum runs from 1 to $n=dim(V)$.

As an example, let K be the left-handed trefoil, as shown. Then

$\tau (K)=\sum {M_{\leftarrow }}_{ab}$