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

By K-equivalent of two smooth varieties $X,Y$, we mean there exist a smooth variety $Z$, and birational morphism $q: Z \to X,\quad p: Z \to Y$ , such that $q^* \omega_X \cong p^* \omega_Y$.

Suppose $X,Y$ are K-equivalent, if one has another smooth variety $W$, and birational morphism $t : W \to X$, $s: W \to Y$, would it be $t^* \omega_X \cong s^* \omega_Y$? And why?

share|cite|improve this question
You can use the usual diagonal trick: consider a smooth variety mapping birationally to both $Z$ and $W$ (this exists by resolution of singularities in characteristic zero) and then use the fact that the map on Picard groups induced by pullback for a birational proper morphism of smooth varieties is injective. – ulrich Apr 10 '13 at 4:03
Thank you! I see what you mean. – Li Yutong Apr 10 '13 at 15:08

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.