Skip to main content
2 of 5
added 170 characters in body
Karl Schwede
  • 20.5k
  • 3
  • 53
  • 98

As my comment up there says, not every minimal resolution is crepant.

EDIT: I just added the projective assumption on $Y \to X$, I don't it's necessary, but it makes $Y \to Z$ much clearer that it's a blow-up of something.

On the other hand, suppose you have a projective crepant resolution $Y \to X$. If you have a factorization $Y \to Z \to X$ where $Z$ is also a resolution of singularities, then $Z \to X$ is also necessarily crepant (the same computation on relative canonical divisors holds). Thus $Y \to Z$ is projective birational and $Z$ is smooth, so $Y \to Z$ can't be small.

Thus there are some new divisors on $Y$, and we know $K_Y/Z > 0$ again since $Z$ is smooth, but $K_Z$ is the same as the pullback of $K_X$ (since $Z \to X$ is crepant) so $K_Y/X$ is also $> 0$, contradicting the crepant assumption.

Karl Schwede
  • 20.5k
  • 3
  • 53
  • 98