極小モデル
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/09/27 20:41 UTC 版)
（きょくしょうモデル、英: minimal model）とは、標準因子がネフな Q 分解的かつ末端特異点のみを持つ標数0の射影的な正規代数多様体のことである[1]。一般型の非特異射影多様体に対しては自身と双有理同値な極小モデルが存在することが証明されている[2]。
序論
極小モデルの概念は20世紀初頭のイタリア代数幾何学派による代数曲面の研究に起源を持つ[3]。その学派の一人であるカステルヌオヴォの収縮定理によれば、複素数体上の滑らかな射影的代数曲面の上に (−1) 曲線と呼ばれる曲線があればその曲線を一点に潰すことができる[4][5][6]。潰したあとの代数曲面もやはり滑らかな射影的代数曲面になっているので、そこにまた (−1) 曲線があれば再びカステルヌオヴォの収縮定理を適用してその曲線を潰すことができる。こうして (−1) 曲線があるかぎり潰すという操作を繰り返すことができる。ただし潰すことによりピカール数という非負の値しか取り得ない数が減少するので無限回繰り返すことはできない。よって有限回の繰り返しの後に (−1) 曲線のない代数曲面に到達する。最後に到達した代数曲面は、特別な例外を除き標準因子がネフという性質を持つ代数曲面になっている。この代数曲面は、2つの代数曲面 X と Y の間に射影的双有理射 X → Y が存在しうるとき「X は Y より大きい」とする順序関係[7]で極小になっている。素性のよくわかっている双有理変換を繰り返すことにより大域的性質が少し簡単[8]になったものを見つけることができたのである。
1980年代に森重文によって始められた高次元にも適用可能な極小モデル理論（森理論とも呼ばれる）[9]も収縮定理（contraction theorem）と呼ばれる定理を繰り返し用いて特別な代数多様体（基礎体は標数0の代数閉体とする）を見つけようとする点は同じである[10]。しかし高次元特有の現象が現れるのでその分難しくなる。
まず、滑らかな代数多様体を収縮させた結果が滑らかになるとは限らず、マイルドな特異点が生じる場合がある[11]。そのため収縮定理を繰り返し使うためにはマイルドな特異点を持つ代数多様体に対して予め収縮定理を証明しておく必要がある。そもそもどの程度の特異性まで許して理論を構築するかが問題となるが、理論が構築可能な最も小さな特異点のクラスは末端特異点と呼ばれる特異点のクラスである[8]。
つぎに、収縮させた結果「非常に悪い」特異点が生じる場合がある[12]。この場合には収縮後の代数多様体の標準因子は Q カルティエにすらならない。この状況では、収縮ではなく部分代数多様体を除去して別のものに取り替えるフリップと呼ばれる操作を行う。フリップは位相幾何学における手術の代数幾何学版である。フリップの存在は3次元の場合に Mori (1988) によって証明され一般次元の場合には BCHM (2010) で証明された[13]。
こうして高次元では収縮定理とフリップを繰り返す手続きとして極小モデル・プログラムが定式化された。この手続きが有限回で終わるためにはフリップを無限回繰り返すことはできないというフリップの停止予想が証明されなければならないが、これは一般には未解決である[14]。この予想が正しければ、与えられた代数多様体に対して有限回の収縮とフリップを繰り返すことにより、最終的に元の代数多様体と双有理同値な極小モデルか森ファイバー空間が得られる[15]。
概説
引き続き代数多様体の基礎体は標数0の代数閉体とする。正標数の極小モデル理論も研究が進められている[16]が、標数が0でないと広中の特異点解消定理やコホモロジーの消滅定理が自由に使えない[17]。
用語
代数多様体 X は各点 P での局所環 𝒪X, P が正規環となるとき正規代数多様体であるという[18]。代数多様体 X が正規であれば標準因子 KX が定義されるのでそれを KX とかく[19]。
正規代数多様体はその上の任意の素因子が Q カルティエ因子となるとき Q 分解的（Q‐factorial）であるという[20]。正規代数多様体が Q 分解的なら交点理論をヴェイユ因子に対して用いることができる[21]。この条件は見た目より強力でおまじないのように仮定される[22]。標準因子が Q カルティエなら交点数が定義され標準因子がネフかどうかを問うことができる[23]。高次元では少なくとも標準因子が Q カルティエと仮定しなければ本質的には何も得られないようである。
正規代数多様体 X は標準因子 KX が Q カルティエであって適当な特異点解消 μ: Y → X を取ると
-
この項目は、代数幾何学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。
- 極小モデルのページへのリンク
