Lemma 33.45.5 (0BER)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Table of contents
Part 2: Schemes
Chapter 33: Varieties
Section 33.45: Numerical intersections
Lemma 33.45.5 (cite)

numberstags

Lemma 33.45.5. In the situation of Definition 33.45.3 the intersection number $(\mathcal{L}_1 \cdots \mathcal{L}_ d \cdot Z)$ is additive: if $\mathcal{L}_ i = \mathcal{L}_ i' \otimes \mathcal{L}_ i''$, then we have

\[ (\mathcal{L}_1 \cdots \mathcal{L}_ i \cdots \mathcal{L}_ d \cdot Z) = (\mathcal{L}_1 \cdots \mathcal{L}_ i' \cdots \mathcal{L}_ d \cdot Z) + (\mathcal{L}_1 \cdots \mathcal{L}_ i'' \cdots \mathcal{L}_ d \cdot Z) \]

Proof. This is true because by Lemma 33.45.1 the function

\[ (n_1, \ldots , n_{i - 1}, n_ i', n_ i'', n_{i + 1}, \ldots , n_ d) \mapsto \chi (Z, \mathcal{L}_1^{\otimes n_1} \otimes \ldots \otimes (\mathcal{L}_ i')^{\otimes n_ i'} \otimes (\mathcal{L}_ i'')^{\otimes n_ i''} \otimes \ldots \otimes \mathcal{L}_ d^{\otimes n_ d}|_ Z) \]

is a numerical polynomial of total degree at most $d$ in $d + 1$ variables. $\square$

Comments (0)

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).

Comments (0)

Post a comment