Higher direct images of the structure sheaf via the Hilbert-Chow morphism
Abstract
Let X be a projective smooth surface over C with H2(OX)=0. Let M=M(L,) be the moduli space of 1-dimensional semistable sheaves with determinant OX(L) and Euler characteristic . We have the Hilbert-Chow morphism π:M→ |L|. We give explicit forms of the higher direct images Riπ*OM under some mild conditions on M and |L|. Our result shows that Riπ*OM are direct sums of line bundles. In particular, using our result one gets explicit formulas for the Euler characteristic of π*O|L|(m), which in X=P2 case was once conjectured by Chung-Moon.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.