The Riemann-Hurwitz formula starts with a genus $g$ algebraic curve $Y$ and a ramified cover $\pi\colon X\to Y$ of degree $N$, with ramification indices $e_P$ and computes invariants of $X$, such as the genus, or more simply the Euler characteristic: $$\chi(X)=N\chi(Y)-\sum_P (e_P-1)$$

This computes the Euler characteristic as a number. Categorifying to the homology suggests generalizations. If the cover is Galois, the quotient by a finite group $G$, then the homology carries an action by that group and I would like to know the representation. An analogue of the Riemann-Hurwitz formula holds in the representation ring $RG$. The number $N=|G|$ is replaced by the regular representation. Thus the first homology is $2(g-1)$ copies of the regular representation, plus a couple more trivial representations, to account for $H_0$ and $H_2$, plus some additional representations from the ramifications. The typical way I have seen this proved is to form an $G$-stable cellular decomposition of $X$ by lifting a cellular decomposition of $Y$ with a vertex for each ramification point. Assuming that there are $r>0$ ramification points, there are $r$ vertices, $(r-1)+2g$ edges, and one face. The edges and faces contribute regular representations, while a vertex with isotropy $I$ contributes $\mathbb C[G/I]$, which is smaller than $\mathbb C[G]$. The chain complex of $X$ is: $\bigoplus_P\mathbb C[G/I_P]\leftarrow \mathbb C[G]^{2g+r-1}\leftarrow \mathbb C[G]$. Together $C_0$ and $C_2$ are generated by $r+1$ elements, so they partially cancel at most $r+1$ regular representations, leaving $2g-2$ regular representations, plus more representations parameterized by the ramifications (specifically $\mathbb C[G]-\mathbb C[G/I_P])$.

But what I really want is to understand the combination of the representation and the intersection form, equivalently to understand a Lagrangian subspace as a representation. This depends only on the topology, but it is convenient to exploit the complex structure of the curve, because it provides Lagrangian subspaces $H^0(X;\Omega^1)$ and $H^1(X;\mathcal O)$. I think that there should be a Riemann-Hurwitz formula that says that each has $g-1$ copies of the regular representations, plus a trivial representation, plus additional contributions from the ramification $R$. Is this true?

$$H^0(X;\Omega^1)\overset{?}{=}\mathbb C\oplus \mathbb C[G]^{g-1}\oplus ?(R,T_R)$$

In the unramified case, $\pi_*\mathcal O$ is a flat vector bundle, the one corresponding to the regular representation. Note that the isotypic decomposition of the this vector bundle induces the isotypic decomposition of its cohomology. Each of the of the isotypic bundles is flat, so it has degree zero. So each has Euler characteristic equal to $1-g$ times its dimension. So each to the Euler characteristic $1-g$ times its corresponding representation. We started with the regular representation, broke it into pieces, multiplied each piece by $1-g$ and added them together again. Thus $\chi(X)=(1-g)\mathbb C[G]$; or $H^1(X;\mathcal O)=H^1(Y;\pi_*\mathcal O)=\mathbb C[G]^{g-1}\oplus\mathbb C$. But in the ramified case, I don’t see how to exploit flatness.

There are two separate questions here. One question is what is the value of $?(R,T_R)$, as a function of the ramification divisor $R$ and representation of the isotropy on the tangent spaces $T_R$. I think that the Woods Hole / Holomorphic Lefschetz / Atiyah-Bott formula says that there is such an equivariant Riemann-Hurwitz formula depending only on those two ingredients; and that $?(R,T_R)$ is linear in the divisor. And it provides a way to check such a formula, if one could write it down. In some sense it even gives a formula.

But the other question, the one that really interests me, is whether the correction term is positive, whether there really are regular representations, regardless of anything else. I don’t think that the contributions from individual fixed points are all positive, or even real, so all we can ask is that sum over all ramification points is positive. Is it plausible to prove this without understanding the ramification term? For the earlier theorem, the one identifying the representation, but not the symplectic form, is there any way to prove such a weak version, finding $2g-2$ copies of the regular representation in $H^1(X)$, without going so far as to compute the correction from the ramification?

The context for my interest in the presence of the regular representations is that Andy Putman and I made a conjecture about the monodromy of symmetric curves acting on the homology of $X$. We conjectured that if $Y$ has genus at least 2 that the homology of $X$ has no vectors fixed by any finite index subgroup of the monodromy of the space of curves with the same symmetry. An upper bound on the monodromy of symmetric curves is the monodromy of symmetric abelian varieties. Indeed, I think it is a standard conjecture that they have the same Zariski closure. The bigger group is an arithmetic group easily described in terms of the representation and symplectic form. The cotangent space to the space of symmetric abelian varieties is $(S^2\;H^0(X;\Omega^1))^F$. Thus a symmetric (real) representation is never fixed; and a skew (quaternionic) representation is fixed only if it has multiplicity 1. Those cases don’t depend on the symplectic form (which doesn’t vary), only multiplicity, so they can be dealt with by the first equivariant Riemann-Hurwitz formula proved by cellular decomposition. The hard part is a non-self-dual (complex) representation. They have several symplectic forms, depending on how the representation and its dual are distributed between $H^{1,0}$ and $H^{0,1}$. A complex representation is fixed if it appears in $H^{1,0}$ and its dual does not appear there, only in $H^{0,1}$. But if the regular representation appears in $H^{1,0}$, it includes both representations, so it handles this case.