The Stacks project

Lemma 70.18.7. Let $k$ be a field. Let $f : Y \to X$ be a morphism of algebraic spaces proper over $k$. Let $Z \subset Y$ be an integral closed subspace of dimension $d$ and let $\mathcal{L}_1, \ldots , \mathcal{L}_ d$ be invertible $\mathcal{O}_ X$-modules. Then

\[ (f^*\mathcal{L}_1 \cdots f^*\mathcal{L}_ d \cdot Z) = \deg (f|_ Z : Z \to f(Z)) (\mathcal{L}_1 \cdots \mathcal{L}_ d \cdot f(Z)) \]

where $\deg (Z \to f(Z))$ is as in Definition 70.5.2 or $0$ if $\dim (f(Z)) < d$.

Proof. In the statement $f(Z) \subset X$ is the scheme theoretic image of $f$ and it is also the reduced induced algebraic space structure on the closed subset $f(|Z|) \subset X$, see Morphisms of Spaces, Lemma 65.16.4. Then $Z$ and $f(Z)$ are reduced, proper (hence decent) algebraic spaces over $k$, whence integral (Definition 70.4.1). The left hand side is computed using the coefficient of $n_1 \ldots n_ d$ in the function

\[ \chi (Y, \mathcal{O}_ Z \otimes f^*\mathcal{L}_1^{\otimes n_1} \otimes \ldots \otimes f^*\mathcal{L}_ d^{\otimes n_ d}) = \sum (-1)^ i \chi (X, R^ if_*\mathcal{O}_ Z \otimes \mathcal{L}_1^{\otimes n_1} \otimes \ldots \otimes \mathcal{L}_ d^{\otimes n_ d}) \]

The equality follows from Lemma 70.17.3 and the projection formula (Cohomology, Lemma 20.49.2). If $f(Z)$ has dimension $< d$, then the right hand side is a polynomial of total degree $< d$ by Lemma 70.18.1 and the result is true. Assume $\dim (f(Z)) = d$. Then by dimension theory (Lemma 70.15.2) we find that the equivalent conditions (1) – (5) of Lemma 70.5.1 hold. Thus $\deg (Z \to f(Z))$ is well defined. By the already used Lemma 70.5.1 we find $f : Z \to f(Z)$ is finite over a nonempty open $V$ of $f(Z)$; after possibly shrinking $V$ we may assume $V$ is a scheme. Let $\xi \in V$ be the generic point. Thus $\deg (f : Z \to f(Z))$ the length of the stalk of $f_*\mathcal{O}_ Z$ at $\xi $ over $\mathcal{O}_{X, \xi }$ and the stalk of $R^ if_*\mathcal{O}_ X$ at $\xi $ is zero for $i > 0$ (for example by Cohomology of Spaces, Lemma 67.4.1). Thus the terms $\chi (X, R^ if_*\mathcal{O}_ Z \otimes \mathcal{L}_1^{\otimes n_1} \otimes \ldots \otimes \mathcal{L}_ d^{\otimes n_ d})$ with $i > 0$ have total degree $< d$ and

\[ \chi (X, f_*\mathcal{O}_ Z \otimes \mathcal{L}_1^{\otimes n_1} \otimes \ldots \otimes \mathcal{L}_ d^{\otimes n_ d}) = \deg (f : Z \to f(Z)) \chi (f(Z), \mathcal{L}_1^{\otimes n_1} \otimes \ldots \otimes \mathcal{L}_ d^{\otimes n_ d}|_{f(Z)}) \]

modulo a polynomial of total degree $< d$ by Lemma 70.18.2. The desired result follows. $\square$

Comments (0)

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0EDJ. Beware of the difference between the letter 'O' and the digit '0'.