Resurgence of Chern-Simons theory at the trivial flat connection
Pith reviewed 2026-05-24 12:04 UTC · model grok-4.3
The pith
The resurgent structure of Chern-Simons perturbation theory at the trivial flat connection for hyperbolic knot complements is given by an extended matrix of series indexed by boundary parabolic flat connections.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The resurgent structure of the Chern-Simons perturbation theory at the trivial flat connection is described completely in terms of an extended square matrix of (x,q)-series whose rows are indexed by the boundary parabolic SL2(C)-flat connections, including the trivial one. This matrix determines the location of the singularities and their Stokes constants, defines the Borel transform, and identifies it with state-integrals. The matrix further provides analytic extensions of the Kashaev invariant and of the colored Jones polynomial, completes the matrix-valued holomorphic quantum modular forms, gives an exact version of the refined quantum modularity conjecture, and extends the 3D-index in a
What carries the argument
The extended square matrix of (x,q)-series whose rows are indexed by the boundary parabolic SL2(C)-flat connections; the matrix encodes the full set of singularities and Stokes constants and supplies the analytic continuations.
Load-bearing premise
The resurgent structure at the trivial flat connection is fully captured by a finite square matrix whose entries are (x,q)-series indexed exactly by the boundary parabolic flat connections.
What would settle it
Direct computation of the Borel plane singularities and Stokes constants for the Chern-Simons series of the figure-eight knot that fails to match the locations and values predicted by the zeros and residues of the corresponding matrix entries.
Figures
read the original abstract
Some years ago, it was conjectured by the first author that the Chern-Simons perturbation theory of a 3-manifold at the trivial flat connection is a resurgent power series. We describe completely the resurgent structure of the above series (including the location of the singularities and their Stokes constants) in the case of a hyperbolic knot complement in terms of an extended square matrix of $(x,q)$-series whose rows are indexed by the boundary parabolic $\text{SL}_2(\mathbb{C})$-flat connections, including the trivial one. We use our extended matrix to describe the Stokes constants of the above series, to define explicitly their Borel transform and to identify it with state-integrals. Along the way, we use our matrix to give an analytic extension of the Kashaev invariant and of the colored Jones polynomial and to complete the matrix valued holomorphic quantum modular forms as well as to give an exact version of the refined quantum modularity conjecture of Zagier and the first author. Finally, our matrix provides an extension of the 3D-index in a sector of the trivial flat connection. We illustrate our definitions, theorems, numerical calculations and conjectures with the two simplest hyperbolic knots.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that the resurgent structure (singularities and Stokes constants) of the Chern-Simons perturbative series at the trivial flat connection for a hyperbolic knot complement is completely described by an extended square matrix of (x,q)-series whose rows/columns are indexed by the boundary parabolic SL(2,C)-flat connections (including the trivial one). The matrix is used to define Stokes constants, construct the Borel transform and identify it with state-integrals, analytically continue the Kashaev invariant and colored Jones polynomial, complete matrix-valued holomorphic quantum modular forms, give an exact version of the refined quantum modularity conjecture, and extend the 3D-index in the trivial-connection sector. All claims are illustrated with theorems, numerical calculations, and conjectures for the two simplest hyperbolic knots.
Significance. If the matrix construction is shown to capture the full resurgent data without omissions or extraneous contributions, the work would constitute a substantial advance in quantum topology by supplying an explicit, finite-dimensional object that organizes the non-perturbative completion of the trivial-connection series and links it to state-integrals and quantum modularity. The explicit analytic-continuation statements and the exact (rather than asymptotic) formulation of the refined quantum modularity conjecture are particularly noteworthy strengths.
major comments (2)
- [Abstract] Abstract (paragraph beginning 'We describe completely'): the central claim that the extended square matrix indexed precisely by boundary parabolic SL(2,C)-flat connections furnishes the complete set of singularities and Stokes constants is load-bearing, yet the manuscript presents a mixture of theorems, numerical verifications, and conjectures without a single theorem that quantifies the scope (i.e., for which knots the indexing is exhaustive and finite). The two explicit examples do not substitute for a general argument that no additional Borel singularities arise from the hyperbolic geometry.
- [Section introducing the matrix] The construction of the matrix (introduced as a new object and then used to define Stokes constants and the Borel transform): it is not shown that the matrix entries are determined independently of the resurgence data they are asserted to encode; a concrete verification that the Stokes constants extracted from the matrix coincide with independently computed values (e.g., via the state-integral or via direct Borel summation) is required in at least one non-trivial example beyond the numerical checks already performed.
minor comments (2)
- Notation for the (x,q)-series entries of the matrix should be made uniform across the text and figures; currently the same symbol is used both for the full matrix and for its individual blocks.
- The statement of the refined quantum modularity conjecture (exact version) should include a precise reference to the original Zagier–first-author formulation so that the precise strengthening is immediately visible.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. Below we respond point-by-point to the major comments, indicating where revisions will be made.
read point-by-point responses
-
Referee: [Abstract] Abstract (paragraph beginning 'We describe completely'): the central claim that the extended square matrix indexed precisely by boundary parabolic SL(2,C)-flat connections furnishes the complete set of singularities and Stokes constants is load-bearing, yet the manuscript presents a mixture of theorems, numerical verifications, and conjectures without a single theorem that quantifies the scope (i.e., for which knots the indexing is exhaustive and finite). The two explicit examples do not substitute for a general argument that no additional Borel singularities arise from the hyperbolic geometry.
Authors: The manuscript states in the abstract and introduction that the results consist of theorems, numerical calculations, and conjectures illustrated on the two simplest hyperbolic knots. We do not claim or provide a general theorem asserting that the indexing by boundary parabolic flat connections is exhaustive for arbitrary hyperbolic knots or that no further singularities arise from the hyperbolic geometry; such a statement would require additional analytic control over the Borel plane that lies outside the present work. The construction is instead derived from the state-integral and quantum-modular properties, with the two examples serving as supporting evidence for the conjecture of completeness. We will revise the abstract and the opening paragraphs of the introduction to make the conjectural status of the general completeness explicit. revision: yes
-
Referee: [Section introducing the matrix] The construction of the matrix (introduced as a new object and then used to define Stokes constants and the Borel transform): it is not shown that the matrix entries are determined independently of the resurgence data they are asserted to encode; a concrete verification that the Stokes constants extracted from the matrix coincide with independently computed values (e.g., via the state-integral or via direct Borel summation) is required in at least one non-trivial example beyond the numerical checks already performed.
Authors: The matrix is constructed from the state-integral formulae and the asymptotic expansions of the colored Jones polynomials, both of which are defined independently of the resurgence analysis performed later in the paper. In the explicit sections treating the figure-eight knot and the 5_2 knot, the Stokes constants obtained from the matrix are compared numerically with those extracted by direct Borel summation of the perturbative series; the two sets agree to high precision. To strengthen the presentation, we will insert a dedicated subsection that tabulates the Stokes constants computed by both routes side-by-side for the 5_2 knot, thereby providing an explicit, non-trivial verification beyond the existing numerical checks. revision: yes
- A general theorem proving that the matrix indexed by boundary parabolic SL(2,C)-flat connections captures all Borel singularities without omissions or extraneous contributions for every hyperbolic knot complement.
Circularity Check
No significant circularity; matrix is independently constructed from flat connections
full rationale
The paper introduces an extended square matrix of (x,q)-series whose rows/columns are indexed by the boundary parabolic SL(2,C)-flat connections (including the trivial one) as a new object. This matrix is then used to describe the resurgent structure, Stokes constants, Borel transform, and related invariants. The abstract and description present the matrix construction as the means to achieve the complete description, with no quoted reduction showing that singularities or Stokes data are defined in terms of themselves or fitted to the target quantities. No load-bearing self-citations, ansatzes smuggled via prior work, or renaming of known results appear in the given text. The central claim rests on the explicit construction and its properties rather than tautological redefinition, making the derivation self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Chern-Simons perturbation theory at the trivial flat connection is a resurgent power series (the starting conjecture referenced in the first sentence).
invented entities (1)
-
extended square matrix of (x,q)-series indexed by boundary parabolic SL2(C)-flat connections
no independent evidence
Forward citations
Cited by 1 Pith paper
-
Non-Perturbative Real Topological Strings
Extends operator formalism of closed topological strings to derive all-order trans-series solutions for real topological strings, with disk invariants as Stokes constants and numerical checks on local P2.
Reference graph
Works this paper leans on
-
[1]
Knot Theory Ramifications 15 (2006), no
J rgen Ellegaard Andersen and S ren Kold Hansen, Asymptotics of the quantum invariants for surgeries on the figure 8 knot, J. Knot Theory Ramifications 15 (2006), no. 4, 479--548
work page 2006
-
[2]
J rgen Ellegaard Andersen and Rinat Kashaev, A TQFT from Q uantum T eichm\"uller theory , Comm. Math. Phys. 330 (2014), no. 3, 887--934
work page 2014
-
[3]
Christopher Beem, Tudor Dimofte, and Sara Pasquetti, Holomorphic Blocks in Three Dimensions , JHEP 12 (2014), 177, 1211.1986
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[4]
Dror Bar-Natan, On the V assiliev knot invariants , Topology 34 (1995), no. 2, 423--472
work page 1995
-
[5]
Ovidiu Costin and Stavros Garoufalidis, Resurgence of the K ontsevich- Z agier series , Ann. Inst. Fourier (Grenoble) 61 (2011), no. 3, 1225--1258
work page 2011
-
[6]
Tudor Dimofte and Stavros Garoufalidis, The quantum content of the gluing equations, Geom. Topol. 17 (2013), no. 3, 1253--1315
work page 2013
-
[7]
Tudor Dimofte, Davide Gaiotto, and Sergei Gukov, 3-manifolds and 3d indices, Adv. Theor. Math. Phys. 17 (2013), no. 5, 975--1076
work page 2013
-
[8]
, Gauge theories labelled by three-manifolds, Comm. Math. Phys. 325 (2014), no. 2, 367--419
work page 2014
-
[9]
Tudor Dimofte, Sergei Gukov, Jonatan Lenells, and Don Zagier, Exact results for perturbative C hern- S imons theory with complex gauge group , Commun. Number Theory Phys. 3 (2009), no. 2, 363--443
work page 2009
-
[10]
Atish Dabholkar, Sameer Murthy, and Don Zagier, Quantum black holes, wall crossing, and mock modular forms, arXiv:1208.4074 , Preprint 2012, arXiv:1208.4074
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[11]
Ludwig Faddeev, Discrete H eisenberg- W eyl group and modular group , Lett. Math. Phys. 34 (1995), no. 3, 249--254
work page 1995
-
[12]
Stavros Garoufalidis, Chern- S imons theory, analytic continuation and arithmetic , Acta Math. Vietnam. 33 (2008), no. 3, 335--362
work page 2008
-
[13]
Knot Theory Ramifications 17 (2008), no
Stavros Garoufalidis, Difference and differential equations for the colored J ones function , J. Knot Theory Ramifications 17 (2008), no. 4, 495--510
work page 2008
- [14]
-
[15]
, The resurgent structure of quantum knot invariants, Communications in Mathematical Physics 386 (2021), no. 1, 469--493
work page 2021
-
[16]
Dongmin Gang and Yasuyuki Hatsuda, S-duality resurgence in SL(2) C hern- S imons theory , J. High Energy Phys. (2018), no. 7, 053, front matter+23
work page 2018
- [17]
-
[18]
Stavros Garoufalidis and Andrew Kricker, A rational noncommutative invariant of boundary links, Geom. Topol. 8 (2004), 115--204
work page 2004
-
[19]
Stavros Garoufalidis and Rinat Kashaev, Evaluation of state integrals at rational points, Commun. Number Theory Phys. 9 (2015), no. 3, 549--582
work page 2015
-
[20]
, From state integrals to q -series , Math. Res. Lett. 24 (2017), no. 3, 781--801
work page 2017
-
[21]
Stavros Garoufalidis and Thang T. Q. L \^e , The colored J ones function is q -holonomic , Geom. Topol. 9 (2005), 1253--1293 (electronic)
work page 2005
-
[22]
Stavros Garoufalidis and Thang T. Q. L\^ e , Asymptotics of the colored J ones function of a knot , Geom. Topol. 15 (2011), no. 4, 2135--2180
work page 2011
-
[23]
Sergei Gukov and Ciprian Manolescu, A two-variable series for knot complements, Quantum Topol. 12 (2021), no. 1, 1--109
work page 2021
- [24]
-
[25]
Sergei Gukov, Marcos Mari\ no, and Pavel Putrov, Resurgence in complex C hern- S imons theory , arXiv:1605.07615 , Preprint 2016
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[26]
Knot Theory Ramifications 29 (2020), no
Sergei Gukov, Du Pei, Pavel Putrov, and Cumrun Vafa, B PS spectra and 3-manifold invariants , J. Knot Theory Ramifications 29 (2020), no. 2, 2040003, 85
work page 2020
-
[27]
Stavros Garoufalidis and Xinyu Sun, The C -polynomial of a knot , Algebr. Geom. Topol. 6 (2006), 1623--1653
work page 2006
-
[28]
Sergei Gukov, Three-dimensional quantum gravity, C hern- S imons theory, and the A -polynomial , Comm. Math. Phys. 255 (2005), no. 3, 577--627
work page 2005
-
[29]
Stavros Garoufalidis and Don Zagier, Knots and their related q -series, Preprint 2021
work page 2021
-
[30]
, Knots, perturbative series and quantum modularity, Preprint 2021
work page 2021
-
[31]
Kazuo Habiro, On the quantum sl_2 invariants of knots and integral homology spheres , Invariants of knots and 3-manifolds ( K yoto, 2001), Geom. Topol. Monogr., vol. 4, Geom. Topol. Publ., Coventry, 2002, pp. 55--68 (electronic)
work page 2001
-
[32]
, On the quantum sl_2 invariants of knots and integral homology spheres , Invariants of knots and 3-manifolds ( K yoto, 2001), Geom. Topol. Monogr., vol. 4, Geom. Topol. Publ., Coventry, 2002, pp. 55--68 (electronic)
work page 2001
-
[33]
, A unified W itten- R eshetikhin- T uraev invariant for integral homology spheres , Invent. Math. 171 (2008), no. 1, 1--81
work page 2008
-
[34]
Yasuyuki Hatsuda and Kazumi Okuyama, Resummations and non-perturbative corrections, J. High Energy Phys. (2015), no. 9, 051, front matter+28
work page 2015
-
[35]
Vaughan Jones, Hecke algebra representations of braid groups and link polynomials, Ann. of Math. (2) 126 (1987), no. 2, 335--388
work page 1987
-
[36]
, On the origin and development of subfactors and quantum topology, Bull. Amer. Math. Soc. (N.S.) 46 (2009), no. 2, 309--326
work page 2009
-
[37]
Rinat Kashaev, A link invariant from quantum dilogarithm, Modern Phys. Lett. A 10 (1995), no. 19, 1409--1418
work page 1995
-
[38]
, The hyperbolic volume of knots from the quantum dilogarithm, Lett. Math. Phys. 39 (1997), no. 3, 269--275
work page 1997
-
[39]
Henri Poincar\'e 17 (2016), no
Rinat Kashaev, Feng Luo, and Grigory Vartanov, A TQFT of T uraev- V iro type on shaped triangulations , Ann. Henri Poincar\'e 17 (2016), no. 5, 1109--1143
work page 2016
-
[40]
Rinat Kashaev and Marcos Marino, Operators from mirror curves and the quantum dilogarithm , Commun. Math. Phys. 346 (2016), no. 3, 967--994, 1501.01014
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[41]
Report 10-01, RISC Report Series, Johannes Kepler University Linz, 2010
Christoph Koutschan, HolonomicFunctions (user's guide) , Tech. Report 10-01, RISC Report Series, Johannes Kepler University Linz, 2010
work page 2010
-
[42]
Andrew Kricker, The lines of the K ontsevich integral and R ozansky's rationality conjecture , arXiv:math/0005284 , Preprint 2000
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[43]
Rinat Kashaev and Yoshiyuki Yokota, On the V olume C onjecture for the knot 5_2 , Preprint 2012
work page 2012
-
[44]
Gregor Masbaum, Skein-theoretical derivation of some formulas of H abiro , Algebraic & Geometric Topology 3 (2003), no. 1, 537 -- 556
work page 2003
- [45]
-
[46]
An Introduction to the Volume Conjecture
Hitoshi Murakami, An introduction to the volume conjecture, Interactions between hyperbolic geometry, quantum topology and number theory, Contemp. Math., vol. 541, Amer. Math. Soc., Providence, RI, January 2011, 1002.0126 , pp. 1--40
work page internal anchor Pith review Pith/arXiv arXiv 2011
- [47]
- [48]
-
[49]
Wilf, and Doron Zeilberger, A=B , A K Peters Ltd., Wellesley, MA, 1996, With a foreword by Donald E
Marko Petkovsek, Herbert S. Wilf, and Doron Zeilberger, A=B , A K Peters Ltd., Wellesley, MA, 1996, With a foreword by Donald E. Knuth, With a separately available computer disk
work page 1996
-
[50]
Lev Rozansky, The universal R -matrix, B urau representation, and the M elvin- M orton expansion of the colored J ones polynomial , Adv. Math. 134 (1998), no. 1, 1--31
work page 1998
-
[51]
David Sauzin, Nonlinear analysis with resurgent functions, Ann. Sci. \' E c. Norm. Sup\' e r. (4) 48 (2015), no. 3, 667--702
work page 2015
-
[52]
82, American Mathematical Society, Providence, RI, 1990, Translated from the Japanese by the author
Yasutaka Sibuya, Linear differential equations in the complex domain: problems of analytic continuation, Translations of Mathematical Monographs, vol. 82, American Mathematical Society, Providence, RI, 1990, Translated from the Japanese by the author
work page 1990
-
[53]
Matthias Storzer and Campbell Wheeler, J acobi forms and N ahm sums , In preparation
-
[54]
Edward Witten, Quantum field theory and the J ones polynomial , Comm. Math. Phys. 121 (1989), no. 3, 351--399
work page 1989
-
[55]
, Analytic Continuation Of Chern-Simons Theory , AMS/IP Stud. Adv. Math. 50 (2011), 347--446, 1001.2933
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[56]
Herbert S. Wilf and Doron Zeilberger, An algorithmic proof theory for hypergeometric (ordinary and `` q '') multisum/integral identities , Invent. Math. 108 (1992), no. 3, 575--633
work page 1992
-
[57]
Don Zagier, From 3-manifold invariants to number theory, Lecture course 2021
work page 2021
-
[58]
, Holomorphic quantum modular forms, In preparation
-
[59]
Sander Zwegers, Mock -functions and real analytic modular forms , q -series with applications to combinatorics, number theory, and physics ( U rbana, IL , 2000), Contemp. Math., vol. 291, Amer. Math. Soc., Providence, RI, 2001, pp. 269--277
work page 2000
-
[60]
" write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline INTEGERS nameptr namesleft numnames FUNCTION format.language language empty "" " (" language * ")" * if FUNCTION format.names 's := #1 'nameptr := s num.names 'numnames := numnames 'namesleft := namesleft #0 > s nameptr " ff vv ll , jj " format.name 't := nameptr #1...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.