𝓜

Math Notes

University Mathematics

TheoremComplete

The Volume Conjecture

Theorem8.2The Volume Conjecture (Kashaev-Murakami-Murakami)

For any hyperbolic knot K⊂S3K \subset S^3, let JK(N)(q)J_K^{(N)}(q) denote the NN-th colored Jones polynomial (the quantum SU(2)\mathrm{SU}(2) invariant associated to the NN-dimensional representation), evaluated at q=e2πi/Nq = e^{2\pi i/N}. Then: lim⁡N→∞2πlog⁡∣JK(N)(e2πi/N)∣N=Vol(S3∖K)\lim_{N\to\infty}\frac{2\pi\log|J_K^{(N)}(e^{2\pi i/N})|}{N} = \mathrm{Vol}(S^3\setminus K) where Vol(S3∖K)\mathrm{Vol}(S^3\setminus K) is the hyperbolic volume of the knot complement (the unique hyperbolic metric by Mostow rigidity has finite volume).

Evidence and Partial Results

Proof

The volume conjecture remains open in full generality. We summarize the evidence and the key ideas behind partial results.

Kashaev's original formulation (1997). Kashaev defined a knot invariant ⟨K⟩N\langle K\rangle_N using quantum dilogarithms (related to the 6j-symbols of Uq(sl2)U_q(\mathfrak{sl}_2)) and observed numerically that lim⁡N→∞log⁡∣⟨K⟩N∣N=Vol(S3∖K)2π\lim_{N\to\infty}\frac{\log|\langle K\rangle_N|}{N} = \frac{\mathrm{Vol}(S^3\setminus K)}{2\pi} for several hyperbolic knots.

Murakami-Murakami identification (2001). They proved ⟨K⟩N=JK(N)(e2πi/N)\langle K\rangle_N = J_K^{(N)}(e^{2\pi i/N}), identifying Kashaev's invariant with the colored Jones polynomial at a root of unity, giving the standard formulation.

Verified cases:

  • Figure-eight knot (414_1): Proved by Ekholm (2000, unpublished) and later by several authors. The key is the explicit formula J41(N)(q)=∑k=0N−1∏j=1k∣1−qj∣2J_{4_1}^{(N)}(q) = \sum_{k=0}^{N-1}\prod_{j=1}^k|1-q^j|^2 and the asymptotic analysis using the saddle-point method. The critical point gives Vol(S3∖41)=2.0298832…=6Λ(π/3)\mathrm{Vol}(S^3\setminus 4_1) = 2.0298832\ldots = 6\Lambda(\pi/3) where Λ\Lambda is the Lobachevsky function.
  • Torus knots: JT(p,q)(N)(e2πi/N)J_{T(p,q)}^{(N)}(e^{2\pi i/N}) grows polynomially (not exponentially), giving volume 00, consistent with torus knots being non-hyperbolic (their complements are Seifert fibered with zero hyperbolic volume).
  • Twist knots, some pretzel knots: Verified numerically and in some cases rigorously.

Complexified volume conjecture (Gukov, Murakami). The stronger conjecture: JK(N)(e2πi/N)∼N→∞C⋅Nα⋅exp⁡(N2π(Vol(S3∖K)+i CS(S3∖K)))J_K^{(N)}(e^{2\pi i/N}) \sim_{N\to\infty} C\cdot N^\alpha\cdot\exp\left(\frac{N}{2\pi}(\mathrm{Vol}(S^3\setminus K) + i\,\mathrm{CS}(S^3\setminus K))\right) where CS\mathrm{CS} is the Chern-Simons invariant. The saddle point of the integral representation corresponds to the hyperbolic structure.

■
ExampleVolume Conjecture for the Figure-Eight Knot

J41(N)(e2πi/N)=∑k=0N−1∏j=1k(1−e2πij/N)(1−e−2πij/N)=∑k=0N−1∏j=1k4sin⁡2(πj/N)J_{4_1}^{(N)}(e^{2\pi i/N}) = \sum_{k=0}^{N-1}\prod_{j=1}^k(1-e^{2\pi ij/N})(1-e^{-2\pi ij/N}) = \sum_{k=0}^{N-1}\prod_{j=1}^k 4\sin^2(\pi j/N). As N→∞N\to\infty, the dominant term in the sum has k≈N/3k \approx N/3, and a saddle-point analysis gives log⁡∣J41(N)∣∼N2π⋅2.0298…=N2πVol(S3∖41)\log|J_{4_1}^{(N)}| \sim \frac{N}{2\pi}\cdot 2.0298\ldots = \frac{N}{2\pi}\mathrm{Vol}(S^3\setminus 4_1), confirming the conjecture.

RemarkSignificance and Generalizations

The volume conjecture, if true, would establish a deep bridge between quantum topology (Jones polynomial, quantum groups) and classical hyperbolic geometry (Thurston's hyperbolic structures, volumes). It implies that the colored Jones polynomials contain the complete hyperbolic geometry of the knot complement. Generalizations include: the AJ conjecture (the colored Jones polynomial satisfies a qq-difference equation whose classical limit is the A-polynomial), the slope conjecture (boundary slopes are determined by the Jones polynomial), and the Chen-Yang volume conjecture for 3-manifolds (colored Turaev-Viro invariants detect hyperbolic volume).