Equivariant Riemann-Roch for Surfaces via Connections and Residues

Abstract

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.

Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.