r)_n=\prod_{k=1}^n (1-q^{kr}).$$ 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 $K$-theory. For a detailed discussion, see [@Le] and [@Za2].

For the simplest knot $3_1$ and the simplest hyperbolic knot $4_1$, we have: $$\Lnp_{3_1,\SU(2)}(z)=\Lnp_{f_{3_1}}(z), \qquad 
\Lnp_{4_1,\SU(2)}(z)=\Lnp_{f_{4_1}}(z)$$ (and likewise, equality for the $\Lp$-series), where $$\begin{aligned}
f_{3_1}(q) &=& \sum_{n=0}^\infty (q)_n \\
f_{4_1}(q) &=& \sum_{n=0}^\infty (-1)^n q^{-\frac{n(n+1)}{2}} (q)^2_n\end{aligned}$$ are both covered by Theorem \[thm.CG\].

The resurgence conclusion of Theorem \[thm.CG\] is valid for very general entire functions $F$, with some mild hypothesis. For a detailed discussion, see [@ES] and [@CG2].

Evidence
========

Some results
------------

Let us summarize what is known about Conjecture \[conj.1\]. Conjecture \[conj.1\] is known

-   for all 3-manifolds $M$ of the form $\S \times S^1$ where $\S$ is a closed surface and all compact groups $G$. Indeed, this follows from the fact that $Z_{M,G,n}$ is a polynomial in $n$. Thus, $\Lnp_{M,G}(z)$ is a rational function of $z$ with denominator a power of $1-z$. On the other hand, $\eLambda_{M,G}=\{0,1\}$.

-   for $\Lp_{M,\SU(2)}$ where $M$ is the [*Poincare homology sphere*]{}, or small Seifert fibered 3-manifolds, see [@CG1]. In this lucky case, one uses explicit formulas for
r)_n=\prod_{k=1}^n (1 - q^{kr}).$$ Thus, Theorem \[thm. CG\ ] is a special case of Problem \[prob.habiro\ ]. 

 Equations look in the [ * dilogarithm ladder * ] { } of Lewin and others, whose bearing is to produce interesting chemical element of algebraic $ K$-theory. For a detailed discussion, witness [ @Le ] and [ @Za2 ]. 

 For the simplest knot $ 3_1 $ and the childlike hyperbolic slub $ 4_1 $, we have: $ $ \Lnp_{3_1,\SU(2)}(z)=\Lnp_{f_{3_1}}(z), \qquad 
 \Lnp_{4_1,\SU(2)}(z)=\Lnp_{f_{4_1}}(z)$$ (and similarly, equality for the $ \Lp$-series), where $ $ \begin{aligned } 
 f_{3_1}(q) & = & \sum_{n=0}^\infty (q)_n \\ 
 f_{4_1}(q) & = & \sum_{n=0}^\infty (-1)^n q^{-\frac{n(n+1)}{2 } } (q)^2_n\end{aligned}$$ are both covered by Theorem \[thm. CG\ ]. 

 The resurgence termination of Theorem \[thm. CG\ ] is valid for very general entire affair $ F$, with some meek hypothesis. For a detailed discussion, see [ @ES ] and [ @CG2 ]. 

 Evidence 
 = = = = = = = = 

 Some results 
 ------------ 

 Let us summarize what is know about Conjecture \[conj.1\ ]. Conjecture \[conj.1\ ] is known 

 -    for all 3 - manifolds $ M$ of the shape $ \S \times S^1 $ where $ \S$ is a closed surface and all compact groups $ G$. Indeed, this come from the fact that $ Z_{M, G, n}$ is a polynomial in $ n$. Thus, $ \Lnp_{M, G}(z)$ is a rational function of $ z$ with denominator a power of $ 1 - z$. On the other bridge player, $ \eLambda_{M, G}=\{0,1\}$. 

 -    for $ \Lp_{M,\SU(2)}$ where $ M$ is the [ * Poincare homology sphere * ] { }, or small Seifert fibered 3 - manifolds, see [ @CG1 ]. In this lucky case, one uses explicit formulas for
r)_n=\pgod_{k=1}^n (1-q^{kr}).$$ Thus, Theorem \[tmm.CG\] is a special case mf Proglem \[proc.habiro\].

Equations appear in tie [*dulogaeithm ladders*]{} of Lewin and othegs, whose qim ms to produce invsrestinn elejcnts mh algebraic $K$-thgory. For a datailed discusviun, see [@Le] and [@Za2].

For the simplest knot $3_1$ and tne simplest hypetbolib hnot $4_1$, we have: $$\Lnp_{3_1,\SU(2)}(z)=\Lnp_{f_{3_1}}(z), \qquad 
\Lnp_{4_1,\SU(2)}(z)=\Mnp_{f_{4_1}}(z)$$ (aid likewise, equslity for the $\Lp$-series), whege $$\bfgin{aligned}
f_{3_1}(q) &=& \sum_{j=0}^\infty (q)_n \\
f_{4_1}(w) &=& \stn_{n=0}^\infty (-1)^n q^{-\ffac{n(n+1)}{2}} (q)^2_n\end{aligned}$$ are both covered by Theorem \[thm.CG\].

Tfe rexurgence cinxludhon of Theocem \[thi.CG\] is valid for verf genersl entire funcbions $F$, qith some mild hypothxsis. For a detailed qiscussiot, aee [@ES] and [@CG2].

Evidwnxe
========

Somg resglts
------------

Uwt js aukmzrize ahav is known zbout Conjexture \[conj.1\]. Conjectute \[bpnj.1\] is known

-   for ajl 3-manifolds $M$ of the form $\S \times S^1$ whtre $\S$ is a closed surface ane all compact groups $H$. Indeed, ehis follows from the fact that $Z_{M,G,n}$ is a polynomhal ii $v$. Tkmf, $\Ono_{M,G}(z)$ is a rational function of $z$ with denominwfot s power of $1-z$. Ok the other hand, $\eKalbcw_{M,G}=\{0,1\}$.

-   for $\Lp_{M,\RU(2)}$ whexs $J$ is the [*Poincare jomologi spheee*]{}, or smajl Srifert fibered 3-manifolds, sew [@CG1]. In this oucky case, one used explicit yormulss fot
r)_n=\prod_{k=1}^n (1-q^{kr}).$$ Thus, Theorem \[thm.CG\] is a of \[prob.habiro\]. Equations in the [*dilogarithm whose is to produce elements of algebraic For a detailed discussion, see [@Le] [@Za2]. For the simplest knot $3_1$ and the simplest hyperbolic knot $4_1$, we $$\Lnp_{3_1,\SU(2)}(z)=\Lnp_{f_{3_1}}(z), \qquad \Lnp_{4_1,\SU(2)}(z)=\Lnp_{f_{4_1}}(z)$$ (and likewise, equality for the $\Lp$-series), where $$\begin{aligned} f_{3_1}(q) &=& (q)_n f_{4_1}(q) \sum_{n=0}^\infty q^{-\frac{n(n+1)}{2}} (q)^2_n\end{aligned}$$ are both covered by Theorem \[thm.CG\]. The resurgence conclusion of Theorem \[thm.CG\] is valid very general entire functions $F$, with some mild For a detailed discussion, [@ES] and [@CG2]. Evidence ======== results Let us what known Conjecture \[conj.1\]. Conjecture is known - for all 3-manifolds $M$ of the form $\S \times S^1$ where $\S$ is a surface and groups $G$. this from fact that $Z_{M,G,n}$ polynomial in $n$. Thus, $\Lnp_{M,G}(z)$ is of $z$ with denominator a power of $1-z$. the other $\eLambda_{M,G}=\{0,1\}$. - for $\Lp_{M,\SU(2)}$ where $M$ the [*Poincare homology sphere*]{}, or small Seifert fibered see [@CG1]. In this lucky case, one uses explicit formulas for
r)_n=\prod_{k=1}^n (1-q^{kr}).$$ 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 $K$-theorY. FoR a Detailed discUSsIon, see [@Le] anD [@Za2].

for the simpleSt kNot $3_1$ and ThE siMPlest HypErbolIc knot $4_1$, WE have: $$\LNp_{3_1,\SU(2)}(z)=\Lnp_{f_{3_1}}(Z), \qQUad 
\Lnp_{4_1,\su(2)}(z)=\Lnp_{f_{4_1}}(z)$$ (AND lIkewIse, equality for the $\lP$-sERies), where $$\begin{AligneD}
f_{3_1}(Q) &=& \SuM_{N=0}^\InfTy (q)_N \\
f_{4_1}(q) &=& \sum_{n=0}^\infTy (-1)^N q^{-\fraC{N(n+1)}{2}} (q)^2_n\end{ALiGNED}$$ arE Both covered by theorem \[thm.Cg\].

the ResurgEnCe cONclusiOn of THeORem \[Thm.CG\] is valiD for Very generAl entiRE functiONs $F$, with Some miLd hYpoThesIS. FOr A deTaILed DIsCusSIon, See [@ES] and [@cG2].

evIdencE
========

SomE RESUlts
------------

let Us suMmariZe what is known AboUt CoNJecTure \[cOnj.1\]. CoNjecTuRe \[conJ.1\] is knoWn

-   for AlL 3-manifolds $M$ of thE forM $\S \times S^1$ wHerE $\S$ Is a ClOsed sURface aNd aLl cOmpact gRoups $G$. INDeeD, tHIS FoLlows from the fact thAt $z_{m,g,n}$ Is a polynOmial iN $N$. THuS, $\lnp_{M,G}(z)$ is A rAtiOnal FUNctioN of $z$ WItH denominAtor a pOWeR oF $1-z$. On the OtHer hanD, $\elamBda_{m,G}=\{0,1\}$.

-   for $\lP_{M,\SU(2)}$ Where $M$ Is the [*PoiNcare HOmology sphere*]{}, oR Small Seifert fIBeRED 3-mANifoLds, See [@CG1]. In this LuckY Case, One uSEs ExpLIcit fOrmulAs FOr
r)_n=\prod_{k=1}^n (1-q^{k r}).$$ Thu s, Th eor em\[ thm. CG\]  is a specialc aseof Problem \[prob.habi ro\]. 
E quat i on s app ear int he [ *di lo ga rit hm la dders *]{ } of Le win and ot her s,  whose aim i s  t o produceint eresting ele men ts ofal geb r aic $ K$- theor y. For a deta iled disc us s ion, s e e [@Le] a nd  [@Z a2].

For the sim p le s t knot $3_1$ a nd the  s i mp l e sthyp erbolic kn ot  $4_1 $ , we ha v e: $ $ \Ln p _{3_1,\SU(2)} (z)=\Lnp_{f _ {3_ 1}}(z) ,\qq u ad 
\L np_{4 _1 , \SU (2)}(z)=\Ln p_{f _{4_1}}(z )$$ (a n d likew i se, equ alityfor  th e $\ L p$ -s eri es ) , w h er e $ $ \be gin{alig ne d} 
f_{3 _1}( q ) & =& \ sum _{n= 0}^\i nfty (q)_n \\ 
f_ {4_1 } (q)  &=&\sum_ {n=0 }^ \inft y (-1) ^n q^ {- \frac{n(n+1)}{2 }} ( q)^2_n\en d{a li gne d} $$ ar e  bothcov ere d by Th eorem \ [ thm .C G \ ] .
The resurgence co nc l u si on of Th eorem\ [t hm . CG\] isva lid  for v ery g ener a lentire f unctio n s$F $, with  s ome mi ld  hy pot hesis .  For  a det ailed di scuss i on, see [@ES]a nd [@CG2].

E v id e n ce ==== === =

Some res ults ---- ---- - -- -
L et us  summ ar i ze what is known about  C onject ure \ [conj.1\]. Co njecture \ [ c o nj.1\] i s kn o wn 
-   for all 3 -mani folds $M$o f the fo rm $\ S \times  S^1$ whe r e  $\S$ is  aclo sed  su r f ac e and all com p a ct g ro ups $G$ . I ndeed,thi s f oll ows  f rom the f act that  $ Z_ {M ,G ,n} $ isa  polynom ia l i n$n$ . Thu s , $\Ln p_{M, G}(z )$  i s  arationa l  f u n ctio nof  $z$  wi th  deno mina t ora power  of $1-z$ . O n  the  o th er hand , $\eLambda_{ M, G}=\{0,1\} $. 

-    for $ \Lp_{M,\ SU(2)}$ where $M$ is th e  [*Poin car e hom olog y sphere* ]{} , or s mal l  Seife rt fib ered3- man i f olds, s ee  [@ CG 1]. In thi s luc ky ca se , on e usesexplicit formulasf or
r)_n=\prod_{k=1}^n (1-q^{kr}).$$_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 $K$-theory. For a detailed discussion, see [@Le] and [@Za2].

For the simplest knot_$3_1$_and the_simplest_hyperbolic_knot $4_1$, we have: $$\Lnp_{3_1,\SU(2)}(z)=\Lnp_{f_{3_1}}(z),_\qquad 
\Lnp_{4_1,\SU(2)}(z)=\Lnp_{f_{4_1}}(z)$$ (and likewise, equality_for the_$\Lp$-series), where $$\begin{aligned}
f_{3_1}(q) &=& \sum_{n=0}^\infty (q)_n \\
f_{4_1}(q) &=&_\sum_{n=0}^\infty_(-1)^n q^{-\frac{n(n+1)}{2}} (q)^2_n\end{aligned}$$_are both covered by Theorem \[thm.CG\].

The resurgence conclusion of_Theorem \[thm.CG\] is valid for very_general entire functions_$F$,_with_some mild hypothesis. For_a detailed discussion, see [@ES] and_[@CG2].

Evidence
========

Some results
------------

Let us summarize what is_known about Conjecture \[conj.1\]. Conjecture \[conj.1\] is_known

-   for all 3-manifolds_$M$ of the form $\S_\times S^1$_where $\S$ is a closed_surface and all_compact groups_$G$. Indeed, this_follows from the fact that $Z_{M,G,n}$_is a polynomial_in $n$. Thus, $\Lnp_{M,G}(z)$ is a_rational_function of $z$_with_denominator_a power_of $1-z$. On_the_other hand,_$\eLambda_{M,G}=\{0,1\}$.

-_  for $\Lp_{M,\SU(2)}$ where $M$_is_the [*Poincare homology sphere*]{}, or small Seifert_fibered 3-manifolds, see [@CG1]._In_this lucky case, one_uses explicit formulas for