1
$\begingroup$

Let $X$ be a surface and $Y$ be a curve over $\mathbb{C}$. Let $L$ and $L'$ be ample line bundles on $X$ and $Y$ respectively. Consider the product $X\times Y$. Let $p$ and $q$ be the projection from $X\times Y$ to $X$ and $Y$ respectively.

Then $E=:p^*L\otimes q^*L'$ is an ample line bundle on $X\times Y$. I want to compute the intersection product $(p^*L).E.E$. Suppose $L=\mathcal{O}_X(D)$ and $L'=\mathcal{O}_Y(D')$, then

$E=p^*\mathcal{O}_X(D)\otimes q^*\mathcal{O}_Y(D')=\mathcal{O}(D\times Y)\otimes\mathcal{O}(X\times D')$. Hence the required product is:

$p^*L.E.E=\mathcal{O}(D\times Y).\mathcal{O}(D\times Y)\otimes\mathcal{O}(X\times D').\mathcal{O}(D\times Y)\otimes\mathcal{O}(X\times D')$.

So I would like to compute

1) $\mathcal{O}(D\times Y)^3$, that is the product of $\mathcal{O}(D\times Y)$ with itself thrice, and

2) $\mathcal{O}(D\times Y)^2.\mathcal{O}(X\times D')$ . The other product can be computed similarly. How do we compute these products?

Thanks in advance!

$\endgroup$
1
  • 1
    $\begingroup$ For 1) you get zero. For the second you multiply the integers $D^2$ and $\deg D'$. Here is a simple principle to follow. If $X$ is an n-dimensional projective variety, $Y\subset X$ is an $r$-dimensional subvariety and $A_i, 1\leq i\leq r$ are line bundles on $X$, then $A_1\cdots A_r\cdot Y=A_{1_{|Y}}\cdots A_{r_{|Y}}$. $\endgroup$
    – Mohan
    Dec 30, 2015 at 19:17

1 Answer 1

2
$\begingroup$

$(p^*D)^3=p^*D^3=0$ and $(p^*D)^2\cdot q^*D'= D^2\deg (D')$, hence $$ p^*D\cdot (p^*D+q^*D')^2= 2 (p^*D)^2\cdot q^*D'=2D^2\deg (D')\ .$$Note that the additive notation (say, in the Chow ring) is better adapted for this kind of calculations.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.