"d" ≥ 0に対し、大域切断 "h"0("x", "kxd")のベクトル空間は、滑らかな射影多様体 "x" の双有理不変量であるという注目すべき性質を持っている。