manifold とvariety の区別