MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top


this question concerns the canonical bundle $\omega_X$ on a smooth projective $k-$variety $X$.

I want to consider the diagonal embedding

$i:X\rightarrow X\times X$

on $X$.

Furthermore denote by $p$ the projection $X\times X \rightarrow X$ on the first factor.

Now my question:

does it hold that

$i_*\omega_X \simeq p^* \omega_X$

canonically as sheaves on $X\times X$?

I thank you very much!

share|cite|improve this question
Well, $p^* \omega_X$ is locally free (and nonzero) so its support is all of $X\times X$, and on the other hand the support of $i_* \omega_X$ is contained in the diagonal $\Delta \subseteq X\times X$. – Mattia Talpo Aug 21 '11 at 8:38
So, it is false. Thank you, Mattia! – ernest Aug 21 '11 at 10:00
You're welcome ;) – Mattia Talpo Aug 21 '11 at 16:23

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.