代数幾何学では極小モデルプログラム(minimal model program)が代数多様体の双有理分類の一部となっている。