極小モデル
定義
極小モデル（きょくしょうモデル、Minimal Model）
は正規で固有な多様体とする。
1．は端末特異点しか持たない。
2．はネフである。
の2つの条件が成立するときは極小モデルであるという。
曲面の極小モデル
すべての既約複素代数曲線は、一意に滑らかな射影曲線に双有理であるから、曲線の理論は自明である。曲面の場合は、最初に1900年頃にイタリア学派の幾何学者たちにより研究された。グイド・カステルヌオボ(Guido Castelnuovo)の収縮定理は、本質的には任意の曲面の極小モデルの構成する過程を記述した。定理は、任意の非自明な双有理写像 f:X →Y が −1-曲線を滑らかな点へと収縮させるはずであり、逆にそのような曲線は滑らかに収縮できることを言っている。ここに、−1-曲線は滑らかな有理曲線 C で、自己交叉 C.C = −1 である。そのような曲線は、K.C=−1 であり、もし標準クラスがネフ(nef)であれば曲線は −1-曲線を持ちえないことを示している。
カステルヌオボの定理は、滑らかな曲線から極小モデルを構成するためには、曲面上のすべての −1-曲線を収縮させ、結果としてできる多様体 Y が K がネフ(nef)である（一意の）極小モデルであるかまたは、ルールドな曲面（これは2次元ファノファイバー空間と同じであり、射影平面であるかまたは曲線上のルールドな曲面であるかのことを言う）であるという定理である。第二の場合には、X に双有理なルールドな曲面は、射影直線と曲線の積に一意に同型があるにもかかわらず、一意ではない。
高次元極小モデル
次元が 2 以上の場合は、理論はさらに多くの意味合いが入ってくる。特に、ネフ(nef)ではない標準クラスを持つ任意の滑らかな多様体  に双有理同値にならないような滑らかな多様体  が存在する。1970年代と1980主要な概念的な前進は、極小モデルの構成は、いまだに妥当性を持ち、発生する特異性のタイプについて注意深く構成であるということである。（例えば、 がネフ(nef)であるならば、交点数  は定義されねばならないことを示す必要がある。よって、最低でも、多様体はある正の整数  に対して  カルティエ因子を持つ必要がある。）
最初の重要な結果は、森重文の円錐定理(Cone theorem)で、 の曲線の円錐の構造を記述している。簡潔にいうと、定理は  から始め、帰納的に多様体の列  を構成することができて、それらの各々の  ネフ(nef)であり、ひとつ前の多様体により｢近い｣ものとすることができる。しかしながら、この過程は困難に遭遇するかもしれない。多様体  上のある点が、｢あまりに特異性を持ちすぎる｣かもしれない。この問題への予想された解決は、フリップ(flip)で、 上の余次元 2 の一種の手術操作である。求めているフリップが存在するか、それらの列が常に終端を持つかということが明らかではない。（すなわち、有限回の操作で極小モデル  に行きつけるのか。）Mori (1988) では、フリップが 3 次元の場合は存在することを証明し、さらに最近の仕事ではより高次元の場合の極小モデルの存在と終端を持つという問題へ注力されている。