Skip to main content
1 of 2
Andrea Ferretti
  • 14.7k
  • 14
  • 82
  • 113

Minimal model which is necessarily singular

I was told during a summer school on the MMP a nice example (which I have also mentioned here on MO) that I'm not able to figure out anymore.

The example (due, I think, to Miles Reid) is a smooth compact threefold $X$ such that the numbero of sections of $\mathcal{O}_X(m K_X)$ grows like $m^3/4$ (if I recall correctly). The nice thing about this example is the following.

Assume $X$ is birational to a smooth variety $Y$ such that $K_Y$ is nef. Then sections of $K_Y$ grow in the same fashion, in particular $K_Y$ is big, so by Kawamata-Viehweg vanishing we have $h^0 (Y, \mathcal{O}_Y(m K_Y)) = \chi(Y, \mathcal{O}_Y(m K_Y)) \sim m^3/4$, and by Riemann-Roch we find $K_Y^3 = 3/2$, which is not possible, since that number must be integer.

So, if one wants to have a minimal model for $X$, one has to allow singular varieties into the picture.

Can anyone tell me how the variety $X$ is obtained (or another example in a similar flavour)?

Andrea Ferretti
  • 14.7k
  • 14
  • 82
  • 113