Higher-rank trace relation for spin link homology

Let equation denote the paper's preceding conjectural relation, and let $n$ and $k$ be the rank and generator index appearing there. Higher-rank trace conjecture. Equation also holds for all $n\geq4$ and all $1\leq k\leq n-1$. The source explains that this is the remaining technical ingredient needed, together with the other stated conjectures, to extend the decategorification theorem beyond the verified cases $n=1,2,3$.