### November 27, 2006 First edition: January 31, 2005.

The second author was supported in part by National Science Foundation. 1991 Mathematics Classification. Primary 57M25.
<ph f="cmr"> </ph><ph f="cmbx">On the Colored Jones Polynomial and the Kashaev invariant</ph>

### Vu Huynh & Thang T. Q. Lê

Department of Mathematics, SUNY Buffalo, Buffalo, NY 14260, USA School of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332-0160, USA E-mail address : letu@math.gatech.edu
• Abstract. We express the colored Jones polynomial as the inverse of the quantum determinant of a matrix with entries in the $q$  -Weyl algebra of $q$  -operators, evaluated at the trivial function (plus simple substitutions).
The Kashaev invariant is proved to be equal to another special evaluation of the determinant. We also discuss the similarity between our determinant formula of the Kashaev invariant and the determinant formula of the hyperbolic volume of knot complements, hoping it would lead to a proof of the volume conjecture.

0 Introduction

For a knot $K$  in ${\mathbb{R}}^{3}$  , the colored Jones polynomial ${J}_{K}^{\prime }\left(N\right)$  is a Laurent polynomial, ${J}_{K}^{\prime }\left(N\right)\in \mathcal{ℛ}:=\mathbb{Z}\left[{q}^{±1}\right]$  , see [J, MMo. Here $N$  is a positive integer standing for the $N$  -dimensional prime $s{l}_{2}$  -module. We use the unframed version and the normalization in which ${J}_{K}^{\prime }\left(N\right)=1$  when $K$  is the unknot. The colored Jones polynomial ${J}_{K}^{\prime }\left(N\right)$  is defined using the $R$  -matrix of the quantized enveloping algebra of $s{l}_{2}\left(\mathbb{C}\right)$  .
Here we present the colored Jones polynomial as the inverse of the quantum determinant of an almost quantum matrix whose entries are in the $q$  -Weyl algebra of $q$  -operators acting on the polynomial rings, evaluated at the constant function 1. The proof is based on the quantum MacMahon Master theorem proved in [GLZ. Actually, it was an attempt to get a determinant formula for the colored Jones polynomial that led the second author to the conjecture that eventually became the quantum MacMahon's Master theorem in [GLZ.
We will then give an application to the case of the Kashaev invariant $〈K{〉}_{N}:={J}_{K}^{\prime }\left(N\right){|}_{q=exp2\pi i/N}$  . We show that a special evaluation of the determinant will give the Kashaev invariant. Our interpretation of the Kashaev invariant suggests that the natural generalization of the Kashaev invariant for other simple Lie algebra should be the quantum invariant of knots colored by the Verma module of highest weight $-\delta$  , where $\delta$  is the half-sum of positive roots.
Finally we point out how the hyperbolic volume of the knot complement, through the theory of ${L}^{2}$  -torsion, has a determinant formula that looks strikingly similar to the one of Kashaev invariants: In both we have non-commutative deformations of the Burau matrices, but in one case quantum determinant is use, in the other the Fuglede-Kadison determinant is used. This suggests an approach to the volume conjecture using quantum determinant as an approximation of the infinite-dimensional Fuglede-Kadison determinant.

0.1 A determinant formula for the colored Jones polynomial

0.1.1 Right-quantum matrices and quantum determinants

A $2×2$  matrix $\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$  is right-quantum if
 $\begin{array}{ccc}ac& =& qca\text{(q-commutation of the entries in a column)}\end{array}$
 $\begin{array}{ccc}bd& =& qdb\text{(q-commutation of the entries in a column)}\end{array}$
 $\begin{array}{ccc}ad& =& da+qcb-{q}^{-1}bc\text{(cross commutation relation).}\end{array}$
An $m×m$  matrix is right-quantum if any $2×2$  submatrix of it is right-quantum. The meaning is a right-quantum matrix preserves the structure of quantum $m$  -spaces (see [Ma). The product of 2 right-quantum matrices is a right-quantum matrix, provided that every entry of the first commutes with every entry of the second. The quantum determinant of any right-quantum $A=\left({a}_{ij}\right)$  is defined by ${det}_{q}\left(A\right):={\sum }_{\pi }\left(-q{\right)}^{inv\left(\pi \right)}{a}_{\pi 1,1}{a}_{\pi 2,2}...{a}_{\pi m,m}$  where the sum ranges over all permutations of $\left\{1,...,m\right\}$  , and $inv\left(\pi \right)$  denotes the number of inversions.
Note that in general $I-A$  , where $I$  is the identity matrix, is not right-quantum any more. We will define its determinant, using an analog of the expansion in the case $q=1$  :
${\stackrel{~}{det}}_{q}\left(I-A\right):=1-C,\text{where}C:={\sum }_{\varnothing \ne J\subset \left\{1,2,...,r\right\}}\left(-1{\right)}^{|J|-1}{det}_{q}\left({A}_{J}\right),$  where ${A}_{J}$  is the $J$  by $J$  submatrix of $A$  , which is always right-quantum.

0.1.2 Deformed Burau matrix

On the polynomial ring $\mathcal{ℛ}\left[{x}^{±1},{y}^{±1},{u}^{±1}\right]$  act operators $\stackrel{^}{x},{\tau }_{x}$  and their inverses: $\stackrel{^}{x}f\left(x,y,...\right):=xf\left(x,y,...\right),{\tau }_{x}f\left(x,y,...\right):=f\left(qx,y,...\right).$  It's easy to see that $\stackrel{^}{x}{\tau }_{x}=q{\tau }_{x}\stackrel{^}{x}$  . For other variable, say $y$  , there are similar operators $\stackrel{^}{y},{\tau }_{y}$  , each of which commutes with each of $\stackrel{^}{x},{\tau }_{x}$  . Let us define
 $\begin{array}{ccc}{a}_{+}& =& \left(\stackrel{^}{u}-\stackrel{^}{y}{\tau }_{x}^{-1}\right){\tau }_{y}^{-1},{b}_{+}={\stackrel{^}{u}}^{2},{c}_{+}=\stackrel{^}{x}{\tau }_{y}^{-2}{\tau }_{u}^{-1},\end{array}$ (1)
 $\begin{array}{ccc}{a}_{-}& =& \left({\tau }_{y}-{\stackrel{^}{x}}^{-1}\right){\tau }_{x}^{-1}{\tau }_{u},{b}_{-}={\stackrel{^}{u}}^{2},{c}_{-}={\stackrel{^}{y}}^{-1}{\tau }_{x}^{-1}{\tau }_{u}.\end{array}$ (2)
Then it is easy to check that the following matrices ${S}_{±}$  are right-quantum.
${S}_{+}:=\left(\begin{array}{cc}a& b\\ c& 0\end{array}\right){S}_{-}:=\left(\begin{array}{cc}0& {c}_{-}\\ {b}_{-}& {a}_{-}\end{array}\right)$  Suppose $P$  is a polynomial in the operators ${a}_{±},{b}_{±},{c}_{±}$  with coefficients in $\mathcal{ℛ}=\mathbb{Z}\left[{q}^{±1}\right]$  . Applying $P$  to the constant function $1$  , then substituting $u$  by 1 and $x$  and $y$  by $z$  , one gets a polynomial $\mathcal{ℰ}\left(P\right)\in \mathbb{Z}\left[{q}^{±1},{z}^{±1}\right]$  .
Then it is readily seen that $\mathcal{ℰ}\left({S}_{+}\right)$  and $\mathcal{ℰ}\left({S}_{-}\right)$  are the transpose Burau matrix and its inverse:
$\mathcal{ℰ}\left({S}_{+}\right)=\left(\begin{array}{cc}1-z& 1\\ z& 0\end{array}\right),\mathcal{ℰ}\left({S}_{+}\right)=\left(\begin{array}{cc}0& {z}^{-1}\\ 1& 1-{z}^{-1}\end{array}\right).$

0.1.3 Determinant formula

Let ${\sigma }_{i},1\le i\le m-1$  , be the standard generators of the braid group on $m$  strands, see for example [Bir, J.
For a sequence $\gamma =\left({\gamma }_{1},{\gamma }_{2},...,{\gamma }_{k}\right)$  of pairs ${\gamma }_{j}=\left({i}_{j},{\varepsilon }_{j}\right)$  , where $1\le {i}_{j}\le m-1$  and ${\varepsilon }_{j}=±$  , let $\beta =\beta \left(\gamma \right)$  be the braid $\beta :={\sigma }_{{i}_{1}}^{{\varepsilon }_{1}}{\sigma }_{{i}_{2}}^{{\varepsilon }_{2}}...{\sigma }_{{i}_{k}}^{{\varepsilon }_{k}}.$  Here ${\sigma }^{±}$  means ${\sigma }^{±1}$  . We will assume that the closure of $\beta$  (see [Bir) is a knot , i.e. it has only one connected component. Recall that in the Burau representation of the braid $\beta \left(\gamma \right)$  , we associate to each ${\sigma }_{{i}_{j}}^{{\varepsilon }_{j}}$  an $m×m$  matrix which is the same as the identity matrix everywhere except for the $2×2$  minor of rows ${i}_{j},{i}_{j}+1$  and columns ${i}_{j},{i}_{j}+1$  , where we put the $2×2$  Burau matrix if ${\varepsilon }_{j}=+$  , or its inverse if ${\varepsilon }_{j}=-$  . Let us do the same, only now the $2×2$  Burau matrix and its inverse, for ${\sigma }_{{i}_{j}}^{{\varepsilon }_{j}}$  , are replaced by ${S}_{+,j}$  and ${S}_{-,j}$  . Here ${S}_{±,j}$  are the same as ${S}_{±}$  with $x,y,u$  replaced by ${x}_{j},{y}_{j},{u}_{j}$  . For the precise definition see Section  1.2.2 . The result is a right-quantum matrix $\rho \left(\gamma \right)$  , whose entries are operators acting on ${\mathcal{P}}_{k}={\otimes }_{j=1}^{k}\mathcal{ℛ}\left[{x}_{j}^{±1},{y}_{j}^{±1},{u}_{j}^{±1}\right]$  . Note that $\rho \left(\gamma \right)$  might not be an invariant of the braid $\beta \left(\gamma \right)$  . We can define $\mathcal{ℰ}\left(P\right)$  , where $P$  is an operator acting on ${\mathcal{P}}_{k}$  , as before: first apply $P$  to the constant function 1, then replace all the ${u}_{j}$  with 1, and all the ${x}_{j}$  and ${y}_{j}$  with $z$  . Further, let ${\mathcal{ℰ}}_{N}\left(P\right)$  be obtained from $\mathcal{ℰ}\left(P\right)$  by the substitution $z\to {q}^{N-1}$  .
Let ${\rho }^{\prime }\left(\gamma \right)$  be obtained from $\rho \left(\gamma \right)$  by removing the first row and column. Let $w\left(\beta \right)$  denotes the writhe, $w\left(\beta \right):={\sum }_{j}{\varepsilon }_{j}1$  . It's easy to show that when the closure of $\beta$  is a knot, $w\left(\beta \right)-m+1$  is always even.
Theorem 1. Suppose the closure in the standard way of the $m$  -strand braid $\beta \left(\gamma \right)$  is a knot $K$  .
a) For any positive integer $N$  one has ${q}^{\left(N-1\right)\left(w\left(\beta \right)-m+1\right)/2}{\mathcal{ℰ}}_{N}\left(\frac{1}{{\stackrel{~}{det}}_{q}\left(I-q{\rho }^{\prime }\left(\gamma \right)\right)}\right)={J}_{K}^{\prime }\left(N\right).$  b) $det\mathcal{ℰ}\left(I-{\rho }^{\prime }\left(\gamma \right)\right)$  is equal to the Alexander polynomial of $K$  .
Part a) should be understood as follows. Suppose ${\stackrel{~}{det}}_{q}\left(I-{\rho }^{\prime }\left(\gamma \right)\right)=1-C$  , then when applying ${\mathcal{ℰ}}_{N}$  to
 $\begin{array}{c}\frac{1}{1-C}:={\sum }_{n=0}^{\infty }{C}^{n},\end{array}$ (3)
only a finite number of terms are non-zero, hence the sum is well-defined, and is equal to the colored Jones polynomial. We would like to emphasize that here $N>0$  . If $N=0$  , when applying ${\mathcal{ℰ}}_{N}$  to the right hand side of ( 3 ), there might be infinitely many non-zero terms. From the theorem one can immediately get the Melvin-Morton conjecture, first proved by Bar-Natan and Garoufalidis [BG.
Remark 0.1. Another determinant formula of the colored Jones polynomial using non-commutative variables was given in the independent work [GLo, also based on the quantum MacMahon Master theorem. The main difference is here our variables are explicit operators acting on polynomials ring. This sometimes helps since operators can be composed. Another difference is we derive our formula from the $R$  -matrix, while [GLoused cablings of the original Jones polynomial and graph theory. Our approach is a non-commutative analog of Rozansky's beautiful work [Ro.

0.1.4 An example

To see an application of our formula let's calculate the colored Jones polynomial of the right-handed trefoil. In this case we need only 2 strands with $\beta ={\sigma }^{3}$  . Thus $\rho \left(\gamma \right)={S}_{+,1}{S}_{+,2}{S}_{+,3}$  is easy to calculate, and we get ${\rho }^{\prime }\left(\gamma \right)={c}_{1}{a}_{2}{b}_{3}$  . Hence, with $K$  being the right-handed trefoil,
 $\begin{array}{ccc}{J}_{K}^{\prime }\left(N\right)& =& {q}^{N-1}{\mathcal{ℰ}}_{N}\left(\frac{1}{1-q{c}_{1}{a}_{2}{b}_{3}}\right)={q}^{N-1}{\sum }_{n=0}^{\infty }{\mathcal{ℰ}}_{N}\left({q}^{n}{c}_{1}^{n}{a}_{2}^{n}{b}_{3}^{n}\right)\end{array}$
 $\begin{array}{ccc}& =& {q}^{N-1}{\sum }_{n=0}^{\infty }{q}^{nN}\left(1-{q}^{N-1}\right)\left(1-{q}^{N-2}\right)...\left(1-{q}^{N-n}\right).\end{array}$ (4)
Note that the sum is always finite, since the term in the right hand side is 0 if $n\ge N$  .

0.2 The Kashaev's invariant as the invariant of dimension 0

Kashaev [Kaused quantum dilogarithm to define a knot invariant $〈K{〉}_{N}$  , depending on a positive number $N$  . Murakami and Murakami [MMushowed that $〈K{〉}_{N}={J}_{K}^{\prime }\left(N\right){|}_{q=exp\left(2\pi i/N\right)}$  . The famous volume conjecture [Ka, MMusays that the growth rate of $〈K{〉}_{N}$  is equal to the volume $V\left(K\right)$  (see definition below) of the knot complement:
${lim}_{N\to \infty }\frac{ln|〈K{〉}_{N}|}{N}=\frac{Vol\left(K\right)}{2\pi }.$  Working with varying $N$  , i.e. working with varying $s{l}_{2}$  -modules might be difficult. Here we show that the values of $〈K{〉}_{N}$  comes from just one $s{l}_{2}$  -module, the Verma module of highest weight $-1$  , and is a kind of analytic function in the following sense. Let us define the Habiro ring $\stackrel{^}{\mathbb{Z}\left[q\right]}$  by $\stackrel{^}{\mathbb{Z}\left[q\right]}:={lim}_{←}\mathbb{Z}\left[q\right]/\left(\left(1-q\right)\left(1-{q}^{2}\right)...\left(1-{q}^{n}\right)\right).$  Habiro [Hacalled it the cyclotomic completion of $\mathbb{Z}\left[q\right]$  . Formally, $\stackrel{^}{\mathbb{Z}\left[q\right]}$  is the set of all series of the form $f\left(q\right)={\sum }_{n=0}^{\infty }{f}_{n}\left(q\right)\left(1-q\right)\left(1-{q}^{2}\right)...\left(1-{q}^{n}\right),\text{where}{f}_{n}\left(q\right)\in \mathbb{Z}\left[q\right].$  Suppose $U$  is the set of roots of 1. If $\xi \in U$  then $\left(1-\xi \right)\left(1-{\xi }^{2}\right)...\left(1-{\xi }^{n}\right)=0$  if $n$  is big enough, hence one can define $f\left(\xi \right)$  for $f\in \stackrel{^}{\mathbb{Z}\left[q\right]}$  . One can consider every $f\in \stackrel{^}{\mathbb{Z}\left[q\right]}$  as a function with domain $U$  . Note that $f\left(\xi \right)\in \mathbb{Z}\left[\xi \right]$  is always an algebraic integer. It turns out $\stackrel{^}{\mathbb{Z}\left[q\right]}$  has remarkable properties, and plays an important role in quantum topology. First, each $f\in \stackrel{^}{\mathbb{Z}\left[q\right]}$  has a natural Taylor series at every point of $U$  , and if two functions $f,g\in \stackrel{^}{\mathbb{Z}\left[q\right]}$  have the same Taylor series at a point in $U$  , then $f=g$  . A consequence is that $\stackrel{^}{\mathbb{Z}\left[q\right]}$  is an integral domain. Second, if $f=g$  at infinitely many roots of prime power orders, then $f=g$  (see [Ha). Hence one can consider $\stackrel{^}{\mathbb{Z}\left[q\right]}$  as a class of “analytic functions” with domain $U$  . It was proved, by Habiro for $s{l}_{2}$  and by Habiro with the second author for general simple Lie algebras, that quantum invariants of integral homology 3-spheres belong to $\stackrel{^}{\mathbb{Z}\left[q\right]}$  and thus have remarkable integrality properties. Here we show that the Kashaev invariant also belongs to $\stackrel{^}{\mathbb{Z}\left[q\right]}$  :
Theorem 2. a) ${q}^{\left(m-w\left(\beta \right)-1\right)/2}{\mathcal{ℰ}}_{0}\left(\frac{1}{{\stackrel{~}{det}}_{q}\left(I-q{\rho }^{\prime }\left(\gamma \right)\right)}\right)$  belongs to $\stackrel{^}{\mathbb{Z}\left[q\right]}$  and is an invariant of the knot $K$  obtained by closing $\beta \left(\gamma \right)$  .
b) Kashaev's invariant is equal to
 $\begin{array}{c}〈K{〉}_{N}={q}^{\left(m-w\left(\beta \right)-1\right)/2}{\mathcal{ℰ}}_{0}\left(\frac{1}{{\stackrel{~}{det}}_{q}\left(I-q{\rho }^{\prime }\left(\gamma \right)\right)}\right){|}_{q=exp\left(2\pi i/N\right)}.\end{array}$ (5)
For example, when $K$  is the left-handed trefoil, from  4 , with $q\to {q}^{-1}$  , we have $〈K{〉}_{N}=q{\sum }_{n=0}^{\infty }\left(1-q\right)\left(1-{q}^{2}\right)...\left(1-{q}^{n}\right),$  where $q=exp\left(2\pi i/N\right)$  . The function given by the infinite sum on the right hand side was first written down by M. Kontsevich, and its asymptotics was completely determined by Zagier [Za. We see that it has a nice geometric interpretation: It is the Kashaev invariant of the trefoil.

0.3 Hyperbolic volume and ${L}^{2}$  -torsion

It is known that by cutting the knot complement ${S}^{3}\K$  along some embedded tori one gets connected components which are either Seifert-fibered or hyperbolic. Let $Vol\left(K\right)$  be the sum of the hyperbolic volume of the hyperbolic pieces, ignoring the Seifert-fibered components. It's known that $Vol\left(K\right)$  is proportional to the Gromov norm [BP, and can be calculated using ${L}^{2}$  -torsion as follows. Let the knot $K$  again be the closure of the braid $\beta$  . The fundamental group of the knot complement has a presentation:
${\pi }_{1}=〈{z}_{1},...,{z}_{m}|{r}_{1},...,{r}_{m}〉,$  where ${r}_{i}=\beta \left({z}_{i}\right){z}_{i}^{-1}$  , with $\beta$  considered as an automorphism of the free group on $m$  generators ${z}_{1},...{z}_{m}$  .
Let $Ja=\left(\frac{\partial {r}_{i}}{\partial {z}_{j}}\right)$  be the Jacobian matrix with entries in $\mathbb{Z}\left[{\pi }_{1}\right]$  , where $\frac{\partial {r}_{i}}{\partial {z}_{j}}$  is the the Fox derivative. For a matrix with entries in $\mathbb{Z}\left[{\pi }_{1}\right]$  , one can define its Fuglede-Kadison determinant (see [Lu), denoted by ${det}_{{\pi }_{1}}$  .
A deep theorem of Luck and Schick [Lusays that $Vol\left(K\right)=6\pi ln\left({det}_{{\pi }_{1}}\left(J{a}^{\prime }\right)\right),$  where $J{a}^{\prime }$  is obtained from $Ja$  by removing the first row and column. It's easy to see that $Ja=\psi \left(\beta \right)-I,\text{where}\psi \left(\beta \right)=\left(\frac{\partial \left(\beta \left({z}_{i}\right)\right)}{\partial {z}_{j}}\right).$  A simple property of Fugledge-Kadison determinant is that ${det}_{{\pi }_{1}}\left(A\right)={det}_{{\pi }_{1}}\left(-A\right)$  . Hence we have
Proposition 0.2. Let ${\psi }^{\prime }\left(\beta \right)$  be obtained from $\psi \left(\beta \right)$  by removing the first row and column. Then
 $\begin{array}{c}exp\left(-\frac{Vol\left(K\right)}{6\pi }\right)=\frac{1}{{det}_{{\pi }_{1}}\left(I-{\psi }^{\prime }\left(\beta \right)\right)}.\end{array}$ (6)
Note that under the abelianization map $ab:\mathbb{Z}\left[{\pi }_{1}\right]\to \mathbb{Z}\left[\mathbb{Z}\right]$  , the matrix $\psi \left(\beta \right)$  becomes the Burau representation of $\beta$  . Hence both $\psi \left(\beta \right)$  and $\rho \left(\beta \left(\gamma \right)\right)$  are two different kinds of quantization of the Burau representation. We hope that the similarity between ( 6 ) and ( 5 ) will help to solve the volume conjecture. One needs to relate the Fugledge-Kadison determinant ${det}_{{\pi }_{1}}$  to the quantum determinant.
Also note that the abelianized version of the the right hand side of  6 , i.e. ${det}_{\mathbb{Z}}\left(I-ab\left({\psi }^{\prime }\left(\beta \right)\right)\right)$  , is equal to the Mahler measure of the Alexander polynomial (see [Lu). This partially explains some similarity between the Mahler measure and the hyperbolic volume of a knot, as observed in [SW.

0.4 Plan of the paper

In section  1 we prove Theorem  1 . Section  2.1 contains a proof of Theorem 2 and a discussion about generalization to other Lie algebra of the Kashaev invariants.

1 Proof of Theorem  1

In subsection  1.1 we recall the definition of the colored Jones polynomial using $R$  -matrix. We will follow Rozansky [Roto twist the $R$  -matrix so that it has a “nice” form. Then in the subsequent subsections we show how the twisted $R$  -matrix can be obtained from the deformed Burau matrix, giving a proof of Theorem  1 .
We will use the variable ${v}^{1/2}$  such that ${v}^{2}=q$  . Note that our $q$  is equal to ${q}^{2}$  in [Jan. Recall that $\mathcal{ℛ}=\mathbb{Z}\left[{q}^{±1}\right]$  , which is a subring of the field $\stackrel{~}{\mathcal{ℛ}}:=\mathbb{C}\left({v}^{±1/2}\right)$  . We will use the following standard notations.
 $\begin{array}{ccc}\left[n\right]& :=& \frac{{v}^{n}-{v}^{-n}}{v-{v}^{-1}},\left[n\right]!:{=}^{n}{\prod }_{i=1}\left[i\right],\text{}\left[\begin{array}{c}n\\ l\end{array}\right]\text{}:{=}^{l}{\prod }_{i=1}\frac{\left[n-i+1\right]}{\left[l-i+1\right]},\end{array}$
 $\begin{array}{ccc}\left(n{\right)}_{q}& :=& \frac{1-{q}^{-n}}{1-{q}^{-1}},\left(\genfrac{}{}{0}{}{n}{l}{\right)}_{q}:{=}^{l}{\prod }_{i=1}\frac{\left(n-i+1{\right)}_{q}}{\left(l-i+1{\right)}_{q}},\left(1-x{\right)}_{q}^{d}:{=}^{d-1}{\prod }_{i=0}\left(1-x{q}^{i}\right).\end{array}$

1.1 The colored Jones polynomial through $R$  -matrix

1.1.1 The quantized enveloping algebra ${U}_{v}\left(s{l}_{2}\right)$

Let $\mathcal{U}$  be the algebra over the field $\stackrel{~}{\mathcal{ℛ}}=\mathbb{C}\left({v}^{±1/2}\right)$  generated by ${K}^{±1/2},E,F$  , subject to the relation ${K}^{1/2}{K}^{-1/2}=1,{K}^{1/2}E=vE{K}^{1/2},{K}^{1/2}F={v}^{-1}F{K}^{1/2},EF-FE=\frac{K-{K}^{-1}}{v-{v}^{-1}}.$  Then $\mathcal{U}$  is a Hopf algebra with coproduct:
$\Delta \left({K}^{1/2}\right)={K}^{1/2}\otimes {K}^{1/2},\Delta \left(E\right)=E\otimes 1+K\otimes E,\Delta \left(F\right)=F\otimes {K}^{-1}+1\otimes F.$  Here we follow the definition of Jantzen's book [Jan, only we add the square root ${K}^{1/2}$  for convenience.
Note that $V\otimes W$  has a natural $\mathcal{U}$  -module structure whenever $V,W$  have, due to the co-algebra structure.

1.1.2 The quasi- $R$  -matrix and braiding

The quasi- $R$  -matrix $\Theta$  is an element of some completion of $\mathcal{U}$  :
$\Theta :={\sum }_{n=0}^{\infty }\left(-1{\right)}^{n}{v}^{-n\left(n-1\right)/2}\frac{\left(v-{v}^{-1}{\right)}^{n}}{\left[n\right]!}{F}^{n}\otimes {E}^{n}.$  An $\mathcal{U}$  -module $V$  is $E$  -locally-finite if for every $u\in V$  there is $n$  such that ${E}^{n}u=0$  . If $V$  and $W$  are $E$  -locally-finite, then for every $u\otimes w\in V\otimes W$  , there are only a finite number of terms in the sum of $\Theta$  that do not annihilate $u\otimes w$  , hence we can define $\Theta$  as an $\stackrel{~}{\mathcal{ℛ}}$  -linear operator acting on $V\otimes W$  . The inverse of $\Theta$  is given by ${\Theta }^{-1}:={\sum }_{n=0}^{\infty }{v}^{n\left(n-1\right)/2}\frac{\left(v-{v}^{-1}{\right)}^{n}}{\left[n\right]!}{F}^{n}\otimes {E}^{n}.$  An element $u$  in an $\mathcal{U}$  -module is said to have weight $l$  if $Ku={v}^{l}u$  . We will consider only $\mathcal{U}$  -modules that are spanned by weight vectors. For such modules $V$  and $W$  we define the diagonal operator $D$  by $D\left(u\otimes w\right)={v}^{-kl/2}u\otimes w,$  where $u$  has weight $k$  , $w$  has weight $l$  . The braiding $\mathfrak{b}:V\otimes W\to W\otimes V$  is defined by $\mathfrak{b}\left(u\otimes w\right):=\Theta \left(D\left(w\otimes u\right)\right).$  It's known that $\mathfrak{b}$  commutes with the action of $\mathcal{U}$  , is invertible, and satisfies the braid relation: Suppose $V$  is an $E$  -locally-finite $\mathcal{U}$  -module. Let ${\mathfrak{b}}_{12}:=\mathfrak{b}\otimes id$  and ${\mathfrak{b}}_{23}:=id\otimes \mathfrak{b}$  be the operators acting on $V\otimes V\otimes V$  .
Then ${\mathfrak{b}}_{12}{\mathfrak{b}}_{23}{\mathfrak{b}}_{12}={\mathfrak{b}}_{23}{\mathfrak{b}}_{12}{\mathfrak{b}}_{23}.$  One can define a representation of the braid group on $m$  strands into the group of linear operators acting on ${V}^{\otimes m}$  by putting $\tau \left({\sigma }_{i}\right)={id}^{\otimes \left(i-1\right)}\otimes \mathfrak{b}\otimes {id}^{\otimes m-i-1},$  i.e. ${\sigma }_{i}$  acts trivially on all components, except for the $i$  -th and $\left(i+1\right)$  -st where it acts as $\mathfrak{b}$  .

1.1.3 A modification of Verma module ${V}_{N}$

For an integer $N$  , not necessarily positive, let ${V}_{N}$  be the $\stackrel{~}{\mathcal{ℛ}}$  -vector space freely spanned by ${e}_{i},i\in {\mathbb{Z}}_{\ge 0}$  .
The following can be readily checked.
Proposition 1.1. The space ${V}_{N}$  has a structure of an $E$  -locally-finite $\mathcal{U}$  -module given by
 $\begin{array}{ccc}K{e}_{i}& =& {v}^{N-1-2i}{e}_{i}\end{array}$
 $\begin{array}{ccc}E{e}_{i}& =& \left(i{\right)}_{{q}^{-1}}{e}_{i-1}\end{array}$
 $\begin{array}{ccc}F{e}_{i}& =& {v}^{i}\left[N-1-i\right]{e}_{i+1}=\frac{{v}^{1-N}}{v-{v}^{-1}}\left({q}^{N-1}-{q}^{i}\right){e}_{i+1}.\end{array}$
For $N>0$  let ${W}_{N}$  be the $\stackrel{~}{\mathcal{ℛ}}$  -subspace of ${V}_{N}$  spanned by ${e}_{i},0\le i\le N-1$  . It's is easy to see that ${W}_{N}$  is a simple $\mathcal{U}$  -submodule of ${V}_{N}$  . Every simple finite dimensional $\mathcal{U}$  -module is isomorphic to one of ${W}_{N}$  .
Remark 1.2. The traditional basis ${e}_{i}^{\prime }:={F}^{i}\left({e}_{0}\right)/\left[i\right]!$  is related to the basis ${e}_{i}$  by $\text{}\left[\begin{array}{c}N-1\\ i\end{array}\right]\text{}{e}_{i}={v}^{-i\left(i-1\right)/2}{e}_{i}^{\prime }.$

1.1.4 The colored Jones polynomial

If the closure of the $m$  -strand braid $\beta$  is the knot $K$  , then the colored Jones polynomial ${J}_{K}\left(N\right)$  can be defined as the quantum trace of $\tau \left(\beta \right)$  on $\left({W}_{N}{\right)}^{\otimes m}$  :
${J}_{K}\left(N\right)={v}^{w\left(\beta \right)\frac{{N}^{2}-1}{2}}{tr}_{q}\left(\tau \left(\beta \right),\left({W}_{N}{\right)}^{\otimes m}\right):={v}^{w\left(\beta \right)\frac{{N}^{2}-1}{2}}tr\left(\tau \left(\beta \right){K}^{-1},\left({W}_{N}{\right)}^{\otimes m}\right).$  Here $w\left(\beta \right):={\sum }_{j}{\varepsilon }_{j}1$  is the writhe of $\beta$  . The factor ${v}^{w\left(\beta \right)\frac{{N}^{2}-1}{2}}$  will make ${J}_{K}\left(N\right)$  not depending on the framing. If $K$  is the unknot then ${J}_{K}\left(N\right)=\left[N\right]$  . The normalized version ${J}_{K}^{\prime }\left(N\right):={J}_{K}\left(N\right)/\left[N\right]$  can be calculated using the partial trace as follows. Recall that $\tau \left(\beta \right)$  acts on $\left({W}_{N}{\right)}^{\otimes m}$  . Taking the quantum trace of $\tau \left(\beta \right)$  in only the $m-1$  last components, we get an operator acting on the first ${W}_{N}$  , which is known to be a scalar times the identity operator, with the scalar being exactly ${J}_{K}^{\prime }\left(N\right)$  . This can be written in the formula form as follows. Let ${p}_{0}:\left({V}_{N}{\right)}^{\otimes m}\to \left({V}_{N}{\right)}^{\otimes m}$  be the projection onto ${e}_{0}\otimes \left({V}_{N}{\right)}^{\otimes \left(m-1\right)}$  , i.e.
${p}_{0}\left({e}_{{n}_{1}}\otimes {e}_{{n}_{2}}\otimes \cdot \cdot \cdot \otimes {e}_{{n}_{m}}\right)={\delta }_{0,{i}_{1}}{e}_{{n}_{2}}\otimes \cdot \cdot \cdot \otimes {e}_{{n}_{m}}.$  Then ${p}_{0}$  also restricts to a projection from $\left({W}_{N}{\right)}^{\otimes m}$  onto ${e}_{0}\otimes \left({W}_{N}{\right)}^{\otimes \left(m-1\right)}$  , and
 $\begin{array}{c}{J}_{K}^{\prime }\left(N\right)={v}^{w\left(\beta \right)\frac{{N}^{2}-1}{2}}tr\left({p}_{0}\left(\tau \left(\beta \right){K}^{-1}\right),{e}_{0}\otimes \left({W}_{N}{\right)}^{\otimes \left(m-1\right)}\right).\end{array}$ (7)

1.1.5 Twisting the braiding

It's straightforward to calculate the action of the braiding $\mathfrak{b}$  on ${V}_{N}\otimes {V}_{N}$  , using the basis ${e}_{{n}_{1}}\otimes {e}_{{n}_{2}},{n}_{1},{n}_{2}\in {\mathbb{Z}}_{\ge 0}$  . However to get a better, more convenient form we will follow Rozansky [Roto use the twisted braiding $\stackrel{ˇ}{\mathfrak{b}}:={Q}^{-1}\mathfrak{b}Q\text{where}Q=id\otimes {K}^{\left(1-N\right)/2}.$  Then direct calculation shows that on ${V}_{N}\otimes {V}_{N}$  the action of the twisted braiding ${\stackrel{ˇ}{\mathfrak{b}}}_{±}$  are given by ${\stackrel{ˇ}{\mathfrak{b}}}_{±}\left({e}_{{n}_{1}}\otimes {e}_{{n}_{2}}\right)={\sum }_{l=0}^{max{n}_{1},{n}_{2}}{\stackrel{ˇ}{\mathfrak{b}}}_{±}\left({n}_{1},{n}_{2};l\right)\left({e}_{{n}_{2}±l}\otimes {e}_{{n}_{1}\mp l}\right),$  where, with $z={q}^{N-1}$  ,
 $\begin{array}{ccc}\left({\stackrel{ˇ}{\mathfrak{b}}}_{+}\right)\left({n}_{1},{n}_{2};l\right)& =& {q}^{-\frac{\left(N-1{\right)}^{2}}{4}}\left(\genfrac{}{}{0}{}{{n}_{1}}{l}{\right)}_{{q}^{-1}}{q}^{{n}_{2}\left(l-{n}_{1}\right)}{z}^{{n}_{2}}\left(1-z{q}^{-{n}_{2}}{\right)}_{{q}^{-1}}^{l}\end{array}$ (8)
 $\begin{array}{ccc}\left({\stackrel{ˇ}{\mathfrak{b}}}_{-}\right)\left({n}_{1},{n}_{2};l\right)& =& {q}^{\frac{\left(N-1{\right)}^{2}}{4}}\left(\genfrac{}{}{0}{}{{n}_{2}}{l}{\right)}_{q}{q}^{{n}_{1}\left({n}_{2}-l\right)}{z}^{-{n}_{1}}\left(1-{z}^{-1}{q}^{{n}_{1}}{\right)}_{q}^{l}.\end{array}$ (9)
Note that our formulas differ from those in [Roby $q\to {q}^{-1}$  , since we derived our formula directly from the quantized enveloping algebra that differs from the one implicitly used by Rozansky. (The co-products are opposite; “implicitly” since Rozansky never used quantized enveloping algebra, but just took the formula of the $R$  -matrix from [KM).
To justify the use of the twisted braiding we argue as follows. First note that ${\mathfrak{b}}_{±}$  commutes with ${K}^{1/2}$  , the action of which on ${V}_{N}\otimes {V}_{N}$  is given by $\Delta \left({K}^{1/2}\right)={K}^{1/2}\otimes {K}^{1/2}$  . Thus ${K}^{l}\otimes {K}^{l}$  commutes with ${\mathfrak{b}}_{±}$  for every half-integer $l$  . Hence
 $\begin{array}{c}\left({Q}^{\prime }{\right)}^{-1}{\mathfrak{b}}_{±}{Q}^{\prime }={Q}^{-1}{\mathfrak{b}}_{±}Q={\stackrel{ˇ}{\mathfrak{b}}}_{±}\end{array}$ (10)
if ${Q}^{\prime }=Q\left({K}^{i\left(1-N\right)/2}\otimes {K}^{i\left(1-N\right)/2}\right)={K}^{i\left(1-N\right)/2}\otimes {K}^{\left(i+1\right)\left(1-N\right)/2}.$  Let us define the operator ${Q}_{m}$  acting on $\left({W}_{N}{\right)}^{\otimes m}$  by ${Q}_{m}:={K}^{\left(1-N\right)/2}\otimes {K}^{2\left(1-N\right)/2}\otimes \cdot \cdot \cdot \otimes {K}^{m\left(1-N\right)/2}$  and let $\stackrel{ˇ}{\tau }\left(\beta \right)={Q}_{m}^{-1}\tau \left(\beta \right){Q}_{m}.$  Then $\stackrel{ˇ}{\tau }$  is also a representation of the braid group. Since the action of ${K}^{-1}$  on $\left({W}_{N}{\right)}^{\otimes m}$  commutes with the action of ${Q}_{m}$  , one sees that in the formula ( 7 ) we can use $\stackrel{ˇ}{\tau }\left(\beta \right)$  instead of $\tau \left(\beta \right)$  :
 $\begin{array}{c}{J}_{K}^{\prime }\left(N\right)={v}^{w\left(\beta \right)\frac{{N}^{2}-1}{2}}tr\left({p}_{0}\left(\stackrel{ˇ}{\tau }\left(\beta \right){K}^{-1}\right),{e}_{0}\otimes \left({W}_{N}{\right)}^{\otimes \left(m-1\right)}\right).\end{array}$ (11)
Suppose $\beta ={\sigma }_{{i}_{1}}^{{\varepsilon }_{1}}...{\sigma }_{{i}_{k}}^{{\varepsilon }_{k}}$  . Then $\stackrel{ˇ}{\tau }\left(\beta \right)=\stackrel{ˇ}{\tau }\left({\sigma }_{{i}_{1}}{\right)}^{{\varepsilon }_{1}}...\stackrel{ˇ}{\tau }\left({\sigma }_{{i}_{k}}{\right)}^{{\varepsilon }_{k}}$  . Let us calculate $\stackrel{ˇ}{\tau }\left({\sigma }_{i}\right)$  :
 $\begin{array}{ccc}\stackrel{ˇ}{\tau }\left({\sigma }_{i}^{±1}\right)& =& {Q}_{m}^{-1}\tau \left({\sigma }_{i}\right){Q}_{m}\end{array}$
 $\begin{array}{ccc}& =& {Q}_{m}^{-1}\left({id}^{\otimes \left(i-1\right)}\otimes {\mathfrak{b}}_{±}\otimes {id}^{\otimes m-i-1}\right){Q}_{m}\end{array}$
 $\begin{array}{ccc}& =& {id}^{\otimes \left(i-1\right)}\otimes \left(\left({K}^{i\left(1-N\right)/2}\otimes {K}^{\left(i+1\right)\left(1-N\right)/2}{\right)}^{-1}{\mathfrak{b}}_{±}\left({K}^{i\left(1-N\right)/2}\otimes {K}^{\left(i+1\right)\left(1-N\right)/2}\right)\right)\otimes {id}^{\otimes m-i-1}\end{array}$
 $\begin{array}{ccc}& =& {id}^{\otimes \left(i-1\right)}\otimes {\stackrel{ˇ}{\mathfrak{b}}}_{±}\otimes {id}^{\otimes m-i-1}\text{byoi10}.\end{array}$
This means in the definition of $\stackrel{ˇ}{\tau }$  one just use ${\stackrel{ˇ}{\mathfrak{b}}}_{±}$  instead of ${\mathfrak{b}}_{±}$  , and then $\stackrel{ˇ}{\tau }$  is obtained from $\tau$  by the global twist ${Q}_{m}$  .

1.1.6 From ${W}_{N}$  to ${V}_{N}$

So far we take the trace using the finite dimensional module ${W}_{N}$  . For the infinite dimensional ${V}_{N}$  we define the trace of an operator if only a finite number of diagonal entries are nonzero. The following was observed in [Ro.
Lemma 1.3. Suppose the closure of the braid $\beta$  is a knot, then
 $\begin{array}{ccc}{J}_{K}^{\prime }\left(N\right)& =& {v}^{w\left(\beta \right)\frac{{N}^{2}-1}{2}}tr\left({p}_{0}\left(\stackrel{ˇ}{\tau }\left(\beta \right){K}^{-1}\right),{e}_{0}\otimes \left({W}_{N}{\right)}^{\otimes \left(m-1\right)}\right)\end{array}$
 $\begin{array}{ccc}& =& {v}^{w\left(\beta \right)\frac{{N}^{2}-1}{2}}tr\left({p}_{0}\left(\stackrel{ˇ}{\tau }\left(\beta \right){K}^{-1}\right),{e}_{0}\otimes \left({V}_{N}{\right)}^{\otimes \left(m-1\right)}\right).\end{array}$
• Proof. One important observation is that if $n  , and $n+l\ge N$  , then ${F}^{l}{e}_{n}=0$  . Hence ${\stackrel{ˇ}{\mathfrak{b}}}_{±}\left({e}_{{n}_{1}}\otimes {e}_{{n}_{2}}\right)$  is a linear combination of ${e}_{{m}_{1}}\otimes {e}_{{m}_{2}}$  (with ${m}_{1}+{m}_{2}={n}_{1}+{n}_{2}$  ), and if ${n}_{1}  then ${m}_{2}  , or if ${n}_{2}  then ${m}_{1}  .
Let ${\left(\tau \left(\beta \right){K}^{-1}\right)}_{{n}_{1},{n}_{2}...{n}_{m}}^{{s}_{1},{s}_{2}...{s}_{m}}$  be the matrix of $\tau \left(\beta \right){K}^{-1}$  with respect to the basis ${e}_{{n}_{1}}\otimes {e}_{{n}_{2}}\otimes \cdot \cdot \cdot \otimes {e}_{{n}_{m}}$  in $\left({V}_{N}{\right)}^{\otimes m}$  . Note that ${K}^{-1}$  acts diagonally in this basis. The above observation shows that if ${n}_{i}  then ${s}_{\overline{\beta }\left(i\right)}  for the matrix entry ${\left(\tau \left(\beta \right){K}^{-1}\right)}_{{n}_{1},{n}_{2}...{n}_{m}}^{{s}_{1},{s}_{2}...{s}_{m}}$  not to be 0, where $\overline{\beta }$  is the permutation corresponding to $\beta$  . To take the trace we only have to concern with the case ${s}_{i}={n}_{i}$  . We have already had ${n}_{1}=0$  , which is less than $N$  . Thus we must have ${n}_{j}  for $j=1,\overline{\beta }\left(1\right),\left(\overline{\beta }{\right)}^{2}\left(1\right)...$  . The fact that the closure of $\beta$  is a knot implies that $\left\{\left(\overline{\beta }{\right)}^{l}\left(1\right),1\le l\le m\right\}$  is the whole set $\left\{1,2,...,m\right\}$  . Hence taking the trace over ${e}_{0}\otimes \left({V}_{N}{\right)}^{\otimes \left(m-1\right)}$  is the same as over ${e}_{0}\otimes \left({W}_{N}{\right)}^{\otimes \left(m-1\right)}$  .

1.2 Algebra of the deformed Burau matrix

1.2.1 Algebra ${\mathcal{A}}_{\varepsilon }$

Let us define
 $\begin{array}{ccc}{\mathcal{A}}_{+}& :=\mathcal{ℛ}〈{a}_{+},{b}_{+},{c}_{+}〉/\left({a}_{+}{b}_{+}={b}_{+}{a}_{+},{a}_{+}{c}_{+}=q{c}_{+}{a}_{+},{b}_{+}{c}_{+}={q}^{2}{c}_{+}{b}_{+}\right).& \end{array}$
 $\begin{array}{ccc}{\mathcal{A}}_{-}& :=\mathcal{ℛ}〈{a}_{-},{b}_{-},{c}_{-}〉/\left({a}_{-}{b}_{-}={q}^{2}{b}_{-}{a}_{-},{c}_{-}{a}_{-}=q{a}_{-}{c}_{-},{c}_{-}{b}_{-}={q}^{2}{b}_{-}{c}_{-}\right).& \end{array}$
It is easy to check that the ${a}_{±},{b}_{±},{c}_{±}$  of section  0.1.2 satisfy the commutation relations of the algebras ${\mathcal{A}}_{±}$  .
For a sequence $\varepsilon =\left({\varepsilon }_{1},{\varepsilon }_{2},...,{\varepsilon }_{k}\right)$  , where each ${\varepsilon }_{j}$  is either $+$  or $-$  , let ${\mathcal{A}}_{\varepsilon }={\mathcal{A}}_{{\varepsilon }_{1}}\otimes {\mathcal{A}}_{{\varepsilon }_{2}}\otimes \cdot \cdot \cdot \otimes {\mathcal{A}}_{{\varepsilon }_{k}}$  . We can consider ${\mathcal{A}}_{\varepsilon }$  as the algebra over $\mathcal{ℛ}$  freely generated by ${a}_{j},{b}_{j},{c}_{j}$  subsect to the commutation relations: if $i\ne j$  then each of ${a}_{i},{b}_{i},{c}_{i}$  commutes with each of ${a}_{j},{b}_{j},{c}_{j}$  , if ${\varepsilon }_{j}=+$  then the commutations among ${a}_{j},{b}_{j},{c}_{j}$  are the same as those of ${a}_{+},{b}_{+},{c}_{+}$  , and if ${\varepsilon }_{j}=-$  then the commutations among ${a}_{j},{b}_{j},{c}_{j}$  are the same as those of ${a}_{-},{b}_{-},{c}_{-}$  . Note that the algebra ${\mathcal{A}}_{\varepsilon }$  is a generalized quantum space in the sense that for any $a,b$  among the generators, one has the almost $q$  -commutation relation $ab={q}^{l}ba$  , for some integer $l$  .
Replacing $x,y,u,{a}_{±},{b}_{±},{c}_{±}$  with respectively ${x}_{j},{y}_{j},{u}_{j},{a}_{j},{b}_{j},{c}_{j}$  in ( 1 ) if ${\varepsilon }_{j}=+$  , or in ( 2 ) if ${\varepsilon }_{j}=-$  , we identify ${a}_{j},{b}_{j},{c}_{j}$  with operators acting on $\mathcal{ℛ}\left[{x}_{j}^{±1},{y}_{j}^{±1},{u}_{j}^{±1}\right]$  . We assume that ${a}_{j},{b}_{j},{c}_{j}$  leave alone ${x}_{i},{y}_{i},{u}_{i}$  if $i\ne j$  . Thus ${\mathcal{A}}_{\varepsilon }$  acts on the algebra ${\mathcal{P}}_{k}$  of Laurent polynomials in ${x}_{j},{y}_{j},{u}_{j},1\le j\le k$  with coefficients in $\mathcal{ℛ}$  .
The map $\mathcal{ℰ}:{\mathcal{A}}_{\varepsilon }\to \mathcal{ℛ}\left[{z}^{±1}\right]$  is defined as in section  0.1.2 .
Lemma 1.4. a) If $f,g\in {\mathcal{A}}_{\varepsilon }$  are separate, i.e. $f$  contains only ${a}_{j},{b}_{j},{c}_{j}$  with $j\le r$  and $g$  contains only ${a}_{l},{b}_{l},{c}_{l}$  with $r  (for some $r$  ), then $\mathcal{ℰ}\left(fg\right)=\mathcal{ℰ}\left(f\right)\mathcal{ℰ}\left(g\right)$  .
b) One has
 $\begin{array}{ccc}\mathcal{ℰ}\left({b}_{+}^{s}{c}_{+}^{r}{a}_{+}^{d}\right)& =& {q}^{-rd}{z}^{r}\left(1-z{q}^{-r}{\right)}_{{q}^{-1}}^{d}\end{array}$ (12)
 $\begin{array}{ccc}\mathcal{ℰ}\left({b}_{-}^{s}{c}_{-}^{r}{a}_{-}^{d}\right)& =& {z}^{-r}\left(1-{z}^{-1}{q}^{r}{\right)}_{q}^{d}\end{array}$ (13)
• Proof. a) follows directly from the definition. b) follows from an easy induction.

1.2.2 Definition of $\rho \left(\gamma \right)$

Let us give here the precise definition of $\rho \left(\gamma \right)$  , for $\gamma =\left(\left({i}_{1},{\varepsilon }_{1}\right),...,\left({i}_{k},{\varepsilon }_{k}\right)\right)$  . Recall that $\beta$  is the braid $\beta =\beta \left(\gamma \right):={\sigma }_{{i}_{1}}^{{\varepsilon }_{1}}{\sigma }_{{i}_{2}}^{{\varepsilon }_{2}}...{\sigma }_{{i}_{k}}^{{\varepsilon }_{k}}.$  If ${\varepsilon }_{j}=+$  (resp. ${\varepsilon }_{j}=-$  ), let ${S}_{j}$  be the matrix ${S}_{+}$  (resp. ${S}_{-}$  ) with ${a}_{+},{b}_{+},{c}_{+}$  (resp. ${a}_{-},{b}_{-},{c}_{-}$  ) replaced by ${a}_{j},{b}_{j},{c}_{j}$  . For the $j$  -th factor ${\sigma }_{{i}_{j}}^{{\varepsilon }_{j}}$  let us define an $m×m$  right-quantum matrix ${A}_{j}$  by the block sum, just like in the Burau representation, only the non-trivial $2×2$  block now is ${S}_{j}$  instead of the Burau matrix:
${A}_{j}:={I}_{{i}_{j}-1}\oplus {S}_{j}\oplus {I}_{m-{i}_{j}-1}.$  Here ${I}_{l}$  is the identity $l×l$  matrix.
Let $\rho \left(\gamma \right):={A}_{1}{A}_{2}...{A}_{k}$  . Then $\rho \left(\gamma \right)$  is an $m×m$  right-quantum matrix with entries polynomials in ${a}_{j},{b}_{j},{c}_{j}$  .

1.3 Quantum MacMahon Master Theorem

1.3.1 Co-actions of right-quantum matrices on the quantum space

The quantum plane ${\mathbb{C}}_{q}\left[{z}_{1},{z}_{2},...,{z}_{m}\right]$  , considered as the space of $q$  -polynomial in the variables ${z}_{1},...,{z}_{m}$  , is defined as ${\mathbb{C}}_{q}\left[{z}_{1},{z}_{2},...,{z}_{m}\right]:=\stackrel{~}{\mathcal{ℛ}}〈{z}_{1},...,{z}_{m}〉/\left({z}_{i}{z}_{j}=q{z}_{j}{z}_{i}\text{if}i
Remark 1.5. Our definitions of quantum spaces, quantum matrices... differ from the one in [GLZ, Kasby the involution $q\to {q}^{-1}$  , but agree with the ones in Jantzen's book [Jan.
If $A=\left({a}_{ij}{\right)}_{i,j=1}^{m}$  is right-quantum and all ${a}_{ij}$  's commute with all ${z}_{1},...,{z}_{m}$  , then it is known that the ${Z}_{i}:={\sum }_{j}{a}_{ij}{z}_{j}$  , i.e.
$\left(\begin{array}{c}{Z}_{1}\\ {Z}_{2}\\ ...\\ {Z}_{m}\end{array}\right)=A\left(\begin{array}{c}{z}_{1}\\ {z}_{2}\\ ...\\ {z}_{m}\end{array}\right),$  also satisfy ${Z}_{i}{Z}_{j}=q{Z}_{j}{Z}_{i}\text{if}i  . Let $\mathcal{W}=\mathcal{W}\left(A\right)$  be the algebra generated by ${a}_{ij},1\le i,j\le m$  , subject to the commutation relations of ${a}_{ij}$  . Then we have an algebra homomorphism:
${\Phi }_{A}:{\mathbb{C}}_{q}\left[{z}_{1}...,{z}_{m}\right]\to \mathcal{W}\otimes {\mathbb{C}}_{q}\left[{z}_{1},...,{z}_{m}\right]$  defined by ${\Phi }_{A}\left({z}_{i}\right)={Z}_{i}$  . Informally, one could look at ${\Phi }_{A}$  as the degree-preserving algebra homomorphism on the $q$  -polynomial ring ${\mathbb{C}}_{q}\left[{z}_{1},{z}_{2},...,{z}_{m}\right]$  defined by matrix $A$  . Here we assume that the degree of each ${z}_{i}$  is 1, and the degree of each ${a}_{ij}$  is 0.
We will consider the case $A=\rho \left(\gamma \right)$  , and in particular $A={\stackrel{ˇ}{\mathfrak{b}}}_{±}$  . In this case we define ${\mathcal{ℰ}}_{N}\left({\Phi }_{A}\right):=\left({\mathcal{ℰ}}_{N}\otimes id\right)\circ {\Phi }_{A}$  , which is a linear operator acting on ${\mathbb{C}}_{q}\left[{z}_{1}...,{z}_{m}\right]$  , not necessarily an algebra homomorphism.

1.3.2 Quantum MacMahon Master theorem

Let ${\mathbb{C}}_{q}\left[{z}_{1},...,{z}_{m}{\right]}^{\left(n\right)}$  be the part of total degree $n$  in ${\mathbb{C}}_{q}\left[{z}_{1},...,{z}_{m}\right]$  . Since ${\Phi }_{A}$  preserves the total degree, it restricts to a linear map: ${\Phi }_{A}:{\mathbb{C}}_{q}\left[{z}_{1}...,{z}_{m}{\right]}^{\left(n\right)}\to \mathcal{W}\otimes {\mathbb{C}}_{q}\left[{z}_{1},...,{z}_{m}{\right]}^{\left(n\right)}$  . Let us define the trace by $tr\left({\Phi }_{A},{\mathbb{C}}_{q}\left[{z}_{1}...,{z}_{m}{\right]}^{\left(n\right)}\right)={\sum }_{{n}_{1}+\cdot \cdot \cdot +{n}_{m}=n}\left({\Phi }_{A}{\right)}_{{n}_{1},...,{n}_{m}}^{{n}_{1},...,{n}_{m}},$  where $\left({\Phi }_{A}{\right)}_{{n}_{1},...,{n}_{m}}^{{n}_{1},...,{n}_{m}}$  is the coefficients of ${z}_{1}^{{n}_{1}}...{z}_{m}^{{n}_{m}}$  in ${Z}_{1}^{{n}_{1}}...{Z}_{m}^{{n}_{m}}$  . One could consider $tr\left({\Phi }_{A},{\mathbb{C}}_{q}\left[{z}_{1}...,{z}_{m}{\right]}^{\left(n\right)}\right)$  as the trace of ${\Phi }_{A}$  acting on the part of total degree $n$  . The quantum MacMahon's Master theorem, proved in [GLZsays that $\frac{1}{{\stackrel{~}{det}}_{q}\left(I-A\right)}=tr\left({\Phi }_{A},{\mathbb{C}}_{q}\left[{z}_{1}...,{z}_{m}\right]\right):={\sum }_{n=0}^{\infty }tr\left({\Phi }_{A},{\mathbb{C}}_{q}\left[{z}_{1}...,{z}_{m}{\right]}^{\left(n\right)}\right).$  It's the $q$  -analog of the identity $\frac{1}{det\left(I-C\right)}={\sum }_{n=0}^{\infty }tr\left({S}^{n}C\right),$  where $C$  is a linear operator acting on a finite dimensional $\mathbb{C}$  -space $V$  and ${S}^{n}C$  is the action of $C$  on the $n$  -th symmetric power of $V$  .

1.4 From deformed Burau matrices ${S}_{±}$  to $R$  -matrices ${\stackrel{ˇ}{\mathfrak{b}}}_{±}$

Let ${\mathcal{ℱ}}_{m}:\left({V}_{N}{\right)}^{\otimes m}\to {\mathbb{C}}_{q}\left[{z}_{1},...,{z}_{m}\right]$  be the $\stackrel{~}{\mathcal{ℛ}}$  -linear isomorphism defined by $\mathcal{ℱ}\left({e}_{{n}_{1}}\otimes \cdot \cdot \cdot \otimes {e}_{{n}_{m}}\right):={z}_{1}^{{n}_{1}}...{z}_{m}^{{n}_{m}}$  . The following is important to us.
Proposition 1.6. a) Under the isomorphism ${\mathcal{ℱ}}_{2}$  , the twisted braiding matrices ${\stackrel{ˇ}{\mathfrak{b}}}_{±}$  acting on ${V}_{N}\otimes {V}_{N}$  map to ${v}^{\mp \left(N-1{\right)}^{2}/2}{\mathcal{ℰ}}_{N}\left({S}_{±}\right)$  , i.e.
${\stackrel{ˇ}{\mathfrak{b}}}_{±}={v}^{\mp \left(N-1{\right)}^{2}/2}{\mathcal{ℱ}}_{2}^{-1}{\mathcal{ℰ}}_{N}\left({\Phi }_{{S}_{±}}\right){\mathcal{ℱ}}_{2}.$  b) Under the isomorphism ${\mathcal{ℱ}}_{m}$  , the linear automorphism $\stackrel{ˇ}{\tau }\left(\beta \left(\gamma \right)\right)$  of $\left({V}_{N}{\right)}^{\otimes m}$  maps to ${v}^{\mp w\left(\beta \right)\left(N-1{\right)}^{2}/2}{\mathcal{ℰ}}_{N}\left({\Phi }_{\rho \left(\gamma \right)}\right)$  .
• Proof. a) Suppose for 2 variables $X,Y$  we have $YX=qXY$  , then Gauss's q-binomial formula [Kassays that $\left(X+Y{\right)}^{n}={\sum }_{l=0}^{n}\left(\genfrac{}{}{0}{}{n}{l}{\right)}_{q}{X}^{l}{Y}^{n-l}.$  Let us first consider the case of ${S}_{+}$  . Then ${\Phi }_{{S}_{+}}\left({z}_{1}\right)={a}_{+}{z}_{1}+{b}_{+}{z}_{2}$  , and ${\Phi }_{{S}_{-}}\left({z}_{2}\right)={c}_{+}{z}_{1}$  . Note that $\left({b}_{+}{z}_{2}\right)\left({a}_{+}{z}_{1}\right)={q}^{-1}\left({a}_{+}{z}_{1}\right){b}_{+}\left({z}_{2}\right)$  , hence using the Gauss binomial formula we have  $\begin{array}{ccc}{\Phi }_{{S}_{+}}\left({z}_{1}^{{n}_{1}}{z}_{2}^{{n}_{2}}\right)& =& \left({a}_{+}{z}_{1}+{b}_{+}{z}_{2}{\right)}^{{n}_{1}}\left({c}_{+}{z}_{1}{\right)}^{{n}_{2}}\end{array}$
 $\begin{array}{ccc}& =& {\sum }_{l=0}^{{n}_{1}}\left(\genfrac{}{}{0}{}{{n}_{1}}{l}{\right)}_{{q}^{-1}}\left({a}_{+}{z}_{1}{\right)}^{l}\left({b}_{+}{z}_{2}{\right)}^{{n}_{1}-l}\left({c}_{+}{z}_{1}{\right)}^{{n}_{2}}\end{array}$
 $\begin{array}{ccc}& =& {\sum }_{l=0}^{{n}_{1}}\left(\genfrac{}{}{0}{}{{n}_{1}}{l}{\right)}_{{q}^{-1}}{q}^{{n}_{2}\left({n}_{1}-l\right)}{a}_{+}^{l}{b}_{+}^{{n}_{1}-l}{c}_{+}^{{n}_{2}}\left({z}_{1}{\right)}^{{n}_{2}+l}\left({z}_{2}{\right)}^{{n}_{1}-l}\end{array}$
Using formulas ( 8 ) and ( 12 ) one sees that ${\stackrel{ˇ}{\mathfrak{b}}}_{+}={v}^{-\left(N-1{\right)}^{2}/2}{\mathcal{ℱ}}_{2}^{-1}{\mathcal{ℰ}}_{N}\left({\Phi }_{{S}_{+}}\right){\mathcal{ℱ}}_{2}.$  The proof for ${S}_{-}$  is quite similar, using formulas ( 9 ) and ( 13 ).
b) Because the variables ${x}_{j},{y}_{j},{u}_{j}$  are separated, we have that $\mathcal{ℰ}\left(\rho \left(\gamma \right)\right)=\mathcal{ℰ}\left(\rho \left({\sigma }_{{i}_{1}}^{{\varepsilon }_{1}}\right)...\mathcal{ℰ}\left(\rho \left({\sigma }_{{i}_{k}}^{{\varepsilon }_{k}}\right),$  and the statement follows from part a).

1.4.1

Under the isomorphism ${\mathcal{ℱ}}_{m}$  , the projection ${p}_{0}:\left({V}_{N}{\right)}^{\otimes m}\to \left({V}_{N}{\right)}^{\otimes m}$  maps to the projection, also denoted by ${p}_{0}$  , of ${\mathbb{C}}_{q}\left[{z}_{1},{z}_{2},...,{z}_{m}\right]$  , which can be defined as ${p}_{0}\left({z}_{1}^{{n}_{1}}{z}_{2}^{{n}_{2}}...{z}_{m}^{{n}_{m}}\right)={\delta }_{0,{n}_{1}}{z}_{2}^{{n}_{2}}...{z}_{m}^{{n}_{m}}.$  Note that the kernel of ${p}_{0}$  is the ideal generated by ${z}_{1}$  .
Lemma 1.7. a) For every $u\in {\mathbb{C}}_{q}\left[{z}_{2},...,{z}_{m}\right]$  , ${p}_{0}\left({\Phi }_{\rho \left(\beta \right)}\left(u\right)\right)={\Phi }_{{\rho }^{\prime }\left(\beta \right)}\left(u\right).$  b) The operators ${p}_{0}$  and ${\mathcal{ℰ}}_{N}$  commute:
${p}_{0}\left({\mathcal{ℰ}}_{N}\left({\Phi }_{\rho \left(\beta \right)}\left(u\right)\right)\right)={\mathcal{ℰ}}_{N}\left({p}_{0}\left({\Phi }_{\rho \left(\beta \right)}\left(u\right)\right)\right).$
• Proof. a) Recall that ${\rho }^{\prime }\left(\gamma \right)$  is obtained from $\rho \left(\gamma \right)$  by removing the first row and column. Suppose $u\in {\mathbb{C}}_{q}\left[{z}_{2},...,{z}_{m}\right]$  , then ${\Phi }_{\rho \left(\beta \right)}\left(u\right)-{\Phi }_{{\rho }^{\prime }\left(\beta \right)}\left(u\right)$  is divisible by ${z}_{1}$  , and hence annihilated by ${p}_{0}$  .
b) follows trivially from the definition.
The following is trivial.
Lemma 1.8. Under ${\mathcal{ℱ}}_{m}$  , the action of ${K}^{-1}$  on ${\mathbb{C}}_{q}\left[{z}_{2},...,{z}_{m}{\right]}^{\left(n\right)}$  is the scalar operator, with scalar ${v}^{\left(m-1\right)\left(1-N\right)+2n}={v}^{\left(m-1\right)\left(1-N\right)}{q}^{n}$  .

1.5 Proof of Theorem  1

 $\begin{array}{ccc}{J}_{K}^{\prime }\left(N\right)& =& {v}^{\frac{w\left(\beta \right)\left(N-1{\right)}^{2}}{2}}tr\left({p}_{0}\left(\stackrel{ˇ}{\tau }\left(\beta \right){K}^{-1}\right),{e}_{0}\otimes \left({W}_{N}{\right)}^{\otimes \left(m-1\right)}\right)\text{by Lemmaa11.3}\end{array}$
 $\begin{array}{ccc}& =& {v}^{w\left(\beta \right)\left(N-1\right)}tr\left({p}_{0}\left({\mathcal{ℰ}}_{N}\left({\Phi }_{\rho \left(\gamma \right)}\right){K}^{-1}\right),{\mathbb{C}}_{q}\left[{z}_{2},...,{z}_{m}\right]\right)\text{under}{\mathcal{ℱ}}_{m}\text{, by Propositiona21.6}\end{array}$
 $\begin{array}{ccc}& =& {v}^{w\left(\beta \right)\left(N-1\right)}tr\left({\mathcal{ℰ}}_{N}\left({\Phi }_{{\rho }^{\prime }\left(\gamma \right)}\right){K}^{-1},{\mathbb{C}}_{q}\left[{z}_{2},...,{z}_{m}\right]\right)\text{by Lemmaa31.7}\end{array}$
 $\begin{array}{ccc}& =& {v}^{w\left(\beta \right)\left(N-1\right)}{\sum }_{n=0}^{\infty }tr\left({\mathcal{ℰ}}_{N}\left({\rho }^{\prime }\left(\gamma \right)\right){K}^{-1},{\mathbb{C}}_{q}\left[{z}_{2},...,{z}_{m}{\right]}^{\left(n\right)}\right)\end{array}$
 $\begin{array}{ccc}& =& {v}^{\left(w\left(\beta \right)-m+1\right)\left(N-1\right)}{\sum }_{n=0}^{\infty }{q}^{n}tr\left({\mathcal{ℰ}}_{N}\left({\Phi }_{{\rho }^{\prime }\left(\gamma \right)}\right),{\mathbb{C}}_{q}\left[{z}_{2},...,{z}_{m}{\right]}^{\left(n\right)}\right)\text{by Lemmaa61.8}\end{array}$
 $\begin{array}{ccc}& =& {v}^{\left(w\left(\beta \right)-m+1\right)\left(N-1\right)}{\sum }_{n=0}^{\infty }tr\left({\mathcal{ℰ}}_{N}\left({\Phi }_{q{\rho }^{\prime }\left(\gamma \right)}\right),{\mathbb{C}}_{q}\left[{z}_{2},...,{z}_{m}{\right]}^{\left(n\right)}\right)\end{array}$
 $\begin{array}{ccc}& =& {v}^{\left(w\left(\beta \right)-m+1\right)\left(N-1\right)}{\mathcal{ℰ}}_{N}{\sum }_{n=0}^{\infty }tr\left({\Phi }_{q{\rho }^{\prime }\left(\gamma \right)},{\mathbb{C}}_{q}\left[{z}_{2},...,{z}_{m}{\right]}^{\left(n\right)}\right)\end{array}$
 $\begin{array}{ccc}& =& {v}^{\left(w\left(\beta \right)-m+1\right)\left(N-1\right)}{\mathcal{ℰ}}_{N}\frac{1}{{\stackrel{~}{det}}_{q}\left(I-q{\rho }^{\prime }\left(\gamma \right)\right)}\text{by quantum MacMahon Master Theorem.}\end{array}$
This proves part a) of Theorem  1 . As for part b), first notice that the braid $\beta ←:={\sigma }_{{i}_{k}}^{{\varepsilon }_{k}}{\sigma }_{{i}_{k-1}}^{{\varepsilon }_{k-1}}...{\sigma }_{{i}_{1}}^{{\varepsilon }_{1}}$  has the closure knot the same as that of $\beta$  . The Alexander polynomial of $K$  is known to be equal to $det\left(I-{\overline{\rho }}^{\prime }\left(\beta ←\right)\right)$  , where $\overline{\rho }$  is the Burau representation, and ${\overline{\rho }}^{\prime }\left(\beta ←\right)$  is obtained from $\overline{\rho }\left(\beta ←\right)$  by removing the first row and column. We know that $\mathcal{ℰ}\left({S}_{±}\right)$  are the transpose Burau matrices, hence $\overline{\rho }\left(\beta ←\right)=\mathcal{ℰ}\left(\rho \left(\beta \right){\right)}^{T}$  , the transpose of $\mathcal{ℰ}\left(\rho \left(\beta \right)\right)$  . The statement now follows.

2 The Kashaev invariant

2.1 Proof of Theorem  2

2.1.1 Completion of ${\mathcal{A}}_{\varepsilon }$

Let $\mathcal{ℐ}$  be the left ideal in ${\mathcal{A}}_{\varepsilon }$  generated by ${a}_{1},{a}_{2},...,{a}_{k}$  , i.e.
$\mathcal{ℐ}:={a}_{1}{\mathcal{A}}_{\varepsilon }+{a}_{2}{\mathcal{A}}_{\varepsilon }+\cdot \cdot \cdot +{a}_{k}{\mathcal{A}}_{\varepsilon },$  and let ${\stackrel{^}{\mathcal{A}}}_{\varepsilon }$  be the $\mathcal{ℐ}$  -adic completion of ${\mathcal{A}}_{\varepsilon }$  . Using the almost $q$  -commutativity it's easy to see that $\mathcal{ℐ}$  is a two-sided ideal.
Lemma 2.1. When the closure of $\beta \left(\gamma \right)$  is a knot, ${\stackrel{~}{det}}_{q}\left(I-q{\rho }^{\prime }\left(\gamma \right)\right)$  belongs to $1+\mathcal{ℐ}$  , and hence $\frac{1}{{\stackrel{~}{det}}_{q}\left(I-q{\rho }^{\prime }\left(\gamma \right)\right)}$  belongs to ${\stackrel{^}{\mathcal{A}}}_{\varepsilon }$  .
• Proof. It's enough to show that when ${a}_{1}={a}_{2}=...{a}_{k}=0$  , then ${\stackrel{~}{det}}_{q}\left(I-q{\rho }^{\prime }\left(\gamma \right)\right)=1$  , or ${det}_{q}\left(C\right)=0$  for any main minor $C$  of ${\rho }^{\prime }\left(\gamma \right)$  .
Let call permutation-like matrix a matrix $C$  where on each row and on each column there is at most one non-zero entry. If, in addition, on each row and on each column there is exactly one non-zero entry, we say that $C$  is non-degenerate. Every non-degenerate permutation-like square matrix $C$  gives rise to a permutation matrix $p\left(C\right)$  by replacing all the non-zero entries with 1. It's clear that product of (non-degenerate) permutation-like matrices is a (non-degenerate) permutation-like one. If $C$  is a permutation-like $m×m$  matrix, and $D$  a main minor, i.e. a submatrix of type $J×J$  , then $D$  is also permutation like. If, in addition, both $C$  and $D$  are non-degenerate, then $p\left(C\right)$  leaves $J$  stable, i.e. $p\left(C\right)\left(J\right)=J$  , since the restriction of $p\left(C\right)$  on $J$  is equal to $p\left(D\right)$  which leaves $J$  stable.
Also note that if $C$  is degenerate permutation-like right-quantum matrix, then ${det}_{q}\left(C\right)=0$  .
When ${a}_{1}={a}_{2}=\cdot \cdot \cdot ={a}_{k}=0$  , each of matrices ${A}_{j}$  (whose definition is in subsection  1.2.2 ) is a non-degenerate permutation-like matrix. Hence $C=\rho \left(\gamma \right)$  is permutation-like. Note that $p\left(C\right)$  is exactly $\overline{\beta }$  , the permutation corresponding to $\beta$  . Because the closure of $\beta$  is a knot, $\overline{\beta }=p\left(C\right)$  does not leave any proper subset of $\left\{1,2,...,m\right\}$  stable. Hence any main minor $D$  of ${\rho }^{\prime }\left(\gamma \right)$  , which itself is a proper main minor of $C=\rho \left(\gamma \right)$  , is a degenerate permutation-like matrix. Hence ${det}_{q}\left(D\right)=0$  .

2.1.2 ${\stackrel{^}{\mathcal{A}}}_{\varepsilon }$  and the Habiro ring

Lemma 2.2. a) If $f\in {\mathcal{A}}_{\varepsilon }$  is divisible by ${a}_{j}^{d}$  for some $1\le j\le k$  and a positive integer $d$  , then $\mathcal{ℰ}\left(f\right)$  is divisible by $\left(1-z{q}^{r}{\right)}_{q}^{d}$  , and hence ${\mathcal{ℰ}}_{N}\left(f\right)$  is divisible by $\left(1-q{\right)}_{q}^{d}$  for every integer $N$  , not necessarily positive.
b) Suppose $n>dk$  . Then ${\mathcal{ℰ}}_{N}\left(f\right)$  is divisible by $\left(1-q{\right)}_{q}^{d}$  for every integer $N$  and every $f\in {\mathcal{ℐ}}^{n}$  .
Hence ${\mathcal{ℰ}}_{N}{\stackrel{^}{A}}_{\varepsilon }\in \stackrel{^}{\mathbb{Z}\left[q\right]}$  .
• Proof. a) We assume that $f$  is a monomial in the variables ${a}_{1},{b}_{1},{c}_{1},{a}_{2},...$  . Using the almost $q$  -commutativity we move all ${a}_{j},{b}_{j},{c}_{j}$  to the right of $f$  , so that $f=g{b}_{j}^{s}{c}_{j}^{r}{a}_{j}^{d}$  , for some $g\in {\mathcal{A}}_{\varepsilon }$  not containing ${a}_{j},{b}_{j},{c}_{j}$  . Note that by Lemma  1.4  $\mathcal{ℰ}\left(f\right)=\mathcal{ℰ}\left(g\right)\mathcal{ℰ}\left({b}_{j}^{s}{c}_{j}^{r}{a}_{j}^{d}\right)$  is divisible by $\mathcal{ℰ}\left({b}_{j}^{s}{c}_{j}^{r}{a}_{j}^{d}\right)$  . Note that ${a}_{j},{b}_{j},{c}_{j}$  are either ${a}_{+},{b}_{+},{c}_{+}$  or ${a}_{-},{b}_{-},{c}_{-}$  . Using  12 and  13 we see that ${\mathcal{ℰ}}_{N}\left(f\right)$  is divisible by $\left(1-{q}^{l}{\right)}_{q}^{d}$  for some integer $l$  , which, in turn, is always divisible by $\left(1-q{\right)}_{q}^{d}$  .
b) Using the fact that generators ${a}_{j},{b}_{j},{c}_{j},1\le j\le k$  almost $q$  -commute, it's easy to see that ${\mathcal{ℐ}}^{n}$  is 2-sided ideal generated by ${a}_{{s}_{1}}{a}_{{s}_{2}}...{a}_{{s}_{n}}$  , where each ${s}_{i}$  is one of $\left\{1,2,...,k\right\}$  . If $n>dk$  , by the pigeon hole principle, there is an index $j$  such ${a}_{{s}_{1}}{a}_{{s}_{2}}...{a}_{{s}_{n}}$  is divisible by ${a}_{j}^{d}$  . Now the result follows from part a).
From Lemmas  2.2 and  2.1 we get the following.
Corollary 2.3. Suppose $N$  is an integer, not necessarily positive. Then ${\mathcal{ℰ}}_{N}\left(\frac{1}{{\stackrel{~}{det}}_{q}\left(I-q{\rho }^{\prime }\left(\gamma \right)\right)}\right)\in \stackrel{^}{\mathbb{Z}\left[q\right]}.$

2.1.3 Proof of Theorem  2

Part a) is a special case of Corollary  2.3 , with $N=0$  .
For part b) first recall that $〈K{〉}_{N}={J}_{K}^{\prime }\left(N\right){|}_{q=exp\left(2\pi i/N\right)}$  . When $q=exp\left(2\pi i/N\right)$  , one has ${q}^{N}=1={q}^{0}$  .
Thus ${\mathcal{ℰ}}_{N}={\mathcal{ℰ}}_{0}$  when $q=exp\left(2\pi i/N\right)$  . One has
 $\begin{array}{ccc}{J}_{K}^{\prime }\left(N\right){|}_{q=exp\left(2\pi i/N\right)}& =& {v}^{m-1-w\left(\beta \right)}{\mathcal{ℰ}}_{N}\left(T\right){|}_{q=exp\left(2\pi i/N\right)}\end{array}$
 $\begin{array}{ccc}& =& {v}^{m-1-w\left(\beta \right)}{\mathcal{ℰ}}_{0}\left(T\right){|}_{q=exp\left(2\pi i/N\right)},\end{array}$
where $T=\frac{1}{{\stackrel{~}{det}}_{q}\left(I-q{\rho }^{\prime }\left(\gamma \right)\right)}.$

2.2 The Kashaev invariant for other simple Lie algebra

Fix a simple Lie algebra $\mathfrak{g}$  . For every long knot K, presented by a $1-1$  tangle, one can define the $\mathfrak{g}$  -universal invariant ${\mathcal{J}}_{K}^{\mathfrak{g}}$  , which is a central element in an appropriate completion of quantized universal enveloping algebra ${U}_{v}\left(\mathfrak{g}\right)$  , see [Tu, Law. Formally, ${\mathcal{J}}_{K,\mathfrak{g}}$  is an infinite sum of central elements in ${U}_{v}\left(\mathfrak{g}\right)$  :
 $\begin{array}{c}{\mathcal{J}}_{K,\mathfrak{g}}={\sum }_{n=0}^{\infty }{\mathcal{J}}_{K,\mathfrak{g}}^{\left(n\right)},\end{array}$ (14)
such that for any finite dimensional simple ${U}_{v}\left(\mathfrak{g}\right)$  -module only the action of a finite number of terms are non-zero. Hence for a finite-dimensional simple module ${U}_{v}\left(\mathfrak{g}\right)$  -module $V$  , ${\mathcal{J}}_{K}^{\mathfrak{g}}$  acts as a scalar times the identity. It can be shown that the scalar is a Laurent polynomial in $q$  . Denote this scalar by ${J}_{K,\mathfrak{g}}^{\prime }\left(V\right)$  . One always has ${J}_{K,\mathfrak{g}}\left(V\right)={J}_{K,\mathfrak{g}}^{\prime }\left(V\right){dim}_{q}\left(V\right),$  when ${J}_{K,\mathfrak{g}}\left(V\right)$  is the usual quantum invariant of $K$  colored by $V$  , and ${dim}_{q}\left(V\right)$  is the quantum dimension, i.e. the invariant of the unknot colored by $V$  .
For any Verma module ${V}_{\lambda }$  of highest weight $\lambda$  (an element in the weight lattice), the action of each of ${\mathcal{J}}_{K,\mathfrak{g}}^{\left(n\right)}$  is still in $\mathcal{ℛ}=\mathbb{Z}\left[{q}^{±1}\right]$  , but in general infinitely many of them are non-zero. In this case ${J}_{K,\mathfrak{g}}^{\prime }\left({V}_{\lambda }\right)$  is an infinite series (sum). In a future work we will show that ${J}_{K,\mathfrak{g}}^{\prime }\left({V}_{\lambda }\right)\in \stackrel{^}{\mathbb{Z}\left[q\right]}$  ; the special case when $\mathfrak{g}=s{l}_{2}$  has been proved here by Corollary  2.3 .
Note that if the weight $\lambda$  is dominant, then ${J}_{K,\mathfrak{g}}^{\prime }\left({V}_{\lambda }\right)={J}_{K,\mathfrak{g}}^{\prime }\left({W}_{\lambda }\right),$  where ${W}_{\lambda }$  is the finite dimensional ${U}_{v}\left(\mathfrak{g}\right)$  module with highest weight $\lambda$  . The reason is both are the scalar of the same scalar operator acting on ${V}_{\lambda }$  and its quotient ${W}_{\lambda }$  . In this case ${J}_{K,\mathfrak{g}}^{\prime }\left({V}_{\lambda }\right)$  is a Laurent polynomial in $q$  . It is known that $\mathcal{ℛ}=\mathbb{Z}\left[{q}^{±1}\right]\subset \stackrel{^}{\mathbb{Z}\left[q\right]}$  , see [Ha.
Due to the Weyl symmetry, we see that if $w$  is in the Weyl group, then ${J}_{K,\mathfrak{g}}^{\prime }\left({V}_{\lambda }\right)={J}_{K,\mathfrak{g}}^{\prime }\left({V}_{w\cdot \lambda }\right)$  , where $w\cdot \lambda$  is the dot action of the Weyl group, see [Hu. If $\lambda$  is not fixed (under the dot action) by any element of the Weyl group, then $\lambda =w\cdot \mu$  for some dominant $\mu$  , and hence ${J}_{K,\mathfrak{g}}^{\prime }\left({V}_{\lambda }\right)={J}_{K,\mathfrak{g}}^{\prime }\left({V}_{\mu }\right)$  . In this case ${J}_{K,\mathfrak{g}}^{\prime }\left({V}_{\lambda }\right)$  might be still an infinite series, but it is equal to a Laurent polynomial, which is ${J}_{K,\mathfrak{g}}^{\prime }\left({V}_{\mu }\right)$  in the Habiro ring $\stackrel{^}{\mathbb{Z}\left[q\right]}$  .
The more interesting, and less understood case is when $\lambda$  is fixed by an element of the Weyl group, i.e. $\lambda$  is on a wall of a shifted Weyl chamber. Among them there is one special weight, namely $\lambda =-\delta$  , where $\delta$  is the half-sum of positive roots, since $-\delta$  is the only element invariant by all elements of the Weyl group. When $\mathfrak{g}=s{l}_{2}$  , ${V}_{-\delta }$  is ${V}_{0}$  in section  1 , and ${J}_{K,\mathfrak{g}}^{\prime }\left({V}_{-\delta }\right)$  is the Kashaev invariant in this case, according to Theorem  2 . Note that ${V}_{-\delta }$  is always infinite-dimensional and irreducible; it's certainly a very special ${U}_{v}\left(\mathfrak{g}\right)$  -module.
Thus a natural generalization of the Kashaev invariant to other simple Lie algebra is ${J}_{K,\mathfrak{g}}^{\prime }\left({V}_{-\delta }\right)$  . More precisely, let's define the $\mathfrak{g}$  -Kashaev invariant by $〈K{〉}_{N}^{\mathfrak{g}}:={J}_{K,\mathfrak{g}}^{\prime }\left({V}_{-\delta }\right){|}_{q=exp\left(2\pi i/N\right)}.$  And we suggest the following $\mathfrak{g}$  -volume conjecture ${lim}_{N\to \infty }\frac{|〈K{〉}_{N}^{\mathfrak{g}}|}{N}={c}_{\mathfrak{g}}Vol\left(K\right),$  Where ${c}_{\mathfrak{g}}$  is a constant depending only on the simple Lie algebra $\mathfrak{g}$  .
References

1. D. Bar-Natan and S. Garoufalidis, On the Melvin-Morton-Rozansky conjecture, Invent. Math. 125 (1996), no. 1, 103–133.
2. R. Benedetti and C. Petronio, Lectures on hyperbolic geometry, Universitext. Springer-Verlag, Berlin, 1992.
3. J. Birman, Braids, links, and mapping class groups, Annals of Mathematics Studies, No. 82. Princeton University Press, 1974
4. S. Garoufalidis and TTQ. Le, The colored Jones function is $q$  -holonomic, preprint 2003, math.GT/0309214.
5. S. Garoufalidis, TTQ. Le, and D. Zeilberger, The quantum MacMahon Master Theorem, Preprint 2003, math.QA/0303319.
6. S. Garoufalidis and M. Loebl, A non-commutative formula for the colored Jones function, preprint 2005, math.QA/0411505.
7. K. Habiro, On the quantum $\mathfrak{s}{\mathfrak{l}}_{2}$  invariants of knots and integral homology spheres, Geom. Topol. Monogr. 4 (2002) 55–68.
8. J. Humphreys, Introduction to Lie algebras and representation theory, Graduate Texts in Mathematics, 9, Springer-Verlag, New York-Berlin, 1978.
9. J.C. Jantzen, Lecture on quantum groups, Graduate Studies in Mathematics, vol 6, AMS 1995.
10. V. Jones, Hecke algebra representation of braid groups and link polynomials, Annals Math. 126 (1987) p. 335–388.
11. R. Kashaev, The hyperbolic volume of knots from the quantum dilogarithm, Modern Phys. Lett. A 39 (1997) 269–275.
12. C. Kassel, Quantum Groups, Graduate Text in Mathematics 155, Springer-Verlag, New York 1995.
13. R. Kirby and P. Melvin, The 3-manifold invariants of Witten and Reshetikhin-Turaev for $sl\left(2,\mathbb{C}\right)$  , Invent. Math. 105 (1991), 473–545.
14. R. Lawrence, A universal link invariant using quantum groups, Differential geometric methods in theoretical physics (Chester, 1988), 55–63, World Sci. Publishing, Teaneck, NJ, 1989.
15. T.T.Q. Le, The Colored Jones Polynomial and the $A$  -Polynomial of Two-Bridge Knots, preprint 2004 math.GT/0407521.
16. W. Lück, ${L}^{2}$  -invariants: theory and applications to geometry and $K$  -theory, Ergebnisse der Mathematik und ihrer Grenzgebiete 44, Springer-Verlag, Berlin, 2002.
17. Yu. Manin, Quantum group and non-commutative geometry, Universite de Montreal, Centre de Recherches Mathematiques, Montreal, QC, 1988.
18. P. M. Melvin and H. R. Morton, The coloured Jones function, Comm. Math. Phys. 169 (1995), no. 3, 501–520.
19. H. Murakami and J. Murakami, The colored Jones polynomials and the simplicial volume of a knot, Acta Math. 186 (2001) 85–104.
20. L. Rozansky, The universal $R$  -matrix, Burau representation, and the Melvin-Morton expansion of the colored Jones polynomial, Adv. Math. 134 (1998), 1–31.
21. D. Silver and S. Williams, Mahler measure of Alexander polynomials, J. London Math. Soc. (2) 69 (2004), 767–782.
22. V. Turaev, Quantum invariants of knots and 3-manifolds, de Gruyter Studies in Mathematics, 18 Walter de Gruyter & Co., Berlin, 1994.
23. D. Zagier, Vassiliev invariants and a strange identity related to the Dedekind eta-function, Topology 40 (2001), 945–960.

Department of Mathematics, SUNY Buffalo, Buffalo, NY 14260, USA School of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332-0160, USA E-mail address : letu@math.gatech.edu