6
$\begingroup$

In the definition of Minimal model of projective variety, some authors use of discrepancy, and some others omit this condition. I am wondering to know the advantage of discrepancy In the definition of Minimal model.

$\endgroup$
1
  • $\begingroup$ Can you point to an author who omits this condition? $\endgroup$
    – user47305
    Commented Jan 23, 2017 at 5:34

1 Answer 1

9
$\begingroup$

Take $(X,B)$ and $(Y,B_Y)$, be the log canonical pairs and assume we have birational map $φ:X⟶Y$, we need to take $d(E,X,B)≤d(E,Y,B_Y)$ for any prime divisor $E$ on $X$. In fact discrepancy is measure of singularities, and this condition $d(E,X,B)≤d(E,Y,B_Y)$ saying that the singularities of $Y$ is at least as good as singularities of $X$

This is equivalent to say that there exists a common resolution $g:W→X$, and $h:W→Y$ s.t, $g^∗(K_X+B)≥h^∗(K_Y+B_Y)$ to preserve sections .

Heuristically we want always there exists a natural map from $$H^0(X,m(K_X+B))→H^0(Y,m(K_Y+B_Y))$$ and if that condition of discrepancy holds then we have such natural injective map

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .