8
$\begingroup$

Let X be a smooth variety, take the proj of canonical ring of X and denote it by Y. Is Y always a canonical variety? I know it's true for general type variety. Thank in advance.

$\endgroup$
13
$\begingroup$

I believe that $(Y,B)$ is always klt for some boundary $B$. In fact by Theorem 5.2 of https://projecteuclid.org/download/pdf_1/euclid.jdg/1090347529, after passing to a truncation of the pluricanonical rings, there is a klt pair of log general type $(Y',B')$ with isomorphic pluricanonical ring (more precisely $R(K_X)^{(a)}\cong R(K_{X'}+B')^{(b)}$ for appropriate integers $a,b>0$). But then $Y={\rm Proj} R(K_X)\cong {\rm Proj} R(K_{Y'}+B')$ and $Y'\to Y$ is the log canonical model of $(Y',B')$ which has klt singularities as $(Y',B')$ has klt singularities.

I also believe that $Y$ may not be canonical. I think one can construct examples where $Y$ is not canonical by considering a surface $S$ of general type with a cyclic group $G$ of order $n$ acting on it such that $S/G$ has non-canonical singularities (eg. $n=3$ and locally $g(x,y)=(\xi x, \xi ^2 y)$ where $\xi$ is a primitive third root of 1) and $E$ an elliptic curve where $G$ acts via a translation of order $n$. Then $X=(S\times E)/G$ should be smooth but $Y=S/G$ is klt but not canonical (I did not check the details!).

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.