Eigenvalue conjecture and colored Alexander polynomials

An indisputable advantage of knot theory from the point of view of representation theory is that the former provides a set of quantities that adequately capture and reveal the basic hidden properties of the latter. These quantities, knot polynomials [1, 2, 3, 4, 5, 6, 7, 8] are the most natural in quantum field theory (QFT) realization of knot theory: they are just the Wilson loop averages in the topological Chern–Simons model [9, 10], which is one of the simplest in the family of Yang–Mills theories. The power of knot polynomial QFT methods in knot and representation theories is an impressive manifestation of the effectiveness of string theory approach to mathematical problems, especially when their calculational (algebraic) aspects are concerned.

Open image in new window

Contributing to (4) at \(A=1\) are diagrams Q with no \(l=a\) factors (which vanish at \(A=1\)). One such factor is obligatory present for any Q, but it drops away from the ratio \(\chi ^*_Q/\chi _R^*\). For a single hook \(R=[r,1^s]\), however, contributing Q are also only single hook. Since their sizes are \(|Q|=m|R| = m(r+s)\), and at the same time the numbers of rows and columns are restricted by mr and \(m(s+1)\), respectively, the set of Q contributing to (4) at \(A=1\) consists just of m single hook diagrams,

$$\begin{aligned} Q = [mr-k,1^{ms+k}], \ \ \ \ k = 0,\ldots ,m-1 . \end{aligned}$$

(6)

Open image in new window

• If the knot \(\mathcal{K}\) is realized as a closure of the m-strand braid \(\Big (a_{1,1},\ldots ,a_{1,m-1}|a_{2,1},\ldots a_{2,m-1}| \ldots \Big )\), then the coefficients \(C_{RQ}\) in (4) are actually equal to [25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40]

  $$\begin{aligned} C_{_{RQ}} = \mathrm{Tr}_{_{V_Q}} \Big ( \mathcal{R}_1^{a_{1,1}}\ldots \ \mathcal{R}_{m-1}^{a_{1,m-1}} \,\mathcal{R}_1^{a_{2,1}}\ldots \ \mathcal{R}_{m-1}^{a_{2,m-1}}\, \ldots \Big ).\nonumber \\ \end{aligned}$$

  (7)

Here the trace is taken over the space of intertwining operators (multiplicities), \(R^{\otimes m} = \oplus _Q \, V_Q^{(m)}\otimes Q\) and the \(\mathcal{R}\)-matrix \(\mathcal{R}_i\) standing at the intersection of ith strand with the \((i+1)\)th one is obtained by the conjugation

$$\begin{aligned} \mathcal{R}_i = U_i\mathcal{R}_1U_i^{-1}. \end{aligned}$$

(8)

It is associated with the fact that the usual \(\mathcal{R}\)-matrix which acts in the space of product of two representations \(R\otimes R\) if diagonalized, is proportional to unity in the space of the irreducible representation Y that appears in the decomposition of the square of R, \(R\otimes R = \oplus _Y \ V^{(2)}_Y\otimes Y\):

$$\begin{aligned} \mathcal{R}_i= \oplus _Y \ \epsilon _i q^{ \varkappa _{_Y} }\cdot I_{V_Y^{(2)}} \end{aligned}$$

(9)

where \(\epsilon _i = \pm 1\), depending on whether Y belongs to the symmetric or antisymmetric square.

This is why one can work with \(\mathcal{R}\), which acts already in the space of intertwining operators \(V^{(2)}_Y\). One can diagonalize, say, \(\mathcal{R}_1\) with acts on the first two strands. However, all matrices \(\mathcal{R}_i\) cannot be diagonalized at once. For \(m>2\) each multiplicity space \(V_Q^{(2)}\), arising in the mth tensor power of R, contains descendants of different Y from the second level, and while \(\mathcal{R}_1\) remains diagonal, the other \(\mathcal{R}_i\) (and thus elementary building blocks of \(U_i\) [35, 37]) after a proper ordering of columns and rows are block-diagonal matrices with blocks of the size \(V_Q^{(2)}\otimes V_Q^{(2)}\) [35, 37, 38].

Keeping all this in mind, for the \(m=2\)-strand knots with odd n, one obtains from (4)

$$\begin{aligned}&Al_{[r,1^s]}^{(n)} = \frac{[r+s]}{[2(r+s)]}\cdot \Big (q^{n(r+s)}+q^{-n(r+s)}\Big )\nonumber \\&\quad =\frac{q^{n(r+s)}+q^{-n(r+s)}}{q^{r+s} +q^{-(r+s)}} = \frac{q^{n|R|}+q^{-n|R|}}{q^{|R|} +q^{-|R|}} \end{aligned}$$

(12)

which for odd n (i.e. for the 2-strand knots rather than links) is indeed a polynomial, satisfying (2).

• For \(m>2\) just the same reasoning would work with the only correction: the mixing matrices U emerge. For (2) to be true, it is sufficient if U-matrices depend on \(R=[r,1^s]\) through \(q^{r+s}=q^{|R|}\) only – and this is exactly what follows from the eigenvalue conjecture of [18]. The conjecture claims that the \(V_Q\otimes V_Q\) block of U, associated with representation Q, are made entirely from the normalized eigenvalues \(\epsilon _Y q^{\varkappa _Y}\) of the \(\mathcal{R}\)-matrix \(\mathcal{R}_1\) for Y on the path from R to Q, and (10) shows that in our single hook case these are in turn made exactly from \(q^{r+s}=q^{|R|}\) (“normalized” means that the “shifts” in (10) can be neglected).

It is, of course, important in this argument that the paths in representation graph from a single hook R to a single hook Q are restricted to single hook diagrams at all steps. As a result, the encountered diagrams and, thus, the entire paths are labeled by the parameters k, which are actually R-independent: the paths and contributing eigenvalues are just the same for the fundamental representation and for any other single hook R.

Open image in new window

This is the main claim of the present letter. However, in practice this statement is evidence in favor of the eigenvalue conjecture rather than of (2). This is because (2) is very easy to check, once colored HOMFLY is known, and recent advances in HOMFLY calculus [41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53] provided quite a number of examples, which allows one to consider (2) rather well tested. The situation with the eigenvalue conjecture is much worse: it was quite difficult to check it for the matrix sizes (dimensions of W(Q)) 2,3,4,5 even in the simplest case of \(m=3\) strands. For size 6 it was validated very recently within the framework of the knot universality of [54, 55] and by application to advanced Racah calculus in [46, 48, 49]. This was an important step, because, beginning from the size 6, the eigenvalue conjecture does not immediately follow from the Yang–Baxter relations only [18, 56]; still for knot calculus it works well. Evidence for the eigenvalue hypotheses for a higher number of strands \(m>3\) is still nearly negligible. Mixing matrices are now not just Racah matrices but their convolutions [57, 58], which are extremely difficult to calculate, and not much has been yet done since [25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40]. In this text we presented the claim that, if true for all m, the eigenvalue conjecture would explain the well-established equation (2), and this is new and reasonably strong evidence. It is far from proving anything, both because (2) is not proved and because the eigenvalue conjecture is sufficient, but not necessary for (2) to hold. Still, this new relation between the two conjectures should attract new attention to both of them and hopefully lead to a considerably better understanding.

From this interpretation of (2) it becomes clear what is so special about the single hook diagrams. For R with h hooks contributing to the sum (4) at \(A=1\) will also be the h-hook diagrams Q, which will be parameterized by \(2h-1\) parameters instead of a single k. Analysis of this situation is now possible and straightforward, however, it is not a surprise that the answer is more sophisticated than (2).