Equivariant Riemann-Roch theorems for curves over perfect fields

From MaRDI portal
(Redirected from Publication:1003147)



Abstract: We prove an equivariant Riemann-Roch formula for divisors on algebraic curves over perfect fields. By reduction to the known case of curves over algebraically closed fields, we first show a preliminary formula with coefficients in Q. We then prove and shed some further light on a divisibility result that yields a formula with integral coefficients. Moreover, we give variants of the main theorem for equivariant locally free sheaves of higher rank.


Let \(X\) be a smooth, projective, geometrically irreducible curve over a perfect field \(k\) and let \(G\) be a finite subgroup of the automorphism group \(\text{Aut}(X/k)\). One can associate to a locally free \(G\)-sheaf \({\mathcal E}\) on \(X\) the equivariant Euler characteristic \[ \chi(G,X,{\mathcal E}):= [H^0(X,{\mathcal E})] - [H^1(X,{\mathcal E})] \in K_0(G,k), \] considered as an element of the Grothendieck group \(K_0(G,k)\) of finitely generated modules over the group ring \(k[G]\). Ellingsrud and Lønsted found a formula for the equivariant Euler characteristic of an arbitrary \(G\)-sheaf on a curve over an algebraically closed field of characteristic zero and subsequently various authors have considered variants of this formula under different assumptions. In the paper under review the authors consider the case where the underlying field is perfect and \({\mathcal E}={\mathcal L}(D)\) for some \(G\)-equivariant divisor \(D= \sum_{P\in X} n_PP\) (\(G\)-equivariant means that \(n_{\sigma(P)} = n_p\) for all \(\sigma\in G\) and all \(P\in X\)). Under the assumption that the canonical morphism \(X\to X/G\) is weakly ramified and that \(n_P+1\) is divisible by the wild part of the ramification index \(E_p\) for all \(P\in X\), they give a formula for \(\chi(G,X,{\mathcal L}(D))\). The formula is a linear combination of the classes of the regular representation \(k[G]\) and of certain projective \(k[G]\)-modules which are defined in terms of the decomposition groups \(G_P\) and the inertia groups \(I_P\) for \(P\in X\).











This page was built for publication: Equivariant Riemann-Roch theorems for curves over perfect fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1003147)