}
\zeta_d^{p}&0\\0&\zeta_d^{q} 
\end{smallmatrix}
\right)\right\rangle$ and $\zeta_d\in \CC$ is a primitive $d$-th root of unity.

In this context, the local ring $\cO_X$ of functions on $X$ is the ring of invariants of $\qa_{d,p,q}$, namely, $$\cO_X=\CC\{x,y\}^{\qa_{d,p,q}}=\{h\in \CC\{x,y\} \mid h(g\cdot (x,y))=h(x,y) \text{ for all } g\in \qa_{d,p,q}\}.$$

Note that $d$, the order of $\qa_{d,p,q}$, does not completely determine the type of the cyclic singularity. For instance $\cO_{\frac{1}{3}(1,2)}=\langle 1,x^3,y^3,xy\rangle\cO_X\cong \CC\{u,v,w\}/(uv=w^3)$ defines locally a complete intersection singularity, whereas $\cO_{\frac{1}{3}(1,1)}=\langle 1,x^3,y^3,xy^2,x^2y\rangle\cO_X$ does not.

Other interesting objects associated with a cyclic quotient singularity are the modules of quasi-invariant germs. These are defined as the eigenspaces of the operator defined by the action of $\qa_{d,p,q}$ on the coordinates, that is, $$\cO_{X,\zeta_d^k}:=\{h\in \CC\{x,y\} \mid h(g\cdot (x,y))=\zeta_d^k h(x,y) \text{ for all } g\in \qa_{d,p,q}\}.$$ Note that $\cO_{X,\zeta_d^k}$ has a natural structure of $\cO_X$-submodule of $\CC\{x,y\}$. Also $\cO_X=\cO_{X,\zeta_d^0}$ and $\CC\{x,y\}=\bigoplus_{k=0}^{d-1}\cO_{X,\zeta_d^k}$. This latter decomposition is associated with the $d$-th cyclic cover
} 
 \zeta_d^{p}&0\\0&\zeta_d^{q } 
 \end{smallmatrix } 
 \right)\right\rangle$ and $ \zeta_d\in \CC$ is a primitive $ d$-th root of unity. 

 In this context, the local ring $ \cO_X$ of function on $ X$ is the gang of invariants of $ \qa_{d, p, q}$, namely, $ $ \cO_X=\CC\{x, y\}^{\qa_{d, p, q}}=\{h\in \CC\{x, y\ } \mid h(g\cdot (x, y))=h(x, y) \text { for all } g\in \qa_{d, p, q}\}.$$ 

 notice that $ d$, the order of $ \qa_{d, p, q}$, does not completely determine the character of the cyclic singularity. For example $ \cO_{\frac{1}{3}(1,2)}=\langle 1,x^3,y^3,xy\rangle\cO_X\cong \CC\{u, v, w\}/(uv = w^3)$ specify locally a complete intersection singularity, whereas $ \cO_{\frac{1}{3}(1,1)}=\langle 1,x^3,y^3,xy^2,x^2y\rangle\cO_X$ dress not. 

 Other interesting objects consort with a cyclic quotient singularity are the module of quasi - invariant germs. These are defined as the eigenspaces of the operator defined by the military action of $ \qa_{d, p, q}$ on the coordinates, that is, $ $ \cO_{X,\zeta_d^k}:=\{h\in \CC\{x, y\ } \mid h(g\cdot (x, y))=\zeta_d^k h(x, y) \text { for all } g\in \qa_{d, p, q}\}.$$ Note that $ \cO_{X,\zeta_d^k}$ receive a natural structure of $ \cO_X$-submodule of $ \CC\{x, y\}$. Also $ \cO_X=\cO_{X,\zeta_d^0}$ and $ \CC\{x, y\}=\bigoplus_{k=0}^{d-1}\cO_{X,\zeta_d^k}$. This latter decay is associated with the $ d$-th cyclic covering
}
\zetw_d^{p}&0\\0&\zeta_d^{q} 
\end{smallmatrix}
\vight)\right\rangle$ and $\zeva_d\in \CD$ is a pfimitive $d$-th root of unity.

In tyis cintext, the local ring $\zO_X$ of fujctions in $X$ us the rinj of invarianta of $\xe_{d,p,q}$, namely, $$\cO_X=\GC\{x,y\}^{\qa_{d,p,q}}=\{h\it \CC\{x,y\} \mid h(g\cgog (r,y))=h(x,y) \text{ for all } g\in \qa_{d,p,q}\}.$$

Note thwt $d$, thr lrder of $\qa_{d,p,q}$, doex not bonpletely determine the type or the cjclic singularity. For instance $\cO_{\frac{1}{3}(1,2)}=\langle 1,x^3,y^3,xj\rangle\cO_X\cong \CC\{u,g,w\}/(uv=w^3)$ definga ljxally a compuete intersection singolarity, whereas $\cO_{\frac{1}{3}(1,1)}=\langle 1,x^3,y^3,xh^2,x^2y\raugle\cO_X$ doew bot.

Ljher interesving ofjects assoclsted whth a cuclic quotient siigulqrity are the modules of quasi-invariant germs. Thasz are defined as the witenspdces of gye upedavor definfd uy the actikn of $\qa_{d,p,q}$ on the coordinates, trqt is, $$\cO_{X,\zeta_s^k}:=\{h\in \SC\{v,y\} \mid h(g\cdot (x,y))=\zeta_d^k h(x,y) \text{ for all } g\jn \qa_{d,p,q}\}.$$ Note that $\cO_{X,\zwta_d^k}$ has a natural sjructure os $\cO_X$-submodule of $\CC\{x,y\}$. Also $\cO_X=\cO_{X,\zeta_d^0}$ and $\CC\{x,y\}=\bhgoplns_{y=0}^{d-1}\cI_{X,\deta_a^j}$. Hhis latter decomposition is associated with ege $d$-nh cyclic cover
} \zeta_d^{p}&0\\0&\zeta_d^{q} \end{smallmatrix} \right)\right\rangle$ and $\zeta_d\in \CC$ primitive root of In this context, functions $X$ is the of invariants of namely, $$\cO_X=\CC\{x,y\}^{\qa_{d,p,q}}=\{h\in \CC\{x,y\} \mid h(g\cdot (x,y))=h(x,y) for all } g\in \qa_{d,p,q}\}.$$ Note that $d$, the order of $\qa_{d,p,q}$, does completely determine the type of the cyclic singularity. For instance $\cO_{\frac{1}{3}(1,2)}=\langle 1,x^3,y^3,xy\rangle\cO_X\cong \CC\{u,v,w\}/(uv=w^3)$ locally complete singularity, $\cO_{\frac{1}{3}(1,1)}=\langle 1,x^3,y^3,xy^2,x^2y\rangle\cO_X$ does not. Other interesting objects associated with a cyclic quotient singularity are the modules quasi-invariant germs. These are defined as the eigenspaces the operator defined by action of $\qa_{d,p,q}$ on the that $$\cO_{X,\zeta_d^k}:=\{h\in \CC\{x,y\} h(g\cdot h(x,y) for all } \qa_{d,p,q}\}.$$ Note that $\cO_{X,\zeta_d^k}$ has a natural structure of $\cO_X$-submodule of $\CC\{x,y\}$. Also $\cO_X=\cO_{X,\zeta_d^0}$ and $\CC\{x,y\}=\bigoplus_{k=0}^{d-1}\cO_{X,\zeta_d^k}$. This decomposition is the $d$-th cover
}
\zeta_d^{p}&0\\0&\zeta_d^{q} 
\end{smallmatriX}
\right)\righT\rangLe$ aNd $\zEtA_d\in \cC$ is A primitive $d$-th rOOt of Unity.

In this context, the lOcal rInG $\CO_X$ oF FuNctioNs on $X$ is THe RINg oF iNvAriAnTS oF $\qa_{d,p,Q}$, naMely, $$\cO_X=\cC\{x,y\}^{\qa_{d,p,q}}=\{h\In \Cc\{x,Y\} \mid h(g\cdot (x,y))=H(X,y) \Text{ for all } G\in \Qa_{d,p,q}\}.$$

Note thaT $d$, tHe ordeR oF $\qa_{D,P,q}$, doeS noT compLetely DEtermiNe the type Of THe cyclIC singulARItY. For Instance $\cO_{\frac{1}{3}(1,2)}=\lanGLe 1,X^3,Y^3,xy\rangle\cO_X\coNg \CC\{u,v,W\}/(uV=W^3)$ dEFIneS loCally a compLeTe intERsectioN SiNGULarITy, whereas $\cO_{\frAc{1}{3}(1,1)}=\langle 1,x^3,y^3,xY^2,X^2y\rAngle\co_X$ DoeS Not.

OthEr intErEStiNg objects asSociAted with a Cyclic QUotient SIngularIty are The ModUles OF qUaSi-iNvARiaNT gErmS. theSe are defInEd As the EigeNSPACes oF thE opeRator Defined by the aCtiOn of $\QA_{d,p,Q}$ on thE coorDinaTeS, that Is, $$\cO_{X,\zEta_d^k}:=\{H\iN \CC\{x,y\} \mid h(g\cdot (x,Y))=\zetA_d^k h(x,y) \texT{ foR aLl } g\In \Qa_{d,p,q}\}.$$ nOte thaT $\cO_{x,\zeTa_d^k}$ has A naturaL StrUcTURE oF $\cO_X$-submodule of $\CC\{x,Y\}$. ALSO $\co_X=\cO_{X,\zetA_d^0}$ and $\Cc\{X,y\}=\BiGOplus_{k=0}^{d-1}\co_{X,\ZetA_d^k}$. THIS lattEr deCOmPosition Is assoCIaTeD with thE $d$-Th cyclIc CovEr
}
\zeta_d^{p}&0\\0&\zeta_d ^{q} 
\end {smal lma tri x} 
\ri ght) \right\rangle$ and$\zeta_d\in \CC$ is aprimi ti v e $d $ -t h roo t of un i ty . 
In  t hi s c on t ex t, th e l ocal ri ng $\cO_X$  of  f unctions on$ X$  is the ri ngof invariant s o f $\qa _{ d,p , q}$,nam ely,$$\cO_ X =\CC\{ x,y\}^{\q a_ { d,p,q} } =\{h\in \ CC \{x, y\} \mid h(g\cdot (x , y))=h(x,y) \te xt{ fo ra ll }  g\ in\qa_{d,p,q }\ }.$$Note th a t$ d $ , t h e order of $\ qa_{d,p,q}$ ,  do es not  c omp l etelydeter mi n e t he type ofthecyclic si ngular i ty. For instanc e $\cO _{\ fra c{1} { 3} (1 ,2) }= \ lan g le  1, x ^3, y^3,xy\r an gl e\cO_ X\co n g \ CC\{ u,v ,w\} /(uv= w^3)$ defines  lo call y  acompl ete i nter se ction  singu larit y,  whereas $\cO_{ \fra c{1}{3}(1 ,1) }= \la ng le 1, x ^3,y^3 ,xy ^2, x^2y\ra ngle\cO _ X$do e s no t.

Other interest in g ob jects as sociat e dwi t h a cycl ic  qu otie n t  sing ular i ty  are the  modul e sof  quasi- in varian tger ms.  Thes e  are  defin ed as th e eig e nspaces of the operator defi n ed b yt he a cti on of $\qa_ {d,p , q}$on t h ecoo r dinat es, t ha t  i s , $$\cO_{X,\zeta_d^ k} :=\{h\ in \C C\{x,y\} \mid  h(g\cdot( x , y))=\zet a_d^ k  h ( x,y) \text{ fo r all  } g\in \q a _{d,p,q} \}.$$  Note th at $\cO_{ X , \zeta_d^ k}$  ha s a  na t u ra l structure o f $\cO _X $-submo dul e of $\ CC\ {x, y\} $.Al so $\cO_X =\cO_{X, \z et a_ d^ 0}$  and$ \CC\{x,y \} =\b ig opl us_{k = 0}^{d- 1}\cO _{X, \z et a _d^ k}$. Th i sl a tter  d ec ompo sit io n isasso c iat ed with  the $d$- thc ycli cco ver
}
\zeta_d^{p}&0\\0&\zeta_d^{q} 
\end{smallmatrix}
\right)\right\rangle$_and $\zeta_d\in_\CC$ is a primitive_$d$-th root_of_unity.

In this_context,_the local ring_$\cO_X$ of functions_on $X$ is the_ring of invariants_of_$\qa_{d,p,q}$, namely, $$\cO_X=\CC\{x,y\}^{\qa_{d,p,q}}=\{h\in \CC\{x,y\} \mid h(g\cdot (x,y))=h(x,y) \text{ for all } g\in \qa_{d,p,q}\}.$$

Note that_$d$,_the order_of_$\qa_{d,p,q}$,_does not completely determine the_type of the cyclic singularity._For instance_$\cO_{\frac{1}{3}(1,2)}=\langle 1,x^3,y^3,xy\rangle\cO_X\cong \CC\{u,v,w\}/(uv=w^3)$ defines locally a complete intersection_singularity,_whereas $\cO_{\frac{1}{3}(1,1)}=\langle 1,x^3,y^3,xy^2,x^2y\rangle\cO_X$_does not.

Other interesting objects associated with a cyclic quotient_singularity are the modules of quasi-invariant_germs. These are_defined_as_the eigenspaces of the_operator defined by the action of_$\qa_{d,p,q}$ on the coordinates, that is,_$$\cO_{X,\zeta_d^k}:=\{h\in \CC\{x,y\} \mid h(g\cdot (x,y))=\zeta_d^k h(x,y) \text{_for all } g\in \qa_{d,p,q}\}.$$ Note_that $\cO_{X,\zeta_d^k}$ has a natural_structure of_$\cO_X$-submodule of $\CC\{x,y\}$. Also $\cO_X=\cO_{X,\zeta_d^0}$_and $\CC\{x,y\}=\bigoplus_{k=0}^{d-1}\cO_{X,\zeta_d^k}$. This_latter decomposition_is associated with_the $d$-th cyclic cover