Il teorema di non annullamento effettivo di Shokurov e' alla base dei risultati principali della teoria di Mori. In esso si asserisce che se (X, D) e' una coppia klt, L e' un divisore nef tale che L - (K_X + D) e' big e nef, allora esiste m tale che h^0(mL) > 0. Nel 2000 Kawamata, riprendendo una congettura di Ionescu, ha congetturato che si puo' scegliere m = 1. Faremo vedere come l'esistenza di "tigri" in sistemi lineari ampi possa far luce su tale congettura e, forse, sulla congettura di Fujita. Daremo poi una dimostrazione in un caso, per ora, particolare. |