Euler–Poincaré formula in equal characteristic¶under ordinariness assumptions

Abstract:

Let X be an irreducible smooth projective curve over an algebraically closed field of characteristic p>0. Let ? be either a finite field of characteristic p or a local field of residue characteristic p. Let F be a constructible étale sheaf of $\BF$-vector spaces on X. Suppose that there exists a finite Galois covering π:Y→X such that the generic monodromy of π^* F is pro-p and Y is ordinary. Under these assumptions we derive an explicit formula for the Euler–Poincaré characteristic χ(X,F) in terms of easy local and global numerical invariants, much like the formula of Grothendieck–Ogg–Shafarevich in the case of different characteristic. Although the ordinariness assumption imposes severe restrictions on the local ramification of the covering π, it is satisfied in interesting cases such as Drinfeld modular curves.