_{\a,\b} c_{\a,\b} z^{\a} (\log(z))^{\b} h_{\a,\b}(z)$$ where $\a \in \BQ$, $\b \in \BN$, and $h_{\a,\b}(z) \in \BC\{z\}_0$, where $\BC\{z\}_0$ is the ring of power series convergent at $z=0$ (identified with the ring of germs of functions analytic at $z=0$). See for example, [@Ml]. Series of the form are often known in the literature as series of the [*Nilsson class*]{}; see [@Ni1; @Ni2].

The rationality of the exponents $\{\a\}$ above is an important feature that always appears in algebraic geometry and arithmetic and rarely appears in analysis. For a further discussion; see [@Ga5].

We say that $G(z)=\sum_{n=0}^\infty a_n z^n$ is an [*resurgent series*]{} (and write $G(z) \in \RES$) if

-   $G(z)$ is convergent at $z=0$.

-   $G(z)$ has analytic continuation as a multivalued function in $\BC\setminus
    \La$, where $\La \subset \BC$ is a discrete subset of $\BC$.

-   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.

Gevrey series of mixed type
---------------------------

The following definition is motivated by the properties of some power series that are associated to knotted 3-dimensional objects.

We say that series $G(z)=\sum_{n=0}^\infty a_n z^n$ is a [*Gevrey series of mixed type*]{} $(r,s)$ if

-   $r,s \in \BQ$ and the coefficients $a_n$ lie in a number field $K$, and

-   there exists a constant $C>0$ so that for every $n \in \BN$ the absolute value of every Galois conjugate of $a_n$ is less than or equal to $C^n n!^r$, and

-   the common denominator
_ { \a,\b } c_{\a,\b } z^{\a } (\log(z))^{\b } h_{\a,\b}(z)$$ where $ \a \in \BQ$, $ \b \in \BN$, and $ h_{\a,\b}(z) \in \BC\{z\}_0 $, where $ \BC\{z\}_0 $ is the ring of power series convergent at $ z=0 $ (identified with the gang of microbe of functions analytic at $ z=0 $). See for example, [ @Ml ]. Series of the shape are often known in the literature as serial of the [ * Nilsson class * ] { }; see [ @Ni1; @Ni2 ]. 

 The rationality of the exponents $ \{\a\}$ above is an significant feature that always appear in algebraic geometry and arithmetic and rarely appears in psychoanalysis. For a further discussion; see [ @Ga5 ]. 

 We say that $ G(z)=\sum_{n=0}^\infty a_n z^n$ is an [ * resurgent series * ] { } (and write $ G(z) \in \RES$) if 

 -    $ G(z)$ is convergent at $ z=0$. 

 -    $ G(z)$ has analytic continuation as a multivalued function in $ \BC\setminus 
     \La$, where $ \La \subset \BC$ is a discrete subset of $ \BC$. 

 -    The local monodromy is quasi - unipotent. 

 In what succeed, we will make little eminence between a germ, its analytic continuation, and the corresponding function. thus, we will speak about the algebra of resurgent functions. 

 Gevrey series of mixed type 
 --------------------------- 

 The follow definition is motivated by the properties of some power series that are associated to ravel 3 - dimensional objects. 

 We say that series $ G(z)=\sum_{n=0}^\infty a_n z^n$ is a [ * Gevrey series of mixed type * ] { } $ (r, s)$ if 

 -    $ r, s \in \BQ$ and the coefficients $ a_n$ lie in a number battlefield $ K$, and 

 -    there exists a constant $ C>0 $ so that for every $ normality \in \BN$ the absolute value of every Galois conjugate solution of $ a_n$ is less than or adequate to $ C^n n!^r$, and 

 -    the common denominator
_{\a,\b} f_{\a,\b} z^{\a} (\log(z))^{\b} h_{\a,\b}(z)$$ where $\x \in \BQ$, $\b \in \BN$, and $h_{\a,\u}(z) \in \BD\{z\}_0$, where $\BC\{z\}_0$ is the ring of power secies convtggent at $z=0$ (identified with the ring of gernw of functmkns analytic zb $z=0$). Sze for example, [@Mk]. Series ox the form are owtzn known in the literature as series of the [*Nllsson class*]{}; sge [@Ni1; @Gi2].

Ths rationality of the exponents $\{\a\}$ agove is an important feature that always appeags ij algebraic geometgy and aritymetyx and rarely appears in analysis. Fkr a further discussion; see [@Ga5].

Wd say that $G(z)=\sun_{n=0}^\unfhi a_n z^n$ is ai [*resuggent series*]{} (and writa $G(z) \in \RES$) if

-   $G(z)$ ix cmnvwrgent at $z=0$.

-   $G(z)$ has enalytic continuatiog as a muntnvalued function in $\BX\swtminos
    \La$, dyerd $\Lz \xugset \BF$ ia a discrefe subset od $\BC$.

-   The local momoqgpmy is quasi-hnipotqne.

In what follows, we will make little divtihction between a germ, irs analytic continuatlon, and tre corresponding function. So, we will speak about dhe ameebxq of fwskrgent functions.

Gevrey series of mixed type
---------------------------

Thq fplkowing definitlon is motivated bu hhr properties ow some poser series that arf assocyated to knotttd 3-dikensional objects.

We say thar series $G(z)=\slm_{n=0}^\ibfty a_n z^n$ is a [*Gerrey series uf moxed yype*]{} $(r,s)$ if

-   $r,s \in \BQ$ aud the coefficienhs $a_n$ lie kn a number fiela $K$, atd

-   there exists a constagt $C>0$ so tiat fpr everh $n \on \BN$ ehe absoluhe value of every Galois conjogate mf $a_n$ is lfss than or equal to $C^n n!^r$, and

-   the common dgnokindtor
_{\a,\b} c_{\a,\b} z^{\a} (\log(z))^{\b} h_{\a,\b}(z)$$ where $\a $\b \BN$, and \in \BC\{z\}_0$, where power convergent at $z=0$ with the ring germs of functions analytic at $z=0$). for example, [@Ml]. Series of the form are often known in the literature series of the [*Nilsson class*]{}; see [@Ni1; @Ni2]. The rationality of the exponents above an feature always appears in algebraic geometry and arithmetic and rarely appears in analysis. For a further discussion; [@Ga5]. We say that $G(z)=\sum_{n=0}^\infty a_n z^n$ is [*resurgent series*]{} (and write \in \RES$) if - $G(z)$ convergent $z=0$. - has continuation a multivalued function $\BC\setminus \La$, where $\La \subset \BC$ is a discrete subset of $\BC$. - The local monodromy is In what will make distinction a its analytic continuation, corresponding function. So, we will speak of resurgent functions. Gevrey series of mixed type The following is motivated by the properties of power series that are associated to knotted 3-dimensional We say that series $G(z)=\sum_{n=0}^\infty a_n z^n$ is a [*Gevrey series of mixed type*]{} $(r,s)$ $r,s \in \BQ$ and coefficients $a_n$ lie a field and there exists constant $C>0$ so that for every $n \in \BN$ the absolute of every Galois conjugate of $a_n$ is less than or $C^n and - the denominator
_{\a,\b} c_{\a,\b} z^{\a} (\log(z))^{\b} h_{\a,\b}(z)$$ where $\a \in \Bq$, $\b \in \BN$, and $h_{\A,\b}(z) \in \bC\{z\}_0$, WheRe $\bC\{z\}_0$ iS the Ring of power serIEs coNvergent at $z=0$ (identified wIth thE rINg of GErMs of fUnctionS AnALYtiC aT $z=0$). see FoR ExAmple, [@ml]. SEries of The form are OftEn Known in the liTErAture as serIes Of the [*Nilsson ClaSs*]{}; see [@NI1; @NI2].

ThE RatioNalIty of The expONents $\{\a\}$ Above is an ImPOrtant FEature tHAT aLwayS appears in algebraIC gEOmetry and arithMetic aNd RArELY apPeaRs in analysIs. for a fURther diSCuSSIOn; sEE [@Ga5].

We say that $G(Z)=\sum_{n=0}^\infty a_N Z^n$ iS an [*resUrGenT Series*]{} (And wrItE $g(z) \iN \RES$) if

-   $G(z)$ is cOnveRgent at $z=0$.

-   $G(Z)$ has anALytic coNTinuatiOn as a mUltIvaLued FUnCtIon In $\bc\seTMiNus
    \lA$, whEre $\La \subSeT \Bc$ is a dIscrETE SUbseT of $\bC$.

-   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.

GEVrEy SEries of mIxEd tYpe
---------------------------

THE FolloWing DEfInition iS motivATeD bY the proPeRties oF sOme PowEr serIEs thAt are aSsociateD to knOTted 3-dimensionaL Objects.

We say tHAt SERiES $G(z)=\sUm_{n=0}^\Infty a_n z^n$ is A [*GevREy seRies OF mIxeD Type*]{} $(r,S)$ if

-   $r,s \In \bq$ aND the coefficients $a_n$ lIe In a numBer fiEld $K$, and

-   there eXists a consTANT $C>0$ so that For eVErY $N \in \BN$ the absoluTe valUe of every GALois conjUgate Of $a_n$ is leSs than or eQUAl to $C^n n!^r$, And

-   The ComMon DENoMinator
_{\a,\b} c_{\a,\b} z^{\a}(\log(z))^ {\b}h_{ \a, \b }(z) $$ w here $\a \in \ B Q$,$\b \in \BN$, and $h_{ \a,\b }( z ) \i n  \ BC\{z \}_0$,w he r e  $\ BC \{ z\} _0 $  i s the  ri ng of p ower serie s c on vergent at $ z =0 $ (identif ied  with the ri ngof ger ms  of funct ion s ana lytica t $z=0 $). See f or exampl e , [@Ml] . Se ries  of the form areo ft e n known in the  liter at u re a s s eri es of the[* Nilss o n class * ]{ } ; see [@Ni1; @Ni2]. 

The ratio n ali ty ofth e e x ponent s $\{ \a \ }$above is an  imp ortant fe aturet hat alw a ys appe ars in  al geb raic ge om etr ya nda ri thm e tic  and rar el yappea rs i n a n alys is.  For  a fu rther discuss ion ; se e  [@ Ga5]. 

Wesayth at $G (z)=\s um_{n =0 }^\infty a_n z^ n$ i s an [*re sur ge ntse ries* ] {} (an d w rit e $G(z)  \in \R E S$)  i f -  $G(z)$ is conver ge n t  a t $z=0$. 

-  $ G( z) $  has ana ly tic  con t i nuati on a s  a  multiva lued f u nc ti on in $ \B C\setm in us   \La$ ,  whe re $\L a \subse t \BC $  is a discrete subset of $\B C $. - The  lo cal monodro my i s  qua si-u n ip ote n t.

I n wha tf ol l ows, we will make l it tle di stinc tion betweena germ, it s a nalyticcont i nu a tion, and thecorre sponding f u nction.So, w e will s peak abou t the alge bra  of  re sur g e nt  functions.
G e vrey  s eries o f m ixed ty pe--- --- --- -- --------- -------
T he  f ol low ing d e finition  i s m ot iva ted b y  the p roper ties  o fs ome  powers er i e s th at  a re a sso ci atedto k n ott ed 3-di mensional  ob j ects .
W e say t hat series $G (z )=\sum_{n= 0} ^\i nfty a _ n  z^n$ is  a [*Gevrey series of m i xed typ e*] {} $( r,s) $ if

-  $r ,s \in  \B Q $ andthe co effic ie nts $ a_n$l i einanumber fie l d  $K $, an d
-  thereexists a constant$ C>0 $ so that for  ev ery$ n  \ in\ BN $  th ea bso l u te value of eve ry Galoisco n ju gate of $a _ n$is  less t han orequal to $C^n  n!^r$, a nd

-   t he  com m o n d enominator 
_{\a,\b} c_{\a,\b}_z^{\a} (\log(z))^{\b}_h_{\a,\b}(z)$$ where $\a \in_\BQ$, $\b_\in_\BN$, and_$h_{\a,\b}(z)_\in \BC\{z\}_0$, where_$\BC\{z\}_0$ is the_ring of power series_convergent at $z=0$_(identified_with the ring of germs of functions analytic at $z=0$). See for example, [@Ml]._Series_of the_form_are_often known in the literature_as series of the [*Nilsson_class*]{}; see_[@Ni1; @Ni2].

The rationality of the exponents $\{\a\}$ above_is_an important feature_that always appears in algebraic geometry and arithmetic and_rarely appears in analysis. For a_further discussion; see_[@Ga5].

We_say_that $G(z)=\sum_{n=0}^\infty a_n z^n$_is an [*resurgent series*]{} (and write_$G(z) \in \RES$) if

-  _$G(z)$ is convergent at $z=0$.

-  _$G(z)$ has analytic continuation as a_multivalued function in $\BC\setminus
 _ _\La$, where $\La \subset \BC$_is a discrete_subset of_$\BC$.

-  _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.

Gevrey series of mixed type
---------------------------

The_following_definition is motivated by the properties of_some power series that_are_associated to knotted 3-dimensional_objects.

We say that series $G(z)=\sum_{n=0}^\infty_a_n z^n$ is a [*Gevrey series_of mixed_type*]{} $(r,s)$_if

-   $r,s \in \BQ$ and the coefficients $a_n$ lie_in a number field $K$, and

-_  there exists_a constant_$C>0$_so that for_every_$n \in_\BN$ the absolute value of every Galois_conjugate of_$a_n$ is less than or equal_to $C^n n!^r$, and

-__ the common denominator