Volume Conjecture and quantum hyperbolic invariants: the figure eight knot complement
Pith reviewed 2026-05-10 07:27 UTC · model grok-4.3
The pith
For the figure-eight knot complement, the real part of the semi-classical limit of quantum hyperbolic invariants is rigid and equals either zero or the hyperbolic volume divided by 2π depending on a parity condition.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We compute the real part of the semi-classical limit of the sequence of quantum hyperbolic invariants (QHI) of the figure-eight knot complement M. We show that it is rigid, in the sense that it does not depend on the choice of holonomy representation of M, and it is either 0 or equal to the hyperbolic volume of M divided by 2π, depending on a parity condition satisfied by logarithms of the holonomy eigenvalues on the canonical longitude, where the logarithms are parameters of the QHI of M.
What carries the argument
The sequence of quantum hyperbolic invariants (QHI) of the 3-manifold, with their semi-classical limit evaluated using logarithms of holonomy eigenvalues as parameters.
If this is right
- The limit value is independent of the chosen holonomy representation.
- A parity condition on the logarithms of the holonomy eigenvalues determines whether the volume term appears.
- The result recovers the hyperbolic volume in one parity case, consistent with expectations from the volume conjecture.
- General structural properties of quantum hyperbolic invariants are identified during the computation.
Where Pith is reading between the lines
- If the same rigidity of the semi-classical limit holds for other hyperbolic knot complements, quantum hyperbolic invariants could supply an alternative route to volume calculations.
- The parity condition may correspond to a topological feature such as the choice of framing or orientation on the knot.
- The surveyed general features of QHI could be used to define analogous limits for other classes of 3-manifolds.
Load-bearing premise
The semi-classical limit of the quantum hyperbolic invariants exists and is well-defined independently of the specific holonomy representation chosen for the figure-eight knot complement.
What would settle it
Explicit computation of the semi-classical limit for a second, independent holonomy representation that produces a real-part value other than zero or the hyperbolic volume divided by 2π.
Figures
read the original abstract
We compute the real part of the semi-classical limit of the sequence of quantum hyperbolic invariants (QHI) of the figure-eight knot complement $M$. We show that it is rigid, in the sense that it does not depend on the choice of holonomy representation of $M$, and it is either $0$ or equal to the hyperbolic volume of $M$ divided by $2\pi$, depending on a parity condition satisfied by logarithms of the holonomy eigenvalues on the canonical longitude, where the logarithms are parameters of the QHI of $M$. Along the way we also survey some relevant general features of the QHI.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper computes the real part of the semi-classical limit of the sequence of quantum hyperbolic invariants (QHI) for the figure-eight knot complement M. It claims this limit is rigid (independent of the choice of holonomy representation of M) and equals either 0 or vol(M)/(2π), depending on a parity condition satisfied by the logarithms of the holonomy eigenvalues on the canonical longitude (which serve as parameters of the QHI). The manuscript also surveys general features of the QHI.
Significance. If the claims hold, the result would supply a concrete, representation-independent verification of volume-related behavior in the semi-classical limit of QHI for a fundamental example (the figure-eight knot complement). The rigidity property and explicit parity dependence would strengthen links between quantum invariants and hyperbolic geometry, while the survey of QHI features provides useful background for the field.
major comments (2)
- [derivation of the semi-classical limit] The central claim requires proving that the semi-classical limit of the QHI sequence exists, converges to a well-defined real number, and is independent of the holonomy representation. The abstract asserts rigidity and the parity-dependent value, but the load-bearing step (existence and representation-independence of the limit) needs explicit convergence analysis, error bounds, or a general argument that does not rely on a fixed triangulation or parameter choice; without this, the independence statement cannot be assessed.
- [discussion of parity condition and QHI parameters] The parity condition on the logarithms of the holonomy eigenvalues (along the canonical longitude) is used to select between the values 0 and vol(M)/(2π). This condition appears as an input parameter in the QHI setup; the manuscript must show how it is unambiguously extracted from the representation data without additional choices or circular dependence on the volume itself.
minor comments (2)
- [Abstract] The abstract states the main result clearly but omits any indication of the computational method or triangulation used; adding one sentence would improve accessibility.
- [throughout] Notation for the QHI parameters (including the logarithms of holonomy eigenvalues) should be introduced once and used consistently; cross-check all instances for uniformity.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. The points raised concerning the derivation of the semi-classical limit and the parity condition are important for clarifying the manuscript. We respond to each major comment below and indicate the planned revisions.
read point-by-point responses
-
Referee: [derivation of the semi-classical limit] The central claim requires proving that the semi-classical limit of the QHI sequence exists, converges to a well-defined real number, and is independent of the holonomy representation. The abstract asserts rigidity and the parity-dependent value, but the load-bearing step (existence and representation-independence of the limit) needs explicit convergence analysis, error bounds, or a general argument that does not rely on a fixed triangulation or parameter choice; without this, the independence statement cannot be assessed.
Authors: We agree that a more explicit treatment of convergence is needed. For the figure-eight knot complement, the QHI are computed from the standard two-tetrahedron ideal triangulation, yielding an explicit product formula involving dilogarithms of the holonomy parameters. The semi-classical limit is obtained by asymptotic expansion as the quantum level tends to infinity; direct simplification shows that the real part is independent of the continuous parameters and equals the claimed constant values. We will revise by adding an appendix with explicit remainder estimates for this expansion, derived from the known analytic properties of the dilogarithm near the relevant points. While this remains tied to the specific triangulation, it suffices to establish the result for this manifold; a fully general convergence theorem for arbitrary triangulations lies outside the scope of the present example-focused paper but will be discussed as future work. revision: partial
-
Referee: [discussion of parity condition and QHI parameters] The parity condition on the logarithms of the holonomy eigenvalues (along the canonical longitude) is used to select between the values 0 and vol(M)/(2π). This condition appears as an input parameter in the QHI setup; the manuscript must show how it is unambiguously extracted from the representation data without additional choices or circular dependence on the volume itself.
Authors: The parity is determined by the fractional part of the normalized logarithm of the holonomy eigenvalue along the canonical longitude. For a chosen lift of the representation to SL(2,C), the logarithm is taken with imaginary part in (-π,π]; the parity is then the integer congruence class of (Re(log λ)/π) mod 2. This discrete datum is read directly from the matrix representation of the longitude without reference to the hyperbolic volume, which is computed separately from the complete hyperbolic structure on M. We will add a short subsection in the revision that spells out this extraction procedure, including an explicit example for the figure-eight representations, to remove any ambiguity and confirm the absence of circularity. revision: yes
Circularity Check
No significant circularity in the semi-classical limit computation
full rationale
The paper performs an explicit computation of the real part of the semi-classical limit of the QHI sequence for the figure-eight knot complement, deriving its rigidity (independence from holonomy representation) and its value (0 or vol(M)/2π under a parity condition on logarithms) directly from the definitions and properties of the quantum hyperbolic invariants. No steps in the provided abstract or described derivation reduce the claimed result to the inputs by construction, fit parameters to the target volume, or rely on load-bearing self-citations whose validity is assumed rather than independently verified. The central claim is framed as a direct evaluation for this specific manifold, making the derivation self-contained against the external benchmark of the known hyperbolic volume.
Axiom & Free-Parameter Ledger
free parameters (1)
- parity condition on logarithms of holonomy eigenvalues
axioms (2)
- domain assumption Existence and well-definedness of the semi-classical limit for the QHI sequence
- standard math Standard properties of holonomy representations and canonical longitude for knot complements
Reference graph
Works this paper leans on
-
[1]
J. E. Andersen, R. Kashaev, A TQFT from quantum Teichm¨ uller theory, Commun. Math. Phys. 330 (3) (2014) 887–934
work page 2014
-
[2]
Invariants of Knots and 3–Manifolds (Kyoto 2001)
S. Baseilhac, R. Benedetti, QHI, 3-manifold scissors congruence classes and the volume conje cture, in “Invariants of Knots and 3–Manifolds (Kyoto 2001)”, Geom. T opol. Monogr. 4 (2002-4) 13–28
work page 2001
-
[3]
S. Baseilhac, R. Benedetti, Quantum hyperbolic invariants of 3-manifolds with P SL(2, C)-characters, Topology 43 (6) (2004) 1373–1423
work page 2004
-
[4]
S. Baseilhac, R. Benedetti, Classical and quantum dilogarithmic invariants of flat P SL(2, C)-bundles over 3-manifolds, Geom. Topol. 9 (2005) 493–570
work page 2005
-
[5]
S. Baseilhac, R. Benedetti, Quantum hyperbolic geometry , Alg. Geom. Topol. 7 (2007) 845–917
work page 2007
-
[6]
S. Baseilhac, R. Benedetti, The Kashaev and quantum hyperbolic invariants of links , J. G¨ okova Geom. Topol. 5 (2011) 31–85
work page 2011
-
[7]
S. Baseilhac, R. Benedetti, Analytic families of quantum hyperbolic invariants , Alg. Geom. Topol. 15-4 (2015) 1983–2063, DOI 10.2140/agt.2015.15.1983
-
[8]
S. Baseilhac, R. Benedetti, Non ambiguous structures on 3-manifolds and quantum symmet ry defects , Quantum Topol. 8-4 (2017) 749–846, DOI: 10.4171/QT/101
-
[9]
S. Baseilhac, R. Benedetti, On the quantum Teichm¨ uller invariants of fibred cusped 3-ma nifolds, Geom. Dedicata 197(1) (2018) 1–32, DOI 10.1007/s10711-017-0315 -0
- [10]
-
[11]
F. Ben Aribi, F. Gu´ eritaud, E. Piguet-Nakazawa, Geometric triangulations and the Teichm¨ uller TQFT volume conjecture for twist knots , Quant. Topol. 14(2) (2023) 285–406
work page 2023
-
[12]
F. Ben Aribi, A. Guilloux and K.H. Wong, F AMED by computer: proving the Andersen–Kashaev volume conjecture for 42,000 knots , ArXiv:2512.17437
-
[13]
F. Ben Aribi and K. H. Wong, The Andersen-Kashaev volume conjecture for F AMED geometri c triangu- lations, ArXiv:2410.10776 VOLUME CONJECTURE AND QUANTUM HYPERBOLIC INV ARIANTS 65
-
[14]
R. Benedetti, C. Petronio, Lectures on Hyperbolic Geometry , Universitext, Springer Verlag (1992)
work page 1992
-
[15]
G. M. Bergman, The Logarithmic Limit-Set of an Algebraic Variety , Trans. Amer. Math. Soc. 157 (1971) 459–469, https://doi.org/10.2307/1995858
-
[16]
H. F. Bonahon, X. Liu, Representations of the quantum Teichm¨ uller space and inva riants of surface diffeomorphisms, Geom. Topol. 11 (2007) 889–937
work page 2007
- [17]
-
[18]
F. Bonahon, H. Wong, T. Yang, Asymptotics of quantum invariants of surface diffeomorphism s I: con- jecture and algebraic computations , ArXiv:2112.12852
-
[19]
F. Bonahon, H. Wong, T. Yang, Asymptotics of quantum invariants of surface diffeomorphism s II: the figure-eight knot complement , ArXiv:2203.05730
- [20]
-
[21]
Q. Chen, T. Yang, Volume conjectures for the Reshetikhin–Turaev and the Tura ev–Viro invariants, Quan- tum Topol. 9 (3) (2018) 419–460
work page 2018
-
[22]
Y-E. Choi, Positively oriented ideal triangulations on hyperbolic th ree-manifolds, Topology 43 (2004) 1345–1371
work page 2004
- [23]
- [24]
-
[25]
M. Culler, P.B. Shalen, Varieties of group representations and splitting of 3-manifolds, Ann. of Math. 117 (1983) 109–146
work page 1983
-
[26]
R. Detcherry, E. Kalfagianni, T. Yang, Turaev-Viro invariants, colored Jones polynomials, and vo lume, Quantum Topol. 9 (4) (2018) 775–813
work page 2018
-
[27]
N.M. Dunfield, Cyclic surgery, degree of maps of character curves, and volu me rigidity for hyperbolic manifolds, Invent. Math. 136 (1999) 623–657
work page 1999
-
[28]
L. D. Faddeev, Discrete Heisenberg-Weyl group and modular group , Lett. Math. Phys. 34 (3) (1995) 249–254
work page 1995
-
[29]
L. D. Faddeev, R. M. Kashaev, A. Yu. Volkov, Strongly coupled quantum discrete Liouville theory. I: Algebraic approach and duality , Commun. Math. Phys. 219 (1) (2001) 199–219
work page 2001
-
[30]
Gocho, The topological invariant of three-manifolds based on the U (1) gauge theory , Proc
T. Gocho, The topological invariant of three-manifolds based on the U (1) gauge theory , Proc. Japan Acad. Ser. A Math. Sci. 66 (1990), no. 8, 237–239
work page 1990
- [31]
-
[32]
S. Garoufalidis, I. Moffatt, D. P. Thurston, Non-peripheral ideal decompositions of alternating knots , ArXiv:1610.09901
-
[33]
S. Garoufalidis, T. Yu, A Relation between the Baseilhac-Benedetti and the Bonahon -Liu-Wong-Yang invariants, ArXiv:2601.03554
-
[34]
S. Garoufalidis, D. Zagier, Knots, perturbative series and quantum modularity , SIGMA 20 (2024), paper no. 55
work page 2024
-
[35]
Ishibashi, Cyclic quantum Teichm¨ uller theory, ArXiv:2501.02316
T. Ishibashi, Cyclic quantum Teichm¨ uller theory, ArXiv:2501.02316
-
[36]
Kabaya, A method to find ideal points from ideal triangulations , Journal Knot Theor
Y. Kabaya, A method to find ideal points from ideal triangulations , Journal Knot Theor. Ram. 19 (4) (2010) 509–524
work page 2010
-
[37]
Kapovich, Hyperbolic Manifolds and Discrete Groups , Univ
M. Kapovich, Hyperbolic Manifolds and Discrete Groups , Univ. of Utah Lecture Notes, 1993/94
work page 1993
-
[38]
Kashaev, Quantum dilogarithm as a 6j-symbol , Mod
R.M. Kashaev, Quantum dilogarithm as a 6j-symbol , Mod. Phys. Lett. A Vol. 9 (40) (1994) 3757–3768
work page 1994
-
[39]
Kashaev, A link invariant from quantum dilogarithm , Mod
R.M. Kashaev, A link invariant from quantum dilogarithm , Mod. Phys. Lett. A Vol. 10 (40) (1995) 1409–1418
work page 1995
-
[40]
R. M. Kashaev, The hyperbolic volume of knots from the quantum dilogarithm , Lett. Math. Phys. 39 (1997) 269–275
work page 1997
-
[41]
R. M. Kashaev, Quantization of Teichm¨ uller spaces and the quantum diloga rithm, Lett. Math. Phys. 43 (2) (1998) 105–115
work page 1998
-
[42]
B. Klaff and S. Tillmann, A birationality result for char acter varieties. Math. Res. Lett. (4) 23 (2016), 1099–1110
work page 2016
-
[43]
F. Luo, S. Tillmann, Angles structures and normal surfaces , Trans. Amer. Math. Soc. 360 (6) (2008) 2849–2866
work page 2008
-
[44]
B. Martelli, An Introduction to Geometric Topology , Independently published, 488 pages, 3rd Edition (2023) http://people.dm.unipi.it/martelli/geometrict opology.html 66 ST ´EPHANE BASEILHAC 1, F ATHI BEN ARIBI2
work page 2023
-
[45]
H. Murakami, J. Murakami, The colored Jones polynomials and the simplicial volume of a knot, Acta Math. 186 (2001) 85–104
work page 2001
-
[46]
H. Murakami, T. Ohtsuki, M. Okada, Invariants of three-manifolds derived from linking matric es of framed links, Osaka J. Math. 29 (1992), no. 3, 545–572
work page 1992
-
[47]
W. D. Neumann, Combinatorics of triangulations and the Chern-Simons inva riant for hyperbolic 3- manifolds, Topology’90 (Columbus, OH, 1990), De Gruyter, Berlin (199 2) 243–271
work page 1990
-
[48]
Neumann, Extended Bloch group and the Cheeger-Chern-Simons class , Geom
W.D. Neumann, Extended Bloch group and the Cheeger-Chern-Simons class , Geom. Topol. 8 (2004) 413– 474
work page 2004
-
[49]
W.D. Neumann, D. Zagier, Volumes of hyperbolic 3-manifolds , Topology 24, 307–332 (1985)
work page 1985
-
[50]
Ohtsuki, On the asymptotic expansion of the Kashaev invariant of the 52 knot, Quantum Topol
T. Ohtsuki, On the asymptotic expansion of the Kashaev invariant of the 52 knot, Quantum Topol. 7 (2016), 669–735
work page 2016
-
[51]
O’Sullivan, Revisiting the Saddle-point method of Perron , Pac
C. O’Sullivan, Revisiting the Saddle-point method of Perron , Pac. J. Math. Vol. 298, No. 1 (2019) 157–199, dx.doi.org/10.2140/pjm.2019.298.157
-
[52]
C. Petronio, J. Porti, Negatively Oriented Ideal Triangulations and a Proof of Thu rston ’s Hyperbolic Dehn Filling, Exposition. Math. 18 (1) (1999) 1–35
work page 1999
-
[53]
C. Petronio, J.R. Weeks, Partially flat ideal triangulations of cusped hyperbolic 3- manifolds, Osaka J. Math. 37 (2000) 453-466
work page 2000
-
[54]
P.B. Shalen, Representations of 3–manifold groups , Handbook of geometric topology, North–Holland, Amsterdam (2002) 955–1044
work page 2002
- [55]
- [56]
-
[57]
Tillmann, Boundary slopes and the logarithmic limit set , Topology 44 (2005) 203–216
S. Tillmann, Boundary slopes and the logarithmic limit set , Topology 44 (2005) 203–216
work page 2005
-
[58]
Tillmann, Degenerations of ideal hyperbolic triangulations , Math
S. Tillmann, Degenerations of ideal hyperbolic triangulations , Math. Zeit. 272 (3-4) (2012)793–823
work page 2012
-
[59]
Toulisse, Irreducible decomposition for local representations of qu antum Teichm¨ uller space, Pac
J. Toulisse, Irreducible decomposition for local representations of qu antum Teichm¨ uller space, Pac. J. Math. 294 (2018) 233-256, Arxiv:1404.4938v2 (2016)
-
[60]
O. Viro, Dequantization of real algebraic geometry on logarithmic p aper, Proceedings of the European Congress of Mathematics (2000), ArXiv:math/0005163v3
-
[61]
Wong, Asymptotic Approximations of Integrals , Academic Press (1989)
R. Wong, Asymptotic Approximations of Integrals , Academic Press (1989)
work page 1989
-
[62]
T. Yoshida, On ideal points of deformation curves of hyperbolic 3-manifolds with one cusp , Topology 30 (2) (1991) 155–170
work page 1991
-
[63]
(Springer Berlin Heidelberg, 2009)
D. Zagier, The Dilogarithm Function, in Pierre Moussa, Bernard Julia and Pierre Vanhove (´ eds.), Frontiers in Number Theory, Physics, and Geometry, Pierre Cartier, Vo l. II (2007) 3–65, DOI 10.1007/978-3-540- 30308-4 1
-
[64]
Zagier, Quantum modular forms In Quanta of maths, volume 11 of Clay Math
D. Zagier, Quantum modular forms In Quanta of maths, volume 11 of Clay Math. Proc., pages 659–6 75. Amer. Math. Soc., Providence, RI, 2010
work page 2010
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.