Let $X$ be a projective variety.
Is it true that if the canonical divisor $K_X$ is not $\mathbb Q$-Cartier then it is not nef?
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this communityLet $X$ be a projective variety.
Is it true that if the canonical divisor $K_X$ is not $\mathbb Q$-Cartier then it is not nef?
A Cartier or $\mathbf Q$-Cartier divisor $D$ on a projective variety has well-defined interesection numbers $D \cdot C$ with curves $C$. If all those intersection numbers are $\geq 0$, we say $D$ is nef. But if $D$ is not $\mathbf Q$-Cartier, there is no way in general to define $D⋅C$, and so it is not meaningful to ask if $D⋅C \geq 0$ for all curves C.