極小モデル

とは、標準因子がな 分解的かつ末端特異点のみを持つ標数0の射影的なのことである。一般型の非特異射影多様体に対しては自身と双有理同値な極小モデルが存在することが証明されている。

 序論 

極小モデルの概念は20世紀初頭のによる代数曲面の研究に起源を持つ。その学派の一人であるのによれば、複素数体上の滑らかな射影的代数曲面の上に (−1) 曲線と呼ばれる曲線があればその曲線を一点に潰すことができる。潰したあとの代数曲面もやはり滑らかな射影的代数曲面になっているので、そこにまた (−1) 曲線があれば再びカステルヌオヴォの収縮定理を適用してその曲線を潰すことができる。こうして (−1) 曲線があるかぎり潰すという操作を繰り返すことができる。ただし潰すことによりピカール数という非負の値しか取り得ない数が減少するので無限回繰り返すことはできない。よって有限回の繰り返しの後に (−1) 曲線のない代数曲面に到達する。最後に到達した代数曲面は、特別な例外を除き標準因子がネフという性質を持つ代数曲面になっている。この代数曲面は、2つの代数曲面 と の間に射影的双有理射 が存在しうるとき「 は より大きい」とする順序関係で極小になっている。素性のよくわかっている双有理変換を繰り返すことにより大域的性質が少し簡単になったものを見つけることができたのである。

1980年代に森重文によって始められた高次元にも適用可能な極小モデル理論（森理論とも呼ばれる）も収縮定理（contraction theorem）と呼ばれる定理を繰り返し用いて特別な代数多様体（基礎体は標数0の代数閉体とする）を見つけようとする点は同じである。しかし高次元特有の現象が現れるのでその分難しくなる。

まず、滑らかな代数多様体を収縮させた結果が滑らかになるとは限らず、マイルドな特異点が生じる場合がある。そのため収縮定理を繰り返し使うためにはマイルドな特異点を持つ代数多様体に対して予め収縮定理を証明しておく必要がある。そもそもどの程度の特異性まで許して理論を構築するかが問題となるが、理論が構築可能な最も小さな特異点のクラスは末端特異点と呼ばれる特異点のクラスである。

つぎに、収縮させた結果「非常に悪い」特異点が生じる場合がある。この場合には収縮後の代数多様体の標準因子は カルティエにすらならない。この状況では、収縮ではなく部分代数多様体を除去して別のものに取り替えると呼ばれる操作を行う。フリップは位相幾何学におけるの代数幾何学版である。フリップの存在は3次元の場合に によって証明され一般次元の場合には で証明された。

こうして高次元では収縮定理とフリップを繰り返す手続きとして極小モデル・プログラムが定式化された。この手続きが有限回で終わるためにはフリップを無限回繰り返すことはできないというフリップの停止予想が証明されなければならないが、これは一般には未解決である。この予想が正しければ、与えられた代数多様体に対して有限回の収縮とフリップを繰り返すことにより、最終的に元の代数多様体と双有理同値な極小モデルか森ファイバー空間が得られる。

 概説 

引き続き代数多様体の基礎体は標数0の代数閉体とする。正標数の極小モデル理論も研究が進められているが、標数が0でないと広中の特異点解消定理やコホモロジーの消滅定理が自由に使えない。

 用語 

代数多様体

は各点

での局所環

が正規環となるとき正規代数多様体であるという。代数多様体

が正規であれば標準因子

が定義されるのでそれを

とかく。

正規代数多様体はその上の任意の素因子が
 カルティエ因子となるとき 分解的（‐factorial）であるという。正規代数多様体が 分解的なら交点理論をヴェイユ因子に対して用いることができる。この条件は見た目より強力でおまじないのように仮定される。標準因子が カルティエなら交点数が定義され標準因子がネフかどうかを問うことができる。高次元では少なくとも標準因子が カルティエと仮定しなければ本質的には何も得られないようである。

正規代数多様体

は標準因子

が
 カルティエであって適当な特異点解消

を取ると

 

が成り立つとき、末端特異点（terminal singularity）のみを持つという。ここで

は

の

による引き戻し、
は0未満の数、
はすべての例外素因子をわたり

は両辺の

カルティエ因子が

線形同値であることを表す記号である。この特異点のクラスが極小モデル・プログラムが機能する最も小さな特異点のクラスである。

正規かつ射影的な代数多様体

は Q 分解的で標準因子がネフかつ末端特異点のみを持つとき極小モデル（minimal model）であるという。

 収縮定理 

を
 分解的な末端特異点のみを持つ射影的正規代数多様体とする。標準因子

がネフでなければ基本収縮写像と呼ばれる別の代数多様体

への射

が少なくとも１つ存在する。
は次の3種類のうちいずれかになっている。

 。このとき を森ファイバー空間あるいはファノ・ファイバー空間という。 のファイバーは大変特殊な多様体になっていて、このような が存在する場合には を理解するという問題をその特殊な多様体と低次元の多様体 を理解するという問題に帰着できる。
 は双有理（特に ）かつその例外集合は素因子。このときの を因子収縮写像という。 のピカール数は のピカール数よりも小さくなっているので はより簡単な多様体であるとみなせる。 は再び 分解的かつ末端特異点のみを持つ射影的正規代数多様体になっているので、 がネフでなければ再び基本収縮写像をとることができる。
 は双有理かつその例外集合は余次元が2以上の閉集合。このときの を小さな収縮写像という。この場合は高次元においてはじめて生じる状況である。 の標準因子は何倍してもカルティエにならないという非常に悪い特異点を持っている。

基本収縮写像の存在は次のように証明される。標準因子がネフではないという仮定からにより端射線（extremal ray）が存在する。端射線の支持因子というものを何倍かした因子に付随する有理写像が固定点自由化定理（base point free theorem）により実は射であることがわかる。この射をした射が基本収縮写像となっている。3つのパターンは射の像と例外集合の次元による場合分けである。端射線より広い概念である端錐面（extremal face）というものもあり、端錐面に伴う収縮写像も存在する。この端錐面に伴う収縮写像が存在するという定理が収縮定理（contraction theorem）と呼ばれている。錐体定理と固定点自由化定理は極小モデル理論の2つの柱である。

 極小モデル・プログラム 

滑らかな射影的正規代数多様体 に対する次の手続きを極小モデル・プログラム（minimal model program = MMP）という。

 に を入力する。
 の標準因子 がネフかどうかで場合分けする。
 (1a) ネフの場合。 を出力して手続きを終える。極小モデルが出力される。
 (1b) そうではない場合。基本収縮写像 を一つ取って次に進む。
 基本収縮写像のタイプで場合分けする。
 (2a) 森ファイバー空間の場合。 を出力して手続きを終える。森ファイバー空間が出力される。
 (2b) 因子収縮写像の場合。 を の代わりに入力して に戻る。
 (2c) 小さな収縮写像の場合。フリップ を取って を の代わりに入力して に戻る。

フリップを無限回繰り返すことはできないというフリップの停止予想が正しければ以上の手続きは有限回で停止して元の代数多様体 と双有理同値な極小モデルか森ファイバー空間が得られる。