effective Cartier divisor