Sea f:X→Y sea un morfismo birracional entre variedades proyectivas lisas. Supongamos que E es un divisor efectivo excepcional de f . Entonces es bien sabido que f∗(OX(E))=OY (véase, por ejemplo, "Higher-dimensional algebraic geometry" de Debarre, página 177, apartado 7.12).
Mi pregunta es cómo se deriva pushforward Rf∗OX(E) de OX(E) ¿Cómo es? ¿Sigue siendo OY ?