極小モデル

代数幾何学では極小モデルプログラム(minimal model program)が代数多様体の双有理分類の一部となっている。その目標は、任意の複素射影多様体のできるだけ単純な双有理モデルと構成することである。この主題の起源は、により研究された曲面の古典的双有理幾何学にあり、現在は代数幾何学の活発な研究領域となっている。
定義.
極小モデル（きょくしょうモデル、"Minimal Model"）
formula_1は正規で固有な多様体とする。
1．formula_1は端末特異点しか持たない。
2．formula_3はネフである。
の2つの条件が成立するときformula_1は極小モデルであるという。
概要.
理論の基本的アイデアは、各々の双有理同値類の中に、｢できるだけ単純な｣多様体を見つけることで多様体の双有理分類を単純化することである。この文の詳細な意味は、次のような問題を開発することへ発展した。すなわち、もともとは曲面に対して、任意の双有理な射(regular map) formula_5 が同型であるような滑らかな多様体 formula_1 を見つけることを意味していた。
現代的な定式化では、理論の目標は次のようになる。射影多様体 formula_1 が与えられたと仮定し、簡単のため非特異とする。2つの場合がありうる。
上記の多様体 formula_15 と formula_1 の非特異性の問題は重要である。滑らかな formula_1 より始めるならば、極小モデルをすべて、あるいは滑らかな多様体のカテゴリの中のファノファイバーをいつでも見つけることができることが、自然に期待できる。しかし、このことは正しくなく、特異点も考えに入れる必要がある。ここに現れる特異点を(terminal singularities)と呼ばれる。
曲面の極小モデル.
すべての既約複素代数曲線は、一意に滑らかな射影曲線に双有理であるから、曲線の理論は自明である。曲面の場合は、最初に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)ではない標準クラスを持つ任意の滑らかな多様体 formula_15 に双有理同値にならないような滑らかな多様体 formula_1 が存在する。1970年代と1980主要な概念的な前進は、極小モデルの構成は、いまだに妥当性を持ち、発生する特異性のタイプについて注意深く構成であるということである。（例えば、formula_29 がネフ(nef)であるならば、交点数 formula_30 は定義されねばならないことを示す必要がある。よって、最低でも、多様体はある正の整数 formula_31 に対して formula_32 カルティエ因子を持つ必要がある。）
最初の重要な結果は、森重文の円錐定理()で、formula_1 の曲線の円錐の構造を記述している。簡潔にいうと、定理は formula_1 から始め、帰納的に多様体の列 formula_35 を構成することができて、それらの各々の formula_36 ネフ(nef)であり、ひとつ前の多様体により｢近い｣ものとすることができる。しかしながら、この過程は困難に遭遇するかもしれない。多様体 formula_35 上のある点が、｢あまりに特異性を持ちすぎる｣かもしれない。この問題への予想された解決は、フリップ()で、formula_35 上の余次元 2 の一種の手術操作である。求めているフリップが存在するか、それらの列が常に終端を持つかということが明らかではない。（すなわち、有限回の操作で極小モデル formula_15 に行きつけるのか。） では、フリップが 3 次元の場合は存在することを証明し、さらに最近の仕事ではより高次元の場合の極小モデルの存在と終端を持つという問題へ注力されている。