mateforum.ro

Fie X o varietate proiectiva si D un divizor Cartier pe X. Atunci D este amplu daca si numai daca \( D^e\cdot V>0 \) pentru orice subvarietate V de dimensiune e. Se subintelege ca totul e ireductibil.

Rezultatul e adevarat si pentru varietati complete.