Grothendieck–Ogg–Shafarevich formula

Not to be confused with Néron–Ogg–Shafarevich criterion.

In mathematics, the Grothendieck–Ogg–Shafarevich formula describes the Euler characteristic of complete curve with coefficients in an abelian variety or constructible sheaf, in terms of local data involving the Swan conductor. Ogg (1962) and Shafarevich (1961) proved the formula for abelian varieties with tame ramification over curves, and Grothendieck (1977,Exp. X formula 7.2) extended the formula to constructible sheaves over a curve (Raynaud 1965).

Statement

Suppose that F is a constructible sheaf over a genus g smooth projective curve C, of rank n outside a finite set X of points where it has stalk 0. Then

where Sw is the Swan conductor at a point.

References

This article is issued from Wikipedia - version of the 11/8/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.