dimension of projective variety