0
$\begingroup$

Let $X$ and $Y$ be schemes over a field $k$ and $p,q$ the projections of $X \times Y$ on $X$ and $Y$. Let $M$ and $N$ be modules on $X$ and $Y$.

Then the exterior product $M \boxtimes N $ is defined as $p^*M \otimes q^*N$ on $X \times Y$.

Is this the same as

$\large{\mathcal O_{X\times Y} \otimes_{p^{-1}\mathcal O_X \otimes_k q^*\mathcal O_Y}(p^{-1}M \otimes_k q^{-1}N)}$ and why?

My main problem is the tensor product within the tensor product. How does one resolve such a thing?

1 Answers 1

0

Use $p^* M = \mathcal{O}_{X \times Y} \otimes_{p^{-1} \mathcal{O}_X} p^{-1} M$ and the similar formula for $q^* N$.