Skip to main content

On Knots, Complements, and 6j-Symbols


This paper investigates the relation between colored HOMFLY-PT and Kauffman homology, \({{\,\mathrm{SO}\,}}(N)\) quantum 6j-symbols, and (at)-deformed \(F_K\). First, we present a simple rule of grading change which allows us to obtain the [r]-colored quadruply graded Kauffman homology from the \([r^2]\)-colored quadruply graded HOMFLY-PT homology for thin knots. This rule stems from the isomorphism of the representations \((\mathfrak {so}_6,[r]) \cong (\mathfrak {sl}_4,[r^2])\). Also, we find the relationship among A-polynomials of \({{\,\mathrm{SO}\,}}\) and \({{\,\mathrm{SU}\,}}\) type coming from a differential on Kauffman homology. Second, we put forward a closed-form expression of \({{\,\mathrm{SO}\,}}(N)(N\ge 4)\) quantum 6j-symbols for symmetric representations and calculate the corresponding \({{\,\mathrm{SO}\,}}(N)\) fusion matrices for the cases when representations . Third, we conjecture closed-form expressions of (at)-deformed \(F_K\) for the complements of double twist knots with positive braids. Using the conjectural expressions, we derive t-deformed ADO polynomials.

This is a preview of subscription content, access via your institution.

Fig. 1
Fig. 2


  1. 1.

    In this paper, a representation specified by a Young diagram \((r_1 \ge r_2 \ge \cdots )\) is denoted by \(R=[r_1, r_2, \ldots ]\). In particular, we write \([r^s]\) for an \(r \times s\) rectangular Young diagram.

  2. 2.

    We define the normalized quantum invariant

    In this paper, we focus only on knot invariants normalized by the unknot so that HOMFLY-PT \(P_R(K;a,q)\) and Kauffman \(F_R(K;a,q)\) polynomials are also normalized in a similar manner.


  1. 1.

    Witten, E.: Quantum field theory and the Jones polynomial. Commun. Math. Phys. 121, 351 (1989)

    ADS  MathSciNet  Article  Google Scholar 

  2. 2.

    Reshetikhin, N., Turaev, V.: Invariants of three manifolds via link polynomials and quantum groups. Invent. Math. 103, 547 (1991)

    ADS  MathSciNet  Article  Google Scholar 

  3. 3.

    Moore, G.W., Seiberg, N.: LECTURES ON RCFT. In: 1989 Banff NATO ASI: Physics, Geometry and Topology, vol. 9, pp. 1–129 (1989)

  4. 4.

    Kaul, R., Govindarajan, T.: Three-dimensional Chern–Simons theory as a theory of knots and links. Nucl. Phys. B 380, 293 (1992). arXiv:hep-th/9111063

  5. 5.

    Kaul, R., Govindarajan, T.: Three-dimensional Chern–Simons theory as a theory of knots and links. 2. Multicolored links. Nucl. Phys. B 393, 392 (1993)

    ADS  Article  Google Scholar 

  6. 6.

    Kaul, R.: Chern–Simons theory, colored oriented braids and link invariants. Commun. Math. Phys. 162, 289 (1994). arxiv:hep-th/9305032

  7. 7.

    Ramadevi, P., Govindarajan, T., Kaul, R.: Three-dimensional Chern–Simons theory as a theory of knots and links. 3. Compact semisimple group. Nucl. Phys. B 402, 548 (1993). arxiv:hep-th/9212110

  8. 8.

    Khovanov, M.: A categorification of the Jones polynomial. Duke Math. J. 101, 359 (2000). arxiv:math/9908171

  9. 9.

    Khovanov, M., Rozansky, L.: Matrix factorizations and link homology II. Geom. Topol. 12, 1387 (2008). arxiv:math/0505056

  10. 10.

    Dunfield, N.M., Gukov, S., Rasmussen, J.: The Superpolynomial for knot homologies. Exp. Math. 15, 129 (2006). arxiv:math/0505662

  11. 11.

    Gukov, S., Walcher, J.: Matrix factorizations and Kauffman homology, arxiv:hep-th/0512298

  12. 12.

    Gukov, S., Stošić, M.: Homological Algebra of Knots and BPS States. Proc. Symp. Pure Math. 85, 125 (2012). arxiv:1112.0030

  13. 13.

    Gorsky, E., Gukov, S., Stošić, M.: Quadruply-graded colored homology of knots. Fund. Math. 243, 209 (2018). arxiv:1304.3481

  14. 14.

    Nawata, S., Ramadevi, P., Zodinmawia: Colored Kauffman homology and super-\(A\)-polynomials. JHEP 01, 126 (2014). arxiv:1310.2240

  15. 15.

    Kashaev, R.: The Hyperbolic volume of knots from quantum dilogarithm. Lett. Math. Phys. 39, 269 (1997)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Murakami, H., Murakami, J.: The colored Jones polynomials and the simplicial volume of a knot. Acta Math. 186, 85 (2001). arXiv:math/9905075

  17. 17.

    Gukov, S.: Three-dimensional quantum gravity, Chern–Simons theory, and the A polynomial. Commun. Math. Phys. 255, 577 (2005). arxiv:hep-th/0306165

  18. 18.

    Gukov, S., Murakami, H.: SL(2, C) Chern–Simons theory and the asymptotic behavior of the colored Jones polynomial. Lett. Math. Phys. 86, 79 (2008). arxiv:math/0608324

  19. 19.

    Daryl, C., Peter, S., Marc, B.C., Henri, G., Long, D.D.: Plane curves associated to character varieties of 3-manifolds. Invent. Math. 118, 47 (1994)

    MathSciNet  Article  Google Scholar 

  20. 20.

    Awata, H., Gukov, S., Sulkowski, P., Fuji, H.: Volume conjecture: refined and categorified. Adv. Theor. Math. Phys. 16, 1669 (2012). arxiv:1203.2182

  21. 21.

    Aganagic, M., Vafa, C.: Large N duality, mirror symmetry, and a Q-deformed A-polynomial for Knots, arxiv:1204.4709

  22. 22.

    Fuji, H., Gukov, S., Sulkowski, P.: Super-A-polynomial for knots and BPS states. Nucl. Phys. B 867, 506 (2013). arxiv:1205.1515

  23. 23.

    Moore, G.W., Seiberg, N.: Classical and quantum conformal field theory. Commun. Math. Phys. 123, 177 (1989)

    ADS  MathSciNet  Article  Google Scholar 

  24. 24.

    Kazhdan, D., Lusztig, G.: Tensor structures arising from affine Lie algebras. I. J. Am. Math. Soc. 6, 905 (1993)

    MathSciNet  Article  Google Scholar 

  25. 25.

    Kazhdan, D., Lusztig, G.: Tensor structures arising from affine Lie algebras. II. J. Am. Math. Soc. 6, 949 (1993)

    MathSciNet  Article  Google Scholar 

  26. 26.

    Kazhdan, D., Lusztig, G.: Tensor structures arising from affine Lie algebras. III. J. Am. Math. Soc. 7, 335 (1994)

    MathSciNet  Article  Google Scholar 

  27. 27.

    Kazhdan, D., Lusztig, G.: Tensor structures arising from affine Lie algebras. IV. J. Am. Math. Soc. 7, 383 (1994)

    MathSciNet  Article  Google Scholar 

  28. 28.

    Biedenharn, L., Van Dam, H.: Quantum Theory of Angular Momentum: A Collection of Reprints and Original Papers. Academic Press, New York (1965)

    Google Scholar 

  29. 29.

    Wigner, E.P.: On the Matrices Which Reduce the Kronecker Products of Representations of S.R. Groups, in The Collected Works of Eugene Paul Wigner, pp. 608–654. Springer, New York (1993)

    Google Scholar 

  30. 30.

    Racah, G.: Theory of Complex Spectra. II. Phys. Rev. 62, 438 (1942)

    ADS  Article  Google Scholar 

  31. 31.

    Kirillov, A., Reshetikhin, N.: Representations of the Algebra \(U_q(sl_2)\), \(q\)-Orthogonal Polynomials and Invariants of Links, in New Developments In The Theory Of Knots, pp. 202–256 (1990)

  32. 32.

    Gu, J., Jockers, H.: A note on colored HOMFLY polynomials for hyperbolic knots from WZW models. Commun. Math. Phys. 338, 393 (2015). arxiv:1407.5643

  33. 33.

    Nawata, S., Ramadevi, P., Zodinmawia: Multiplicity-free quantum 6\(j\)-symbols for \(U_{q}({\mathfrak{sl}}_N)\). Lett. Math. Phys. 103, 1389 (2013). arxiv:1302.5143

  34. 34.

    Alekseev, V., Morozov, A., Sleptsov, A.: Multiplicity-free \(U_q (sl_N)\) 6j-symbols: relations, asymptotics, symmetries. Nucl. Phys. B 960, 115164 (2020). arxiv:1912.13325

  35. 35.

    Ališauskas, S.: Some coupling and recoupling coefficients for symmetric representations of \(\text{ SO }(n)\). J. Phys. A: Math. Gen. 20, 35 (1987)

    ADS  MathSciNet  Article  Google Scholar 

  36. 36.

    Ališauskas, S.: 6\(j\)-symbols for symmetric representations of \(\text{ SO }(n)\) as the double series. J. Phys. A: Math. Gen. 35, 10229–10246 (2002). arxiv:math-ph/0206044

  37. 37.

    Gukov, S., Putrov, P., Vafa, C.: Fivebranes and 3-manifold homology. JHEP 07, 071 (2017). arxiv:1602.05302

  38. 38.

    Gukov, S., Pei, D., Putrov, P., Vafa, C.: BPS spectra and 3-manifold invariants. J. Knot Theor. 29, 2040003 (2020). arxiv:1701.06567

  39. 39.

    Gukov, S., Manolescu, C.: A two-variable series for knot complements, arxiv:1904.06057

  40. 40.

    Melvin, P.M., Morton, H.R.: The coloured Jones function. Commun. Math. Phys. 169, 501 (1995)

    ADS  MathSciNet  Article  Google Scholar 

  41. 41.

    Bar-Nathan, D., Garoufalidis, S.: On the Melvin–Morton–Rozansky conjecture. Invent. Math. 125, 103 (1996)

    ADS  MathSciNet  Article  Google Scholar 

  42. 42.

    Rozansky, L.: A Contribution to the trivial connection to Jones polynomial and Witten’s invariant of 3-d manifolds. 1. Commun. Math. Phys. 175, 275 (1996). arxiv:hep-th/9401061

  43. 43.

    Rozansky, L.: The universal R-matrix, burau representation, and the Melvin–Morton expansion of the colored Jones polynomial. Adv. Math. 134, 1 (1998). arxiv:q-alg/9604005

  44. 44.

    Garoufalidis, S.: On the characteristic and deformation varieties of a knot. Geom. Topol. Monogr. 7, 291 (2004). arxiv:math/0306230

  45. 45.

    Garoufalidis, S., Lê, T.T.: The colored Jones function is q-holonomic. Geom. Topol. 9, 1253 (2005). arxiv:math/0309214

  46. 46.

    Willetts, S.: A unification of the ADO and colored Jones polynomials of a knot, arxiv:2003.09854

  47. 47.

    Gukov, S., Hsin, P.-S., Nakajima, H., Park, S., Pei, D., Sopenko, N.: Rozansky–Witten geometry of Coulomb branches and logarithmic knot invariants, arxiv:2005.05347

  48. 48.

    Akutsu, Y., Deguchi, T., Ohtsuki, T.: Invariants of colored links. J. Knot Theor. 01, 161 (1992)

    MathSciNet  Article  Google Scholar 

  49. 49.

    Park, S.: Higher rank \(\hat{Z}\) and \(F_K\). SIGMA 16, 044 (2020). arxiv:1909.13002

  50. 50.

    Ekholm, T., Gruen, A., Gukov, S., Kucharski, P., Park, S., Sułkowski, P.: \(\widehat{Z}\) at large \(N\): from curve counts to quantum modularity, arxiv:2005.13349

  51. 51.

    Rasmussen, J.: Khovanov Homology and the Slice Genus. Invent. Math. 182, 419 (2010). arxiv:math/0402131

  52. 52.

    Wedrich, P.: Exponential growth of colored HOMFLY-PT homology. Adv. Math. 353, 471 (2019). arxiv:1602.02769

  53. 53.

    Rasmussen, J.: Some differentials on Khovanov–Rozansky homology. Geom. Topol. 19, 3031 (2015). arxiv:math/0607544

  54. 54.

    Habiro, K.: A unified Witten–Reshetikhin–Turaev invariant for integral homology spheres. Invent. Math. 171, 1 (2008). arxiv:math/0605314

  55. 55.

    Kononov, Y., Morozov, A.: Rectangular superpolynomials for the figure-eight knot 4\(_{1}\). Theor. Math. Phys. 193, 1630 (2017). arxiv:1609.00143

  56. 56.

    Kameyama, M., Nawata, S., Tao, R., Zhang, H.D.: Cyclotomic expansions of HOMFLY-PT colored by rectangular Young diagrams. Lett. Math Phys. 110, 2573 (2020). arxiv:1902.02275

  57. 57.

    Kucharski, P., Reineke, M., Stošić, M., Sułkowski, P.: Knots-quivers correspondence. Adv. Theor. Math. Phys. 23, 1849 (2019). arxiv:1707.04017

  58. 58.

    Landau, L.D., Lifshitz, E.M.: Quantum Mechanics: Non-relativistic Theory, vol. 3. Pergamon Press, New York (1958)

    MATH  Google Scholar 

  59. 59.

    Biedenharn, L.C., Louck, J.D.: Angular Momentum in Quantum Physics: Theory and Application. Addison-Wesley, Reading (1981)

    MATH  Google Scholar 

  60. 60.

    Butler, P.H.: Point Group Symmetry Applications: Methods and Tables. Springer, Berlin (1981)

    Book  Google Scholar 

  61. 61.

    Varshalovich, D.A., Moskalev, A.N., Khersonskii, V.K.: Quantum Theory of Angular Momentum. World Scientific, Singapore (1988)

    Book  Google Scholar 

  62. 62.

    Mironov, A., Morozov, A., Morozov, A., Sleptsov, A.: Quantum Racah matrices and 3-strand braids in irreps \(R\) with \(|R|=4\). JETP Lett. 104, 56 (2016). arxiv:1605.03098

  63. 63.

    Gukov, S., Marino, M., Putrov, P.: Resurgence in complex Chern–Simons theory, arxiv:1605.07615

  64. 64.

    Park, S.: Large color \(R\)-matrix for knot complements and strange identities, arxiv:2004.02087

  65. 65.

    Lovejoy, J., Osburn, R.: The colored Jones polynomial and Kontsevich–Zagier series for double twist knots, Oberwolfach Preprints (2017) [arxiv:1710.04865]

  66. 66.

    Lovejoy, J., Osburn, R.: The colored Jones polynomial and Kontsevich–Zagier series for double twist knots, II, arxiv:1903.05060

  67. 67.

    Nawata, S., Ramadevi, P., Zodinmawia, Sun, X.: Super-A-polynomials for twist knots. JHEP 11, 157 (2012). arxiv:1209.1409

  68. 68.

    Gukov, S., Nawata, S., Saberi, I., Stošić, M., Sułkowski, P.: Sequencing BPS spectra. JHEP 03, 004 (2016). arxiv:1512.07883

  69. 69.

    Beliakova, A., Hikami, K.: Non-semisimple invariants and Habiro’s series, arxiv:2009.13285

  70. 70.

    Banerjee, S., Jankowski, J., Sułkowski, P.: Revisiting the Melvin–Morton–Rozansky expansion, or there and back again. JHEP 12, 095 (2020). arxiv:2007.00579

  71. 71.

    Liu, J., Perlmutter, E., Rosenhaus, V., Simmons-Duffin, D.: \(d\)-dimensional SYK, AdS loops, and \(6j\) symbols. JHEP 03, 052 (2019). arxiv:1808.00612

  72. 72.

    Olive, G.: Generalized powers. Am. Math. Mon. 72, 619 (1965)

    MathSciNet  Article  Google Scholar 

Download references


We would like to thank Chen Yang for collaboration at the initial stage of the project. S.N. is indebted to Bruno le Floch for collaboration and discussion on 6j-symbols, and he also thanks Ryo Suzuki for identifying Ref. [36] about \({{\,\mathrm{SO}\,}}(N)\) 6j-symbols. We also would like to thank Sunghyuk Park for identifying the relationship between the t-deformed ADO polynomials of \(3_1\) and \(^*3_1\). This work was supported by the National Science Foundation of China under Grant No. NSFC PHY-1748958.

Author information



Corresponding author

Correspondence to Satoshi Nawata.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Communicated by Ruben Minasian.

Appendix A: Derivation of the ADO polynomials

Appendix A: Derivation of the ADO polynomials

In this Appendix, we derive the t-deformed p-th ADO polynomial (4.14) and its higher rank generalization (4.19) from \(F_K(x,a,q,t)\) (4.1) and (4.5). We use \(F_K\) as a short for,

$$\begin{aligned} \lim _{q \rightarrow \zeta _p} F_K(x, a = -t^{-1} q^N, q, t), \end{aligned}$$

and similarly for other functions discussed in this section. We use q and \(\zeta _p\) interchangeably. When an integer k is displayed as \(k = k_1 p + k_0\), it is implied that \(k_1, k_0 \in \mathbb {N}\), and \(0 \le k_0 \le p - 1\).

Our closed formulae are built from q-binomials and q-Pochhammer symbols and we will first discuss their behavior when q goes to roots of unity. The q-Lucas theorem [72] states that,

$$\begin{aligned} {l \brack k}_{q = \zeta _p} = {l_1 \atopwithdelims ()k_1} {l_0 \brack k_0}_{q = \zeta _p}, \end{aligned}$$

where \(l = l_1 p+ l_0,~k = k_1p + k_0\). For q-Pochhammer, we have

$$\begin{aligned} (a;q)_k = (1 - a^p)^{k_1} (a;q)_{k_0}, \end{aligned}$$

where \(q = \zeta _p\), \(k = k_1 p + k_0\). In the following discussion, We will break \(F_K(x,a,q,t)\) into parts. As we will see later, these components enjoy similar properties. It turns out that \(F_K\) can be written as a product of an infinite summation over \(k_1\) and a finite one over \(k_0\), where \(k = k_1p +k_0\) and \(q = \zeta _p\), and the infinite summation over \(k_1\) can be repackaged by the generalized binomial theorem,

$$\begin{aligned} \frac{1}{(1-z)^n} = \sum _{i = 0}^\infty {n + i -1 \atopwithdelims ()i} z^i. \end{aligned}$$

As a result, an ADO polynomial can be expressed as a finite summation of over \(k_0\).

ADO Polynomials of Double Twist Knot \(K_{m,n}~(m,n\in \mathbb {Z}_+)\)

For double twist knots \(K_{m,n}~(m,n \in \mathbb {Z}_+)\), we first analyze (at)-deformed \(F_K\) at radial limit \(q = \zeta _p\). Each component of (4.1) behaves as follows.

  • The twist factor \({\text {tw}}^{(l)}_m(a,q,t)\) (4.4) now becomes

    $$\begin{aligned} {\text {tw}}_m^{(l)} = \sum _{0\le b_1 \le \cdots \le b_{m-1} \le b_m = l} \prod _{i=1}^{m-1}(-q^N)^{b_i} q^{b_i (b_i-1)} t^{ b_i} {b_{i+1} \brack b_{i}}_q. \end{aligned}$$

    We decompose the summation variables as, \(b_{i} = \alpha _i p + \beta _i\), and \(l = l_1 p + l_0\). Using the q-Lucas theorem, (A.4) can be written as a product of two summations, one over \(\alpha _i\)’s and another one over \(\beta _i\)’s. The summation over \(\beta _i\)’s would give \(\mathrm {tw}_m^{(l_0)}\). Performing the summation over \(\alpha _i\)’s, we obtain

    $$\begin{aligned} \mathrm {tw}_m^{(l)} = S_m^{l_1}((-t)^p)\,\mathrm {tw}_m^{(l_0)}, \end{aligned}$$

    where \(S_m^{l_1}(x) := \left( S_m(x)\right) ^{l_1} := \left( \sum \limits _{i = 0}^{m-1}x^i\right) ^{l_1}\).

  • The twist factor \({\text {Tw}}_{K_{m,n}}^{(j)}(a,q,t)\) (4.3) becomes

    $$\begin{aligned} {\text {Tw}}_{K_{m,n}}^{(j)} = \sum _{l = 0}^j (-1)^l q^{\frac{1}{2} l (l + 1) - j l} {\text {tw}}_m^{(l)} {\text {tw}}_n^{(l)} {j \brack l}_q. \end{aligned}$$

    We write the summation variables as \(j = j_1 p + j_0\), and \(l = l_1 p + l_0\). Because of the fact that \(q^p = 1\), the q-Lucas theorem and (A.5), we obtain,

    $$\begin{aligned} {\text {Tw}}_{K_{m,n}}^{(j)} = \left( 1-S_m\left( \left( -t\right) ^p\right) S_n\left( \left( -t\right) ^p\right) \right) ^{j_1} {\text {Tw}}_{K_{m,n}}^{(j_0)}. \end{aligned}$$
  • Now \(g^{(k)}_{K_{m,n}}(x, a, q, t)\) in (4.2) becomes

    $$\begin{aligned} g^{(k)}_{K_{m,n}} = \sum _{j = 0}^k (x;q^{-1})_k (x t^2 q^N; q)_j (x t^2)^{k-j} q^{k-Nj} {N-2+k \brack k}_q {k \brack j}_q {\text {Tw}}_{K_{m,n}}^{(j)},\nonumber \\ \end{aligned}$$

    where we have used the fact that

    $$\begin{aligned} \frac{(q^{N-1};q)_k}{(q;q)_k} = {N-2+k \brack k}_q. \end{aligned}$$

    We decompose the variables as \(j = j_1 p + j_0\), \(k = k_1 p + k_0\) and \(N-2 = A_1 p + A_0\). Plugging (A.1), (A.2) and (A.7) into (A.8), we have

    $$\begin{aligned} g_{K_{m,n}}^{(k)} ={A_1 + k_1 \atopwithdelims ()k_1} \left( 1 - x^p\right) ^{k_1} \left[ 1- \left( 1 - x^p t^{2p} \right) S_m\left( (-t)^p\right) S_n\left( (-t)^p\right) \right] ^{k_1} g^{(k_0)}_{K_{m,n}}.\nonumber \\ \end{aligned}$$
  • \(F_{K_{m,n}} (x, a, q, t)\) becomes

    $$\begin{aligned} F_{K_{m,n}} = (- t x)^{N-1} \sum _{k = 0}^\infty g_{K_{m,n}}^{(k)}. \end{aligned}$$

    Given \(k = k_1 p + k_0\), \(N - 2 = A_1 p + A_0\), we have

    $$\begin{aligned} F_{K_{m,n}}= & {} ~ (- t x)^{N - 1} \sum _{k_0 = 0}^{p-1} g_{K_{m,n}}^{(k_0)} \nonumber \\&\times \sum _{k_1 = 0}^\infty {A_1 + k_1 \atopwithdelims ()k_1} \left( 1 - x^p\right) ^{k_1} \left[ 1- \left( 1 - x^p t^{2p}\right) S_m\left( (-t)^p\right) S_n\left( (-t)^p\right) \right] ^{k_1}.\nonumber \\ \end{aligned}$$

    Using the generalized binomial theorem, we obtain

    $$\begin{aligned} F_{K_{m,n}} = \frac{(- t x)^{N-1} \sum \nolimits _{k = 0}^{p-1}g^{(k)}_{K_{m,n}}}{\left[ x^p + \left( 1 - x^p\right) \left( 1- x^pt^{2p}\right) S_m\left( \left( -t\right) ^p\right) S_n\left( \left( -t\right) ^p\right) \right] ^{A_1 + 1}}. \end{aligned}$$

    Recall the closed formulae of t-deformed Alexander polynomials (4.15), we can write

    $$\begin{aligned} F_{K_{m,n}} = \frac{(-t x)^{A_0 + 1 - p}}{\Delta _{K_{m,n}}(x^p, -(-t)^p)^{A_1 + 1}} \sum _{k = 0}^{p-1} g^{(k)}_{K_{m,n}}. \end{aligned}$$

Before we jump to the ADO polynomials, let us first examine the properties of (at)-deformed \(F_K\). When \(p=1\) which leads to \(A_1 = N-2\), \(A_0 = 0\), we have

$$\begin{aligned} \lim _{q \rightarrow 1} F_{K_{m,n}}(x, -t^{-1}q^N, q, t) = \frac{g^{(0)}_{K_{m,n}}}{\Delta _{K_{m,n}}(x,t)^{N-1}} = \frac{1}{\Delta _{K_{m,n}}(x,t)^{N-1}},\quad \quad \end{aligned}$$

in accordance with (4.12). Finally, for the t-deformed \({\text {ADO}}\) polynomials, we have

$$\begin{aligned} {\text {ADO}}_{K_{m,n}}^{{{\,\mathrm{SU}\,}}(N)}(p; x, t)= & {} \Delta _{K_{m,n}}(x^p, -(-t)^p)^{N-1} F_{K_{m,n}}\nonumber \\= & {} (-tx)^{A_0 + 1 - p} \Delta _{K_{m,n}}(x^p, - (-t)^p)^{A_1(p-1) + A_0} \sum _{k=0}^{p-1} g_{K_{m,n}}^{(k)},\nonumber \\ \end{aligned}$$

where \(N-2 = A_1 p + A_0\).

Now let us consider some simple cases. If \(p=1\), then \(A_0 = 0\), we have

$$\begin{aligned} {\text {ADO}}_{K_{m,n}}^{{{\,\mathrm{SU}\,}}(N)}(p=1; x,t) = g^{(0)}_{K_{m,n}} = 1. \end{aligned}$$

For \(N = 2\) and \(p = 2\), then \(A_0 = A_1 = 0\), we have

$$\begin{aligned} {\text {ADO}}_{K_{m,n}}^{{{\,\mathrm{SU}\,}}(2)}(p=2; x,t) = (-t x)^{-1} \left( g^{(0)}_{K_{m,n}} + g^{(1)}_{K_{m,n}}\right) = \Delta _{K_{m,n}}(x,t).\nonumber \\ \end{aligned}$$

A.2 ADO polynomials of double twist knots \(K_{m + \frac{1}{2}, -n}~(m,n \in \mathbb {Z}_+)\)

Following the same procedure in the last subsection, we decompose the closed-form expression of \(F_{K_{m+\frac{1}{2},-n}} (x,a,q,t)\) (4.5) into parts:

  • The twist factor \(\mathbb {t}\!\mathbb {w}_n^{(k)}(x, q, t)\) (4.7) now becomes

    $$\begin{aligned} \!\mathbb {t}\!\mathbb {w}_n^{(k)} (x, q, t) = \sum _{0 = b_0 \le b_1 \le \cdots \le b_{n-1} \le b_n = k} \prod _{i=1}^{n-1} (x^{2 b_i} q^{- b_i (b_{i+1}-1)}t^{2b_i}) {b_{i + 1} \brack b_i}_q.\nonumber \\ \end{aligned}$$

    We write \(b_i = \alpha _i p + \beta _i\), \(k = k_1 p + k_0\), and we can obtain

    $$\begin{aligned} \!\mathbb {t}\!\mathbb {w}_n^{(k)} = S^{k_1}_n(x^{2p} t^{2p}) \,\!\mathbb {t}\!\mathbb {w}_n^{(k_0)}. \end{aligned}$$
  • Now \(g^{(k)}_{K_{m+\frac{1}{2},-n}}\) in (4.6) becomes

    $$\begin{aligned} g^{(k)}_{K_{m+\frac{1}{2},-n}} = \sum _{j = 0}^k (x; q^{-1})_k (x t^2 q^N; q)_j x^{k-j} {N-2+k \brack k}_q {k \brack j}_q q^{\frac{1}{2}j(j-1)+k} t^{-j + 2k} {\text {tw}}_m^{(j)} \!\mathbb {t}\!\mathbb {w}_n^{(k)}.\nonumber \\ \end{aligned}$$

    We write \(k = k_1 p + k_0\), \(j = j_1 p + j_0\), and \(N - 2 = A_1 p + A_0\), and obtain

    $$\begin{aligned} g^{(k)}_{K_{m+\frac{1}{2}, -n}}= & {} ~ \left\{ \left( 1- x^p\right) \left( -t\right) ^p \left[ \left( -x t\right) ^p + \left( x^p t^{2p} - 1\right) S_m \left( \left( - t\right) ^p\right) \right] S_n\left( x^{2p} t^{2p}\right) \right\} ^{k_1}\nonumber \\&\times {A_1 + k_1 \atopwithdelims ()k_1} g_{K_{m+\frac{1}{2},-n}}^{(k_0)}. \end{aligned}$$
  • \(F_{K_{m+\frac{1}{2},-n}}(x,a,q,t)\) now becomes

    $$\begin{aligned} F_{K_{m+\frac{1}{2},-n}} = (-t x^n)^{N-1} \sum _{k=0}^{\infty } g_{K_{m+\frac{1}{2},-n}}^{(k)}. \end{aligned}$$

    We write \(k = k_1 p + k_0\), \(N-2 = A_1 p + A_0\). Again, with the help of the generalized binomial theorem, we can get rid of the infinite summation over \(k_1\) and obtain

    $$\begin{aligned} F_{K_{m+\frac{1}{2},-n}} = \frac{(-t x^n)^{A_0 + 1 - p}}{\Delta _{K_{m+\frac{1}{2},-n}}(x^p, -(-t)^p)^{A_1 + 1}} \sum _{k_0 = 0}^{p - 1} g^{(k_0)}_{K_{m+\frac{1}{2},-n}}, \end{aligned}$$

    where the t-deformed Alexander polynomial is given in (4.15).

When \(p = 1\), then \(A_1 = N - 2\), \(A_0 = 0\), we have

$$\begin{aligned} \lim _{q\rightarrow 1}F_{K_{m+\frac{1}{2}, -n}} (x,-t^{-1}q^N,q,t) = \frac{g^{(0)}_{K_{m+\frac{1}{2},-n}}}{\Delta _{K_{m+\frac{1}{2},-n}}(x,t)^{N-1}} =\frac{1}{\Delta _{K_{m+\frac{1}{2},-n}}(x,t)^{N-1}},\nonumber \\ \end{aligned}$$

in accordance with (4.12). Finally, for the t-deformed \({\text {ADO}}\) polynomials, we have

$$\begin{aligned} {\text {ADO}}_{K_{m+\frac{1}{2},-n}}^{{{\,\mathrm{SU}\,}}(N)}(p; x, t)= & {} \Delta _{K_{m+\frac{1}{2},-n}}(x^p, -(-t)^p)^{N-1} F_{K_{m + \frac{1}{2},-n}} \nonumber \\= & {} (-tx^n)^{A_0 + 1 - p} \Delta _{K_{m + \frac{1}{2},-n}}(x^p, - (-t)^p)^{A_1(p-1) + A_0} \sum _{k=0}^{p-1} g_{K_{m+\frac{1}{2},-n}}^{(k)},\nonumber \\ \end{aligned}$$

where \(N-2 = A_1 p + A_0\).

Now we consider some simple cases. When \(p = 1\), \(A_0 = 0\), we have

$$\begin{aligned} {\text {ADO}}_{K_{m+\frac{1}{2}, -n}}^{{{\,\mathrm{SU}\,}}(N)}(p = 1; x, t) = g^{(0)}_{K_{m+\frac{1}{2},-n}} =1. \end{aligned}$$

For \(N = 2\), \(p = 2\), we have

$$\begin{aligned} {\text {ADO}}_{K_{m+\frac{1}{2},-n}}(p = 2; x, t)= & {} (-t x^n)^{-1} (g^{(0)}_{K_{m+\frac{1}{2},-n}} + g^{(1)}_{K_{m+\frac{1}{2},-n}})\nonumber \\= & {} \Delta _{K_{m+\frac{1}{2}, -n}} (x, t). \end{aligned}$$

A.3 Final formulae

In conclusion, for gauge group \({{\,\mathrm{SU}\,}}(N)\), the t-deformed p-th ADO polynomials are given by

$$\begin{aligned}&{\text {ADO}}_{K_{m,n}}^{{{\,\mathrm{SU}\,}}(N)} (p; x, t) = (-t x)^{A_0 + 1 - p} \Delta _{K_{m,n}}(x^p, -(-t)^p)^{A_1 (p - 1) + A_0} \sum _{k=0}^{p - 1} g^{(k)}_{K_{m,n}}, \\&{\text {ADO}}_{K_{m+\frac{1}{2},-n}}^{{{\,\mathrm{SU}\,}}(N)} (p; x, t) \nonumber \\&\quad = (-t x^n)^{A_0 + 1 - p} \Delta _{K_{m+\frac{1}{2},-n}}(x^p, -(-t)^p)^{A_1 (p - 1)+ A_0} \sum _{k=0}^{p - 1} g^{(k)}_{K_{m + \frac{1}{2},-n}}, \end{aligned}$$

where \(N-2 = A_1 p + A_0\), \(A_1, A_0 \in \mathbb {N}\) and \(0\le A_0 \le p-1\). It is easily seen that the recursion relation conjectured in [50] holds,

$$\begin{aligned} {\text {ADO}}^{{{\,\mathrm{SU}\,}}(N+p)}_{K}(p; x, t) = \Delta _K(x^p, -(-t)^p)^{p-1} {\text {ADO}}^{{{\,\mathrm{SU}\,}}(N)}_{K}(p; x, t). \end{aligned}$$

Note that \(\frac{1}{p}S_m(\zeta _p^n) = 1\), only when m|n. Otherwise, it is zero. Therefore, the t-deformed p-th ADO polynomials can also be written as,

$$\begin{aligned} {\text {ADO}}_{K_{m,n}}^{{{\,\mathrm{SU}\,}}(N)} (p; x, t)= & {} ~ \frac{1}{p}\sum _{l = 0}^{p - 1}(-t x)^{l + 1 - p} \Delta _{K_{m,n}}(x^p, -(-t)^p)^{\frac{(N-2)(p - 1) + l}{p}} S_p(\zeta _p^{N-l-2}) \sum _{k=0}^{p - 1} g^{(k)}_{K_{m,n}} \nonumber \\ {\text {ADO}}_{K_{m+\frac{1}{2},-n}}^{{{\,\mathrm{SU}\,}}(N)} (p; x, t)= & {} \frac{1}{p} \sum _{l=0}^{p - 1}(-t x^n)^{l + 1 - p} \Delta _{K_{m+\frac{1}{2},-n}}(x^p, -(-t)^p)^{\frac{(N-2)(p - 1)+l}{p}}\nonumber \\&\times S_p(\zeta _p^{N - l -2}) \sum _{k=0}^{p - 1} g^{(k)}_{K_{m+\frac{1}{2},-n}}. \end{aligned}$$

Although we write them as summations over l, there is only one non-vanishing term, which corresponds to that l is the remainder of \((N-2)/p\).

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Wang, H.E., Yang, Y.J., Zhang, H.D. et al. On Knots, Complements, and 6j-Symbols. Ann. Henri Poincaré 22, 2691–2720 (2021).

Download citation