The correction term for the Riemann-Roch formula of cyclic quotient singularities and associated invariants (Q2425053)

For a normal projective surface \(S\), there exists a function \(R_S\) on the group of Weil divisors on \(S\) modulo Cartier divisors such that \[ \chi(\mathcal O_S(D))=\chi(\mathcal O_S)+\frac{1}{2}D\cdot (D-K_S)+R_S(D), \] where \(D\) is any Weil divisor. The invariant \(R_S(D)\) is the sum of the local invariants \(R_{S,x}(D_x)\) of the germ \(D_x \subset (S,x)\) at singular points \(x\). For quotient singularity germs, \textit{R. Blache} [Abh. Math. Semin. Univ. Hamb. 65, 307--340 (1995; Zbl 0877.14007)] gave a description of this invariant including the delta invariant of curve singularities. This paper deals with the invariant \(R_X\) of cyclic quotient singularities \((X,x)\) and shows an explicit computation providing a new interpretation for the delta invariant. For the proof, the authors deeply analyze invariants of eigenfunctions with respect to the cyclic group action on \(\mathcal O_{\mathbb C^2, 0}\). As an application, for the \(\mathcal O_X\)-modules of eigenfunctions, they provide explicitly the McKay decomposition of those into special indecomposable reflexive modules. Furthermore, they give answers two questions posed by Blache [loc. cit.] on the behavior of the function \(R_X(m K_X)\) of \(m\).