Equivariant Riemann-Roch for Surfaces via Connections and Residues
Let $X$ be a smooth projective surface over $\mathbb{C}$ with an effective action of a finite group $G$, and let $L$ be a $G$-linearized line bundle. We develop a residue-theoretic and birational approach to computing the equivariant Euler characteristic $χ_G(X,L)$. Every such $L$ admits an equivariant divisor presentation. Divisor peeling applies the divisor exact sequences one layer at a time, treating whole $G$-orbits of components together. It reduces the problem to the structure sheaf and lower-dimensional equivariant contributions. On a resolution of $X/G$, the natural extensions of the isotypic direct-image sheaves preserve Euler characteristics, but their induced connections need not be logarithmic, as an explicit $D_4$ calculation shows. Blowing up fixed points before taking the quotient reduces the local calculation to diagonal actions and cyclic Hirzebruch-Jung singularities. We obtain explicit correction class functions for the ADE singularities and a uniform procedure for general diagonal actions, including quasi-reflections. In the diagonal case, the natural extensions are logarithmic, and their residues are computed from monomial valuations on the Hirzebruch-Jung resolution. Combining these residue calculations with the branch-curve terms and divisor peeling gives a procedure for computing the equivariant Euler characteristic of every $G$-linearized line bundle. We compare the local classes with the holomorphic Lefschetz formula and the Kleinian coefficients of Lim and Rota, and give examples on $\mathbb{P}^2$, including one with fixed curves.