chern - simons quantum field theory in 3-dimensions ( perturbative , or non - perturbative ) produces a plethora of numerical invariants of knotted 3-dimensional objects .
we introduce a packaging of these invariants into two power series : one that encodes non - perturbative invariants ( model np ) , and one that encodes perturbative invariants ( model p ) . the paper is concerned with the analytic continuation , the asymptotic behavior and and arithmetic properties of those power series .
let us begin with a conjecture concerning the structure of nonperturbative quantum invariants . consider the generating series    @xmath0    of the _ witten - reshetikhin - turaev _
invariants @xmath1 ( see section [ sec.cs ] ) of a closed , oriented , connected 3-manifold @xmath2 , using a compact lie group @xmath3 and a level @xmath4 . the power series is known to be convergent inside the unit disk @xmath5 since unitarity implies that @xmath1 grows at most polynomially with respect to @xmath6 ; see @xcite .
( analytic continuation ) for every pair @xmath7 as above , the series @xmath8 has analytic continuation as a multivalued function on @xmath9 , where @xmath10 is a finite set that contains zero and the exponentials of the negative of the critical values of the complexified chern - simons action .
a key observation is that @xmath11 may contain elements inside the unit disk @xmath12 despite the fact that the power series @xmath8 is analytic for @xmath13 such that @xmath12 .
one may compare this behavior with the power series @xmath14 that define the classical dilogarithm , whose analytic continuation is a multivalued analytic function in @xmath15 .
schematically , the analytic continuation of @xmath8 may be depicted as follows :    @xmath16    the above conjecture has the following features :    * it can be formulated for pairs @xmath17 where @xmath18 denotes a knotted object , i.e. , a knot @xmath19 in 3-space or a closed 3-manifold @xmath2 and @xmath3 denotes a compact lie group . *
it implies via elementary complex analysis two well - known asymptotic conjectures in quantum topology ; namely the volume conjecture ( in the case of knots ) , and the witten conjecture ( in the case of 3-manifolds ) .
the complex analysis argument uses the cauchy formula to write @xmath1 as a contour integral of @xmath20 and then deform the contour around the singularities of the integrand nearest to the origin . for a detailed discussion , see ( * ? ? ?
* sec.7 ) .
* it states a precise relation between exact chern - simons theory and its perturbation expansion around a trivial ( or not ) flat connection .
namely , perturbation theory is simply the expansion of the multivalued function @xmath8 around one of its singularities . *
it explains the effect of complexifying a compact gauge group and to the partition function of the corresponding gauge theory .
indeed , analytic continuation captures the critical values of the complexified action ; compare also with @xcite . *
the conjecture can be extended to state - sum invariants of sum - product type that generalize @xmath1 and do not necessarily come from topology .
* the conjecture has been proven for power series of 1-dimensional sum - product type , which includes the case of the @xmath21 and @xmath22 knots ; see @xcite and @xcite . *
the conjecture can , and has been , numerically tested .
see section [ sec.evidence ] .
our next conjecture is a symmetry conjecture .
recall that @xmath2 denotes an oriented 3-manifold ; we let @xmath23 denote the _ orientation reversed _ manifold .
( symmetry ) for every pair @xmath7 with @xmath2 an integer homology sphere , we have : @xmath24 has singularities at @xmath25 .
let us make some comments regarding the above _ paradoxical statement _ :    * the left ( resp .
right ) hand side is given by a convergent power series for @xmath5 ( resp .
@xmath26 ) . thus
, the power series never make sense simultaneously , but their analytic continuations do .
* zagier calls a similar statement in ( * ? ? ?
* eqn.7 ) a _ strange identity _ since the the two sides never make sense simultaneously . our symmetry conjecture is closely related to a _ modular property _ , at least for the series studied by kontsevich - zagier ; see ( * ? ? ?
* sec.6 ) . * in physics , equation
is usually called a _
duality_. * in algebraic geometry and number theory , one may compare with the following symmetry for the polylogarithm : @xmath27 where @xmath28 is the @xmath29-th polylogarithm and @xmath30 is the @xmath29-th bernoulli polynomial ; see ( * ? ? ?
* sec.1.3 ) . * in analysis one may use the above symmetry to deduce the asymptotic behavior ( and even more , the asymptotic expansion ) of @xmath8 for large @xmath31 .
in particular , if @xmath32 , it follows that @xmath33 for large @xmath31 . *
the above symmetry may be explained by the fact that cs changes sign under orientation reversal .
since the level is nonnegative , the path integral formula for @xmath8 formally implies the above symmetry . *
if we use the normalized invariants @xmath34 and if @xmath2 is an integer homology sphere , then it is possible that @xmath35 * when @xmath32 , it follows that the asymptotic expansion of @xmath36 around its singularities _
uniquely determines _ @xmath36 .
indeed , the difference between two determinations is an entire function which is bounded by a constant by the symmetry conjecture .
thus , the difference is identically zero . * if @xmath37 is _ amphicheiral _ ( for example , @xmath2 is given by a connected sum @xmath38 where @xmath39 is the orientation reversing involution ) , then equation predicts that @xmath40 .
so far , we considered nonperturbative quantum invariants .
let us now consider perturbative quantum invariants of pairs @xmath17 .
they can be packaged into a power series @xmath41 which is convergent at @xmath42 . for a detailed definition ,
see section [ sec.cs ] .
our next conjecture describes an explicit relation between the perturbative and nonperturbative quantum invariants .
( exact implies perturbative ) for every integer homology sphere @xmath2 we have : @xmath43 where @xmath44 is a holomorphic function of @xmath13 at @xmath42 and @xmath45 denotes the analytic continuation at @xmath46 along _ any _ path that avoids the singularities .
as before , we can extend conjecture [ conj.2 ] to pairs @xmath47 , where @xmath19 is a knot in 3-space .    in calle
s terminology ( see @xcite and also ( * ? ? ?
* sec.2.3 ) ) , if @xmath48 denotes the _ alien derivative _ in the direction @xmath13 , conjecture [ conj.2 ] states that : @xmath49 equation is reminiscent of the condition @xmath50 that defines the _ bloch group _ ; see for example @xcite .
the series @xmath51 also satisfies a symmetry property : @xmath52 unlike the case of conjecture [ conj.symmetry ] , this is an easy corollary of its very definition .
chern - simons theory with complex gauge group was studied extensively by gukov in @xcite .
it is an interesting problem to compare forthcoming work of gukov - zagier on modularity properties of the quantum invariants with our conjectures .
based on some partial results of @xcite and @xcite and stimulating conversations with o. costin , j. calle and d. zagier , more is actually expected to be true .
namely , we expect arithmetic restrictions on the singularities of the series @xmath8 and of its monodromy , local and global .
these restrictions lead us naturally to the notion of arithmetic resurgence , and the gevrey series of mixed type . in the rest of the paper
, we will formulate these expected algebraic / arithmetic aspects of quantum invariants in a precise way and to expose the reader to the wonderful world of resurgence , introduced by calle in the eighties for unrelated reasons ; @xcite .
the logical dependence of the sections is the following :    @xmath53{\text{section \ref{sec.cs } } } \arrow{sw}\arrow{se } \node[2]{\text{section \ref{sec.ar } } } \arrow{sw}\arrow{se }   \\
\node{\text{section \ref{sec.habiro } } } \arrow{see } \node[2]{\text{section \ref{sec.conj } } } \arrow{s } \node[2]{\text{section \ref{sec.sp } } } \arrow{sww } \\ \node[3]{\text{section \ref{sec.evidence } } } \end{diagram}\ ] ]
in this section @xmath2 will denote a closed 3-manifold and @xmath3 will denote a simple , compact , simply connected group @xmath3 .
for example , @xmath54 .
the witten - reshetikhin - turaev invariant is a map :    @xmath55    for a definition of @xmath1 see @xcite .
formally , for @xmath4 , @xmath1 is the expectation value of a _ path integral _ with a topological _ chern - simons lagrangian _ at level @xmath6 ; see @xcite .
since the chern - simons lagrangian takes values in @xmath56 , it follows that the level @xmath6 has to be an integer number , which without loss we take it to be nonnegative .
we can convert the sequence @xmath57 into a generating series as follows :    for every @xmath2 and @xmath3 as above , we define : @xmath58    unitarity of the chern - simons theory implies that for every @xmath59 the sequence @xmath57 grows polynomially with respect to @xmath6 . in other words , it was shown in @xcite that there exists positive constant @xmath60 and @xmath61 ( that depend on @xmath2 and @xmath3 ) so that @xmath62 for all @xmath4 .
thus , @xmath8 is analytic inside the unit disk @xmath63 .
the path integral interpretation of @xmath1 formally leads to a perturbation theory along a distinguished critical point of the chern - simons action , namely the trivial flat connection .
this gives rise to a graph - valued power series invariant , which has been defined by le - murakami - ohtsuki in @xcite .
additional definitions of this powerful invariant were given by kuperberg - thurston ; see @xcite .
more precisely , lmo define a graph - valued invariant @xmath64 where @xmath65 is a completed vector space of jacobi diagrams .
a _ jacobi _
diagram of degree @xmath6 is a trivalent graph with @xmath66 oriented vertices , considered modulo the as and ihx relations ; see @xcite .
jacobi diagrams are diagrammatic analogues of tensors on a lie algebra with an invariant inner product .
indeed , given a simple lie algebra @xmath67 , there is a _ weight system map _ that replaces a jacobi diagram of degree @xmath6 by a rational number times @xmath68 : @xmath69\ ] ] see @xcite .
recall the _
borel transform _ : @xmath70 \longto \bq[[z ] ] , \qquad \calb\left(\sum_{n=0}^\infty \frac{a_n}{x^n } \right ) = \sum_{n=0}^\infty \frac{a_{n+1}}{n ! } z^n\ ] ]    let @xmath71 denote the borel transform of @xmath72 .    in @xcite it was proven that if @xmath2 is a homology sphere and @xmath67 is a simple lie algebra , then the formal power series @xmath72 is gevrey-1 . in other words , @xmath71 is an analytic function in a neighborhood of @xmath42 .      our main resurgence conjecture [ conj.1 ] formulated in section [ sec.conj ] below links the singularities of the analytic continuation of the series @xmath73 and @xmath51 to some classical geometric invariants of 3-manifolds , namely the critical values of the complexified chern - simons function .
let us recall those briefly , and refer the reader to @xcite for a more detailed discussion .
let us fix a closed 3-manifold @xmath2 , and simple , compact simply connected group @xmath3 , and a trivial bundle @xmath74 with the trivial connection @xmath75 .
let @xmath76 denote the set of @xmath3-connections on @xmath74 .
there is a chern - simons map :    @xmath77    where , as common in algebraic geometry , we denote    @xmath78    even though @xmath76 is an affine infinite dimensional vector space acted on by an infinite dimensional gauge group , the set @xmath79 of gauge equivalence classes of the critical points of @xmath80 is a compact semialgebraic set that consists of flat @xmath3-connections . up to gauge equivalence , the latter are determined by their monodromy .
in other words , we may identify :    @xmath81    this gives rise to a map :    @xmath82    stokes s theorem implies that @xmath80 is a locally constant map . since @xmath79 is a compact set , @xmath80 takes finitely many values in @xmath83 .
let us now _ complexify _ the action ; see also @xcite .
this means that we replace the compact lie group @xmath3 by its complexification @xmath84 , the moduli space @xmath79 by @xmath85 , and the chern - simons action @xmath80 by @xmath86 :    @xmath87    @xmath86 is again a locally constant map , and takes finitely many values in @xmath88 .
thus , we may define the following geometric invariants of 3-manifolds .    for @xmath2 and @xmath3 as above
, we define @xmath89    under complex conjugation ( but keeping the orientation of the ambient manifold fixed ) , we have @xmath90 .
it follows that @xmath91 ( resp.@xmath92 ) is invariant under @xmath93 ( resp .
@xmath94 ) . the involution @xmath94 preserves the set of rays through zero .    on the other hand , under orientation reversal
, we have @xmath95 and @xmath96 , where @xmath97 for @xmath98 and @xmath99 .
we thank c. zickert for help in identifying those involutions .
thus , a typical picture for @xmath91 and @xmath100 is the following : @xmath101 where the horizontal spacing between two dots in any horizontal line is @xmath102 .
complexification is a key idea , theoretically , as well as computationally .
for example , @xmath85 is an algebraic variety whereas its real part @xmath103 is only a compact set with little structure . the only systematic way ( known to us ) to give exact formulas for the critical values of @xmath80
is to actually compute the critical values of @xmath86 and then decide which of these are critical values of @xmath80 . for @xmath54 ,
there are exact and numerical computer implementations for the critical values of @xmath86 : see snap @xcite and @xcite .
complexification also reveals the arithmetic structure of @xmath104 : its elements are _ periods _ of weight @xmath105 ( in the sense of kontsevich - zagier @xcite ) , of a rather special kind .
namely , the critical values of @xmath86 are @xmath106-linear combinations of the _ rogers dilogarithm _ function evaluated at algebraic numbers
. the latter is defined by :    @xmath107    for @xmath108 and analytically continued as a multivalued analytic function in @xmath15 . here
, @xmath109 is the classical dilogarithm function . for @xmath54 ,
our identification of the complexified chern - simons action with @xcite is as follows :    @xmath110    for higher rank groups , exact formulas for the critical values of @xmath86 may also be given in terms of the rogers dilogarithm function at algebraic numbers .
this will be explained in detail in a separate publication . as an illustration of the above discussion
let us give an example .
if @xmath2 is obtained by @xmath111 surgery on the @xmath22 knot , then @xmath112 consists of @xmath113 points plotted as follows : @xmath114 in this picture , a higher resolution reveals that the points nearest to the vertical axis consist of _ two _ distinct but close pairs .
we thank c. zickert for providing us with an exact and numerical computation of the critical values of the complexified chern - simons map .
let us end this section with a problem :    give an direct relation between the cubic polynomial action and the rogers dilogarithm .
a transcendental relation between the chern - simons action and the rogers dilogarithm was given in ( * ? ? ?
* sec.6.2 ) , using the third algebraic @xmath19-theory group @xmath115 .
so far , the discussion involved closed 3-manifolds .
let us now consider knots @xmath19 in the 3-sphere . for simplicity
, we will assume that @xmath54 ( so @xmath116 ) in this section .
let us fix a knot @xmath19 in 3-sphere and a nonnegative integer @xmath6 .
let us denote by @xmath117 the _ kashaev invariant _ of @xmath19 ( see @xcite ) , which is also identified by @xcite with the value of the jones polynomial colored by the @xmath6-th dimensional irreducible representation of @xmath118 evaluated at @xmath119 ( and normalized to be @xmath120 at the unknot ) .
thus , we may define :    @xmath121    we define the perturbative invariant @xmath122 as follows :    * take the sequence @xmath123 $ ] of the jones polynomials of @xmath6 , colored by the @xmath6-dimensional irreducible representation of @xmath118 , and normalized by @xmath124 .
see for example , @xcite . *
it turns out that there exists a power series @xmath125 $ ] so that @xmath126 $ ] for all @xmath4 ; see for example @xcite . *
consider the power series @xmath127 $ ] .
* define @xmath128 $ ] .    in @xcite ( resp .
@xcite ) it was shown that @xmath129 ( resp .
@xmath122 ) is analytic for @xmath13 in a neighborhood of @xmath130 . regarding the critical values of the chern - simons action , we will consider only _ parabolic _
@xmath131 representations ; i.e. , those representations so that the trace of every peripheral element is @xmath132 . as in the case of closed 3-manifolds , we may identify the moduli space of _ parabolic _ flat @xmath131-connections on the knot complement with @xmath133 :    @xmath134    in addition , we have a map , described in detail in @xcite :    @xmath135    @xmath86 is again a locally constant map , and takes finitely many values in @xmath88 , and allows us to define the sets @xmath136 and @xmath137 .
let us end this section with an example of the simplest knot @xmath21 and the simplest hyperbolic knot @xmath22 .
if @xmath138 is the right hand trefoil knot @xmath21 , then @xmath139 can be plotted as follows : @xmath140    if @xmath141 is the simplest hyperbolic knot , then @xmath142 can be plotted as follows :    @xmath143 where @xmath144 is the _ volume _ of @xmath22 ; see @xcite , and numerically ,    @xmath145
the arithmetic nature of @xmath104 is only the beginning .
it turns out that    * the _ ray - singer torsion invariants _ associated to a @xmath84-representation of @xmath146 are also algebraic numbers ( this is proven and discussed in detail in @xcite ) , * in case @xmath2 is hyperbolic and @xmath54 the geometric representation is defined over a number field ; see @xcite , * the perturbative expansions of the quantum invariants @xmath1 around an @xmath84-representation of @xmath146 are conjectured to be algebraic numbers ; see for example @xcite and @xcite .
the need to formulate these algebricity properties in a uniform way , as well as some results in some key cases , lead us to the notion of an arithmetic resurgent series , which is the focus of this section .    along the way
, we will also discuss the auxiliary notion of a gevrey series of mixed type , perhaps of interest on its own .
_ resurgence _ was coined by calle in his study of analytic continuation of formal and actual solutions of differential equations , linear or not ; see @xcite .
an earlier term used by calle was the notion of _ endless analytic continuation_. the concept of resurgence has influenced our thinking deeply .
unfortunately , it is not easy to find an accepted definition of resurgence , or a reference for it in the literature . on the other hand ,
there are several expositions of instances of resurgence , covering special cases of this rather general notion .
the curious reader may consult @xcite for a detailed discussion in addition to the original work @xcite .
given the gap in the literature , we will do our best to give a working ( and exact ) definition of resurgence , which features some properties which are arithmetically important , and analytically rare .
let us begin by recalling the monodromy of multivalued germs of interest in this paper .
we refer the reader to @xcite for further details .
the next definition is motivated by the types of singularities that appear in algebraic geometry ; see @xcite .    a _ multivalued analytic germ _
@xmath147 at @xmath42 is called _ quasi - unipotent _ if its monodromy @xmath148 around @xmath130 satisfies the condition : @xmath149 for some nonzero natural numbers @xmath150 and @xmath151 .
it is easy to see that a quasi - unipotent germ @xmath147 can be written as a finite sum of germs of the form : @xmath152 where @xmath153 , @xmath154 , and @xmath155 , where @xmath156 is the ring of power series convergent at @xmath42 ( identified with the ring of germs of functions analytic at @xmath42 ) .
see for example , @xcite .
series of the form are often known in the literature as series of the _ nilsson class _ ; see @xcite .
the rationality of the exponents @xmath157 above is an important feature that always appears in algebraic geometry and arithmetic and rarely appears in analysis . for a further discussion ; see @xcite .
we say that @xmath158 is an _ resurgent series _
( and write @xmath159 ) if    * @xmath160 is convergent at @xmath42 . *
@xmath160 has analytic continuation as a multivalued function in @xmath161 , where @xmath162 is a discrete subset of @xmath163 . *
the local monodromy is quasi - unipotent .    in what follows
, we will make little distinction between a germ , its analytic continuation , and the corresponding function .
so , we will speak about the algebra of resurgent functions .
the following definition is motivated by the properties of some power series that are associated to knotted 3-dimensional objects .
we say that series @xmath158 is a _
gevrey series of mixed type _
@xmath164 if    * @xmath165 and the coefficients @xmath166 lie in a number field @xmath19 , and * there exists a constant @xmath167 so that for every @xmath4 the absolute value of every galois conjugate of @xmath166 is less than or equal to @xmath168 , and * the common denominator of @xmath169 is less than or equal to @xmath170 .
if @xmath160 is gevrey of mixed type @xmath164 and @xmath171 , @xmath172 , then @xmath160 is also gevrey of mixed type @xmath173
.    let @xmath174 ( resp .
@xmath175 ) denote the @xmath176$]-algebra of gevrey series of mixed type ( resp .
mixed type @xmath164 ) .
the gevrey series of mixed type @xmath177 are precisely the important class of _ arithmetic gevrey series of type _
@xmath150 , introduced and studied by andr ; see @xcite .
a @xmath3-_function _ @xmath160 in the sense of siegel is a gevrey series of mixed type @xmath178 which is _ holonomic _
, i.e. , it satisfies a linear ode with coefficients in @xmath176 $ ] ; see @xcite
.      restricting the functions @xmath179 in to be gevrey series of type @xmath180 , we arrive at the notion of an arithmetic quasi - unipotent germ .
we say that a multivalued analytic germ @xmath147 at @xmath42 is _ arithmetic quasi - unipotent _ if it can be written as a finite sum of germs of the form where @xmath181 .
combining this definition with the notion of a resurgent function , we arrive at the notion of an arithmetic resurgent function .
let @xmath182 denote the countable set of _ periods _ in the sense of kontsevich - zagier ; see @xcite .
we say that @xmath158 is an _
arithmetic resurgent series _
( and write @xmath183 ) if    * @xmath160 is a resurgent series .
* the singularities @xmath184 of @xmath160 is a discrete subset of @xmath185 , where @xmath185 denotes the set of _ periods _ as defined by kontsevich - zagier ; see @xcite . *
the local monodromy is arithmetic quasi - unipotent . * the global monodromy
is defined over @xmath186 .      in a separate publication
we will give the proof of the following proposition which shows that the coefficients of the taylor series at the origin of an arithmetic resurgent function have asymptotic expansions themselves .
the transseries conclusion of the proposition below ( without any claims on the mixed gevrey type ) follows from the resurgence hypothesis on @xmath160 alone , and are studied systematically in the upcoming book of costin @xcite , as well as in @xcite .    if @xmath158 is arithmetic resurgent , then @xmath187 where the sum is over the finite set of singularities of @xmath160 nearest to the origin , and @xmath188 is a finite sum of series of the form where @xmath189 are gevrey of mixed type @xmath190 ( for some @xmath151 ) .
obvious arithmetic invariants of an arithmetic resurgent function @xmath160 are :    * the set of singularities @xmath191 . * the local quasi - unipotent monodromy , and its field of definition . * the global monodromy , defined over @xmath186 .
this section is logically independent of the rest of the paper and can be skipped at first reading , although it provides some useful examples of arithmetic resurgent functions .
a main example of arithmetic resurgent functions comes from the following theorem of andr .
@xmath3-functions are arithmetic resurgent with singularities a finite set of algebraic numbers .
@xmath3-functions arise naturally in three contexts :    * from geometry , related to the regularity of the gauss - manin connection . * from arithmetic . * from enumerative combinatorics .    for a geometric construction of resurgent functions ,
let us recall the following result from @xcite ; see also @xcite .
let @xmath192 be a projective non - singular connected curve and @xmath193 the complement of a finite set of points .
suppose that @xmath194 is a proper and smooth morphism .
for every @xmath195 , the algebraic de rham cohomology @xmath196 is an algebraic differential equation on @xmath197 , and the local system @xmath198 ( for @xmath199 ) is the local system of germs of solutions of that equation .
let @xmath148 denote the local monodromy around a point @xmath200 .
then , we have the following theorem .    @xcite the algebraic differential equation is regular singular and the local monodromy @xmath148 is quasi - unipotent .
the @xmath3-functions obtained by theorems [ thm.katz ] and [ thm.andre ] are closely related .
the main conjecture is that all @xmath3-functions come from geometry . for a discussion of this topic , and for a precise formulation of the bombieri - dwork conjecture , see the survey papers of @xcite and also @xcite .
let us discuss a third source of resurgent functions , which was discovered recently by the author in @xcite .    a _ hypergeometric term _
@xmath201 ( in short , _
_ ) in variables @xmath202 where @xmath203 is an expression of the form : @xmath204 where @xmath205 for @xmath206 , @xmath207 for @xmath208 , and @xmath209 are integral linear forms in the variables @xmath202 .
we assume that for every @xmath4 , the set @xmath210 is finite . we will call a  _ balanced _ if in addition it satisfies the _ balance condition _ : @xmath211    given a  @xmath212 , consider the corresponding sequence @xmath213 defined by @xmath214 where the summation index lies in the finite set , and the corresponding generating series : @xmath215.\ ] ] we will call sequences of the form @xmath213 _ balanced multisum sequences_.    @xcite for every  @xmath212 , the generating series @xmath216 is a @xmath3-function .
let us point out that the proof of theorem [ thm.ga ] in general offers no help of locating the singularities of the function @xmath216 . to fill this gap , the author developed an efficient ansatz for the location of the singularities of @xmath216
; see @xcite .
a _ knotted object _ @xmath18 denotes either a closed 3-manifold @xmath2 or a knot @xmath19 in 3-space .
a _ pair _ @xmath17 denotes either a closed 3-manifold @xmath2 and a compact lie group @xmath3 , or a knot @xmath217 in 3-space and @xmath54 .
if @xmath54 and @xmath2 or @xmath19 is hyperbolic , let    @xmath218    denote the critical values of the galois conjugates @xmath219 of the geometric @xmath131-representation .
we now have all the ingredients to formulate our arithmetic resurgence conjecture , which is a refinement of the analytic continuation conjecture [ conj.0 ] .
( arithmetic resurgence ) for every pair @xmath17 , @xmath220 and @xmath51 are arithmetic resurgent with possible singularities in the set @xmath221 .
if @xmath18 is hyperbolic and @xmath54 , then the singularities of the above functions include @xmath222 .
conjecture [ conj.1 ] implies the following corollaries .    for every pair @xmath17
, the power series @xmath73 has analytic continuation as a multivalued function on the complement @xmath223 of the finite set @xmath224 .
if @xmath2 is a closed hyperbolic 3-manifold , then the witten - reshetikhin - turaev invariants determine the volume of @xmath2 by : r @xmath225 this follows from the fact that @xmath226 has a singularity at @xmath227 and @xmath228 where @xmath229 is a discrete faithful representation .
witten s conjecture ( formulated in @xcite ) regarding the asymptotic expansion of the witten - reshetikhin - turaev invariants holds .    for every hyperbolic knot @xmath19 in 3-space
, the kashaev invariants determine the volume of @xmath19 by : @xmath230 moreover , there is an asymptotic expansion of the kashaev invariants in powers of @xmath231 using proposition [ prop.expar ] .
in this section we we describe an arithmetic relation , due to habiro , between the perturbative @xmath51 and the non - perturbative @xmath73 invariants of knotted objects .
this section is independent of our conjecture .
however , habiro s results    * are a good complement of our conjecture , * are important and interesting on their own right , * point to a different arithmetic origin for the invariants of knotted objects .
this point of view has been studied by gukov - zagier @xcite .    in this section , a knotted object @xmath18 denotes either a homology sphere @xmath2 or a knot @xmath19 . for simplicity , we will assume that @xmath54 .
a theorem of habiro implies that @xmath232 determines @xmath233 and vice - versa ; @xcite .
let us explain more about habiro s key results
. in @xcite habiro introduces the ring    @xmath234}=\lim_{\leftarrow n } \bz[q^{\pm}]/((q)_n)\ ] ]    where @xmath235 is the quantum @xmath6-factorial defined by :    @xmath236    with @xmath237 . in a sense
, one may think of elements of the habiro ring as complex - valued _ analytic functions _ with domain @xmath238 , the set of complex roots of unity .
this way of thinking is motivated by the following features of the habiro ring , shown in @xcite :    * it is easy to see that every element @xmath239}$ ] can be written ( nonuniquely ) in the form : @xmath240 , \quad \text{for } \quad n \in \bn.\ ] ] note however that the above form is not unique , since for example : @xmath241 nevertheless the form can be used to generate easily elements of the habiro ring .
* elements of the habiro ring can be evaluated at complex roots of unity . in other words
, there is a map : @xmath242 } \longto \bc^{\om } , \qquad f(q ) \longto \left ( f : \omega \longto \bc , \qquad \w \mapsto f(\w)\right).\ ] ] in particular , we can associate a map : @xmath243 } \longto \bc[[z ] ] , \qquad f(q ) \longto \lnp_f(z)=1+\sum_{n=1}^\infty f(e^{2 \pi
i / n } ) z^n.\ ] ] * elements of the habiro ring have taylor series expansions around @xmath244 ( and also around every complex root of unity ) .
in other words , we can define a map : @xmath245 } \longto \bq[[z ] ] , \qquad f(q ) \longto \lp_f(z)=\calb ( f(e^{1/x})).\ ] ] * as in the case of analytic functions , the maps and are 1 - 1 .
thus , @xmath246 determines @xmath247 and vice - versa .
however , we need all the coefficients of the power series @xmath246 to determine a single ( eg . the third ) coefficient of @xmath247 . * given a homology sphere @xmath2 , there exists an element @xmath248}$ ] such that its image under the maps and coincide with the non - perturbative and perturbative invariants of @xmath2 discussed in section [ sub.npinvariants ] and [ sub.pinvariants ] .
this was a main motivation for habiro , and was extended to knots in 3-space by huynh - le in @xcite
.    one may ask for an extension of conjecture [ conj.1 ] for the series @xmath246 and @xmath247 that come from the habiro ring .
unfortunately , the habiro ring is uncountable ( whereas all quantum invariants of knotted objects lie in a countable subring ) and it has little structure as such .
thus , it is unlikely that the series @xmath246 associated to a random sequence of laurent polynomials @xmath249 ( as in ) will be resurgent .
concretely , we can pose the following problem with overwhelming numerical evidence :    show that @xmath246 is not resurgent when @xmath250    in @xcite , le and the author introduced a countable subring @xmath251}^{\mathrm{hol}}$ ] that consists of elements of the form :    @xmath252 , \quad ( f_n(q ) ) \quad \text{is $ q$-holonomic}\ ] ]    where @xmath253-holonomic means that @xmath249 satisfies a linear @xmath253-difference equation with coefficients in @xmath254 $ ] ; see @xcite .
in @xcite it was shown that the elements @xmath255 and @xmath256 of the habiro ring actually lie in the countable subring @xmath251}^{\mathrm{hol}}$ ] .
show that for every @xmath257}^{\mathrm{hol}}$ ] , the series @xmath246 and @xmath246 are arithmetic resurgent .    in the next section , we will discuss formulate a resurgence conjecture for some special elements of the habiro ring that do not always come from topology .
conjecture [ conj.1 ] and problem [ prob.hab ] ask for proving that certain power series are arithmetic resurgent .
however , they do not explain the source of resurgence .
usually , resurgence is associated with a differential equation , linear or not ; see for example @xcite and also @xcite .    in this section we will give another construction of powers series @xmath258 and @xmath259 which aims to explain the origin of arithmetic resurgence .
this section was motivated by conversations with o. costin and j. calle whom we thank for their generous sharing of their ideas .
let us first introduce the notion of _ series of sum - product type_.    consider function @xmath260 analytic in @xmath261 $ ] with @xmath262 and the corresponding sequence and series of sum - product type : @xmath263 and the corresponding series @xmath264.\ ] ] since @xmath262 , it follows that the formal power series    @xmath265\ ] ]    is also well - defined .
let @xmath259 denote the borel transform : @xmath266.\ ] ]    let us now give a flavor of some results from @xcite and @xcite . in the rest of the section , let us consider @xmath260 of the following trigonometric type :    @xmath267    where    @xmath268    where @xmath269 , @xmath270 , @xmath271 for all @xmath150 , and @xmath272 for all but finitely many @xmath150 . in @xcite
we construct elements of the extended bloch group , given by solutions of the algebraic equations :
@xmath273    the values of these elements under the rogers dilogarithm defines a set @xmath274 , and its exponentiated cousin @xmath275 .
@xcite @xmath258 and @xmath259 are arithmetic resurgent with singularities included in @xmath276 .
notice that @xmath277 and @xmath278 where @xmath279 is an element of the countable habiro subring @xmath251}^{\mathrm{hol}}$ ] , where @xmath280 thus , theorem [ thm.cg ] is a special case of problem [ prob.habiro ] .
equations appear in the _ dilogarithm ladders _ of lewin and others , whose aim is to produce interesting elements of algebraic @xmath19-theory . for a detailed discussion , see @xcite and @xcite .    for the simplest knot @xmath21 and the simplest hyperbolic knot @xmath22
, we have : @xmath281 ( and likewise , equality for the @xmath282-series ) , where @xmath283 are both covered by theorem [ thm.cg ] .
the resurgence conclusion of theorem [ thm.cg ] is valid for very general entire functions @xmath260 , with some mild hypothesis . for a detailed discussion , see @xcite and @xcite
let us summarize what is known about conjecture [ conj.1 ] .
conjecture [ conj.1 ] is known    * for all 3-manifolds @xmath2 of the form @xmath284 where @xmath285 is a closed surface and all compact groups @xmath3 .
indeed , this follows from the fact that @xmath1 is a polynomial in @xmath6 .
thus , @xmath8 is a rational function of @xmath13 with denominator a power of @xmath286 . on the other hand , @xmath287 . * for @xmath288 where @xmath2 is the _ poincare homology sphere _ , or small
seifert fibered 3-manifolds , see @xcite . in this lucky case ,
one uses explicit formulas for the coefficients of @xmath289 given zagier ( see @xcite ) which allow one show resurgence relatively easily .
* for the simplest knot @xmath21 ( and also for @xmath290 torus knots ) ; and for the simplest hyperbolic knot @xmath22 ; see @xcite and @xcite .
see remark [ rem.sp3 ] .
our sample calculations below show the importance of the fractional polylogarithms and their analytic continuation , studied in detail in @xcite .
let us confirm conjecture [ conj.1 ] for @xmath291 . for simplicity , we will choose @xmath54 .
the case of other lie groups is similar .
the witten - reshetikhin - turaev invariant is given by ( * ? ? ?
* eqn.2.26 ) :    @xmath292    expanding the above as a convergent power series in @xmath231 :    @xmath293 and using the _ fractional polylogarithm _ @xmath294 defined for @xmath295 and @xmath5 by the convergent series :    @xmath296    it follows that    @xmath297    since @xmath298 has analytic continuation as a multivalued function in @xmath15 ( see @xcite ) , it follows that @xmath299 has analytic continuation on @xmath15 .
we can further compute the monodromy around @xmath42 and @xmath300 using @xcite .
let us confirm conjecture [ conj.1 ] for 3-manifolds of the form @xmath302 . for simplicity , we will choose @xmath54 .
the case of other lie groups is similar .
the witten - reshetikhin - turaev invariant is given by the famous _ verlinde formula _
@xcite :    @xmath303    altough not a priori obvious , it it true that the right hand side of the above expression is a polynomial in @xmath6 of degree @xmath304 .
in fact , we have ( * ? ? ? * sec.3 ) :    @xmath305    when @xmath306 .
for example , we have ,    @xmath307    it follows that @xmath308 is a rational function with denominator a power of @xmath309 .
for example , we have :    @xmath310    since @xmath311 is connected for all @xmath312 and @xmath3 , it follows that @xmath313 confirming conjecture [ conj.1 ] .
let us give some details about how the work of @xcite and @xcite verify conjecture [ conj.1 ] for the simplest @xmath21 knot .
an independent verification of the conjecture , valid for series of sum - product type , can be obtained by @xcite .
equation ( 36 ) of @xcite and @xcite imply that we can write :    @xmath314 where @xmath315 and @xmath160 is a multivalued analytic function ( analytic at @xmath42 ) : @xmath316 where @xmath317 denotes the _ unique primitive character of conductor _
@xmath318 : @xmath319    together with proposition [ prop.expar ] , this implies that the singularities of @xmath320 are @xmath321 .
moreover , the local expansion of @xmath320 around @xmath322 is given by :    @xmath323    where @xmath44 is a function holomorphic at @xmath42 .
since @xmath324 is multivalued analytic at @xmath15 ( see @xcite ) , this confirms conjecture [ conj.1 ] for @xmath21 . using a mittag - leffler type decomposition for the fractional polylogarithm from ( * ? ? ?
* eqn.13 ) , we can also verify the symmetry conjecture for @xmath21 .
conjecture [ conj.1 ] gives an exact formula for the singularity of @xmath122 which is nearest to the origin .
notice that this singularity does not in general coincide with the critical value of @xmath86 corresponding to the discrete faithful representation .
this was indeed observed numerically for several _
twist knots_. let @xmath325 denote the twist knot with negative clasp and @xmath326 full twists , where @xmath327 :    @xmath328 in particular , we have : @xmath329 the invariant trace field of @xmath325 is of type @xmath330 $ ] for @xmath331 and @xmath332 $ ] for @xmath333 .
it follows that @xmath334 is a subset of a union of @xmath335 ( resp .
@xmath336 ) horizontal lines , symmetric with respect to the @xmath13-axis , and a superposition of @xmath105 ( resp .
@xmath120 ) copies of the @xmath13-axis for @xmath331 ( resp .
@xmath333 ) .
this set can be computed exactly and numerically using the methods of @xcite .
the corresponding element of the habiro ring is given by :    @xmath337    where @xmath338 $ ] denote the @xmath6-cyclotomic polynomial of @xmath325 .
the latter may be computed inductively with respect to @xmath6 for each fixed @xmath326 , see @xcite .    using this formula
, one can compute 500 coefficients of @xmath339 , and then numerically compute the singularity of the series @xmath340 nearest to the origin .
the numerical method used was the following :    * fix a truncated power series @xmath341 where @xmath342 is a sufficiently large integer ( eg @xmath343 ) . * using the root test , one can compute approximately the radius of convergence @xmath344 of the series @xmath345 * plot @xmath346 for @xmath150 near the inverse of the radius of convergence .
the plot reveals a blow - up at certain values @xmath347 of @xmath348 .
* this suggests singularities at @xmath349 , and an asymptotic expansion of @xmath166 with a term of the form : @xmath350 in general , we have a finite sum ( over @xmath347 ) of terms of the above form .
* one can numerically compute the constants @xmath351 and @xmath352 by fitting data . a fitting method ( also used by zagier in @xcite )
can improve the rate of convergence to @xmath353 for any @xmath75 .
we used @xmath354 .
this was done for the twist knots of equation .
if @xmath355 denote the inverse of the radius of convergence of the series @xmath340 then we obtain numerically that : @xmath356 these numbers agree with the absolute value of @xmath357 for @xmath219 some galois conjugate of the discrete faithful representation .
we thank n. dunfield , s. shumakovitch and c. zickert for their help in the numerical computations .
additional numerical evidence for @xmath358 and @xmath359 ( and for many series of 1-dimensional sum - product type ) was obtained by @xcite .
an early version of these conjectures was delivered by lectures in columbia university , cuny , universit paris vii , and orsay in the fall of 2006 and in aarhus , baton - rouge , hanoi and strasbourg in the summer of 2007 .
the author wishes to thank the organizers of the conferences for their hospitality , and also n. a campo , y. andr , n. dunfield , m. kontsevich , w. neumann , t. pantev , d. sullivan , d. thurston , d. zeilberger and c. zickert .
above all , the author expresses his gratitude to o. costin , j. calle and d. zagier for many enlightening conversations .
in this section we will give a formal proof of the relation among @xmath258 and @xmath259 for series of sum - product type .
we will use the notation from section [ sec.sp ] .
suppose that @xmath360 for all @xmath361 $ ] .
then , it is easy to see that @xmath258 is convergent inside the unit disk @xmath5 .
the next theorem describes an explicit relation between @xmath258 and @xmath259 .
we have : @xmath362 where @xmath44 is analytic at @xmath42 .
we will give only the formal calculation , leaving the analytic details to the reader .
below , @xmath44 will denote a germ of an analytic function at @xmath42 . for @xmath4 ,
let @xmath363 denote the coefficient of @xmath364 in @xmath365 given in .
let us fix @xmath366 and consider @xmath6 large enough .
then , we have :    @xmath367    thus ,    @xmath368    ignore the @xmath369 terms , and interchange summation and integration .
we obtain that    @xmath370    where @xmath371 is the @xmath29-polylogarithm .
the latter is a multivalued analytic function on @xmath15 with an asymptotic expansion at @xmath300 of the form : @xmath372 where @xmath44 is an analytic function at @xmath42 ; see for example , ( * ? ? ?
* eqn.6 ) .
thus ,    @xmath373    letting @xmath374 , and replacing @xmath13 by @xmath375 it follows that :    @xmath376    this concludes the formal calculation .
in this section we will give a path integral formula for @xmath8 using as input the famous chern - simons path integral studied in the seminal paper of witten ; see @xcite . with the notation of @xcite and with our normalization
we have :    @xmath377 where @xmath76 is the affine space @xmath76 of @xmath3-connections on the trivial bundle @xmath74 over @xmath2 .
since @xmath80 takes values in @xmath88 , we require that the level @xmath6 ( which plays the role of the inverse planck s constant ) be integer . without loss of generality , we assume that @xmath4 . formally separating the @xmath378 contribution in and interchanging summation and integration in , it follows that      the above formula is an infinite dimensional analogue of a _ riemann - hilbert problem _ , and was obtained during a conversation with kontsevich in the fall of 2006 . for a detailed discussion on the riemann - hilbert problem , see @xcite .
finite dimensional analogues of the riemann - hilbert problem are discussed in @xcite .