Cyclic quotient surface singularity ($\frac{1}{r}(1,q)$)

For $r>1$ and $\gcd (r,q)=1$, the quotient of ${\mathbb{A}}^2$ by $(x,y)\mapsto (\zeta x,{\zeta }^{q}y)$ is a cyclic quotient surface singularity. Its toric model uses the first-quadrant cone in ${\mathbb{Z}}^2+\mathbb{Z}(1,q)/r$. Conversely, every singular full-dimensional affine toric surface over an algebraically closed field of characteristic zero has this form. Smooth cones and cones with a torus factor require separate treatment.

// Target: geometry-and-topology.bigb

The cyclic quotient surface singularity $\frac{1}{r}(q,1)$ is the only singular point of a complete four-ray toric surface exactly under the displayed condition. Normalize the three smooth cones to the consecutive rays $(a,-1),(1,0),(0,1),(-1,b)$. The singular cone has determinant $1-ab=r$, so $ab=1-r$. In the basis $(-1,b),(0,-1)$, its other generator is $-a(-1,b)+r(0,-1)$, giving quotient parameter $a\mathrm{mod}r$. Thus $a=\pm s$ for a positive divisor $s$ of $r-1$. Conversely these rays construct the surface. Exchanging the two axes replaces $q$ by $q^{-1}$; replacing a factor by its complementary factor preserves the criterion under this equivalence.