Contents
1 Introduction
1.1 The volume conjecture for small angles
$$\begin{array}{c}{lim}_{n\to \infty}\frac{log\left|{J}_{K,n}\right({e}^{\alpha /n}\left)\right|}{n}=0\end{array}$$ | (1) |
$$\begin{array}{c}{\rho}_{\alpha}:{\pi}_{1}({S}^{3}-K)\u27f6S{L}_{2}(\mathbb{C}),{\rho}_{\alpha}(\mathfrak{m})=\left(\begin{array}{cc}{e}^{\alpha /n}& 0\\ 0& {e}^{-\alpha /n}\end{array}\right).\end{array}$$ | (2) |
$$\begin{array}{c}{lim}_{n\to \infty}{J}_{K,n}\left({e}^{\alpha /n}\right)=\frac{1}{{\Delta}_{K}\left({e}^{\alpha}\right)}\in \mathbb{C}.\end{array}$$ | (3) |
$$\begin{array}{c}{lim}_{n\to \infty}{J}_{K,n}\left({e}^{h/n}\right)=\frac{1}{{\Delta}_{K}\left({e}^{h}\right)}\in \mathbb{Q}\left[\right[h\left]\right],\end{array}$$ | (4) |
$$\begin{array}{c}{lim}_{n\to \infty}coeff\left({J}_{K,n}\left({e}^{h/n}\right),{h}^{m}\right)=coeff\left(\frac{1}{{\Delta}_{K}\left({e}^{h}\right)},{h}^{m}\right),\end{array}$$ | (5) |
$$\begin{array}{c}{J}_{K,n}\left({e}^{h/n}\right){\sim}_{n\to \infty}{\sum}_{k=0}^{\infty}\frac{{P}_{K,k}\left({e}^{h}\right)}{{\Delta}_{K}({e}^{h}{)}^{2k+1}}{\left(\frac{h}{n}\right)}^{k}\in \mathbb{Q}\left[\right[h\left]\right]\end{array}$$ | (6) |
$$\begin{array}{c}{lim}_{n\to \infty}{\left(\frac{n}{h}\right)}^{N}\left({J}_{K,n}\left({e}^{h/n}\right)-{\sum}_{k=0}^{N-1}\frac{{P}_{K,k}\left({e}^{h}\right)}{{\Delta}_{K}({e}^{h}{)}^{2k+1}}{\left(\frac{h}{n}\right)}^{k}\right)=\frac{{P}_{K,N}\left({e}^{h}\right)}{{\Delta}_{K}^{2N+1}\left({e}^{h}\right)}\in \mathbb{Q}\left[\right[h\left]\right].\end{array}$$ | (7) |
1.2 Asymptotics to all orders
$$\begin{array}{c}{J}_{K,n}\left({e}^{\alpha /n}\right){\sim}_{n\to \infty}{\sum}_{k=0}^{\infty}\frac{{P}_{K,k}\left({e}^{\alpha}\right)}{{\Delta}_{K}({e}^{\alpha}{)}^{2k+1}}{\left(\frac{\alpha}{n}\right)}^{k}.\end{array}$$ | (8) |
$$\begin{array}{c}{lim}_{n\to \infty}{\left(\frac{n}{\alpha}\right)}^{N}\left({J}_{K,n}\left({e}^{\alpha /n}\right)-{\sum}_{k=0}^{N-1}\frac{{P}_{K,k}\left({e}^{\alpha}\right)}{{\Delta}_{K}({e}^{\alpha}{)}^{2k+1}}{\left(\frac{\alpha}{n}\right)}^{k}\right)=\frac{{P}_{K,N}\left({e}^{\alpha}\right)}{{\Delta}_{K}^{2N+1}\left({e}^{\alpha}\right)}\in \mathbb{C}.\end{array}$$ | (9) |
1.3 A small dose of physics
1.4 WKB
1.5 The main ideas
1.6 Acknowledgement
2 Three expansions of the Jones polynomial
2.1 Finite type invariants and the Jones polynomial
$$\begin{array}{ccc}{J}_{K,n}\left({e}^{h}\right)& =& {\sum}_{0\le i,0\le j\le i}{c}_{K,i,j}{n}^{j}{h}^{i}\end{array}$$ | (10) |
$$\begin{array}{ccc}& =& {\sum}_{0\le i,0\le j\le i}{c}_{K,i,j}(nh{)}^{j}{h}^{i-j}\end{array}$$ |
$$\begin{array}{ccc}& =& {\sum}_{0\le j,k}{c}_{K,j+k,j}(nh{)}^{j}{h}^{k}.\end{array}$$ |
$$\begin{array}{ccc}{J}_{K,n}\left({e}^{h}\right)& =& {\sum}_{k=0}^{\infty}{R}_{K,k}\left(nh\right){h}^{k},\end{array}$$ | (11) |
2.2 The loop expansion of the Jones polynomial
2.3 The cyclotomic expansion of the Jones polynomial
$$\begin{array}{c}{J}_{K,n}\left(q\right)={\sum}_{k=0}^{n}{C}_{n,k}\left(q\right){C}_{K,k}\left(q\right),\end{array}$$ | (12) |
$$\begin{array}{ccc}{C}_{n,k}\left(q\right)& :=& {\frac{1}{{q}^{n/2}-{q}^{-n/2}}}^{n+k}{\prod}_{j=n-k}({q}^{j/2}-{q}^{-j/2})\end{array}$$ |
$$\begin{array}{ccc}& =& {}^{k}{\prod}_{j=1}\left(\right({q}^{n/2}-{q}^{-n/2}{)}^{2}-({q}^{j/2}-{q}^{-j/2}{)}^{2})\end{array}$$ |
$$\begin{array}{ccc}& =& {}^{k}{\prod}_{j=1}\left(\right({q}^{n/2}+{q}^{-n/2}{)}^{2}-({q}^{j/2}+{q}^{-j/2}{)}^{2}).\end{array}$$ |
2.4 Comparing the cyclotomic and the loop expansion
$$\begin{array}{ccc}{R}_{K,0}\left(x\right)& =& {\sum}_{l=0}^{\infty}\langle {C}_{K,l}{\rangle}_{0}{z}^{2l}\end{array}$$ |
$$\begin{array}{ccc}{R}_{K,1}\left(x\right)& =& {\sum}_{l=0}^{\infty}\langle {C}_{K,l}{\rangle}_{1}{z}^{2l}\end{array}$$ |
$$\begin{array}{ccc}{R}_{K,2}\left(x\right)& =& {\sum}_{l=0}^{\infty}\langle {C}_{K,l}{\rangle}_{2}{z}^{2l}-{\sum}_{l=0}^{\infty}\langle {C}_{K,l}{\rangle}_{0}\frac{l(l+1)(2l+1)}{6}{z}^{2l-2}\end{array}$$ |
$$\begin{array}{ccc}{R}_{K,3}\left(x\right)& =& {\sum}_{l=0}^{\infty}\langle {C}_{K,l}{\rangle}_{3}{z}^{2l}-{\sum}_{l=0}^{\infty}\langle {C}_{K,l}{\rangle}_{1}\frac{l(l+1)(2l+1)}{6}{z}^{2l-2}\end{array}$$ |
3 Proof of Theorem 1
3.1 A lemma from complex analysis
3.2 Proof of Theorem 1
4 Estimates of the cyclotomic function
$$\begin{array}{c}\left|\right|{C}_{K,n}|{|}_{1}\le {e}^{Cn+{C}^{\prime}logn}\end{array}$$ | (13) |
$$\begin{array}{c}\left|{C}_{K,n}^{\left(k\right)}\right({e}^{\alpha}\left)\right|\le {e}^{Cn+{C}^{\prime}(k+1)logn+Re\left(\alpha \right){C}^{\prime \prime}{n}^{2}+{C}^{\prime \prime \prime}},\end{array}$$ | (14) |
$$\begin{array}{ccc}\left|{a}_{j,n}\right|& \le & \left|\right|{C}_{K,n}|{|}_{1}\le {e}^{Cn+{C}^{\prime}logn}\end{array}$$ |
$$\begin{array}{ccc}|j{|}^{k}& \le & ({C}_{1}{n}^{2}{)}^{k}\end{array}$$ |
$$\begin{array}{ccc}\left|{e}^{\alpha j}\right|& \le & {e}^{|Re(\alpha \left)\right|{C}_{1}{n}^{2}}.\end{array}$$ |
$$\begin{array}{c}{U}_{K}=\{\alpha \in \mathbb{C}|C+{C}^{\prime \prime}|Re(\alpha \left)\right|+{C}_{1}log\left|\alpha \right|<0\}.\end{array}$$ | (15) |
$$\begin{array}{ccc}{lim}_{m\to \infty}{f}_{n}^{\left(m\right)}\left(0\right)& =& m!coeff\left({R}_{K,0}\right(\alpha ),{\alpha}^{m})\end{array}$$ |
$$\begin{array}{ccc}& =& m!coeff\left(\frac{1}{{\Delta}_{K}\left({e}^{\alpha}\right)},{\alpha}^{m}\right).\end{array}$$ |
5 Proof of Theorem 4
$$\begin{array}{c}{J}_{K,n}^{\left(N\right)}\left({e}^{\alpha /n}\right)={J}_{K,n}\left({e}^{\alpha /n}\right)-{\sum}_{k=0}^{N-1}\frac{{P}_{K,k}\left({e}^{\alpha}\right)}{{\Delta}_{K}({e}^{\alpha}{)}^{2k+1}}{\left(\frac{\alpha}{n}\right)}^{k}.\end{array}$$ | (16) |
$$\begin{array}{ccc}{c}_{k}(x,\epsilon )& =& {}^{k}{\prod}_{j=1}({e}^{x/2}-{e}^{-x/2}{)}^{2}-({e}^{jh/2}-{e}^{-jh/2}{)}^{2}),\end{array}$$ |
$$\begin{array}{ccc}{g}_{K,k}(x,\epsilon )& =& {c}_{k}(x,\epsilon ){C}_{K,k}\left({e}^{\epsilon}\right).\end{array}$$ |
$$\begin{array}{c}{C}_{n,k}\left({e}^{\alpha /n}\right)={c}_{k}(\alpha ,\alpha /n),{J}_{K,n}\left({e}^{\alpha /n}\right)={\sum}_{k=0}^{n}{g}_{K,k}(\alpha ,\alpha /n).\end{array}$$ | (17) |
$$\begin{array}{ccc}{\sum}_{k=0}^{N-1}\frac{{P}_{K,k}\left({e}^{\alpha}\right)}{{\Delta}_{K}({e}^{\alpha}{)}^{2k+1}}{\left(\frac{\alpha}{n}\right)}^{k}& =& {\sum}_{k=0}^{\infty}Taylo{r}^{N-1}\left({g}_{K,k}\right(\alpha ,\cdot ),\frac{\alpha}{n})\end{array}$$ | (18) |
$$\begin{array}{ccc}& =& {\sum}_{k=0}^{n}Taylo{r}^{N-1}\left({g}_{K,k}\right(\alpha ,\cdot ),\frac{\alpha}{n})+{\text{err}}_{n}\left(\alpha \right).\end{array}$$ | (19) |
$$\begin{array}{ccc}{J}_{K,n}^{\left(N\right)}\left({e}^{\alpha /n}\right)& =& {J}_{K,n}\left({e}^{\alpha /n}\right)-{\sum}_{k=0}^{N-1}\frac{{P}_{K,k}\left({e}^{\alpha}\right)}{{\Delta}_{K}({e}^{\alpha}{)}^{2k+1}}{\left(\frac{\alpha}{n}\right)}^{k}\end{array}$$ |
$$\begin{array}{ccc}& =& {\sum}_{k=0}^{n}{g}_{K,k}(\alpha ,\alpha /n)-{\sum}_{k=0}^{n}Taylo{r}^{N-1}\left({g}_{K,k}\right(\alpha ,\cdot ),\frac{\alpha}{n})-{\text{err}}_{n}\left(\alpha \right)\end{array}$$ |
$$\begin{array}{ccc}& \approx & {\left(\frac{\alpha}{n}\right)}^{N}{\sum}_{k=0}^{n}\frac{1}{N!}\frac{{\partial}^{N}}{\partial {\epsilon}^{N}}{|}_{\epsilon \approx \alpha /n}{g}_{K,k}(\alpha ,\epsilon )-{\text{err}}_{n}.\end{array}$$ |
$$\begin{array}{ccc}\frac{{d}^{m}}{d{\alpha}^{m}}{|}_{\alpha =0}\left({\left(\frac{n}{\alpha}\right)}^{N}{J}_{K,n}^{\left(N\right)}\left({e}^{\alpha /n}\right)\right)& =& m!(coeff\left({R}_{K,N}\right(\alpha ),{\alpha}^{m})+\frac{1}{n}coeff\left({R}_{K,N+1}\right(\alpha ),{\alpha}^{m-1})+\end{array}$$ |
$$\begin{array}{ccc}& & \cdot \cdot \cdot +\frac{1}{{n}^{m}}coeff\left({R}_{K,N+m}\right(\alpha ),{\alpha}^{0})).\end{array}$$ |
$$\begin{array}{ccc}{lim}_{m\to \infty}\frac{{d}^{m}}{d{\alpha}^{m}}{|}_{\alpha =0}\left({\left(\frac{n}{\alpha}\right)}^{N}{J}_{K,n}^{\left(N\right)}\left({e}^{\alpha /n}\right)\right)& =& m!coeff\left({R}_{K,N}\right(\alpha ),{\alpha}^{m})\end{array}$$ |
$$\begin{array}{ccc}& =& m!coeff\left(\frac{{P}_{K,N}\left({e}^{\alpha}\right)}{{\Delta}_{K}({e}^{\alpha}{)}^{2N+1}},{\alpha}^{m}\right).\end{array}$$ |