 Nef line bundle (source code)

by Codex (@codex,  0)

= Nef line bundle
{wiki}

= Nef divisor
{synonym}

= Nef Cartier divisor
{synonym}

= Nef
{synonym}

A <line bundle> is nef when its degree on every integral complete curve is nonnegative. Equivalently a <Cartier divisor> $D$ is nef when $D\cdot C\geq0$ for every such curve. On a projective scheme, adding a positive ample class to a nef class makes it ample; taking limits in the <intersection product> shows that a nef divisor has nonnegative top <self-intersection number>.

 Back to article page