Push-forward of coherent sheaves and Hilbert polynomials

212 Views Asked by At

Let $k$ be an algebraically closed field of characteristic zero, $X, Y$ be projective $k$-schemes. Fix closed immersions $i:X \hookrightarrow \mathbb{P}^n$ and $j:Y \hookrightarrow \mathbb{P}^m$ for some positive integers $n$ and $m$. This induces a natural closed immersion $i \times j:X \times_k Y \hookrightarrow \mathbb{P}^n \times_k \mathbb{P}^m \to \mathbb{P}^{nm+n+m}$, where the last morphism is the Segre embedding. Let $F$ be a coherent sheaf on $X \times_k Y$ flat over $X$. Denote by $p:X \times Y \to X$ be the natural projection map. Denote by $P(F)$ (resp. $P(p_*F)$) the Hilbert polynomial of $F$ (resp. $p_*F$) with respect to the ample line bundle arising from the closed immersion $i \times j$ (resp. $i$). Is there a formula relating the Hilbert polynomials $P(F)$ and $P(p_*F)$?