Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $\mu:Y\to X$ be a birational morhism between normal projective (complex) varieties. Suppose, furthermore, that $Y$ is smooth. Let $D$ be a Weil divisor on $X$ and let $\mathcal{O}_X(D)$ be its corresponding reflexive sheaf. If we denote by $\widetilde{D}$ the strict transform of $D$, is it true that the push-forward of the invetible sheaf $O_Y(\widetilde{D})$ is equal to $\mathcal{O}_X(D)$?

share|improve this question

1 Answer 1

up vote 5 down vote accepted

No, the is definitely not true. Let me give you an example, suppose that $X = \mathbb{A}^2$ and that $\pi : Y \to X$ is the blowup of $X$ at the origin with exceptional divisor $E$. Suppose that $D$ is the Cartier divisor corresponding made up of $n$ lines through the origin, $n \geq 2$. Then $\widetilde{D}$ is just a disjoint union of $n$ lines on the blown up space, and $\pi^* D = \widetilde{D} + nE$.

Suppose now that $\pi_* O_Y(\widetilde D) = O_X(D)$. Then by the projection formula, $$ \pi_* O_Y(-nE) = \pi_* O_Y(\widetilde D - \pi^* D) = O_X $$ However, it is obvious that $\pi_* O_Y(-nE) = \mathfrak{m}^n$ is the maximal ideal of the origin raised to the $n$th power. This is a contradiction.

share|improve this answer
    
Thanks a lot Karl! Very clear example. –  Gianni Bello Nov 10 '12 at 13:01

Your Answer

 
discard

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

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